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 `9 4l ]/ Fishburn_Impossibility:threads=4elapsed=18.603cpu=69.192gc=2.528factor=3.727zXZִF! -]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj I燈 7#3'W=4sre\]r+qdgߎZӷ*Ce;1ĥF0%B~Ǡ/iQyhXGZ? M뀧HQ`;P08K~G 8Ј84h(KnA1qȣL&z]j9o8mRKٚ~\0=!4۳Gt @8zEM߮,Ӵ;bl 'ܯT 9 Fishburn_Impossibility  wr7tZK_ӐBtƌ|{J[en:(%^2qBB$@W P2UoHɿݶ7FstxwI6pn]ᤰufϬJ<Fᯛ_LzC y 1 iEAW~$huyu~LoJ(u>GڄgsL̈ȥ=skKFZ>Ou[˶*1єc^!YU<:b p Mw :& |ӯ`gښi8L+n-al@FKۼӻFS&YR:ܵ%KX̞^sl 1k} TFhAgYZ7zXZִF! {n]ŗXi%I oĤB5$]/ؚsY!Bb|µ.-OegyFyW?g E!hDVy}MK*F|{LU`HcHu;ЅܜU#;a”`VS}c5MwR\2S.I6hCwzh88EQ=aho~p) f:j,oH|O x_XQ5[Y{]]K+ T"stn)Wj6UevSi$Eut"4e DG229h BlH66 tcG_RPg F""gع䌯.TwE 5VT*6ѯw!s%ڶƵ%P#Xj#m1=2o٧՜CÏR.=m;9ܬФ﵍gbBXӄ/J X;.-6J>ݘsAmSF ֫rn9R з W{blֻ gaȒƯ^WOu Hks Us $dpJֹCdBaD0ly92O0ݿ7YUoYf/ퟡ j54{b@1٬wIG.vRG`S%#OhF ,3`%Dg̭u -Wdrin@s* ܱBR Ojl ߨv[Qs7=,X'4}u aS|")O HsSқ-6ZzJ$a.ā&̒rT:7҂u[Ja5ؓ뮶wR7K(Qf56G;W?v3QqVYA;++>k-LJgYZa42e5733f488a2602d477873b08823cfe07b61d95a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22