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  # t$t ]/ CISC-Kernel:threads=2elapsed=22.177cpu=39.608gc=1.556factor=1.797zXZִF! D2]ŗXf[&}rsSb7o=Od7@d`v/BQb ϝ?< 1.sΫ3$,}2/Al&,ݪ3^Lt QCK$L#+P)xB j3O{//+#ڻzrF롵<E?KMJe7}V;᯶ZͅQr2}mb3)mʽwѿ` &!xRߔ2]$ 7 ca;ykߍDxˡ$;9aJӿs}s} ]lRGb>B8~ӕKuU.q8+onIb|y n3%5Ā8 gYZ7zXZִF! J]ŗXiɟLN.!}" nPBڨ&wjnhi.WJSgc 09ͣmߪ0-njAGuI!C$ C6[UH-زֿJi0j (5JDC ㌈| ,#c'/Z5 z.Skd7 qڗlm }izN1n֘a(xgd[<s9YF²$>+x稲`B&ݺB@f+.<̠ܙ߹OQ8zG2Zqczrha8L.G,tH5Qe'yIqg/@$M0Ź"ʡTc}ʓ M2'ߡe= wᖴguoblzn; TGG' M8((C"eKf 0bҎ[3 ta!M^ې6_tE+.~vd2kb&Jbx.%Ƶ2\( ??XQHY66i 7)[ɢ$m,Zer3p!SK F.5%%DZ't',C20>Ӥsٓqr_9kO'] 䕚n^_)o}e^:j 0gQÍ)nBt*Q̷[ڟr +lHx+-zԘJ%bGe ɣ,S> Y\莏{sRSS-FANrd]+;3:FNWOW,AwUj&kczeϽٺ殏T4zV_TcHʠP#%Գw?|wANY˦wJr ,|@{ܶyq5Ҡh%nsN(4dMn|2O\2]|_|Ǿr>Ŕ;@/ _lGHcxS\+B\B@!NTWg-lQXt0El_nBߌgY<_|x g6rLDG*gjñ\-3Im7bj燧YS8ul{w`akK?#5b{#<m\i2Qj_,>5K<ڴ8C1c#[=tj޺=OŞeDȜ pWǸxQ G(xB0* 9X L2 o 5yރQvi7 c14U7z>Jڽ[d蜺|}byFHbv'oӅc߶mQlXù(#g2n_Ν|:ЫD&Coe=21HŜHק@&J!PF{yFV\m>` q8GnFΛDGvËD 84AR I~s RgYZ07547f6a6b94827151d8f7bd0a42a477e4f6c9c40779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f # CISC-Kernel