SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 --P? l\d ] Program-Conflict-Analysis:threads=2elapsed=27.993cpu=52.256gc=2.508factor=1.877zXZִF! l-]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUPJ8aZa<2<6o8{ܠ:ݼ kYdkVpx|_~SOKj @ Nz]HUxaF>f6vtZ~(2MSt{yfP'dk xל6*w_Rd{0MHa]ae"q+%K]N4!('P>G)1.$_S$mAT:AI g;YD]bh=i!tci"8 AvdDhk$C&oJP*󯇩mr7'|͂)\ͧh}L-9/},#Eyi 5R}Pas"RaEw+z)%x4hDb7Mk?-CY68p&f afA~=tZ*+^,M?RfoyW(r܀Nڃp`ևԒNwΨIM~8!h+S!ؕcI`e!( E6l; x!Ǵ@L\EE"yJF˻Yv_@dG\h;0$,C˱!.tiI͡&^Oo ϱ,qV,I ő|8<sgYZ7zXZִF! &]ŗXiɟ˕A;[] VmTi{RM9%Lp:bJsw~r"S8Vc:3iδU*p7J6oH`jRECM>s M,-W56p*'#Y)S}qiC7̼PuQD]عr-T7l5#廠Tj<8L][)M!` V&F/,L|bG`zmAd'L5uTrB3ۃ&P!-q&gYZ7zXZִF! ]ŗXi%;фEqLWgtDE]jt!'d4JUK1kuk![y k xrm o]ix/41)=V ~e2b hL-_"|5rRZC~3jFԬL.;!02 θ@n$!a$A; ;0f{B0eINU'g9Fzt Mudز |ɲ>dWL͸VCED&޿WϪ D /0dqSٷgh)b_NVmx#6O|9$cJƤVNqW8}<>@ﵐ\ HrqD$trDɁ3E}NSD,?8Y`\8/ N?))r&@]I>euZ6j )չw4rQ dM'yXjɲ"]CSiWytmԛf|u⩓ vԙ:gRBZxO.EسG]l2V]I84T輦9 Y=R1J)bl:%ӂ +%e[6Qp f?&GxV:' >yj13iQJ)ݕ3JR2#)<zF _Br;&MB=@5A>kd)g '[3yrn dLXӒX+pOېG)JpN}V$<yu3qm˲5h"fQƴM( q&D#bb4Cr[D'w$-}|V!::c NOfV't~|3|#ܓ~kY =FdCXׂE׿1jdݴ[CTDz2췩9NM6D%I)@*$¦ ui_Q<Q=OTf4 zF;$35¬`"v^Glej ^#m0Vk%lP:W&;nڔӺdG5EDOF[.:)&%(|O8ܿP6)GC~YvDW5D z.`tTNƉa+ΉhV+1i/bhʽwt-b~E^@x%L?+w51Ӵ;&\eto1P `8y%nF`kE+`TOO*)vuH#ٖ(|ƪwqa^xDf=2Ѡ!Ӂ!3^kIwnlDQ+ís0Q*vF6J!(kں^#F,~_h{Xq:2tfـ-+]bj~a pQ 5%uX\ P\hүݐr+Y9`6O&R񪚇FҪb.jV  qӷQ:Ik_8̲Jf͒5duʫ)i1"`=d u8}bYݦˈ aiLwϗ7X%s/6=ۊ&`Wп+B"wt _\hНMNlf\+3Ie]Llidn/lp9<|Jr džڭG9_gYZ11fd7acfbd4ca17642308460ca1ece79a18e86b179d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 ? Program-Conflict-Analysis