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 Y-t ?]CAVA_buildchain1:threads=2elapsed=145.062cpu=268.420gc=8.896factor=1.857zXZ - CAVA_buildchain1ִF! c]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ W2t%טwa |l(ex]Y]i/YBs[=RY!|-f"cr24 V@B6RX)m@cnGw(׎m1á-̔tҦ)'2+)Ѣ]ozi_&6Tڧܝ=5+:DMFC^Z [Ъ|֦$5SRJ 6rɜʏ*ٷ34!g-G4f˷\/x=vh5{ouH* Ru7͏XiZ":#W8FnhY+[YT'mb T`7⃁,wƱ'ȅWڙ׻25I~iU;Wn ɛ40^g ,i<_8ɖ 6rpw '=t7JdP+֨n06wJmk1/MBf);Cˏ"2SY0hk MPgkqF^:h1iC"ٕSޱA@e&t})WR:NץM--g7ӠXc2x亩fT7psEEs{ӧx2]Ȅ=Ǘ"+h#[A*y9伙J<Gx@zԘL3!B:!^3_gi!uX7v*%:O;v z\C߼;"ttrgLy-=1L\]6$f 瓐[ FwL1_>02ŠoD>' ѲA8cmè9pH&ˌBEt9ڜMF Рyy2c-L)k-W{ZfvC5 I6VhW O.d˩9†ɪ.7[ơiL6虤}tC\dxY3"%O._U hcv7%xEM2m+[X1>yOǘ\7Սm{ =1zA4u`) 05 j =ӯ.ENtokg_[{񌖟=igvcN&m ŝ! kn̈́`VsuHi&61LlX] pBaR=suHe&tf2cHC^=q \(R6eHG1 F 鬿NidF̛fY`0{k,ןN0:p=p|ݾ$QShj潉# ?K#BvIQvLCiN4_QUTG #>hYdD˶IG+Asm#~X%'6Dq(6TRr&J*D8À&~/K!׌> M*s)9u 0,p*b.CRN4vf!S֡Xkt' 蓀ׇkٌR@_{ Y>ɽx=(Oi3)pH򙑉p"LNiD'D͝.6r.)V ʼY'"k0tSCK3NM|JTaԖH[.eY/"ug96Nrnp*8>U>ʹD|#h1$_, gp#»Gc}qQr繩 +i:X&hRLv%. 4w ݌)QJ@悇F7F!\BYǽ^S+A-8jHhűW!%m'$#/5]wX^vEGg^ TҦp<xy^O]3g ^5 t씜Vf[;tMY-$u rr JBTٽY wGJ<#L)6=Z䥈if#P}\@ǛyPeX+dPmU%/ൟpY e1Q$g>/LFjcz8/xsϗ!i%CeW"@ Y@EcR4r%jw&9+ llw+HZe7#rcLԖL L"wS0Z&! ȖgÄ{2E_RhApy1)B`wY E ~HJMDrZyZ}fFqFs<ғ>3BC('=][aVXc:iN=6F7*yVp Bʄhfd䝀JB`FFm=28F!#h:sq,쿵TBԔ  3z|jTO iNQ &4*j@D*RLz,@!Qo0C躧[lᐩGDl}P|^dބzt ,nh9مywi b{5!U;q~LXe%Cu'YFG=oϭQXN4[Pg^Z9' dah} gQ,~VO-/#DzK"mк1Mcɢyc{XkK4fq"SG?ZlHiU49AO"6j; yO8|n wF/21z9q vbqA~*{W mE1[k=F|ٽ̼Ϝ'ᤘEַ/w({Z8'?IM{mU`[:OjAC`eXm6u<_#(g9+؟~ƗPܚ\BxbS e })~ N:R.|Aus&L i1AJQL;yp LUCIx4RqY'* q_!yWwk~>C5m'ro*ͣ_ HIf8р&J{jï"7$k6}Mv-Nm1l1yC QeNcӇMHٳmV*Pn{LiՊ;+.K $:q442St&- d>5sLՓҫ ,=H)-B2#8ƶaA%f&Ɗa6/^k:+' LFZMd5g/ s%Kmë–yGv;5IU&-:#>bB,92#gYZ7zXZִF! l]ŗXi% X]IsaH݃ag8Ȫ'V-ղeE CfΡS5>;1.,z+b#1Vk 8=4o|iOL݄/#Ų;6HL4?smԟS'Prvh#Ah:ܝPtH~کp9\#+|ae{WyzJo"*PqЭI?M:2w)h<-p{]MM6hTO^{+yrCԘH{[_qsb(+StJ A=<Ԣ͞o; 9{fuxpF(8$ OcL ^Zsb=-C]?aYFyvv⮼Gj!*ӂGy-ѷ1w!Sh7 mxc,ꦵ}Rܯ'[tȔzi頬aJ{_]U@ zxq(x1m()i *Q6-n'G%E&ǶъW˜<|GPz[+XY,ƜAYܲ|dE#+mPIL% @5hTDVh+ٲ)"E3co %@{ G|Zc3@k%;ڳ5lwru܉ȯ{ ; 'ZwVI madtx:(u D?X \<35]Jr{f5%rXMlc 0 'FQN=[+dT\mG 98#RG4F 6? ux1TɏOm8H,`DOmI| yv͢=f=j aFW:nNAGiQ|:B&>d$)$rKb4/wb7M$Pއ8ldoa®J83F+[]LB>T0ԇ N0Ȣ/ˌI䀩۹In7Dld;- '"g)lrsyNz^=s5 |:$`&pKLL^z*A\-k٘1*Yx>L∣R9:;u4o~u(|]-3-\S1f%0(c^VG; .yM V=~38j97 +w>aacd?%Q{2s֏ k~aG{DK7*$ZNX`8tI v"VB$/ӂNWsT)ВM*bO|Uju.\ "2m0 сB^=r?-`|Jn- xBBO*5amVloQzJN$O{N{~SgxM߅̦K!F>]Ҕ Gl ז*Jo}E"3!;ME,W@"0bafDc{f׺ACI#0y@r_ɋ Fs t5Xl]<3^?@E[(TrO)L :smrQӝ[d4+b7̿!Tiڊ^j1oұo8KWͨM1O zo{>%;GK+~mo+ l|$ h۶ap6e U)jjh. *Ulu2x(p8#rvjox)_X(0ގ:$ "&t'J Ky/ :3P]ˊ ?zZI]p`uQ 7 cM&PiKn*,PZ%N\Rc?Qw5Pb[Yj> ϘӼ~rƒfC!0,_LXqE gIJnp?~ P_cG^$8wkĕpC>7)27ኅau: 8ؔhAeXp%r؂QM;B_\HЍf FS[wj;)"3gݔkD턿R1)|Ӟ^mN :%P_;Zf]V0FvG&)4K=-[5'MPhN)YGpޡk)8 TS9C_yE }^|kY{N|f22Q[;T+6i7s^^:8_X 4fܱx*$Gk*Xw_ΚsMMˤ g*0{t)F莽3ܒW95D]ַMVBRKֺ~MLJjCն_?jn!LSsݤ7VM= qB%Cor4FAٕУ7V8tA2 (I-%ӄ&H(CK?T 8^6 DVɵbH4|Vs##(&+jeo;kG} -ՋUwPZ_~*s9.@2I u]D)(25EEnk~2b > "ؐ4+8` -W\3]p%)벩A;[k,_QPF"(٭5vөٓ<Ѣݤ0FZ%$ߔ ~V0|t6H;ݻ$$h0P{PɗGr~1!@( %lR̴X2{;<:,RxV^f9Jݖf9my`q5q3%zyGm JBGHHG0Y)MdAB 3dDGzD\1W9eƋ0x89aC~N mDŽ9;8!o_&Ge0Kˮ6 ޲2D!^j.rj_C-