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 c D<| ]/]HOLCF:threads=6elapsed=12.426cpu=40.296gc=2.516factor=3.247zXZִF! Z]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֘mCS#ύlF2%Hg~V=S$ ١gbܨhO? K{YfdU[T3ٽؠ ) Y5b%two;oj&s5䕄Z]wx~'z{K1!r ݱ#`Qsv-`{FQpZ0-Få' #([VW&W\t][8v(F5A6 7h"hR=(B,cT^,8I~a(C.vr'rv&Y)e<&C% f_7V/R /ݣ=QqN,3v`@/㼓bU'b]뽝L;{+b75t?بү jedX 3>)ՁF)0Ԡrd3 z޾%[X5)쏁\z@ov J㕱gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]hq dȬ h\<0_ٙoH˻7O,g. ,9έPd(ƍEJyNyIb\xƄF 82U\_&y-1%۴P'ozj7U Y6sy=(+^i NggOExSk oKaWZ+%MF^pLuVk:'l(c.9Rf?WUl}=(!w0*[|H}BkoWil.r6GTE/tRv;9"STQ` ::Jld2. (]J;D'lCaF]yԉDmmL|(Sܘ1!9⾘WJV1(MZ܍Z=h>uMfF`H?X'NƱ~)~aeWAfjI]`68pQ,$}}{E4灧&K#+45 ؖDCW pgYZ7zXZִF! E]ŗXi%G lL._r.b]u4`RG}laxGZ3pt "ɊY5۱+J)x&qU,ި|6C҉mvwQ#eL~Kw-諧U# #õ2za'!ͤ71E=K.‹ +xw@wde @,mӛQԔz;`Wu BB7(~Ts$#X^8< ByW8}݃-Tt/$$D`N%B{Hݙ~DMB777&Wu떉Oa_&|l<~B[ -O۱^UOSƸ6Dfz.qvVYz.+BkH?fCDI;j5!8} ɱ)RD]S N~e\N^GSXH:q{j~f2%Γ%ۿb!I9yf36[mܒmp+oIs*{Q*G? Á~4R5$jvq>(ru*@adA1G!#YA\kc 40g$0s!q4R;]z@T ?8lG~D yy^-z.W ~x~gHI[⥳9"CyatQ9t2RAqֹP+F Έ#ulk8Ć)^o491c֒'P`K@MY1G"'muD U|@P,I ΋4gYZ9be18e074d1827f2f748f05e0eaa91d6513a93c7d9de4481ef2a3da825e23b700f29156a5eff2e35 d32b67ad46e3370f7ad64c5a6bfceb2624525a6fb8b6f01cd96ee1154c4a487f263bca771bdebf65  HOLCF