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 ==@? t ] Program-Conflict-Analysis:threads=4elapsed=16.978cpu=60.856gc=2.296factor=3.587zXZִF! ]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kai"Ռ)\L e{Abx٘&q &7HT4\EtNʬvڟYO(wEs/8<ר'gbgS.5źnr^:ϫi/&vw)w+6*yҡnuV=>,慔WihkV;ކM,\ grj 6#~]?} ,-GO+EaUHnn^QZIRBI#k2D~C]SydՅʹ":P:N#W>fJt#E66&`@?IN53 cS7_U9"s^]xj μo:^8!Y-(}oRla'f$nNÔtiMWeFޝן`VLDbsXEMJX\ >:~@^R=VE>K|r Kƒ_QW'.]*ˀml XNj>n?< 1bJABwHCR34rT0ILwrq6sMee)W9XEatlQlՐrEҷ ?5AU% RNό)g1TfÚo28/ϝg-2wZ'jls`l'tC)parIm]J+lع;Z d]LIl+ݽi?p#gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9%LbJn;tzu2nUg )҄ԕ@}عƑ@!w6q xzjcC.>a6|\ͮA;xe8.-ӼeP/9m=gS :|9FMBl]T_98A"u ](|PGzOM WHU<"e|p&z,B9KⶌHT\+F?Ƞe&xjDZgYZ7zXZִF! z9]ŗXi%G̉Sl{4XP^7' FSPlCe6cf8@mnMN(i:%5Cb[[Ro@|NC,4X*qڽxB\ҎN]ꔵlkJ&jڪ4NB1ϙa\P8=xEXf[bаOhl;;zҊ&7Z$EiǍ%w)b7TR~ڱܡ5BfƨU!qI 2I69XEI5;Z* 8LӼCJEв1:V0Ʈ19k2:I>%(|~b rcu8''ZV ǁ0Pϲ PɩΪb=U IJoFf~|6ր#bs3N\9J~^as'B< #3<_ejncj&o> ~Xؑ]5.;*Hlfx7 L%0-b C m%-p hIB-VE}>Pq{1<i G%wo4TzeV\HY[/25W[&%\]zh<^l)1% uq+D˴.İEABS9╆'Y|Bj4;AN?{4 hV&u &/c?HK] @n{jC6^!wi\M'u hyw-,?/.HhU҃qNA?i>T.F&hoO/ȧ5J jqj[KtB swXɫou.t*?QeK=]쉒7X Ȋ|Pn oTfrT9lI߻2'jDu,>~4Ū犗F 6=Z_%MnȒDFv mOZ˞ǃ"ǯ^- b4ȻaXUmD9!Dx@_XM|v@\FӵřZ&IrƉbdwY np.8Q:6f?e pEzXP|ɤPe 1ƐuM\M3g&=Ve3{q/LAq- یkpgLk녧C˩`y>cqBjfc4-7} 2wefȑL0_f8-cQǨ#y-y} &,P iH.b%؝1^{Kse9lXv)t?ȿCsz&VkM 50^]k7* ?|ZU_j>Sv5ifmcbY&(=f9مAe35Ǚ,caxpti _MsGb U~VN>X3S؎'8c'5(9гpM߸`wD_#`lo %Br~ju\2Feުs_:S:۪H'gYZ3c1c825db51e02a1076f1910ac6d099c4d1f445a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea ? Program-Conflict-Analysis