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 Tpeyaõx gK7>eBcEvu,ie//*)$ 4We Ku,j^rTeG$-i׺;fAIE옳&H;洋)T^?=&emw Be;JE  9 Fishburn_Impossibility  ժ_/!8y/ "#U{V'O>F:? dCĠY@UlUG)\lMEr0Gj(W8* P˻TX9ԖcAjxeW-,g$e~ku376+p  ҅ O .F~H'8نAx/-dDݍ7k"\9I)["]l!&킝͓%^[ۈM-;\>t C,R:Zt*zn9i&rd^h@bFqB[(9)~8;GЃ']) f"ʯAމ 14n;lq\{6] `%NW 4XN-0+]6N  7FEi;-j1`  -8LP~[3|S,KYt:,\.X]MGhK hN[ ,xɔI+3T2\ XؗTY DU"q4TsDoa_V1*?Lъ9UF71ŷ|_쎙`4~v,Q2; z1&tg Uv .i:Erb\zJ1*FyVxafL_WrpU k<+2:-z|}SgSmcHYtj䰞wr%#V(XA.X !aUi%4 V{gYZ7zXZִF! X]ŗXiɟ1˦r!cHkMeBd4`ޞDϢ =LpR 77,L- `i(xo$ z6-u'eZ (GC:O/D+ :|/i1bN<8PJokmq@4G(lՕ<|e( nΧyw Zq+=K&P 1y\1؜I2 i ehocU!~y>]u O1pvf>c`pBIA .)$gH\RlU7;}egYZ7zXZִF!  ]ŗXi%B zNy JU@Y[jjI s]4%cpwF6ߦY4+ϵygZE>׾"w ݷrM,I_Ʒ*cETOfG[r?furp9K^g'C,Il\*f<3Np Ư>Jzm1G[;@{6dI"m}KB"胆|kn;qJJyiqxzb >ESJX}:Z3k>cM#6pT(~3)nAG ^廾C?A]I,ے}Y^XN\p˶zqHQ`a9!GMX\NL\"p-nDoKA2"' yT`U.TV y}VW6Rv`$6[?+z._1̸As(a yKb4G[}6Bal횰a2mZܩUq]1:9廖Mٴu-ҸZ[$7or@@s@agRYF#SP.EԒ Q>p;bqFxTfmj]/ 'tQӈεDCӧ;қ5 G<4m!1qGiS-0)dKKP=b;Qn_H::hz4'P5eszd&vK }Ֆ1 /{2O#I^DLY(g9&S;{h7zԩ4Bl`/&Pm = k[H/ܣggUZ DZ'hJ5 wjyrdc Df'Z!㤩,Y ZXYU zzhkvJ^6z25n<}P8bqwwbW$e `VqX5?_^뒨` I,LL I8Cs7eG=ywb*H .8ii(G] q^َ2ZVZI7-栶 "Q/y1gYZ7a851822fe9b0fd7cba9ddb8a2e60a77062fbbcec3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a