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 rr  ,,t ]/]HOLCF:threads=6elapsed=12.298cpu=39.104gc=2.764factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֚dI{[,eORd$Igp/!ЍMl^o4/S*s7~*F8VIOZ~ ?jHk R 9v8$dvzH˵:[8d{a$޶BEXIA~QYgLPKC7f4GJcZ~wM[hZ (5AlxF&a d+qؔ94p$/ 0-X3vǰN+cT0E8 b!I]R;,tWt¬#c$<"|P|&xP}=ϼՀ_XҀNG]9af"u44]V*!Ia29A@1u&j.SR PѺ'JSI H?Y M"8<]$ߪWGGwY6e3Vʬxx0uO99ENjͰMx Ϫ˽dӠ'KxP.!%l`1:{'|}rՏFuֱgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]h'&BQWM6|CRv}ipa"2J{tnVO#uM\' #'s˓S7%%(sl5Q]aN-`fNXPD[nJr\4 ݡ&Bg^F O~iL)ѪAJBj03(8,l:Adr| [ ފfW{[h"nDSAqYP)C:fBOvҼ*_4kOTn5"7).;q!YvXߌB^$s4 H?EgʆڋD6̀vj"Ql*, +1MwC~\dXE %9nطQ|֤K->ۖh1if٥ ƚhh.ꄶuUy Xh"~Frn}'~N80;lԽG7 14\|{GSRGQޕ98ӛakf8qo+TP&ʗ d;@ڈ!5uIC''k3$ZXGދ$s0,*?Kw>gYZ7zXZִF! E]ŗXi%E\N9SgoL*Dou4NDu{1Wn%]fOI72U kz/~d~"Hba|k| @"8_ g!@ IKi^Qnu$IKBYq)n5U U:$'J[b 8E 8IS,i+ [P ngq@SXG*xj+叫 (wwϩI!Vf[|g,MǴ{JFxsRn"bbZ+(:H* ÜW4^-Pc;l@b\D=Y{evC<i'E_[X}uc,`N Fp޵p2N t C ~V! |^ܲh,E\Sf k>g8(g6G e&O6"'D+`%hAZp(ɧS1(X2<*߮L NwC۴4P,}.)[[r)ʄNRڐ(:~8rfUZA,x NpI&~:ФRBmIX|~aj ؋jgYZa3715558a01ae58cd0e45e3d894fa1a8effca120670512538733605cb63d45e26f52dda04b891aaf d1cbb794f03f6e7c97845b63a50e90ed33c8e18c3258b0fcbd2837692909c300790f198fe1ac9dfa  HOLCF