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 ee9 d`;Gؽ8nt*q* .#lw gh,joEdrڿ)";^+i)9-"9tR*8jݒz! h$: ǻ'CUȅ۬~jW~>ZOC'k3"Ư-y0:с:<urtujpH=Bz!bd|ۛ%VGyCrB_Iir#nMIqj ̦ӛ9hPlO-4Xв2Ꮌa- s:i,NuT$T g}1hA|wP)ELwZ H2]W眽/8gN<Mɲ}%y yC789 r;i*F1Vvi~ ʑV%咇S ƒ9mK ЧuИ6 @*nnB iSkJdsJbd\A@064}qLVm&;ǂܲJ,jjp1S UBqQO8B}/ٳ$B21萎&WHpo\pI/Kd(AS쏄!@ Y?b '+ٍwPAQ՘ϐFj[_~ZϰReD#].o58 Qysy.%9"ce o+8rhn^`RC 3(h&=6Yg j\; /6O|,7/T]ZJJ p" Y Z.GNq"ʣ{ffME#I8M=Ɨ`i$ V09pͧR$qB!ݸuq8o>7{qGCJ }4hbJ2"[| k PngYZ7zXZִF! U]ŗXiɟ1˦r!cHkMeBd4Նj7O> 8$098Y|5RI >S#-iaLp 9Ca4*lVt_,<9e(fD8)5.c1tOW'PrVK\(F[-fD7AAv2ϗ?[dž%셜'VbnjU_a OSX,MxXvafG iaT+)|gJ\5Op|aO̯yj,l:0mtVw@82g6]4ޠm J/dܨ눎Rfv%]Albµ=OH0Tʤ!Q%Ӟٯl 2;k'I>gG &7~#u6&"ěcMrYp(MƁ[p d)۩F^TFZ{uMʶHNgWUs]ÕOzr჈Huc}?0)dޞnZjGlPֲa;S^nlBe.=0^ek¤m?Eg k\YYU5)Xb u@Im\H"Q~â1tA;" zƙAgǞ<vrοDE;!>,~ܯ z0MYOJ[QW/wqI9SH~Ҷ0'wuGt9K^y\_TxMױ7;Z*ȹx\p=HZI6ltօb5MJ[%-|ZW3?A.~,[Hc¸U9+;FX8QM*tX>P$EJh/rǝ4}fY]COJWh37 ⊸=&<)4a;kW>羱RFl}9DdDŽIb꾓76{@a;!i@bQ 5S_`s<b%4r'4uf )Jv) ࡭Mř/ꪩȐ7[Q*-}f/}6fk: = %z4 >n0Γ8옚ɻIA5l\t:y$gːd5SSC;֯Wg >ε K4 XQe~ WҿeZŇ gYZc593591bf53a5be046ca93e0614b8cf62a2c9a1613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9 Fishburn_Impossibility