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 9 D< ]/ Fishburn_Impossibility:threads=4elapsed=20.168cpu=72.872gc=2.288factor=3.617zXZִF! 0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnƒX".YѲ"}T?[襏nsB8ۏW%`M`X~}4IQmƂ{ջW8tEA5wTb\6l uSҽsP??Mev̂(9fB~Sg-6x HU=R\Vh!O֙ɒ5l=cP>SiPn87Nҷض kzH/U4ІA)ihF*2 9 Fishburn_Impossibility  \3@D|"*glaPBu4I9hVF $Xg%QYO^[t(0N"۷Ii.eo(D>@:N3(\PRk9wPoZ]( h7J[~ϭQy 1b) /l'%M0ȞÈZ7dQ'J-&̾SFZgK*|J2hA'4Iw~AM&9dJ#PD7߯TτI4eUBǼ-x^R7ħ1Nm*9,xZkH:ު~ h6#Q:BJȺ`yG"K6xC-͗1žwTd՜#`n U.o+lzc0v c6%²Dq]5(.SCgHS3AvHV^]ZJ!UJzZ&-Mhdyx]Ed3hxIɋ%GψW^SdlSk6˴'ۈB{VluN0| /zql܀60G<~uд_|4Ef*죊xxǎ y.SH*Fy9f8naeiTϹcn* Q̖GzRXg[14'upZf`? #pЯzlQBfRnpdY`H:v- %\$=6cnV̨yZLQ:tH &$ܝSڨeҘ? a!Nޟvޜ$7~8kkQY-<7B S_D`1HR?b>b FQT|QÙ~88D,#|n$uG'sqO ?y1 S ` ݬVgYZ7zXZִF! X]ŗXiɟ1˦r!cHkMeBd4E8^QUvUL'KsDZeF1kR3[-HtTn# .7sfJA'd_ @o߶m,潪OcﲔAw껪-?19H˗ԜSr1䴂B2XIgw㾡~9GwPتJa1!ӏ *J Q"= pSqk%StLX;~Vm7o\y-TjWvVt\KwU$2r7;}egYZ7zXZִF! p ]ŗXi%B۾2|v@kiYAO_$(A%-ꆟft# pM .F tT bgՕ *_L]Jv7Ic\;֘Òdz?Eh*^wٌ#N·\ك-SRMTKLmr4+yŠxp{\'o*UsˬqioGߍc]UucLifA1QKs=2rHfT(D~џBW6ES+hС<,0U\4w^j6JSg`]hAFPlw$ ٲ[䡻m}VG'=2A'aSE1周h$A '" Hi'c0ӍiЁ4G?-˪shw >#F\4m$[uMi k*1JYG?>̔#ip٭"N 3"<"mmi co/֚3K!ؕ00=d` MߡҤB4ׁ9F &$C#!Mp4ngZAzJv#LKZr-k:Wu3Řjey1oF_>>RbD#_oNGUnV_^7msm9*7cj'{Լ xbB0V9L1]qL 3)oJj3ْ>Vp?ɡZtόD*ZKLғ0D83TkQ5W˿` jg)"᳄ưC*Ye=kKesS5F` 6B{2wgEE)AY#NC@GQL09ɫs>㈥5A:i>.(piO2xN,Sh9P]#MV}XD.{}dKyCT$t^Sly G -Xs E\A>!5LmrGFK0,HgopA_pd"`?Dq]dxN m%K7?MA`^P ؘ"y!xcy- (725|W6gh cB碯[01!fuhQu;1⅃3#lݥ/}l{cYWp] Erz ʜ7;CRp6YW1keJDw:9bL¢~lh˜`3|;G=GU n-u$gYZ66d2dd5551a7a4f605cdb59493b597e7e9e6573b76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f