SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 __ $l ]]IOA:threads=2elapsed=17.194cpu=32.592gc=1.388factor=1.907zXZִF!   ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K zLto֓J K FÉuNM skz7)C0ϖQJM;mZ=[O!4)tCY߽9p_cl5vw^26G1}iv&=OOD5R ʝGFVōh (\c;m}0Շ6j=P fPj̲*-/jY75ԏwxȥ8 6;"R|;8zWho~¤f.o*=\XoRFXh%.N[)Xv;S,d;8(&a#Cs5e*XgYZ7zXZִF! `m]ŗXiɟdNlXU71!7,::aonEb(K :B"ycFဠI5$ aH*V8?KI35^Gz2H %Q譞,ggZ .(*e2f+|{e*VSmyQeFR_u b\"IYC'j/M7*w F^o#}N8Pu1 [q9I{,(F13&aWyxPрqϚi, HޱgYZ7zXZִF! TZC]ŗXi%>gW~艘1Ѝ d=Bzb*f~YD۟Zp< 0ވYbz'6IʿXw'M;r꾬_8wq5S\$:k]{dSƖSs j?49  Bd,B6m8e'o5mS.}<@y/E:db{+p=R 1 Iٶ#P8ɠ)ZI =HKH81[x~ l@ r#ɡO #5e17dֈ6fAIHB $ڒtByR(j:pѫ Ht GeB_;8IgTuG4sh70.0VjQC6:ytN&_o;n#&,!A!'Rzϟ4;V#unM-M$p~u &FH N kʓ2ΑED@n(+h#-RS=M^+j (=ђGqL͕)>V`圑8 ̓yNwʭph7xLDב7O[L[IZMuz`73iʮ%secFig^ť<YRnhҹt*,OP.YF-ұ%D/z#LZLp+M-ys^ELsz?8Uln^sW*E,95+{ts^` ygDr`6oNH [,>m`N/_7Ƒ cr8VΔԽ 96+q}RAVGuѱeJgNl;vDmξy/M"*FtPMY L8U\TKZ2MOpޅﭧ'I&SzMtK/# ۨaUgYZ2908ac53c368e9d6a72d09f7be3825a18870b60982ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 f29285890d90514961930a02852b651abc8dc0c52447c9069107da3aa1cc2e2cf161fc4a3ca128d8  IOA