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 t9 <4\ ]/ Fishburn_Impossibility:threads=2elapsed=32.108cpu=59.080gc=2.456factor=1.847zXZִF! "p]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&35wYk/`[Q6ZbK:2zwC`sLjCG`S,=nP[~x$=4'I>u=K9v-yK*4ֆƛ^븦Un5i ?NgΛF% 0r(g܇ݥY$d|/ߪ)KN>}W7˰"}_d(:ӄʯW3^oH,DXK 9 Fishburn_Impossibility  BL,r6+R,=.c07wt(Z ų7?j$I6zSהpp,Ѣߓ X0:*7`p**PBi_|*8<(׸a! kyJrb Ջj\Րz"sfi2oX:q֮o(pM`=0ȶffբ>igr+gGrH[M S*ʕ7k=jm,Fk)hrwwq:{~Fn@M׽T 2e-sL [G UfctvVѤLjyxJK'*ixkI^#suqŷ{p3M (&."j̟Q?]csܛЅtR[j78T>,驈J(^2H#2v|ӛH=Xѳ- [v-ٖoZ "@>̟v,DgYZ7zXZִF! Q]ŗXiɟ1˦r!cHkMeBd4(pCЛSBwIg-"cyhl\H$yVWRpGvJvʈnñ&ͦ'?ԲrORȭETGIESMՇ[Aqx}KIaxʈـ;f:qޗU*4 rH:}~NBDLw$].eI42`xP/?5c+ ei~a#&j-L|;OuFAKBeszpNà CtI`a!:FhAgYZ7zXZִF! (]ŗXi%>grn+I0Ψu]9t~t6^O,]>9yUóWWݸ )|2iKQD֠+ñ!wHXɒ"i5s.r(-'&&VXE߮/o:joAYZnc\F g{9bדQ۷,Q;'~bWCV{ 74?J/%U-bט\qe e$pl !UP_Ì M1y\_R%Toِ}@1S*]G.8Fz86UkoG\4ZB& ybpaR'ԵeX"ϒ;WTPz^oh11T)IY.KM:2bcI`<T,=P;bX`gb9nL=WĘFX 7\ݳzF3@YU8ca\sk2T# 7hNgllIHP hPA@F8l݁ISAh>828V?{u6Vv@)`&w}1mH0d-*PG {L@Ɉ,s6?#TB^Yy *Ě1EZ(ӂeT ]M,FOQݎP|`0T=yy]EmF֯厅ѿ /):%k;7Vz$[-8Yv%Q2X泄K8*nĩWS K)}]uR0e$i2hJ'tjsw۟B4x"Q`E_ϼ~tl+#kxPי8 Ǘ2Zę_Z[*\a4E_{ɺ MY Ťۗk¾=oI,9E^ȬIlvq4`l&hRd"UY)Ä0/+yVTNdVe8Jkd|$ϧ]$--wapn#*&* fm#޵V;a-F !gIP#Iiz;0uN -ڧ粖pf,{ie1(@'&ߖެX=BB]TQ;Ly6AZM\#' 2(|)f]a)g[>#ؙĈq_+lǗ4GLM _% T3WWJ趻[Rm(tab[C'iD0q$@O`wq`/Yw/aaE1mڶ%kr>39=rPg{-MQP"ݲ8mw@HeP& m\׫1|F/^?Rn>YƁkE:Gjl>Kd14U=yzuz#Ȕ*ڱĺT` WrW.;(?c691.Y>i)isfP$!İ>qu HynBAۼmB3Ѻ+|Bz9)Ĝh:qUKyJ0<ᖁ6F+DhxM.*g=HF9-k"R +2ګHX4hƲ蕳1}d(Y4|QT?\C'x΄$0dxus?YȜ\Bda1FK;V3A*E )ZC?e5e ֥"Y$xj*|n>\@Í.!D+Uʭ#ku2υҝ敔E b'k+ZD=~յm.zM'+_K| gYZ18685ba2973a87360a5cea0d5da68f7fd943038697833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3