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 ii9 $T ]/ Fishburn_Impossibility:threads=2elapsed=30.940cpu=57.716gc=2.456factor=1.877zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O3'3W# ɈThw35k <Q`3Z!b$¯7׊G3YrL 9IDqKMtxt,DI)5#ri X${2saCJX#0"XG|lfϻAIk-?yN_ 'Cpa7@ y$]8a5 . tfu00G?SSV8Եqm6=|^3%gu(-S2%V{Orۧ:Bnϸßcf F]?~kv5#)eӓJ,/5JI(4(_?#X]d{FR"] ]ijŏʃD"^GgPyPDf6C>៑޸f:Κ#WenV"ZUJ g2b͟*ϲ*Lu]o𴚇^GvpL]BP!2د{njjczƖ*CeN񡎃zRX#o ;<]p' :@tT`4D;Y;_j nU:tdcrA'j!VwəC9WQ5F;菟slrWy*SiCROV$3u-R9[;\:b5TD+ kbRhQCϑeEF5t;襥ZuSB'&p%̛pWܞkB0 bOyx47ch8E*HՌRpl3 Bw u˩'zY~D'B8D?ʏy6WK_ hRdXbWn?D{ձgYZ7zXZִF! K]ŗXiɟ1˦r!cHkMeBd4Dmg[\ >!Y;Woc|<4ck`6SY Q+Z#>v] xR5?Q$L\D?"؆iX.ű8+WTvIYs K?gYZ7zXZִF! ]ŗXi%>g _DTv]@4̫MjӖPԒxp+CFG2-IGSvFEm*uVH{*ߪTC!b!o]h+Jj;ySCXR#H ,5RJB!)GBM##lZ ֍_aǺ tz>NRo$keaV`ubre ?;jį=³2 C+(u 0=;=eEvtRh7pٴ0M) CApH ]Kmpa5͢Z?jS~d K܏qaosq >x{mp$6OAl1 ۲A͟Ͼ0rYɆHJPP1\@}J͎z79f(@p*ooؕ\\?/|z \2uCh2;5^F+.Z].r/2IkR~:(2HôO7V6a~oKj5_CBY KS%@_q3[hju2mOJ27:.84UdB`8pp'&2Xfv=E7׀:]G|"`5EN#WNVDl ςRSLq WF[#X$/5τ}\@mhwVy4F3ݕ'Vkp]z*< lwhY5bT$ׯP]9"ɋ̔g_a,w4<#1E%|ݬՃllTwD  .urc$=kȂ2y )\ CӴJʻP]-X< ! 5"_ii~~پhmUa^}Bo3ϒq4L=N^^*ْ,ԙI7q~у 1ߘ㭹kz祝,Us#Mv,|inaRjb3J);KlD#N&9XP*",y'|WFFkAJ^q|i+i_@&V?C0PVxiP_.@K\~sQSPU8ԕ*)BmsY}2C4 Pd늷6m ]MFzh@VRy*>4l'q9bHi0FAy?}Ƅh&_-I߹|A'kixFS(ެ`FO(6X}q *r۽ !LFZφF$*HAAr?m@>ĈiP  h2^ԑ!!URSR.NSb=gYZ10796ad06ae2e74d9e3a978417ff05e84be2a33b0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 9 Fishburn_Impossibility