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 lQ \ < ]/ CryptoBasedCompositionalProperties:threads=4elapsed=10.239cpu=22.016gc=0.692factor=2.157zXZִF! h]ŗXf[&BPXߟMwS^iUf$%~1*k`H G , [ ?uϊwդx? \ݧȞU,Z͟ ~gaD8~QLrjgYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )7_/4t]YL $ t,&`S)9|, -q1kroZ`A44>]ɕ2:8Ljߙxάa6 ( !0.a,̨gYZ7zXZִF! J]ŗXi%GVfwmW%ԯxT^1|Dci+IHYzd!'"C\|^m`ÓC/F*7iX64l1ÑjY{ x;}p)~ɅM50PjB=??2cG戭gكɶnB8%qgE]L }4$ ;~ kWrjz]ā+pV*i{7`<ǹ(($򍨽U\ު-cȜx6Zz\kc> +mN'BKώ襗Wеt}]>-h6ܪ8r8 Y/;69$$ǵ( FK 9y#l'!j6Ġ4 VmM4J]N`~EjFuhtЯw\Tn_K~Kټߑ[y=/ j>MV9Cx@Bc{2WsBw(}g! II TJhdj6b++ɭ\ ;lI}M3 Leoأ"}:IwHr~[9[X5.<_`l2 XsPNS^ р",3N=%:$Z"0.͐Gg0d I_:-w/$~f)()*}[)æ5Sd&_'Ͷkx3 Eyh$lҞl&(v4 r\Ћm,=;0MgX b$-ڷxaN(wzo[]ձB7OmIFL(?Nc|xI".UWPJ/;R0B_ '91꒿R>'6o/b ePS|E:&,y~"mVWm 4Qւk7I Ɓӂcg5DZ@pVH,)yf1uOsh*n\_4gbf r{<;F}4W yMM(#%Δ]\i9UL).F!M=>+ԣ-ۡ&>LVIt^,h{wV􄪰_^T's ep`O`&sBZ eƊ$^H/&%b7#9;ؖrԍ "IIDԩjO|MJ0@2s  n[gYZc774cce26872471aab99d20b1c61f9989001b92a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 %Q CryptoBasedCompositionalProperties