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 l | 5]]ZF:threads=2elapsed=26.945cpu=49.072gc=7.388factor=1.827zXZִF!  ZF lQ ]ŗXf1-) enȈA XR„~RCTv%dzHES:㺀2|t0<,{:v8]*vb?wQّxJHbej,6, Cp]uf$\/6HW#fBdzR4(pA婌=Բ*]7:"Z6ai ah:Zz͜sYbWӶ/3E5% 2jFEzL @JܟKpDjuZGXpYd &M0?)P5|Fd>צ-f>ݙ$KAM7*3Y0@R0R8 "XIh{W8|Wk_]E#Aem% C;MKk8п'C4cK& h.$npC^ך`` M\?, cՒɒQLv4[D ?&}7 %ɪ|( RP`0c;*n8;MYLf|RZu8V!rM6}\so >{/=fi9G;@ɘUa{pjҧ^>_`-oXXhÊ4TRUϝ/ҿ s1fX/cVKb>_-;Ǻ@/+AuXb76HDm (T;qK#( {w^ȷҴ㪀/J['#bCRF#KӇe tJt79FlJ.iVfxQQ .[h8rةPqk9H~;"i1+M> VؖV uaUh@D3i{zB-ߌxFL 5ùO/.:1&"Jk]I仵 QK\&U/ +J*Ϟf:4+c=hMV$ċ@&0H5} 6g2lb3MQվm)n\U$I铳qI_EJFT/g/~_,t .>}=xI?|dyJpӂB%&4ygXs.d@.rKY|9 a  IX܆g!„G *$C / F01J}͑-mQPAuh7WQܧ (sq?hN]~ )[. >W^@Hʸ˔T0RpqcöeT$^Q݀;nO { \۲7Zpb"0۷jO#]ެb՚Jwy#("+&.C,qQ׊N̒<OfvƈK ZM5ѽ=._YsGq5ZH 9XpV}] ~\d#TQ}1T^j6 "DYlsquR鶴l+NMȃEˣ|jqa +( 0剻T՞]ֿ]%j^Qo1V 1 U@>LH/:Ta8;s堿(X.sŇ[ Ӳ)_>:(}=R9ъqz1IJ>b8^Dǯ:Uހ>x]^"@wq4Zrom%^Æ82sW&oŒ߃ό6 ]77m7{ٵZHPbYf:.T:tNx|`D?`cZFU(0I*sf'eI WqljUI2 W|'`g~m ¯Z[&\ 2#[+L1E3!}H5N1b;t sB2̈́a&=w*q|M;g'{abHڪcɔ b=<誘8{V7cwCaTHa h@O 3SK h˰Z /I<5)yhu#%g`K?l8Z~6 [^Q 4`Bb"x~y/~a6.a49fAzqj{q"3a &p`9?ه* q\Oc/zhEJ;=ZU\ JOUeOs&6{k[:k;)=Eu;^$Ǐ`0UTh'Swes޿%}ko_NK,(6CYB,4mt ډܟZg7m0M3k"1bd|Eʷ WNNj~w>)}^SU~N.rŋQ܆ ø|C4GtMKjP, jNZkK]"h{r2 Njŕ>撽>|/K&DWL`.cZNnA@%*Xɦ7J~/#!ո+Pt֥^yYǬDW`(>_Vϛe"Ou ē@TRS}AW3g:hc OaG *6'-%-7߆^_ZsB'8;5ròK7F?\yu2MkS{afsN^v'\Bzڇ" L}pYDcXюWƴ Fm)/H1MJ)A7MB^UםNb%$>+>6Jq޿(UnK M3Htt5UyY 9߬#qIU۞/f3sm>/og)Rj BzM4`T bmκ)n[L3)M8l!*%P^ ΞBQ^e.TjpJE+8)s7Gf$f]9${h%O{Z @T9GB˼>i <)Z,BŁA>jykԒLCQߵ-4Ve!L{i/дϨ^;mv Ø2R9iqJCԧJgA}V $.6H糌h&88P;L+(x֢KNeܾ٨ӹEԁJC%`r=Nedgs"شQWm:!%Y0Md#p_w,E`a:5pܠ]zNB%]f@9gN z<LW.K#03(CFfB?5~"$q [|# #AfY.#Xuh+w