SQLite format 3@ .0:  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 4? \t$ ] Program-Conflict-Analysis:threads=4elapsed=15.647cpu=56.700gc=2.212factor=3.627zXZִF! g]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KaȰ չaܿžXAYttIkI,q SoFMܼC-o'PiN(WA5%WB=q^9{ [.~CDQ1(Yd_E( l!Fk4|p py:>*&_'Q<=N{y2\r I:5ȇVr`~}9vB?uevSY읻06;Bqt4a)Ffp G<!D.9sEqI{t6ZݦB1, t]$+PBH /ѥ9%Y51Dt&eAayFhl+%!ƈڇ|EO^g#3Th֪\٣0b\@^ M"v._KaQɖ%r8IIWl=>v;omv?CR*G.mvrv0e#-\<]`Mi+twJa'g1Ʈ}ڇ4JӢaXehsw0i덝X3܋ t-]djCc֦D@XeݨOTZS5Oi;Ljo%v%b^Y~l헆5;|=9vI7њ4Q?hȮayNNB~لD/k%pHs]A%`gދ|:>h!MǪ*?gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9%LFɑ kޤ͗yDex';7 No=Ynʔ6.&P_4;RsDug&MiFX+=4}tShM]QQ::;Lj`duyC6^*@SJ) 8bVPWr6&JpЯ<s׏CJJprBiǖҎYHl$-CUn5ogYZ7zXZִF! u0]ŗXi%GЛ5^Ač |^"ԙC MEzu{ǫ`M.-Be: m_ߎzPB"FTkv=㾗iUooJ4o~_ms߷^&:z:jj6m5@b wu Ζ^'n#dO6X&sV]x5֏Eaw:'YlcRXmβXȔs[w1*[]47KEnoy ϰbq:51x, o<+!)e?Ōg3( |X%çl\#(%PI`DI!tHބqhIsqp#VL*yw[UL,3hOrrcY~Ѩ:Y.!&xj{4@z͚Bs&O8㋺z8_`B0T#Lb^kY6Ǯ5Koņ9KUq3x(4ř@ls vjX&LnEfgٶʴC*NV%o+CݴǪ'1%CMn+Ձ\C4GO~-}aON"Q c 857P,jYs!}^Tm%'ǛοP/2mb š% o\[7)J~:#fJɁwJU朞$auO`Da*2@n+;p( h3G?%bCu:8)Vΰhߕc/^%vݹ\OEb;8gŰ++&V}\%I0H`1"b$!Tws͒>d$xƷ6K5Gi]$[eZiբdv(={kg+?%. sN-/*1[c3рA+Lyxz??B:S4( 6q+"Z6)Ya9jt) ZBʄLИRӌLDoK4 #ڃB=,D-3Tsj3Kī*2`3(c2)^v˽D.HCǜ<'=GHjX#EVBڞK4Nj?6F튬^#[ܫqk7,-͍_x׊MǗ.+ Dд 7JTyl0AhD@!W" ZaaC?ɶ4[YXJŃ[ %JΝȠ q̑#-ݺl.(Yx\{>@ֹhVͪ(T.졨DU=a4|HۥZNv'[o.Ҳ3'4d?0J!yǰ;_/yXI*tXn$Z~M W"J]`s[Z˜o)I,lu"Yx֖I*c?ݷ5!h/ o'f}PUMLW\!L*GU柏x̢D jG#kIE6m'_ PbBy,0rLxAf9DpdhnR)GE<\^61OF\"86WA>}MyΫ!JpSW2noPdj: ,űHM14g=u `HZr!b4s: }lkI-N";[NF lwW Q%hv!{ ފXxYa<8~!4%Om+0H\8`cpro;okK ˏnz ˑ :Lx+BNć]SX%RgYZ357b364d6b7bbad84798d42346ff928fea4d0e12a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 a9fdffd633f8437f7cc705ac0a290ba020d4f213 ? Program-Conflict-Analysis