SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""[ ,D| ]/]HOLCF:threads=4elapsed=18.656cpu=45.832gc=1.972factor=2.467zXZִF! K]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV?:\-{+6f!*%>.`vV{t$Sji%b)W0Zv7(@Ma&d'Bs 6cvbySnMxj m>a} a~vz3UC=߄U4 W 9rQ*1ۈAQz\EE'lX-62:z@NNm18䝦P6 aT1c|Fqg+ mvTWzW1^^I`3@Kmz^"G8&ҹV6_6" ,N(S( $|AmRB1$X$pT3 -cqSkF`WX{{Ct4RĜ qGb1%Oki v9Z訶Ѿ/D3Կ 䯠n][#M4PW$ cj vU(Gk"Jæ)5<`8WXΠ'8wu~Äղk# X!/тו"!bR!|ūk+O^ $mKAw N0:p}ݴQG5z̝҇wRE^UwYЈM &>,iqJ[`30oT(f&|p鉈s bH6K&xgYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]͗9R2BsNZ(_]) g?73G/e] GB`V~\ x3;urZ<3DzV4 TJXͱq?K9uSu֪V$&.kA 3xَ<6ZDp/n \J%Y@KXXhÃW\rHIT'~\*mZ傺]&PҌ~n,ſwkH#Ȫ` O]$u\df$]'r׭߇0 cJgYZ7zXZִF! e]ŗXi%ES3\oU]C,Zljc׵|H`C75-IgV{N["TF8+Xbe"W&/߳OU~WWLy=j}%d_4IieXޱ"'cɱZrLp5AU($ica],0`$Vպ:WQLP4y,^8b1'aSEKatNVb0u"O/WV|?DRcGYY+|qwe]]Er_]ќL썶A2f{K"g(q (+СZ/CAV5裆+~-[rG3"RwSWviR KQD=4UHsMء<-A@{]/]" ž U8g7 ӮnVE'݇%fChR){7E4cː~"PZ8[ Aōj׻: Tⅷ;z@9t -2zCÀŚtjnѦ"k'j^%0,op‚!m5KYGOGxRvVUO }Kzn RJȱJiXW5oIKk F'n,*'u1 vy'oܝ8AOO31\ɭ/ƩH,sF彆uܰ~f:e2-`{\%1<[K%TF >8fhBA<ك]EsurZ(NFIM; aaXO{!ڣb4x=1Ȇ}|Θ!e&<L&oԀ7g=ƜNwRx*(Ҧy(:UAU:R_oc ٝuABI*֦ 1PKwv(c*rY/[K ;#5CzOKfxwE.H[[U- .c%A\Y|7:Qm v [my^ºͭ4~`P5#|l).u%cRpݦ6 IZuVr~W y״+ S7A`% ʎtÓ`ejF4E@t%b8r#vn#pp$3Jp4 m9iS$,+ /^>]"9 \M1 Q΢“1(jcXQfDYt]Q/&sQJB (:gئGs)z6fEzQo?ϝgHb?3'>,D(k12^w(☘KE飫_rf-ZB v f84]W. |~7 UW'T?| Jc]]oҞ@ۏQto~toYm䃂Njf@"9ۊde@ yB 1 d?P;H$Nw^JGd-Rixap䶤0j4i,.C_pg@ͥql]Wɖ=D9ӫgYZ7fc5f14ff6130d18482e586f88fa577de006ed1376b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b5956835accf6e077c003b02b1e81efec5bcac0026aac6  HOLCF