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 y ,| ] IOA:threads=6elapsed=7.318cpu=32.360gc=1.284factor=4.427zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K imIdx;״gSe֧4oOwR KE V+GO^>g?~k^H%>lggNNP` 8' f~=^2BTe}"k&鞞D붔w^xߏ1?^ L=ZH=_Y #Æl?aoEdb - kj;@r;<>Z.P>]WjeiD";>ĶĈGPt}/֬S߰v^vY5\lN@0޾E;@Ghp"Ig(BPw8Z 4/(4&\%|M2T$AN'`W5Bȳ j >!h偊gm8"CW?b{ '6b>]c<;<&|.HgYZ7zXZִF! `u]ŗXiɟdN'LvH۹Vf+scX8\%E6a4:>1xҼC(_^EX RōOն+f_+x{Bm@c緷{[P0H6&>+RSGs pI1;fm7]u(Yds*!_!F<){_=|+2R&ĐYV@ih"^zZlǍ` vѻq㝶6jcfbW5`=S1ܗd 1R##䋨9h;އ^νH~]P( &csho `ț1gYZ7zXZִF! )9]ŗXi%I37^[#y3//QTHbأU:-OP}W0 3IhSHRݯX != 2ϰ >>⒔pU7Q* F"4NUC {{%zW5 ^A4S$Τ^ \V"9u)ج'%uN,8ʃgѵyxm>}"bG+~Mm'db /~;#2 \(izK:}/wC3$!_暤4ەh7׸]?[@F] E / Є7$/Lvܵi(㕲EN1*EJpWS;I?It7$aSQj2UpZHeQn%O[ԟ3kE*I<ؿ~??S'òi1JXgX/l 5Bj~Q+tj m`z*4̔N 2v#gp?KSI˩OEoQ2w`fM+/4zpFxw \1éd X<f&. <FH"V_l,գj|!~2؋K鋬5a mc&l!#M۰d-y0!f^xڸEiƷa&tILtF8PuQ/=W^2l> h|)溇xZT?hp'd%buPaNvԫ2GO] :3ۅXݙh=9_ ES- gYZbbc095dca1e5269d2e45147ba510b486ffd1641e0ff9958a0ca5fbe9ab4009834227f55206a20040 e87326cced1f0fc435ede3b19ecca1f629d0f741 c97d199de912e9d03e202e0450cb2358d6c15dc9  IOA