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 55H? $t ] Program-Conflict-Analysis:threads=4elapsed=18.770cpu=66.372gc=2.380factor=3.547zXZִF! "K]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaɟx}WjmiWQ?"35F/Z a@c$u#I9uվ۹x4݇ߏ-p7ԀfiE}UxމVYS8sبowwN r.Ё#-s]Fs>MGN.d_W*<-r3,틸|qn$]H]);5˼2'n>k03B<]|>.Nerm"MX)d3'ĿbenhUE.A]D?J=_S^(fs3ɒ'0}gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9MKRj270c>7ɽOw^);oh$=#, ~jRn>rrL1У7'[S^xykyF^WRD0t()Df$[_fIy_X}_Q߭>%JK~l8(@jgJzxp c(ނ4Ύ%8/vU1z*I\=e`0#v/z眼[h$&}J^v.Hi!a>X=ގ}=%d ?'A"yX^ݠT;Xk 5g(5muHqRb)xeHpgߴJax^ ,lS ?\]e7fz8cP^#kX QKžɰ"!~U'i|8=tvi@~o^Pi U@c땴Ӛ 'N,`vJPjTiNQ*(HjXߚ.ÿݸ]jc=|F#y'JI{DV \$HV;MdB]2Z w̗y@m߭:w{Xo^@s.aW3Ɲ9h؎=G)*1#Ka` 7Ik7[gQiI虼{+ M(*8EjӐ.>)DX4V3z!*TK`VW @PoP##bGYr84LC"/Ϝ~\Ԭ͇JɎ&2ӼR HIX-H_%UWh gsт1ؗA~:~=QYxIVsr=bl,'VK&$7@,hc@`GTm%zlNlF].9PگZl|l9Ǽ`MJ#6ϖD%^#;:B%UDeRҢjdW,ʇb6k @6K\2d)\W=0"l\󬹠Vt~ho&@ZIK]F t/(S*]+Lh~0@2]k'6q4.2Bf^'bsR0WI&z fYG"CǾ:8/.=1 #O>:|PY'Q&)I Xu;F-ۅd Q]_ o 0< jUO6V>'QDj]m0_c!0UPEl+|ؓ|Cm}lgh`=Kԣ7k![T93s. Z\\Z~m =7* Ilfb!=r4vrjR?htG XEqšH6 ]|^;Bw@?)j>L@#Sl=',\= tG-j3' LcHv0}izrwπ[swٷ6p0F pW$Z=[ t)VfM)ii^Y8̐, Xw)~A/~f7//G!m0DfC~I4_=wgYZa961930808891ed13ec156697627b78af4f19ddb3853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 19cc2c37b59cd619e8d5c50b1c9e3eeada232480 ? Program-Conflict-Analysis