SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 uu9 lT4 ]/ Fishburn_Impossibility:threads=8elapsed=14.878cpu=67.787gc=2.960factor=4.567zXZִF! #]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlz)K_dw4G1i㮠,׋8بŒ@tgajOȑUM4(dR 7pfBlx"FRB+Փ;(kjh%j;NJDz(t9/XVǍTcE?1NWm/RwV8~iGk7Al#Y_DHZeρ?L? A'O!čJ>`}hoVUw -P(.ph%ܣNwe$_dCBќאގնa'*V 񽘷9Cm:HH(r x8ZSHOFݏESKPmLW?Y%2.y3m2!~CfbW{%Ij+Q!As˾|r#t:#ΈQU/DdH;KLz  Dly9D!cQB$< ij>kqՐ.վwعg2?^pÝ98Aܽ۹ qEb{T1hҝN:3|]'!WdsQlbMnL0uXёM8]|#OMz|I|q+U mDao?sV*i{cz jT=ro3j͇wx8I"鰩$:>xs&N!eIm꫼plj!(zjߓU}6; (Șv&NڇW3ެ2stxbn&/CG(gYZ7zXZִF! c]ŗXiɟ1˦r!cHkMeBd4%LZGz_mH&7M oi@61YZdBP&dr$HQ ȉ&^ux@&cʁ+:~ NRf33( 3X ,G(re%U1z!#b遨|F $fA7B[Ac\zJ̣۷nn5 obS9X:O6 >=cɜJКpZ@֤[௸K-ZO8mhn^>`Om=?V^?l2JD˺gYZ7zXZִF! Z]ŗXi%>t{KvEl-| ewt"~& fAzNׂcb%7A  0>89ދrx•blqucOΕ HÕcBɠB 33OEJjT-M< 1DhuϽpDH\ƌwa:cZ~uMZ}x p8A (QK][C֮H&,RUe0P˱y(&lS(-WRc"&hQ fMvyӣ{K>^K|3X| ~uOl1tkrSM]@TO9SCRqhh.ל$NAx OÜp$|a0%Dptr%ߏ9AY.ccj6nz'\Nc*3WV*=| uWxe#h;qPlauw}C@F@6ث838$ta)n!DOOlow#MO[p#JY?i<0 TBhg <DŽ NH"y\]06@U VfӀyùwv)ٍpRs 7;q+)ՈkUE:Q~7KXf  ;! s~0nOlp rbqGiN."t 9ӜX8 ,Op "o!;C;w)ؐe~ZS2M-hKЎnM)-4{;0}|4et[B?aQRld'<M;wkHc*,s) TkW>¼m1w E%vp8H(WyeG#)c^A&0F9f8畋u7c 6c4.k.;ssy-I0*Dnp-.Xw~ߠV 11j H.g+( ~!x_8Jln=ô(*ʘ6%.cҙĦoӈP_>_[7@;aI Z;6 Ọc组ݜ e 0O۰y#Mx( I$=-"szڶjMIݢ巕ٍb-B~SY=:}z5v,ŵ%7 6%,-{?=ԕ&[#v[~|QG3Y/W`c`X;"AUb#e0Q"R5t^jB@upin' ?dWY#GNE4)SV~P'aKDK9V5br$] 73\?ithph+jW6hر{|[*o=L;V[j*__`{smYRѷFaBJFWÖsߍm:4|?ALf>.C# ,X˱gYZ215789c91f1737959a9612752c1322fd3c9ecfa0c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 9 Fishburn_Impossibility