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 ^? , ] Program-Conflict-Analysis:threads=2elapsed=46.113cpu=87.332gc=2.760factor=1.897zXZִF! 6A]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUΆU#.)HkEY4Ȗ#A~Af;4 &,mP@ŕPPB .upyf _O؂^ׅK4'%G "{XĬgSV}2Po?4ת9+r~am e2Hĸ.z}9&[3 q9q 9S*+a6I},xZ?jQl? 1by!-[b,ǐ N)X>YMyi- >3vx'YeS:Xgq`i0X<HDP' TߙώX2W>?o)Z9I]nDBQ.*ܷ fœKAK ع<[(27à `攵oY@AqPJ8ڟ_h`Kڒ $u6NEV<1q1x + 1,!\)g6߽lRKa& *Yi{wC Z?ntZq~a(cl`DދPrv?H|e3abfY;)_*S^>5LgYZ7zXZִF! T ]ŗXi%6eJ6Rho%5FqĆ)-|Gx+59@ܳp6@$<%],~ pO?l+b0@XFbA [u2gQg\L9ݴ U$L)SQ ;.Se4}T?ב#{ ?r`+ߖZ$ת"'zژNSmA`ݱEIhYaVy ڟfD9[K8o()-b&Àzj;"kT[VzFlG7ֲ _n wm|i'+b^J;IKdTXWON+A~s#<~?"zSΫ^Mߐ+_$,;euc!R-eHTxSSa=ϽXyFVZHfDFKs%6gUS[0?qGӞ&pC7PCxvJ(W{MGxNu4V׏f荿&)0t*04w콎ȶ_AcE!ѳ?d-B aH;bW^ d*r`l"oe&-;~E%5@dBԿ:1@Gcn7Pz`gc~4N6G"iZ$T{TZJ^bdξoBC2@'KxF,}J,xPl`i7dѷȳ;e`|\S0Cj\ * b߆  +܏okL3_eLyYLJdI n Rƥ~v2~_G_BNmB4CL,Ȗίd=U/0BȦ/K?LLa%$20wX̄^n \\~*B,L_W^YpO2爅G;eiޤX#г$ʁU˄J7)Wgfs)⊂נsWgS5S9 5旷5Yj 1& bvmMP :[z [3Nj(9u]ՠ԰eheZ5Hz 3r3x]havP2A(~JmQwAKb :_u 2,D5oD)qʜFU ;;`ϓ[o e(ni4ZځE6i=1 l! F؏>1H!Sdbϓ\, K4ćV pGSˎ-94uöWO  !zsYmUO @zv#{;XlHSr֕rPmGDrmHcnuN8ŧ0%U&M찀, Bxv1rYUt|Ha1.93X+-U?ZZeT0爇4Bt q׋(r^vU_̲ rXې@ׁ8NΩ2;&es`;3Ȧp cLtU᏾e}֊\c(\$8Y`j!ޑpe'__4?A.~(%wpu xS2kth Y DOhoEu'(mBA_ JeƬiGWޱLL\Ŗpt;+?&}Ca 6SgEŮLė" ` *A7zYbf'uDPn6!F0 e҄k^ȳ6(5 ,@:%3,,VgzT#SL=0P~HcSiPPrCy8z܇w:=8`X!cC.yնfŮ,d d/J2*Aum91m0t^$큛G6hSb_;xggYZ5537367dd6e994d102211e71cb21c4068d913de30a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 ? Program-Conflict-Analysis