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  k k-L, I/ No_FTL_observers:threads=2elapsed=215.028cpu=243.256gc=4.928factor=1.137zXZִF! ! ]ŗXf1-/6vR[x:Y΍s8?Ɗe9 AJZ$y_eW:l}tn?3iRjkEj9+fQ9QXB=:oWJ_X;cEv!ܗpWÄ|3ffv v L‚7Q a0oA k0`"6 _DdZorXKO?3=k᫱]e7=)YcJ..Dq?&UTM#)$ۯ71JoP~dO`SqaT\PS{ӲX yֆey&KĹ5{~ #Ya%ख 1*}K$&Ř"5 vZݛ' 3~;[1[4׬| - No_FTL_observers^a,H3Lt &ixi7_w~S ]PgM>0Da7Fi8ͤ K=+ogEI+Z1'zdL֛z#6X ü#w0)oƭZ(Lj|^6#h#M5EѵmeG.C=黻 (+ӭLto$5}1HA:yD0cA䞨JX L$BoS䢰^/S>@铠^-{}ʻRLD XҜAwfI X%eB Wڸ1ė^ا`s7D)9R'KFkE ]j0ϫqyy,K?@(ugԘ ?H[T`.J0>ȝHo8IJ@H%֦f-i)ZRdOֺ),U/sS~{C2]{ȁGoYIXJh˖F Tnd<>`l/Ik!g]Idhy | B`<MQB<B>Yr9Fhrn(8s?.:PIJ,}ye!5NN d[T] Mu'qcfr@X %rpH=)(k?8|k[l3T\XgYZ7zXZִF! %]ŗXi% {҇ b5`!+Y[yN#U:ݴoK{;L$[,`h1k,dȣg٨|L)LԜCFOgo)Y띏CS܆S:i'[sd)́#5o5rʖCoHwr_ cpM?(2Bo*S𵑞K :'TpvT=[X>ղJV qS!j#R;08P{|aa\ڵ=zTQF0F!١@A$coudp+/=RbtቀPm_{ yi۹oL] ~03[V5(MEJRIYOX:t!5-`;L.ckb pDmph3YzB1_`+?Aeq5V_CXQߥT(*4a}0'N7BS*;WҨ[8p9.YWsjRW"!lad>iy U臝}tk͠vUZ4CYm[Z;yRq6 {&--O+_fW8A|bLɟp_(VGyfWDj;)V,hf52ע„FjsvZ IAnFڙ O= 4RtF^(bQD#OdIqhmѳu0Ĥ!1EAҕN$D(|53稜#e8Z:{b Xwx^5jsƯ/PnQ6!*)fZ#H2_KAo!ec6.=kusrHܚdVp EGse)s.)L(lOs[[(N"NĦ'{&(:oT$^U)7\-pRL:Jv;m;跋 }|㺨b{#iܥ$S#7q%{Lth Qr]i^ X˷}DFwY^'0C:eMRyk 츨 *zcCN,SSv74p(iп.'_&(6L@c2t5 -Wݤ8t{Pd2]~͢KtMaP. [inֿ>[uGuC٬t c2kY$r$VV3Amoa맸_?3WItpʼnbΝPPOXϙWI1Smߖ&tQRͼ&grMwS uJ*N=-HB4qaѶ`Wi 5לoKk&LsX@bQVe c aƦ+0pu!=6/;ܻ"#̈́'U L;xؔ鞶ƪ;3Eaɑ - 3FYDHʼn7  m‘V &3hoik9c;o:VJ=mQp! ?ޥzd smlvFi |Eu2M1Wn3ڿ W|w=/j[[ԣl=U< 8D5Yvjav똰$ueUSsgmt&m?smOJe?}VG<%G#:l6 ʥ5`=R[lY=u3HJ<JK)1 ,J5w̑1:;rglM@FkDIX-Ƀ-B1ڞQ2J;1yxOh wwT. Rx2> 1CQEV 5TQU*Emn*:.8> x)pSLf#-E(z%1݅]D;[vݻR6g5=,P&oJ;R=LAM,Vm$zaLt9D 9k)ċUYXD DR$. F<>p (]HtkV0Tȵoa.2_hKGJsII*g$3"@z7/_1m8/=|Њ<|O=]:] ĶӿAkEU yĆ3Bێ,"`> dB<70ćB']u6ʨv=gwq> ë#QJ[L!=8̭F~mzQRokXIuHaqhڈ@G}zŻ\tN ۗ?p[ '1nTq膡;F^Qu8C9nv>,{ZX}@.4kȄ:UQ#gH]>MtccQz࢞OH,$%ݐ][~A){擝KpvR sJt-Q-ʕ,e /8LH9´q]Ddˀ]TQUdCdr J@5㮬CgT 2΄m.POx88T`5>#~,<_id1Z&Mh൸bܱhQZ9=vK s6<e͜Upb,fmOk$烡y[bBE )E׈};N%Vcҵ,)iL5T×aV݆4pk=78u5XO"&p6sjGd48.|˩ +; ρr(Hv(G5ˇGj'Chi?169Ӗ!Jy6y *K"gq͋z9 K>$F#d_U=)H-Xi>TuIAcȨ Ck!#JG OjW_}W(șNo<\)t Pn17<"XL{)ju8WG-0A\ȞKҁ%T2xEYbc}#++OB&quY!6ߵa&CL?y҄/ѶqXr(;q1nu~'wx;_jSgH(n5_.^lg.AӸHbUYX/eT[ڧ F{|| eTL"6 [g &x[P H;a`U<"taϒ,@vxD#KLwbu!suqhQږ +L)i@\}Yj^{ xT_% X;- e>%j{3 ? _GSIm=R svXR<ߣ$ fb\Jb<Ss0OX[ׇ|έ9uꏖQ;AhzK"6If+8Sѥ};!qnul}36j5,i)6]Q.nǻg h5&15vWܼMexdS5#.DZ9P,$^q# u/0ryGqVd?(^CҥE/F=#gEp#!N-`fR}XF_\]Ք3c/bDI.=|(ؼȸWѧ&:I'=uR-GgkNWuVNN{5J"̒tj?Ȁq$M)r+_'۝3$j朸^<1ЋnfI&k=JtOhjӅ,bȼ';~Nutϭ}|rQEcկ@iP"] [p)-|=trl)%pN*ٜU Ԣ`b'LbĈ1U ST`{X<@xe?CC`% + ,_"YF&C1la k:Gk2k>s^lI3 l Nt@}H^#Us=hʂxLKzj9}%b4ͥ*5' +5w;{7>lZ EganϿx5lDX >@L7D_E34M<،e9PiycVSW17AoZBj-Tn+4g"[N 8rpyڀp/_F4AhU.:|% ,#)ۯQWyq^`V^\ BO{wCuhQRwk43/8Pf_QGLmFz,kli^9))DKr`b&d]CFWԘf,:ݟ|Smцxt7T2OM,L9.LnXuv"ds̔C/:Z.p/iOEϹPLrx2)t[N2D)R6&.uB)!ၲSgzK͹%Lr+$[vHN/ Z+P)so~yUߊD[fG':bcwL[~;?1H_ qrxh[Ft^%F_#hg.+E{A^MV rٰ3 uIN#Fo6TV\Ovԕv ڈ0t[ʋ*$X'+KrE4B*ۡf5v(F V\"߲Er,AȭH.ǾqgYvz=(5Zp TEDnw [U!`5jY煲 7HofaQQirj^hLm7٠"oiZڤZ*\\4+RlRrjJe:yx P R&vo9co]NG+.!!еL£m6)ﬕa=ddwZ.yN?BPڰ*= s3Td X]IxR]U>$JQV2[p0ҘȤ*)hQZzo43êVn+84l} Q7`6Xd9ʹf<`&l;dZx@OBBjgMr1gL}!H۪+[V70tҏ< ՗