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 09 4 ]/ Fishburn_Impossibility:threads=4elapsed=18.817cpu=69.160gc=2.428factor=3.687zXZִF! ,P]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9L(h Dt:[dHz=LJ#C *J=PQ׋=PJ5ç.0> ӫx@.z҈ s- `LA_HDyCaPʐaqE#s:[ dK :ٸ#k6?) Ӆ K-%* 3N;ݜ 9 Fishburn_Impossibility  tR@f7fHdKMV{y@KV\3"1oȥۯ@69dhBp$M+5/ٟ€+/f Qsczfra!ͪէ6L[S xPV%`d=М nM! hĭ Oe^ //Dpp KHx˩#m:K ^Ez_5F9JÓ>H|VNA\ݰơzBϞș\T\fs- [#+zKLU"TD%RT7bYE܇v.y¶D. zKPp؀_|)/hԖ]{PL^V#BcG^aOV;My"\4MՍR!DM #SK4Df:DUh_m3Z/nz6E=DzNznfLDԫϨfưu׈;|Ip0&׌'*ۓGBމ-pv##;a(q]ʁBp(:gcOgP;<{/>_ԫCY JUx?y2wPq>Z+`9vT[ck遅}|'"f*Oը@ZGFhMȎE֘T 58IoV'ϝ 馰y= 5s \|o*]BOd\Y͞_MZB?!P )R|fx X(gYZ7zXZִF! R]ŗXiɟ1˦r!cHkMeBd4b-/oi!PY#C쟹EĒdH﫶  >jFhD![XDLRrNwkMe]O,y{;_$ ͉^@%hmu9jZyxM[sHwgEwuAaF9/ ~ڲAl kY)InEY NpSM rmĥmr@1V"D{~/{ie j`o,eĭYٕwʙjH܀'fB0DZgYZ7zXZִF! {x{]ŗXi%Gg>(HVVd_hpxc`B29[.j:+pt=ݲeJᎨH2ikj[d ;1y(bnպ1b "Ԑڀg]׭ĽSY[{ȫKY( 'T7̛׵h|EsX¼X,$ws"=QO LK3z鏕M(^@<J ` /~)"he9@j}#A}/M[b91/ѫ9̈KtO߆y"0bˬk0\ n!Y 1ګآ~&q做Xfdϛ^S84[?iUǽ%o"X0" %bV*^M**]f_ " 챉v}4L};a(:akX-ޙE#5PyDSg[_Y/yi zr9Տaug;ahRIEuܚ|np5^1'2~>Z,tG/cҲ8` @O袶*VHg*< #9pDKb^6v7UN Noivj;g}3XK;5&yvLG~, gDm|Z3&e;<=WrjjUUʿ1] b}mT^V"P¾@O,Z֝!$* )N4KfsY ,Ғ :Cρ!-EnW)H;6 gs\<"ј'e=5)r<şսIh l;R 720L/Ptsx`ϓ[܈>Wy4Ow>/`KU}_*WN4=v6Q|渲ff0up7) yзbuғCα;+_<_1Y hA ã*Vt,*)كQlϮ7]3Ov ycKZ2:3(#+4akicW/"@wlɆ 1V\TF`8P ֆy=W p?Ve;~T2W$8iQ☝;c3\- `[2y،hcQ8Fb+ݑu]+r}kZ!uKn6eWߑv OX(8(D>$&JӊCma㋛3G? ݊il]OԨLqAN&O%?j)oHՅ{C9qDZ BRUťBN/j/|PS/WʻdմW mw廾 @'W.iVC'SF F]W%/]_3>Sra7NtƤP:IFZ _Wk?zA]`xTjΟp+ͱgYZ5462f04158a6025a9c484c7a0c85139136aada8e1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b