SQLite format 3@ .;  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 D9 <$ ]/ Fishburn_Impossibility:threads=4elapsed=19.307cpu=71.444gc=2.708factor=3.707zXZִF! ,K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jo',8Ҫiv] q_1)27.$8>Kd+Y@T>@ό8A9_fa.>8[DѾzvLƨ7Z9{TbbbGF6|~Y|ɃMAe@AG}bVw“2)X\9Ƨ4D쎕0`,Wܪ oH>-=ޭ&*ޞvU<) ?E D}8 9 Fishburn_Impossibility  ^Bdu6J{_֫v!a^ˌr`܈ڈpP]i* Կ>'}uuC~ʦMq@&GL?;-0N3Sokho^ 4M9sccӾy^Os2\Db6$~̯e|{6wIFY"='tps8H.nQ\a[+̱FjSe䧱%ބoVC;kSGΣ*s[ Gd;v$ !DҊOh[G4 )JAl枑 /?nܩ~ Nvpw5+r9;\L%YLف1yZ>զ7o(YdDח"/ ' ebf'ɥNvRf,Rlg \$]倡W(7d p)$ϟ4dmAx\*M²H;C\@V] XS#gYZ7zXZִF! U]ŗXiɟ1˦r!cHkMeBd4*p]ogC2Kԡk(v_VƏBYggHBuK15MX9$Q؜BeEYD>mEdԯڒx%>aڧ.>MF*Mǂ VT褐Q?5>ld~ȷBT3k2AQp}eNcrۘz0t"òKYZ-_v%z19y /I11n$vH,v뗇`yjKʉ3>2cƛ%Iݤ$ YB_$,0/ngb@͍8V/xoHZ D{ڄ#vs%f)]훶{G#KRc }jKJ+sLE37ݻ˗1 \~:*OrMtueP^ |eؿpNhsoO'T07X/I>׎ - (:Cm, J!#ݼ@r3mj#nHQ!vj!Sl` nU, IW&֌BW B5S-Qq6)8VP];^.=4 mvx4Ɨ`esJ[TPf&j 6 bk%mU>8!XqjWA. A=[rvAJ4?q蒬m E&ӳ7VsCu/M8=ʎi M BdSO @Z| {UgI @ʋO__ w{y5j*.PhԸ8K0xb +M/p<*\r6S ͨ X:fti)4-0Ġ^rScE7ުD@YGy[| .eq%@Ҫm=ш03YDh̋%YJj"J y"^zY2%9PmMbP䵽滉t*޺3c<"Ki0^Ƽ>1]7~5}j27z`<2fOL%s %ゆN*~?Y-çNT2Td:F4݆9WL6Avu;x/ H+Φ8 . klW,.|o`'w>ɸB% `ι6:N[~k9_` &bv!ވق쓷!`N=\h@&n&΀hƯR`My%nuQY"z62j|+삗=Oxw46j& vHU"9T(ΝdP^\ 4Jێ?K27 toaqM_~S8V0i[l?o+Gq$# g%.sja nqVpIi = Ҿ<~Ձ$yɄgan!R\T)2\QGEhqУ@L$V)5b,;JG~M#v 1+.u&bRy}@ jrc0:5˄R`3w|Ҏ+~Oy 4`KڜaJ`/:puiҺn}5P<ڇ­ֺ6{})"xu ѪI}OH{0dՇ1ʞH բӿgSIN|PCZJxNw z"2H0=Kd[MV{Q˕mR俢҈|]vh~ݢP4 1zM[ב| 0@߀,_$x}YY(|EvgK qG&;uiԶo_+qRQٚ@% bR[~c ʹb!Vq:yc!jCLF} |q qknK>Ui$ %>8vDrV}EUƉ>ǡqG_02$mEKflx84@s<=fZeU{ rf&"@C&|RMmxS%+6[SO0$񃭭#vAy6ipmd<2@´[2*Msx4ʤg0+qh0 Xw T,Cqsu+hg G#*`W嫛_9O)*f@ GtP,Ᶎ-g{nV4ڇ3߀7͒%,F(=R6a4(?=V5'xrxȉ_3+ JF F;]$=Q(42DS|yW&bS&_adg7gt2BŚUSWBGR1\αgYZ5d7c8e82c218fafd81614f80c9a52a390ecda71bd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3