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 ||I-, m]CAVA_buildchain3:threads=2elapsed=181.216cpu=299.364gc=14.876factor=1.657zXZִF! Ӊy]ŗXf1-q恈͐7ӺV 1VbkEڄvJjb:SiN35 zqKNL5--D7{ a~uyOm\)B g>>֤#dI9U%|MPl.)KTgQQ'wӿħ'Lif@p5OU!IUD$}@+s*-i֠E;uV ni/JѮJ8Eb mj q7Ll*PgZLdzҸXljr(+kD/ȵfvp(|svIۉ5&y\qzj.x3A״ ?E7AoV\gdAϙIg/w}C[>Ч qk8_hBΌvaEے"pMp9U3itØq9ܬVz؁Wќ 3OeJSnsgg z j w7CX8T~7Da:,,rk_g<ˮy "BPR5"t? vجq{R~ɪVX X,A `K(WszU2d٤9\&|8hz4dخ?ɷM2F~m&> E1 EǓ;H 5"qNcBE?h%ie,+XA~܂_g2%k5,cOQd@%7KdeVuffqaΰaׅW^`(!C-tE<8VZ?`ks'ɰy8ˉ%a\;3c=uaU/ʵ(>V- ȶkӖv[%Sz#aҙk"(eSQdRW,ђFjSGEԆ|;zTU$5eW;84s,w*an&CZZ][J%{5"wR +N{M 웍Y=&dUryÃ)(Nxɥ;F='m (b_2S(QjWϢ'nZNrӵ<[!b):8􊎏o*YP>O92X:mQy_ąA#s3h̫qǥAgS`Mr*PCy7/k_&j}шuo69T .-,hQ9b~6 ݀f pmˡko 5qNfj :vtCHm lz)05(]3R 5!t!|.>/ ͍clXԝkSJ9,.HHxGwwS)GVIt]a.p{qBl-8Upajb6 Ws㫕A7e78IDpŸҜ,UFp8pLp7X|A>!IuPh;c(ďޑOq'g?Zg0۫z |"U)!3DW>F)ڥqNŇ7QX2Ïr[R227D.<㰸ʘXXgQaF_YMJcK5wBb4>vz O c t<VHbrKNj'/)fُu^X{=yqW^Jf q"7\|FxE<#@*_hٹcCf~.IE8z=n CLӁxn߻ҸyV#,gtul,gXV7<\]5og0ν1z'uY f>c4lp_Iv!idJN*F4 YZc[֮||278< D[{A<:Jei连˨]y"w8Apig2s!< ;-6ߧ(ϋPqe1us8@ͬ@e1>(( {vfOw8uiL!NvxIz0},ؕ|ǮȯMߨV՘i0B(M+L_b!lD劣fvG1gI, \[ 87u)]-fh?܉kq{ĴHt)5"vm7.nFwbM P'zLʋb"ʱ%LǦSDz$A T.LyYe3f$Y2vwWR \bIe+G a69 7wpDp+$=wthDq :RAe(cƵ,:͑Z߷&K!xI4;q^piSEH "VƻiH4u^`{1Y{ȊbRa dfmU<[rpA;ZQ<-{|^=*E "^47s&R F,2*4?eh);0ň|Gη{q"5ݤu忱x+8O }~Լ":M q!gYZ7zXZִF! 6_"]ŗXi%[px8ST%jHR|'>NQˣq,_lY,m11#QMxЃID٘Syl` |/8Xh F&띦#8r1hm\ ͡K1) Dٔa #ZF ;AޏZ %Ҁݲb TG <:yO{ _Qu9WۗaZG\Gg?ma6.n1"AbUn SYYȜHާ36H\M(MoíG~}S2}g5[ E:qCDm l;xo-,H#d/Kuec32%,+<2 "S{gpwijW uO8q=ůX\یWPe#Uc tR[+ |z; >'D"˶ VfsGMfu< ~c+Cw΂n' &4P,+YOs=3p-\ 5W:وb>z&kGW4`MR̟M>EHO&e7UKl9.B>OxmȬ2`FVqћEB= =b&@kܐ!KeXV+?f P-F]|)}A?^w M3 uks=b5Ql;VOOz;-+lTB ԥ y:~P끦Wj!l‡z`\t;%4kND?ea_vd1de-ЙJ*]QpL{g Eͯ` NýM(\" ߨMh[,])^[NqwTfYq!^jG%RF⶘w"wtt,AC&q~pKsE'OcwFif jȊVt*^MKS}5 Oy޶W膂t@os;ErDUZ69et͊G^hђe(e*Cqxg"R>Gkn=Dc)Z[=[O~3 f-O]UmoOo@6G:R" ܺʩWjǦ? ba2N(h(Х]?Tq+B/l2 Dm8 1`ڵ50@DlItO=w>yzcEGso(1YDGfϮ ߌDjMk'r`^[Q`7h0٩'-%aνa?њn@~a0Ef'4TWkwRz-V} ]3Pרm,v0XdT7A.lUp&08oع;=)bw ܻE1i:まuLL甛Y魒U|D/K+Xge8w*<5U5ymͫ(i[BnCŀ3~>VJCBQQP1xɜ RCTJP o`Kʫ yKOވ6 _ZSaǻK 1k.?%QcXgDP04'D0Ni%Ga6w0~"8m%ѝ%u=Sb5 GPҌ:h!!lPI=y܁`wHւ'aI`L>W|삕xt)&}8r,wr'|`F:,bIk{HM`;3}J{{zx5U+4G0aq;+el*ȑrcU3Gٟ|C^&, gG|{9v (f:,>ߋ+ }myGcSBZ4WUR;O㣽ֲPa'ZPNqQv}ψ>Lǿ ʢ?7k:=. t@y{;O3W+eMgQG .]sAq~/~ģH:p# cS~>#<CA8~~ 8#݆RZStVE svkQ&vpЛ7 ɧGAQִ N(.Ԙ ȡIJ3W` |fRVm\Fp|m@xW՘\d,6YP LuYsE"?.{, ~ok*%>c3%rmydMꮖgP`W"() W34B7ZGJf> *Gf!86qOJV; Jz ̖hmK?tnư(S[YEt@3TCY ~.m)MnY?rZsS(Xc:S W8iIWUG&p)?`f)q煆Ԥd3ն'ɮx4)b|#9'Y9JtYQ9rp`LUUwehPh <(W,U(`mpB:idsM|\Kϣ< W8"*r8fcP>jEČ5m?aIz}~Ixcj##oͅq29v(ٔ܊] IH+q-xAL ?&am3; ur}J1}F'lr. 4>ZH6w mJo sIXyъEvIM+p֊cg~\#w5oo˥cH90q#A6uJc0=K5#Xg-dž;|K@`y(ߢlnl)m,Hg< i`{#N]').dZ~U9H82D_M9y 3gB0B3j֡diQa.>ZFC'#'ۡ}@5Qs< )Y;H&nq2:h=p%6a~`ϽrHRKt/Os5g #D YDe1Y@s8;('t~{/wBZWbQ]@/E00[V xV$A9¯!X(bvkS_բ+0g>t!co|Suش4uZqĀl}Q0/30ĵq1xuFsttx\25aū"9x0d O^˖. _OV:\sŻAtTNX* MZ!J:8V}c^?ѕ'DWIAu8Yk)~@ҏ~@6F&!d-2 WO₈Uꬄpt8)B贆R,8W[*Kk]w9+iؙivnW7Jsa_V{Ց$r[k[ 0'C9R)C='(#LPv,ear8>~mV1ܽ)Dh f’T]r j݋_b} iq*VqMioK|/Ul:a6L!?Fv0һSꓔ>GK/ƈ#|e/xCԠQ5)iQ{[lp.2׬U H|dIJM$V 9}T=e,!fs6 Fiap4wWEDo)k{)$i #|K_:dDnBaw)q4_z ;3#lw̙sBL&ۢmuj8_iN4LkZ/hwpxa؝ K2;NBB<™mL?wFShaxnRj[VzwSa3S&omG֢WVP- C!KCb1%졙  $MȜ).^S@W'Z< Bb460}H"8"xKKk_da{*qxNTl%:Z*Ky`-șH9tB)h4%Miܞ|J' I due'Kx3_ kŵ*G5d?SI덵Djk֎$=,ۈCGbZqZ[⧇IZ!_sĈ>oxj}s0_Ni{ 9V轘]Oqr;TO7U18w~i(gJ~i L$  0I΍d:MG9}ܡ Ttf8"F?-C oLw=1J)gݏJqx/ )1p[l:xBv2Ca}vКv½g诇$4S%LLW2eXFZo6LbafOvF9N\__{5.'gZQ>QXzGҶKRZ8-FPLK1oᵿQO&g\/+wc7[b88@֕:Ϥȟz)I1ʻ=l4P&k}yy&F_n >xsG4at|e)D2V"|ށ(08@ ,0xrtsǤEJQJMifV "P'Fkډ TyJw[H-_x JTXs΀P/> A+钱RЗ7BA}p[s,Z#0 9S_8">flP#9gu9-BԤkY3NXbl٢gF~wT)n.V%dqn>R}tZ,UxBZz`@jOظ9)zQJղ;%ؼ2tA;q"UcI uMhP?k3Ml'z`CWupQUlѽo? ԀzNeN٢ LjXuB'R)bF 6M}v]YRJ) $-j| T{qo䥫]V!W ǂx}<^^<輮G]YnW|W.KLF^/Q 쭿DC)ĞPKœobz4m>1/w[zqW<%GsO5 /-yaYn"rS[uC=TSm JK!v%}bg^<;^xbd&[bj%Tt.[bc:JX1Y&@!ak?Qs=aPJ^B&#b*,Z6u%Eo.sqgb)~pg^cqYԳpC4({,yi~Es1NF.!X URLE)RjDZ`B<->&EyRCy]+1)0 fMn)IrXm ~W]WCਨT[D/ARKp~["ѫlCH$1ZۺTNC%4>jSt$Ds/R H:&!ט@ݘE 1gYZ163c6da12913489b3caeffbe6bb659044e356dd1 228982854bd09540ca4a6f5e5728f1137b79ca49 49b728d38c4ecd3133bc13673fafdacac9f29da1 4ec9cfd3f5392ccc8ccb86c4d47c1f499f20193b 6c9d83a30a2851cdba487627c979ed298f8af9fa 7d4a41f1cd2e970f2cda2436b78fa674e9c6fb04 8d85d878ee401f853419f90e1f90199c09662c4d b3cc73caf5d3b2324f2299c623e2e9dcd92a2bd2 ddd16435c8cad23f160abe2eab820af9ad38cfe6 df997d248e948ecc84d840f4cda1fc1758bf9f98 f7294678131061d884a4f2b4770661810841086080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 eb0aa3c81af2fdc0389824b762b3d287e0d34c92 de4295c667cf02dd2866a5678e8fd6e78eb95b93 8e84479d9f0aa8ba2aaacbf905d1304ad8c49cf8 96e8c09c1981c26d9dee97383ec4b7a35329df7c 1a205bd1b4f11a3f12f4c2969df6eb82e2802819 aae23276e451a4086d8817770b821575667780a3 1ea260026fb38fe6e881dac8fab5d02c1ee49d3cd278beb89a510f418e8805d93b87db1594e9cf60