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  -dT ]]CAVA_buildchain1:threads=2elapsed=130.772cpu=242.828gc=9.976factor=1.867zXZִF! J]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%uw~mN5y{o-s Zͧ񸅒Lx6Zr;OE*5󋟃 9g47nԒIPJ_hJf{{/0nW".dK, ߕ0M>YYUz.劉D`؏'tA?# 1&"nM+3Bgłt)DF-laGw6l'Up'z7ӑ?舚A$PzX ]yOD3w}(]j+uY} CPofd")]M=j AtHm0ӼSJV܌ -iAGKǒ"ȠN[77 a8Zp"k7#xkTۃt5jFHWhYgM e"ZVn|[n_Ր/F [CpLp~7mwJ-3ji6U㝾/熮rS5]fOgT͚̾^1#f6s^LL - CAVA_buildchain1?T1Hjcѩ:4۔d$9r+`Bij^=ni DQAѮBߺHdpR#`k¸٨ྼr|v:Aā"-[&t)+V >&ib>|P_ pI/wr Hܢ}(مO+)¿- 5N|n3H4ߊCuޚ֑7"\A3`3ouլCXF,E*yW(hd y{E:w| U7M%B>Qo2K`xߘ1EAePP䊘|; DI( ͬv78j!{IgMxO;gOj%Q(.G pV"ɥIoLWK)ܲ^V `fBDxN8@VZ:Fe2 ZTό_yCP$Ⱦ)yy~߯yJmo#P0_RϥsÍH6]L&]8Qi#GJd9bt  l.j_%Pz~[x-KT{݅CY <Jn s/o}P>>kYa4GW6c*@@9>!19wD3m[ѨޭS;&,IY7Mo )z@@4O"%F smM~}w$x;'Z~7{rhv'f'ѯH AbW7axԂ Ի̝ g~zx4W;*'fW3(?#U(?OO2y"kjP]G@MİcRpL]ϖ!_%i C" BC*(Y 7H(3нrTQǝq H#24C,?X#oJoph\)$edcA? 65 + DzuӮ9}X Ȧ u $܄@nlsv?߈/B S|Bi0gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_b2=bon?2恠|'fT(D/8^w,d#?7ڝ1kmUnz; Ԇ͸^mN.UW#}O(1ee܀G,N|T8]ąo!|{݂jĘ.<פS{L*=<wZTڏjkB1Z[޲X^~dMOb* gYZ7zXZִF! Qc]ŗXi%;42(@W1!i/޶OWy nۤ GTUAذfKrpv7JJE=0boO('m-lԎ)OGTtGqSL3AKi.R٢x< $)ed$b%q@n_*[N49m 3g427@.nnj6bN2t^Vs7{n"8u`=U!M"낄Z>=竗wP( 7&&ESnM^KQb~um5UO?Vp,2u;;~V.9lNϚ\cӿ 9Iŭh]sbKz֬;2b Y P}$ ,\NӤ:Gh9f&Dփ!QǓ$MҪM_oɑ x `$4fh:õ>GECqNR/֮ఋcӁJ$''Irп\Q˱E ZC"m<K03Y/XnktdU/;5ץ0"_)oKqnA+VVڝ.@fI߃F-Va &}4r+87Q˔&_z n^NU2# xs{gdL A\1LǞJO:E!ζI#s`+̄SZF qpO"~ BX{nI-cl3ȇ_'>b%-&žKe=W!?0e)۔.E%PbɗdJ"rϟ^t]B3ΕoԘͫTyҜ-_ݦo|ࡶZُObC A6; xx1<6rb@b^īg'VvӰ:d0ˣqVZ5ds1z8ST2|sDDN9^Ss-vR-L`#6mOA* >bT>&&_ zX?@wU8=!,;DBZ}x{I˒1o/+/>|p_g7'RamFF#!a>uȢQBV"j>Y8{mTo+. *B I]J% /])ۚM H,'>EcTKi>ci!-:yoȮ<|)Cϝ*.l{  j oiA}QӫHtLN3&8J0DLFp.8Hf65ic<&qM9Hy WW8onDü{V:&4FGNq8*<!UfqTY<^Fb0],+n=,G@4jER@GOKDYbDQˠ5fiOb4A 6fHp0 +Ɍ&0厩pH2 A1 l]ڪ]{"Jfzijt!&Wrl `C>~FY EX6Y&wc  zt(#֪ϯZm幩~gp^iO U4K\<倖D ]觜gKTJ4)gVP/%_ǿl^()`eg+j"X$1Nj ;WM[QjW5 ݰ,c!OX:s @KJcwXv.5²11#h%dtUkTr{O\tG n%<aϹ\ȨB#vuO1DZtޒ5?3 g Xܘ폳]kU"o"hoAOY{od~EÖ2r|7utp'd%v^i5=f~gFu'oap9q QP[at݄l>0]-&ݞ͎JBas32R<+! 0iS y?dl_B\,pKAcC&: j(|%ei>iUחj+i{NkMwFWLd-ª^D. za̹, 'd?6>5ZSնi Έ_kkkDUg-kꄵB#5dt&ԏP0Ur09 <㜲O.bwo.0If (cM0^ImyeG޳a8rgȕ#əZxs+?w8u ђyx!/Ĕ{夓+Z?8}YZ:0 <ͮEϙ 'YXz`"k0x;)K7{}gcȯ=RP?F6 {)v>m+ F躊#Ն6e|JrZ[ ):;%fOz4&J2V۔goc[U?ɭu7 m@50y(Ø$G(M󸳙ə܄|=W]F*bִ,s"TP}[ӴN_ó[Oe=*]' ]Za9D#2 ۂi{{ -ySaDQ*Tts_o0`iM2$vFI%3r?)z"Lw%/sy[2IٖQ4ot+CJy{iT^daA$Q%z pP Mg57٬pDQX硓 5DwH+Qk?DѸJ栖|oLo6R?^l7Ôսoy".|isfkIV!/(\?l7b+s Ty[ Ұ+g$}yL\%fzY#hJΗS?a3RcC=Sqa'w_7hꂏʤn+y$U~U3^!֐ @qu]g~U¹eR%i v:9yv6fWvmF /˖Gb˵9|5`aLWҲLe_DA%PRjuToچJXr!r`q2s%^ȋY$C>Y}niT(SE++J|m:h`w 2G5,)3lCB9phzs_WΘ3% Sh{ďr, Шdw" 볝6`QloT&&hMz9^G@1.j}˹cPYd渄j5m #A κI4zmH&rLuwA<͋.!__[ҁle&I SꣳѪޗ E\(eIyMHS N؏{́7nsA&ivwrђpHkHFZ80qe򟫛 l4q랻0?M?Rv~sמ^ 鯗7q$P65*찀ρ%wV6ZTfDgrE Ue2uu6xO9 9V;c1a^_T6$ڱgnZZEض|C'wL{`6po-(+uFNϥ==<̪TͫO=qvv$||@Iy4/P!URf5%+>+[,9_MiåG`!Ǎ` dhucIuWϯgnQݖ B :D:jc-&1)/x`NyAZN;p#qNg/FG*sduӪ OFGK09BpĄ8f. v?bȫSҺx4?X$Km5/Wl2\!E6K+\z=.ӽKB5 i7޻eЦUvJOqCY-iu,!/Bu-z[;wO".o.fPk@v؊ed