SQLite format 3@ . YYQ77Atableisabelle_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, "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 '$\ % HOL-MicroJava:threads=6elapsed=61.668cpu=274.532gc=7.840factor=4.457zXZִF! >]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? G>(w / ϩ BAmZN@R02Mui<[n\E*ayË:,Yt !wo#zS.?5=J!Np# Yxa]Ma0=%j*|Y/i|떌Cl@qfe8T&Jq5!0t\N FK8^Yn\(ćcҧt 8DxfƁoV,(yyTˬؼYQQ;mg[`Ӧe:ޛ۹RDd#L+$Z(4\aoR, ,R:O[AR ?<ϨBjQC,DH2D(c"z6dafb{*k&@;aopY`V2gluW3/aI% z iYp,K!6q} ˾S5@(^SFË1Xy/<y sp&iҸ-?qU* f^@|6T7|%ҫzOVhh iM*]lZݠ!6Ҡ!9i8oJ0VZ!;N\l<-UueVnIk;,"jJZ4>6*>it{@<t';"]I}c $PaPcMߌĽ0-2 LaE8q`z$JA@y?*ڂ]zdj(!-jtO,>EB3dGB?QfMA 6HeQp6=y Hvդݴ:SFGLHmk&9H(׌" zMKqtƔލpQ\ɰX G$ v+H#:* `"Oog\EVcU@oAv-ijT*wkV}s%Mh3љ0Y UmSla0Umَr}6yx}JS,x\3U~%wa3 d`щ>nyťƏ规jZ@9:S} ^@1tTD MMڢv;+adrk-BAx.%ar'gJ!2hr-Z7/7Ƅx"of' 3bպ'+_HLլvy !iOnCidK'}<+7ڿ* RiԀY-Zy@4(({JI{m ]Q@Qq8ڼB,R/Z$1S@mDq!֔SvYLtJh/lck`Fk_P(Z&"$VzڝGB,%k^tEd}n.^iԺl2>E8/e'BZyY3X)V`qGAPZF()}c.be'`}8vpr^}(M Uْ?5ճQP(]3#JG}?]!dשzAO:Yd}mGb[#.uX (e+w'ɧF`cҽ݁wp'a0\i|+s} ^[8&Q+rhqgځ>l{@ ʾ8 aLÈùu9^{eB|&R0( kVo^Ǔ6,@j3tsVeT6 (U* HH 9ƫ!. ByܚWJ7Yw3a_h9-2TDuJt'wƙKom\Œ4#cv)쟔q.񺠥*Hg+Cʧ!?)+*hkYR'~1z&2I6z6z$VK+30~Ep2E%tjZ?QGy(;ʅ]q@| ~&$q<>2ՉS ǥQٟ'~~h=aT#|,J;nـ!rnAFifٯӖ eNe@[.ngdjPal-ier\ja( w:;R |-,x)Ǟ`u!ƙ nK8cKr`K29 ڬ1p\zakxba%yA>pۮDI|t=[FR*egoY`I=uX5 uIM8UTί2$pm u;rSfNvr+f&Syy[a̎Vz:Hp &( Gu A؁5˪HLIXa\vgiZˢ)-L\I ^T`-St](?vhDoRK2H6 $צGBA8P[Gnj r(}.nF=r-'SraQ3g}Z=3&5ժ)HptA0@<NZ~. 6a-$Bn]H/Nil >_.R.qU!> pŠG~$Qko*N,_a+#c%U _{1_Y)D!d"sf"R^Rg/WdM*^@ ܄J;&H#g|ٮ0`5KMLu _YԦEoP %͚սi[D]&0b -7'%D EKUDIf&mL{ ['KpL&ll<{hW]XT0"zn 0ynE 쓵I #lh^+Do5+28d|g\D=?$J}ʸt: ;aptGE?_b"}ɸۨ?zp^A2mPRvbEP ' HOL-MicroJava tϒ!@VG8ꕧ>D1BK_ভI{"3Å?7G S7؋0TL:8OS:V Z Ȳze)~q2g/jbht0!k]ݾX" <-z?[K MOP|m*WF4( SG)nlLU[=Bu>G9yϲ>٩X |݉X7AI oMh'ϒإq5-oϵ/-$rAbRI 8D/k8+/0.&fBR~X1|O4~AF?;$`aqp٣; GCȘP"M |F1UsAFw}J݈u(,^ߑ'ASa;I &ԛOiŸĤF!J1 |{P8~qS)i9[2۔MޅX"HEu5Oԅ3scF>gF]?;[.K!7QZגjͩ8vM *`?~5P &Yƒ#j|j CVVu2kn'!%B58j.*v[IS:SjZ&~$2ͣ,Bօ5'QühMA5߅jUISź\-5y1H0nqiLx# msno~6 #%>"$j26 )=NTXڇ"c6Pю #yu c"XSt{џe^ɳPbYѓ# kQ1aAU%;?<=ZuЮ PX_YDL|sTƒX-/E1c1O9 N+MwySMt ,1Eyg"Pϻyυ~Ta9]$;?XsWkE$,%=/ju!w="ViLΰ@s+)-qigl"ds+wY4$X}<1ugF  kN%rS6ďI]~I&=L9FiYmA 97:O"l5"qJХp}UG7:gٱTt-|A/[oy5Ͷ~k*9jB +/}e=T$"5c2gXXL}G6Hjyڞ˯+Et &;KQȴs.MNX U \~v".^xR }h11@uJvZcZ%glh yz Lq:YJە5oc3k7=D2{>~ʅ;ըݍq/OE0̍Q_P4Y肥<av8zI[27 TҐzEr4)X9Ͷl74i~6t]X Sbgd)>.8yPeA(&íGϠ#L~+.R#0Y{XnUfY7hC!gAZ8a50qWO,gA?eΌ"#5t{x ֕!Mr/ 6{z ^)ΛHaj:٘ .f. SXO=G_؞7TuPQkel1@~\9OeeeD> j̏֨/5D} $jB8'@SvZhk c7u~}P"vއ(ll=>cJOi K g|IxeCU b,Mr^_"5RX_ H>i@wcT A/oV\x 2ik)i!$™_jŝބ! a¼F2[; BG!>8Li-Si6:[$uK0#t֧gLF@z Temn,/D|f.qq}~KiGPşN5TPYqMla8sߕ4 ^#BuEƾqx X,|bC@»d~zx T,oT}~Ѓ{P$7p"l 0QIOL6x}jPUOМPu~ A(æ3C3Δ9JoUtZwY+Ġc=EX @|ɃUy8qkҫ4YTߏYZ+&o1y`z$-i"hg> 9yj tr> uDFD!W|Wkylc@M:)k%5.2ċ& b7P_EKrOx&TX< 9! je +IZq"Ⴄqt 8Kp\+sgN7y"OLcZg.FB2!O/Ki[j?,CCNuQSr|rf8=?^x8Y`"a@_߻ɮ ŧ.ל}Rvr|rS=rÉ}v^'*ɮؒ3dD/z}F2FG~j&6` O$Mf!ՉW6BZn謤3kO&\$ (뵻I#Ǧ{[.6TLW?Ee^+N% ,kDpV[-WF+)ܻoA^iIm֦E_j6^07;^8a,d"L(αRƿj, zՒXWE2]ʑv]r9\z{ HnUuוOhsKT4X˂R}=y=Sw\6y)]4D^--nwh!g-8cA""J) (Yo+1$[} x] }v4 t!AAJma;g)/'R x#