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 lT< +S]Matrix:threads=2elapsed=55.378cpu=101.680gc=3.624factor=1.847zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_(Rvtv {Bj3wbxpKx.).E![3q~^r6:Z&;M\vhm~+Zxyt V0 {y~ZWY+FM񶟕R@Έ!Z #^? B!\(Ey83V)\ >C\5l; (r9V]׎7F|88$Bn?Xrט %# ;;n=>~(9 ƚA= \4rC+tLW۶^mˍ_|Y7ڑ ?6L[AS( s9DxBh_LS|iqiAkSe~!Y.|waFD~C"yC3欇!о!6̲`ߒW=8CUY%@:YHa ,#pdkڠa191"Ҧ^,!pLTdIr}זUkI~2+r@X(LS}qY`PMH'+l=Xuv΢[Vu    Matrix\[AT^2u'eN{XZ t=ݽg/`\D@6Otm,*LVa{>t?Yhݛ^*!cilD,Ty'XBn@ē%aDlVe_c ڨٟ |/5瞻ӎXI/:gQD<PR(T=w(s;bw,-3DPMIGA] w|fm.m(bY'/u ) GjxӵKp3RLtfs3=k?S\}),kv 6_<^Y:[WF(4+Z_gWHAˡA@icR$؈rB G/&4''["'X]A -@+O SuH|<^Xdk&N~}*#?'Nl9RҨY9o5c4U_st-J> břϊD<)1=fSE%"Id* SV@IPċ7DWoxgٌkR~c /pEW5KeS*i* -H}SGa ϗ)^J_3+i)y91XwQgz;Od{gLja-)O")_-ʑ3"*fSpmE'Lgy<^)t.icR̰#BR#>z=fzGZ7K~F;#̓t?W$c/lC)&@|wG:˷ݽXfi`II0V{‘|| C'}=v6C/ )fCr "}] a],6/*+gH 0CP9U3巽XŠvT;JR4nHWZdOu}7 n=PM߫Mųr\:z2/0]?&]jcpI-lw*ad%K .k0,$OYRW#)MR>¨6{>_wlr3g~4At=qp{u?U%D?>l`?Nj{s)Oxʘy 6)N[_^$02G pY$H (p/Gj8߱aW9d2 +v%!-c%j~ЃKr_)۽ U=e#Xag! bi,aHX6yv؟DڔdX7ե%l86IQ!ŔO$RI}_xyYQ}w<;oxf2b8R:=l%T']848=_FfX  .%7PjGj֢G*Y TS'u1v@܇J~ 'kNl7{W;[^Ev}+,.q|Ma3XZLDGO; WW `/%@,u=Zۯ H֢,O8_-~ k;Rys"E~獝M`_aOw>I1O`ˤ@j0D4'؝[ :r<5[ypDF4I)뽾?yp87ADk02 1EMk vHjZ>?[\&\B,뜵5)R&̢v >fn<7nր@!1}!4̄$%4>6^;<ݟw&]]E^D4 >UA4i)'A`|ǽ\K.i1 *n|FhaqYQ#![L. !K-Y8%L1qA=tC5`@~ ī}0"G S< "pXmbd(y HJLF"Ao#W 7(R5rj׳dHQ"Q^~ %z>~kJ+LlB1UI)hP"WO.;'0Ny"]}?%tN7wh.ȁ"yYzm#bϾv!5ތB{ ~|ni,I_#R)씉umJB'ø\[|,J~\cp%@ tOSHCzuD,\}{zm{$8S~\n+NŴupO?:*a^Npgy1_^ֹs^d? *j.P:I%FeG]h3Br|$_FAlss1-^ts[mvFc~#rYg 03J8Āƃ8CnE!8J6H, l,exæbclTr6x @7hPV8`tHs[4L M`J!W+l[ubQv!l})ƀ^a3N\z)aN]ϻ `` ,mֿ8b1r3_d h+gYZ7zXZִF! ]ŗXi%ֳ뮄@.D$hMT\ft/ֵ1rBȉշhhafeV5%Fϗ{b #t2 C}Y-NZ#nȪm|4'{? (3Pv+c w^sWjWcQϐd9"s[1myu =xe{;֌-LpӒH~x!E5/#>+|6r0*s@yuv>+3S]ܕqP2׺ϛւvJx{pSmcY $iTDVDWt8PFh%)V1En)99bL7<]\Bb"厅*'êWkD ARkɕj|Ӑ">ZwPK+VdĬz 5t<:jkA Ph0 a6KQ$lO#s^) Ba6uMD5p8 5vR8sH!FjP =B6E-ar  dj=Fb"a5.ub ]|kHWߠ dNݍ,λY10z9ZBT'}y|[U5ԕ^txoGܞŚ>[ S}q;.;)MS8HOl=.?y OJMit`K䏞SM?V&Uux\Nn,G)1jh hx4AҀl٪GreZȩlQZ EbZN]1K{ HUQF4o;k_z5ܥ]<#K#P(54q5RJƊ₠; MtFN-$nqR$ӔcEAl+-5JߡbJ:U4ѱ'v>>ÚxtjzJHCqW <i8ܔB49kQSBF6!)ӑPY=%Lݩ<sU./`&LƂm2~\iYcyzX( K͋7[V_208&N^o@rFT(:L :+.k,z"Ԛ꺼.yؔWry\ B:s,TV.{&R nrfь7m`)|ߛ\0VX׶ӞwF-Č&?(Ӥ>@,U!TF򹅘{4v TskbH07߲SU]d@ٙp!/`~GGY%WŊwLK?/vPy({~ ?t/tճKW9 HvƾL?V㔅1+METľ/ec)/+A DGJ-N|S(Į >ppv:vh Sb;³v_'#%cZu ~ߚ&i>iun!uy/ѫE WgeP!ݯަFy(-.XtqX}-[9M=5(j7oSih&nvedµ5lfpBK͇{sҷ-x9(x@M`j7!Sq |a1P[@jzqrʎ/M0qT)E~bFrn{f1t$+ XҼ|ڒ0;Xc|_CoV=T!Jp[C/tmh8 5J1vg/fƁ Cu(1 +Lu4t5ߏRfÎ̥]&I3kd/7z-5fZi9r5=o`[$Ho[@~%4aV4Cҽt µY1gu{- =bw] d+jԭbp߯s|;k\X.6& eldQ4 0%H #k=c[[S rnEAf|k[F?X”a!1I{`%%#9-r:hU‹5uhQqE7y {m;=9gXT Kޔ n⡦)'3tQͯe9tWm,XtG/57ўgUJo8-&Z~LE\rMSS> H^(% jcG+6MSOx}YŦr8ԗ-J(~ܡAymr9wx\%z"+NM;IQ"&=0ܵ Gaǹ4 8[m6(RN5>Lt & qXKN=13탊cHȇaD7u3L(">Qs6%nesO\tf(_@];e޹jJd':YDZ ;7};$OδAZ%&)r (X? QQrN8EON.#űH58wz5^8Ron@ʦ"PW}/$>GT A{pOj>)u" oyNc,b`%bi" ñ؁AKu[tgZNЉ