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 Z-|T m]CAVA_buildchain3:threads=2elapsed=175.786cpu=289.760gc=15.272factor=1.657zXZִF! B1v]ŗXf1-/6vRZxY{"QhEa*nB EnS /Usܫhaw۵5 SDX)̨$^9-˶ab$;aLƵ Ғs -HP{Z[ݒxT}.xrK΄=@,p+5tcrw3([w@lR Ur(^۶U %9>&ZYLYJauL&@^A7ݨf~ò,md(.m<-Z:r,2^Zeq֒5+#@]{Yrc^"N3K j.oDd{2G3Н(`6S:Fc"W"pPj>oNDnbnt36Uț.'[/(l`PD/۹V^9}_Jb,vdÛV9!ng.Dky+_ɳAwDK?CԔ'ٕԞ2yt!\Vߜuj_-<eN`?ڈH'9g,?ݖ0PJ]KBd(JR/+<\Qe3)na[j^+xd S)& OúKss|⪦>[Nv%iKq1tAIZ &emqz8ZѰ %f//IɎg8$!TbnޤSQI{YŠL\`;e/B+|SWLON(0/&+I=sTfΒarNQdy]4LShEbcClY$!c{j33q0 9 [¶I@ٹ}35Uwzp ?n+0I.@o]ׯ=TL ulǽ/݌xp'n20`>qJ_Nw^%tn0Iva Qd2cAbV2go?Y.t|i`7oȈ[/ Mg㾈H W,4_M;4(=eomIO2hQTmߺo`決'Иa=Jnt^dN ?鮚.Q M|dؐwN/;ecˆj8ArC`aF֢@Pxo_|H+/5gzH8]_?4,go^2=8G nD0PJ=i&; [ɀ( }qxG;.Qg=I!`u*utjMiBP5 b nUʊO|b5QYUXja X !vrĦ~bK*4@lu)My`:R΋f}G =#cw5,x=? yɱ@YmT SR,\Cy,H'Ay2LtVP."HZ'u1F8gҷCC2̋6?$pY6e#f⹪АF7?Te ;MmiXFn䯈^d9tA`"r{Ou_+Z\Eޥ?N'h󋺈疡L:@uZp"͡SڗpDI/B`%:œo3bfHgR}Wʵӕ'nQb޶U"yL߬ՀbRp;z:6|TYkT]_ԹS-A ߒN $ - CAVA_buildchain3=V:cl3Hƥ"q+kHxုZt%@ w`ny ?vØN 2CbmoI!3bTjD"ZmC .2ajbc(諍oʞ0$&GR~ce@ORV4;aS!FWI"\U| XXRW鏋a 4;0pfC[ԙ϶YO@eXT`X-ê-`4?#L˄Nԥ;|IaX)Q4{d׼VqPἣil{!3=JEfaA!]"4HrMvKgP@K*OӒI&n,mzdePZ2䶌t<" ^JॷK[*=8:`CEnN {uN{}=%t cemɞV[^]d21Q&8V1n4 w@=]2C7I^YեO*-x!wT7)v\LSyqw,SCO `4wxh]k ȷyzLclKw&R~xȝ eV}r1$ [|\'XP$8G*'&n ;23e9&g9Bnf*d':?~72_'UNq2) f=c,w um忁*'&g- 'pJ񢞦@݃0[wzg(EH vdG*R[X=ԿIfV|H*;4k_Fn+%BVdfy|?% /<&9_y9#aEj <= ε~SE : 9Llzh K19NL"' La5cOunȬ:N|/f@Oɶڍ@4ƆL.9-}s "H$w# MJ`n +>hm3o|[Qm&hj)tHZ@p>~-R*4-&]JUv_(EVuYfmOIq9bx?RyJעS)`79 +E=˻ezyRבೖPcU㍝lppєQ>(,d:QJKm)*ں[cf{i!W-^ :kaOAG{9JE3Ů1 ],lt dgPS\\ze)iF,?aqp|"2;ϢC\:Y'٠W3\!̀ ~ljx *oI? ^K2ш&S['#4 se®};+x]D\d*DU: Й~IP(>%Q8g X4H44m0sy'4#\ \~4AEep@B ! EP2hQ챀0F G5T;M_{bG!1ɪ?)s%X>U9$MeV@Vw?[VǸ{?Yɤ[.Anὴ4x5m(aa ?$IhRh_ʹ6PnC SܼP0:ջsӱjOzz%COh (lN}9Y`}ˀDXz6C:=zJ!%(1uM)`~Kb(!yʛE]~? IWmd- U$ ZV^c) | IBӬ$w?#y4d` %hD3x)|_P.:9W죆p^:yQM_̽<Ůb!l}RE?H1N v48Gt)fnrbtUǟ@6jT9cM療v:MLOT&6GX@֧g|nLCiꊊm+i`0PYfFUc l#ݮÃK 1-*I A5 lo㓠J|fG:! 0]qq&?væ]]?؊R^Cz%u4I~ۘ*]&ʿت>&n!,*]"t33KXB%{ 8 -hY­ԱUc־Us[J&:%K᷏KtW$y'UGa& ;"GʗS mMk牖]^/!2Pf z nWt+vNV:loku:,L/in"jlc^?`L /qG,YP1iy.hÖ3ӦpGC>06R 5]X|,bXm[߯q2fQ-[{{V-ز ^?p̉I*r ϊ.*Įf>( |۰ҥՄBb5Qzuu `ʼn-SMHpPF)*V]0ѩbrDQYI)*?ӆ4;Ҽ\KV˜GW6p[} $8'⿊fܡeҠ *{ݙKuhRQm6T :l#|/7 %;xͼ򅟿,F{bPҴ;~KݱtVѧr&yW>n]zl0H]U[UkjqLF\ PnXΩVqÒL$>7~`qR;^ Kַ&zj2ʭبWKofzhțUL>d#?.a>ޫWnTKS-פwϴBAzѷVgчa'>4Z՛oT3{ Rו%z$u ,e!92׬xuЊ9No+E1G㴔m\ MS1'ɹ-igc=`gd* ԩS+Jx8}1e>s+p͓6g*=n:%A{rO&'#oeoEϟ3ϩNNc\EgZzHk{.mEw&8uRN qǀBϧbGЮZA\+So$(Civ&qtmTqx/|p~2W܁K,3ayV>wCcDm(D腖ESEۥZZP]P?fZ)xĞ* WA#J&ɥG3>= j3 'D}o3ia A֎3 '[)AqdI}X6llW2ZW=C +ҁ"eT ؚ,^]36$+]b1]˙^z/YvNJX")Y.S 'b_4"; sj5pZ3nx1Q!ؖAaŧ*fDIK IB+1ae!ίڍ+C|QK]}#*m`h} 4GTЯ $=U"fӳ(QTy;by>\î6:;LKpε>tVdh b~OayiYTz`BF+=Xl,sfL(M$7G7Іm5zwG򋏡5M9TIl>śK`[k<4Q,eˍxmNb)܌b'&!z5Gl3,I"㱳&6ydgRMߓ0+Xxɟwd#0.$e]:hMek~%W(VKV]qdSy䒥mzQQA f%xglZ΂0Blŧm "y.koz.%? zEdwouGs>[*eB;?/LOm8s > I̪"Hy?f?p<~D߀u`Ý =ǸZ'lF2;ųAVΖj DuTȢm8hZ\*W)4՟D1=RY8U ܎gG*d,2uʛSk.b$euݶ8ҬJ򨂨9%G2-^T5u#LXyWvOpbNX ʒ)~0p" LJhe› 1A{ A'/&F7~̈́?LG;-$lXI2Jʋ^Һo#Rn5kqjiL(ꡩu3 P3 =OP&ewi,= o_P\\(Shz6\5*j j3~ӻ:B۵k_HB|Yd @zN^J ' 5%WgIh&r=Jhg<XX%=.wO%XO/~ӢUۏǀj|J44 `ƭ:\ TK]ي2](o2H$9c.SVv5$lhRK'QTT# MO qyVYHTȓYn _ǺI7< %ĵ ]tz`܆nKd_@/| H5e9t\GbL\P)ej^l;p"t\%߀tŀ#*ibxi ,i5_)2?nN"f %sZ:|C^O4xaBK6v!=J#`3me [Z^Uf[#PzN' n|6bKJ;`z.&':Lȝ.xV@{,=`Mi*2ig(rq5?Yu`?:wl՜ [I;H<@ m4$ 0L\uGώ1}ꄪ ޢ8GNp&vl1K-} w-CF^N I262?8EdNii3u#%2 x?ݵnl/d6tא#@ k=xLZlQ.ceA: WGAqp[vP;F?E4DԠe 4{FBVś wpAEdF }2xG-e3J$U؀\=;~} *ux*= eImF|?xGg;S;V?;TZ th>}͉ۘwℳzGKr:`f]Ϳ~0oSĶXR^lZ򞮢ǃ JJ"--W̌bAˮR5 ,b>6&sD (xRM3(*R7__a[1ڧqN㹖D5.