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   [-t ?]CAVA_buildchain1:threads=2elapsed=147.552cpu=277.888gc=10.516factor=1.887zXZִF! U]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ $Ed<@v>tVʯ4@oe)vE\sKGOw'9e"S*auZ7 >U9 |Hg N,=K[C;.!]mmPVsw,e*[e)fU>}٤7ɂӸ0HT] JSg7bQ(ۿJ=Mp5x21ߝg:ƻE;2L62maCaZ|SSٮ5eUwyJc=$+4cu+Y紆I ٸ[gm[K5]VsT}:\ߍTFTI67Xe$>u% '4jyh%}Sn~ Mj>zAxh[@ tZ 9ZAP ̏,ݻi(p0u$Wbݦ) z<>i;ReCO$i`Oz 6p0{!J[F˦fh)%_C5s€diha`q<.' IGM[fojlqX2.z;MaUPEtڥ֯O !a%Qp5\v{AxJR]DxI?ѯР"S>Qo,3َ&)OR{$ _VzOۈ?sz$l*e;7}TױfM{ DU._0T޵URPs,LOXމQQ_G4l46!c="Joz[$ťjb}w',qzP.nkY;u3Nd߬+gs6زw/[<|:jԄhK;Ev^nk k8@/F묡exgOsBă۴mQMشQ]Ț"Ym;K'/XVQ+4Xtot\KtaJj=iA3ZqY LoFQ}X׬fFɰ|axi!@;C?mƚ?7Y% {)vA 7f'īo-#N5EZΈCc - CAVA_buildchain1m~;%Ui;G BbK? DGT`x0}a[ G)c PD@](Q5k@ȡ\/#3| ƍ+٫y¡[g Z5z=i cur&^ 4TUrhvDz "~g#zKz}Dqr2%b'Q!QDu\qkǖB wߗƓO"@Z~~tI?(c\mS )q5ujC xɮ`Uԫk gV0d(\m'ŕO5& ^UqeKbZkYDэn/B%rU 6I.zة7F]M8>y!@y/Ïwv)}m xE`.I 4oeL4 hsB_q . C,vJ:yeѦEGI!~"Q(ׅڐP< U/9kV g_D4FѵK[R1ikӤgjhS1"oMy?IN$qDCrֺH?3*!:i;}T!ҎCT+3oI9]$6QZ5D{F&E>eoNªNPs\0=̾U2}ys<jDoCB2ұE04>/G7*7 w85TS-*˶_ϓ.@3pT36Y1>]hray3#Zܠ-pӥB伢4auA@hy>m;OӦK0>cؾA>tAhA30F'@>۷٦ *Mu񻣚p![ ;s44QTkᣙȄ? ]iFXOA4dF \4Wh_?_s6en@F wOh?fKnؙYOpik'Ej~Q3+[\7O ׽~'\a.ã0˽Umf74kv9ĒoFcO(F蓱eP:{ UphB:D뮊ԧ\'mD#(mہ3;H ӂ84*3vحtt0~Bc^4xQb7`ř5Ȫ{8l̵EY9QqIS6)/k&:@^Bzg{L"fa r[tj~,DٷEV3)~ХpME!: < tSz̴Pɹ*x"F}oQiEVTĘ yO5;.֢ Aq<b ŖZL]P=~63ZN9 88 `dHƟ %=hp=ƭe+46PKrlO!E܌.w읬x\{&Nݿ}a7΃ةw6vP n~XwpR=7 D[WQ*,q+H#m(ד60o]^Ƽ$fzqvu#v@]xI)7ޗ9rOMGA(#YwOk\4Zsobr'(u:=o2:Ճ⒭o1b93s03dB(\H] )8%.-T dŽney,cYUbrVZZj NE6 ,Ok I&GqEK$B:u!N|%bWLVlc:O>F@7wnX t$'Z2}y$%99bl Hz&m1a~y˃_qѡѳfn~8b~~=\nrNSWQ9Oj*m=iEnA=$H/7(,.#fC wk AQ?n׺'s@;\#[QGϕ;+$JM^WH0g0@Z!*m^gXLxWU>W 63uFMҶ%b+;GLi)'a#﬍y#WrMǢ@U/6ZRp?M .?RJơhd&]qwئ9tTRsؽ*:AW).|Ŷ(X|B(p 4|LR.%N; 8? YDrhHJSV41 kþI7}~H,,ƮBe `택/;96f/= @ȑ;mn <ί)OYuU![]4f=ZauV&[`V&7Jك_wX[w8 KWD90ť,~5/EOe'νVhsspgY:](1E#Y|<HFOso4| 2Dz fףgRtoഝSiv#S%R }u&zRH|+_Hxgv`9>C/i޹:NN▂p!ԃ;W 3mQU ,`b%- " iIkI7i8|4jA<~L'Rn6 TK0{~ 8: t$މ-[m ލjCZLoq-:n>/jlWG9qmïW$tZ * )KIX\ʇyE{r sg # 0[c8g( 4,Fg'I5Nny?h"T&% MWO%An'k4? &{V[F~H]ɽ  A!QH`3_U;A4տ΃oJ5 ؠU*{W%Ufg,T ϾyXr d€z&( ߼N3n-A04t7],-6Eevs]L-V.nX}PvU&Jʰ^SYN9Tnaj 9$1mV.lAu>ѳa&uZMX"= M;xU=HdD4֞O!g9X< dԐFWx,m}x'ŮZDFa£wIaŀn rm^փ>.o t֍̅NuM"sO!gN,{*%Bcw#)R;.DJlu>;[Y(nC !5q_"VZ[zf+MQ$Sa'ܶwjbfDi; :!eѸع` ό'/Y !P/,#}3V<l# )"{K "aqp=M3%k/d.3V%FG^EB(;Ң:qh@gYhxEJrsjmg48|# V m*h}d#TCw•P3򺞥JKXS!t;:GzeLȆ.YP[į!X2Л0\![q[c9j{,]t 0Lыj{ڪ8{Vx!Y>TexoQ]X6HitVыѹ͙ER({7k>#`YԞ4 -ER0Gr)[>aygp!"nuڑrϐ1=Itح6k* OFQ"psw};:zb!Q04PYXA\ͱs΄v%5j$5I.U FjN*>"`MLs6< j@0 9#oj B13`K=P>d[̵-Q28)͑ Azgh}Ͼ@ N-slޙ*_G H-2O:Ij Ach)Kc MXKŻ׌i{@  sp%{a̰{s6Sh-1Yr {cJ p О{`sjd*2HрizNO6 eMJ:3oA\=(.txR|CގmXek01cuM1&̭_ݾug(aT:xԻ5Rpvv<ʉ\rvrmSnnQՒ?HȘ2p#J71-0U t2!~]! Zy+ pu?McI{Ϩ1.Ho͆|͐ݖg"Gs-_ rs*sv86Mstjwyl ԂQ 3G- HOv8-mo΋bcGoJ/(3Ӯ@ ^*=,N f] =ZM+N%J/Û% K>hy3MDiT؆TCLw)nc -xWw'膱tZI8koT%Ba8AӝJ>Ew0oW)OBMx7ٹ:xC/j|C @xA(m=^)6[