SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   t? 4lT ] Program-Conflict-Analysis:threads=4elapsed=15.349cpu=55.804gc=2.016factor=3.647zXZִF! wS]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaȱ]@*IAnF<!pMh5"tZn!tC]z,PGO#Q$h5&CPgb`&;#.$6+pˬostI78 ţLW䎜~ 8](M2o0ڜHGݽq[وy+t|æ\$煵sʭy/Kk_mIAU=w@'[n}(Z1Qv0@6*Y g][扊lQ[^\/ha^WPhbʑmaz`(_Aӹ?'1h (oa#m{_Cg%]aPN<$Q8B1;dF(lCY7;/m߀#qUH77{C>d\հDnCM.SmáElK8l@H+=Fbc:Zo,(4A >'RnLڙ {Fz :70w}1v`."Ŀ+은^sfr9kQ؝$6V[ ڿi!(ǂ4'OŢ)bT먃=%bC X/uܣbۧ4sE!B *8Z%rgYZ7zXZִF! u?]ŗXi%I,x9jO1l3tu(;=$GOe.њ= L{*fڢ=[pK؈ԩjl#;ZkϣDvF gY c{Őa# LSΡt2%fpY\ -(A9E~@PdGq:ս?Řz<=b{)Q,IvkIZwΘ 77*}1PR{H=OӁNDV\ki QS(lg _O%ctF( Zݠ9~"T˔yzG% !z]§nYn{5g%u0=< T۝ʮ?aOh%Ӌ6Iew mt臊e!DT:eϘ&O(0X>t ${y:gʜQ8| `4zб9~Hu`$}tu6ϠnRp pRX=p+|=7r"@S kt9ho4г,auzn 鈅n+C|9(q[ˏܺ'-)ie TcHI%Lp1o~L`5N>g>)=<攼SZE0{Enu,8/aS\6["ЊLw9/h6L4T,~;1tJMT*U&@1!lEvn[ڥhc"V]S# ӏ$k܊y|4xkDVŷ\U,}d\ 1y1P΀aX;YH"K\Ccz]IRVs-#XGOj-*fU J l`'b:D!έ|(j6<2e)'6a[|vl6e/ӟ.FBĸa 6q9D $r:Z[2"i3ؒ:՗JQ33wa޴2Js y{&0'+ < q4l2^AzpF0մ{ 8_/XZeW[^Mn/:XSGt`MsTOOn,ݨ_zܱԔ՝9ݖks }J#%dqt/ƴRAE" Τ@mN^aqQP.}xb̥FƐm%I~`ii2")x oT,+iGR&vb}0s-" x>VGJLxniۆ7y1%jU_th~vq )jxjJ%5ӞnاiM!̅4c9Ի+{6=ѽK2ẺRvZͤ35&ɨeS@*GX$#\mq ~:_ В!"ڰ Iz2BhJ#kwR7'su[_(FF$s$ArsUR"T,f>"n3>a#x5;t!Hshˇ['ddq[QfFh[Vh+0o-DYsٵy$][5   e)U$qOeZW@su2\`Q]2W5@'Zz<}r)F.I'j(6d*!ya } u@-!ޔKfq` jYV&&YE#tPhhul6Od>ӤvLBGd CǡZ6sY79 JȧL6"<ΛgYZ36025726bae4f908ee5bf84ed9f0b217039f71aa5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 ? Program-Conflict-Analysis