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  :'L < ] HOL-MicroJava:threads=2elapsed=154.041cpu=267.000gc=9.788factor=1.737zXZִF! ૹ^]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nm7.;#MjVt< 4YНjvxe8BA]Ax %$ԘK#![8VÔd-u, A(T5׊a] aI=85}_KhGz"0 -x)dN5ؒq33 +zqٶuOT Ly-blwS;$ZaB%!ĎjN<'DM1g6߿1|MY ҵQ. o/RцVeDm;2Mh%kٿ8ć XKX4gx`\5Z냽l/3tUgMOb;fʺmhK_c_"Vi@|z?II Ơf Vn%<.bZ8:*nR؛zH:rmY~ ' HOL-MicroJava. w/ouIևbƪ_\ C<_NolY"2kG\jLюV牏vhwN=)wl1';ya54@mf@C~v c4*>`"@n"#:7ohc 4ls qPq7ޏGPT礌!7u=RAE=bs>6u"5$/AGh)Hݚ64Tek~T0 ֟Wfy pjnyx5-l%iNJ{7͈_>00xHVħP[o&q <ܲgjm؛T-Ι:yj=d/tEfL6T%c]r/8Y 8gZ1smohC{,{#tG_e\ᠽ \5/dhEľ&w&L3z,v|oKi++4sedN?DH dh$ַR0AlXh˕WU$ jmh)`iu#64!M4g vؕsaěAf3Bf w-**]!i $# 1&.!VzOr5Fk_B&sQr>tI3D2`lqPz}v2uqJ)w}ͥ&\Pcvtin_S9''DnZvz 0ccWӣtC/::ͅ[p0J[9mi*CI3v+d$`drl8iqR*]_E.Q碡 S,2P#B11zش6_ӄqNOk@Pw-]b$*n bdHHy3g:5ywĢs(7Qݼ筎wuL.)Dbà0_@]|(wv[=u-e4pLD쁘-FK+I?\pJ)TPoM09OoT1J7g8ɽ:i ^0$]TКWwO4gȷ>-)NbN~4!Z 3s8CH_p0FS x(hapS%~uN^WnYue2/S=5^`Axa>_vOfRK ˱aGLO珯ߋCj}a;\ir^M=b35S\DU3j0LVtM!b۪sgĤlkO.0zs{1$]ɌRj& (oc@-Tc –~V~;e>פ#*(#YENE> -~MDM3_ONH+dۦZQ -0>cDMI 5puJ)RhFo$/Ϯ@#W;\mbB}ͳ$ r4l>6Y+§FcoP>ZKrHIU{4!ϺjDM!Ť's!cph|t U{sgYZ7zXZִF! }]ŗXiɟ1%c\aE>A}hNsa na>f  Vm68}4'E* L.Jh_JNb@UJ%@c|/2=;GhVuKsȸJn]zE,ƿ<|lp Yoͼ q݁j1 ; ;Rܨj҂J%N'p ;ѿe4YJĜYt1ZBĄdG) b0p9c]Cz/oYsҴc퀽W\CKrA)cn$9oJ ᴢPdkSN.b4Pʻ7!qso/S}UCl!lFVS}PRmQ04UįՆ$gvQ`t͋~%Ku Zpe;Rl9>7lH J১B;Xr|\m:U<6 T bZIZκG v)Z֛4xQL5*pS%$=%tc6 sƫ.$} 5TN;wjVm+YoZn77۞]@)֏}㏧+b!is9"y`bY\2s~a#oրﳛAǶ!QV n+i.}ouoҏI|My_]n@v@W &>S0ȡw͸xgYq~V͹>䗋v8bi4>=DFK螺ɳbWsA}1!x'MY tn^0s5_@V$X gYZ7zXZִF! >]ŗXi%;wu I?ذ;"3Xs*4G|P"R"%<=; wiѣȍ$߇N5؜ҳ挕1W rup8˙$/o~ RwG@ 15oSyDϟKT|C׷XƸq]7GbUe2Lo5*MQF5ɬ}d VO+gEߞRYc|эlDGQ|RTղOyS3Fx=Dgb ,gD `'Shk_)L <$t~?J? Mt|i,y>p{4zE.3ָt>eFJOC/Uibr^Bf$')5o7@͏ip3+mpI6[C_Ga"9žEBEqæCgZ.@ٵ(ub4,Jz 9 %LJwqVKbG! lZҡ@:f OsA# #Yg̯*z飷ĴM%kQl׳x~=GB+Ioוej.,;?pB%Տ_,,,"rk%:Ɗ>xef~dybp:@Pf<2L`QO6JҿCԸ{ח=XcՑ,KC9|`/* [ӓnn DvTTga5;85ZmC7q\s睎1i%o@0+}!h%O(kA&CՔtHs?j(}@Պd0vsP+W6iH ucAoA1JFAIt kq4S)aȡ ˙rH ħ'VˇO^76ߒկΟN"*bP~V`>:Aea-0_M޶4s 3]}! 4o>ǡr~㠭T>cF\yz $q}>~S0Pdɲ k&@ L^((Ynȉyf.Q3u>$I{엻Pe/FYBYdW $lEÎ.E,=oJEz`pSf2zOo?~׀?VrA¯$Q;e&Owoo.8ت3` & 70O- cySyf_r]ڱCSFiz#N\#'iQ(/5Z Fq: ::!I)9Y(B:v!o}\Q[۟om|_XΉtϮp̠,ȫW kٚ6Xh4nҠfVZChψ$SbfU{} ㎅ox'V- r|VqZe]4h=JRh?S5P>M`2I݆) "g ؖ:L*ΛKU3şb8r`iTG4[M ,Hu{ A"%OoY.շ֩H9jy2b{x@G>{sPu; Ǹ,oD,[H R(`0\Dhnh| D-՚rФR=N&wF׼N+{wH2G#B.48$0#ADp/*Q{{1]h#%U(*)(l`4)͹(}9_cIK20l~?y*I&O&f7i?#P2ˣxþ^tMD0މ lskQgy*U>`)efy2?~H[Նbd8m98|]QzPh !~_H _ 4oaߤBnwh8N3a_= :SG-îEEʲ0G6[ɋ)p cFѯatSg9vu!E2tF`uBZ|X>8~{&ݸF04Kt4TMFc.塳"|*ݶ{.Rfh>%#b' ؗ"uEtʞ9@iIشj疜N0Z2)ϲlZ^@T[Έmᣋ81qe[! ,DFur APFL7'@e} Vvtr-#T0!˪5 #Tj@&ACkfcrQ]3nQ`yِIzPN]xp@y/3q C$P*2Ш@ _e65V^ծ: ({Bh>$ƵtɅ&֞TFxj0gW'Ȣ^nӞ,=i71|960m/ĝAd/$!wLF$*~g TR}s^auW6P\@5vHU3o @i9~)gp&lޓa5dIxvo(*P&V3-W.~:TO_z/2PX#T'M-L؉6+HIm욌YTo;B1;wi} C'mDm?,[0 %KvPޙPi SLT;!)>;9m[Td5b8C)j;n.TcTDa:[Xfh\˨~2첐֢Ju2johI#q^zxhmDsje_m3՟#pL'2矞sf<&d*S>v~Zy0N4zfjtғU:s~F䇞U2gN-{yUcLNU*xe7} K;U숽4?NbV\**; )fգ b5hU+i%uƅAS≸T'!9mjI[c1@zۛQ\q~Xt^Ѥ}N[ >`5ez.)V.֨uiR_m v@(U]Wj [MB_5WDGұS=鱕nC?q7ZذQ;A7~CJ9/IJYmdE_԰n"_Q@_,Q~%AEb2jFRЛtA(p`0JXSW+бSwۗrrY G Si&2H^]UĎ@:OXf7侦|6uQ`*rӑKB> !T6ΟΚVP2`4VpW$EC<"ixv\W(n]xMy]; X^2@:>& AI:J[`CabTM^ oiQgиs`qӝv+FG4)N~HMII؅=J,?SS6 [wH*XI1[~Ej_v@aбq(nXZYN~S]{"E#/S)&#1ͷqf(ofXrޖ0u0A2< j>mc RZXĠޟWxdɣ8h8kL'`eJ/e@ɄTw(q ,> Й_ vH2-*)9s)l`|׊FA+΂drMdAZdUj^\1{{jK]*~oݒޔ{D%Ac_v|bko!#y}t3K%ro֒d4HjZ3Au2RD[(!Dڻ}._QٳR e3]A֡N#Ҽ% c3N+%sY_W) 36P;SGigORk\67)3YhkZ( K5x\@6|C$|.NT,H Y{r? !!굢3as L*ߘ#Ÿ5vhb94!J V ~txRjQBۓ!8N_#i r)ɩ  !ܬo?OC#( 6{d[+&r%h= =rӎE"D9s#9VϥNy#c8bhû%qbc,QDx$2Z)d] g˸Éq>í4ɐٍu9Sm%ȭG'3clnPcYpGJԎeu&$]&M Q=a4GFfm %(-$|qt(FK &nƻc Ptie#FHydEH` }%ۃ'2aD ͂33+vٯ(fzXrKsnx!BɳaCn ?D@ 6>LIz-KM=!*OUIƁhF([&7BpU4x Er@6=IRL^/7M k>S4NѝZHĆǚ0NMcע##8̭ըOPs!SNqB&-J*e- Dki/F?TŃV(F 'l.hy-pU#/Һ pQc~#շ7] qtoSQ W-A2n0p9˳ ۏ6+3I>b0~W!jS^O1+5V8̙² !o3Ha^iV#/]N mh^t~"vL,z2r5vlP{mc!q)yЫM:JjAcGC577*|=*T TUq5,ǿJH˪{kPk~If` |3Ûs$#8/jW Х4^ú ,u'pUSGUE$ӡzHl~}R#ȍp/K[:ݭAd8?xq>LHmAi)<