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 ||I-t< m]CAVA_buildchain3:threads=2elapsed=181.485cpu=285.208gc=13.648factor=1.577zXZִF! Լ]ŗXf1-q恈͐7ӺV 1VbkEڄvJjb:SiN35wvZs7ZQ:voeoV {z}BG>Z=oe%& n1Hf6~{`?4 o/@ޤJkNUg9~dtVV'K$G՞099т4a\`f=pfPkSLoL`v=MN8j蠵SѴc!`׬|{gf#D}70C,5B¥۫6^("?4SM=Ib7"-hs0Rxz=X4Ҏ2)t]L-ec?q P ժ Dfo{)5MZ;k1oo7׷ _4"%zANXdƽtcYAhvLk t봮X!Ȁl#8=Ɖm:LbjYF!)Hq-_ &֯4>bE=s;$ l1&p\*& qa"%<1vF*OQC!ENz" I$#{Cq3y}%uCipHkhN1 ?5\1zҹԇ` HmDܽⷤ - CAVA_buildchain34vҜۮ/2,T\DŽh0A͎iRj[#:l<\ݡ%ᣘ{:U@Coy()Btb*"תHp\ W3J4#\[HPY] Ԉ=+\ <ﭮ1$&dݹuD m,"%# JޥPg^b!  M w f r?jq2 "Ť W]D'NjXg]C>Ϊ3Pğ~`&M1AZN;p)a~wN[o",n,{7ef}_V[ 9뮷\d|̹&Lkj$pɢHK UbEn^O[ XuX}cIƥ05p&4]#\ ^ZتҭMo>3wj9tu8Z<ҦZ5S]x痢,~@>(b$[9A0#Ν|_>R&2Q)YCF%md~*ɀs >K&ANZyMn1\, BvmZ.o"9")Vl$O#6C<[-ˤ4 AE2@hkЯ+7*ZrsoVLOGL脩Hfi7rް*ke% 2'2!oyᄉT Q:IJ7~"{z?}~l= “gN&dh9{b<伜^*>1m{`~{eZіWzJ󡏚JLkO8?a<7_.r0qUi?xdfz 3%szT}V驧q^gtP6VBDp$c̬9N(A.86T}`jMcD,ס89#Bh yĺ7J,揄`qiO|\]_Ͽ*̿ީܿR/\C%1փVfN\~GZCoxs 8U#3\s.)r oxݵYXTj:u0$Oi<ܟdQ[O|,tkKnG_r(-jk2֨3=}JϙmPck P:\{ AY!ǴLd lV->20QU7}XJ˨ڰb߹@\%9wZ8?oeFhOM;'::H *fN>Oλʑ VY4EYKʂ\]0tbseCx^-4g?!YVanKe/7n7K rwJ!;˜R yx .z1yV\f 9,>b 2[6:Jυ =aX(Hb5mEpѠ uO ^S3r\F5йx9l{9F d3G+sֈ8-a2K9"orP-Iy@Yv Q*3ۈLӤ 5Mbd[taHܼ`}C祐IMAH$w/oY66\\>chgM_`! YU@|Jjw E>AcUvWCYa*Ya;;3 S> sv8޹FY٠lspR~AVRl?)4BM 龧Wj#S_3wC4ok6XiiwkiC2.9T[KXXLpʘO 5Y`6v X)z30 sf<#hrjg L-t8? JfGX]-CIVtR_n vl. uvbQ>ѷkͥwo=IRRX~Z<,ō2{Żԅ=>enFK :g {yL.oiJo{;/d饡E. ʡ4G8uτk1ɟ<#{w2~|]֡e4! +Gzyw6fRD:0P@+dYA+B2/ `.6׬RZY8 ~礤묤6k/X5*KN}8WwlrM.dzeYkM׎ muop=PV#O+U&둾Xw47.vmg,bk +1<>P[!ndϘQOحȎ)QvH gӉ&PR@k5OBY;^)OUb!f?#:Úz>X,ȼ0‚>}GS:_XoNJ(#Wlk c̊{xw|W" Nyj R[~"W!cͱgYZ7zXZִF! 6>"W]ŗXi%Bׂ޹Jgh#(j\(8yxފoL,@`9W锫5'Bs$:m@8k, %dt_QVz}:*,,hF:8}C HnRB7X,rMm&Bq_1h 14JYKu[AXeM!jEi &3,Պi0_f cYZ#fO J3Fv9o>CWoաW tl ऽ>B4\/wđ`4ykC,@VpAh;^n1cjr*+؍|"ftk@s7_Ҥ +N)Z`o(:u4Qc9A5F"C#7xE㎹!o 0W:>Vu06trԷP)–JQt&~{’x+rL"SCl}MbƂ7gF<5fq_!> 4gգW'_ݲ0Zchw',(4cy)$opyeT 쨣̫vGH"Yä?D^H pz˼FћBIl^v$ſ Rhy&{VhfO䇥q,n9gf(0t\y`K@niVq~Kq'XWbf55B{£UʢZQ WWV\y)^Iׅ$QՍAzc}z֞éE)ya撕iQ%C w8jy.S= XGih [.xO_۠|@ųS\UK/ lQ8OdHE+NȬ|ĸDA|c,F.>/^vgO͛FN^5&Љ{~GtџRrXq|sᣍsXt2ڧlS6ĈD Mf;HZ(Mfeύyj_|uz?V)%frE: {!v3PcL:7mŪ&{Ǧ2cee&t%eH!5ҜsԾX\eR e%Ǽ}_G(]D5`{OXhUzjRUC=°R"a咱X0LDa~d@Y-Rgz) :mR8$}:'&z]Ͼ8E_lnΗzo ,-g- M<"TyGbKRXٿ琔Fi~r?#kT |y j+K;vGNSGm&5cl5obTJdt`\`Rru'8L _;GT|. ᓴWGIu'a OT̏@limheQ /B'T(@7aPWB߮A߹c[y.,w6 Â7CD>7KT症loHO h0~]"kV2? MΛS~Vm[=g6RTҹŠ:Eײ^d.?GU0o1YSpM Y6yax{U4߃i~i&*CW #0e拮X 8'b tĩ?ёFqʶ#@H v k9$kO&}dpü12T:((rpnjW?Q1 $iM#ZL5>s.眒uBdܑy ,?݌`jV! w,ƴ_C9q?/ifN˷[W@(``@d^ + /CNLiINy.Ð"DP?~M'eh1~q|eZҼSGl:׿[DcٗNihFl(>EUo&oR= Rϲn,vف|pC%G[WטGPq*-o7B!%EWOzYAdYꑺuBPq-@+R,x-Ϫr$x(W tNK0-F΋0@Co 0H#ho(q\ôxkvLiZ9ZV~ʝJ^J j}X_HN Fi(&ߧA6C} F++­a3TWƧ \neC`*ƝAҦlt"T-)*AS/)XIhZpؼX~v$پV>ԍ꽯iC>q̹5ʔl^zT)D6 )jE%9_׻ձ}۾9Ԣ>#\Tp/U=eŦx%HJN=GlؑvDAJXWN `yp Qb:$Hi`kS+:شsE3x- UǷ҉l+w|uq91GfD^N~K%Rn롥U49?/79q6$L8rLQjOS;Iw,GmĪ_.*M+,P x jsI_쳿~4&]gcV.ܧdfz0-u{qp3)_}ż,0˦חm4i6QIl*С^iC UwRwZh%hg[Y[V!o3UIf&QȺ ?r4nOºMӈ(żMYdJ[O#./,cPst!gv eҤ"Qܻ+H3(fDf\}J89G{MlF+9Z1\*+_o݋lx AhH9/MdCXrBE!&&>Ģ/y҆ 35!yW#:u,5کOą ߣxf;q̀S^zd4yk!**JdBuZMe++A\Y[>5YɴƉ߿++F'# K."3,?\6/o &hK X SUʎGVD2ETUԟ#kk%j1e^>=:ӭQ=z6cL Hr@іϗPp(n)6tgB03`"͋WDutjᖘZkh\S<]%D/IּZѬdϿ TR i@4KCH]Y bb@oy>#7`7RqEn/9<]eY~ } ԩ~ i|(ٷbJj/_`=Yv=ҩ 3;bq R/*C6UT]bduODBgxkiOϕe;oHthzNf] Gki⥥f+ L.dUZ$3I}7/9K@XݜN6갾 B?e n P-ҵ idFmXlta. 렔g ͮp8Ҿb`ļTH.&֧[1 >\4 ή5F_ (CծBLԕWC"" >a<(.7mZ#-Pu$s||3#PG&X't`uG\&>'p]OO{T^^\[W7.6~Z[vOG1Qߞj'Coː $Rj#Mw̦UǶlyL>, .%Ç~CmპW((!I/SOvFԜεlE4$҅30$FCF2rL^k@$laKgZiU0­Jx {`oIh2f[%^FshG+/ -0M6XGP|B<8Ϙ5ćB~K"D.T:z{}./Q-«> 3@j'"<ؚ[*CC&uȤs ORPMy O5ӟDqNxEJBd(rW5il$@ݓ"CK܏Zs~z4'f%~S~G%U-6UF8QwG|Yws恘$ض}ݭkLqqtňxo&"̌0Jh"60akGӔ|9uMhG@kZvoD<5KOF_(HxQ׈`Z9r,]J@#} d[A:(<1F)ԞMf[VEUs\4< Z+s᭒vyaku Gd鋦EŨi2|lX}C<"f-(r+}*GF=x3B>Yv^ɟ!+cdU $rȝaVũwhҎ} X 4al̩U=(v| x\d CiUaTCSU VչU̸vTk՚Pȩ-Kp.Ո2m?}:91^"onfs(Y6댆9|^S+>U]dt-4ElWev] Ũ6>?l T4|4JGT@D<•xgYeTFh!q_Z8I1bn2iI"IL@H%̀˒sVV![]N ]&M_)Ll@Չedr<ԖS;shA앩*;}xFdsW|w| 9̂dQ '*h<]"bsD[Te/u`,%ZT:fFHD y|gYZ163c6da12913489b3caeffbe6bb659044e356dd1 228982854bd09540ca4a6f5e5728f1137b79ca49 49b728d38c4ecd3133bc13673fafdacac9f29da1 6c9d83a30a2851cdba487627c979ed298f8af9fa 7d4a41f1cd2e970f2cda2436b78fa674e9c6fb04 8d85d878ee401f853419f90e1f90199c09662c4d ae6d0d988f6c16617738bb78a7387741d64fd6c3 b3cc73caf5d3b2324f2299c623e2e9dcd92a2bd2 ddd16435c8cad23f160abe2eab820af9ad38cfe6 df997d248e948ecc84d840f4cda1fc1758bf9f98 f7294678131061d884a4f2b47706618108410860d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c14428239 3b834a811160f26c9950bbdf5d1edd0a5921b522 bb70bdf889e95ae17209b6ed2bf09b39fd189ef9 677d5c3f59edfcd45bf3285b85d0a50997dccb50 43c7f4d74ebd44357b6f18553df8b48c674ae828 d02e50f3e9861a101be5aea55f85bf1c87c6ce421f56a63948a8d4bac74c9482dd9856f21cd15f25