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 ii9 |4\ ]/ Fishburn_Impossibility:threads=4elapsed=17.874cpu=65.144gc=2.340factor=3.647zXZִF! %8]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxB?ox ̷-SP[C^i?w;YtK~0wG:9._ev0yUyi,*l5CѓnDCS|5c)p&;ڶXe6PuA/q+nodLֶ2D@$ok_mqɫ@?乄L`v>9]B#ÄuH u%9b*nc'ƴEP<c"; X5r*?$\Bj-׏LeF`PC?VOc~kҊ-2ھ7R汏9w)%r%>(9#ɶ{D5 ͞cQf7mMygN1+v<=fƻ_Z g^ٺӱysB| y؏TL,X`kv闅௧-  |Xw32{ MzmbT-F7x >{uH=06BfIH:A?p`ޏE:*//c guY=2 ,^ִП[ BjJUU_{r>ߣk^B\In2kw_Zz'oT`K6l5cldiny9"%zy ZAoYo6Ep0rɿ{ EP3J;O{yI*_[Ex,G4HE' ^ycgcJ[u/[StZl38QWt{@O\{剰5epS 8m2uxj& y:Թ v4Ifȡ sFԴ+` =K<:бgYZ7zXZִF! S]ŗXiɟ1˦r!cHkMeBd4½XߓQ4~*`a{U&)( @CצVKgz[o{CufdX4w2g11Dbi;MGcY INyVKP:72_dGvk>9r;؟FMi2f#=J>oU$f@qI)= f1QUNF,;X6z75/+uŭzCA!hxI9Ohk*lZCbᦀ+|Ml gYZ7zXZִF! xh]ŗXi%G̉SbfbhPׂoG\61~` 2$u—wyp>L`ɔmؗ->tB`5gud2Ծoǜu4tO;w*D3F$Nѷ SL`ӚK5j <;aCVʡ+|<[#Q* ny,Q9ĬI-_~àE2J.[Hj4xK% 'd6B5 ,{I_jMko!Zbஊ=mS~^f1S'#ܩ[,k)0p>D^4 +Ux͐`Ÿgl"H wŵG3]\($%g4\i%S`zg2;L(ڮ'W=hgC™ /)Ua?mL7K*,Ww\,2e !jfc}<:dQm_O1EPHuj#:ȃпge ūN;?={TN>$ޟ8DMPjPQџr )Ͷ{-3f3tI~1b)bikw8@MHYՃ,yf)םB~D^ >{+#|m\ݷ&}z; MZnG@SoS"jŽ#LPw$^/Y[ = T\ L[t"wSGgQ, 5' xO, sᯜLb)96f@Bs,'f硵oX f)-S z}=RN O.5 N^3Q׫LjvSgA4b !xcS"R惿iy^}p=B0{SNbI`I(:ay~tF/ֈopx@[`%\[M Y9ZsN5q{m+o6*75hY>Lkު_FN%eϦNjP=~b75VzvӴb' $/Aλ xƛ1i:.%xG;9~cTRU7`U)s$ZcWQCU[v,Nj'p mN<,?S=96<je gY2OT‚*w֥Ījd^IHrU L7D d!`NL]Z's0-,PގI\SDb_ -QX7zc-Hkk (f>, Ҳz>5<2Kt6j0qaxRUDb{[7#|Z-(r3];'7yOdY-uU+ %'-iC: d:1yNs @DѺ1ۂYzyG gYZeec0562dcf1061f40cf84ca531cc20a5c0816cbd78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9 Fishburn_Impossibility