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  u u|-l4 ]]CAVA_buildchain1:threads=2elapsed=141.821cpu=265.988gc=9.776factor=1.887zXZִF! T]ŗXf1-/6vRZV2OHQ88jŸʩJDɻj4=~PԳ E!f 6W! ;A8V'ƒ/UR39)mI3ȱ&° J{$a0ʉ Jam۴ZvDC)YyAq@-xT\0X9e1L둲n67#p"E^Vn $|{H nTygR^KwOT)zWv癀Y",>z]gaN%ݤH:g`v[jSMb0浬-Y{?-K։ڋ=.a@xX߰śSc(I I^LF)Ai֨vȜRBx:vL]pӷ<.@<7D"|{KxύaaSk P4'߶'SFvKJeQfp%f0ٳ%NU P, .PM%1%ӳ-/~EA4TʇF+Xb+ߴ+M\}saS$"I[x%?#.|R4"xi1>~L=JIl@TwV ÷dN᰼0S7K:Js4wȱB-c:_fxW鸜6BKB2=U7u!59v_@mʮyUM5XTbQPȩ7 gYZ7zXZִF! Q]ŗXi%6?ǩg=*U&$CAL{_ak'zCH (̐Q1؃}cHc  ؋Y#o8!^T%FNI$S>ww01I$Apc:$`ky)Zl7Q8_bߔT*K?2`,MćP2Q%a+GI ^EԱ|5n3AiY_3k}%EqN+b SH<,RuU&bHػVs,-bNM;,Y֔+:W=У%cB%|Y{+\xғ:hmjn .!xQ꿿J\YÑ& t^n$QNÔ+~NO]2-t`g4]'tJhr õxCޜ 3楓`Q7,Θq# 3V0rfFP#$:[ۺuǢa*n ˀ X'|\Iܺe["(w$޾p6M98^VP')IuL2f4IW&sզ-] ϼ $k/^ ?@m uDZ#Ȳ\<~Ac`'Aa̭;C _kUN !'$"RށE_xҠlHߧo\bZԍ;-abm5F EO" ,0e 5* ^BKZݻa Nuʱ@˓H$Fx VW>%=8s@%π{Dձ9LF *,)gl5oA9?0qYLH[lm\| ?Hxmqt= r4ɹ٤np# =Fkdiʥ:L"K QUYwczh}$!Ppg"|acʠ\S+K&$lpBo_g@ݎ>қX$/FFkIfBP:¬8RI{Z9$ e Dߤ&DKLabg0`xQ[n"<s9J' >` 06bS߼SqX f^ҏjCGHt:@13;z,ΎKݦ 㽇'dEf=9" MLwqȦfզPrfγ.RihK7h ץ!#pΑ㍠1#b!TMA8"E5 ._؇!{QS;#[CU\~XR=t0/CmF$`}!@Jp:蜭9tsy\go`0Ts݃yo׿i$tLr8\9Uj-=t6vDa!~MŔEL,Y$0m-'?ImVH`/OVm(-a\}Pqڭjw+ `X|$ 8D az9$=$o$hܸīL 3$ o%G'5WX;OF* ΂-i?Q.@%WhmjIT=Ԙ* 0~õ =%9+>j@IhY/LU` ˧Cz{4L`f[pD |N990 ~BtX\LqA{|oN~˽BvO$yYh|U+K n߇ {(>ܟ Gg(Z<4U8$[+ɟ!Fvqg zj_LE;\em[Uwk8NqSN`Y U$#y]% Osjz |F&LBɒGWg7F$1h qbUl H;TixGG67:^8Ξ<ɋj24!."5:0fx/) ˢKoaqrz$5"翫ăIWxS 7ߦ25pY(J孛54>=G8MtyM7p>qo#G>^;X,4yRLK.ϓّċ)o(!|&`A\⻷d^t Eű6VfO5}!^_%=`Ǯ._v"PCz${Sw߲; |zB<0/S#7)6 Ƈxb`(!^i 9[0_JzW˜ ,GP,*K<vHMg>hЖmHg(ة_tϿł٪7n\I&L;Jp )i =m_wYyHu4n(ŧC=;nkޭ/Pֲ$v\ N2}]3>jl&(׮)mBx~R\%vѪ,a s횣2-W!4tHl+>Vf}Vr+Ʒ[\y]ϙX2]>{x{XR%U\j݀?2Xdv'P]c$eAns 9d'>̡p UX {OI77E%$BFwjn4x;:y}/ lS! װ⚂f*ħt٩ŞK-.Eueݚf7؆$_; ,8cL6AU|6~x>O+E3f!G'I\埋XrRS7f;]?&?vfA( dq<;xBMuSv(bqzAuUF F/?|!Hy*-!V[#Gy""|K~r%$#$}߻&y5wp\8.b]V8ֽ'rZL WkĠG ָp4HW"?!b~8xi0[Oqg O~. dJ1M ȟ3`qbQ7AS(=FweF⫍RF3Ө]ݕYԞkf)*oXX*\PZ"€<|80;:k]8TU\QΊS+)W:ںA&q @$1:XPXW4 3TgYZb86061fbade3a457936e88165efa24f9bb11b20de003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 30eeac94b81bfe234ed36cb0c6d8026fdd974767 be893b48bf1964edf3e68c880cb5becf4ba1aeb9 fa1815b8175aba8afe6dbdbb2d26568717e60760 3a9155b9fb1bfd12cebe6e647c0d461c39ff485e a4ab4d9d09e8e88a304460784f3c1bda5d3944f8 d5320a76a12f484064167f75f6b3cef876ab2818a817e9fa9b1490e416eaba40cb9d3fd1b8337f82