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 R-4d I/ No_FTL_observers:threads=2elapsed=213.100cpu=242.452gc=4.876factor=1.147zXZִF! / ]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i<詛M൶^]&K&a!Dl- k.\=YUc1Rz8\Cg^ stlRmPfLXef ䷤qO8e,[7ϭ}ȑ}.Ƶ+VHA_-2`9;7U)+ye6$Iw?fAgi Vl9Hة5}Zf)H/%`G9~"p`If03 - No_FTL_observers}CuhFLA =R=-xc~d#We茾b _)Y2 09_]ɴK2 Z^=2ϒҫ\ʱ#~0PTw%;i×A!_-H OcE0 !g! -#s@NX^K:cv~5GfFLW$ݥD߸$[2͸`ȭž+ͺ4M;Ap}+CQVD~3R@`; (.xn#5͵aq֚ୟϤRn+9@]lI27$'/&\䞣R\P& ~j5˝Pkkpf!ߗ;4Gf}v &]+aL#ǀR..|ZS,RȐmAJa*YX.=w`+6f;c0={!E[6ou}%ؠq}ܶGBa㪬ԓ$r6A?3[W#}u!N#m}+YO;ZT W4ȅl 4DLr>_Up`j5(Y,33wҗu6Ty ]ZJI&V]̉fU#B؄w)-zvÙaNa+|ќ˪zZ e~[绵vɽpKNqb(d#w'gxXUVWi$n$E\wS(m#g5*w'k\c*h-HW7\rЏK#[)z!elmt.>A*Q _{¡HT&'"|xvU[7Ŭ5 tEoyJ;db%`\tN tOeFT81:{Kh2iFdѬfUR8-¬+H>3w0H]~\- S >wSDn}Ԣf ck9װ`~J?#8R;%#K#K`@ZW2yQMqA뤑0,c; `19aJ иRcx!{1.fyc)!{FHҹ%4{;oof*n7FT~㱗5yڤ>> _y٭>m#@UUYq#vFtf@)۹«jdxus%czH!vD枂}NaY=ڷ"ji~QB7f`)9CH+sԣ0T܇ DZ)0USS;xDsw`~_P` Λ*]r﵏bq'%q Bޒ8U-!n?8w]ɮE%vn G) @ƏQƌ'M+_d0C8-4W2${泙Ht'~Kp?jP#xkYzɑdf-ȠB=WB=}x2gKy_y>w0o`aQ0Dzn-I欿^F>J{% mMRWNJdmבzzMcE1wPn-^\Z狦1ԖjpW4 Ӟ(Gk<2WSmr2ZWkPSc?LQ1WT"w>Y Qo[Iﭧ! 3ng]k[:+GK>Mö)E)Pá{QVS~9veLX-/s}}'9qS)r跚1Sw$/x3e>uxއY/Yr cʵ˰>ĝ b4HwNؕ]Rv[SvBb6qpq #2F :ں=^TB+-O!":DU HC, ! ðaOEJ!TtB#gwX~LhHmVt{ 7ekو4?Pl @axF c)O&CLviћׇJ3 `|": +A Fh^vJ5\/HyzШ֍0qUf,9bBAXǛSw]g'Eu-KG°tK*2#ms΢>!ݻ*'w螪>e앛sm тz*TMq#BؾWߋ%-L1U.("lv_2gd;IM!ehU)VmmyMNf9$sU' gG(6l{La(VE~ZB'q\ J+7J×Lbw,sɨ`'n pX:әYw]L*drӧƐzR~Sv==º󈆰2rTFY-v'8~pu:98,4VM-8FC7D u<֝{Y$X֪ƁcT d\XET"f'G[@erZP2,A|[I6\B:^בt!@RuTu *<fx06VaweVUGޓi"9"K)i 3|QDt\6 e?ZY8&!,n3M3&d FM|S)_~m .fsLT܍>_.Sj'5ֵ@|p#.Es*)ş%."MC^u '-Q>}.X|ya%^$dV.3غB*]} uw.A0{XDԄ@ʏG0cbaz36W(D+]r_nFCnԬ?[>+ e߸/n:ʉA?[,|lU#%#P I! \Sul Uŝj'?meLlRIş DO(-Bӱi.؍+Z~8m.蚭rpڼ^dbqp6`X8ʞ@R _H \͜.6PIZӀVe߬mpd=@%!#uE,j'`x}#tN8o'zٴlY}Ⰷy4[6nFuJXfkz()áơ%}_oSeM"r!;;C d<qɡ(Nᴭ]ܿe!]QG(V*jƦ1y[ㅭʜz$ġxn"8 "=rUY#". Txw~W34RK@ѹw/VyWsQa,7r5waxq g隿Ѹ袧,"+tM&/W°=SC`yϩǚ$eH'ƩJ ߛ5 ]±!,3+l9 ӝ0vH񙆗Gɷ}m%q"TD~e-پvf.f"t&7wMHN gMKvud[_ % .aPBg:'/NXsSA{{4_c+in1$/Z1uP,iણe}猪7xe=2_@ 8N!th/ #9_U_*aq6Tx/y H[° j BҤZ1m4 7"јjYHʃv]9Bq6w7>('4@+lY d))M߈K ib ȱpL}QLZfC$BzZ^|A,tn囏@`p~*/7 F`Έ)+7\) |FW?(+1I`-r(}4jc(M%[Y $Jz'ЧG|\}<|KWFiRzF"ь3S&=Bw/&,?_ӐlHun*UաɛILj>GQ{Anx3@n*)煣}~JSǏ.aDQ䪼~f"g7='je.]/;:|>:%@4t3*O_k|;s<)Ő^ ̽&&*#{r*'hV:`T!Buq8  ySa覡 WBF̿'z40I+_ŅȂ35 ?fIr/]}r77f*z$`ƨt"؛3ˁm#6t%YfR` :X)vqk~;0V{531]{e͉|Oۮڎ*ƦMі^ +ri_bE?oghrAՌLr [Jl; o ?O&~r`z׭cȺix>jCYQ{!H#6? "dH=9V^ gABcA:W[D!&h"ġ_]?Y8́0h64)/g Nr9 fBOMD&Rq]vlKI_˔ 0bM~]N7X֤"ou^, dZ5;35:#O]Լv 8,A_9re| of?E*.& mEx d;xw.j 4?'H2OF:Fj)_[pAl `zFj"*5LFe1/Hnw!1', H}س6Xa).A>>ϟkͅ".< eY}܄LM36Zb4[ VA j"]+=2 [lzGܳ _Vs,3Xюx~7L*)kҰl2M"gvOS*h)^ znܕX01}JuPF8i:܁_{U2¸w] ~ 7h4ȷqfd ǎ>W/^v=Zgټ!6//rKVg  V%^|IgZƂrcO  ;cDC0&W!>iY~͋""⹓mƂ@a*a~Ќ=mXׅ=.-v4xՒe=׻9 MVGV 独UQ&9b<.ɓK2~Q>|&mýVH}BR旞hwT@ցB;Z_g]+(c`=%xv2Nfk}=FRTW5fYDw[lDF 6:Mh/N G[~SUk'!&0=ܯth\kt.E\l'LMdIC:IUsT  |ؕ9s&(vLVԇ_D 3ڦ 1}G?rqvO/H Rޠ5EhЇ՞#ly~lt퍙uʈV+Gwİ$&7[dV@ YUivkE"M-ncLdخ.T(a> RX1R,<  -sK ,U_Pз};i-tЈ=",N%v.ANG\L|y Z^EUس4@EDɉt@a3 ,mŎi @hxot+y%Yǻ/إ'ehdd3!P9.Rd)d=߹JI!asۅQFvZ8%N 'ݹ3($t7\gv$B[v0IL3wJA` tm!=B= $x4 VtB>t^#fލ+BdU`mSs d9-fBV{k{YkLqgb%@!40ΘK{KoBSooff @I!DH9$c\Ɍji+ EZh?:jFCk5}# ,A31F+ՖRXY^掲7` P8cpozTAibDl?/Qd xeJc=̊}|z.b/UU) pNN=ݡhkqH-mFi鉛/oPypaLhEW-Cn g1z03 )tmQ+ޞ,J~:RH,)NѷU4)І-K+5A3FO?y}7O m<[>Wn}pMN~i{S,NkpXqI&ͻN,r o]<@s۹6 +^HUfߴkd;@o{XYdm?yDG3c;W8} -!hEm| ]<emN sy9)gf,rz<7zQ'L}B^3CzP{<%3/ $m16H`"DžT0zf\S7хa?[u",JId}kAѰ⹆W:,("Ki- ai,W؇/uM"Ѽ]GwS,"z le \6 MMmu)zr]=;5/ʶNKjR^QrN?[ݳxA5|% KHڤhrq7|{f-P}nlX9'_pxu+%߬h13 3Ҏ9- fP8$ul}k[ 8O5߱g$" Q7QC漏))2@= S?VdBdT_+L~k1c`YԡӝFGlarR~ N9<..jƉ] '~ Ku8(C-CuX1paĠoO4 y[. -~^C 9GI&\Y8 V24̂/+ ` jDh 7"Źf Mrթ, VI)6p.KCo=Kap0Ez \М%iO5ϭJnۭ;\eG$KZEXr 3\0"c=G}z!j cb ੸׈Tk?+[I8nTe9ole6u#^  =T4CMycSa=]/#31:06@CU@cuXabbJAʽMFHGy|M^>ս68nE8-f- S>PojԌN]uY6Nerly} [@E?<ػbʶEK᨞ Xxk%A֧Z1B ZÛ?3<)*bm"s x֙۬$*Sr8M˜tI5md3cnֱLpMTbCՌrGO;8v}K:ݽ6{[xNWᅭdn:yaPc4NyjM?42,$x]8=N:P)6G.qmGm