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  V-T ?]CAVA_buildchain1:threads=2elapsed=143.932cpu=270.092gc=9.972factor=1.887zXZִF! T]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ VZu`!Rb;ԍI2y覰NA`8:")z$MxߏB=e{ie$/Jτ42˒cf%b'+~Үi[ɼ-N ;ӻ,cE\*OQX…d b}"˹TSrj9T2>V&+ =,)7ktmunjK@WY)W0c?Tp/1@hJ]Q$r{ ~qeY1 |aag_&B5JdJnHwEzx3Vn^l D;~"^XԞ=n۽J^ڵ2M䐶M(ro xF6 a)b|)}T3?w| , 貌uoE.͡#0 {]_⇎ 7Og ]5@CPtj)븗/Mq'.H' .!Xҳқ,vy5~m( sP~g18tYA1.j(<(r_sɻ!L!d@z9$Nreh'LÎ%& l?  WrKw~S8 [B&?Q=.-p^Og'i߶*Ul( r%Q?me7׻(^EC;WYЪx*2A@lD_Kj93ȽGhʨxOH8aD uJG>&8V߳eh+4ڑB[7+ԇw[}l~=_ W MaVNbG^Skt" MH|~APy~f 0b+LHԚtH{qq=4X^ڇ og?]Zt/@`AEHy=鐖 w& hujn?rT0SABx8R{|5B/2p|}/d;ڳN;65μ 1J޳Ћ#oWXEVhhg i*0 pw {e$$x *>ѫ @N'+ m-sjMAJQ&܂:r;:d^_^5]bB`3/f|抠Jv - CAVA_buildchain12VAJj>;[AC^e'鐂]'yesк=&>Bnl#AꌰeuBT%Vhѥn;K805bF8#{n?`_Bs#M{g IH.RɃn[d,qÜ,hx8sDZЧ?- UQ:$ܭ%hܲ}D;E\&N م2FA[0^mC7]o]?p^(c5CNivʇ* >:joBȟ)u/%RIMevZV|a 7hå(ʞgB{=Cw}c}v :;ʭES3_؝2}(=tQ2ʇd*A` [F9I:~@hgYZ7zXZִF! []ŗXi%6.:vt9vCnD0rYq3͛"fzf&ŒKJH#BCiN 'Tvѿ[#TNQ@JnΞcg0 Ía-J;¹\(6Յ9}t$ ux!!cCZߝzsYx)X1-?@#i _^Fɶީÿft5 6`^R [Pu4u{$m1- sE#>+A4sH=)*b@ȧEB" kq D Y[DAPDRyd( oR^`I#9sRjZ^(cSҨAՅJ[} X21agk}W Bޟ >_QO!Ae[W+U%_Ooam?{sP>!{)dPC aT:[ FS)ی.M5 822Ct'qY64i&`79Bo9;^__27ȕAmI{s&y@x^h TSc S^7jX/xi1+ÊI~EnW#]kcb͠40cwmⒻC*[{v&Raq|@UqOV yY T#Ɂ,8Ty>~}];xv:QYi\.mSXR`k3c@ւ`tQ*`Q^V&RvN0FW:u_y+^I>eOA2"i8,l6*ϔ{2?~YHjڈHTs{"Nٳv5:t4 6h"QRDByzVz\L(Bl+͖2=Sw!;-2ϹЬn+skmx_[`& Xw 1!vyoҜ" Aˠ.)*";s+%Ԩf HtV̺XNqYN,&ޟu9a$3}1PrA!ɍ .qMl=ea~BZA:;1n兴MPqԭ)ɍ!Uy/?͠CU8 敌%ePF?8@ =r 93.򼽻 b[]\Sxj%r.pQW kʿa'/ X6cl`vJeq2\D8..+-Go3^J^Ie1&߻8 PKxN;# {y:p{u[ħ}!V,z`ΟRFYݽ‚?L+A)"`Uqf@u}+4M@ iwxs+%{ WV57~ٗ  ::3E>&ؚQ(9:wE} gۉv8-at@Q>5&Še46h |3 k"=|֭lDgChlnq߻[:D[x-H>!Gg]r҈m`c)^`dm9Uߊז\$;P^4ƀ: U`'Nh՟=ճIc*r=QROl 1p>j܅#)ST@AXl6iu G`^MEI ɚڋkGx0P4[ wZӬFsj1Fd qd$@4)2ȗ*]B[}xCihZQQ@q`U' +o\UO{8릁uY70D(LL1hY?:SJd& h=kɩ.DYϐu1kh=iX<!҈xMq8moQv[PUxSg?i13h5Dp$ZH\i딚5 T(ܧqV~PX4峊BC~E}SV,Z:uD]9).϶Hu6|ʧ9mOӷu1c3[w[X"#KEKCu.V4Rj?#xs*%5x%7[`@gYJxzC5YC}8~DW9!/K:ĉ1dby=:)8 E0kWSubM= TL Z[C)Mf*Vf޲?dzF\ꕷm-Bi0:B]6(ELݰ˼uwBx'"{T}³К<SKTy $?=s^!4KNڐYBcgwz@G4 d7%S]jNm3_u_pDke_ujU ׎A1zUUk;agvMopN9u+ YKI˴g^+ʠjD4VxQYg4Pӹ 2⃰D=c7ggd:ŘbiӦ6u ZlAP^$CkG؟ULNt eȎdKf}UALtϘWvs3ۯ55G/hE$-Γ+OBRahɟݛ=˂jbz2 4;͊N3A{VH5\$}0\)'WC ږ㬟 BidX(gPn_<-]"QJR7~xe6(I81G?;|t6ARダaI8e&^g'V)͍|x\L9TmJ?:i2q(I {S ۲kUtZHK\7JKaz ѱkj}vFVd #Bheb}tLh4 iN'1{Rf"5)17lگ Eh[i: oƣg:9 gkKph/TgQ nRScU{b|؄"/o=hlRQ0zIVGi$JA齲„hIW#y*(*襂aJ5^NwVgLbtG f\ o/bk֠OkO[\Ҕṕ2.”^P71+8!g@nrx*hb;Kۿx:*Z"ĀKCog{-!('nt-&nı>z/ h|948IkNIb9DY­ɭ86M=>e.T105