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  N-\ ?]CAVA_buildchain1:threads=2elapsed=141.287cpu=264.504gc=9.416factor=1.877zXZִF! R e]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ F]nQ !{&uf[66N"$o 7(B*o!-!XkJ_Eޝ˸lIX,a,ar "`8mߨ7 0FWfԽ;D+[U:E О-P5D`W>)=;<_ 2=CMſ=Aq;HVS0dK]sDd̊\qIU "bFemqŊC%C|MzAB[w} %N3\H,r5({X֨7wV!|6swb^cW"ྡྷ a?1XW3&(?BQўW"nIL6KxLM{Q ntCc0K?֧Z}c @٢/(<)&=MfLRurr Z?m| ^Ӽqׄveaꢻ;xd&a2=L'gUC0:O]&voNdF*XD;VS_!J$r`գyJ">.B\%տ񄆛 V\Lɺ)P>كmSdfEm3"<* T.5Z3|'}%P:r>@wh|OBv}\6I')!?#BJsU,W>rW635yc ln͔+7ruUK@3LF-r)`Ii2IyMWٚ|znG=peqdh B1ZmP8vڄ2Zl^=3W($FMgҥ~чm Lؒ4H`OfZ|l.լZ1,A@qu;F"T>ޟH[&.s2`JZĩ PE[p?StIKc J}ՍVDaiH0n H}MQa6਒Jߺq=CG~Gi5-z^mMQbLu&[> 5IJSmrp] [U \Mv_40~-lXCu]l͈ӵ G/jek9 Ij#H+\y:%TOVUE&ƑQ~Ø,ތJ$Ex\fҥǺKXvkR[ZJӥo_Vם~z Ӻڑs@!$&|n'Td g tOO6.+k}sWȼbV%H&:49zs*uMemo_˾{,w''|rJ3 R-s~!x{~<7sD;tOQs@_uj6}ʘt}v!sN0c*i[b'?_{6'gLM@D9_Т CE9Vg<]B7g w{ F'X}K 2(\ ^Mջ }qigYZ7zXZִF! |]ŗXi%6wF`ԃ̓uc)v$bJb;gzZ~zZ j+6?ܼi2!P&$Tbo eQnVs1j3x_!aI8^|}&d>#L0KǍgm[*h-Z&:CbN}KvD^QF`9BƞM)Qn;kpw)U; 9 ~obljZ4b/z[!T~ợ.+L= ]P Goy)_>tƥ*(f+޶jZWjp Q x15+Y a֓gϗHߵO Imf~it(.sMAgaMmZf"еt^̟ #4ȟ%1sZAؚ! :ua~Fvwe )0ɝ[GmnS!$T+vlDZ)li dʲ*CE~Y~"꼍I H7pO*h ?w|ﱴ;M7_{ MaN;bmK/̶H[nT"K6AɡbH9R8xy!=; cF'%g6&xf'P):t?U{[0;/5v-PGˡy3ڣflJ5?a3 fpkBZf9߁97p@sUZE%Ҕ]ׅj0ej_4;=hKWM H<#U3@GюtbܥoO5.NY ]C~(~zt,֥c*٘:8~ɑT phNt㟃f߮ϫgLV)Ph_LxrI0QŬiA,.M漍=H? 압y+_an cieFg1ٱJ\"7ob#{пj]*lf}Խ$:+s*69մ<8MW/룷nۯ\K-z>艈CSV:Sr=ZFý-L%=E>2kZG GP-S*V9wSF¥vFT.F!xJ iQ2a_ $s;ohp9}| E"Jq7D.cE@EX3l ;y8F,;N`&k6~bJV v{f`,_IM)ulԎn2]#q~,4r61Z /kymxK%$ ̶k7"rjxY!ńo fgϘWy) e?wyժ! #=&–> a(l}auvXFlU=/A_$4Mː(ˇg9kg=i|n28%mDm.f FGAw%)tV5ĨRfC$l?iFd0glǝƃ8yX 1X FBykWLϴ| Dugd Ȝ\{i\A(8&^YQ +!&N&fS^O'O./P-M쐩S/lK7$BHAEģCcS*2|FM ^RU2ftϐEiezQ$-G;,=73 &q> %FjK}g"OQuCkR(@7.k]Bi*Jӗ_eSС iXldhо+Q3|žpho**sї1F?K.vP싥7 Τca,5|g[޶i,v2d逃z^0C8i/Jzf<\~7,WUH3o@}%9xXmKp>+U79[w->@ 8']w΄K4.^{,&be[):-pp߾$[Z'>ΫA7jxń@ z.=} =lC[ܴvi}z 'DLqhd"VrA1<`0`FJ׻./S#[Pu!?ǩ>{lDu",rX[%*'nSEE'Fe\58 Z~zI uvCnTC`W& UɯFT|9ˤHfY]PC>.BvʫF'T)GRw.~ #s3f4OuɖD#qV@NdH|?t(#<!ce Q̇C}._Ulr^KS f@)N_ SeµV0ѳLo[vxtAI0l^2+Dfc@|ˆpzpI:o]H)]YCMȭK;0G;vKtQG_ȷXQy?vF~pԮkdP˫-7"c8>-}8%YiϻХ<8 a:+mG_;[mMJi. V|*A1_@f ^7U-)"B! 6cϐAW=SI$Ett41$ICXy3VjX ƙ|Wt3d.Nm=X-dDr馕IQ`WH*'h;[R#ܾ1$Gث̱ _B'&J\ni 9mN7)e/+P~ocFy8 np!GZLራ(kΏ,lH;g RB#q咧 قdMPFӧ0Ҿȵe.1DXJi>jٻՂ=خ]b2[#?wם5NvFe\;df~b`#RLHEXaFYT\~vLc\ g[hm$Eg4Y"wWs .R/,1##5䎉m9}3)VJý'.oQ>в^=D7T{{ey>$1e<þQ֩@+sv3n'΢h6KFe3foY1$5Nyòu(9΀7=WpVX݊kijxJZ2iBܲ%sQn?=~fV+1tT+_^٭l٤IΗpi2:jZ{E4ޥ@Fv!|WQdO?>H$ ={py".ʍxɋ(ZuW/SfZûH@Tzsa*Zr/&Wcӟ4?5_th*zt%an8 )HNĮ3_$_':N޹pG= A`Pf=+FX@9[ H}*숿+д;):_Ȕ QVMo5Sl2SI =13DO $"&LxaRT+ߢ @9 Wk+ rR)'[@D6:$ 2')@ql/Oѵ#'eq:b=FdDT},EGTB{ɞW,TEJ"xC3w8x_v-WhNMESktTv R), FviukgV“uj3`OwOkFC_8,~~^յ˩0t3+G=a z zIDlsnVMń[b 1fJ;͟\-M¬t?Atb(stVYe< rBu>0dX^Z7 R)j_r嶐6ʆ7W G@@\o@p wSk@-32&ٚQL«A1)9%yQQQL2(jxņ\Q7!m7wι%( zuD]ũ =+u-KȾf,J_% >Z8i!CYI\ yKZƤ;|Ne5ou+ HR{>b*Y(\qД.ΛP:3DtܦF LED՜`(D kB*pP(PyS#xf9ܜ姞/ }tǍOS+fGw\6{YZhǝ fKFgԹ~5v=9P\h6{7?B