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 9# d4T ]/ CISC-Kernel:threads=4elapsed=12.706cpu=43.796gc=1.680factor=3.457zXZִF! k]ŗXf[&}rsSb7h3C^Y;i45qr&'zܕRzur?3(|ӯ/Tk|b'6{#$Zr sZusX܄/B|pX'**;ݾ]'f_* hRäiB.r8ڷlRST~.$P~7H]]>=P` 8݋.W @w>Y]iSKsnp,\9¸<1p/v_X m:SI.:4o:OKgyB'Yh'Rt=vH{3].7<ձFw8aCR۰4E_˷?4KLg-K>8TAj(.ث+OrhЁ}DSMf!0qV(9xj1\62sb˂g^aِ& ~11.zC"<Xmkk'vvvGxPUҞVƵ} k}0'tz쑙5X10`&ƾ4R5 W`(VԆOuwcTH6I5yt)/#,N~:YWPP1q >(3G Fj81cѸl [}wჿ"u,HCI߄~cP1f=<24gYZ7zXZִF! S]ŗXiɟLN.!}" nPBڨ&wjn.Wbi&pFۣp}CP&21CדR7}*lՁcvL l9UzEN_{S %kO(_?+n1c6cQq1$-ȲScINnJ"]k)ΈN tb(ew뼂cӟ* R+gYZ7zXZִF! gB]ŗXi%GЛz +Cw$=$S5ubPv7vxS",p UVAe0^( !0tsDCM37ucxVDL2#yɜDޗMvH#jW֟ڞ>0ڕ-fnZ3́*}=AUϝ.sjۡ_`UKΝuo(Gq2b;4ݽvD2>Z9FAN Y2oI(Ѯ?[[oL!I ݁_wM0qMU`nqp LNkmC| [} TQ5MN"3W,2fT5')(L+%7ώarRp0byܪښHoաO C $zL1bF|׵R~kq XSe~EiK\csv˲ƤZڛP7и\FhX!/j> \wif(_ / Knѣ%y0>LݱsU'(@Lq,pnPp*bJ d&^O^'~m.z rKaqx \'.-~p EAߩe!5jcajIowt?0\B{ :񟧩jNF.'u:>-D!*@gKqUEwz60}1 ȀEMߍn9mq2^lv\1RfbVub.j7r7`bF@ҪD>E!??ʳ4 :NV%:ַ󗅷 :&08<د&e Jy& Jah8gʤ,͋Ě踚g QU|Jt뿈`at8&s W9q*d"͐?tDB׺ ICuI6׶\|#߆LDa}Ep_4g ?l8T̩%g2yvN6s5>=mdWGҹs@j}Z[0/g_6iRT#~1J80=2FU[!@}`lZ+h[rsc Ͽza /{BGt$W7Bsbu܎WjlTE`֏2ڝ*G6.#}l8aԊ Os<<~^ۊEQ4PMx*DE *S,_cMqӉ"OdڅɎ'Y,M'c!2QP^Bn(C B*x pF-B 뢎2J6qAt*;jec6bEd}N{]RbKXhZcmOPޘFӰ ceMvBA)m-PT ݌+Udlݨ 41tHcC0Z>|YnE#NXIdfp. 6c8hTkbM@ߙϽهEKaVfuG$kԤ*Pnvp\z(:K<3Iywɝh,-tBɻewsd+$\ys2o>{60|'eݿ HtgYZa04d5b5e9b53631ddc62223faaccdff3d1539767a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 # CISC-Kernel