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 ?5<\ '% Collections_Examples:threads=2elapsed=103.522cpu=188.040gc=6.772factor=1.827zXZִF! ]]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMjyI `ы`/˝͞0nuxz(wbUJ@C@p2)*ݒC)M3Sw3 ?Gهj5 \sGuh`c+?"9 L~mms3k16g[Pۜ}2t35w"{:MPbE;wHfoYwa .g9LsM9/J%uPƇ_ =P3,gIZKxFmpQnNN[ۣ⡆{;Ŧ?^Gצqb~vcp7vo<;f )z6|0wQ v=^`]»fnq82oLw>:tY`|6к ~l ΂٠:vŚ 潸EEsXC8bD~vҔj(Z|rҿ ]0.g2Pj"!l9U;8q]~a{5b͝5"dYuúy1^9. ]ޞI^[oÓ6jkZD(y51ZtI+P&Mn c N7B1S='_#.Mf [P1G)Eh/9"PK? Oʠ#aQff, \r[ E NJnuX-K."&p)Q76:Kd՚J̗mS{y3LՆ2-P6k3s0DPfPkd5EQOW58SNKʾ! 4c|{ 2q$ZWG^ޓUy-ҷsDC%O%T-} Tr}҆?otU-s{to[>Xe c*Z7#Vq)c><7ΘubJ\LqϰEfI|tCBӜM70{SL>g6rA\TA}eTve`ZUlyB5;ksU2 UbN4luh8$9\n(@RoomlEi9.bHwH]Vlv( Zy?E8f47 MIn?#-()Y$QIv qc|hP8&e<tv_%l%&+?hW; O ͱ`]ʃ. ط4U| 3DRWpyօUuF61%Mpc@P3 [@(]JtA{7UqAgYZ7zXZִF! X]ŗXi%6{T )NݡO ݝBR0x@UtNR͐ <f> ܼ"b@`N2q찷Pv;|k{[ldN^2)I3@&K ghX[9}(?,A+rM8]俏-7# Tv3!M2)1HIn7Ls3s eu넽$$R/NhFf6K:peAQXik>)Ef;dFdO)jJIGyN  GŐl@JQTMċeK`dP_o$:b 15QܴJ\rnW!U4E%~҆岣F} Rޭꍩkh"5brrMz,mM 2qnOnAiiX&5A^Z; ^Db[HV6ѫjQڱgS{ @& %R&%DM+ٸE/;A6t[jG8f㐀m5kZn8u˖[&dLsV*=G 0k@V3eF1d3cOߎY$l!>ڌ>7ajnJUc#Bx-ΊL^Ҍ6cP='+ZI:Oi" rȣ w^G1rf 3BӸ ̬Ls1&eťJyf{ϓ|νM׆+\fq Қ=D$3[$۹5OQ3PQ#UFYY.5}Z E7 B9repǑq6Ҹ^E a e dWJKàkyǦǬ2\?D{E]-dzbt1ĺWf:6űΟ*vsg bSixTFH}̐ z( F b)9m3&3'p|UӔmi=ҕnaf%kr[jlD/Z?Ѐ_5ɠ =ASQաzG5iX_R&ލZBMkN)MK6[#[C"fa/p(puKkzcz,+P~J$W˾#Gw2?*Ud^!5B@|R$>V#tf&+)*eI5;꟮n2 RhxxmxTa? _u+;;A>,r= w>20μ`,]ZdUqXE%<7A#~"߉\Ȕ2Hf:Q=)ؤ^S68_"Hp5ֆ\ >+8x''qTDXtsz5dT LZO TkS_njB_+̕R;ub-f=2~2AMο8lFCwV`E={ye@K?V5:Hf\!Xl@C'EL؂oUk⒋: <'azNjhjĉ>XrD4rLʯOeZ lAQfi䨌K+u dIIkY&a~i9GAb_=iaـOj&ѧv4R,.sM7G WF@v-cs #zlfa OX+0nхvh((n#妜K rtj˪41϶k곌x%]Y*]MK[=Up\HޕCP+qZ]Fj#_mȖX5j}ز0J8 1X}tzm4lqE.B=6de mU繯3g$+LWn\6Ý]^; 2ʇc?8QBZ̐8QKQz%ɓaG=/*I@&a@<xA~lSYNP kK}cL5ȷh&/6ON:oY76R~eq@A^gƣ/-k)HoVjK"PKgmL:Xr$-A~BvWXV/ `"[uXI&c/)OW#n޵ȸi]O=_%..l؋,긠"n:7BVqm򴊾,uooվ/:2^\:ЌF]&ҿWVbkKʠcR7rQf9 oُ;:z#~EdT 9nC1փXlB4 R1fi1XRN3\LbWZ/bK9OAr suL8eb%1H q 鷐l#$_?