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  t,< ]/]HOLCF:threads=6elapsed=12.641cpu=41.068gc=2.812factor=3.257zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0UrjAw;RX6U.㧝Xp*?YtwAX; ϚrURszb. =*iF>ɫCILFN?^ Eu9Iߡ2pQy6 xy 1 ~%j*3C~iֿQ朔s[A>wh_H 1C9)iSR k$i#7k Ҽ(;K"wυsEM󗽘]¸̊;«\Y!KEPsb9GRVanH7X \z:qh/u&S[7qZB |)>*hɡn{:kEq +L;iKP,yi"Zs%5,Rő޼8Mf]Uk<>9^mgpiROӇɇ9S2]k1{ai_%pt'KQ.R KmT֦tT% =Gqr;!xd!D^fҜy 80ª;DU%aE(Pw9MuMawb(g]Il%iiK_2Eu/plyoF0.4JxQ7P7/ ,w"S}0pUrj]$`Έ87{a;1R fl`~IpyD{O%\tNrfe`K1Q78Ys,,.zZ&dXJ׃$Aa166\ۤbgv7E;mQi)e>G#>fun3 ^\4+x*dFcL_b2bksj|a9;dՃ , ֛.5rIUq#!/zi.R/7$CW2-g>n b$o땆LN=]#dž/;E2ܣeӾi[_-†SA"H )DH116hr#gYZ7zXZִF! HX]ŗXi%GA":+ 겿ܦ xlY^m5,H^/8CAGt۪nxw~jYbݎ#tI,g]F:+Fv_[\KZnL5/񙾌!U *, *6ugCTisK8RbT-R*Q~'Kb^psp+cFYP~Mw)*ɵ$ "݄a ¨hMeB+X 5c-{zj0=J%Ԗ@S3R.&Z"%~gp|=%iMYK凙 .N ~7Q|[)WHb;d!KCF2jĂω $ %WJqt[G]Ħk#k|W'ypR %]% Kl4Wm.-ZZKudYA5&xlv*;>=Kj!.CN?bB2D{ۯ?l+0sDd6V/ :L?o(tzVcri9Q+u_L~ltUtKg7LbBݤy:3Ap|^6c-vm/˖تR\ 2;/qKaΦ胍Tp- ~owi-Kꆾ3CUS8,o>ʠ' GzH-ޘҭ?w9 jk1*8:~k;1[(Z Fmc> '*xόm s^XGz zT i ܏n䩃u-˞Dbf}Yb)"U|~be?]ibwmZOrȊi[&%d%Axy#hYUu(OAv{R% /-#gah]p!}\vor[t R9)xkB59-!L$)`ȓݬo }% )ۑDÈm̿#qnc7;mC ^)=Kiw9|sK Z 6gMc<d3 6%FH /ᕡE jܢY"(a+qo8Q6QCd] Ț]TnZߴtA_u[? 08?h6zyqV`!W7 ]ReV2G-^iB2-K $gEM1wŲ0ِrd+HbF3A2ޑWz0Px@ E#C#0^ԀW̾+a' !*Fo(fN%mXU1|;5n/nbl(ui»Ǽa_-_a?7DJzV.3:ZC3), :dZ 㘥[?lhP撲y=}..u^C,zg 28L˙&.kz@~cUKjA?SڹTXH9ӣzCu ; _rgYZ234cb3972f45a3e4ee6ce51f9db576d1fd35ce41f3782e60e56b1de215ee686052f461bb18c61005 ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33f0bed6d85debb1decba2b40e73d7a69996d5bfad  HOLCF