SQLite format 3@ .0:  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 ] l| ] IOA:threads=6elapsed=7.209cpu=31.808gc=1.356factor=4.417zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=-f*PD ŧ!'=3>Cf$A1H`i?{+G'LzLcoZу)W/[X D@kl` YjBh/ Zm'4܇*#'da=;|GAKBs0TݠVLSE$0o|y\a/1(; &r.+WBF5ϸ-' ֨"\Bɪ:O9C9&D PCbU;i}>3eաQbJ9 RR p rRG!aQ.=9khIxVٞЅDF>ȶWE?TGLU!ızkgYZ7zXZִF! `v]ŗXiɟdN'LvH۹ Lw#/հy"l{ !)k;#BYlr?.լ;57ɇ}T/B*W_9^ rsIh䮋Nkp;/U|dI uȫp, B+6`e-P!v"Aҏϟ#0,)đ~(ʦ u2&믺nt':k[CFfmD=zdmVe #$$ yh@.=~- _f-u «ySظ5ؿwYҙtkz',ɥU@{<> wPЩ&KRT κgYZ7zXZִF! )?]ŗXi%E\N:&*ϳ b)Y丷8Ğgꉋ,v*BoӐ4V[p1sDGNsgFRei1;J$KOixS O#UTy)qňQSZ9M'U'o0R/(35Iyaey/[Dz<[Ծ M4։ P=FBitEAow-Q8o= A"nr09wvUTs'UL\7@6|EHs&{)vPp5Z; 7rE7;mvJ mHN$aN"B1i(d,Zc۞7_gų>;~5.Y0-Xx`> ztcVVklL)D_f+{dzCbjpћ B 6waJ2vPhiQX5w/ղ z11$fҫLӊ$Z>uD(cE&}N 1ڥ4n =w-#@p}!y9ex.,tƲ 8e)n:Ȋ?rύxQ?I.aNOB?.zoKo/Sݴ+ẹ`NO N ߆5fXqj{VJU#%2tPC`\aFRQjV!h#*PzNDfͤ2gDrpHH/8_8/1>RAM۸>dIVe9S咔\Pb~\9Ԙ_)%ԥի\ikڇ[ U[85ļH'zJhd)hHs@W5`\4QuĒDhN%1 ɣO0R +m 7v¼uՋ9i[=Br Ij[ "}vX;(D4.YݥA1߅T{@jmH̲rTX`SBcgYZbf7831bcf88868a5b6660ca2e5a8a4bed3da0bed670512538733605cb63d45e26f52dda04b891aaf d1cbb794f03f6e7c97845b63a50e90ed33c8e18c 3258b0fcbd2837692909c300790f198fe1ac9dfa  IOA