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 h9 D4< ]/ Fishburn_Impossibility:threads=4elapsed=17.591cpu=65.476gc=2.160factor=3.727zXZִF! ([]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jneI o}4Oa-#:c^6' K\C/Q|OƷ޴/z{T#h{xY8Ǫu *u^2e \;5H.Ce3Sإg`CM6%|(!XyPԠn҉(vQ\α&7Lb-AD͏'qIwUgѳE[n۴GV?x3*B|^N,E*F)xӰt{hv.$Qzh9Ea"^ aFV 7(ir9KNtlBL@ۍKӯăPTPOlԈ.f\yvSI##j锑z"(5gƎ-h7$[(4\JVLLw ~ǭWF ۳Եz,`|' cfVu3ƒ<q6^ 8}4~lw$X'3RYј2VXu*$#gR7T[Wg"v'ٿr{): Ӯ0ٟN #lsN=k߾@EMٞԮnX%>AaADDQ'wdzuOxd=Nq̩gfBT E ٗHD/<^vs /%]%-SLW__{Ztad~ޖ]i XT`I5U'R#3| &إu)0!IOJ PA0˸mY$v4cK./AD-J*Z_XLI`R@\U7_Tgč.#8y'~3#76GmH,ORPʱgYZ7zXZִF! T]ŗXiɟ1˦r!cHkMeBd4meSlǐ~=_Cs2N&ǸQm.duU&EǛ4T(U?dIJc#''>U[`r(!~la]wDžaB?!כG۪GZ53Ψ{B foi& G&-W<[gj\^UNJƱBlg,/ !)P ֯!F!qQQnZ#PCY}q`.xYE6*Y4P+^wDTHˊ&C"[ !Dqb!5\ygYZ7zXZִF! u]ŗXi%BmtܣrAnj26!@-XbBS6 m7c>&T 11k? =Xi"H yFki⨚rv:e Pʹu\CvT"ΡWKնݖV84Zp1}4o2DW?EדEIC~T_fLҗ5P whIY x R'pf( -"ؖ{'7&\ƊY/LRتd޲56g/9w7@Տk(PχDᢱ6 ^'={EbJYK&VkY5AQ0D}V {eLSfOcPxXpn.DY=r J7mDM61xk2PH)5"Jn2i?m)ӏ6(w(0N:) 1ᶭ׾Oe3NS @le롈0vJB_ `էL IEfsgk ?Mp3y2ۀٟw u$ٍ܂Є^k=Y F@ǡdE|:pqxCyߤdh1J)@d*K z+R}v1ԉiQAM\ "26(얠eNU" E׋οz\S0ːGSmK GnɩiMSnF*Y.8Q6 #*?ŜYh@!y K*}%$,eU/fq䫮xBFBfyB5?yKXkF֦ɉ2%F5Eo?|=Z$*֧mE z eq"=HȜ&c1 `b@ڣ;}'{_V0\XVNA+X<="5FB4o]'!Pމ]7YQaپ07G q 2jT^#?ܿ;JC SE&2 =H%}m5lԃOlJji<9 C}2p ļBSP6/*TIS -&*zhLb߳G,$8RTn1lA;kq\[b$9siklˡMo?fmQU;Dn\DOB7r9k~'e#d,,z!PF?/76CkMgdj/CnŎq|L^Q"3!azwe9FG-*=A#8)J"Y/_L8|V(i 4zњt 3 G@?PNpf;~(xCh6HU'I̝SSx6Gtt<GUFl!ta`FV}8-F[9"#8OQ ]ICjqܔFPV#J WVZ8Z~̂:RI(N[k1GPnRZM7ml[\  9:ޚcŸH„ÃRZo׷y ʩ8ACӇG ;̉;WV;m<;ݞaׁ1ôx_[g&:}d9k[su܎WH# O/۝!^K yׂ-rg4v6.9Hг\ N-kKA%h J]8.B{_B~Xq:%v􂐮Pw\Ǯ}趸F15 vjRfkuB?֯3@ 賑`Qʊ?pylgp͗Xf %a 65[#NҴ=}9dowZÈgYZ32ddc15242a3e8b59c8d2b7dc5202d5c0d51319fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 9 Fishburn_Impossibility