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 -$\ ?]CAVA_buildchain1:threads=2elapsed=150.757cpu=290.632gc=10.688factor=1.937zXZִF! vL]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ u%OSs{sZF Xߦӂ~U5 Kj?Qi 6YZg',(|WT30DNw|džk _4V$#qDgt$5{S4o~S=;<vNM hr' r;C{r8-bBTAɇK>4Eﮔ7wdy c*ejՇYJ .hd*5ee#Qq:Mhlw\޵kgnE0fh 鰜=\`csT#UvmnQ$څ٘e Pzصy+xu"&ϝ - CAVA_buildchain1iו,qj=?(0+jd̩_K_8{e r@5/w;bz"jLA"w ,Tu 8m1(*7l#qc9l rvW(Wn([9BTn؛N甘HT@~{NjĀBi]bKWc>lu Foc ("TݦoVhS]xѩ5]Cހ u&z#'nh烕Ѯ|BGd'Ub=. Bm~$yx'`[R' g9sB/F]B*k0)G=~dL&&W[Ũ{e@ J76=tW y?_%pt|Pkԇ|TP!`ƀ9bpixB膬3kGQBI/|n틡pNJ{+hW,[gq8=&[F(Q&&_XO")f2D zu\aJh} WEX5SQй&aoE"M "9y$E@5#`@eD^ɛW-"4U"+A˷{`Y|Hp9{kz/27j~mHqz?=](lot8@DzuT1{ueQ+}p `l3Pd "fL$*Ў7NG4 6ߎpqWN]+XFZ5᤽*hgL6aLxgAn Ӈ(VnTssx1:+o"Q -ك 8Gg@vGM3UPCbY h5c` RW4/4*t.ep|(0ASJ@Sh;p n@s6Պ18c"[.8I4܉ -UNn=R7·WQ,a()i^ *һ<{#ɻN9P Xh}n+*\D @KߋzHTHstM<x~k.Gyrzbɑ+b21yC~tRV$; J j{jcD.Qw{;C%~PVoPuZf,#V:w\w"K y tAэ1Vxkiwx2Dsֲ#HW`Ū"ͼ߾ABR;q\ (>͊2+Ɵ`rU=pQU/.\ K鐡/kWh֗?Ŏ_PFLє2#Z0ia`\^'}]C("|.;6f/'BUPi`ћ7QAf*dnבmWKNiCY#mHS%"^nT̻ yHb"勉'WQ#u_5:Hpir4UjOWzC=r[؝>"WakiDRONK_Ր%QwPB =caa 3 OX}ڕKR,}XcBݸ"Sn`ӧ+rz4(462f_=罹T 6%NYU=س.ǮXGfBG})Dqöͥ2=8ˌsRr#IGj&ZȕTBWq*H93*1^ЃE3h޳hŜgFi':6Y4^{ W$Jo`ج/,{|$|f}Pl6fv2+3sY ݴ[gO3E-AsdR ľEP7cdiE |B&Gg<:$Xi5:]\Yvd \Nh._B(H"/\;e׍J'6uk 3iYԻtҨUmՠcl ]@2G( X ?u,"4;e5Yx2 NnBd{OXd4sAۯ~ i[cyodR&j<.q:Vndg>PWp="A@efԮN]\);*Qz4K) >mɌzWGY;iRr3/ɇi$#mLFh~TXz.N: %+׶5 []W" -ۯ)SqsAz/.ViqʵvjCjh*b%n67- *`.ch0ATd1l5kɘT1+t6qδWT~Z{-&} .2T=Tfz#dFD%!5S|00יԼæ᛻i9A@+: ɠҡrRЁRPNWCKĮ'8p& ,hQuy#VՐmb3{FCNyK>ϯd{Ӗ"񹞸dK-/%YZ$dz)YO^;](ϧ^on(+v+d*Jh+yDlJ!OQH?^vo u&DW\3响 u+&d?PvEɿ3?t K2or7dw'SM lU)\94Ɂ660**frQʛSnL]\M߈> GRϗ-' 5.^,e?2@z>3}0^zNךC @MŹV]jY2 †zel` `(|-i@t\V(5Uչ}iZzx)}|7 [@v_<1Jwi(kcp7P 4ZUORn8ۿ ̷="ebdx+ǶHӌcqEZ/rWzDe?2U[0t&%oL(;=H<<~([gk2\U |3("H Zn%?o[{h:I'qוTtlޙI͡)q`ʖ>r\H.Սfqs|Q6g?~qrYh{ra_ԶݧLt3eN<Af.کS*aK?I]!cI MAz[ 81 0H1J.pJDH X_L*l?3^ʅŅ\!iYT]oV̗iRދ 6Wam袘ǯm ﳥ18,C- O {:~2r9nS0,5v%di'b0Y,@K]HWJxZ;ϼ8o%W-Un"X}M@B9؏O RT1Vi '!>+ybUWzRnuR^MPöo.@kba>u84^`R(ADv1FgɈƏa,Eڱw='pze_KEF]h8ˀ#P>D/ݡ,ι .WTu=v3G$1C U/#][8PnEΒ1r^e c2u2(tq$!c6?)^OXHӏX9rv ` _ȁNoކ=In3G.hYI"Bvٮ8;DQTk^Wԣ|:8HL&&27]U?Y&l]VzC6cӂX7(0?Iʼ30`|a@},))?Ź}^E5 f{Ob>DBr$vn;\64T|fA{ ܔ+WlW!p;Y6X@]d%Hm1kOd0m~;wN^r >xӼh;Gd4e- gYZ7zXZִF! y]ŗXi% -SP!zӈO=-~]M/l;$nv#x譺 k&-EUMu &uFBABNȳjW'; E5j6=S(ߝe {U?|,eR1R/k/3&()jϺ-3B衕ɸx5P']|73T 0Q&o}^}p-[qq(PbeӬ꾱qLvUo˯lyڲ>kG"b?"I;Amv";vKy3ВI II y7q|^<(>)vv%ξ 8 o5}?l ګ;j@f2א&6q^Uy//b(: :n/TJm! il06> e)K7 qUVUR :tE=*N [Rzܰ 16=_|@nZ:Dځs`)0uε5tz*d*!-;c !!\w\BÒ.߀=vGSDEyLdуtx, ,y}6y]<4B">c?M:6@ (1vi $T'G|+co:dK/7HJJ\a(*hH&Z^, ౘ̟"866x9R q{4L G4(,ɉ)ϒi.h;CcS⍘|؅ mT`7"U؀UֶMaP~g fF(gb Вj)vX;ZlB@%8OސZ BM l5(+sZݫ % NЮ fgBMyW $CkJ#wY)0ЊMgܙ_[XXm)qa dATaWQ5$gnn@}2zVYvrѠ[F,-\/.aԳ73㜰E :IzCq@vq@C,h'lCab4e]8U9L {8J1T$sl܈ \t$|@ Hc]G>#׊yېsk_va,i3f=F4[췘] ȩ#]QP|8 i6/ cS(i Q\mY#&ߣ@e NNS CcB nG~ WK Ղ X, ?%ٹW11 .8Ǽ0ܩ /p@t0 _uOpP-Ά'o_gP`SueH*1B(ggS]8=)Pdx\nFePsE_9~  p.K=`+%re;2PYDmCn@"OK 7.$GMgSvSBFG +áof bָ1Yy!L5x/D>o؟ovyTϻs#&4uG?blTIof ]h 1@}2v޳>suP4Kb%g0Z'@twUg^Dw0:qJM?Yh.%dq⡊afJEj#m)c qĩWG8䁉"J6B3 XP z)(5؃ Zφl#Ez;.+XNqAP#dznv})C!vpmly4#_! >]0U=m3Rqll5fB)jk%הּ CJ'D-|) 8*5GFoD<)AF2pE9&Tn vi,"S9*yUf᜞EwMu] OcpB:qs0gCmLlQ9'J&qOH'j&JCm#Eg2[~vʚ(G+oQ[KsxDJd|f[ E62a~?{M󚪍iא\u]S rJ#ʂn#]qo,4ðPA#1KI\xv! *yJuv"QHXVqldwA[U_oXl`qpxM2G:88g3\;?^/LQ|XN {`NW5N@Gm*yk[6W^e[>)f B<]>wݒݰTadtփ۷.XlO N )VեgԆ1jWgڳ tva%Z㣯/cJEs0du7Dvb3ZcAx3o}4 аC2fQ"D@ֶ*r6=TV'z)!)vqBS.S]w1Ec5Jp(l8a/<,E%o0"z,yԫAHsq21T9( vXcz )sF\v@&w|/4i)eSE6o3o.~la$ַ-1h$AGvd^h9K7)LGxWú `SZz Q|E*uAv)8G60u7;"pq76y>6J-:hl.F^x{IC7vXݰƐSiC[PQ%"sG f57XE=HR)#i+7NcEP1l`YBʥ1,s Ew[;`,_ v,΅#<aR[mM700f5qό08_nwf uQүLԉ5$~N/(]Cd,Ơ Ś7E #qx( - :B(.$ )?Bnbg8z. Kϴ\> sùM9'쑠`gi*T"In6 TwK([aDM) +f/Sp4l5zPhPr֜kUOqAjS@n5 VD짃V99΁Z뿃Qہ A'xxТjZG7´5%fGqU"6;.bf^DctaLЧLe*s0Xօn'KnኔKF4J820}. \" >^Il<&x2۞ynsC]%>-ip<{m Jfl[-vZwqY ~/SᵚUmiA {A3dYatF PLEB =}3C&s,hselzs3lُlB<9]!T W kd9XyoFW'QF1I čɢa0xY۽}@GEM9_Egs/zs/DEAȮp!fE؏9i>9y¥GTHy3MhkaPͬ<\K?g^f "Fy J콗G|C5ˡ&RoW%h#CL̾E)iӌ;׶m#e l7,XJhyGĎzFL_3w|4ȁoL[{B"%jGWUKӰ(ʅ9jk]ܨՍCkcz>}?͔Ώo ћ|1_ϳ/?ʱo@v7wNƐ~]8 :_gYZ19a82b57d359a0bacb9ea15464e3a60b846ba369 221f6a8e9ff8b24e8db8c4685d9e2ca833a99234 35bf6eb8bc79c64cd043b66dfc7a3cc9cda9f7db 3b8d398853c5a570f2110ee30cfc4b0a84024056 a5b19aa2b53be202c10fbf927b66f16128ba5911 acc6d707fafd13743db51d99282c525ae6f3972b c3ae848d6f5c3af17ff93e2a01c74c7d7c0eb99b e333a4f25819ff9949c81c089082541b636353c7 ee7e6af94dfdf31bc30896cacb48f1bd154dbb66 feec1a27cfb7cc3f9e82c52b47f0275b4566af7270d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 ff76e78d21318026fe52b731f11ec64b60ba11b6 bde9aa37a4bdca251aee48e134d2234252846491 b7b5e62ccb263cf294d568f013c066df6bcb009f 619ba73e0b91af11d412bc744437eafcdbe1e688 58d50a5ce1db79b507ebe84c7f8b1910dca98821 63d19e81a21d77f44e92c1590f3d4db4b66fa0471e51636ab1077c0b9c6f2ca9577d7f2f7fb2ddd5