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 jj <,t ]/]HOLCF:threads=6elapsed=12.736cpu=40.872gc=2.872factor=3.217zXZִF! ]ŗXf1-qN ݭ>eoK7#0#B~Бaa?I t™2%Ĭp iX*19*`b7q{<#Thћ}J#ưӊ`é/i{v!T[dȪ$$*@ FF $ja peh#`wˎ:%b&Wg[3`t1]oQ+6zB!ף4`_~ƾE8& {5ϸH~_) x.)Oe$atA)3sN/rN_/gh2 SM?.0*{KPղ*4pR׸j42xd~5[p:`y ԓYs~؅ws+ÜooN{Ĵ*;ys5GKr r6k(\.22L]OWBRmAkET@u`{p~/`W>,qnm8qvMKJ9PdUoۣ!"gYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]w Ps}(c/#P ' Z*|OT>-yp-w5dxՁA `@P%u|c[)hԏ9LscGEL| IC-cW2>"+W% s Q뮒o9pJr??.m@clq]ZnMmafz1S3V:n>Q'7>cJe…![7*N`*݈X<lz<6ۘwrZrPٙ^KUGΊch熩m)bb>`y2Ė~}gJf'oz oD(kE²r05y7u${_r5ljJ#=yru_)MU+B\jH‚hd^Xvع}ᐭ*λɾNbfj6uLo6E"CS{0& 9߻@CJ'O`o_a|S-QTKlU!dp,a)`BbEZ`7|ǯ~gW ׻=Jn0 `[db8gaT~I-Op]Gk1] ɼsv RNoD> %mBQr!wF{ny[p3l ݓƤFI&DxAƓ.>ӱ8O(x6V$3 ,,Hng,=>A\0z. )ASn]+? {WUU[G*,$(YX6@Xw%Fu J>pIiH[}Ky7O+ò}g}| ?1A~J #lbK/QM2A~O32!ڈ`_t\JHgՌZԔG&]llcW RgYZ87a54e00aad7745e5340257534ef024b1f169804bd83b15e1e0e9039a1a1655585e69901cdaa3f80 e4ea8cd95193acd87d6b106879f9d68d28c8a75e6bd9bc6bd23405c40b0368e9c532f314371e36af  HOLCF