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 V# l| % VectorSpace:threads=2elapsed=51.602cpu=97.264gc=4.620factor=1.887zXZִF! ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T2)Ru9)u~i.yEYӐN}% wL%$';k'WΔۋҤ#Bh`4NRMbfm|WrEB_J_GrPX?_w򑚭\ǿJ|kkE}R̍o y>2{YY÷/R7Nqּ/ygr2r } p\Eca`0ٗ~@MrxP7Tc~6y@%S/ysg.{?VN[ x |o]kḪP/}/!Vr4Q.tbn=&SZC;"]nTWj$>wfJKղt1<^'1Qj=AV/az[Hmq=7iϗ=;BEL~I4-*)ty|:ZA܅+yT2'wD7uPC["A4?cq G .g}٬@s$JL ݾmgiL!.dg;5]†2' [xv[1 zS2~Jd7#[&lV&c^ڧnUa^4q3fʡ#mp|q5=e=@tI(_?=5'r+9ЏXB:1Κ9AF}_4A@vadq54񇮾QHRS5<2CUΖ3<aX7/ɰޅ-1[y} S~u G|#v*ҳ:]P((mi0 d|ٓFL<8Wu56 GM1 {MlQ/L&)n/ϖlUEzdseƫrLBLOTb>6Q'ܭ#{\t&&q&|B' uΥ7w lqobZƛ{ݙKΡk*Vn}u/(_"g)gD#x52iSHV?onok2pll꽆-,:huqS؇E{k*nIes =(qDmӔADDB^%`ᱥs$s״8yYl{W};p<;\cJ2g,'56N.֨sr-DK'0JA~Fuxm>"aqG%T523Ovؚ wRX*NfFSd.~˔hh5q;w!jW5PL轀Ժգbj%mN<{PxE'nUW3OP[0c(-2T~b<[Ù ci9f-1Y $d6~ ~@wN$Co ATY}\GVd@'Kʜ!vn3R:"1\DolWfg=| 怉C"Zn?OhHҖ3 thif /V Oc F6D֡9G)#S~H.8#fUAH\P+ ι)լ.@ӄ @1;X᫵/ BV1¨g?TyQwskq5.N!$&j2+ i% R +ڌvB chí<ľt[J"UiQߒzkq {R*01RCV4!ghd`Y|C0{Sz\:csI 4TL~I_;|w>b׽=V[S 'gg[k@H|~9bFkLoWBX3>|gBCljJD#Ghvsst9{,IԮU؊&{BtKCOhΉ̿^C;Ifb|5p>qUc1-In:+?Q. @yk ,ZQEi Us *̣݊.s@ О0؞+%({! ̪ԛ]T/?;ܼN|ϗwIwAAC&E.9y(Hrq5:=ey3+0|@Jt34 Û(72,]TyFkǡfT{4XgL G__WX 1{`ܑ )+9aW,.(`02_'Ei{\d{[3zɅRizK2P8 -(B MEP4ˠ,Emxһf* \ODsGRwjo3i4NbݐkJO_2/y-SiumCב&USMԁ~9iD'].miwAP3GW!ԶS:&}H@D p*<:M:L¡"i1 HyʜiWV(%Gn *y06T  W.|7 CUعqj0_$844?p@f<`TCop UAȤ9>q6:#]|cP&>4VP"}r=C!)eHf̶g.'Ⳉ"(@\q[W%?#'.p|_WqJ!dɀhWkn 0hHݱ2U嬮$*n"(#DZ?.;Zn ǟ^H\ 1"i3ʅ[[_&?|hHq ۓh*GmV^c, ]i٤ nW}+-ۧvBFui?*=V`YxHvgYؒB4G*!r/\jR.J.k'? aɽ:j UYçEF2)?[{OB2[.?HC_3!z6;|Y'h/2]d=Ԅ̓R _0nBiM{Jc՜Vw 1 t؋z鲈f}1Po:_Qe}R#Z}\Uzd XߥEN:5ׅ׼#^`}h#1 Yd..Z0ק`4R}ABm2ώ}E#7gvv{xe))-7s dh8Ok5c_ )93o+\$E+\V]\qmE#4s1$,H&-1RpPOc&傉>jU j$tw2'c}cpAdUR4J)̪Dag"|^κI$7j#HgmYOq7i{ƌS tb~}duRTD.0:ח9R]x_X&equ^ rMzz@}*+ITitצ0] p v..CꨃO޽PW"nnؼX+tC^#7 I 2Φ/c>vZNH Q1o!e{[sLb֭NүYL$ R3hH֥@ BFF6`r7{nրN7tgM_!7.L *?AI -X)~ SU|䖭2N}YL4c{b}*"A[[Ā":QfD7 g}|ѕv_DSyJCZ vκkokHi38IP"BĆЂ<}NU7B3Kϓ P!7NLUT[PT]Mܟpa(Cz"qN>G *BkQ z/쒟gV.j;BLaF˾ aNr!\ >!JDEwp\ DF3nnу@7m8K= VI cVG[>nc:O8U".SͱTcBqGv >.靦zQ4qpltN{[r4͚% lލNaRgml\c'kIQW;wbByȤ Ƶqr@;j}Fboh[7J <=FD,ް'}4%57^Q.[ܧa R1]`;`N~x|gB vIUB sO$d6XHYvʎ6'8(̢BaTʟk| #3Vz }[j0Nytƒ6a&!G\iߨKc56CsiWiefޒ" +z޳56JI &^4>mmG-C_tPƆ=s4zQ'^w`EuPN~T6 %uw'-)[x\!l)ڊvǚ[{fc&PG #֐%w<]yonǑgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d9699711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7