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 ||E-4t m]CAVA_buildchain3:threads=2elapsed=199.741cpu=321.172gc=16.088factor=1.617zXZִF! ]ŗXf1-/6vRZxY{"QhEa*nB EnS /Usܫhaw۵5 SDX)̨$閠bdUYC GILONsK&BMp Rb^Tg&>\un;Wژb`U= A>)14`=3S<Є'Umg!0ӪMӒHD܃5<zŖUZ!="X;v"bu*~mM5itDJ a r<~dO zQ@22Z^YS=6e\be᧳5LzDg~3dA tX`c#7>&9D"C#7Q"F ?&jpxefsp<ʘ#S..ҭҷCKb4&BRaBHo%?M]"Mi:y}߿GyΚ5|W:)zk R{Hkx.~ N(A 9^F=RNiMG6,{(f]tٻivfOB Po٪0"Z8v>6@[*زƐݚ2QWH!7 (,t< i{)ńb19F-hpJdrn*7\CۢUZ_ sW!L͓ f m}Gox#B_jaHKY;-'O=ܰبauɞ->zRl3 [O u J+6/dr\ᝨ{[Ze blf2;f:I%4 YF5_fRub`iBW(XqSʖVkd}BafTwfN:.IK )[3o}3<\!7vXݼjHp+QmU{vu\99آ#̾ZAW`JG+$sKS)10%*?"!KC }+EfD&`3H}VÆ^.I 0s3+zmBHEu)F2 hY^;:1X^l1J]{o |crOQF&~ikD B?3A*aj\fWc (:mE;Vu註2M /21_=?`JacF`iY<^Eh,2-rĖn o|mW!2?ݙ < 5I+?fN3Ǔ((_e9<2_dFLcY~L&VpT7B ,@ @}#TԚF5F;`1\6tȂKbYvN'[?]!o4<`î[;SCÿ&rѠoq$%ɥIh 2IمL9Xhtvi*S墪&w^DvW18&ɎnKR)@O29ձҾ%LNWLafQw!Z6 8R0`.3Q pH\R/2mLY:+T&e<'"% -= Jإ0 ᜉ$YRlMõY_hj4zZknTf_eVU% xa@ jj.l-~ұe6#8@T\Q?c/ge'D>ېu6SX1,mzMM2wOܐ"+8Kfg~4,othW!$40}9`,9勂hcS0iG5Lj>d>/RWIrGcfC["gYZ7zXZִF! ㆯ$]ŗXi%Wx_|+3NfdAynQW'E !-/D X ʨ1'kDrhJ!REG?Y~YYp*OM1Z-t 7 " |fAnwQ?)aEUu)7 |&ӣ<&;ժ՜dZc蟴I}4UbƜe?_e}1Ґ #'pdSoyz^"0緕D:C 0XGGsxL."8UPfK//5wMѭSvԝ6ui($HbYx1LkJ[IJ,!aC! E~k:(|b$Hd&@Fyĸ5V" o{9#;m<.dWo٦*wG4ILo+n߸Wn-w 6m~vOE!fJ)\|XG紿bZ )Kfh"쑍\E4uliomT9z!azeV7٪d4:7zA܍*6HE3y-n/K>K{6M&On˘,}05WbvPkV0J*Q֢P R7{ LҒ`:^gXUpGsl2܄SŠ=6Am,SAq#uaI&ٙZrf9> 1;ST ?w &]+K%CLsoh$pdQX:V+VSBy0xN;@?E 'ڎSb-:d6Jh5iҫ"/FV3<=dx[[b|q)/c%(X,}QV/" Q{Ҽvr.\-dgj tCB݂:{#4{,o381$Խ Ψx )d@eT0g~](6 dhlJ0)>arH\<;|I5g$tD]LS#ȃfISk8 RTN\#4Ea~ n$Ӧ4?ڬ:lԙ~/W 7hM@V35OYF!XQZyzTi$%}#BLrmYFso2\ʔWr][TxF"}U7BH~]@X9kl|Q ^Yv:ћC|82|L-Zr1c-@V;FAl ȦӾQ$9,bҞ ބ;k &K%tZ4.L69S{MA(2 buuj6]/Ѡ6XYWœ'Ӓ@GU%%D ]01"f6eEcpvC\n$SV%Z(0l5T/i$<=y*AFOwL*}Vbِ7 3ױۗ{@"MCʜﶨbKdS#9lG;U `tPpH`y1LCLM-5ם+[:zK5_OQrACMLF),ƞ0p?w;rS@+ `&a\.>\M|p(܋[̞$&=+~XƄLsG-BuȚՈR l|Y퍻jp;a!NO=,,_C%f$L Kt\r,7a> 6YL5'tR%9S!ټ@q#Sc~Op07yKca1B tsPoxt3mUH4m# j"wrGKz@d}ȔGUVeC3,FM FC \+bD8XYnMIф TERK~T;W)>"'ht[)ޜw?wA4-U _ UqdP=?-wRT3bw O)A\{ <2^Xr(xC"p`w~[O/3ˎD-4e|حx[XoPCЊkXb?aEWgkX]˩_K̥\y mA?ZY&jԌ{,NJ=%H.N}%A$6k{C<1w|{l$E7p_FIC ]qp]/>f] P V㋜tpvSy!Ņk7%>˒N?ZuzB(wۑ@퀾AZJ԰]Q-& 65ḋnҕ&'ZAxU!ŷ?Cz} h!R[hF/bdSl @;q9}cTk XP@ejKbYa'R-~MAjY[?-bC"m8E(yGdL> h]\w U~FkbעK%v5OZ|AC!fr6K+ ᅮ<E{Y48/zߗ#mõSa$G@b>%@.vBķ/`[g*:%"tў:U8^-G?j[MkYd4zC@/R#vY5WE.b9mN&ٛ${ߨ!߽C|58x5}qeVxFqSJSfN|VdX!(.٭er.8 ͂Y7f XcxKXw;98{XDƃQ;]9)oQ.8Ǖw)*o2X yg hKMuM.IhӪ a+ʆ9ġ$8> B⎫X]zjaWRѰdP+Dz^?b49UaY9@`Fi4 MAz@l씵gɝ*h3d53@_Rv9TDGhdgR7w2eUիL ]>;2q 6Bs{}Ӝ'߾b*-ώ!PL xKQƒ~y[TL$H:n#<_v7;-Z $V=)l;W*짉jGWػ-SgS#CͰTmq/rF}j&},̘k=Ԏ\0 (]umF>J6̥|ՐwfGYξ@0$Js7G߭ћqʮNqxmi%Nm0,ԭ\h,k ̌7a֏k/1<=UX9Ok윬0/0xgao!ymk9z] f;G|띬%0m@fJ`/oCؤ7GHJI?cTԋZ\%A̒"Z71p\IS @FtscW$h``ew@w4'Z9q+/Ԉ[jh8ZBL4.0C;TybdS>`V Χ0Z>vl4T$n#ЈM(sQ Љ|ST]cտ2-We)b]rt7*QL^M$JJr,Q)뾜v܋SUzn%clH-%$7YNʗQg@6=q:@;}*GF=;08i䨕ݼeطpIڻizׁ {SLҒCMA&:^lm=g"u:}]:𿖍[; [ahzl ^?G9R,|dGDzNf#6Aկ$Xg2pƱ^tAc5 JTl%($iJ P# !S_С"ڍ{а(b: f\OW z!|wfRJ@bI=iqyܐByC(i;r"Jk#}H oOQ>I>X?gca'ɑ_}57yISd3jvrïE A_fSfHKz rMWI $ ZnEZzߔjZ3U@ n18ܚr.nP񬖋, ZUFRumQ_5=71/ƴj Y6܂gV Rff/U&]h;d 7?2aYd۽,Rr<ϻ)|~Kc(F">$1 b(\۳ucѓZlWmT˫Tn<1\r9 @g*" GM(J>B&e,E.[6RXt)~.ތ[TUQ=t+pYwkR 9a֭d@fsk66i2 *A#O{Pniwߊ,doG~œ/W>;B)9#L}DI¨s/w*)"e=\mdD@?؝K[6u9ÕjKi>'Z0:yi_Qd`}>E{s:kG CF#iDU1"7ECJW{{$7!K>oJ1ͺu˧F HUϺ|&E,s X~v`K({<7F;g &W"{RҭV`;rd*]MAuicTjT.b0r'()9UcuVڦQnP6M %\랅 RGF'25rPU P2}1L%Fۍ0p'ՉT*ū:/@OMiuXDeL4%w6T0J:Gq6+tH8(5bEIY--n3T74;#%xr69x'+iQ.l RHU5b|N* ^/*zAWvE#.W:RHFqVdT\z)j{[EoqY P~<0} jA#BO:eSΟKUpOoSױ8~_uE7;-Qw9ی K} ^\ىUGqSgٯnoZHn7&٨#T]%ۓZdÕd?(_3㕅Nߩ;~|-WS羥WA=(tDCm9Qz7䕢ns\ hěZ;Uꟓ)`K8{&fzmhk=tv%Da+*zg*?U$ыYqt2GaoDUٞ-*su65>KK?g|ԟ[3?a#6zR Fw`ojԎ|І8/`8HV XҺq0>groo}@T4*"ӔaTŻOAN&0r֞8ۋhpHm ՟N;^@rpoSqH#02 xy{Zܡ_͜~Jj ~ U@nnVd7XR޵q䫘膇nwJʇNmI )qZ>_zͦN>4\GvVU5}2%K0N<@(- yz?H:HVAZ8Cu2;O t_fދ4c#3<|WEҖji_XEPMPXb98šXtR (yҕC^񸞝lʱb/ڢ0UCۭ=)|/Q) .CW]NxD ǎRG(Un7 ݁gݭqqb88喩aJ07B\i&j Y6ZKΆ~Bc0+|+lB3s7bH)>xHBmK9/5RQ;C 8)C9