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 oo' l ]/ Case_Labeling:threads=4elapsed=3.403cpu=10.584gc=0.176factor=3.117zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N);{30fZT&x8B_N[f3;HtH-: \L= VnnbZ{טH X©jFbD ze3Q-= @S$Wʛ^(67DFKޏXr~*|b<˨~?Iu+00n7hZǻIM_e]5M@th)O҇)X #mM52˘[AKm 4p[Zךأ:R@7gZg7b\.dgYZ7zXZִF! ]ŗXiɟ1S:Jg~(dSH{OMZ.u  Q/:.^uJAXX||f:}PH d4JWx𯲇9۝!{9y[DÚ.Pmf4V,dz_PCP_6)q8 C)۶Llnd $ !㡎}U`Y%D jS v 6&=BUEax`wgYZ7zXZִF! &]ŗXi%L 0D$gE&NߌBD#aqBJ+3Às!5>-Or m7`pz(rL 9π[}r/.]sGG˾Vמ"sOMTX*bCe8lwtΏkf50m^{+\<Ra0Cnd3"F\E)6]xM mh:CYz 'M󑎎 <7kȓppv oJ!϶^5m>7Ty<=tܥvIc ji3jQ~+^j}tY9Ku"Id:>IS@]zw,1z雄Las%SQ/p~Y 1S*[ĉ9gtR]NR@;NEje]c9?<Ŵب<9. :/rFt.٬@ƒh6q(e"جxtQ[fŒ$V5? Y?x3&aLB$[ A:npZ_