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 }' |L Y]List-Infinite:threads=2elapsed=23.351cpu=44.124gc=1.976factor=1.897zXZִF! w]ŗXf1-/6vRZڕ`0 lO"Eu%\]S<׋m)r>7<܆RD9ޯ.,qY2&+ճjXP9IQW|B@#6rΖ=p 6@^)2nꡯwk>"F6GSЮ61tayp5U,-V`5|L 彬En8$79L)! oⶑF夢fGb5>>oӗF;$MVvc aT1-R`6GU)`(DLE~JxVE8՞<,T\b$ˌ|OGh|uA<KeBx޶^G_-RK &.Q]' j~JB-4Uxmm_ "TL)5-Q ݍ7%K$C]$ccbb]REI^!n]1dJMʤp&(hƊ֓<1.5b,Av.ʚߝro;̳'4\vkxpSⓓ' _unQ@$-#WhdscV']I}nE_zS: 5c9+1:L#nOC ȗR!yTp>ռI:*>RmIp chn|lphKN6Vۏ8% ,B6F ?>Y9 +c/SmT?PuArKxbnqBq,OØ#yPM\)D~"s͔T8٫h#yr`tՁĞٛcx'c 65)_T#ghf j4X"qf#j/_uqph!~9l,z;myK:U9QPy(9BJa|LvK/'U势-G (zwԓ-Tr.AcX귏~gbdL䪯 x>dj/sarplG$#[IBU>OߞV" ~FȠN\xx/M^K3KtZOb/ Ii?j?GF`7{1D`y)1%͋$GkrrNgJQ(0!7u \Ju`Mk%=249܆'0*$A`.?~8R] B\P5_ժ_j6)Ţf*p1ik{%:@jM-\<ۡ<tT~s٢8oo~)_DlB-Z>~JROP+ $g K/UEhZ(͂NJ&N>Q8fA}yp\8^9Ajuce+Uv'Q%#Ƣk Uk󁷱 @-c@jZ4<7fJR-5[5P!\t^؟%yXܐFP# {q!j",3ssz,h_Ï;' y\@T:DmMₓLOgv,y2k ?mKE%ӎxԗ4 7Xy]OXdBOMZ>V|;džʘ,A$tb>G,qI-UT,N겁Z,6;ɍ>Km݀E8uqL =З4Dzxt9Zs_#RHwA}ḙ~S[m38aoրFR=~dVWכ-ftm(68Fm*!^^B^ϢwjmۭTp*Nu/HO']4IQo)ܢR(i'AbS[oc\i:nf@:dی'jЩfbOy2 ңv&dm9ʩat#H*"KPV3=-G7eӿšzq#jբ#I8?Ћ#9߽fy| y1>EZ', _ U'{S#m!*w\96u[{WeMS7HAM]OfР+H&?,[xbl^%Wns>|WOkM ' List-Infinite:Ӳ_RvEb8p(TΙ\FbXG!\'U9=ߞ-c2ՀxL"6nvzyעܜm'dl 0@҇rIS'H74:eI Y=+wٱ90Nրb8~d<~RA֔<;M*Zwc 鮦p.a9xc'ޚݍ{Le^Wľ~ߵ.u=^xUx~1*" ܦ_"%= ӿs#ʀԯ_Ht1`p~ƅ}0d|25`()nnn}Yk1#~> ~ 4AbRRC4YiL5S!OoD]6N <$&.VˣfXC,Hng3֬1 \=U1X:'XF.5MN $h>d?JAYA#2*UǪKJZL~bիō,sB0)AI71ޜ 9H乞6ۂ }1z,-@J4vmizQ߄}[tzFc?1g G]k$ol~殉爘fW.'L%ڄ1SZ.aPl#仅0?% ?=«**t3N$Y=˪ CQ2HÌ/ jS ! \SWAVFNQ 2ppVz$Z(M(*dQUs~7DY0y@HRXS Hy!>1=i.(q 3O`3p{*v"m1|74L8QV<@>,LG%V]C #GGxDmv@2FT4&X6}2)O|F`u4T6=3J)'ӜӐ3.um,qkj (hrZPV_3`pt8 W8צ"'e͚ftPt?|$4 NGM' at}` ^r^=<{OCϥIVCG^GJ[)!&‚N<}[tG:&uA:4޸Z6MŹ!XX nK-,؟^xq@GM %e8$Lէ? \4V)LholfYY&ADNC`~8v+rԲise?Ug &8= dXMH^#gYZ7zXZִF! 1]ŗXi%q\HdoIf?՝}۶Y..Z}}YݭܢwD*'I3ޚ v'&ǔGuB8{i#^&DE ~ 4\sC)g?  34Pko* ݊@ 9}D3Ӧ[wդQn؃qOv"+h;&JX[M5T(~8щ.*khiW=9ҡ3(nsh}Wجpssxttӹ9 FU8ܓ q`叏>'6@gSНkV&uK"wTYKƱw+E1Vxس$S/L5Cz!q"+޻,&Lʨ(5>!J|TģwcCN^,1eA;A=pm1-wLu H~͇euGHz{bJX($uQqv{A8DsSEe6j(Ƴ0Sע6'!LE5IveOu"6DK Ni\]!IZ5G+x*z7\$=,>6gǚ?bázhiA/}h!a,ӯTc\AKfhbm.䇝qhBi4V#:Z$m@I&sa&WH`=YK/cit͑iW:%rPuȓ_0|;H%Y=4q(y~b} ߡO̢Pl.زtkи%{iӠқ숷aS<4ԗO Z`Q7Ϗ\@y dp|_!03R_nzfyLvT!kB6_3EyɨirL( Ph.vÍ1\L*|O/#Tp+J峼?-  0)KBZeޡ%yF]} N?׸c{u ҟ;ȃ*I f0ipS-!4C\ja)g\rLٛǹޒA-q/yqןDD(oQg&)xVkXlOJuO4؄U84Q|b*%tv-^z!fj1"iCXZ&G.=gkէܫm9x܏ %"Le: ïh A9 ~gku]-'䃹+1N4$$taɺN^0%RFnG fI}? xuS+tjۄ#+va{r~4f].V\2