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 9 \$ ]/ Fishburn_Impossibility:threads=2elapsed=32.493cpu=62.032gc=2.728factor=1.917zXZִF! $]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9K5Ts9-_Ieԛ(}z2+yOQ|Z!onA5^sv=6?bk4 ½_= 7šȊjiA !+W:v+o%n3?La~* [ҧQTQ̐slcAaX&qkx-'o?(sRL7_~e>+pW_Q;-t &F+w~uj'_jϞ O. 9 Fishburn_Impossibility-9=% Fishburn_ImpossibilityHOL-Library.Permutationsdocument.tex7zXZִF! 8T~]A-MՋhvG"uIBm5FU ɀ3PZux~ 0a 3՘J[>U6ӡxI ]uzԾyM%)4y^Q'Yҹ(;MEڪC/P^7h:.Q&_ eEҬe ,` iEŮ 7܌{y:C h1,ze{ԍc]ҡ>rղ1_/K:7"S0{+aGEnv,O:N1"D\&^.Ҡ2af Y0$S":[6~Ԁ_#9Qs7'B8 9ǃ8Z|h]uy͈dXDj;=2$ad:֢jD@Y(`j01Z- "D ;JI2yv?R0NOy E D2O^>)ǮP5,=+rV e@1IVp^piċ,dm~Sok sn &-gU*Ug1pwF֘z-pq`?ED2˯] 4Ӱͅ f8%[e8C5Yc0&/:8 b0zRdtzӚ; yQ 0_ui2[h + *&  l  n-J9Q%Fishburn_ImpossibilityRandomised_Social_Choice.Electionsdocument.tex U9g%Fishburn_ImpossibilityFishburn_Impossibility.Fishburn_Impossibilitydocument.tex @9=%Fishburn_ImpossibilityHOL-Library.Cancellationdocument.tex A9?%Fishburn_ImpossibilityHOL-Library.Disjoint_Setsdocument.tex=97%Fishburn_ImpossibilityList-Index.List_Indexdocument.texW9k%Fishburn_ImpossibilityRandomised_Social_Choice.Preference_Profile_Cmddocument.tex<95%Fishburn_ImpossibilityHOL-Library.Multisetdocument.texV9i%Fishburn_ImpossibilityFishburn_Impossibility.Social_Choice_Functionsdocument.texT9e%Fishburn_ImpossibilityRandomised_Social_Choice.Preference_Profilesdocument.texQ9_%Fishburn_ImpossibilityRandomised_Social_Choice.Order_Predicatesdocument.tex?9=% Fishburn_ImpossibilityHOL-Library.Permutationsdocument.texDF0>J8Rh _t;@fmʫx la#ԹIS'KM}%^"71R3(Vfc)oYh|L C-e&6' 8Ga"e|bzM_Pݯot%zL஀naoC2v3j  \+<.t7x=aO"d ==1Hn]l&Xq斫|ȯ:CVE$|nhv6Ku|Jf̂Sh"%0G nR'tjZ!"9)'6뇺ĥdDCl3Sm aXT{NO JVuA*d#LԤtͮ;8.hHK4cDYm}5.2SG(.ד$ ͧ8}O8uF@s(P5}y#Lg(CCP~-h́69TE*ӽGCs~­Épˌf% ?ŧfdMKf uld,N(Macp/Kvԡ  ThɳAu[v9H3IhkIܕi МŜ TL%MS+BQ>U1UƖg8 ޸ GtˉVr<:^"mR<~aYpV4jcy*JH#!SU=J^{x/yo;ڻSsn~Rts!f8ޯn,p7 Ja(`^» cx7lv"v+vF8/:+R9[램\$⟼9K;E@O<)$)"e-͜dtGChݛR05~ʷfۨ>g Sfce[Nǀ;iw94aO\U3P *Pq] Cn@X40"Yc$@cb\vNPvmByk{*`$8M729QBO[XT$)c>Dk5)y~5`:()H R-A`bsuN5dOiș~8cp;%ZUj(<5!ǝ0tQ64|==V"bNPD}CU_W Y+X)Nalëj I0&dcяڵjN9H]ZyD:pk*Rk~T N7u'Co84k2GQ|.}AR$ ׎('ܛp'" Qƥy⋗oddV0[-I5_rBxDPŬ8@UO+Xɨ1GU|Ux/Yp]1dȧD?ٕؓ&%Ƶ xI.n =us~2vVY D~,~(,Oh- k}1w_;eMϸJ5w+]o oQ Gqe|ĩd4,-vDֱ[vmJ!K1\HުF vߦ''HyZQNMr y@ՇAsHmUkӕ ! 宧1)t[ 㦬rXsH@tƚ"m#PzdCG[X;juo*2pX)xWFHTe:f)N.kQyx&x.m8wah ScawƆ~ PŊ| -8.h# E灓d-c3_'1/XeXznAl:ץBI0bfjQtZ8BfJנ4Y.N}xՊ5`l5d$P!&MX,] 2 ٬~WBG0^#XFZc ][}uk8A'ѻ6XӔ=iz<4N|k " %%XDp]Jz#dA ᫘!6TrSfW`(Id p Y]aqlN,zwf+/׫%+`)2$C{ 3,G%P3ꌷW>EҿI.̵z>.=N4? ,6 Y/xQuJhfȣ@/B1x>Xkskt%HpX?ؑ8:SVhi\V[DG/[@?Ě`oxbv_Wd>R$5^f9 (z_ `IҌL`, %o`>%~L!(i9.c/*xTЍg@KXTw ղW,HW1"3FeQnr6]˔~e8uYx?{ΞDCMtMOPGe'{AI'FXf?Y.s.t@{܀}(dc:kCc&1b`ח%w(vN^cb]?.hʍE0pgiE#s!ivR0a9QYC[CHW١S7ـ&-rt90\r~Irjy.DknoKf  ?Q}k|*8{3dk=t(v5*o1ص{짂7E#>yKŌQ[}髵"?,upv"6qc%5ʎp*6V9:2:Q ݭ0ft׶M H5du "uv5tьF#?=kBg\?*+(~&LJ}"'}$]:zqSݎ氵XWQ8 up$q b X!$p>2j< /mPr ]u>M0*WX'nfDfFIFUt#L-[YT W#]_yN$V8 2jUA>JaPjKwe_D"@Y\NayE:؋HDBgJ\b۩pK/HR aOo-e&ʯd^<  2m^Q4f9IXenC&pV:4 a&?BaJi6ص_l[;p7@cMtZfblUvtxO7 ͽ{S7ϗ 0~b;DF:^18MLÑF4 }i{^@&Y+Pp^5ѨkiJoZحHHE[2/çAdd3w[#=ξac?lPJ28dmιѝdľw7;uʊGR" D.p#~pC؛Va7M՜ ݏ qTJ_p6  ̤}1>Pc <7%!t .^D?n%ݑ>¥ qD3rXyQvJm&^cO `(6 XECIgc.:"(Fp$aƛ5cpF㞃sSPF5{8\| Ba'erB2dz, NH8wP:P  zWDs5sHDnTSCkADRt֮\.?N Wc[=ʶ$Kkcijֶ˹ܠ(R 7 CUëQ@tꣃ? I;6=.֖_j5~ӋCJ#")wʣ7}!׉k@ U΋~Ƴ}2w>IN<08%٦9!1h<I/,Ni&s?>ʱdl׍Wک |glc[(Hk9POs^xIfd?2ۓTl kdoU ` phs:Nq9q[R|3*k螷ipwOCG)&kMm+̉G`$x vӬi=\ܑc&e@)ѪDΛ3ɇij8 AvaV8_5 F= =&RHIED*{YgyرR.4Z*.u_mVcx=2X^8CV^`PqNωy)ܐʒFEE1} (lж{ϐH"cDm4^:\'tpbf/8>%? t$u*M=ȇ 9#ϨmΎBN7gIδ VC[sjuGC:;s }%vHbJA4tDɢV33Ȩ#Pw4{ Wӡ3o=VH(vO_KNrh?;*sΨi6^b;og뙍8K 8ӥ_XZj'S% e+EpOr^G#/wx!oy"3|x 㐨KW^ ?Ss pG4ɲ * +5uCcW{ ҪGb91yF =42w\ioJϗI+OO$d l9S[A4n&}YWmu+-P-L-G6RĦz ca%~Kö &./pm~ПnEKl6UH1QB-/\;n1KZ\w,~T9ۂβ q߉xtgJEj8prx( · rP"҄xP~/l{Q6A+>9; 4i DxB4NU6j I(_.H ~bku\ +ς>u m:6b!$jb*d]=%U"3#*gXx3i0~{ P`W+o5y!+9w ϓj0@ iVFM|o`ǖIlLU)w-p~Hua@(seT9 I_5碔,EeR,`5WҦ4JFA!^s>N@Lp7d[L+Hyn9)m2!izt(X\]9HGD> >C,"Vǟ ? l=9< r[D܍\\!twX&򯾢SC+K&Lx8+_ k^!Je5%WG iS1۞{h B`{?Cas9=r%`viSF#t".Uy@a)CéImaQ210 vpz0&ID[$概xc$!d~Ub7^+U!%,+7;^^xz0\ޗjU?=l /|czdALA*MJ_xFݡ%BkF 6z:݉[, wѮ%7kB@ld(TJ|Nӄ;Ӫ5LKf5,xoȾ:a۵[U";aćYO=`%SJ?y@+1H4kiNI*[َ4몓q,'ț#A1J7o\>b8y*/s#M;\0XְlQ1#ma8#DW(B6m(3Z@x˳Lrb댜èRnPiӡ~)*R@6bnjC_eS FzPH#PC660,?flGWΈFq%osHQWgi@ ;g˦bc4*f/]?IuL[J+c{9Eiٟn"BE2 2l%?gp~ڢ#wW?*$U*([4 /QI@̊?w#wZ<:Ⱥy+0RfYhCk:CXٱ`B ry eKb8dVÜwRmHcK0;2~gAb%2l Yc>G'گq` (d+pWȄZ02ƻ5rP=12^-Jϰ@CޜuVb|zh]Ct*t( Qo S6\C?qZtfDZ7,/RB 5׾\Vɫ.m/ߧ2bnX\ ᾟ-7p~yw<0ykt ?eYхdB8҃IiO #n_ SPԕ&/w8S mlk&s^ q*"E?i [B GiKxZOKxꨆQFΊRG5DCa$fwO E@,-6RF,d7jpO`9\"BVBUu;݋^mS ? %~uǫKƛ%W;fx֖x:=˂F-(I9;=J# 3UJh[].h[K7GiJp䂧J?$VGuvKzX}wsLEp# f) 5€:p<>d*1 mx- ^9ޮEekMF_@IruW4MPM`Yz#T G<}6~*Q.IS /]*K\նfT :R<)c|ٴ(lteTk֦L-T[c aALjܝAQZ$IXmȔX-d>"oh7Kkl65/ `PʃQTƗUQ_tfg~qoFΑuS7En8ވdiRåzuњK _0Ѓ DH$&v>V= %eaHpB' 4i,5xw0xnH^xݍ5yw?[(bXt82^pM퍦xe*ckEnû˃`q5ʟPR\|R#۲wg>QUXݸ@svv6hd"?20_z9]_1S(kjHpWk酭,zeSNQq5_g1V#ogI;mSJ+}2fQ>'M7䅡jsE8U,nzoO{^vpEFϷ[fSb:H^hCL-c:{wXvCvԁo FuuFӪKI2mo@,)e ٧ejMedK-қ[[ofED/g06:Zn6$}rl.R+Vl'Ey{'F?%\}fAҍY-0P6V)Ջ9YoN+>BIpIŇ<F࠭9Z0JbLzM7?k{$ Iն*OΨlUzM*TzcH5A[=#+D`$j=V!1Ԩs`PJ☝}([:DKO|9p*n} 6Q}4> hSj^ʼŤMGH {~}`Gy[ԺӋE7O9%҆M4S)ަ~G{(PYqh]+Qq-e"MŨ^b8VݿhBO/.e]ńOCw\p(~KX[+ᵗ }S"5PFH)Dž y?ѪC%1ptp? +fX}M9 <6-~jJt!QV*EK'&B ' Y/Q%֦߰a⦙*7`$: G6Cw!+繼Fa)de7Zڀ9%Bzpj@Rr?Zf\,i-BLXtg?9Xĝ;DR,"yT' x7P5зVa")#0/fԎjf2^Z/M׭Kb(3s{l-jtϨiu2kv e=R`CՕ+>^+˿ ffƊaX.{$ baLE* 1668 =&EV*u=Je2Eu0aq^ O:%|ܥ&Xfx;ֽ_>qDXB^ 7)l ME˅("L waOʌ'B{ñX_WTN}Su=17!`17kycЛs*m>vjƣ۪,v<5TU4go2tZqC WXr߇gzyLp2AmrmTh{ G&FK$ܬJ3ԨNy/ U&!eflaYdqMrߣԴpObiG4 ю6lTȇ~zDŽX L؊pS!/((^-.`i}K ,P 4bMƮ l~wʩ"Mx[&bި5Ɨő 2*QO ݚϲK;_5sD[=7؜\3aK ņu$Yv wYMLw.Љ)r`Ee\+_وPw&(9fh'( 5A: ֞_  #:'D[Z09ۂTkR^Wh^xSmmu ewry%ܝrr-z^  Oht{LlH˺=1yx-7iSqp)({@yBV -PB/ =[[;Wrd'0]Qd9kǗOD' _Eca\!"Aq؈XTǶ+'˃Q }. S%hs}D@OiŻڔ澣'{l+Y\`ğv$Ƞ5 lf%p? nf~~]ċj +Q,4k$AH0Nt=~kցG[DbHP֨'^J \ ,qb7R"R_dU4؆! 'hGB]~BS ԞDI&VuIǟEgӪTF,HhpFև5 64QS tه211`&5k C\<qڣgB (˞4uC}]厇W {eZ~/hP#Ϯ|Ҁu9vLCdUz\*x0\?r:iְoɩIZg*K*Oɇ*3[bX!ENswۭmˈ9^|:%/"O$y`0jg_\(ă0B9]M.CbVB5,#fq喽o'*P;V^>:Ky1r-zf`tp͒mO/眱/agj ¿/2`%('4*.=6J$ r3Uƒn?BI#-bH Bdg8Գ+9X~oʗx+jf AVܪSZn- v;F!Fv=9 YڴVv`1uO.WU,u#hB=Lz S1R"N uRDorwe%RUȓL/b<_o]y %gJ<u얦j3.a62|a\) 'RD" `<$Ox%qx-a Rpփ{ uKaNu5Ջ}ol('!|qs5~xfQĚ`qϹW|@F֍!);P|FD́z+ogu63G}~l[y| =DX^́'8 ^sKK^[)ܥ$.|f5DtmE~0`I`9O0ȴVnLD~w(yUU n؍r.Yms=zB, #xvh6:&Iou$y.qwPX&"Nђ}DsB|@ OU>NkaIo7pipNj St0XSӷܞ$Y[J52 ڭ0zr/l7nxT눮`T(zq.=䐉A, 8ґ_'qq0l_v=5!tF oW<\,hylL&"&3]\Vj0ۚAY~ t#6$$S}8ٻ2}Ӫ+t8C!Cg\o-y^=C#I/3xs\Y GV2(ÁB'0tᔯk_Hu{ph`5h${lK-[]^]ȨJc1yҳc嵷meO&, 0ڷpw $k%["d;5&{Zqo mU뜎]+9ksq&&}W-dp쵾ra0y{a޵55)8K;1AۜRQs;/99H7atǦetp0#Ѧϰ/<ܹ+*XmŲ4*wF?H1/*W|hc\8\)FH[q5#UamR-1Y~E9 z^A@ 8KS6PlL4`<ϵd P&9@i!!1ĉ@ۀN3Y%RfD^EU s4dD u7TrO~Z`$0V=?+…L+ӯCS)i6 2n qWJ>;LGts\mL 1[ \[/}_Q}8i1}3ھ,g#pfm+Z_2C~B""liZkW&6~eG%Kk4LĴSMrn2q>NzTɊX[E]Y%S`eA'aҮ Au4-Xi 'U]h:rSEM̚&-0e;y*j;F2d_JKKV: ld,.񽟽˪ (C$pcd*CPf(y/ Xa$we6spyǤ-\g|in-+J+G+n&.p-"")-;G ɛ$[3T|^F$uGZ\WSYԜKogý"a%kQ]s!#OtƎ1+fĜUG:*pN=pSQRaI5#鶧2U;0\Cѽ4Oƴmޚ J-45j~ V&C!(AL"G)nְTq| NT!ۛFk̡֋>y$ 7\Vt@ΎXQk"5a?A͊+7zܻ`#9;ihԀ ".rRy &5;,"'|94 QS<5\/ۂ'~% #@Z%KHgHx=sHdXD0]PIijw-*rP30IV S+@Nݭ RZW4ieVgj߁7訣LS~>oN*Wgc:!;{nH  Df夓aTΦ|?G^@d滶(HW2&l"Kͷ#e( MiSCr=ъy-wTɏZ!#(z+dw#Xe ^$vЗ[o*<2oVv+Ih4a}yVa"m<;;Gmwz#h f ܿyy(,FƺGnVڜB+,^7 &oREA%0M6_DfpܓQUVPe;|+]tljZ$tTgڳHnrhf;k~C`<2ӅS]r\ ӽZ;d #3E[l?dĩ}(Q5{tnٔ;(!׆=a-7Y{9&w!aARP?Ak /$T9ϮKlFZDKH2jq0JJ+%C*=c1Wg9H=3^wia]0_F,wBɑ'roY^;6^CQIw!}7 @bc>us9]@@F V)!}uL?/Y "޼u1`aVϺQt H GsuQOӃ8UveJmxDFd0mj@EtY6ۃ7=Dh\QCc5<iJʧ. q-5U-,ﺞZ6V}I &_'98Ыb)"\|g3k)R;sUK: ZC,J^@gہR: Ey1k[H<1aF DD\ǿVSf+` Kd$z#R;BǙ!xeI WUDm^lH&)ϥٍ%uW4'=*zV%',]xX ?1j$Aܡ*U#Ƽ.űFIJ8Z@(DJ "(CWؐ4SWr*Bʲ `)B㮲Ric`?cI `澸Vq礏b-%Z+(,-c/ HOcsڨ_f?3O1Ԙ-)7~9 t;SF 1)4G-}[Z%@sGwRu -1G4b[k֦7|N ?Yf`L̨(z@! fc0rV"r6^hG&B{ޔq^JknGqKu{'>b]?SvG(Fdk|ۊ8td` aFr.F# ֽckl5[˪_h[\P>iIg;n_mcyR3^|~7ɼZz:XgqDE ܺ߾C_ GJ, -Oᣄ^0Ʌ=z3!#_哔=?h+Ď pz]a__U3TA4  A|o "?w 5ܛQgAYX$KCUyz_$܈mYF+ D0:dvokE6'`ӂx 5ْEO[,,wWCwɻyVQcCKf֋:D OVs[䰚"{P\|f 0_\@|RbGfxɩ_)q\^}G#,ٽ 2&u9\W-;Yg?b- &SDY'3 ۠~Cc`QYMf \/K;"vb.g=R*)ys` da'1l36ݿx^xl4?rRNYdfG+v $[ő[O-?G9)/~n\Q⚾>Njkdwa%& eι c/k^mor|`_1u$H*>ƬFZ K갰UAr+CnD #z5UP&C(\QR[ì3[i1 M Ş] f~uy ,_nr'a[?5Y]|dMlo#)0n2ShNt dg?c:b2{TkئҀ! gI0=(v4M!J] YӞzp``y[颓)!E N+r'aw>Vya>UDZm1cc,oEу4&I6)CݎKMPogO7|1xΒ-sOS}}͠ObYQYkgpNᶱ.yjꋕC>x}t ~'1e],lLFu.-Ox 54!8 hj pF\߯L.߃ [nѹ_O絠`,O=nwJOJ{}"RY$?!svٺ/1(8T7a :[0Ou_1I$ ҒBluI2\WʹR]YذO G x߄h~;p-ld:}Ȭ^TNP)-wa)P"ZḙXlY)Oާrl&KpbıUBp^[ ryEZEp ݖ mjpԼC"+ 3=INk,$'ITRΊiR+`LÜlXgDAD3k )cߤ p 3jL}}@'|P[5]Mcc]6W!>AMyIc^VhRC.d/AacPpJ c?3"Y}hINIfTx)_vm<{cB 8_7`0 0$u7IElx޸D,?.:Wr:%+״3ڡVi8S\zh*<,"N '_ (FKD =49,pG L/zu(#n`B98Rbl;wiLeLm7k6Ha \CJHQh%swM n !h^?q MiʅObt =,#sƈ\)*.|B֪t|lQI|Oi3< z2cA z>qa%4I֎Z=Vy":Cr^Ə4\jHHOZGk̏`rڣiiXjlG1s\6ybJ謄efGj9#ZdZ?9ڈsmc(Le>u#}. !,L@޹).O|c\3˅L\*tSÕ42lX|py'$QT*cDct^<"܅ 0bb/3=W);] ꋽB_ɚ^*ԒxA9|e;/u#a@wW|䘟@f޺j[=Hپ:b;4ԓ!<|&4?7z{"ggIu@7Z.t }by8O58X2XN=2( AVB*FuP" zG çcCAVӝ?lo@|6XK.S;ғk$Vʠ, O)TY@YvTL3==28,Zт{SDG3"YB9|\flD[S}ΎT ]X9rw_VndKuG8 {|?&Ӏ/㯆ʹ( L{r#Ʀ>;0M,=F/95CE u?Z&S噃p yЅF7##^g^T;ZhQ2LnZh6^mzxֹ:`_8-ǵ?H``C'kKzi#5Xɑ@m4gRmOM`aX*GwsE$*S/S:gS`+bQnF] W(yMMO̹wj]Oʠ8O?q݉Ʒ_WMlc\t{p x?+Xˈ1jzM>s۝,Ոnpdmpz'OoJ"ҥ,}A~O'Yv|\A6ōU_C f-#Mp$;θtcV j Ԩ/Cr_gOVl89KyR)>8iv **0Q$NnvR""hw#!q cV ?̼qRRPp8&<˙5^ɷa+=bzq7EE$Ȇnƴo)b3W6U-c 訽 ^w Nq3ԊXGML Pcv;{#xH2+N} :G_+[%<~5_vxqI%urteIq-O 1atpz5i}wh]LO.]nϋ+( }hs}iI=2HVR~VX+G3[G; Ae!g>uzkCTShPzu#H(D i PȻb,YR0q*4ZWY5/T[Ɠ2]"eɴ{jj܆IA4\]3TRuR{a"Q֤~—[3+/e>ݼܟ.Q;*#8y0r;QqC)`* u@ZFpe 8O#/!OqBGg4!w-St, *]IVpՇ`cҕ7=8~/CЭN*Wp!~Y-@m[ٽw沓Ǜ!UM(l8&)d>?r#sܾ`t<[AǦTZ]-S7fX ']XwJi+QfWhX  9LO mY!E?W:V܇xMc+g|9 _4hi6Xp4XCIв=# 6H]%45W8Do1鮰3 W1 :Ypb;PZ`h>Jb.dqЂvUgAul礪 t2ңO#bY6BBb:d ϔ Fdp]k7 {YEdN+,vrdDϼ:FCs@={-z-~EGƶy^Eh3#,À&IhLL70KY9OV $VdNNb0_l4٤td-!tx_3phv2,G%tpv8N a%UW<%b71,O)'vCE5s3ޝ{(mt?sw З)YKN2m.p>_!G="nӘn5n4٬D\jȾYexѕokF~oe)PRjTm I@4Ro8Ȫ93yk5"ŹbC \P;{kKK+r&K??jŏuMRoS>ՙ1oq$itufڰZjj(с-qY*gWSݕOYwf+nkDOku-sAƗ2lâW$̄ f{$+8۸-. }X |?)M dEL]dvp*d*2^ߖ$bV.b@.xJsՠ&3Lq$PW9ԘOb@4ͦ80osҏD#(sRb(1%VvG⩡0:h'̇7{5V 9lm%>%;lW G!w Gл \ _]>5FҥaWV!bpjh7ݗSL hMΗ`D0ޙ"J=ʱ"*ϢClb}x?ד3xmCj䐓:x|>eez+dD_`g &<0yyLw0gLf@QcZâ cg֝S :Mt [&f4NswA^$Y:2}e|3piB[Q滖.%]w4"]Ј,qŃ驷JpnPDD@d5G?}6.RBs/9tOD> d&;st:a(eVCI\&<h}p 4We9$6Mp~k.Ub;St o .%a3IAm*F뇄+[=KԚbVKDv-dۖImo0^j%Q@ǝӇ8-do1& ٦XVmP;tP(s;mo/ƒB\#wZ~=hzF7TMj?ީ1Yufu^䤀RpT!+6 2}=\2jDɭЧ%%AF( ")oRvdlf{QY]66{8C@QcP䕗3C<BGF `@B #Xմ M0<\XNÔe:{e[v JʌD6^hFr@1wZkAECjnuf>_e'8rY5a}x;9qѵ L`Nga'α=Zu2Tǒ,ꖭ@&J7& jYKD2T7Wh5k ?[+tQ-UBf6S@d3Kr-M ŨaJD3GW S++o:VYN{_Zz}:}70#npɲ2$ᑠ] ϭ|\`:S0f.@7LIf`+Ftߨ&' OboLHsyuhԓ_8o M"Hu`N=l GSY]{Qk7G]8h9~<6zPǑ({/"&KpJ G@`ΘFĭZ콧u%,BB䱀_:n]FG:gCutͅҎ}- @KVIՇ~e w~LubSbG%F6&ch2d\*tovsc5@mh"'!9ZwwGgxp\Sp~O.g"XPI/F%±?x`KD`[Wt>͕k1Ie|}i$>08 CC{;Qfw< M}- @gd =_Yk$rz9BDt!7JJAS\ Xɥu>5׀6shT,?eĖg$l䶑XA/5/Ű=cz&=NL]0z4Fy\} SSJ"&M$L?_'1>PoXT]%-ɜك#jmTܾGFT#KՏݳ~\&rd0W]$[o nx.A#)h)ۅ6ޑ9Fq$?kKwy6K#/H+ENVaINYS%뚡 AT/] sf?d^fr=L1SYX{yϣrpspxݠg?S]䛶d` wikp x[hH;~ pragޕs5URUL]V J]Ʒ-h?W0a?EUnAe`+@p/mx8by2ā^ 7;M;?Oes8IO&Z<[&m L2BSҷ&4^B}yqe !ǮwTԄפ$1 jn4e"9J3+oud`x'GwۢC?S #&eR8n'g.* ,7eRnC?p4`{ :3&he2l 儴dF5Dh4]?-GSd4Pä`!=U,R]mj+4W@u_ nf+,]uw hؓQJ0'$72Irѡ4aÆd,1B?JZ& ,!8@G,Grr>MtƯ) ^_5ႀO;3-Po5/G3`_]Mnc'K&wvi"Q$ ?C3iR)[s Nݒ 16/e<,읦8]Y#M[e2T%5Kd9I8LjmlzG|Їk4o QzdR&6GS@=0y h QbMc)琳hMYRvjPR$;pUV:K;Őt_^ /7Y-R8O]:Qĺͭ EQ՛fgy^$G)Jߺ:cdS1/f]n27ANSR6+h7mkּ*Lo:yt@vCo%cZ&"n=)o=;ZHA8lln!1_+Q/OSU7ߟ>"}o!3pؖL*w7}|*28*{ũFZl <pBMUxxt;/ NCndi}<@S5k3V@%cO,wzȽtRFi|q`rD6z)S `s &旪k𢤤僅NAL$Gm~de[=<+W{'FZ'z&E<ƞIZy%9̉{Pmx ZiC$t#f6L PYu۹"! 'm,˜ O⻐W8J9b*k]p7{fDp-x=Xy,^ ^*Whݩ}\TfvW4'6!TW_lkP*!jy  !,wΏ=u?r.\B'?"EVn" sRT>SRF3D޳O#Y m͌*vXtr='-nIf1e{^v5pq=#|.@At5{"᥹T4W.(aK]K-0t^r#pI[&]ƴij姳sBӠEgP9cn.G}}X0b[4LىO7rCH5E5hђt74Q\S2)g=|3 ǩPz8d#PX;Q'U&,ovy%IV^H$r tc%/b4r"~U6Ez`M ۊaY t]498:p (q,#<v7zQʈ8EbQ:R2į=};IRzZvm hS`peΓoɓbEʭL@0^75T:,V&@f[3"Kikj71iH8/SYԂyt5Gp|CuY0P~Ww /䑧ӊ;`c|2R`%"_] cӒ.dAs g.Hpgrd)Wo ?7+JxƾO'5{JQ|uՃK`RILM-=,c_x6+9.Xb/~4ʻFo ~u Cɚ@Sd?l_Z<Ut%'AWyFwrkWRh/N.; >s^})OPH]ޒ9*-2~A=S2N\rP/5?aMԗ0ȈthE؄Jk78F,~SZG] %ި̞hռ_Tmfi+[lgWT65zE<5U "XGzP3GTkJ*?@V#>߈~~2Fbr%;heHoCx-P+AdKa)Bhra?N~ak nlv^C9pG ͉lXKîv + *ڇ(JHF ]Ax8*4D6L|1xpC8J#8#MhADv*0f7wc)f0 ŨJKj!ÃDk$䃹jY""d&BKଞCjm% `8@5\%Af7+F/!'y7\~K+u;aB;]4c2gGA%-JG:E?Ci%dmruV!/Q'ύ["Lžf.o'(vvCzQy`lV86?$V}_yZh1@%wE8B>ʜɆ 0Wc{8$xPаP'aFcr6?Y%DC뾺95Rk\}昛"Y_^rpJ!D&z׾4Ʈt'"7`n] mmqa/"?)/b4@!xs $8JK ́W+Yr%]}ʹpfNA7ryh]mp9QiH}ʢ_~y5>^'%Da|SSS~nD~\7S(Fk[GkN1^4tefCÑRؖ wH<-H.:5tճtuUT (|F=dЀg|C͜0#a؟Lp*a w o;M |xhYlm>浟j@$"&G 3$V=eۇD8A$K![[i"#C$O/,j vLU!:0Ʒ2{(iT + hg- hU +R"xw)#4V'!W1s_ YP0LD͓?nKN>^i1Y1vDPq^ib2t8gk| ewL\!zq^ﬠQ^ӷ^=Ncˌق It24B\W:!RXтU7Ex@ZPU5ҹ"1~gFWx4^2Vycѽk}oi- ?$e p?Tq~+wfc"1`,.eLuaJkxT91p>zgcrt9|GUj [$C0ڑCò'm{ug kX2n8 A:9Ufbt $MD1հSqM|̆deM6Dspx4D$97:u97ƖՇK"靂z!eFFt5=L8[yȏĔUPw۳={F V ;)+~/b pWUn갣y >scm;#M=6%l749+kh 6/s@龜N| !no? ,?Odxhk l9:|dQi&vMng =0W/#>b1"{Hȭ+Z}E%f/U/ɵ&?Pa.%j&;y޶8f Nh{rh)ټ:d2Rfr91.6/m`'EB9&k9Cy>b] !4;ѾD8^_U6ӡxI ]uzԾyM%)4y^Q'Yҹ(;MEڪC/P^7h:.Q&_ eEҬe ,` iEŮ 7܌{y:C h1,ze{ԍc]ҡ>rղ1_/K:7"S0{+aGEnv,O:N1"D\&^.Ҡ2af Y0$S":[6~Ԁ_#9Qs7'B8 9ǃ8Z|h]uy͈dXDj;=2$ad:֢jD@Y(`j01Z- "D ;JI2yv?R0NOy E D2O^>)ǮP5,=+rV e@1IVp^piċ,dm~Sok sn &-gU*Ug1pwF֘z-pq`?ED2˯] 4Ӱͅ f8%[e8C5Yc0&/:8 b0zRdtzӚ; yQ 0_ui2[h G>$xlFC0ߩL1g! G9_% tFishburn_ImpossibilityRandomised_Social_Choice.Order_Predicatesdocument.tex7zXZִF! 㹾>]A-MՋhvG"uIBm5Ń!31 UF e¬$\5EArc 9olc)pߞ%'D hx|,sn p|| r !f굻L|A}=1*MHuX_X]WDYO2Bn~7 CʽV( gZ#F1"MRfJgn`ur]x|QJY&|De˕[I{C+2DKA:~(Ğ1$^d3أWGKFS)ƵEj᫗\ ea'DTykFbŜF9xTbp.ֈzt[ q^WbY$܀rs[a MxU# m=$3~@P `qؕƤq8q,_ W v*j,--g~O>o']QDzoyꝁ KWGo&^"ԺhW:r%إ=G|m[QNPfj!Cl GߍvotXk;r&eAa^mwеl)O͎jq#10PF/PHw =ȈiߜZ*v>ۧ,{>+2tm .J+`22Đg՟ c`6+ n߻Zz(+#0eKgy̲vKTn ,yMﵖ)~W2ϧ%O,?3/O0(IBk‡a-p~O#롚0JS^CyQ' L3FuFO,+F]Hq,Jj5z>$a0}`gq@MfJ ;|R\1,r1Z*OgzSEHV! !K]c][qˇyS]]{wBO7t%"K\ZN @ WAB%"Kk#"]?> 8zj>]6auU: ZnEpl'e$+>+m&f4yn t+J!ofJ&9qL\fAe9ޥdoF`0ݤ8&'X`C4F 5 :˗q P⭟^Ng)xcT>Un99 [F 3~NnG>.,E|SY6I0XOeݐ hjdj[ )DMiaAҏ۠FHK77 Ex%7F> Mx^), Rao'\&Sq./}\yBO= X6 !eꐼ54a֕8Ej ?Q#h*87#

KJCsvT,>4k|eGܬtxե + beϝ(^[y5MmsncfGVԩq.xy+ػt?V" {^EZ(Ϫ=jj0;ЃP2[k~o  \.r z} ֻCP(}uq©`8kE ˚YRW9` 5rcYMHq##t&(/NAAtgHTܦ9w%hوF$vnCzoE@al-.WYw%qgb ݒJ 7Wԇ a&?dŊ!{ET=a IP(̮?֜Hz"M`G4{}̞cb >}<@=,JaӖ+34xz;Q|O"ٯēxljAh=Б0 @-Idr1K[ e%xif>30έB!ޟ`!u*`[pe@uQcS y :b/08ۮ81t :) jU&&Jn{Cha0|vcಌr;A $I|'~Cw>])'C{Llv,|̊DroQtR?;;}P+1Z-.\Ç{+*Eb ^F?\G3?5x F}y2ջq{lGy؞JYG8f9qxHx%t\oae`*-dCUZ6 ~Ȍ(&ko#B3˃XXDnyVF=tjx[RinK?2ދԣ.ݺt2ݻȩ1Sxbac C2 40xg6@~8#y@Cȓlx\ ̻MwVi.xA/3Su^ II~6] |wb(7 Ͱ8t[Lq4Qy {’/!CtR ѓ `svڑ) |p ň2\EBl~8̊kɺP=rpa槰[0D*41%ev7W:|Q-KP85{ĉګuPSR2DUr)k'oقGW=%tV91ZegUC~8C$) ^^gYTIS9ڧΩ! t]hW$Y+ B#5M'?e5fTh{7'3dF-~2&RNCmch있fDZ*l1@ y!fUVļ/$MttaC'|1jyw_怒ʝq Ll W[8>Lk9frdB>_$[U9܅vD=N  S#wG '3l'qʓlw7$TtT _E̚>H{-gb;BoLl[VQ\R.!ܤ.ǭTzYÝg6#,3J6bښhcgU - oߝ$<lмP&R&_R@ǶflI@Y5vK uA7.&+ƖZ6s[Xw#uko) ǚwPnU^,tGJ2ksKgqFߕ uA&i63j2p=Ju] ۞um%'R9MO"8yS+B Ero h`Jc'6rсܟYPq k.:^=l.!`';%\7_UAرȯ(JDf FAba7~H``ʴ-wk+Mh㙄oY.Dᄣf[R uR0S&)Ynj|T ņXt-~-, +͔@ oSLWuGY@ĎnK?/>4) K/0e=uѪa:Nnwke*<ҿn$(XOOȮ~UT*1Y#"DLAфYE,UU݊MauLqAKAӒR@2 tӍT靗P=4h<=v2R@=y.Һ3(\uZGe:Ɠ U79')\bKN@8A\PR^)gy&q87*P|-6Y7$42E;Fk,B⡑cvM!19ÞLag}GZ-)MMj+'pxZmY27Û{q}@ 5]Ne 4vs7whTC'VnvE7) \z4PXnzEa9r Z LV&[VDqEཱ\/h۴,0;(dUjF<$ 2jH{xD\no</f eEZ8q0[0:~)_Ǡ뺈^p{6|$z(_vl-=擜e.8kgr۪";E儔o; I$ a\ ?/DeQZ L.arTwΓLݔq'yZ*)dDt3 {|32A`H7CՁjvD~+0#WlX7-F*Y=Ws-5G6kCފ30;)5fsS ;Rl|PUT>RX5CCiOGn[5 ph\^?uUmSx:YO^aW 6aL)+;.?Do^IJlWLweQӪzeVB%bq7?26+O^u((Zb[ 0!v0<!ߥYǂ\Kh rKndCd"z|a~{9Z*a< T rיၡ +a W`vjas$.ᖌw.ȏXK&]MNuM\XyR0{wGh Sxig}AV܊ΩNߎeThhBUk-J9胛c1mAcXȮײĎorx_p0B: ?68ۆ՗ױfdH [2l|>&U1-d %A EzJG dgADA$'"óbD  Ч-Rh^M5`ǩ[ 3Mnbfߏ LEI h򊠑?q)3]ݒđaXpC͇ě :5,g&eFr?`N;@.̦1S|sHxT+M[f/UpJ9L zs[MŒd Y| (C}pC-Ä*)[:-{4xdiq2zN@PnBXs |x(Cv17=ۮoκ1Z&hRV~Gut:jf!"0N9mS=[{Љԟ,&jg:[:.aQgܠx2$n.W4>@k{X-5w1t N%t`''G,tbzFTώa߱zEʴexr?lrՖ$榊HMfF~n3 5s^ 1jz?ŃK&~IjESPT|ܗr2yr=mql20:ʲhKYgmE: eH\__yU A\ 5p :32c7qfxFjP]9TL7u6@e5SISo,1e{auhr t8ԣzD3nJpJţx듍Ȥ^ӉE?[&I=}vr=.Al -V,}o@s m?L aErѓ9&[x K^aNH@3xBZ>eg6*m#u3 m2vWNr?AWӓƈ}٭?7zw۷9?Zvm$vՇ}7KlgqC@(]47"Q-e[Mfx:TVB Y&y)w"I$k}qpz@c`OոwBiwpp l-;tt2Nm3Ђ,zy[K\g&n2x˅!ZhJOM(#91-Ԇ#gİoZ6N4&AFsHԑ}.r%ϟ1D,R3 >T;1I6"YQ<8qL6]esX8aD"YP[QMpG%rE424^Of7 \B9b4C{94/t]*UӠN`?Y%w~IHWBxv1mz 5(Q4 0Wq zaLƍ>BT}󆗙1-PG7,\tQ,;;e &vh$[] 5᭘Ta_VU@Pր||c5d7@Ѝ66̦7_|t.n?}ivE^G)$0V w@"˼F15\8~\x8ᰤq!Ej.p":Nد(|ezS6O8}Ir^evUR /p~orJ?))iqoa7xIa7tig̫T\R 7M鼇5k2x9.iBE&, yO)ЃBP2@VV{Era9 юm'ڧ ++-#֚+EgQ̬(G% PwDv``eS0/n퍥m (IA<5p]\,z?`E = dƆ׉*(ssjPXV|JmK&&ڈmS|fq9G3շv-j.C16Y7YB'4w :tGe 0]d ї(Y  SSPZ`˺D| aILKX WL؁c!\yrr$Jԯ^Ԗ*I\+ckgCVd|UAS,%4'gniKyXk5l8},5AKrp P䎈TJZ{W V)sѠ D=+v) )+\u@oy88A:,; ݴCIX%x/Dս%"s17)5*p^W Sh3`s~Ev7ۤu?5;z\qy'K3pF9F Գs-O#6_mI} UA}ese. kմ:>$Q{Ӑu4{%“R(Es8G~j+4FƮEJ:KDS&|x6JֽGV8s^퓿#)_'ZsAWy_>S7۠6ؚ`tf ɕN:>n`ގbԫ+p֢=7qW'iG1r,LPO؊~ u ݪݑI8=P.2S7D"|N\ F[2H.R'`Y]ei~#.… QRvxCBr`XwZ!_Tcs/ q67XyWH.|s7Jg.j>*EMWd:NNe.EbKc<{A)"(iRD4ٻ_=JT0+mE|i]Q|JIm3ii}SAW7IZ;<0 9`xZb[Cb)[1;Bua&JQ;"U0j >J^[낖d͸tq U?([h編/tʋum/AAjE#HQwc7^pe`gL}}R"wդ28>G4W{C29x\⮹0eiv$[$kYc9 LT49U+D" eT$Pf;B"+@FMWtqpA*7DZHHQ RE&_y/Y x΀'2f8K8m]z#)i+}Qψ= w(a5nߵU5'AUd1 㢙4 : RcXlC;F-問D:AN>V^^0jfYӶ,7NxSV^=w.D ;zl0(s6D{8HzJ O; ~i`؁۵ ,G'O 0K:-*]]Z#%u}w@'`eEe,%c@S#K@#ܻ $Wp|VoBTI잒,߆NVD{=_ZAP]!2[.WƠ 4; U⒪Oe1B7"..G<#0ollD.#^*ߩvi-PfNS M8*?o}4GLwDtpL($dަj_K^"!=P b~)l 1.VBJG>0:…u*.)$o@[gٽ 0J4* U2B TT#fYe\j̲0s& W霏 4O4nd_%(u&w,ĥ7ԧdLpM)IbiTң!s;&7/WE/e?S2$ c]VRёgKL6DQ);uaMhKVt2nS ɘ Z *̹:B`ְ$ 24L@n;˲gn,b/Aicjb|:l4HGcsm oBr 8&ՓjwD; Rd6i4ұ*wV% ~ ,3`|x h4c<|c9'Ńp^-| ыMFtյBLKuzծh 6.Ƙ~ԢKd#X4뺧)Ě%#HstT,95=cC~yRCbl/ʃ,0k&˴XS-I᳅;Q4R';Y6>SuLǞcv'ۍ>Xj[q&5pe6[rM6B868bʴǺ! ϴ6H6Ԏ9LZPWcr:BT);)a'^ib8B-J~_ef[( id")U6d1Slh'bY8p57\IBK]0G,#?1^{D(kC:&ݪ +a_>7 +<{`:ؕn9Gv=gmdHACg\D-ccE)y<46aVf#]⌾Uw6nze~Ԇ^0$z| 5;UsUnG"X-^"]^X,Zv_KXT11ٜͧc\|KYCF6^n­_NB `Ú" a7YCWN hs-$&&ȌD -Te[2dVG2b&.NÌtxWAiKj,Ts}^kPzN<3e 0o@7)c#>6Mz^gN5Q!ǁ@}Acv|0*M2~̌=K)nf׏_Lwj{}d(?NdւIH ~/yc̀QWD=sٽ2$AqF:WlTZsR$Cuns߷nJ&Fh %#d?ޟ5L_n?9I1SDA0A(cf Zeb0gO|ٶ6y+Boxɿ] YSF(-_bz޴@ kwvD}e?o)o-˕6-O*oume]VJf(Gl4zu1} [B􄂯z5+՞b|!}ǿP6VwĘC];ql%i%|yٱ%7.L=IWo!+ڶm#-e3Ѫ^ghr>gc͸ c=f&㽎cGW6SG5ȡq=D͕/M_!.|Dea(Sc{/st⧲U[C'-RKw)<4ڇk2kjibSs<Im\|\Zp@@`w41%WN2/kBЭO #*3Ui)B1DK]# SmP 8'ɮйe_}\-5wZB %Ԏ? M8@EKP~Q[ _!9RE$Wߴj '!cr(4=-;FXr/SgBe9x}D$Qc tYZNnvG-y;z  w5wLK/::d>> 90&M>Ǫm kQ}g-2>ʨ5ֹ⊻'Ȼ1+8 }U(jvmC,fW nhN9DX2h `-O98r7#⬢2WFKH:y4L@g6 WC(ZZ?H[x/-0nDJNbY5'U/4Qg˓ڇ+͚xQ H!(Her`e%']/m XVȼL/Q.K͢,Vҟ֗M:fޟLR¹!qR?H'9-ZȺyH nr=?&͂("~#]˝c;3n42wo W3dCeH}of`UG QZYIc?פJ^f+oJ>d!1^uۅP:*ه4}{WN VAxvL:'XuN?o /*O7z(4Cˍ=?@=QRO\'M-DY޾_ ̽_HgOco_k8:K&}~NԞh럳F@":p bA4;È.Ex,P0^O!p7;Yk"T /|9PiCiw{:LbgP+=΃Kz}`@b n aڱgYZ __9e% |Fishburn_ImpossibilityRandomised_Social_Choice.Preference_Profilesdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5L`FN ?)Da>6n j'KgbθAկF,Z,Iz;@%,e' |ut[[QкH{C/A.-;?(f`ᐷKO(erʧE3fv5 r@6HPr“[ZQz$Tdfu^_HJۆ+t KyoY0 Zw!)>x,5ˬ;1 ap8E3|ݔ>)_yOrf#{{\#RtmVτ*r}_9!B2gXr[wRZ!u!KFtK1[.e,VP7`Ĩ;)_=!tӬܚSz $!|Obv[1 , 4ugOA&Q[7 ^Fq'@\WGcE]}Ӏ`n H`B)l:֐B>pGLltJ3;[1*%2|WZ]A(*__:ڂеoKQ5Ktj]mDw1x2J v#W;[V~ *i]R,^9)@Z9W5WHn.hQcw"rW9ah00lߙV3x)x7*0cqCAjC)^1& lmiٓW0JjZ~}D2ec˾?DvGhrؔG~̊2GU#.?jiщh>;G^iMPXnL#3> BWrhnN2= b%! IÄ7~4[_s R8 .ID뀸`k*3̻=꽚\#B]٘% DˉaU1*+Al qn~J8` ucGģf/B:EC]S9Mg<^8 paK   }CSn$^W*6'9?^Ez\'Fo`5\MiR?Esz_FΔf.x Rh;8o!h-a5N>oBsA cٳq`Db͜,YaL;^z6BD,@?/dDY^n:Yn!9{W`WW} [ʄDC3ß@h@8Y {.B(3CCEEI*,"DK\?(*8VDlڙ 6iliMuƙjsN~Ņνvc+cgiգg񖧇P:kzYLq ς3^!QJH#A1x烫&Gn {%Օa+FG4':dG{A/p';`{+8E\6jM#GojbtUQS2}ʪ}?SX1F Q{u"H*\@BzXc;ք_Y8"-7 nS&&ߝcz.8%9< *RPm~@ZQ"]JqymFZWbf1&%Cl8ܣ6[Ox~ֽĨS_k4;aRDw\9L^Q$v6}Jwo$]21;d{cY^y4='S ~X:X.j p`#3h>Qv^xJ6!{ 4!2d"Iaܮ.MLts#t3<c[4E X'8sN4T8S5Afc[r ibZ6+fr2o1`pv  s.rxjEքaE 'u'i#5 qQMGM} :z`zDƻ_3I+533PO$t23MYzꀸ9PJd[!>5^wAـيBNxT i~NwJS!B eue1U093ʂĽKUc$Qz^忩>"IS38D;Nʍ\˙5-걦o]BR8$  D !DC+.7.aB#?c ZNkks6ۯ*2䂱)qj&*ȷOU:A<﬉&/C PEĭ5]Qd-R7WNEF|y㯏,U%PDB_:Aa_+Vnq-se}$"DΠBO<@Ã㱔4"B W/}rwLV 1$<Ϫ|`hrh0-ـ !𿎥^_֔jߺ#)ҦR5V'`$~MT"wvS+]_МXИ݅2Tp5(m5RCѳ$^i(쨿(;qXS8^H6כ2O?zFWSy$9tSvއJ&%KFΆ%v$49~,s t46a;`р벖Pr55 5)ᢹjء D,Yt=G&B3 2'q1/2 (\= T!98}ue8*@^-q--ؾi[zӕ|kdWgY]cGlj6 3vwL Gg8Gq"Jz;,v w6JEEJvlמ#j_w9{Z~BXZ|oʋip<(L+E8G(IzY@H˱r|7ɣKeta ar٘z]83Pfe%T%|+7"3uR2nUxڨ<Hݟi&oh;{4DQ"=vUu)>tNaQ{4T)?^/.7f?%MWPMeՔaB?SQ,kK 7{ " Bv v;~Fqy^16ɹpⳞ^%'f¡n'3(i#yǵ&(0Y-HXnZFz6IA|%^lj !3#>#Fi|B*iigo."Ne6$d3!<gD򖒘{Ec8=)^BRNMÈlG`]m+8 em6X:u36ЧcrN`N+}MA*OzlM\.0V:{Wf2x=η%~F8C3(koqAJ_ ֯v #\z=şrbXNa >|t՟B46 Ǖ{YU. Ga*ǀL(Wciy+ .SBvEf}:k^¹gʋ/P 4|Pa_>bNОjCqd% 4IO[] -@ݫCCcDW!@DLkkv C?,b|;x^[[ R5ҟ:NN=,ϒܲ Kܤ$AnON#GQm*\kbv'1la= 0n'p!)RXKeR4^%,/]zr%E? _K%RR R^@$C_ C䉻Q^pTC1)%@Sаэ1)ݤ6nQ;}$\/QqH6-fI$+SnCQz{ pc4:2v,=07,-yh{|xլDnh!]A2E- &vXcӎ+Xp/,”.\fY(QCr𒜅s@Z1!6L*hP, 7f; mR?b“9 (#*l}]3QKO1T%=ΓKzG7\SWh,48 W,DsdS4pxiomĿiR83goOaڳITY9xĀĆ(8=pewf=%̐AT?sZAqI [ _UnFGVaJ yguM03S@,q;{`|ݔ<.03! P/~(.530:9R} .5 g-x22Rm)7_oY,PAfc緝U=g5}dҴjx*AF Ч CǴr遖iW9x.Lx6AFrMO;H`rg[jpr߱sH|NRWUL`*u}Tʗdͨ*)@u3}SI]ݠ 'NCBY`qd?:agwLxWUv,M ѣ2L,l6E"YkבuvmO9i@ㄾ"M.nX{*7:`9U>I^6K +IASخK3Sq/,򵭹/[ Ibu5!ƴ'+@dTsݟAaϸ@vk{uR$[8<<=V ~>gqDn6Y/̙W,INx2Ծ1X~@% C ^[M Dw8˱mc6䱬j!,YYyvSz@e-L, xYU୰`?yyHR|#NMkiQkS)lr#0mMכÚv5J׬5,wNJP_a`>*]c@:jF0 W#81>= Ѣ^+ >@i: V9VY tlbAfq],NKqs .AqḄbY*5kv5/}ZpKPGt9d4з K/886wN]lu-7pbA|\5ge|$ Q%gIGYsj 2A!Cm>C[շcI~Oݹ> L0Hwn$|k-h XdGNftWYjBzְp@~2hB3.sMjpӐuqP #QL8k꧰a+޲Q% mn)*E;-p6FpGfL@;y01k=z<0-@:%;Nb;ˏRd>WdA;Z.߈FB/-ބqPj\4}|[{y aҚƷw<(hR="dB8pm9Y$ٹ=~vdT^bAyC2JR>O > )8;>XѭN\0< )|vwX:9Xva?q1XWJj){:,1TO@WY},N|0A8YU´.7xm\1/Ej\51Q nji*Lnt7$ߎfVmS|zHջ Xc$\|{Οm<ުJxQ~& bg{mm+:]5)}L6Ȼ.O{mIYؤ &:-UTYlā?EֵMP~Ϊ7ۗMBtpՋS]+yLmҽ5Ms.^妆$=0h ⣿?)xF{@ɹܔ֞ ȼhb(ͧxnۻE~]Y.$>n,  !-ZBFxEU=Y  F躢Wۢ{wl'3 ũVjxRr`~eLpX:ub~~an'u{~] _{/mСu:mɥʜVt ' ` BiJ3ˆl2˓Qs nuxBzk~˩+la AkѼ-DOWOkwJ5f[ƄAChaL -#ӜACR:&nk_3T&W9wgcmj}gj%܄ⒶȮ ,C\ -2ƨBp5=WC4/=TD@_?u@byҘNz3^ ]H1b_һρ?EOR-nm{z>̐`jjҷ" KbEǛt?t(菼W Ɔ]-#֬Y\Saۈn&qߡ!jM  ׭C2 Ru:؀bf<rR x_~29.D;hSpUSɵYD²a2{,݀9B+x85+Lq8jx8-Y.Y=NJ d&u8hhѸv$9C[x7HKF=(vWAv.۾f״`A,O9-3Z$/O4cDj.ݞw[cnG$%(s]E`cI2f+e@/١`Ng[Xe{aA(*bM!Ffd#=?= "8#JMl=Rb1VoXj "Duz`j2|CkD<;{hzsy@`9e_zK$Hx0pV-a}v;gĶ胈t>ʒ4>5ޱt*(·豐JWߌD=ޤ8}<#dE0|)>/kmJo7Z$#A|FrT4x ~ n0<6:GH&/d) nl$kjaG5?  uH)FIEJX# )]hklWPc;ݷ/A[?|yug'R* 6+l!Z$.|x5hwpb[O;[6bH#M ;5R{]4kA8ٽki"g9 y[7f=K2fK|Zy}^~&=P+[Fԋ&C%}e'JkEX6$RvLF;&LѧӞ|qqٔ|4cbvϡՊ#R+ٺMr(ubDm0CF&[Tl7S,;P \9Ù}~8`f/u\k& "z>Sǰ 5gYZ 3395% ,Fishburn_ImpossibilityHOL-Library.Multisetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dr?ZdBK 3 p4[VY:sha]m }|H?=mv fޣv}ѼbnˡV.!ST҇'C9}óO#. E3Å.n:M'Pte6[y: Y[LYl>puNB<1'@ڪ6P~V[-$T0&4C!8Hٚh3ua> =՗>u*(7xzOs&Mg]? Kܮy,{VZR74eΜnQܮ"҇-Vmep._ZsB*Qe)UON c|8oUqGڵԚk4,90 ݗhTWe@lP,pv-3>1[Aׅnj+*-ؘ_sz"~Fl./-|EkfʣrYr8f."j8؍C! (zl}'v{$TV5g VUF,)sdI|Bn2b13u g@h+#o;x?*f6ߠ6 }?$xUg4%k*ǝP`Sfb]`2$Raqtޡ VMY#XE.ƽWuRcu c4˱v )edyX9{"zQ4 *T:l{|?g۷sfe83+ >Pzؤ==+Z xwecGRێ4Z,]ȦVS6'?&l4G CS9˳{wߍܔ`UZЯCHmH!6 y9ww &.ҏF<3!9'pM㰓4d|{Iz6mpiVSV<>Et  Ʉ9vq' I'{QPc+Orr>VxOzeFW1"(ZT[qzzL'cj]ugnbeϞZDc<À֘nD;LG@BZW'u zvqK̠;*]ưҔ=XPTKdS|M,aS{Rfpl.?1*ΠpAa'TVhI*gs#m%)*.y`N L[Mp4qluY>E>ܣU6DMٌs*}iײNx'<~ ~0vp95+Y=v I74&+-?,SX-G "Z:e{4=K8O [f8?k\gOTw+yM/&8g. OgM\RrWUkp-S6"@7"HBc o:BiB5{Gdʨ/2>m']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;& l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,"CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]#lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+$\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ QVh&=2Ymo9 ěUUxo rw?dA +=r,XZޑ<q`^/s7-`)&Τ! 2+/p-%7j"ٮ,N6蟤EB:^y[кu H P]Ch.x* = Fvdd8U.MBQ1`׌Z$zn?f]_t1~s\Օwuދ D%"x/h 4P[$$sz U) ɗEgK=-Pa*3_f%̅RU8 %isQhR@!ݗ=qٛ O5l38"I@2l{UQA-∋WC=B?0k=wC2E0DOr&M.]\YA 8C tu1jp^eǺObx>u~|lܦVw&앃F 6}"|$itޑ6Vz/c} WI3<<5R BQGy#9̣ٔ OCgakثƶVyK<ޥx^ ?|~@>8Q} w$D$rC_!ç3*ɦ KùWXL'rŜiVGsN S SXaQӕ&0qOhǕ^ʮ񳧅EA,YJ fULu魰)1kb!Q7KGa^hn@^rOd\C41r=y{c$c 1u@7Ҳ\8JS9ZWCvHcZ81aj%|Bʜ[r1p+Zx:mZW(6ws(֎lV~zApd3Ωԕ$̪|OtO#025 \EG)V[HԹ'>;Xþq-;bn-ԪchBK19=_nhe/l#3$u4{ ƲKͩͯ_h"{zV~ɯPO(AH`ʶogD>ڮ*۴Z.9uk{<~v95C݌p𗶣 aAL . L׺{;,4 K|g.iˇqrAt+7Y6r|Zf17W*z#{S'1J :MmT9}SX{+b1AaIK0ly 0 ,$b4ً{Zp[6 8XsY 0CV<ގ ;eQt wV^{jKgQ(K%ჺC0 ]i1@YG*L2,S@bvG#>ȈA7*lpiCcإ6"Gt(1X'd(?ʼnEϪX1a5j*ܛ:3&kbŞIοީSu* $Tx"0ь <@̝([TUֲ}fk*ơ6eCD'68*)mp"Xt`&Jv{h8m'cЌQrPCBG Ƣyúu>A P@Qa53vtso8ځUU prCy 4lιj?+so\Ã,<"W~Ɔyvb䶺+Et?C >5OM]ũ<x3v QGE7 `?íI?adlzKԮlB'1#9XQDlv$p'6cî+U=|HTTlJ4#33egR^x_Ԡ!"%͔  D ȵD) 尡ñ  *Lwa<4|lF%AЃ˗W>X\YġXQ7OQP0)010 HHbn!K dq;DBQUH&H[f@%55 >u@% !wRd}wM]t+qꅱOh)+Τo:R3E?CJW.\Ax%c^Wp"h4T܊G4v;zvdw4)fS6\մzEe^PISNہ֪HTst(6שj)&܄2on%Y~z&"@4-K9G6L>9/D+`~"=1ȀC\ x,g@SSmIy6Ul$鬻a3oC5QE==k \!<? ˼YTa;#sIhP7 [7 5 JIc 6_8P{BvȰh8bY}mVgfwo4= #O?l9g..bF%~0xZ~CI-ɜgHL3˟P̷.gb#R.-R{I,NͲ7Wu5#S ?3S|S4xcwHKcђeے=9 D`~ʍ8l{Riõj1n*;ScIDٔSF ._NU 1%cr9A<_E>AZx +4,$h>sRL.?:C,,tY\О1~:oug8u@NIX:x=H{D9GSV<1 Td2QpXGwd}8`Do3ұgYZ [97% DFishburn_ImpossibilityList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie'<9k% TFishburn_ImpossibilityRandomised_Social_Choice.Preference_Profile_Cmddocument.tex7zXZִF! v]A-MՋhvG"uIBm5L`FN ?)Da>6n$Zg\K/ }jöfGiBg۩[?ƌB)z4&hrCv22J H̆z 0uk?V?>e1ڦܓKv 7)Ff,` E=dAq.R'iZۂ*DڠuFP+#Jx(Om);,:ObEޓS"HS 3os`o S{}n /@^uǏJwVX`_R9gwYp ji.>tRV. Ve7*ٮP J $:C#X Ӹ ¾ h&B8UaW~<ֻy,杣R]OXj~nw9J{lnVKO"_BԀ`m] ޳0.% A@&ů%l35Hy͝zxMz2J8)L`V-AߨbU~ep)+h:8u:տ'@LTkc/ZK]C^L,Ȃg\ëKl 55Rt󀭁;ev~K]-E < ЅrRMNh{c)]2,fhfѲHFbղYʕHouw=xޞsUqڽ}Osgfǩ ?PS tj+ՙFδH*׋ Z t{`(ʷb ͋ʋK285^Pӆ>;R^8 <$ژa 1~)[H/c7wqr1AVdNjڭ'kE\UUYafPEFjѿiMѻ]JAƈ~^r1`F}>ƌwt ekIYOQ0tv9%.0@S2RUgOr 8& 09#VSm} 뽥:d_4vR0=ţЏp7mz4꓅ {l4V.'γ$} "g])Ij#)Gt=;y]KV fʰgS"}n< e[cZk֟YGUMdL(SO.xVFpV`8+u{O GhD&I61zC#G)h mFv~sVy/|,btLW>"9Onġ}ޯu9uw*z8GΔ.+ 67S:e#px+=hn1k}dR\Cug4*VVl̻wiB咤htx>vAFD!ڔvbYu Pڡsd7(Lf0m<QֳsKڄ2)OKfuXSUc}g8 P!f`yL|Zw &2ZYE]IP'q UYbCF'  8s5ܚ.6b(\#.8R/N5%R3D@a/=D1QM.poاJkH/#fRTq6ٍr|Z3DE7GP8\u|m TފIkl;Я\P@"]gT89`ah}1cqzB]*`xĴvgzP3Ar\ k)}f D]%({.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZՎqB\,B % h쏜*N,BpCU ƨe{4le:HP2HE6r MRP{[Ed.& Ri4am?0J^TlcGA˸#DzN$槵1~B`ʓUkTgeX)Nk _{~tL==(]݄o1u4m5!h{|T G~эg-Xq62X&MJd=5 #d_T\_<)O8mϚB*O|QEp像~8V4T{T:teI-&|S]8AHJơ.w4ßd8=)AQmaY4."OBKSˮQ=ex\˪)Btd!)Nhi*?_&GrBό{$1^{Lg-[h#2pÆF,p(7fx _Ra1Æ*+:gȌ:"Zguε>hAٰ@oӀI&|i9#X^? /dҀ4zldv Y_gPFAuKijNۋ|!mW+Hu&{!~ 4#p^1& 4 ^t,r"wd# X&;Exm[ֻʛj|;~r_F2;zK+̆Mb ]f YO<VJu`75vā ˽ ?/=:"~u s錊OoKۢ^ܦY9˟@P*G|)BmM:1/_X Յ:M"|ɫ?m3o7=q¨\ [,Wi#<*i\lrcʄ%~PYRc+]:\wd\ie+c3gvˋ=˽^3mT&)q8^cꋯsꓣW+h^ Ҩde\k=0SDb$6,auM ^f'=@%QsrD?@u8=|x~8z_""Q3ܦbA@;sC/wACeRNvr3:#*(y9nӿ0w*S9VUu6W^ 2"-HP87(z͛F@N7GM*hsX惷ye>MSFTD޾ޟԻw]i;' ƐlTYq=uy\k"oaK\@}_HOn"#C *(\.`If_;=ʗ_fɶ^? |nMSe)13ӓΎ<^fRVS& s6ɹ Ej[<,F$"pߐx8w$5B/:pNĢ> 'OnV=O+O"" nI~lq \[+3:!Aif IS1 ο wPnn/S~2 #i , \/m,qTMȴ@NOc> M*٩S-6xU{]A,nDta[0M]wzVu_s}#_T(ҜYd(h|#Ҁ12y)X}"~Q* ''\b^u衎'<4ljApPfTl;oRPphZje'̥`]L#*ApdUAT[W~\qKeM ,Jj؏rÿ@eD?MtC/%kh1&<`\iwRȌI RHfuߢ9#k.޴ovf-Cq9g}! sEu: ֘Zj$wR㸌]{0ye4$'P`;W B;n%?")ḊW6WWLU"C3]z'on&?&buZޛKKMɢMXrJ_ޝb}_fu+v/ǒӞ!kņR?)o-J$jց|u!-exSo]fkc;WrMct:b|d:a* H#t0 _U>4Tdб(ȩ&x1X F&3*lS b'vso1Y4Sa YBƯ#:Z?%vW Q<S_&]hc4]4׆ϚNT] #``id]m==-j˾( پΎ a#Ѓa@Pm$5Ne(/>OˑzHlZ9`w_/|5of-\iz?dwiˀ| ?Y8ZDB[;[a"J%z=S?3[Np) /xFWZ !\r^z< ~6p?&c̎ʽiLp+qr[p\*Ei#lar, /HIJ5֘Osb.k=_ˮPW 2*ڈ˃0V+Ȁ';:@Vf7B03m맵! 2gNNfAALJ`η(ւ2KGs{9E7gՙٯZՁH */%]οonccNU2Ӯ ,{3j*iG(;RΣͻăs"̃>Bo 6&3Y\_tӉ&21O7]LVu 4$ݬ B4JT>6@opF$u@vUVHj 3iaN'G]$uN" t]!QAh%ŞjI*55gԡ/lB^ջj(J=*g7UmgYZ ^9?% DFishburn_ImpossibilityHOL-Library.Disjoint_Setsdocument.tex7zXZִF! Ck]A-MՋhvG"uIBm5vijxW385謅 3^T Цɯr70J5g+M(jb yuO*-l@"rwЉ ^t ISnSDǪg#T:.%9(L\(=~.dk赶M}D+L *KD7iMJt|f)gp{᷼Gּ45U `ztB# WĐ:HS&V=I{xd^57paA>+XYi$`M]r/=[_7SDbhAQԡr20B4$cTS"4֦|(mހSpZgͶCX:ZW3Yn=S'"+svT: ?>#ϸتD wrwP 8Jd4$ D'}ſOrDiu6 ޔ.] ݧ_ Tbqq NItG*^yUSA@,TdOl8ŨBCq>XY5ñ E#pn.)H; K1dG\!`0Im$Ae;aEВ A殺&$,[l͠ˁm<[@BfAIޘ3~DT߲>!^NgXoNA' \ k|M˙5^PK ᛜw:ȆҌi+}KZ 2c| )kx@`4 ~9 k4<'Hfz*Onj'jPa,ї 8WI*gI<o:/s ŽX-lt 0X/x~` @ͫId@L>fإŕ͔!PvnrшGFzZDpwe^V=MYW3M;+3$[^? JDݜ rg=E]Z̘28ZoT@s s펉Sb[7ۚ_OKa.Q6e r0>Z@MOhĢljةbV(­i%Sʿ3-4  tYo_#W?/.RK8k?La_SqG̱CU8MǏFrl\TZC b /8ZrP5d"uX>"T 9P'"ZLSQdje\żLM˂4$QnF msJZҼț@O ª7a B[ȀN%j~gN|B5l w +A@TGf`$[GzWD8ޜ(a #C%'IQq^a͘'0+n #&:H$6Iʏ噡07i--φZS6h1>!zx0~2%|P{We,/p2|$.b;*pggs<mjlGOm_u@!3Sy&K!ɵ? %9ΥKBe3kޟT%E! jށM :!ip4JO])yJa/X/ޠ=hqKLb~|aQC~.sݾZ>rwI w䠛8N,}3K|JH긦+p3c/Pj$!mc.<}nrfӅCpYY^ ,@[qtU}C?Mq=Y_OuIi5E5i$8uQWf4T78y؎B _TӡT;]w>)HJ x(uzBzΠǂU~>+9/nj-X~jMz:i&'k^&4ȗhHbsv'U*#YnTDPQMI/&qJ in!mDcQy8c"$HI7Qb걃tZJߠ:DqCFly}Lvi߽a^e-\'c?$o5(hu :=-iP R@0NQCtc(sP5ܮJS[sl[ғIW-citѭHk}7TziGfjL#vO#9闈h;y^LoPw\EN|BYuL| r%54~34w4{3Dnܟ) LL1 9=% lFishburn_ImpossibilityHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZAcnd~㍗PoI&83";Pj]@2xM*5.mg'zcYAH俪3,HB C6sta,֥|HRڞ3U":P79B'hHxا[!m f _E\ E5EjA,pPRmW8HixhCfS4q !wrd\ r 8AT^;}4bxh.L~HYi9*Ìh3rnepDmvjucX f7A˶F:r)y^kroIOjBf}"q9E'>VM; +LrN?ktJ(2Qu+g-(IY'| WhMwPySx+:%a|skeS%%)攐<X t'p8˧|yҜ54-X]-XQ+)<~~`2yLi 4ow_l4׹ut5R;o R<곕 yKtzM:7'`4X*eYtZ۴(_Jf^~M90o}l5{{=oG#S`uɚLrԳ̓*x[Hs7c&wT]tJ7z h Nu5>=B1JKE_oWU/[ 7ѣ!="V0Wgi~]* eVa?!3a]-.˶9s]E`[ƾ$aU?{ J'􎷛'ڢ'[ӌX:;/STTO帆zM5j=OJ?2;"U$z }<=u"_dkKe0QH "~q@>u!S Qѧ2Rkp6f1h;]]o&zebwSmhvR+_C)~IwHWH *_I׹/yK2D5OpH1 k'H 'ҭ5ڐ~|gܼ*P4W9n5. 3h0/p~Uv'5Y9`̮jq\ԇklHX hZ><_Hm(1Rhb8II]BXbGXGФJe@VvO2,桲]QqqYxGy^T%p21Ptǜ< bmg(m/j? 2d͢z&+!sr=͐wL:P^мZWI\C 'r$c'mɐކW"R]ބVa%5 v Z \UvvaP[q!.um$ϥpz:](Lt[` wn/d)(]}9]}8LyI_/ MۘV3\-p=tٻELa楴 y-Hk9&H\ 5u_0Z[W׀q5Ro8‰aHo܁%.aSҁg&&wR5uI[T6/O, hwA3`;yv@\kp,U U)f8t=;H_?tKr> H B(dB'7UX0|jgYZ AWA 9Q% Fishburn_ImpossibilityRandomised_Social_Choice.Electionsdocument.tex7zXZִF! '9]A-MՋhvG"uIBm5Ítz tz@\Vpܼ Skf;:4= C]8>~U{,ls2ϋX/#K]/A"0 wB~h3x P&ҲfG*~9BDOSy `;|.Kxf.6xL,c%~X?<.^<޼4jnr|D|" &KaNy`4wNrߨL1ݖќ)?:ZhǘSX,c ?Wj4P?Hv1Jcawz i9TOuXŀGЦY<7Kc*$٦K"ւ,6cPaL3[|9,wgX1&T^Cdne. 17%H^ai-e XEʝ&ދA6I!o3=#'48YQ\<=I`Y|U^ CMԈ=pLVe>|CNA:ȕۢlttiSY}Y+eQ =Ugy";t/W]$0*"V.'-R]sp}Tn.Yki^X85X{ %?pY,~`yBvY.S0ĤjR X6'ya'Xq&'k&h%5xR}TZ va +,Kʿk-hf_yٖTMMα gSUfw+&vW'Go>B˙(NdM`$EspVn̳qU[q0T'j!]˔N*Fn5{k̝ZOC#̡@̩4{Gfeκ` S>|*0Er8R87ܠ_bq~MƵ^ؑjq6YQʼo$TYBfbw0"ُ78Dq^\+ 1:]2܂. Iu tj>be@ȾI?+[Y$pG[pridPͮ n21'95~%PC i+@EQ?% #~oaC.> *(Aګ% ̀"K'=W75Y֐w:$z`yb{$;~,Cǔkn%oүdT@ʞ瓃,P{qt;9_3*an䳽e^>h0TFxe~N~V#,{ U*bk5$5x.s'o/ﵶ(Bw&#xvɌu܈ jvK?)~,q9/ӤA-Eůjg%/^\cLvʟ-܊E,咵)[U)9Ko4cP8wr|>/ZXrUsy!xLyY=s3?@ݷ ܲT};mRFdE T֠>\*j? 32W@єZBKT`1\qNհ:7Ϋ`iwP2Ip+*:Tx1x--ęZe50Y ѩjlh[۸.WQlh,^[\mɴg MiŇ эq]+a)a&de|E@5Dɉ($Hf>z}x(o)D.xzp"I,73c+ͳ`L!n o&ElF<6DxJ5z4_dZcu΅ JjK%ݯ'need- "DC.3ܓh&!hh𶷣B"AO29LRg T֕,gfѓ]ºZA6 Ky5+.n!4,_% G30*CdFKqKD&a|[W9+Sf ~|1C>saܞ%DΏ;ϳ'h9ڛdBR@22UwH9ި>:gb[':a49]xՁ#ΘŏR 0E=bcl<9am=uDg&TI_ Tw kE`vc[1UZ`DaZ]аc4YUiƎuϸq3KWOZA_ԦM)M`ș5TUr%}qD%כNNlB7l 1O֥D5I։IgYZ7zXZִF! L]ŗXiɟ1˦r!cHkMeBd4> oxW34"1GX{>$j_Qq;!ms|iEu6K!Ѯ氾m^~ˉ>DYpK\ ۵Ay&נ*fAOJJG~DEȏON ty-3!D?2 Lp)vе12: |֑-5XK.ɧ*g_ {=RĹ}?nãįg bkÏ*+>e 'YγAWwcO(hUigYZ7zXZִF! ૩ >]ŗXi%;n_Pnm>YZZmOFS @=vV"bˊiP?Ȓxy "{nӰzLxA/\x&w+a/L"mB`(PJG''- n)͑a#oA%F1-=ټg}`W,Y)4 o]K'r͍OQ: M`?'-+W+x]MH-̟Ǩߌ5L "`ybmdb>sIrL{lPs=04ib8ԨB@X6$ p,l9nܘs)%7rE6p)Kf4iG=ԆF%~VolLK˳bDޭ$c[x<] !ۂ}V ϖ8wy.v E[ KdR ɔ1',䰳E lJ "YPW^qW6 [{8xĕ2]\oR,E0N@[`Y,[yJU )q{taQ#6 WЬnef Ao:fEZ {#{~HlYo<?;?aVM;n炳Nf:>m(tYٮvea֨SSR(j>SGA;MmIDNQ-e.03g 46ٖ({WqUPc:D"uu5NOtXւ$,uN{8$iY{ c,=u3 J$]+?g$8gWQ#16(&֞t pJyLZ Mb7Pz6]b0| WGf=5ְ ?8~Y081z7,=ޔmoh148d$SXXybdԛEz 4`GMɒ&nlӢ~v;aKg s@z#:{Z3[Ky* ؘt䗼PEj689tЮUmF0dɡ,a)pn_3`nNƪQ燱dwN٘g6\HsD+װzd.sS:}O-|Talyghc)>!L͔QHcD `blF Hܓ0Rψev_DegJc Bif+YܚTBm.# CjzEmԱ6 Ur^<}i(w]+s55/ {Mi0㝄K9qXW=>AfM-A@ gYZb177686a07263939ca7e4e6b9d165e2f88e8176cadf620958a483c5d99eb8b585d74e10e62aa36e9 592c3e8fc1a619dd78c917b8e580c01545553e05