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  3<\  Isabelle_Meta_Model:threads=2elapsed=134.002cpu=207.072gc=16.448factor=1.557zXZִF! R0]ŗXf1-/6vRZdoMV8U)C3OHDY oG'dnh|'98d M[ =i#H&-aQW񦵥Q+-PV(/m`}ꗎ%wKP1+lBGQmҺeXmrdnz5Nո|i\YYZ eMD9K8sTj~}Շ>V\+75W/(ձ@.weACmO %KcҟpS-S˥:R1f#hKwn~QIд;IՖDݠk9Qܮ\61.j$ߢG8E ֥OA.)% Tom-V ><͋D]ѰN౺JH fːt܅byhJ[paxǑ]U|x6n8<*a)((orzF+pK?W|Y2WG|D9tG0U+NO:ަ$IΓ3af j$J"٤n9[+Z?>-eR%qqBJMʿ]/g\Frhag=Z BBJWKQl|>JҼH I6RnTlJLcN 4"Z>THhӚ&&ZP4$ڽ`#CKPpCE;kfak nAe_ڵ8(v )Kb 6?xnA%/i 8ojzE4G Sΐ]Q00™eݚBjq il` 8fg i #j}][؂h=B:Tq|sx8 S"s'p5|FW@lER1UpUуҢ(aˢYXu^|ߢl&fo.2*^^X d91k9$zbdd( 9`ꗜl}d5  뿾X}piy)t<5צQ >O$~Dp҉o`F%,⪾<YX~i[a 7k:M5택D'];q|~/SPXaЗײGsDoZ`$5"0Z@%-yO!LD45gNp~N1z1E};gTiqhNydP,l璥2ۏ ]=HE>^,ݹ^4P$jQ;z=FW( !djlHUЎDhPż0^[%|maɻ}a4A&jK%5(萬)ވ؆k׍pxHO픍 ( x @-.9oOpr]@xMƲ5Tl #1>#QJ*PlB|1tnr4a qCU~&Z F4wBTZ2d|U|?M4X.* B8]D+)dVW̩h%Fe!XpF?͢/`jHYo^.^އJ_,^goHGZ&%V<?w@KΩ)ݫU6LAULBb3 o幢"xplȭˡt: tCr Ad߮d?@heڐT6 LS)")&ۧ{n;Mwq?}6R 5d^a(Y[^Ԗ0'xۄ&`1`9Kgtƶxj1)'ev4)DaQLRKS ”[o~ƶϻ3RLJQ6d9GvӻB|)9lb#Μ3r^S&=C$ӥz=UJgRecdUA/|Rp፟cS#Ry,HD#nJBG$ a̒aq!OfyppH "ʱW\9z;@]ܫ>gH3z%Hߋ@3*-t)B#O*1p`x^|F8+'#8X#<>Rn}I23#k6J9*MCǰ n P,:p1ں@d\+'0V!둑eY[1/|rVM[zHQBo_NRRiÙ65^w#b %*GoǨ[s `*2ְ)rrZd<#[^θO`F&u~0g4 TAވ0#`N3ֿlJ7xx' wi Dh}3t?NZkG&H(]vĊu^mlj7LHfåF<̳bMi|"o'-!J^S UsY +23V &" LD"{64{1%R8 5B'$q>M RĚuTNB1ww}Y߷X/Ǻ*/b1=7ȁ`ILƋe;>1x7uCUU2oG>/,1D1~9\W>F#gC.[jOCCָn#Fjv1.O,{X׷7OPC#_܏%, ZB#5>rDq\-V=ju [i;|D%j{V,2+DFZ^ޭF",nlR9ώ~ካA+ǟV ^(9VL*:[m _~A$Wby)fG ka>:"q7 @Tj7T{LҮ4qm\! $٥,'ʬ_oRg|u(B)Vma$dbl֐ iR{7G4 S/* ױ`>V޸&gOp3[ O ggi-cf쯣0 *NJrc9%s?wJDw4 Z^) "2EGw–Qм Q7{0KRL.BXWV;l2a'k ;m?Ǎp|7V K"ZBð %齮 9%=3+!k%5V3E}F,iTjE@aϲ9ēs:1eWc^ j_yVn8eE;'ؚ(-ZfFTヴd&ʤ@R .VSP lKBvdv )ܼ%ʃ|M=sᏳ}WzyАwm-Z'cLA22vJC=>ikS;to|*h,hcw~xދ$qhH;l~|;\lPX+I9 BKN3E:LL4lGnRtå>s r!UV^(*ý<}0ApS U,"?xȎAgj#O4(Y יBh#Ddu,H 'Se6u_U M{f$qjڮTxg~22or1ƛr`8XAzd5a\S@cP&b&~Z7—)Ä xU_Ee`6d$c+5r.C / > {{9g~0t|}$}eKcvǜkmKi-US`u!߃,e$ˤT x=6CMn}&+Y3hx%CK(ґE/8U}S$Fy4[^I<,sk Ke5ۅCdqh&GBgYZ7zXZִF! e]ŗXi% a#~I"[7i@2L|Knp{RaM-W&\hf~T,UWo7r~U`rcЬ1Jag{g =3a&)U!.h r'Q5"||`ߘ7NAAg2^_†w1A+-n3["ۭc E 7(?L oo1{E4R6WoiIױIxzJp,)BxSyJWwz1lU]-5}xYNnWf[ b(r4o\-%^%i]=(9sV3P#H26ND-)!~.[$Kla=5HuRW[['F<)2O;n hkvSʮr,.+mI5ךu1m9H# W,K)U4.#?o_jVeK:? }FA4w<,KB܉"%qXz_et,\ bZGE,!)>&~v-TU7z*щMsMX?_ @cksv΀@qh7o9F$l 8 ӂqf[Z`}v3U,?AxN(8z gF+:r<+T[Њ![D,/ L2f\E/#&YvJxQ`"4_jt 2(am93tAlv^~^^=D, ? -yyA@T"zN$i?uj`Z5.xbKd>BƇDY=^AM$\!#mytzI,cJ h$Hjk 5ְᅣAU$-ywm ay&,ZgBẌ́)@ّI7RE'?!dvnQ@q3{Iu,9 M1W/_lGGug}gEApJ v.W"P?j1qSƠ\ b( dV= mg]DّkbwNXm&Og9xb#G`?1g1:yLL<T6gIS}0TpJ]x,W)WM~> n?k*I0{2ueDU ӿ[(LaR|y\;LcܞR0bj@x S%Y$Εkrt Vs 7Tpl ͱ!}_7c ^u$.hPR6; ^_qf|l"daڒ5d( uf{Ϸ7[V{`:vȴ Ȓ`S:P/Q)U%$(S vJPpHz t!G,K#EG~֘`P\@ޮ͐'":MN[ 3,a U߭8Oޜ1-A{'P+[guϚɣ𵛨W\;.F1f@翽$xWó~6Ki_+%+Mp.iEtw#g sKE@&p}sТ7$4eq8JVQJ7W8)KB,P$!zv2d]h>aRU2ЭϷhUڴZ>{ yDYך PO54$ {EH8о&yb blOX?ɁDsMP!54N{NqDz Ye# 8]8n&p&ZK}֚{rl[@s3K(߫yld$*Xy 3Fb/u6ڠ2k< F%NGDʀ!wZ7Q$9:íF/7@">2h|gw͗ E{ŕ v<6?8|T¨Q2c2LhTatpC5 \coՔ "{1/Q̘sح+"ym `A'H(',s_@C?ֈ4Qh3jay~xQJ\#+ I.%.>J5(Ay*IU)fwy;>@'AVfT /x " Lmأ\U\ǶGfp?U3_ЙJ<Ftv]k`koX.`XEx./Velp`GyJO|ZM0R@™E|ΰcPqﷱRNJZ5O{|Co*A&P@d2/vrLGVJ\լ7RaUpJ;))‘auÿQ.8rMk/6KyIH)VnH8X˔1B:#JS}JQ|p8tpt+ZS*8+D-ݎcט$_GsXnEwҶ{1b4:$;u4ہNyV}N~.$>%+o.I8+CZ`v0&_O1ұt+o XŊg~f)^Nyd"~ ac^F/9q*׷g8 |E];JC|V?k#1Tޥ0Q1`/i3WdCHv kYn>ijչ3:?8zp/@lJ٨'w+)̆1^4m9X݋.C$QABaZet<[ Mo|c:>%\*72lbCqފ5!v.XT*9.,Ѻ8 Fy iUAc&tQLhT TrJ+2 )TvPdKN썈]~`)#D~"фUlsHW|1rq h2+:X.k-[˘­kgZb%a&-_=jdV~O)rD?@}Sמw>)!\t/ էA9]fKh1ݟ)p[ʣN<8>%X v$+Łگg?]$HVfi%;L<-+83֎eKN녺3 ә\<NU^c9ͲuB&QŐW܃4Ny,@[y r(mxisq!ttn+ _GxQƧ2rZ̔T?4n{l裤D zRjC í¤`d -֐B~Ԃ`/z ;q+dq_ˆ67|̉V< 5Tb)+DJ [b*/jK^=&$BTsXSVN(%ee4F+ \Bjuղ#{m9GY%MCKG/0f~f@& 6l`Uo7(wźo&jWrejY8He#&Vqzu>' Fz^:S3Sna2dWJ7Hc+رmIDGs[qw5f9*"g)H˘.z@ׅfp5p(>uCZQڅ'(a8sDjYlSJjBֹ%| SJ.5v7$Yw7'](zc?$G4F,իP(yq8ץPc& k*QYq7# QݻdOZk^\E[e{* n A*cs r{,w:0j+^T:# Vn(5ҵLт qb/W.3nMU7笫A*  1!E%I&* W18MTtzc&ճç[nJ:*<s4n6#(#&[lNJ"}dPH"t2 4߽F_]%A%:A9-^Q`Ęl(t/wibqιh"+>cg6;[5-"q$k#8q*",?{zt[Zڪ6E Yxr'qL UH=ϰ/D\4ddM~juN 9ނݐ퓲{+9E4ZDQ. !Va,4Ofku!&FX=ʑA||< el%pN>"Oߣ5ӿ'$X2ng%;p䗗g8l‡+=:Ե{!-Jӈb?^+t ɲKsi¶eg^ (^n]cDOik,K2ߣ*<>hgo~vqӕjkq`9u$y! TFj6$D.G!5bwub; <