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 x? 4tT ] Program-Conflict-Analysis:threads=4elapsed=17.922cpu=63.920gc=2.292factor=3.577zXZִF! #]ŗXf[&Yi]}fK'=r;rIF[=ÂPpXfn̶OY75G>6G [jmx ǃ1)kہ̥0qiFr HB{rq"׊*.ʺ =My͢թr^9ɽ+vU<; bd~v)ﭖ+m=T ?R)^NKgO dzdX@TbPcUkN+EAˍG)CBj Jc94޳nr`om2XU[YNX! ? 溸ɕ+|#VFPFUSebRPFbq}J|-Dͱ~: !:m6e=yUȇ@Uc7@KԒ`Y>}, t11P.4IY.q5Šqr 4ZcZ3!934,.+mj=n.p=Q;5ٽb$X =ZH6ijcu7:f >qtYLC<ؠ7V..J9:;azJ'߄=sC6o9]{( G!e  ';\sZ>8GUSRV\mZiYpL신 *i_~4!tKVF!bEa9L ޟx[M@`'.JTmO$4<(vF2kZWab'qQIkҖ D4vg&NG6,u@[G֎gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9MKJ=Y/N C2}|WcWs)VХB]vmpg*y=7wr E:-삧Z*y]aS24~hx\{C`u!" (|?-WzIq(V}(ڄ=Ti$G 37=x+G`voskhDΒt M؝l51|V?AForslh6x| [DzWn ol۷J[<jDZgYZ7zXZִF! q]ŗXi%B4ɣ]h){s5{"oV* *`4(@jqMSR|dO^T3ہs-~mM/@e$LhmxGa)>`O?cG=48]PnJfyC;P ƙ8QdGD.~[/,I?mָEak#ut17f +-;Y!lOg~\yܲ:8%mKYgn:̶b+֒GdAkf8^NR\t2u@$d*_3gQ,jg %k ~텗̣PůCMp%庩 2를spҗr 5oUA]jm${4MGԭp'BvYΥޣ^LW,?;"Td/"ˎ;}K}5^o2t:PZPr60%90=&y\uBY1̿]\E=:t,Q-;sP^eu-FL&x#-/M פհoj!8Jt(dDF'sF"k*CF&iOֺM뽅׍~d R坉ؔߡRY ?O sƮi4C.Dҡinx+!A4aE>/FQ8,t͒ÚI_O$2u:$%ŚR|1aC#@>1KZXʿuؽR, Շk\%P.[J_uС_[E.{ĆPk ;ZSWtXA$K]BaqHhX۳?NÈ7Z5HЄR~N9cUeՋ^&Ĵ`\.V wv|vSӋmm6! ^Rf_d,L4 xhߎQy&/Ѓ0 'GՐ-ي:WB@wA ݎp{C#DGPR(v: /$R~O07\* 44q)hlZ e8PޖۂV(#U.)ZNe{wp'^ݱ%3.B}UL4%E$ 9!PyJ 0 F,Baoi}Bֶ2掮ųL̵tEu։s n6abRROWe4b{j/ʚ9۩f5{  &q_Y 1 Ot@eҎ*|E~N+.AE~Sw˛'&ѩPč_%߈[Ҹ2Fp9ygbn6U1C---1Tq K%u~BE /Gi<>`GPEHftA7g'eE`sV@:6ZgP0w<]xG]6לx [(I97Mj:Hl q'2Mn)MT^f\8aPZoG>mۢs*wӅ~3PB+p}*i`W⍻Z dgYZ49ef902bfdef22b40ca720885c3429db5d4ee7ce9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c ? Program-Conflict-Analysis