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 bbc/T4 / Consensus_Refined:threads=2elapsed=85.721cpu=150.196gc=6.148factor=1.757zXZִF! ፻]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>BcUp*}6*;IA'f.`m)rC4~uȺ'TY#5]PYsfoiw Gi 3*[/#H6'~y=_1ňU c HniÇ jp~g>f8@XcyMCvBW~!g:`@&U5r)ȽBdžN-r+gރ_ |oD\-Yg$] DvSO{$;;OŝF YiFZ TX;{$R]zLْ~B }0dP˅n\ZMp[Cy}EA2H*f*+ǣ%BW>`{ʢ C) ɓmR a.~"K@8CDނi4A3:@BZIDN5G%F E@ 6CG)Nx^(alYp%(fYvsdoRKp*Ӣ99V 'QsX#x!Ul u#*L0S'|48;w1Nv|ўPIUhTZ73Z=Aj/p3RW3HITN +,80CpDUq'fXaZkD%A`n%nďl#8Ll"߬d/@vqX\tjǫahqFBDh<,G hEK转Ï?k-{GKt8Awd" rPqYh%5VB%st90~ xXpBmvO=GfmUKjO s頻"@ mdk\ (emb0dⲏ4xPx 5Ve5Lڋ\sc a`sL%${j]c ΡØI{]!qZ dzBoH:ըZ vI.FwzEwӚ}Y=^I):fJqE#IeyO%_3^u16"LtM:xW6BkK@&)5fM4ƱG;⃲FQRko?IrO,90b| vjDh2>( ,U&=WW!4ۘ?PX}Nvz^)ҽb_}v<#tӢ, 5ʱ&x*.+2Eoɑl?ZWOnnGqXlNL|TGB<|{Js%}o(v !ޘ͞n#|gmjpgyғy0t1}Gt )x,d,˜kU)f63snYT֟ \ޙr j>H#m;KxNaviVUV VbZ,L}z51ٙFg~ jo.a kOV"t~Ov 5K|Mד&M!敽PB=ZZ)UT^ 8"9bRqrbx8fR>eԠzaH..f>{U#s$ 8dn@kv0qޏ1$*OcS,g>l\)&tJPdν eqƒ\*?0sl鰛fz ݊{3`qZ5VxqIFv{]YI .{ :Lh biH&ܚ_QJ/9Q'/?q ]3nQP_@2z ripJ;yAl者dmޜcKg4~*Ļj;n͏CV~J% "Szn_ML%Dۤ1Uҷ2h[8cq?JퟍҮZyd$F]Z>c{I)dl0{@ML &fpdXʹA6{/T{ޯ._5e<ӳÂ3*wۘ3Y&*6i[d8-]RǦcZ%%ų5/:ؚ) s){okSxYFxaP]ϾjxŖ:w?h[b.gSS3X )߄Me,|#2ݣ 9g:kHrUty Ϡ-ܣ27:6cku=4SG6rrHf^1f5dv @TgT.Odiԓ4ec{;qbk%?g"*pp107w$vzrodL4'bXfOFqeUY\ry,[%zM hΓ9Qjh,H_HlB^udjOKJJ?"gq2JжAqZWnj Xd, _@m32<=`eytM086.syA9:0y­o`nCyIPc$IakAQ[.Èm}A)ϩ$$(Afr(DmF{XʜJ] 2;ܞ?#O1H%U |SIQRu 0iɈCd^ktm.͟NF(E5D,{tTPSɀ{[DMi.G ,nc{'~ubc^bJv SFIΙX#|z@᠊ls:X 3aqlCD Cx$/kx8d'Bu{j RI^f*򉳌[G+gC_Eka[źB!HB {)1)cԾW .|ɋ,A1?_+Gs* rOuOW [y>9z]6VÊD] '_3TByg3R Snx RRLj7-S.lϷB0\B33}}6I贌 Ѳr T~eqV|L O\iK| V.@}\ӑD),GCRgN{ 鷺,'v]_uEC*܊ V{`Gsf"9IiB>p='w,BJ&r Kn)K͡m*I5m!ϣ6Ѧ`xkAivM-kZs6H&=:.IH% qfOFY1?^[_2uNPpfy9o[=fxPS}z/&{TwSeD+!Skj3&ynMz0hй~\P;£o[aC+4{LV%]7 "!橏-g2{0pߵF=f="9NՃ \6TN#-HQAoϗyI€jGق5H|8OmַydWx5Kư}RjN72c,JS-D߃j:V{2>UC+[y b3IvUQ"ff]^HS@űc8m>,ESO$ H5Ƥ7ǿ7HH s=՟rLL9i>/27{34UE#* ]IVnp(M7r5 (͎l1e-Yt_p%-ՊJœK !)p@w4heOu ':b0o[;I)~?Ū][3w\RYFw)68=JYOOxGݣ=IG- m'u@'7s[a\z!t>ïo1zx*_|\qݾ߀4~pD,,)lTꔉSxu5y:l "10IE2䴞@HVZנYߵxԁN :P#^| Uh׸muUO٧ ;OM3si4vs>2jϣa-5OIyEezh#C~k72(ıgYZ7zXZִF! ᘊ]ŗXi% φCE>v")bMYY1$)-$} Xqո=iPMYAye|G};SNZՋE~`hgĞMKThm:[)!W9Rp~s1ӄpxP%#Rz XՖ2ֱnG|\ ^%ax^H Z͐'&Y~DsappJp>,BlG"aYƲ-bjJ7[wbHڽ]ն"k􁏨O/%78UauǠ*焍!Y5L OG , ۻ 4vXoQZyK7@ lD汷YMmϏTi=SqH\Q  E9.ݡ_ 20v)⫔50$`a4F(.!]Jf.0!%ӷs_T.|:/'I_ 6h';ZlOӶ@ [?0 V[D@K\5+$.|p&񐮻ހ|3{#68RU)eCGHpځz 3褶pLv|Hy)z Nٳ :Q94)Gl">Av#

x[42  ^Ѭqlw_PKѱl'Xfȍ[иT\{‰!W8L~qW`j=J֙j͕:޳ Y8?MdzmT rȸd c5&wƕNzH ':YFQ +U)b!@7̼ĉtZ_dU>0-K(}UCӓ[IyP2o~̮]$c.>!#H% ,6t'YZ~<6SR*UT`-/βO 0K#m8x;P1v@Y7=Y;PLᑎ0q4;U޽>}M-Vc*XfY$UܝSZQ, C ܩz+V6Y< bQ<5:7D:əKA£8;#Km IsA0c1^IfJngK]7"rJXQ{i-?'̱ޤmna\|r7_)ˁA2d Q+"򔉣SHhERp'0PY_;4=$}[ceXVjKvh/Y _ݜ&mV:S%\N_ČW OK_KVPÔRE X 0[ԾʍxL,r]OM B3{Y>+h_p\_ԇ #+#s/Bt\ %0SqQ\o!=.T$*DB|@糑pb bҹ2 9G.hLg9@\* n9z2@9Eʤa@/ 7 s,'4Tc J6 Gj'D-o,S8)T"pdnq¦:U׃]ʧ*UIqhAԹ` :W8LNRGíJ|,n[{aF;MgiD?4kx7 tݽV(Fl-=@&def_5<̅f"Hٟ4g(ɶWKCBo=!_)xP]0x#ϴee|giY7KqO 9 9bA )"Bfګu.37)2Cr Նсhm)Z~`O[ck6m#׋fP!/skׇ[6yɬyc!v4tNcU1e 2d jxcI%=HHBtZ0EjQ`%v e[? 6kxS|<)vϳ茧TI֟#0BmJ)p>'րx} BP;SЖj;!dϿ[K2f0hLV\oiylz0k[E:4(*U=x:ē! *ɶқFBw 9gftC T[z@(f&;3xDy=/#R,nv4X:`jJGhy}dM}pѴ7u$ j,o67=rgr/0 }yğJӣz8B -FY@&N/rbTOWGp[DHMaXarxmDZa܇uW+10_m:`HFDG)h\څ":q'Ҽ7ޭLٔRE>:K99n$d25ҿ'[*J10Md3.^tdKV<Dj 9:XD1_1N|'\A,WW[ZvS۬<LGmp%'}1ScdkEį5n$I%@(4ps&WFl =Pr."VJ>ύ9/Τy9ʰW&렮R*H՟j[G3ֆ֩b')4bflaz3hK&7|h3 7*y@k:Y*J4ժЙ~gc`^b|FCvߞcTI5mWvQPELgpj{R#N$xMO~\{u}ɯ9/w