SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b 4d / SIFPL:threads=2elapsed=44.441cpu=85.336gc=3.552factor=1.927zXZִF! |]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09[PRX,Y98ZCd. :FYQx_x}6?`dS.v#$LJT{X~P>7 # +pTrmpISo@ׄBZ/cC*h׺z)cmVtk Wu6Pz- lQن-lYV?Ӫ|H2O5~P@E)/5}4XWf> |u?͠~v`4.e HO`b t${p DFCK n%ޚkG(Gk],J )nK*M,EۜjKXMC^SJz;~g<[i@]$%!ΜN4e /,۾jQÓ aKECp'3]wK390qth1]ʎf!CbZQ)F\o>ޕ?WiBX4i+yNoYg@ٍf{]8zZ"z'j  SIFPLʼn+;M։Cxۼ#*6NʺG^K +J5Vc`ˈDi:y@ʻ& P$M/G0o\BJPgX@jZKQT dV>"2^ p 6N.Jい-2ՋMq H ruwJrΐ{&W\0s7ۮ -D_Kr.1`YbpVJH j/k7T`͗i0İ0?'kݍZ'pW&;zt8% ˋj$i}I$3| 78zT+(UP_G<^MGTڼ1̓Ab1#toq&7)n^,yHS:Jpcy֜^{@&2M7o t l̫TiذyQp Ԃ^oi(V\[T55RGX6^#}LDsu *kq+&cㆂCtl">ts.<= (<~楥F9DͳC5PJ/QynX'QaxppB:'0Ի iJ2xk8fɖ\Ě8dVڰPeŴɒ$RXy|"0+M?(Q'GJ#B JeoXr@dQ">In um?v ՚rk%¾RJgĹޑ(osV(4짯ւ,#l}Dܢzܟkt>&#?k7b̨@L]q >d_W|vC0e<s!=Ks\8]q.;Jb0̩jTo<OfE h^0$sq'`Cu.] M]_2ap F/'zAvv5K&MUA3t=Xע}|;W]hahPSD~3j8½#eu1OB oj@И HC@{)kz!qqe#cYsiJ'x* WJH$bt4t|{0 j`V'K>Ԗ;ʾWЛ3?-|&)pO?"n>G_ G`r¢--( R>I#oW[ ϢɁ 7gtsǮpLND~o;Yx~/$'t7& i0r݆gstF΍GiST-*E<[L1LsӾwΣWLGܙadmJu^\_;.*輱Z:;ӦPWtpQ1tJ¡E*p}4<-?EF!'w@ܒ9"X%^T^oarb@p'|!҆߼z^<([΀zAǶ {I,@ICEr(zoб/֛ur.0`񵬗FyY[0ykB>^"Pb>&c fFq1*ZO>ڽzs=IwE S1_7<\2a\=5uX:j;U4@ZE1ԷWzpZ b)?r)5]ȜK+4ewBUt)d (0#ކ.ﱭ+8JdNkω&X#JfZZ~/+j{*pV+mlB;^LW3Xֺ^AN$mWkq$yK1XwAK22e4HoӷY&&eNB[ dO=JN7-{jz /* أHE5OT]->ǂlO"Gl_\Z:x1 [;}@>EA {͔OcxrUQOV}/];ĬUj7q"Z /*!?)&% `\wuR` OrfFmbk?W(r W{5c/*B@Wo#}yu{ѓlaw9+4T]5EC Ϸ)/pVm+D!l1.tl2, z;9 ܅ƈ4I(lU1`yT=^H&gN6:hLyQ7͂dk|?0'g|RǔL3 xVDE.}+NSUM$bx5RյF cD"7v2 Mxj%3w8]lš&ekF[Flc D3hCIgx]ͩ0o8zZQ 6GGW=T-?=,*0 m)>İЙ N?2?TVu"F['_>'&vR_F G—?Py}Z#6mQ =X_2Z@;<} pcN%%Rvrq4@Y)6r HR&\flBT _#^o~KHny F) s匽=[ ӚI ׵PްYZN5%otIς+%V'T&`.Gş%ItcEsXZ^ 239ɊEXשHe4EI|_w!$nPJTp![zM ֓ Pk\{/^^M菗t eֲ:SzVCuӨKAa)H,޿ٞ'/8Ɂ}Q`fP]r*N 5ab#6e>o}֖͙^G |?jL+a|h*%!6\ Ԩ_4x:8٨ 1RVX>&X~3[PW+B:$Ĵe0:nҔ;9)nFHW1]2|U{]`mB x+Y 鈿j,Xv#8dy⢤LMS\FfD;yu,q*m"!ҏNX؆jt@EA]/mDQn?>e#-<QMXc!']L!M"LCgl"[Xc/VRP>foJmԦa{BFpUD{Cp.Cbp+ YcjaȀ(xmttHcku>{BJ]Or.Y+bQLqRUy*u_A!y?Nw%2ŞCʟpWR]ux3`&kXHx Q&̳7Y%ykREstC0Ƿq ԳM,Tx✂]̕5&:UXFmHinJQO߿jmHq(LBt]C^:t z @' `OG*_EXwGݢ;& D3hEJ5}M $sѾp,&fX5y$-ۻdvpsLAUCL+6n1uƵ@y)9h~ 9l%p10'lb2;AgYZ7zXZִF! 8 l]ŗXi%BׅҪ`7. _hؼBq)~`iPWHg;Te$\HaS7VIY>Y0YzD"Vca+P8ƫ63љpL~/#u2(Nmb_ZzH#Crk1m]41/>d|s=rH_M!3tH$cѬYG Ȑ6ڸ:~Web)[P*!buXokOűA6 |ק(N5E4TC95 &-̶0'ܚ8fB XK+H}ku@uGh )RaBeDutǢ/w1Dջ>Wc})k2,Z[UGN3@"ђ"9xǭ#Quwe"1oCLY3TgQ:YO" 6'URci{-}s&PT"g~s̻^L?ƜI5}_m!^@ӰcJ[Ud]|AB<ͻ5X]3eE 򝃚`r_/ ?Z$Q<(xۃ)-FA.cLw칿X<-qԯ -:ЩRҹ31xS)OR+?c PB-_Xwٙ΄y&eK[ f5= p ?NU-P0hrdaUXl8f&7YqpB`C6M©r&g/{϶fSANM^?=bOC]>j&{Q9I͏h#OTax]S^(DyP{ݪRk D Af>(]9ҶoOIkIÀ7~mE 9 P.AЂO~KD߁= Kl݂#NRv7;SX}̶-a(.Dƍ/ _O~R+$xٽ3At -MFgPD%ϸ{.yR` jKZLG˓}&zQҒIQgT7j.=fnsؙ-٬36?Ae+2$.٢hI;)`b'jvt"$T% o`YӇC8ƨ{@Ӥp}AΝ| x8;f>M&͋gjB;IPF<8>u{6w6J©;^2&bmSp C[[ Gxⳇjy1v*,5l]DZ3滸3_ A7 @pUqTAwZrִn\фg2y3?f}$LYi'xI)Kp (aDv]_'MT 6KظM?<3 7DKEg|US* 42gRiF c5ciJBTka&enJe\Sf#te*pYYW=3*H͉1 E1x7rIj$2c%ēoRNeK0wY8jP1^b=o F|WW>L/,/6`pgB|V|9^zp͜{1%*,=:iBݼJ$@Z/G%Ya/ouGZez[n[g.) ,e60uxp헞;2G6kH[NJj! qKXHK;(<>Z (.r`Cڰ{Mm'ўܝdL^`wr?}:]c%lypyﮖ1;Êxbx^6@*@zP̃p䪮O'I}}"XgkLok Z׻Nk[! }=\OR]|6]5Pga06ȳrn!b/d_2Si/Fzr0 4(|5p'S/ K$~jG/zkgXas[=t9ߗKdŕ;v)mXl~NKyiΡ4mm6_qsMAuwLDPx*x Zߠ4Kx M+֜4E9VO354A֙s1Ơu7nCE>6:x\RnҮM$UĹQq%=/$