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 A $ ] IOA:threads=6elapsed=8.548cpu=34.244gc=1.472factor=4.017zXZִF! K]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*"Lz UZ>U{bY-Qc$~ yDVj]v fr]:e PZN_Z킻Pfﺭ;;Q}\}e/!hrguFg8Ti׮G)Do`iы*%P98^ơ Rי˚ᨋ3c~<WO }^Η@>wZp: K v+MEE2*H;S܎ rNk! 1ɡG;H:Dr%Xꢛ)gD`=&8k햮8,|ǒ @pg)&jF4C)4:rZ69*4#M&§S*R9q4v=UYm @ck'{׮ wثdF_<<FL:W=f FD:k}xAlIHz(!ĺgYZ7zXZִF! `z]ŗXiɟdN'LvH۹O2L1MLK9y-O(ybN>R*ԙl_۪FrW;wŒm.BɊ_٫VqyC&!J/'ra-qh*RԾ캞$$!6t#K8Z?TT niKEr_;{h]r )ӈ+yz3Xd>y1j4Sj= l{oǎF*Ҹ[Φ)`gU^On*"VODUoٖ$!;)||'cMD7h~SO彩 F_i˷j(j.\Q+§5 3: `]-L}( )L˜-)4/S%4cbѬY;KsXcі6!$L_“b/QzY.;w/F%(:K"J=C`NÓk_&DP}~ vIq.0e!~8\ӵC!’ щhLR}S6EhJ)3#Jsp6v{ku^=4gU'iwI+ЫYۣ:A"> mE؁ʹ ƻ!~wNecjON:D<,%7U?Noo JV軴_Y <5\"Yʵi6 qQ:_^O+V)Jޚu{z"RGZ4 l8 œggV j8e>Jks$t[`O*Cu9;17ށp/P!6ڷ?5^I pVaRY!06I9tP/,hw];f5&bSaӚa'BHNosk|PQu^ΓTŰ;˰>NIDwaX0'f*r6)Ug 2Dټ'|.DotHVqU5sEГVwvթ7/p(lddcm=絓3X|Kͷ. H9  (7i`N)PiTOgYZ0fb5decd7e3d2d181b2aac4855b248f5006f27e2b5db32649db89f76b1ce56237e676f898e9d50b5 5cc5613503d28c7360624d52aa81851a5e1c5a80 c9a4dbb985008b7c4461d9fd7e2c615be5179e0c  IOA