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 ::;) \ !S Sort_Encodings:threads=2elapsed=46.387cpu=91.168gc=8.316factor=1.977zXZִF! K(]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 W_GqTv;!CVphL@$Ge9d2@H#BҶ-v @D(fZѷ. {4V- N+$?2B+&ɮ ]mA<8)h{/7'Ǹc֝Psj)K z5x?ג%)=[iYʌIޡLi5Pb9Ag/]B`q>|^9 N_e'K*ufDUyT3a-C鵒~s/:7,^R8(iv}0@mhkA@jX3:*~ɮ2^Z @aFT )@1 xφ7Xn2JMBnLu,?]}a1dF%YG$"TE D0yk yqV8v AAFz7I>U˛Cˬ L}hI7ʓxz=\iF 2L3}&b:hK2`K~t+8DX%̓]>RgePO1ǃs9G?tݕ \tG< a6lbZyاM` , &}+z4#yK.|fס#%_r~$&c ).w1&5ueEӦّvQW$/]*m ۥKڷ|XvԭZ5qgRfpP^MO~ pdv+!+o:aL;|xdh䴹G_ūKPV$n,[oT hh{ |$`jӁd/f4B~m..iޛ߄c ]%{Whk+1>H~7}Ts{%G :inkPGyZ8+> 6 ;PYS>a@_: " ׳a 4]=k-U)r6.h 9;4x ~zڹAϷu޻ej 4շdqRRlqh:el p=d%0ZhrfW1[mKG_ҟ"G3v;^FH~̾[ڮԹ+Ƌvh#pSAFmZ{-Pslã./k z`XP!R_U뭯vڍkf<0J ٯVZ.M]j0@",~ӿ[ ִ0:a,<ޚGz=9Dh,Qԍ9B.J|-ޞlΐ$AYLsQ-,|n–T Nt|y ^F'a՚g<EIC.JA<6L`lbK1p u|xоJ }U]Д TAk+t^t{߭<dY瀖6aΗhFUfA²}BX1#€k7@4,=54?=@Hx2^sD1lϾ V߷rzS֓ 1cE7~V=upހ%].q GGbz̓ў $o{o< ) Sort_Encodings3bdbC8VZ-v'p%;.t2D~̙fnWSxGfy"A΅ BBW_7{kp =B 3}]Ahk (Q~Ng,i. b4гѱ|cV/ ILSt*w3p|gE/>$z =*KNIJQ[=夈W1u<AmOgYZ7zXZִF! ֥ ]ŗXi%!U_Uם$_=Azq~|z/#7"wEt9`A#CNyn-13qDBK`ːE j!fM iVIΞTiQu(2ae0A~o$ȱHJש2^QeT9sm9:-Q/6W>sۃ\& pΨρ_d3µ4EUQd)b-S єg#H:;R\gP}fg`q5`Cps*;`;Np[%>ɴN[sۼ>F9BX򌶬Oy U`5Ӳ^ɥf#T/V" I{jTu'Va+WSя"(O,z{eNMYM"VM|QnE|=ǵe &ߣ*[*KQ-;?K> aO%" !/nG`Oltds@ڿ0m~FʙHzGkRr#`O/cb$^zsidW[;5BW~N&ƥn>+`w0ͤc[ TQŸE8Wi]1ZNkb8aĠ*/{EfݎК$}`!V/L09C|GwH8FE侣Zs{G:+Oh2n(ZT4+L#nדBll%h59r sy#|/~0jLnތ̟^&q|Uv'4)3-1|__;. A@bG9'"nwk+rȾ?ՀȠd9#}?q)W}0/vuT4m'%PZ)16.ni3}I_>=I)Cē3Ч7x6m+d;z.g+Z6AI 4(> w^"ٌOIt(ri?Wf;7koڔ#MI[~߀ O<>mU/"S&I. t(rx`_2b,ߎ  4LyS>E.rj* (]]үfܝgVK~ņg=*5W@,Fv)?kJZ0D9 ǿ{*S(-%yZřz^<5l-y TqAx,E2:Ÿ7" cÖj_")j~&DAYbqUK  ofxq!y0 (WCZ7}Wz;ClUb"䞾+g(,w 8)&oB,# IV6anCK;G9#@(NIEf#*lPa N(zfkvqB+7A]z&nfA[=Y;јXL}TC^/ȧ2m脖_GM8hBVQUZ3-gS r=ƻ\B z)?yYje f>~ݏ2XgztBkSGN.d!4,=Q?qLr~*YPmюGR|RxػL}{^Wbs\JuS/DmH[N/nTkseژAC.:D]ۍ%;a8h (U}f8y,M[اDmS.-!9qR<%0ՊΜCѵ9 Q<`If+׋hIڊvŃl\퐶-t!b" qEg{oGEivsZssj-H![g/&bf /:EwtfchY"u?%]s垰x$S%P_zw?TGtN(Vxh,dU鉤A@P'Rt/y6OX)PVfdHBϯkoNvߣ=}26jd.>