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   Z T, ]S Valuation:threads=2elapsed=64.870cpu=103.148gc=3.764factor=1.597zXZִF! @!]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\>7>9Lnʜ`y 4rQ-"Gy-̌I-C5^4;ĢYAṣgM踼zx1?IJ<~$K㗩Zeل6QԹ5XMK;M6 .|Õ;pZ+pObE\1U)ĪtV%τ8S_;,c e BޚxӤ}P  i(->-熫9!q4'kJWk.R;QFI,f!Bc$j^&Dт6w048tCE>9"6haT D+j{m|tR4 _Yc쁅}P7p1/6 t`DR])^[eيFu}H7oC2U\ڐUk6E}Lͦ|Nܢ#n;'F_q}f}T7C;%\gML b<\!19zS:uS%t3;@C -r \%f%f)D2h/Ip1t񠖴jzdV"^OOxU8}@/›w.)5?tqϦ`MW3AEhW]I3)nQ~yK%E=) ?RX;blCy5 tJ^Z;:To69eYn=+cĪ AKqjE/@Y~&;GeX>Ch Xso$vW3VUmWnAR$ ҙK   Valuationb:$HNiGPZh 2-~UD94h}\ޣʾ? χVȖ+ȑMxґ3Wc|kё$3̛$L *]Ղv،:B$g!VpGb+1Z T*gYZ7zXZִF! b]ŗXiɟ9tfZ6Ͻ ,۪& nF0S&4ow4`܇Ln+sw%m =B#0<rެIݳ~A䴱gYZ7zXZִF! E ]ŗXi%6\dk%!BƷ+V~EA`bl|Yo3~Rt/Sgz`0u{O*iSW*Fh6 )zӉ.6Ǧ6)^~m{ 6̦1Nt/p戹~@3pQ%>gF}(s&v(qa)@D^/yЪm 5沯' w+&!+om[9 R nBy?56R ISӁ%/&ZNP`wUf,X0Z=)dNk:,Ĉ7]J~<_W:Hx>ilW;|+Dõ0XTȇLQ! ؔ}q"^ zq4~OrȥȌ녇O961<$8iQEvO(eF_Iۮa5e#_4M>Ny3#_G&G0D#p lɚg\.:/,gL8v!G( ^ ۹\;NĚkؿڋ Pdu7 ӍVO[~9(Yx-F*udovz~_ퟻy#? y-e8mI6zP$ q' ;T? -ґWg +c|8 k}ZU3';n[=gdF@xU?LuE{' Y$cPq|TcV3[SluZO"Ou>XvkÈ! meFn&tKQ&RԤwCS먰cV JXWB({Vq3Mjݸzַm4n`ɐ IZ>A\~p[+ %R.ݓ!A Z4t@`%Ǩ Un/҃-eMegQ|d[cc%."D#?>[)U-#PP`f"S|Ś^84A۾ORkԳddyK&TɢN"Rh„b6+,'ɍ܁`4@"8J6 {RlJn>Y8NwE]4[T=iqa'$~࡬bXf\xnU[ L g0mr=˖nJ\Vh5͊ dCo㰮0Jfpfږ Ӻ.2%S7 {zNRsJea&{ %|d!.k'Y.v{H,gL9e2 6Zք9EmrG23XFok펶UߑfckY { X3Hy^YPG!Ey3J 䃫.J{CFr[`'e "s0u X#f_]# W=+ Y5}`65^7 I4 I.v[Gx# q3 }7SPgIhH|ma+s%̕a}e焢AXkJb3fg_*=0oN*˱qʢ9s%9琪rn)g `+[ <^w\nI"  x0ZwȽ>WT-Ϭ)Yቋrx,Ӟv6fk#GKl\+7a[xgT5˥<5Vj@b$M"fuKIc=CwM-_tV,ܳkטFnَ hTgcy^7gH3"-ڸF쮌0㡨${;%P.#=!üuf.81QƅI^Ļq9{(b[ Oڷs{dLІmV>;e0Up9~n2Ru Ir ȟJxv0jcʽΐ z (/9g-D8:Gb2Xelds2 $>xn,C<1x'Qj}PބV(!|ɁumJFi fDloX~Jfc˫Y  îw.2ٽ$ЮKNXmkb9@u{bB"wt8DⅠM{pƊ{SK8E}8EDf}1-;͗gJ6e D"C^agk4ÈAܱeIZ̴}>.f ~$Pv1 2\TܝJIOe` \Z8圪Sí?T@8ncQƒ;G7[یKWΓ@ĸҝGP$ZHSru5$t5-PD m\If/X3>gYZ6bd31509d3fe38f06ee538a4c8c47baea906b533e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f f61705bd02bbadb56dae16c0f2c85e719bf73150