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 ee= tDd ]S]Randomised_Social_Choice:threads=2elapsed=22.373cpu=41.672gc=2.372factor=1.867zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ jó#uzz8Z536H\jڊYKMEmqMS•Sz*j_n{7^–ͼã7_Inہ^/g@"x6)JAeUt KwNv}B@g="| C[:d`(?'m41K- `Len+;j-6Fe` 9*51"+bOǪoJX@1%`Z.&!j61Tɀp,7#z %fAR'`7PɻgIN0Wba*3 F3lID-F#'vDiW4*$m6 * X}ϧsb+f=/lfJf:q8|4x2О۸ơfkŽMF`8W,PSN?Ikև,L\W+J!qmNZ/ه 7y]:#5! ]@4 (rƮھga^HyLrWLw:+x{46 ~gЇB;BIǹ0בqjgD!l,_e= @-:Մ'mBNuVޥW!귙,P9Q@^LLk` |;Lg7^G*i7fe_pMPbTĮ5yv3U@7Gb_5HK+q ' rJu5ÔTzIQBCzD! Yv_t(AGksN|I>:gj# 43IfT 1N5jd8 'FmM$389c FTjtح4J|a`_Qˠy7H C4*m,bеbyA;f0v} !EY5&`䣝-`S;]AS(K):*8A?O~ ^D1;K!ud ,j$4RV҂3Ȱmٚ0qFTr#-<|w*Umo(Q+pʷ[Ƭ벚_vwQJˆ)zq4B}FijeO7~7n\{CSrӯtǧE h>Uu3CIidt|^= S6Xhyb2qM_95|C eW`2o*+ރX2E!LxLgYZ14a160486442bd91dadb6c68eae8a97effcf3c280a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 f318faa4a6672ad86098bf4947bb3f6b089d5a48f1b913662c300709161001f872e30760f74130f0 = Randomised_Social_Choice#=e% |Randomised_Social_ChoiceRandomised_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;aR"       p #V  i  N m  [=o%Randomised_Social_ChoiceRandomised_Social_Choice.Randomised_Social_Choicedocument.texL=Q%Randomised_Social_ChoiceRandomised_Social_Choice.Lotteriesdocument.texL=Q%Randomised_Social_ChoiceRandomised_Social_Choice.Electionsdocument.texT=a%Randomised_Social_ChoiceRandomised_Social_Choice.Utility_Functionsdocument.tex V=e%Randomised_Social_ChoiceRandomised_Social_Choice.Random_Dictatorshipdocument.tex N=U%Randomised_Social_ChoiceRandomised_Social_Choice.QSOpt_Exactdocument.tex Y=k%Randomised_Social_ChoiceRandomised_Social_Choice.Preference_Profile_Cmddocument.tex Z=m%Randomised_Social_ChoiceRandomised_Social_Choice.Social_Decision_Schemesdocument.tex O=W%Randomised_Social_ChoiceRandomised_Social_Choice.SDS_Loweringdocument.tex?=7%Randomised_Social_ChoiceList-Index.List_Indexdocument.texP=Y%Randomised_Social_ChoiceRandomised_Social_Choice.SD_Efficiencydocument.texQ=[%Randomised_Social_ChoiceRandomised_Social_Choice.SDS_Automationdocument.tex]=s%Randomised_Social_ChoiceRandomised_Social_Choice.Random_Serial_Dictatorshipdocument.texW=g%Randomised_Social_ChoiceRandomised_Social_Choice.Stochastic_Dominancedocument.texS=_%Randomised_Social_ChoiceRandomised_Social_Choice.Order_Predicatesdocument.texU=e% Randomised_Social_ChoiceRandomised_Social_Choice.Preference_Profilesdocument.texG~Ʀ\WI:_WSngf}\ tU] C 牜K@;y];@щ'l9фUGyf(*<[F6=ˆ@':K&NMGq8MЬh8IE iنc̿' zZ?g X{E!ƴ޾!RwٛjC@<\u(M ABH ӤT1iugUm'4b_ܳMF_R䴽F[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 IlSMo{ph Vdh遀QINEϵJ⃉htRkFK}yg*hP,RV.KRw<7tٰ~W3cS5FXf9?#9@{' pu1r{V@㙕g\& _+H:BT=HUȼ.Bi#S;^z&?Y@]|\Lh$zykC(|F-K{8},-&@J ~ Ek-U-\E& p;v4ՁN;]F8ׄόN =aL?ד :m"mŵl5@gծc}*wB;Hӵ6 a YVa^t;PuX)rfWlUvaEZÕ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^_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$] I=_% tRandomised_Social_ChoiceRandomised_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 WV+X%9/ύ'M˃`=B@1[[~|KWR6ps*O7ޙӶFqxp-UEI[$pyץ$\> ry2aP8?Ƚ+wU0V@GCa90"m rN{jj!>>t . Ҽ]r\S3:gj+!l.Kte]'++ RB\)A4fD=٥Ddޢ-A{\k &u>?z oA+nw aE-vK8!eEѹ^ᬒV٫qx=ݥ)+-QO֣  ψ0)b̑9TwV#Ѻ8Lr"D*-c\|-LJ)h#1$! NU,q2W>CjcG)ꍮ ǖ\!.oW?r#R|G-俷PU2:6\ Df7h\q 8AZ2vNRn@Ѹl~%jH"i`ٽ| ]0`z虰֧yh4H8E65mX8!&jzh.4ڭQyiruOs D{ xЕiQQp!,G4pvɿIF RMttjیQ@rft)F^T?&b5v2}wv'aWu,mX%oR!N8`c% {Dɟ3uqio:[uD`gW8\YȱƯc诼q_Y !Ɛ8^l]ʾ$%o&%uxmsՓBsqX 3J֏bIOL8J7i`u{QE'싗j,чp@dXV'ߜp,ߝ/ON;6 ߯^74IAͲ͘Vx<@4`1H Ij[/HxBI7e7q mNCnb1AZЎ&dWy6$ᯞ%0Sü UIqj>Z+_Tet#S݈ [k`o*̱l9}E7tS@+>:ie2 4@ ҚT<5-Ĩ#P<PeP'6]X|t;kK$ 8.ay"/- ve] /1Pss_-2 s)X NәV9#k{ݰ 0iB::+Xͫ j686p}ΰh FjZWUibz }5545[AkՁ*C/|r#YG6޾iD})?Ʌ`FǩEMv:޳iDt90QHjtO:f<_c rM1YǰaZ=8n2T839~S;dڛ<3u?Ҧ$^s>IjJH'E0#yUz\VYhe8Å7{CG5{4Hok,1 }Lǻ=/r_O˒UR3d946z/^ftꕚ5OeB̐EºIQm24,y$1'U>7A)*qC`㹦e[q|\0N?VVK'c08k @ g/<,Ɠr*pJt|"79te’oFáݼZPLYp^`Lm'zF&{ػRdd4Eܫf5!"qN (TO߀Uc+RbB&ֳg5%+e DiEV k;dF?ʺfУcd IhX>PkG-˜M> ScM-P-cRV2;h(h:_ X^l/r`  3x;sv&ҎKfg|'˃Q ԧZ<.ٚad,,^fMn>}?ҦyK> UEq*S;mh*ZXghy)߉cI,JSX{TMz=q4+$s%0a Ieਫ˯{:(ҞV.>'S1Z0\pF%e]q_ihzU fl6 5L.7˿'82nw^kw{n!QzRT>ɹ;rc,tɕ=.4{nQX_/QӼL<׎I3ϗ^8b&4Vq|\γ hi6,F77 Ohq8\s - qf90כ.(4b?y-Q"284$SyDP8wwlewWJc+$aij[]%d*"r $i&] 0xSZejO|0uf$ s.K!Yxt%ߍuJQ~{w:g)懷S/t$UުCa ܂HpXfxsf5)֡~99RGsʇQ"#aȥk$~?V]eft`/Ԧa-%*_Ϊ;Ƒc3o`ZJ5ؼ8p)0l=Yʬ7xq 峽GX}. _buԟ|a9KDvRkQmDw ]$k0ЄY:h(dm\ڴط.Nfp' !ZLWݓc\JEC;_\Bv&%_ s%K\+qCJ.:H8OñLZKO.>]5o Ak)k,k`CȳihХ"cF]-H$! VbLQ>|UMent+%!9=hV{&}ZmLE9fi]\]/*j4̚tX5~1}n lmK,N?=IP_nc 7̹Q {q-"U2}B\$៺Qɚ)[)8CvmD =YRHa=m91vr“C9qDDg*Wl,0^j_@`k۠\v3&ZYrv^Ѯk>x_KLrS2WISu|HJ XsC/8`/\(+Skty~kz:9ui60+qgMX!)-U pt[ʡd uD r2,OȲA豧[yk@UYHWD |xcufQ+$Y>T;>,wK_N #Z:{ ݴ1MsDӤLn [KAFqnbΞ}xE~`IǙf_[bU[yᷥ-`cGmQ"߆+5? k7`e}es-"-mpD9V+ ƴrUl.k=k<$p-BΡQCy6fۇՈ\F`M&Chl#KC'F;X #i%m Z°d+{~:c;Y2x-JU=.P;/t\)&? [,`z8I,},fDž/TSygD,%T9UͲy qh31 ZmVHz@2@`5X5w+?^ż5z[x0.yQCeyVNaɓN02۫dwlԎd7q'x:@2,^/Mdo;7}ae'̨/pq_{!ZnSw2]]GCj L?D|&*g[K*$2^&ٛ@R{ S:uz;_= TR&y䏦oDRL.ߝP4py֔ D@L$ۑK1}g?;kG]nb?`$ua5"mh|E:~b1ꗛs¶Pۏ' ڦ?P 2 y%虡}^:9-܊XIz9ntS;oAR+]ojq=4 jxjĄ E|1N/!Fl귗g/S<~8:PV-'gafOim?`6>HF޼xYe5Xh[JQY+e]vR_o,E|,>A]sD?i|aO#5B;7p,՘U6';a%΍zfʆ6D`&T~!wIIlwД@zQ'c ~$}߮$ikеP}ܝRv%/#t+(vmE';y ٢eƲMZc"$i1uDxƊ{Y~(Z)<׿`溙hث,*?%[TXxӼx+yBܫ 5>|cCy:<WԘxkt/`OqۋGc\ J_F{rp x $T?BW~%Ǧ[#٫BA 2V_sX5%b̬43 LyQpRJ&^]~Vwiē;ϊ (8=},#^eO *ЙXA v-qB(ώA#^:٩X(v\*$yg|r>kDtmjO.4-tH9 9,S ND4 BIB{vLrUܶ.iK 8ǀ6:XI;;I$Vmnߥ3N B|05X;"{I}G1uAj醏/ Dɧ]Cz Wl Ϧ5фV ,k SOY'W?KFbSz9x6+ Lh ce6XOMdVi.2 -L vފqϊ=Bak-2 5}._rp ^2#ҙ0٪I扌A ү+vDM9O:>ɝP)%.\e%B'h{̮ (Du +tm3uli-Q0*ʯZzJp\$=L*d[{NOI~ (鞓x`kCsbjwX\ L`/>xVaIeeB !zOEOuk0 "5` w-f-t(f`y;l՜^/F6;Ve9s&HK4!upURMs\X%I^[OY<ي>Olֻ(5P. fθ I>Z~\ýDE@,b~GVwnFg@To)iЖ/Υ" zytyhH^6|K}3gYZ  c=s% Randomised_Social_ChoiceRandomised_Social_Choice.Random_Serial_Dictatorshipdocument.tex7zXZִF! T'D]A-MՋhvG"uIBm5־SB^Jyֳf:%M6FfBa~砚t 6gJ2oFFACUYn)چ4!kKZG{:w2ȟ?5d;gvOrqk%:Ф&됉d9U똡H#Wqй̨>xb{VŬa y@qUұq?{[tepEx0AaipaNlwv=T;ݮ3Nte w {`)/twQ`qS(Kf<_ ੡w2Bm;԰)G'bka{cy7=Y{j1H[& A{n.Vzv]UΪߣsDŘw)?Y;h_ /+Zc.GHlާ˘@Y8{{x?"A[ vRF[,|o]#q=2W )ݻ#U$ , Pjɘ)_25TavTڝ 8X?SEy Ǖ[.wnؤ]6!(EUj"u;"MWF37rXyRQ_Mf8z-)U !uqL7ߢX&Lm[t%:dC i7 O>qt4r E)K[4لDg>QX}mW2 ;&-*  ~J1 m.Bʶ1_gFkG=\Vn!y5%@B&yU @YD`+>#.7Ià FYG(mt]EFnQ{qk3P2^1XVKZ `x>HRϝ[5ϮqEE6Nj% +E-. 3G Z, Oaųj^N}Ƽ2U 8<,bчsQI! (qYwK1@_2i7~p5-e6}$ȐL +zji؛y_fV^!9j\l'*J#8"2IMeYj|?ҷn|~g-sJ. = ~lkm9H^k.2a3= +7/4Y*TpRȯzHa;8|ڬ[ŗ rwu{n+5H@"$܃1^go{U0" r8(+P*=H%,xi Vz@K02c!X{dTY=0vۿGEsJKD.+n42r3׌WQFS tυ!ЫPD]v]~c=qH,KckFibZ&ٛ(5É3ɢ-8^+77 ݭҳ:۔ͥY6/kj:Se CZ' D0^]̐}4jx^ 7ȿ{W& !>9nI6R[i;s3BpYJў ;.扐LBਠI`. _}{ 9:A}7۠MMې2rˑЯFYUdS$C/t+Qi=g% ,Randomised_Social_ChoiceRandomised_Social_Choice.Stochastic_Dominancedocument.tex7zXZִF! %]A-MՋhvG"uIBm5ȩvHtFuuj έRr;Aw-FK{k1/ĞdJ0D ;3-Ty)t^Oy}8=CN"1ZyR_EӜH&X-vf ~KFQJS&-4^h#vĢt+a8~DF :1^veBZRGV*> xs?Zn뺥kcK_\ON&/ć2o3ax%FWٟ":Ps%h%$Ƣ; R?@[H"x)wQGS+WK"*n|qPujpu5-w[2z{ɗBf8&[ؙܕl캞/䦋&ZQRx XUiJ_kvdJU8hNƬUw~P*`k5\)Gbl)+u:.hi~r[o^Җ 8K !؏Ҝ21Y SYf5lˋN?xY1zv ,WU!IH->}V ͑zVJAJnh\Ìǘ5gD#$kl!)H.&W)r ggMD;_'S|ӧ21:R7j?#pfI|+6`P(j8\tX(zS(@TءN[W .*2]Mw_ 7̰VȁKpdTIJuf2V) ɗ[/ %N3ku\X kR"kRwlw w$LcCi 'BBrj{DNP{䪟RCVیrPMFSD\e教\\^" ^OKEܮ+ LPPcև=C^ɋ ; y^=So? z*PF8gWlY>QY+=G> V@kKx5{e)Κ$E*9}G e_hVGHi7C^Vk6CF,B/Lr ; , 1]fA9ؤ$yȌ0ju;$pBeHFlǎ(UYPoS8!?^aZ- cC8TahԖ [$6r!׀!uֵˆ[kGfYTd0N =냻[owwY!~f!tA ;n`cy՗8E0tlWLDʖx;P%Kk,˨Izd5:T!zI7*)SA0,cߨZ'ӄD"@D5a(ߣNg9I ee39 Uq d7 NiKQ>垁O]T]J1^lVF_2[-S;s@.&{)q+QFut 14Fz'x.{㯚fˆ|zH%nGjSI) K4gΤZ_*NHpYVK4a.:F%Xҹ=)GW\xH`ކuhWXbT1rױMZmsq+w/psBRn*XG7\Gx} itāY,+ܔVro`DyZTw@[?ݸu,S#nObw5< ssV$X,$Ԋdl|J$]\9OH)cđo9m&sD.tėR9'2;y87t'/%!y^5d xMܼZe` vE^AA9pELGn=Un@l;])H_nWtz#am&1mF P, 6\m2 Ga 3HrFX-,jӤW$ 6?JȠy?J8Y-+ˉ4g6K|Ƀ*jR52(oFdӌ_r>{l6xKv)Tpz8Kܤz2'XPN!}q6U6hG-b-/SK!Ʒ<+O1׽z*b r6擇pcCI)!^;8ȡ?7ٍrȄwLMuf0ON@v/JDCє$8ֆȄ2y&١SЏ݉LAhL Gm/b_BFuɩQ{`/t>mTyk=W kj|x6ךaw-_~! b_Lnp44,73+CEr87e."apzϙrdغ{^rp5N|kB)\Sb# yMo7M5n3΀0ӾQ +$]%A$kL݋7" +RCC>:5+f3K[*V8یƄ_4q5 s;DhU%t~gV3Ripnw-6Ee 8!D.Y" 5/: mEa4>P[цbj!]%?&Z9/k2K%uޭصV/DW|V5jő֛YqFl*FJj* Hzft˼$l'X"MǕ;lL3W-q̢aeURu^2anؤu{PAfsW~<W[I x"ঋab\= XN˽Xffu<͎qټ1 !/Ӂ/NjN>9oresvHBhT%peR'!qi6%3%yۻ,0P`G cBkM}Me3 \ Ȯ>g+`Cm0#XdE6\ z?!Wy nnrij^ AohBTs˫ *y'j]3p`[|9xh=by+\_V"!qd6|@qΫVc.4Ȃo#QכAo`q6en+:w!3!| H}'>8*+F?^aNתTLâq/ ye`s2;iW'+Wa4mC!5*v'i_B;y1{f{NP/0 maс-Pɏ}Щu8YT"P7--=H '>{(tt`)Zc6~o?&#{c<ic=3mΠh̦@ mFa]~f"VX1Z 6djγQgwu\PH]Ϸ$ނ7e*\RgjYGB|O })ޫV 7R6 bhn6(mHѹ#4]ծ]gG*t L)yX?[ mI2ոK3I.^EvǴ2Xb0Ҫ9;GqD0O\yHF?e !O9ڌl2# xz|V#uAv2d|צr%\z/EG]:'\sh S3/) |D=;)(]ǍC/gֹRZylzD: s?t̮.EpTyBGqskx\EdI .U= [Rh+^pGKpc1I 7i_uy}R[zJ6K+*<꥕lO6tWb.ρ0y61=J=,q֫. 4#O-=4/F:=R avLf#k5 ~;s6'] 1-@<( Ϥ(3#!Rπso,&*\v-.;Nw9SY6! p˅⏪CVhc&FjH+m]>%k.>#{*rZm 1kDAM/Ht.Mf,44  Hj*!ƈf H6Q++KF` ^:j8%)b*c" ˄qk|Tc~Svݛs!H 1zjCA".EηƏE0D+nou ^q2w = k|f!t^ {eB(mz[CX/w/ d %<!vS1k QkN2ǧFy}ǚϻ"aiU;bv=>(=iA 3ǐD!71/(X_ٟ^Rŋ[&v1,xW<;LEAxr'4F\uݐSZVXjɑnl6Z)\`i|3=n9]JppDyG" ]1'gF?5JO)ejT.jB۪Mo'Z'+k -dBOVi*t800tH%}CLv#ch$sQ0V}'cE_yL3S*me`d b büedq5շ`ʫ$lvا𾛈:u$;+;^!qZ$_k&lkYb_E&Dt3WꇢT{Fi`COb1$gh8{>B47@'Nb AX2SJ^/vS)ŧDBk2h~e`D :~HagTHRr.s@ V] y=3A/nUOm'lӐy6ѾdbpS3+ν@]bϩb3Eޖg*b@< ѩ]#o:G jHv:`6wy~6qy3Q̽DiV= \AhxLyܷPZ@guHfpewMyO@|tpbdhߌgbb;[q%0`4d ŲrP>s.|^~wN{:kщ 3]wI>f`\( jz3>bPZFe=ݫ$_F6;-1|!~,}CƓ;P+ й5OB 7Pb}Re |-`Jڧprf 9GI6n5l1\WSK3bLcۊ$#cw#9l_9%{pOJt崫+O働,x@Ha>rsX\} ȸm!4d6 Z&|Lԥ%?KNڢ^1 76we!$:mt\hr^&G[=A:%!)OPhriFА, & C(V:|..DuccA_0Te->]1"c7 HYtXU"aA^W g]4o9*'1;1"35V{>Ȥg@t ګa69 `d5v'oFΖZzJW )g[|sq>Dpg KM4 )9,~U7HkTڨV- h'83JM@ b&#C,ypv)L,D^Z9Jך#NG[j' -smg6f3< <$6n Ix] hQD{7cw4K]!\כxwT3+?8z/3Ӽ2fOl^x$ yuCWH[ #*\9Y\y.ȣ.NgҐ *1 #tqfuv a۹$&J  ɛTrnVSCs(f0X3˸6o|!\4^f37;,dcRgv U.ԡ\υ)?^`Kw{`x򰦔K;_*J-7MM?=>i%JS|u0*jZ1tp< `ͨrm:蘌CE-֜7=H?!_p4 k3hmSUtTk$Ho7U*j7utW} d,Ϲ?y]#0ΦKYHsj'7鰓w%,?ࡍvGM2=9 ܤ' PlTG؄ut,2ϚK~y !xd"([ҙ󖺼lٮ/wX 8'[Q f4,7yđAѣﳡ?a<e"98#V0O22k}T60cQ[bKgE_(bUHg1ÄW[k[ '2 ?$L>Y /qEV545̰[ZĈsSt;96V|J= G+}7YJ,9]3ki?}VytVW4!@y#VYXR>;!aZYqR v^.pH Lz8 &0*QiAJ8(3+.'pt3$PC8-A݌9fGcfbb1*AUM 0MܯЧ?\oSPn Wj\% 1[]YW){gPI R+ߜ뷻7`PtRAcqO4"k,g|62;*F5FAT'{^OEF [':_U9DtW(Ooe79 Fn2U)ҀuiL5E;<+U؃~l C""aRdg"Ÿwk2r-څORXdݫWkru5WHN(6!ܔtmoLt7vorW56AQJv9ݴNG'0_&˯Zp$V侁8bTGZx*K+Aiv0&fc*$v@Oj`ZP]GEv~GqnL1̨1]1PH=d6gZLpn!ܟhq[ȣZ֡yY:X^'1dFW)Y+ZYU? +)0 j%yhz_]aЉ# rP#4G2r #TC3>KQZգrR`JHZpy)l9I/k$]rkRI7GM?n /KRK!&͎?\miamV_@[Z1e'f ; rƱNN ;\񏱔*0&ɪF,v2J L"Q;f(8 _mY{YRoFёR-ff6``RSCc4ubp z+Gx"uJRVgQFfL7yR@ű>$}4Cv{ Uh}Z!z7A2.|zs&xP7@:?(ݭbx^}in.10ZE hC m3Brw4^Ũ.t .d5C&Yc2䦙bqļO JA{$ޛB ju[Un*Q]YAK00OR %@ xKX5RD{9OI`Ktx9*9_\̣ x`hh2S9;5BxI枠jDX3HD{$nހvP+Ƨb71$2u,,7IꧺX| Ԃʦ*XCy&5zG~GlBlq1WiCk-|-XKDL8dC^ jtdG광J8\Z(/9'^^#U.1k: '2h~cNͤsi䒴Yl5e゙A'W!kC?b%kr0<>X3-D!ײ(x;Y@'}{&Z ns'="kGJP%#Ź7:Sfk'EQT(e܇|@eë d ANbj9%>r I{IMdWITPϞ @Cpgr0]YLF:N#.:'4jΓ%r@|A` "դ/NqjSnd ke$Yo*=Zl՛a^bg XOB>3Imn.0e ^931c)ʁ j֮)#pT1%) fO苿Ccm(pGDyU\o0teq/5K02_*إ;i95txL#h cvSJhC?:G f[YR;;lIp~g|\䆁pWA|!T#nym߉;\_&͙@V%Exn1`&(Oe"*gbi`l'ySpZ}UIX5y7ۉ/a:nѥԫ㬫~tRs2'E`KՆ[@Kk7{K"䯮̗x@_G,铔[4'PI3캱nޮAgIP#9U^:s'UTrLa2b-nb)Gr{Xx{2?I#$PdXݫlG^4o-\#[Q[bJ:>wO,taq19qQ븝+L+b '߅q;ɭ==I:6#-s\P1 +Cd,ꟅT&2@s#%U!Vž*<&Bmđ61Mr3Pzwh02M{Oߒk׹_hPIJy9Q;~w]X^s Ckw$ - +qtxKX%IczوGkABGԬU1G1Ym: *j("ZTDU+15A#l2ICuÉ4!`[\Ŝ}o+bp`⓷&cMa[W f q~'1LA݉aaky;* ZÞ;tMoLx.wwu #NPZ^KyZ& +gb,Ӯt2'\j;?k}Ql]k`=.Q&WDZڲ`^'q$+>=}НёCPE%PCjwSy`<K`8HG?cw )*҃_+=ZNɑ3p0LRkR6/IKPs6 *ÑBoi]BgmТU6KTOk&^?/ȇ-"rd,CT58"4ϾAnBmтWk -ŲrT[#6knj(*Hd5vB4U2b?1?4 R+UׁGҭ`NЖYjXG9VR\x*%w}⸅E^&:rG)zQ+؁\l!]ahψc:j8?#PbCaV`.xסk;;Fɝ#d*z_M})d$ZkVՊ## 19)@2m"gQjȅGE-oFͥ"A(y*?":QvչVP#-2\@3$fYQcZ7]ZSNR!XcU"U.Y&]#$;Rl 7L^U#\?\ضH\II^6B$wⅽR\&ᠺ5$jP4ȲZy\jvSEѫ.͖8bN]; FHn?:;IEuq QT*r~bvF5NRt-gE#"Yjj:,BiŵP*ñ#t/G%K\}%W32b^Yt펭~ PCSW^ƑeѰіH^ ZFuCq$2w39+L2ى0>l FC(UR.>OLCrkOv)o*/ aN>nM1frg,0@,{u[W2#t>]u)Ar L#vo:0ٔX`nVMq$ )@s[\p;Ps[s)ɯ!Kg'hUT.`S*ڝ*pnqvOD/;'z ך{y&WO@)nMA?y{: Hk]l(NA5Ww[ o)' ~oTʣ_c3Ny-l$GxViNU91)aaSfFM*)gG3o%nmkt5AY2Z]B ;Ig ɍǨZHJaK=/na$Pr'tu WJؑ.*/N|Wۇr$R_%}E+6fͦp;I '!p$$w): }#Φ?34Xm^!6 :zWH('NMהYb͏-OcnznY46xfOB-ظ\ 'r:/[EYBn9AcZ$<23P+2tP05-#:>/ $,b!0Tv?#b#q Pų|S&dCC{ 9:J:]+HlQM3:h؈^.}u~c/s=`b""E:R~~ 2^iK~ǝMwm54kH]CEPՈG.g$Kcӧ{<]_p8uYo#ȱ_>8+40r˔ + euoX6! vIؼ/-w((KV*xq'U\ʹ!4yk #)߿.l`/q8[5\mhj_γeW=ϟ*饬r(`jF6>[|״[2f$Zt YQ@[gk$n?1Egn|&s==Zpk#crZ G BI;?tlT5+DI%Eq>J' Р7%sX`˝f6? P7)([ VGP:+ޢ W'شn\(~\s!6#7P?7a˒doaa 뮐$19T:5$J`vJI۳r`qq&ut{9o`Qc [ׄ\Jk4HCE'l05ƞBmBT[3N6]/o"Hם\7XEnXgYZ  ]=7% DRandomised_Social_ChoiceList-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|i=Y% Randomised_Social_ChoiceRandomised_Social_Choice.SD_Efficiencydocument.tex7zXZִF! y{}]A-MՋhvG"uIBm5Ȓ0^ c`m*~ hVR?&j? gnBbV\~Ӣ4z$.doU[⻙>3ԝ2[RMbb"pi:8g0Z2ypW tŘnHD+L꯬6w-'-})4G PȃKd_;%b$-_N[aNnăˣj*ʪh$԰nF XTߢµF#>X+'}/U3XuP%NoUpZ2^R &-zbA=|1mǑho3=[% LRandomised_Social_ChoiceRandomised_Social_Choice.SDS_Automationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5Ȓ$E)e~~M{{q6D&r )amЎ_P>=/G_YE&@nY"ap8|= 6p;9R젤Lq{>LX؃0"6%6k,#}od;bXt F ֡ nn. P&9]m1>GGVn?a- Xn!:;= ]ߖ}&o4-HtA)Qѫ80$n2GeAkeuj2NDn>)}P:i|gR9Iup1(ٝ~* /xUB&Kyz{,z3I/EhsȢmo,>t!lpz / Nnch+'~Ni"DtOΰR|Qr{K߇bG䖲V;|8e( ́;@>,NuyKQZSsou$rl@wkYcGmcIO[kT VŸ;=ɰ:` 6F-ʸ]w4l%dr4sǜ&YK3`DewČCr*56 Iz1}$_䥕;?3ž6`]T,aQSa8#}Pl+ jG:N{ AK8߉0km HL jߦTU#<ra"`lfdއJo E!wlD rP]6;i ΪOհHzVynɄ%,M#,jN߳a?ƫOidP(7qjB+ IqN#[ 0=wzbԡl-5CVoq`/:VPp5bݰ)ɟj6L "yXL~r 问Y5btˮ *WM%L9^}R,8ж? ~f9E|ד =vx7[[KdqB* áb ;M5d1ǧj *!o^#1oUD}IR mReP9/>TdNwű}WhumH,] u(o]LBbHw V(H(΅<`XazVro^@cc 28<Ÿ gPzM~QwJa)lQ5Mm`K~?2(8](2E͏b@]ǍϪ m{/* guyk~ O//4r8 2T-GH( =nUzٮGY? +;Qƻ)7Gd 0jH^6l֡S iz bcpX)V]ʛM<ɅNEЄ$óZ"Μ7ftNN,/>8Luw+&B$wȻr1 {~G7jK~ &DN&6#zSd F?Z%n!lJ/ NUvJM9)CŘv xFuDh\ʤo2*qQ%jɨQ^K4I(P+Z)E Q,dIh0ǚ<:灛9Ф.~SLOF&z%`NS[2_`h.CN`vlBM6kdfV3aSkdWabH.2Xa#?Rhrxvpڰ#~pg G_$ 81l̴o$C1ۖm5*&`9@R8 )#hLnS>ϘDaix6U2T)vjU;EbAs[APLiBPًeH\!"[S$Sr_;;b˱$^:[C([3 NHS](}".u!2?ꕕjSE61*x-ꬿ#e#1.j!'-: N)C3KַIDΔVWQLZKu" *sBY42Riw[fMÎh٩@f Rą j!mTB{Ii@{-o8m o,Ez OSK!x*ۿqJXnWu[j>\ 1tCu"I99:a/[M8-0@R&ۄŕevqٙdIXtkO˧4hJ\H[G^ۖ\^CcD~ϗ7j:$`D{Fȡ˽i/`|Ƕ5[81u#HCI"bSG Hnjz99*zpqfCbC҉cL ?d:}= >X/ҒoR۠aO8] KV;_ s˰3:3.ݛ*J*SKG=sĒxdIg.$=H$H\yRK?/Mjp¡˨f;u⭭0$? wwAƒZ<-?0d,yݒ~U=+x3nv)A3E^~Y*Z<Š9q)Q`L;J1|{~>$#[RP-{: [i~.!^%5^:k5;u;>|]5 ={oex04HQ[x`,!hJq8qKӼ{zMq6gk:TDK :5[r q!g7QSqOs<U9v{fӿlIי!KOgp C FUTaDx5tin]obqGL}d:H,\xUmFon:#򼧿;iy/i,EL$GAwH$#&MPN{lއ?9pN&/3)kX&0.^=Z"WTA *ˮqÀD6[şR ޖ*\^9"3xz"Vi28ӿ>/8pa#ai3.`7SQKKnMZg K"bD<aai~9^G)u$Ic;x My \-2[#'HiPxN73rNn(+ϗ`VU:"BՏa dXR)ǗG 3f%C<](U6:Vi:?I|E@" YWZK:Vw(-aitul.lb4cTMkRd9I[ 9H 4B_|ZTa0Xjw>Vo7N;!'2C:mgAsru+acmzwyQ74 <+vnXcg@y,Nt}[tKBE;;ҥð.3+6:0 0Ӻz@O":y Ao uS8nm=)0}Z{j%wj?/: s{-"t$IÛA-/_8p/j3>}+>xC!/`H B}I1ٽͥ0&p ,){RrG⭤Gmvz%*Il\&(UƻK)Ӡ&03+QhS/|8& OW駵Tdr>6+ KMڰ]'Nbt(e@uSsq̛Bt&RNP!n<\㆐F8@hVt.is/lHTo:s=sc\m_"jp9Y*H\6aRGJ#b;! c?sCp g  vQ鬿bRJ4b dՓ'4VgThUȿd5lEj7wkmg ZɎf`D=țԩGW m\8)Bi˜ZF "[nqMP:fZ(c'gܛ4)NMiMȗyo2>eB3Ǥ=yypyr.}Y0Lz+|mKJ?" 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_bB65gYZ7X:+ E6 S'{ geyn̯9Ci1Oq7ku􋑼5lɾ[ ۝ð"Թ#*{c\\1 }om#S#F WFΞiQ֖TTBx8?v jW=w^H7DNߴ ~d\{|0K.9,vކ%v^_,;EIi) oNVe) N<ܡ!s"7/eBg y7B9ݝ4aIx,dmS<{ Zj!x {&eLWK݌ʋ5asIV$+I  Uo˴{psrq\C͙K!A2/&`?>K&ID$YM"x3+~~x%\X1v@tL=ڑa,*=C^K7#=$]HxV6ӍsArP96.tE_(k^L :iWJu3O-Hh!i@@t'돣弴J9K-dRBV$rۀ5O@yAH^uupLf1?cgx2c Y+mE[105IPK6S@7l2kǘ0^-[pDBq~B0X4lZxMY<$1A 0̀8Yֻ 8 ŗQ7@g&PI$Y,1SKmn{h/oً[@h5h [61vP}ϫ mt! N>1 K VmSTsfgbE@8 mpje3*D2Oͨ%}Ɗ7C{xt+\⻧pz%E3x_#sgqdT\*ӵ3h Ґ0fܟʼn< XT!&t.E\0ϤQ'}N9"hiSv;]{w e3te t' NH290X%Ql8Y|U+NrPq%ږkʕ( wEYE=@ɋJAjhEH_A%/>W45@+l.EǃU@Ya F8lrzznXc5 cMA2{eP.^n|-$U88&tM+xFx/:&TX#%? ]jۚI8AS AH1sjR7_uBwHhgXhgUÀɳʔ 1!L/A z+۱!㳄4dgEw=r;  wDI5 NRKűPwءkxꭱ~@ё{=W =IaZsrKQP[BHߛ+:4$JFEfU>rc^{w]6e"Q?w¦t@]EmF "I)&+ XY4zö'p ,xPD8 l p95x8rB|Ƀ:L=b}i롦,]YtoJ>Rk?m2g9-cyuKJhSI a^`TC_N74h./Z ;`K.Kff+ ?&TaI BaY i@fD[CUGRE ÚqZQ ?: ;uI:] =a<4K;b-\Ws7Vp(0b{ZW&MC_&tٵ‡#V.r1-UڅN-;辘_H[EDXDF _O ;O ۦZ ,H r;D)yh•F>ql'/ 8u2fwx)ڍ雿+]$|u5Zc@v3 " Sӥ"k!-Ww?`]l8}'9=3Ӹ\5i$D.vG+6],g_ۡ"^ǓK:Vo5nmw΢VG$76̱gYZ YY=W% $Randomised_Social_ChoiceRandomised_Social_Choice.SDS_Loweringdocument.tex7zXZִF! f ]A-MՋhvG"uIBm5Ȓ$E)e~~M{{wb>n"aKZ,K:2iXm]  \ylo>gG+'hrILfGSUOC(2Eꕬ{zR`3, 5%8m_ΠFP؋ss>< ѿ0*.՘\R"S6Nn?=u~Ϥ1"j\.rn > Xz$u aв\ Ͷ͔_Ywhg;_ڈc!9 (K R6΀{44>_'DSOaǴ%3=&y'5 _3BJUQUDyYRaR*x%Ӭή6s_0z*O8m=k|Y1{ kSX_U;ǂuڥ ܌>F5)c6ECsZ3G|1jCH=k):2udJ+tQNc$[33A5ote$9z X Ыr綥쏇՘r,36 a×5jiY%> Gհ5;RZ$>e6tcW3avfhρ&W;G[\׬_=UPH48={3*{V(K ;$eOoq8ʸhcGUbx0/Ʈp$E|1bKOj_wO;5fkvMskd*% Ef3)33%-feb8~/j+S-ECOLbJ-{=YӢIjka\|[ Fm=PLwzm~@r1&LhK.*. ]պeZ}O{/)kmqwh$(z;,sK-bW~>l1hG"bCF=(r>;i5K,,jW;KFv~rpvICuݦ:/T յk>2voWqg4f9xƒaC0ճ6 W)r $-;0`=Ommk(o~T<0h )m"r¢ S'S =qU"<<7J"uEJPZ"f|ty*%:00'xQwZOZ'4N_d{0ekQ.?pE/5h:n?m*O  pa)*Q\kS5v+Zg9O`ߍy(Я7gUԢ,n23?d:7շ7odg)qQd[wrhƧ!UTSR9U y|5*G ,dO{nj3|KxΆ.Y蟼%1'tVJTLv% RBe(0dN$8d\~{jol)aب:{rT W6ZLcۣ3Pn3b ;-T%[Ki?4@Y2&P"JcCvQբ'F{;Gqپ'y~cOh9Y굑@.~lKL) +SߘVGsPU˒$Ev K@xQ!Y&QzZ#z.#aH|SCA{_=@Pob>d$MF}?A@zkh-7?EszX;ϦMkw񽏒js{4\d#paX[R*N{4L4%6U\&:IZ3$÷'8 ްrϬ*㴼.g}]ϐ+x,(h=#GV5yOa^X@f~ڗ[>4eLSetaZ?5"o~4A.wUf~â_î+>BE}PC@JwLomK5}[w]gMi[yc%(tڙҦ> Dy`p̪14[$KcJ5Eme}[9t3m!~ ~8=ZFGuXyfmizZǾ;ш.,٭1d9#))K8ъ@@S-$ *hۡʧ-cs3zMm{O"76}3˭/X%cp1n"i]$ i)-yNې§-I(2K-TP$j DW֭prwO wl1ܙzkB"~䃉AIvdjo҃u|AʎW1Su)1]%jJa p3;xȍx1n2+~oi`+C>sEplgl N*-+˖qlB-nV"a*߅2X$[۴f+VQ)ry/ODYV‘ 2]`!ve3vD zI&+ Pgzn27ռkT9_J*×KJ#MaͰ;UmlIn=~(#ȤYc.&6(V{eUIdocQqŜ* W+LZ/ɂVZC=7cBvؘrxzP~Y&?%fy{]SGeU^I6TFhy-ğǛ@xSͩvoYlO醾^^3Uhkh^9Ud0ܬqN2T3i5cIcXw7gV>d1ۀL!۞霧wgjyI1ػlyWRm{up@ؾ 0J{{07-7ڟċS@.{I;:Ƨv}^fxkF^Ӵ':C 1mÚ`kef K3'[D(5g<vqᭇ_('GP5p_NJBD)H7[a-Cz=BS6[;0%~妦}P^lƴ/EEU)~  ס*Op^WQ`}@91779'ZVg?rh>TTQ>*Z@;թ> |C&9,"rdNfesS*1w^irO^XFl˘ w'Kbu^9oIK8_@.m*UގnϥJ4D6SmI[撝02V]-.juM;J-*klf>L fgf>FUwm\ ~P׼-T4A2Sw͗$"mʅNEL 9A4&x#iÃ:NP2Kbbk5fL徣_Qi`J'Aq?}E' 8CS&*fna6/Ć ENφڌv%.k ?QAB׎!6)*9c Yb["7U2:{}iZR mgΛv"'222^rs ެ|f4 J|&=}9qqX>N:va7~t,MwG<HvbF+ȺhcOVU"9}-]INOUXyL‚25CAǰW)$P1wYu,ϧ `Jzpf(Y$=eq.Lu9 B2 Z" ڕ,E.ttKJ|5^;nQO=Lf^(|;?O"yJ>)h%1$m; @443 XsuUe*Cu;3E;!MPbdPa(|cIzN0% KOcKvya"]{]s s|>穦0,m^b"XFnS*1,Z0w X{>^~fż܁ MMu zsw;}kǒO.qT:fxAk7ɟBٶPzZN~auSv% Z˾޾ =,x &>@&=YZ$qTӒ <)q!^ QQbUgᕂz%T(dީ>캱[(){6nf'AIBaT!:tA9AQuVc@\647uY:[|Vб vdSu*@QExlh*|ɾhˬ4^0~ў~n9jh+ۈ7iP9;?}g;?|YPtŴjc /XfRJpc `SLHX,Ur "Aע_ˁf*:tͲvd{8>ݷ| OJUSFaomRWqNZcu}vyx- SZ^m'FdA6q AMs'?K28,|].Іx휍e jnUiʃBۀ7? nꃜH9,n"aIt" BD1݆V]jf}5{;cB¤~^V&Ka㊓|Fpks>Si? F;5By@]5Rp)p'_r>%{7MTXOc#P+Foa' Z$.!hhD ,,^k@?d鷀d{BNr굲QlnѩYpIv!xT'CxMnff(ܟ(8Jq7g[J _`_LnYhôh('^ٿ|/+G//&\R9[O$<7ԁWQvn1#]Ԛ>;. DKHI{ q0Z @ıE ~jKZ!"^΢Q7ox;Clk p=ᗀB<뮯huY.VC9ߦ!Eu@0Pޚ=`qa&0M]iD80MJ|'wYUbQVy(Aj]V󌜃V ˇ?DGkqzB_P )3aԭ[` )+C;sfr|.ywq%m&r5T}r"?~3ҹBI5}Þ[)j) TVH'ɐhL'^2"R 2GkD$l=02[֛vx)fÐ!ۤN ^1(NKi2`ݼgYZ jj =m% lRandomised_Social_ChoiceRandomised_Social_Choice.Social_Decision_Schemesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȧMfw;DuC݂B);8ܟ5Q0BR;8įLI9(# RSqP`3%:t,*T ]m0Ӝ&l| aZ+)02%ۦOm[;O4 >P>+uZR13um2Ճڋ9o4%w\`nNz]H1#6:8ݳB4Τtdi 4V!5 cC> c5/$M#,`y=&J)S= ., W{A]\.ŗf<>$E|x+5g{IFi Ky|APiP= Ӟqv-^hVLaEAbU4zը!w}WuSC S={u[ey6HQ yJqD'icZ`_1&f=aO-[8&*1(-#^AP氆6NȞO庢 &7^'F^Aws"Uޮ{^ףWE5mcRothOU`А@d3,S[tjH} Hl i9R󥗋7;t]Wgiuo |& 0e|,Jq7Oz9 =ÃW*-aKzx*2"BZEhB?,s~},,.vpF+M"}]ghԠJȁ$$d~uhזn]I lNT/1RF]cXBb) HExQ3MUu7R"M8m$V䑠K#VLje|orGX9"5uQ[H3 Qc|$C3`@Țl\4ֽuk҂LW l>9Ic}Y {1\U][=_dP"JZk]0Rbr'!{m7 ץԖj9{1 `LJY1WTՐ#P-ɂPM.~  ݺ 6n$S6?:E3O0]$2TPQl"^_~' ?+=POeބ}I0=iDE$q[mm AsWYLAm;n_'5tVރś>n+3Lխzgqms~㡒@tB\x BA1X37j" [P}~VM)h5 6ˀh\^^6"jUʇS34UaSGXo_1oʻ H]>>9ȯ'xm;g{Q6ǯ*4M`k=Kbxݘ+ni@dzU[0`ֲtT]8*w 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 ]M]7 =e% LRandomised_Social_ChoiceRandomised_Social_Choice.Random_Dictatorshipdocument.tex7zXZִF! y]A-MՋhvG"uIBm5־SB^Jyֳf:%MJ;K0dR'(Ɩ^Rp˕8+g7uNZOL FS[7Wh,"Q+?[r,Ty`!ZnAk!wM7Ugn/Ƣ6bZhqU*&@5pEw͈@6Ӯeߒ" >>+e 2L,;&ޠl@s,QØAR?X2WX~(4ȭRpOdf˕r8@^[Հ=٢2>V[M~ӯ~JWʵn:L@E^Nc(9'K3k|Ѫ%Y&%!Zȵ|tҾ[b;q-媝fv4ⲗX0̃c0֘`-3n;BBb{MXp+<ɱCK|b+las^Q>k7זIZ- h0 {K;ijUg`mE/ 4@Ts_0S|-b ٯuna tMAk:Ga LCr+u i46)žW3"p/!z7BD8L(=ĺ8R?Y#5zb4h{ir0ma= *by'9?Жtܬ[;6a⑨l%}=gQi_t~I C`ϪgyƹSiR'`ܔg > =k% TRandomised_Social_ChoiceRandomised_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]\Y#aj2\L+װse~NIu!i+5xl5^5+Mz8ˑY"|GʚHCG` οw ցFNGáw:(;x̻.i4A yOE;jH[YK|kLM8- ׮Z-40רv2Wa࢕oAcߩ07 w:0h3RԄe ^ A8&6fk:ec&C›4LRMpn^17.GpDz:ܴ)G'Qu deBRl.l%~TRۛ}wGzsNȉ68B#=qjNnv`Zc ݵblIK 4~&Ms[@.%BJP+tY9JKDcPw~euJ)p65C$~Biq >9GlrZQU1Oox&*CHc1GPdL rmݳٸp֦yM؋q}IHl^iZ߹汈[]K dk#T7||yvϠ7[Ep:Xs/f֣.wܶl \iU9x,P>Y?$0"k`\: C՗ĤH;7C]o)+wx,L=DOu z=[R߶}d>cni{'{U:nhz`M|r&J@2{V佮V`/q 䁎T2-l]?U̩ KPXJ1DTYGo=@r[ZюyWd2x"=ԝlVWZ 2 BL|$On8ܪõ6b[:2eGT`Qo  I:l[.sAu|. >{' !*VJL0cya, 4hCHω:Ff08lGZY cr,4*XɕVGS5INO:,bSryUUĵ&4Ęﷰ4#Sr2]/mW:ต+Qon)*`%㨟¥D:_&'!j,$WEuXݨT+P ʜ(f(zu!1$$ _I-_}?/"PK*i؍)رR!Dt8[{W(c oTe[bc !i=S\ֺyivxi0Qy9]Nt\ͦ@bKe[b$[+bwv[c Xc1!5BRQ\sQlo L@b e08";>/B j>Zz[ݹ*?P尧+A!ۯi4;֭2I4}VȑE,ŲJ*l>ItiĽǼ֖=da1wHCt(܈|eן'DHU!q:= 2Gu^4s B=*gdSBAq DH= 4^MKمަMP+et{Y(܀*%3Yr`11.=繡qDVLnk"!1)gMG*bO܃BxpL/߿TAk[=v&"#"}E ֹ Un0FgrβU5ILIӢ 5V$30J!F࢕(}Nv+yt( I we.6#M/,4F0;\/꼑7$ NSL&XhrNW M 6֥C 7-T7@&MqeWا6ת&_%w8?,}݄a@̖Vo 3F3'j@RըW3X WH50grd!|z9(諯d 4|[P(%)qWYaq CaCjh j  h\0;AAeL(-wx^Ӫ͗%~ڱgYZSO45aN2bJ9~8$k Y_E ,I͒v߃5a-aW<gRytCK/l^Ĉ6a 5|7?QW{9GP}_ʋԩ^C^1q-j-,?7ֶP1(7EɹK_[ٌm v6A*QROPwSc赡vP ,ϻC`ҍH='aIvuҳ*{M72JcTfQִ/ ZWkv86F3Q1LAHdJg6[?P~p@tnh=z~8 ogU:%3՚1L|v r'5<1tA/9V /Г#Bv~fe:SQ&.s7ch Q_;),*÷v^Ch35:b3'KAdМBcSã8PQMGPr4H>?s@DSB0^+٢ "p /-A$O!e! z.L7v ^>5JI-Wu2LIvkZs|@VدԴa뢤/) ? ٤o4 fF`l:9YZ# ,N/y<2E4L0|{Q(hٷ%9s CzZFG~BhA'GʵF2ٴ^gTII*cT4t0^k\qkhl!}vqB-"yYF ^[?|f:|J&Đ)_=? ) ғ}:<v\2s[ G~J?p&(LVz & HB505I?@7P)[o }ުl.64i&M|暔-;k,m8ѶX +a2PpGgu?L m[6|Vsžqr߄gf&uM#;~ "ߏxFxB.t6c|N[31Z.LN_gQ9CZH&G|Zzrcw%>m%p}kf&'{1zHYrɄwEk^ 5L 6}$ Fg-Y{խ #2]3Gx {ke<B_GE``-z*iƾa,?8A"%Cۜr}xNX)5X0>B-.qse(ǜV}l۱a&0膇2'BJQx/']V &Ƨ!BBbQkMqQ|)]#,9j1]ZcԫtYO̪)j|X^Tn^a+KYtIh9W5 +3Dխ-b\ksf0`촠v0%A\A' W)*|'\k ݩIS]DBv̼ fe3C2.NkķH[Ա'YDy/EYci~]O>,90\Ŧ@Jya =ֵ(ۖ-TI#\#ro"Þ+M1J OHq HO ALІe&~5$28[R|^K+g'q`- .LņkOA+n(cU27pF_}>ά֒"qȑTHZꏪ #ִOij nx^BiI)8Of^<4%Owa#Y#$I$__aoJ9XǶ@HoOvGy~-YCOw.G0EFiLGgX1tC6}\wœ%Um0>6mM}h\5f&]ws;Gy"3/>~ȨBPy9D{.ݒS:g}-01 p])KBԽguIɣܵQ"T+ &)nڲ6C+Fp!W&@x?F#?[I.I p9ӑ,o Vm̹@žV-Dg)k5/o 6i;BdoxAMTpKyh¬t@o*7>ɜ6 o[$0}448Ѩ/22ws]{EjOkMK;W$-՟/%Ƅ _Jp$1j=xon!ܒ@qWg5B""qcWQ𨡪OOdct`#J8O3i ;gU}40F8CYz'ՂNgշ x;00Y$K$?0 VJ8-mƆ˳صܻEթLQ<ӡzޠF4<{\s؆n=M.3H)cԺfzn-nM 0*G;JDo0יK7KD1 L$H/yVcqdCLm RSRgx$/8Gmwv lCzҾ]6,Q|$lOOBAC33P+br~2h.J!nq %o`yE][LFiϲFY:~[|0 ukgMAiudsŃ] '&ITupNB@S, Y=g0[S B7I;9*r8X6bLJM{㴝a4<(p[Q$ ;Epǥ+UWJ[CA9*D&4HkN߰7#a\8mU^H7ŧ kVX.3m(d=L7f"L]}WX1=l 4npOķs}eS´ͮwmJw֫i;V!V)S<b^^˲O͌k0(HdTIpiRDYT2Z8NҺߊN^D~wsa0٠WITY43u~†')' 7$=_ l,@?|9N-d36X0l'..3e1~D?qnV_ r"F59q7=K/pY$ښ~K>K##Գbu=˳cLV# NJ{ w671J:gKP@jB̆N\LB}6Ne QHZ9E/ڊ:*x'#S :$:y 3t<<V.6DŽHa&P^p"\;XyLVw A}1jeoƵ 8墄A Jr< PH[gMx0-3uc+B GhȻ e^wH/O 0|-lh@P`I +ƼLMnڎ͡Hb6>e_]%WI-- `5fbowwIǻqԅ0C@d2dپbuvX1 U#gQ_dXBĒk\PȈ@|O=ks vsW-]nޢNLլ. \we!dwC6c薟62;.Y j%ϛ|r1E)h?\7 %>0Ve8Ǔe`g@_dGo2G-Ian]:4?_P2Xj:&^û"D&SgHVYNI=H)j1V"mfWEzCB"c'$oLB:Z/v"r а 5݋l~kv YC* p΃<+2p=l_#_5e ,kTEIbrR&r.!!=ߩUIy sO9A:nS`^K3tŞ+aDi\fbV,ZM~B'˛#yӴw{bQOL$4h߼_m`+OK?ǒw_e B+kP7wbߙJg0oܑhreZqoD¹نcж&>1:$f HB0 |\xAH2+dqj} jEwRŤ 雝޵*H(@V3> ?"!G6].Za A6w(&?4_+ZC"܌7 0&pR)W&O5OVY T仹pС"en5Gb֜W!B*[o?%F,䥵EȩS-%|p3CG5snX.}ODĶEDM:5)<##\=QStBhxyѨQ@!n_@"3N0[})zCRA1RTE/DzP>k5_=e'ajDrZCCDuR=yL5y"U Y=kVN@?< H΁пP,ç D3q&FQgq66VhٖU[][''mEc 泀¾Ǟ)-'bΥ+Z& ;H;wg7UNf:yƀ~e+~ /\ IoKbʰ&D6\`qpm0ίLGe^ )2GZ±h/=g !I0$ n- EAD =٤|M: S.'HgYZ  l=o% ,Randomised_Social_ChoiceRandomised_Social_Choice.Randomised_Social_Choicedocument.tex7zXZִF! N]A-MՋhvG"uIBm5־Si.oP}v"fiT+3 G,Q'cGfNk )8d@QxRAhX]㲪٢ N+Rj|b,X[ _Q0%ѭW?L-Ja=mk~V8x%4eQ8>/N/jYswǮm|<^h gH^66m~~Y7ђ{~3.(/n&#'*lMd^mPx9ɰ/mwNRЗzV9h "2WqǭmPTgYZ]=Q% ,Randomised_Social_ChoiceRandomised_Social_Choice.Lotteriesdocument.tex7zXZִF! L]A-MՋhvG"uIBm5&/e~ ۜUItNY'wN-T+&w3W^%'x3߅ +W`;oZ0Rkps:ݓp, f(: Zb0HѭIN;?wS=X|f4x~Ud#3>ܶzEhm}Rt(|fɇ%MT̯b]ZcYbQLEO\8Z@|ȲZ(dYAD .EVщ[7 溥a-0(纅nT'>✭z)NԑT 3'3n,b8Q̳zuPC[Ƚ#?|Ï78n/aH<=3o /5a!VwUl!w;N7QoqOm.H;58tPؙ0I";lV@.fsKmmzi~u# dgH,F}ʥhPy I GUO8ƣ7v,*\6tyNpnaLaƍwYF~>c^H^2*Ri[Gcacdid'%1A JƭNRp4Jmɇ!pie F=,Ҧ,4T%E&kV(\%1 %T󢷬NnѠװc3^ENJ#i!}cbefσlaq,MbN1xz6=d%lfn.0TP7ܺ5']b 96 MN(>{X"u nj^ L<}rۉ - f#]VP|+nci*|Js ȜG>rR KE7G$k;gYZ=Q% Randomised_Social_ChoiceRandomised_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