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   c)dt ]Refine_Monadic:threads=2elapsed=63.101cpu=115.280gc=5.736factor=1.837zXZִF! &]ŗXf1-q恈eO/O4Eh~$&} _ru4KUPȞe̬rU"0bA8蘒&i$jM_)J 5 4Ĭ>xKDxͪJOOiX@N5H|i; i2d"G{@ oр>y*QAt 0?tq"Ol&,GixȺW4aWFkͰp(I V0Qygf+Rsr\c):9aCg0Z7!q9"O5 pt뿤2as=q3;"w$]0fLwf`kM;c]d'\g&Ȩvy{T rfuk+?5M~VV@u8<"n~针1YHyl\{&׬qqTAc(rO'WUi,68x j,1>jaCjB7mKju-&I,(p*Mgs@O^`&՝[rpIخ3sÚ b7DL }MB^`,qǀ:"Z ZG';d,:g*NYk A :9 ׼cCΦwm]o0q8GTʓ_8ޥyg{ JdM0ujHU|HsNwkI0bԎ|bAr:z^]r7Xb0L, D0Rds5 OVer\H)/B@~TT:چ@xwmۃ5udaq7=Xb"4DD|Nȼ>3("=+'Բ+QZԟWP# %J~)_x _T1?:g]}*m2\V# S Mj( ίBKwJXM;ۦ'Svl8z?QI,p㞓B_WoE耔A{] 8#-E`etT鐳 =̉[qi>GA4ב[܅d3A vxײHUU h_ԲoA#Kmi]Ж 2=E\#@A\wITwW$q宰wQ'AK_Kѥ,Uu06$g;yjty^]!aQ#XjZ2q`(}\*{sv6XCȳ;7{VTKQد:5<(`vo\P6De \;OW(;m?'Up_ ~5qˬq[j[f 4PߎLŏCXZ "Kx.&*yvꗑl}c'N *ٸYIrR- 7#XPo[IF]p m|,X-Y_ xp ,ȫt O **j\RQ%-i)5GOD=S?!Ȳ>Fp粽0 ?KN(Rht @d hgX> c37x! n} X'm^(h]. <[:ߵNL.8kͤ\MsՃzGC%P,K C`?49ʊj@ J.ruc/1Z {ٮ` &MeyhK@J+KFgww6BJ'olpL =f6c m4y1F_%^qx/VCΜ8܊p&Z:xVYRc`9ٛ+,sң$ll<렼BgtnO+5dO+ݽ"&I%/߆/=84 o7J*K-rւN[O9ZͦKQh[w31TK㪷OHB+Q7t;B^a;un*ݭPy \y &@8@]yn@Bb7C\vcE{MZOB,Gª$,e{Mf}i%abuUyrJ:qͱi(&%^Y"*=wDzm5 wu#$ ѣt B|3<7O O+K繑[]`۷96> TԞZ }˱b!piA=oҪR3gI}*f|?0 \TUۻ^ǖI9[C5 Ӊȗٌ/)m4TT/ l&kU;M$o9!(7XAw`Ot|q"%" *:98vlWӖ~nA"i)ۤg:T(G{a>49?ѫ;= iYly>,&T9m:+nL*Xz]=éfk#lϺpiɣTb L?%i"\Q@^4Ur مCݮ^SBh6=گ^U B*Œ!J&Hby/BVym5ní1_{5IZ\C("?Q9BvG y`k/3܃W)-|k+FtyvA/ [oLVsn> csԧ&W6r>Uèj4D߅@5/[\,X#av`~QMTM_ 9-.ɐ]t/? |d1 rͼLJatJ%|uf1ghN"tq+ ZqO27msp,D*8@2*=L=r$=lso '1"9yv4so(2/f$hR#m3iܱS9Z/L>QVj?ӹk?!||fbJ /uOw|u,XT^/&zݢ{ $,ު\~q!/Lh}{Uk)l(k9pmYV&c贛&a`|%:pS,15rM(8PlcaٛOK US|ܚ ١ {e"Ma3KC|`5lO_[ЌD]2MxѵYJ;T`4 ύk&5"=i&cKVɊޱ1[/L ߋ&f}!- ^ X=\cZa&AhqJs/u ,$C諿 f<<5ϓ'45Ȼ/f x2qD{[.p_@kUSrJ%eE(')ylg˖򤲩+U;V)n狍w&Lrr]܎~'~́Z`Ssо82WO9x6!mƊ O9Vz>aO7vQѻglYHF.eOnC%NYښX %g A}i ~>z9";nwHءR u녡m !/:ڱ *$|Sn%&+adD396%xd*yD}ҐLmȁ{>[ EQB $t 何2A{˷TeުY l_"T-of]2xBZneTmJ3e\UMPWDZ4=3W(٘FG"@ JkaAui&jWvGtUG$/O tT<~0LtW0VY?Tph8ON.&{^RSpAxx<{ZS+ U1ebBF\|Tk$[Q"Շ*% ^SbcΰDnu)a:(E^wC , 03VA%k"VOXgfX2.&K vǾDƚ*ސ9}wFXm[o$Eu){/cEkƧwb_Ƕn|SZ2DL sfJRQ'$P f=r=Z\HH'Hɰ尽[4ˆNܦ{P`c *奪1#*;Т f>!5y`r43R+-(L5 ֯n[&$Q\<׮>^NqOm_1xIdAzpyea !h6+ɏAJe1bZIJA (.2NKL?E_ߣD=~]I!WfB ĽgO\lk'C$im\n]%gZ,շ)A߂~r頹 2] 4h'[<疹|CW^"qj=oTV7Tv /5VTto1!ND? ]i¤ؽȏrH)o@נACګ&7gv cAG_DAaD+F\Y֭\ΩSuax;_N1'>2VsM2-ƪ$fup WN~`4 ʘw,cq S -ɒ=9KU{u9F"My3zySpEA{,JG,oiIǹýGtu#YY yqjrmIJT3<3LR6vH{N2QZ|Qr3;ڭ>1 EUԅ+a{ґ\BZy#:KD2i|,,]7&-q&ɻ\:xk;v7)-p+,DD oi|Ӈ콈g-9,4U42-j?ɛƂsL`nf,-y(.h\ @&gng^av>* S$@X!.2gum[Oecd PT>4 K/(z X]BsT׌f 61zᑏgH4pCJi >G;?jAK9aai(mš@cD݆_)/ z kjrS/$sSΥwf46Lp+w^I:Z%at `? C.#C^Mf {EK7(@2Ĩ'z_u4#EHH*wp͵H/[TZ ĽP9T޽l{j [[ ` ؕ?;s*I4ɫ}ph]ts}fg֫A\ '1,= Ϲ,4t9 %V!">}(a=\Չ?^ ؝o Lቲo2^NC < |E۩jM_|}- r:|L5YNSvk-o ]pr٫UHf']]eDhzmoSR>r`1-Xݰv[f 7P 3w(;]YF2Ĺ HB7mmm5<]vJ, <0_Q'=t¡ZU8eym[0B0@>`Jgl0\Fnl]S&ēz2ŗoX VTM;BugU[* mx'"xmZ<t;*{!%P3M6 (сi?U TzOིͥ1PȨ$Qlg52УD$5!G4_0 Gcp/Y/tZ-8QCʡD:8$όttMy2gYZ7zXZִF! 5;]ŗXi% cmjxrI*C vx5n4ډ eͣ4gW[E" Dj::T@-?m@rmEhgH. !k8OZbRPo<}(2zly&n]7ɷ)V_{hs%Ã:`u𢟝V$G!+↑>ļ4{ж^b#fkwo;#ͳ 49&.͟>YȩJ?)V۞r"B 4)4SGBz \M RpS'19l qNo-[t!Dn)yjfeÁ t-Kc\6-cJp09̡ۯhAU2cE!;DhcYl{>~dHS6HxAAďeyܚ,OԵoU='ӱ\.f@K2 tBPT}&q%uAs!ӹ)ḩ̌RzflBXݛ@dq]+giJ<~='&^ȄMR엘a[*eE9`T m590#s)H$^2#ŬWl& Xw<-5(uÍZF'Rӆ~]3M{J{F*!o )̑澟c3I ϰ(]#2b͆ Ex)6 8QH<3;Z.n3TpZ=zS΢M}vAeSy ߡTI]׷\ugؓ  ! BˌgI ۻG}J܋Q1PP 3u({DXr+:SF:Ÿ~oVHVws( A]>pvn-pZ0L-4ċsH&0bdBpKHċ^2>OmgƦ+c.%|L~OMi>`lQԟq%EFu$~TkLjnw8,ͻA\vʩ=ZzhKbHE @/Ձ[O:<_v-݁o k`-5/)}eS)ɐSQ!I_x|:X_Oz*E%Xhا"Ns"ԭʬ*UoŽ6Y[D왆iB<߲\bpe*TUhs:CN3q .#FX  Lݧs7&%fPUR4ř2} ӌl/ɒ 2މu$q{-`Y|KL"mIs{9dPMc5*iS%*m4F4d- 3_98@rOT­Zl3I@HKޕlõ1[!UP3ai,a-;SЩ!bTpͧq?!ejzj*3%{T2=-ΤqN{#M-r΋"ȋVuI7}a]/aZ*s \ӵv_~@҇ɺf)}(=IH,ziC]G6< t#%'pTuDx3E/W 2-o(Lq8vc^%VOן{fEsErfE=:Ṱ](6MG̜{-7 y3݉Ru|`kj֏H#63i>J`'6`oWT8ر:x%9zJFG&LЍ l$ \!lteq}.B$77`ۉ8_ _ c6^io%٪ߊpRC"D7Iݤ +M)OoaiT8HY`{ ޅLp BSZv0G_e: hv8 ). W}әV R\QЌ+0f{Q9әQjFB+7Fu͝.Ҧȓ"h~XLK:.?b xV! \oSUf'`QiSOKgGiHnK<[ԋIʒeg^?2ϛ$HqoΒT9lfdO