SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ~~k1 dt S Stream_Fusion_Code:threads=2elapsed=17.494cpu=33.124gc=1.580factor=1.897zXZִF! u 1 Stream_Fusion_Code)]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ=ə\˘E;H# 5EV0 ; N8d9]xMΤJlڛmŔ*ѵՠT5"|g@f HRK IED{Ҳ?:õp0a-\dK^ ڳ]y qrI,)zþ-F>1\ɕ*sD¼8K˂eY 2>wۢ |rovc`+=b}7;Q0 6 V}^:Yj믊wL8)@2J|%TNteauBՓ%1sP/ZƵCO4/Qп#"MNF7r;:Хg;B@ưr N OC(X=Nx@ 捀[^Z.J=\89;3{ӹIǨ ,j:g'x:fjϻh((Dk9,xsf=>2V2 X("0Mevn+/ښ P3Yo qlHXC N`FSj>EԳ.P`x~`NF!iLJN"()S$s $HfoJa^@0TžGO[`ú%sI{1ѥtc(1"쭇*0(%MUCEjH? |XrifqZmWWhfh3ӟh <]ܪ.lIϯ B"2 }ph])l^Im/vIߖg&c_ϲY1\%Z b>{Wmǃ<1?`^FE0^ !‚&$)7 `;Z/UE/+9,6޾&՜GbW> a]io6s6=yڥD#8֏^ŝ=^H _}dY9`{d}j-a":53rN;E}}KkyXG,C +xI6t-Rv=^FQ`:/eBWCLM?Ot C9`1@W]1#"zLOu@)X\qwʴ' 0y+~ (#k)vւgbV0S@6Y.SܽgYZ7zXZִF! `Dt]ŗXi%:Oůb^f4J.B6hEN2|*'ArRi}& DGDx6m_zy #M|4.fv*]b ~T}:!Ohcrc4-dst{/l` |\I}Q^oe舺zgbmwzULFR:cdyɟ&' vF r8W ٤ly\cmwtZsDwŗUéwes CVL"* fW#E7dB=ϫtdw;4+jp8m(3?+ ߖ5.dwjp3L rs̅Pm` Yd`6+n y`)~[.om PimH6f枩* nGJXsȧ;#ޥKv@}D9&B&!\Ib_]Μ0&JzfxgbIہ!Gb)to e9DyV=NGc?,(r -&ǔ 68CT@2{"d$~ \`V3(rTv.v#pfʣQ, @eQ 7~XOBY'%@ڥm|#p|wW&+=ه2O%bAcgPnRҸ(fC}8bHsfZRFP?WT*øK1뒽« (+od|7yԣð5}"NCUD z=vñ$mǜ z`EBr7\L|D9B DmzЕchh!:3#[e?14oeم \L0Q9J |6, }@'~@0hHJ!7Y/*u%oF8ڱ+[\g uypa2j(4!H0#LR_R95(P2R O<0k޶J,`:xh8ʥ2}-,Ipe ٿ8Zӊ=N8Ia{Q(gq2% F);`]-eC95;$̪?xTLaؘs^)yfT׭?/ʭ-pccJ