SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 `? |4 ] Program-Conflict-Analysis:threads=8elapsed=13.919cpu=60.661gc=2.731factor=4.367zXZִF! kF]ŗXf[&Yi]}fK'=r;rIF[=ÂPpXfn̶OY7L`iPjmR!$ ;1.-۝Rc-:ߪC| C槸djA`LfM3eXT 5O% |6ֶKؙɪKGcṳ'FKUҭ3]м|A]_IӆԠ[wB6k@_nh~ڤؚ~|Y.散Yŋfꓕw۫i-{/Vu^iW;-9G=SvN9[%/E%Dn+yXn3Fbi+=4!ȃMS,;}L>Iߴ+^NcH!^Se(y OKZUuh6ݥbtuށ#`t|:Nhv%FmssA! YG6e-gD͖Յoiϊأ Ǥv5] ޯޅ)Ujᗒ*ՂL˺|A:sZge)*O&0ه˚#,b FWhL}Nh ^MYc?"RU^<@ޮ:S=$"u\0'dqUfs5=nt[;b oob/>ťgYZ7zXZִF! 5]ŗXiɟ˕A;[] VmTi{RM9MK81&׉lÕ& z&2<<ڵz{{V;PnHg >o\wTDRx\EHcɱ+:-@20p0>1:-B$_JI8jЩẻٔԠUnu7<$TR@K * st9#M%R+%5ٗ|CvLT3:LdzgYZ7zXZִF! _z]ŗXi%>t{S@ֆGVxe7O}( 洿XYMaxUfrIO3;j^Cw=GыoF\VNa62wng`&Y+I/OEҳx sE9 zoB pf3q3PSU9`/z`LY W~6n6#V2W!Gwk݁$nt5{*$nz\owRx4 接GZ$?K*OhUZM…|TSVQ=^v{1( 47*Q>@jlJ9Z<*8f r1Mzg~g1HI|6Zs+\R9-I,01q]e~6(>0jhA?Yf;\QQB Qݬpv7\&CIh `ڧ|i^ŀ:_.42]y@434ZP_yNj CN= ՚~6>=t43Ffe(1oxVfnq[dן(ta=k-$;h\$𤌛[_)ΔiB/gS)nj 宽9 ܑ~(/T.0$K4JdK`J% U(}<3̀*mL`רMz_zg,X.bdG!2"RT_525Zug,GXf9}R19\f {[eXiyRb8^rd!n|nUrz['g62#qvH҄P$\k&H=I`{G` / iª _͘ZMcAl邐UFޛ0Eξ9l6L!ay E mZዢ},}EU{Ӆ ɀɦpBaLǞ@ YuDJyGseWq6;?!q|Y$V)ڢ,/ ʏ]) Vtv\,dbYY4|c"vC݃ lmqGM<ah ` ǖ$\,CPblӶGB l|myxhu7_3vOAFI {|,+@V^*&qcpZ4|pİGQdX }BX a͞+)$MPkJmc t aŋ%1`+d Êyzj33,߃l^U'h sM Ue%uz^PVm!YG\hw@Rjn~Z|cPbD 5w3;E"d zjRX&x>d0Q< ):m>BXڣ4 \?d3ޝ&#Vmay>"57*TMfC͈mH-45Y.QX*~fy@ Ǎ]XM)57UM)bq0c[7x58iă)N^GgN>͌gjՈ wR'_ ogYZ87e71ad8203cfdfb6fccea5e367419eb87c7b262c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b ? Program-Conflict-Analysis