SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 -<< ]m]CAVA_buildchain3:threads=2elapsed=171.647cpu=282.348gc=15.724factor=1.647zXZִF! ?U]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$O+Ͻ9Es$Nc{ KK|)(+*#X. - NC]jr D*L4ȔLj6ftk#DH}_r}WsC0dxp>%z\ cNB'mG2s͸~p4Ⱦgc,Ւa@ Ri6/=W9C%u;)&P:%'xIś-[5ќg߸ *2= ̩ާæޖhd:`r#.,YkހOg#3~2_ny֒s)3kW|i)lJmjhSyHl983H,'auQ˦n|wcd&!ؓgB2}oYlH|3[G:-u:z剤d$&xXt>x̗2征"BV< UfDo|~d;g$v#TG;Q|6x(ΙzkT9 ޓ:$vxᥧcÁH ߌ۝Bx@HSxa\b6gh^&%Fr,l U_XKw~!{WfSQ_od-Z\򣎋;mLpr3 fZ$R#$iM_w> XE⩻fig?ey'lqz$<wԂ mpꪕ+H;Ngp7R"X"/Hnin[=2{[\["wvK2p+uXRNQC_ǧrl$thk`i?PRJv}h˱$Yc:'Qq~k8^Pfz8ɹ8` gG3ϻ-e*UCQ=ڦĠ+0`JԐPȃ;-sG1=tB ho^ecC<5LĻcKBA&1eӮi8V>6=0uii ۷w١H(Ց9@ME߳2!cdlglAd#K)zh %>.^!iXK. /ISBX~Pz4A[*hO#YQ!*D[ C*$Q$5ejjlo3S`/1{h1=%>IS8`Ti՟]@tUV2_!o7_>vàgAMH m0Sx  :~6gYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9HuK=q̻mrABk՞3wsI@`d+tߜJoEUM(ݟI`oseK݅6Ng9H ̮~Rwic#a:<ˤw\Z32+tĭisIPiߋjߔ4HH.G~]h6|Qzq)V^8oYevSO{BmFiDrD<wt>,Pw)1VFu^U O_ 1C `_rPf* k{.yidr$&n8xY]MRQx&} |ސ0ʊYX^ܸR ΂!7=qJ;"w˒;x5 ye@dRf#;1,MȶpE=&G].? ^K}ߓXk[35C~!35lU6HqTw7)|XjTKIS/f@]^"E0k$ֺBn;dT"|)5͝Z{}{%P679HMѰ5y$Ąm7<ׯucRQ;-ثhGZF - CAVA_buildchain3"긧x9%~zը7(]Wy*K^$KGӘ_#<6[evM!ٖȐ? ܑyC <Õ,?FNQ=?Kx˻݀ {+C)Xs1sg,ŵ9  5-υgpZ KO8 _=e@ĝi4GV-|y XL/}%.9b1:ٰKv:[FM|XlR>(UF}hg^,SٿpբPN;,| B5Y4SqfG:J:kAg8 IPgb} 0MERX4HVΦK1'|cR)F xGzd<)1) QsjZqwӽgWw 5)d=# cߌjv51S~I񀠚TC4((XҦ$K͎ ;IBvm"4R7?vg+C/Я9 e6g¼.5՞ z xU=μRD,wIؤ~=26 V"Y >XRlp\B |VRsĘ_ej\7{Ixw)Qub^Cn4&` xwIGB!=VFGB۽itJk5:ZM͓gIaiG ^^7[\]>oP7XRSmi+"q, h00DgسQ@ DwScNԊmcnPPގ˛E:pykc*\*~XrO*,137!SZƌ{EĀ=Jf, K * -{kgee/1LawkB7ˁ9 Ǥuw}|3fTWCpvswݗdž?c0t3̓fqm`lq\_Z5Z*} FvRH g{>Em u3Ѱ~yjJnup$l~`+d%$`74McG+՗*͝FZAq6,(b"y4s՝bhntb[C\|Ui%XbS*uK8yӿsR離0h*6V 8Jb dxVMndC]b[mU~߆~^Eg;蝾n+o;QI<@ݱsrܟhdt껮oU)^"Npz*eݫ]aq񙓰(ݚ(w`a e1A`gO~QT_RtqK9ftPn֓3|Z~T)ŮI) Ez5 ± I;7%oN>gHQG"gL9QTfI`vlWRgZaʑU$Lׯ=;|Hf \䞉ELI2QYGlS2 3ܫIvr2eM:lܿ^ϘuSuEv<@B+¸`C+UyԦo,ui} ת>sc?s'XW[R"3_ػ(5.lWdOBHΐL7nwf`skcؾLoQSWذ@D e't&c}!`-kݱYu%w_K˒}O hR^=3 ߋ_ |BVW[׾O5Cq[\p-8n+:ъNjmN.1{!5x*1YyZe=֟bC=d IV1LF#Ο o OD(EkҼF"㧪\1`2:mMRPg]'p(^9΍5jIWVhiaa>dֳ+n&SbX$&̶x,A r3r߆G3sps ݔr,{VM|\Z,Nz~G]n̸)Epu;_X1`~,DN݄TKЂwh [ >>@oSQ^x :!oAӫf4.JDzh>TU`zd}I.t?n̫Wp`=sky2L~A9r_6ٱDyho(^j{d'tz{'2=|,y#^цl#Gsv|tڸF5j^=yyk+s؊x ,a=H?Ρ|YfaodT1o7Jby|{sBU^#ۉ)v~{EZİeSScR\ Q;v~SG"wν@Py .7#Ʃ_ŘX%r 3$ş.ky&w:KFMΓtBЏ, Жu17{;Lн@B . @+ t Zao-"3(i[n{tUAAWF{CAto ]V, RV K<2c4q4Bu-AM;ib 7';223"܀g:px2o|)uvD :4ɍoEcĐ`)g*EHrCtf$kP)s{%f9aq+!k#en79OWukS|?mioP9~tO l%ʀ~٪66ᯟKjEO',h@rt%qop^8!%[̻~ ITN":uLàP1J7 AtB22="@($>ݯ k$?mq!Tvt-<`rZ ˰+Il I**ҹvSY㳮ba뤏\R<.4 ~|Z"bY&NL`?fljlj~|KTC50̑>ۼ/1l }|RCE T?19A#[P!*> ,n/ʹu$A`E7MLΤcCJuꏁ&OY@9(h 0'+_O ??b [;)¿N iԈTc *TQKq%~ݼΎ$P4L̒Wkwe5}b31eܫ9K^ʤeȼ}j[ v_4Malw2gYClpSUİW3qpcP/TUJZ B9{TEL X3yoh-4p5;; FI%`I_5Σ$Һ4a38*r2oΧ;b3N=6qERIvD5WWb$aL*.FѱhR, Bp&%xv?0S 8i8SL=Na&YIē<Мɵ}}Aε0I=nWll[@p̝ kҕmm+t= Mq,+j l[f'V"f =s2ƶ>.ebZ=Jңb¢{2mŢuhL"< ('8&繽y>*NڐG 4ѥX\ Bez5SQKœDvwM: s$e X$5~jC*?2Rjݽ!+Xa{GRr}6U:Ҭ'u<`K?[m~oKCabY ~cDT]qTbǃ!ڌYgb9okX=R{Sc$)̻׎%Fa~_ȃ?23y;*)k?&i2ͣ-8쯫 >zm)Шֶg4{e mK!_%ƻ>3 LG 5RA3~a+)SOrH)䨉D#En/M>} mD7wYK#6-D:zuy8+MY =:luCzѧ i ?>q=0l{+J (n:%e[RsbYUE{^SrF_YlG)RM_@I5oqTgٶ.LB6H6}2b~oJy\k,-uQ5p1,sj5VnH q- ~1>_%=瑄*ٮ:^3Vu$c&㴹R# C.1B|~Qđ##R ;`sDȎOTI;q 9>@L>7Hn^x@UW&5L`'_I7nP_|% CsN85 I{fӰ(G !l~ʸxϝM<ԊO#E%b'*Z 4'+/(h|fHZg='߂T1BVLy*FEkFYN(o= 2~;}q[fTU>/RI'LZ7\v,1Yxt GhVG]WxP0B |Wu!X]z_*opޛɲʥK]NG]oC+u5)paW*5 ;s#EQiMdjg* _.In \ =zY"!}5ÁTvR%tHʷAE1[eQ+?/gZԜiW|ViKzHԢN$:f>i$gBLaCD+a L`a#?N+W ?i?Rzbi4 9`^p;^W bHщP cŅWpP=`p*3tWvt9>4/a΅ &Wi;|-߭E?YfqOuK5*]o=Q|!3pd<s"7=ߢ^!P ԽfF{k~Ѿް2HY[?~$xl&5K6c ރpd"m{@D/Ey] 1Ctr!d9C r>vPvw@LjHꦯV0OG 郻'n1AL]l2X߽=+ r G I]'4kAu넩/SsIW!KlnGj]VMr.$|"8gTM$[~,7(T&ңd?R Mn?a6x[Q^Ȋ4yR{{hPrnŴx-)Th Ylڞj碖bQ`TcYvR |^H9PK EQ:cZMrMKhNHxQ?d`3,e \]]&djݡ@ Da@1\3 լl¯/鰢M y>%rZ72J2n*!K:0vF'K~7Kiք%/D}Ez"7wizdާpg{|,-T>u_+UzV1>bM>.|2%o^oc#Ru] |Pه׌Xp#Fgf*v^79.UUI3@_!nIn0}*aerG0o2psb%NF Ď5Q͂E8 ,f^%·1_iL{d~kP}:6>ڟjs遺L7xg Ef`nA܍ tlgYZa61576f5d819dc606c0694bbe1acbd1e91b8b61d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a eb9dca0a0b4d4e0dbf1db07755e5b32a9d8bfd11 ed9381b8231b22815aaadb0ef338fcebaf424cab fb0f36f526413c39491d0f9c0367a203fc57b0e4 f66f2df49af66c01ef3d544a4af31963e466fea7 21ef4fa00652fcb5dbff61fadf341bb130618f7b 3416c9318632031f98966bde18ec8321bc628589 a59494ca3e64f9ec21b13a664f3777814867b4aacfc7461e10cfbef3150ba9d204d833ebc2748e1e