SQLite format 3@ . BBh77otableisabelle_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 )1 $4 ] HOL-Imperative_HOL:threads=6elapsed=43.395cpu=62.776gc=1.972factor=1.457zXZִF! 2X]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{SKp|KC DsA $,yXVuWyhx7$@*0X0w~mנТ'?pEʩ"mF%'v''Me\Ndh3ߩ I[I]4;s̡r^ۇ/"%N"^X# U+#Q֏ \!PR %s鷰Iܵ4g)!ε 1 HOL-Imperative_HOLfZ6g`SH)^+ՓjqG%9=2-R?lk`ǃ8`8,Wˌ$@ސrgIo˷+2O ySsLǝ²K+.|;2iм(tU W(la?2Wh've鲨m=eOZq`joW82$J?[![+ᚑx%IV i$v.ta%,=r-הc~:sK~F =RQ6FņDk[JG u? 8 cS ~1.i7a@f#,>3|VOLJ9+}5Sp`Xj范vs BXL.VQ 6B/ }s5.Pib[C@S=rDeOG.KYǪ&*lOT<gWG޹x]QX~ ?CY=g۪ԥkl[CZ>S8!чT7M|AaŦ|: h͋o޲3[SԳ~=3@IWь=Z[|ƵaTiQ_F4]2*(D5toM+boU+_WI;L %kRlCA-zp?md_cz62fDOܣD0 Ff1 ՜Ksy$PJA!U"d'~3WE8Ds¿0j_|;laLZRu&-ݓ!̇PlӐR _]9; }`D%uInj+xDM -0@d67 dyѱgYZ7zXZִF! D]ŗXiɟ1nhЦx"n_8N]( eOtd9F6 %|HW2 7xb%M'{XyX~fND2f 9Q} B_!I&Ny5U9N8@5#Fzt)( GУ%{4̍L6K_l;f]T 0|mطWcaZW;un(4D+ȟ#n@=lY7q#p(`7'o9Iŕ1/ŶA_Y嶅D8D!#ܘ[|p`r q!gYZ7zXZִF! V]ŗXi%96ą nG\sf4r`)ݷ $ Ar&Q%NqNFSA@{P*noyL%mvtyM R}SUY{lL Zn.fCrCR\Oc>4=I d\ކΤ.חj 54\z*YxA3rP:bF7~9s8騲oBdGj6aSu 0On:ehMguN?x8uZW,K! =oߞ-P7"#?ᯝPܫGQä{֠ג!0`[̍JuYEcJ0?>,8$Q h7EVAor [ >[ /} Q~Yqx>a6tkD2!8I}]AR$w1-w.e&tK]q/bM߸1#b;ot.t3~DoJ(oo4= @ 9NF}N- LTmϚ mj2YUV'WvB+58o!*z4TAp| TѠm\͕mte# d NJIA<'۲<ԁB@۩uW3D!*Lmn}a䣁 0ON2!*Zh<"8px#9 Gi/lC fhuʧ#'ak3yIa{ ㅯ:Cw劔;2N t CkDCӵ^ٴ>r.V5K2z 0bxe"/M~I@ C@6b2+3ϋaRNy\2H49G6fkY:9)ήpY]8"LNZ v1(uN/g =&ᨋ ^&|.W@̅ =lR-VҵL_1J3=ΪoCNY"V{EZ BN/;#\n'_Tc_j{zt=㠇ҁQ*r(hכr*9-)tKMW "RJm.=XpU+ yJ@:=`7229&s12 )n2PD%ӯ䀘/j`N&yLZYb3&/1%^;&(uB%0oV[/MC؉[-_$$I] y)B/+^M`d֨ +:BаC`Mѿ{ չ@_On ?SC>Մn3E1&zmȷ743bobWRkqzS[&4\mL"RCIa`9Aq="apQUCO#^SKe,g^_`%n4P( Wi/9$`T#8vt2`TeUR"ADƹU"Rc0erKx:]fDN*Xh$h(gn7*pYr;þYjuT(πd0ëoe+@t֪Ғr+}x{-p#z%d&ᅥ?QO_&񚐛S7b`]hR's6 T|ya#op'v 5Bmj?\_cR4K WRlzlTL»ȕ tH[_"w2I>/l8o(V:@N`z+˫Gh~ט+5ѱgYZb879f64dddcd66a81c121b2501b8d3a7b9498a4af4b2c6d5d738b06d204b6be11a7ab87828edefc9 e7adafd6063385647279f71f3a5428735a09a9dc 8026c178025208535b6c657df78d958706faa79c