SQLite format 3@ .;  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 ZZ# 4, ]/]HOLCF:threads=6elapsed=12.722cpu=40.564gc=2.428factor=3.197zXZִF! <]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Rd~}LUu+Uʝk1}L&?, ,|xWoό ʫ!w*j' H|Ϙ^=/FsHE~[喙L|rRP㭻YwpDY7eJ9u2Lh(\E`o"hQWS WM5]]ɲWleАg.RKi3v c5}򪲓rIGĨܫ POq[V@=4I[50qb@ޫqa{! ]5JBuґ> JePT>0;j0Y_d_? ?hNDC~yi@Mn&dp'eLP4>B8МG]fۺٽ.̡1+O~i?cqoV%ۥ<E LYs$I_x+K0/ C(B`Hq7R<~kHsMȺZ(@oɕ/\;%:3Ä '%)ap$3ḙHi~;e@fd7AWgYZ7zXZִF! G]ŗXiɟ>Ӈɇ9S2]k1{ai_3 z*þ#)'e_l"e{B7y+&n2Z w9r*z~MO8t#VP0N]#cD3rϺp"x&8dPR{eEVk0xr(e)eLcxhɔFW4շtc`1&~K4Z9:Nf^q-)ÇP یJqgkli"CɂA1JU2YJ?Kf9U>񹣌 _IaW}w{@ṃ0C(;, ucU4)B/~ /S8'e3=WƆ؝F|E)9ᑵokjpug8+A41e|`&Nx`g!O]k='Gn²e [BJڮf;N0k I|u`$ұgYZ7zXZִF! H]ŗXi%IC˙Jb'-]|q?#qr{N;-Ju=g]&?wEY0sЪM*"̪#i"RO`<1%zORk>2Qiu:'Nj1=?>¹e:yg=VNړ@"M&3Y/mRm,9,qbCQlb@\K0 >*f+=Gm@ǖ Ԅ+qJ*C]`J.GH>dKw{RfNm?'*+ġ\Gwxlj׮$\_^oS I_zo3wfrri?Ź4_1ЕEŞxެ=Jquw,eT"!qS$̸a!F?I10=]z.L(K WU,b[lpiM_S-;e mנgYZ85995266553c7cc86bf85acb8cc1fa8294326706a9b7dcae088578d8605a3e1d84e889eeccefd72f b4ab1f59b08714a73123cd49dab856a7d2781a8e66c198dd34d353c91e22d4f63382c3a77c466f77  HOLCF