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 a+ 4$\ ]/ SenSocialChoice:threads=2elapsed=21.356cpu=37.292gc=1.100factor=1.757zXZִF! ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HhKGKD&bboK'n".=ג%RfrGA|>0S!49OOpO%|ħ `A)dA{J`vYVlyqhd/A2A€ae o8>A.UxGsA51,K@(uqxc1 Xz_qJL{M2&]'*ض:9[Zq5-hdM\hbUsآ7~R@{"We\EYT`A׫ )6[/}3ߠj]H1~3v_ٖ\UIٞ8tkPf^i3䐐*j HI:'DȖ%ԫc a .+e5aR%QHذ /<5q#wuUca7%OG%$sgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd (X7[$;aAej†4 0-Oۊ`]qn  me;V_FP0*^kW%1gYZ7zXZִF! z]ŗXi%; P$šIM pDY:cBuK%gxN>>c9l8 qÃOT,BD #oVbIvsk9 "t> J-@>4J$P fZL7c?G߮ͭZHs8o"戴,RIٌ.q*S]@Jш5C1RGB&jOɵ$|9Q O炏c6d4C2ANz M4}3n|ͦ{sQӏyDzĸ22X)Xx >G06T|UUJOfXUTuo ֈ!3͊dZ(ik'mxv5arOI6;͏$k(dBYW_{ ׄ/^o2#@3ri\RwS m=H?8iC@stV[s9չGᡏCr&8Rv<@q]Yr*3]].:5b AFg3Eڽ[ŶfRGW%ON5΢@4I}="[0 NJz"3 oniM S^05uic`*E4>[-pSF9ĉЂ9?}+*&0媀&9иds5( .`Tc^b(r(uubؽ&ÒyJH;M Q*Dؚf+T(<8Z:z))# XEYK`5nBTJdJ5W*1BY^,De_7o"12*0mXLN8GZ7-j>؏fH%N$`.ɿԮrݠO$WξrMk(lp1R :Y5tE~^ggӞl72*x'KVKw2M|U GY/u!,@. DÊK!4XAC&ܯJR)u$m 'gYZbbda01e5c5695c86e7894b187cc6f2028299bfba0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 + SenSocialChoiceV+3% LSenSocialChoiceSenSocialChoice.Maydocument.tex7zXZִF! 5(]A-MՋhvG"uIBm5Vʲ0Ʊ3X7j v3hrväi ?,Zl2pbddŏ1&e介N@ozy  m-ȋV )Ɲ{Jx;ouygQP*dwZϞD Wn/u[~Ƨa4){%WW,"6TTٗͼ26he|z.a )ށSz)L&}2s2PFҠrlM[ Ď!M"7[6>^1n01y-S[KlXkgSWPe{S6Y@}jExz=a1BWoέ"F9stmd=rPG{,54oT&j=4ܱ8}M$J8Y8tg2nmv-5G? T-q@L<%@`zXQ"˵+[O+hؿu(jdRT D5.GBV|28}G?B8/"j&eC!>b THlFT /{Wއ18}#.PzdŸ 7=Ҭ=}mTRۖ-t e[e.ۦX!O ']Mo?f *nDnz8A5DrV&*|Tl VmkETxUT>3_p0%,1MtwMt*t$ݙ $z)>֐n㔁tDT%J|K/9ӠE`h.SL$hr"\ M% yRFF (Ndzm.pK#Fy1XzuV M%*B,$PP)TN]9Mǥ/揪ü>)2kM|7v4,`dw2ElLl6VjncB_TM"W让[3A f c2eL5B2W7G>))(f{XpSs5M;&:ݽ]B zDׇba%,̏~&tǿGML~~j!k `Kr>+1#V{oh(wg7Px#=)\Mŀp@lryn#՝~蝠E8-wF- tKdIr+c >4?IfR+ : p mjkP熷e~_9fA(ؿW>.k#74~>p]@{ yqFYFP!u)`%}Ff-^g-Vc@wmr MP?Љ'HLBOCq(Y~# i2R'^e~7G@x˖}}Z߹ݻUO&_{[wz-YfbF6vS4ju,$2^Nlp@AM;_r:j4sd|?-0s*2MC`EњR9w6BdzPl4UcR>-m4{M g/>IsQ6pU i2S0    `*6+7%SenSocialChoiceSenSocialChoice.FSextdocument.tex5+5%SenSocialChoiceSenSocialChoice.RPRsdocument.tex5+5%SenSocialChoiceSenSocialChoice.SCFsdocument.tex6+7%SenSocialChoiceSenSocialChoice.Arrowdocument.tex4+3%SenSocialChoiceSenSocialChoice.Sendocument.tex3+3% SenSocialChoiceSenSocialChoice.Maydocument.tex `S9wah#z>\dhho,I,M.G*'j#QQ}I~1bQ7 UH;o Ny:z#B&:IVp0{zIǞSgYS2%kF -y}5 ʏqcTkN,@f_U3+_CSӢpu> g>~ɗmT9m˧= 8eJC^t>8^)4VdU pTG2j\5fjUzw ]Z m˃V,R[.G9_ij)a` RNFhY'N)9r$")/蟃Oj1-*vC "O {Q3$۱eȎύ=M\ٹX __?ZM;|=Vu otK5+DCIIoo?'7҈;6)> X/p f[,(e } 3Q@"=@|Տ!AVDj&Uc$Jֲ* xjK%[VL4QYZn1qm/OTFa +X|f k\IQo}{"C8к`nF,]g:zuEt}Ʃby1 ۿ/F( 7BYҭa`ycsqb`8İ&{I13brO#?F23sٷ M4ш.U ZC3,<Ύ F5-s'=';E15>#lD?EAwal]Rٌd t=z dMkRr5{G%'7 ހ뙊"^.7&(7uim[o)Du͸RUd(ؔ]I쨎~4>Ay;DHs@@qh;D%o83͚ťVw0 ŻxIJ+  m^o iCn:&X/YvsUD,AlJX+49m IA~Juf@X(\Umo/*=Uד5\HHY4HS5( .VĤbw{ q5M+fyHU wY(1͋[wҤVʹ${,晍k(drPݰ}ퟕGG>o%࿬ ^捋҃Kॄ(h> dtărHbXx3rT89Wy3sb;ų*uqhA>n׷ *g@{5 ^w$rA\bT mз X?J3RZhkV}ɕ&%DXi-Z,u@Q.̔qġHQDk2Q^JҚy}$:–\z8L]-Jd}(163{;27MdsDz |7M }Q咗j-jBҳcİW,N'lӑzҜq,S\qR!5TД2s`ax,b ^Wް9`Nhȃ +Ǎ Nx Dr$!+(â5)/TU /u|6U|άчr=CXe+ChkpO}z6樱 ¸2^E";ϜޥY$s1кq)Qh$HUDk$bgH~!~+B;?"FD+ʗ2WR ~O?a!n>Гev;O@yÎߨ O5cOCc:.tSfge;5K@_G'W%5Z팳з7.;{Q(VEA~Nr.I L;}w& iQbdP0DJpڵHb:S7Ջ:M&01?W\- 1QyK ZOV@| &'43׍] xlzGŝ%ry~=,[e m=L?wLxt Q#˖OQ&=6"Ԥ i$ $OdŒ#SSB{x*TٴLj*U8G¡wzHֺ$lŬs4?=#brYM{XS}ɝ^>FRx,F!lg\J6;ky|@ &TJe7]ҵc](j#+\Kը]lIQܞ֔jp;-d(+|=x[5X%5u5bRy2 [9``wJ"5K@]XE[hwC:?cZ[n8/+E+9vv?\j}x.iF-З&mA͏ڤK,2)Nuo!\j!$׫}MXg^ШaSPwnR_R }Dw;`J ud!C^>֣%dށvٸzEx y@a+1v=VCx{,+KaY!T"_<ޗFՔuܝJXe"Ǡ7e!$\vU(gt[X "84IM-xrB2SF&y*QX'1;.aA6dG݀XNw2Mb@;{#L0[~JNivͶ[HFb _A - 2|Qthoz*y#Q[{>ʠu"(:lJў}&!p[@~ E䑙BNdFj_0V;0i!ޖT2^9M]@ b z{ f l=ȑtINz/ge:pX%ߜa'edWŠ+ $zH t wiꗛʠ?#󏥬#/=g[9p =?<~2|NnGLf +%g&S٩L#u2cK#/>N|$,׿ nD } hqXn] =,:<VZy77-.aj0{a\T7r rР{BVdlV{d(=ڈ_JM#(ڠ'5hg |[ۊ}1#L14QjvHg{qH^uY0K_/os'^IIB%Ր &LCR@@c?x,ةf%C,wvf LiM$kM{C5oi!ĨGC0}8:̂i N9Y_D,:㿻`0_Np4ʥ0pF[$+΂o(e{IWӝIGҚvv gf[M Y.x&6Y9b"OvΉ<.vFo͢:.͑,v.ρ%ӑgQdź@8OY%Vy4K]Ak_$i5$}9VG,&hGxC8VM}& -sgnD`2 rjyU4 OG͸YC 5nj̊j7TZTN%GD_}Ih.IZ[$d&R^x zL'M \fu&C&a98VFx~ͪg9GFC>Z8}o٩#XYVhby?fiT=ȹW|*e6 [VqM (bIit61&I>1\" Rd iR\j7`z3*\N&#\y 5N S H W# ,F|~ 돪1PC4"I~Ϯ̏=H\/I]1fSMpF1 nD]1zqWs0y9[BAp!{O,b/|E݉?lPWޫ!4Rz"8e7V'%0ڰfy 1^ trLlJa1$n`5?//}cNd)#mCn߆9: 9a2]/—r%T*8c|yGE> F-;^#ul+,[QdsfS͡]M(Kn)FVic ~=v͖!glنueݣL^=pr3yqȮn?w]]L$kY `nY[zz(;)rX(BRZ񦦹P7r[)1Vۮp0VQ\&Еle%og=n H/Bw-4V;vKDoTbYT - xG I,&^Q^ Hf]$R_}mwvCY=&.iƺ>*={<&iBR]\.c8Nݟ;ݨ Q8 n`A\zFQ^^'t44x)kv/`8\SV|BG1-%$r:h9̦I]!xug{%W$4 DPpzߋv0ém&sCdD!@<-Bw5ƳdQv~!؇xax1m B/ڪLD*Edl8d+qFMy]_7o.)/GoqM=_1Gڎi'ze}ׯ=u$=%IAt[Akԇ'/7NnxoibPacu!+u{<:2%4Hq8c/Hf +* j<x`B/{ &_ . WU,ӳ-F5ph[m\YD߰"sQ)8Iydwt ?[y.Fn $Em,޶|sU5`,wO:>@>O}9NIcXE3Qcmsږޗ xQ]lЀ齆`FɫVTiw=~=RFug şFirG;tE"P:$RBB~8`&Y;Qc+0\$uZF͗%jĕ>'"KZIݽ Gz?#3uՆ^R6sL:s]nJ$Jcbܥv0b /.Fl2m[XwHѺ O l̶Hn,As|/$jlp+w3ELWn}LJ%Ek}(mHd,}y!%.Ol zCkbٞM2\-#UgnQ1HNVMۊ r :8# BsЍiZ)t~o ɭ"#;^XB4 aV-L^$oP<;D1P}.nwU!/Â`wc.ra;HڜWD"OYvD}[с~2: I|CPZ/dB">L~b;@3o ,KqTpyHGgIA-ss^=+:`_HDtfTh;c(VM`rDrc_jY;5Ͱ*s?!nMJ&! O-}#:W` 3a~T sQDybu^|fR7\cxC!>X=c+6`YX6 "y/wtCjhi׿yeSq eRX/'|r;9m롔r.ׁ4>e/m9T)d\nH?0MDcIk9`67xc0*rYy| S 9ebw›K8o!"Q\]%{ˣxM(x7U wfrCq0D$te`@ ͘c2;@V1!emah6.eWou0}3NBE+9XN+n|fd'ĦX.ϫNBňd?6W8(sg`&29s29 n$293(33$~Y=s%U]Wt}_"m/^d ITQl㙌ڟ ^֨nB?ۡY Omy؏ 2ZgvnYI:2oTMxy=X;Ao "Pw~TQe+gㄋn 围x  [X}qɣ||+ثUՒp_#75)F1(:̙,BF\B: kϏ6j$TLacIiw2-5SqBU/A2Y7rv nOG8y,Q.QP deJ%n{%$4>/XbHWy(x@ L\  ;/ *miӓ0`g"1A7_QGOP1$-b/և fZdK ~h}yO)@'2mZʸ ieG1Wa5, +G*X׫Φȱ&Q]ƐcPasS.Mфa'PS%vV#.}7D,>b) DvB,^;ceGW@=$uXvmiH.ndD:̕k#;Sf4R du?\7N<ʥs |!dTKVzaF#Y ;)Ybk[ |bAjExz=a1BWoέ"F9stmd=rPG{,54oT&j=4ܱ8}M$J8Y8tg2nmv-5G? T-q@L<%@`zXQ"˵+[O+hؿu(jdRT D5.GBV|28}G?B8/"j&eC!>b THlFT /{Wއ18}#.PzdŸ 7=Ҭ=}mTRۖ-t e[e.ۦX!O ']Mo?f *nDnz8A5DrV&*|Tl VmkETxUT>3_p0%,1MtwMt*t$ݙ $z)>֐n㔁tDT%J|K/9ӠE`h.SL$hr"\ M% yRFF (Ndzm.pK#Fy1XzuV M%*B,$PP)TN]9Mǥ/揪ü>)2kM|7v4,`dw2ElLl6VjncB_TM"W让[3A f c2eL5B2W7G>))(f{XpSs5M;&:ݽ]B zDׇba%,̏~&tǿGML~~j!k `Kr>+1#V{oh(wg7Px#=)\Mŀp@lryn#՝~蝠E8-wF- tKdIr+c >4?IfR+ : p mjkP熷e~_9fA(ؿW>.k#74~>p]@{ yqFYFP!u)`%}Ff-^g-Vc@wmr MP?Љ'HLBOCq(Y~# i2R'^e~7G@x˖}}Z߹ݻUO&_{[wz-YfbF6vS4ju,$2^Nlp@AM;_r:j4sd|?-0s*2MC`EњR9w6BdzPl4UcR>-m4{M g/>IsQ6pU i2S0 Dyt > PlPN+5% FC~'b.n! Ipҧ3;[9I_abs=hu2/.غɖJ{w|N~@X7X5+f]jm@Ou5Cp m̂9㾨&L각oʶb5`h^$6 <"FkQeCc˻欳D;[lՎh>xҢFA7LjDFꋵޞ>? 8^)OvZ7Q,(FPUu -ݦ}k$E}R+oNb6Y>rfm"}3^N.䎱mdwhӍx`p/CFWO£@+m~D_a}qEOj@@5sV9(İ?0/ i߱M|`}*'ZDQG +3% 4SenSocialChoiceSenSocialChoice.Sendocument.tex7zXZִF! 8x]A-MՋhvG"uIBm5ȢAY*V[?ot_RBpZcEB=vտ' _?_;_6_~x;T%5wjzH}UYt, D w@~Dz%<^ ڿQaÓ:yz1uid o{b\w+Ry&hs>w'mLGځ3 !؃ z7N7fy5x[nsR90k9I?8QaAɮ5َVS{tLJ&S|ǚJ~kf{z&_%JUn-a},?1|a7 7oDV[:)!) ÝXAIeIvuaIkax,͵/„W{ X#VNTpY(t<8S+x)zyl Ϡ# 4Gu4d::/CEG("OaMɭٞe$O-;($ /rd8~q fi3?Ct۟)t)L99vb6`TNBT%gQ9F(^9Nx7 ?y1=d0do׮3~^ 4BΦ-j釄,w kO2?3G υc滑mU}ə$);I]M@Sˬ.2nɫvͲFҍ'|ϱ ~4rkNJGhvg'pJyIr7f߭EFQN'Mgߥ}op^,ʹcŋԾ0ΚsFQRwR3vNa]c"Q~Uo`&pV?Nf"7kVNM3*1{-Ə)G}Ol y"I<&o/`zKU>&+mb7M%T@B7ZҚ7z T-2a Cs#x&^'|CɤyPäKzHK -(bhlF#/Jg`L j={ֿep4┢vzܡ4G-glW{DZjF&lTLۥIb8: 2q| K=ua2k`C(UuN&.OAj{Sat_Hy4״J_cl3ms>Ӭ {vҫMπuTB'OYf΢?ȻmoH檍6K KȻ&4ͳ%/kO-sehGC?S+2{#Wi \qZ pKMǠ``)ǽ9<#M1 1D5FQ3R3ά;~\*X4`T<~bj.S'M>u#re[+*9^JL[0q zn6O i4> \vSvcB CI3i+)S/^ַ-rm&䁣a^ /D/tPy{V+Qd] :#OQ9{ 7?F҈ڰN6¶@t꒲3Z!ŜЮ}I;e~d!d{{_ (2zEVsGDmkor-~eR]:+n|iwWgg # 돼p*@Hno!NHPxJAMPECSҭO`m}tMlUsωߎc!51~[ ҉`K | 3JX6Q<7LerYL&EWV6G}2jX {%AlLwm c☘WTO2)[v+DI88a~$E'c"I^M_;۟Ew}"$@>4ݢc튲5u%Yl̘X~J QzrQbT@*##na>-i@%4*! @Xd={Z0V2‹L晕q?D*PJmL%B*ϻCTrP`W 7o;gƏSŪs>԰B*`M}gP;E[ %#^ COvIH'mO Tp{]`/z|+X̓GH yҪ>ʙ#H}O68")u\~B*)v2L>9vDo<=/_x8߮#~*iF}xS4D=,Tryh$@Zhus|0T#gy*e(G ="F'hMb*<[{ fx[$=JF~YYv+Kdz )1M85-=#qk QSΥP's6ಜW 7KyЮM>E?e}X\c@ _>,3`RގcjYsYt]CqW\lxiYۭYf'@Co?`wM=J?=QLJl#*UY]?чThA Rp ])UeEPt@+L{"uC6O^cκ7(A4 SSd=ʭiEc@E  .?t|d3mogqtܚ.$8)?J`"`+2noU28HG[ŖFidNϽװeONM_D Z۴C5[G{+suL*r'-Q{V$_Eb" BnOBDb2J7՛gOPARK1>~:6;AF,3QNoYi8.ŁXhWHؘiޛw-ʸ'%԰>HP# {Xshg:UxK'܍@hiZ= R!Vg1֣Q:U2";_&yWcĪzv>[c,>]PIf( AeQVށ+ٝ!,|Ō*&k?".#rra=$Ƚw/yB68pm;z|Ram#SRĤHvRb:ҩ+\\i9PD9Tlr.>|wlA-(ڒ:$=u@_^Uu ;C!zڮŠv*ہy5J1QVtB[X&尴Qy4VBCM%d;=NL\'/P6ZݔinD ɐ}9gA39%0xnI1w \* M+x!.싚g+?x\z_RdТ6݅?t:̥19|gpT0Ԃ̠sn~o?Õ]{Vgg?x T?^1yfDjN$rdDUZL$vW}r F?'FByvAZ@+npTnLMa}G]mjp)jx8af3 tl|]'GwEGb?Bz2`'C9-$GHy\G>`[S IsQJ W*?|CJ зd;i[asc NӣD`@9DZB0)e(huNIZj7* fWB]C O2o3naˑyZywO'YɦAmDUREyzm5M F+EU]DWܟC.Ek˫9k R#{q:f-}efvjp!~6E'>y0K3$xCIpI^j-nK#8'ˊ4!-_) Dc!ǹ'wta4\P,1m1bH~v#C-fL|X`1ĪМytdwTe$15-ijtI:l 94W *O_3& jcY8=bhp${ܔ/sv -/qp,֘)=ey|뙵&%-wӰX rkV'3H}YԫȔ ';bO6,@`f=|uc^?tg]F/!YfOO:@'зXmʯڸnt.W>װ qd=Ix]-;&YexD0䑿4g%Z߯,y$< O^-jg+D#wnCŘ:įTGxuRўfL:/?!~P(_?5&eu h uH<ӮwԎXڂAb#b Q yD[$f+%TǤ3;̪V{sc>Ǫc9E$C%O,Я uڊvB!Fd}ԹQks<:|yF01Ty0$9&B8 dav[me/2ah5t{&1|0h˫'r HUH>|%.^+-K"DY ż=i!OK&-e;0YZeiGA)^ i\ 體uG>=JGu4!ILA6.=y\ ooA:XPkIT}˓|_d IY !Cu;06u@6X?ܻ}'TTikH6o(`:oZn8Z&{lgE tHJ"_u+aڞĜ-ЍzQ 2L3O5*0E>'wDTx\;(+GSx6kBo2R̳˄ ;ld^ƦqD#//QNڷg+_)`폻ej15.̦kϬuU pA RmjO. cnJ@$s\=1qmeaqE\;)ָ*X6;{~G>[m08J1j /VSJ&PͰ۝9O[ u t|W kFstzәzy\⣂ y3cpEqn0bc.3/BJ=qx9Ư-.?wTS;D5 K%blՃVFk~ѩG_cO=q_qZ]İ`hzi"$n.-c y7mN~&鑉gc5 bz=Tl!U6o%Ç)vM6GKxl!DW$Nc,BY;˚q3** i,#п6 uNPqhH#H+ &TKש\@#FGT@PL71,Zf{`R&'vDtm@2D98%rb_S潐}yhp\ {#^ʼmtW_o,MZjxkrad[Du(htOR6M S+O'oA k"=dc׃ԔT!8tE4V=Δg?on.YuaSyVT!\:^\+}93S-,1RVS`LB܁ X8h[Iʀ?մO J3y" hak VD8 sCejh!kUFf,:W,(?o"7loÊa?E~jk^I9z*3JLSaYvI0o*9,M ";؝ CW4o3)~fHN0S1Kٚk z>Y*r$+8K%aCOX11a:59CS\qO t׈tE4iD-R/5ϛ :p[$4^V6qGpUT Z/DR Q:uGeKMКKn![\k=i@_c[yv雌nBTA8jbS/#Pir'Ƥnu` Mik,~l?;3,%̑'";-gWcle+'_mzSK,tkq Q|HOLe Vbjk\0rhSAՔJL25<d?l^Bq?_Kd[}J[p:b@ ooh]~ԟ; s'Q1yVk{p2{8 t Cr*kWokZ9ObǏuIެ&YF|4" Ўw:U}&8f {{]ΈM9&A|mы,=J 5 ku`}o`;U%y_d[Yǂ{|ƒ xP&ӗx]їƓN Yfiǯf` [̷0#f_a'9kT۸zNKe2<3WsE£4䤟 Pԥu10(vHL9s^nJȱ #^{ b6DOVE5>3dX?FBlV O ک,Wg$U,kMB]}Nj4ڢ3bcE䰜6й Z@i}7uMHP#^sniTQ .T=`B=_`hr $W^s.{As>œn&.a,N}aB~]$m3iMDgo | /+dŘY:nCXՒїQ#P:g oܯrKУJQOu-:xIqݙ1E3q9IfzoVxON='T"ɡ R|;:[J=;%%Zd5laV ǒ˱KC2!E,tt.J؈5b!,Rs@}!RƎJHw+.OrĶ.dܯY6GX .yb4tb3udhPE(Q.;Ag 9RI.M>Y KՓg3ՅQ%.+; xׇfYHb늘I=4mlS jvH6X%3 mjb2ھS a&qEp2{sˌԀHtZe3.'!&f.˚TK(%oԡ>7Hw_Rq!nXxw [`hU`ZqV46+>!Bp™LU)K  .8mS̀Y|#jd*ղl@4Oﵭ#cRÕ~ |Z YB#! hx*e6y]6YXV im%; tLP\wwPBVYL 7tng#pJǏ224-켬*ӄ׶fZQu66w'9|Hז'Cv<vǻj$  3nfI,j@ }{\7e$DK2ARlUd m`68-Y.#cQ.; 3'!(TWZ-3@6 %HhK6O"W!P?>_}e^q$]tRĤ#iYNatPgbA-y+.QGBmY3)Zʄppd0 M)nij,ڬUs}jWNieM(X Wze~V!B<}>)*l/͆vZAH\EDUX&5;fV=jcY[Ȃp;x3Gp"."o96dn^3TЮybP{k_5Kcs'u".l۶6Dݯuh=`xM~Cu qb)Iycj"io زݙIW*o ̞O]e=W~Ģ ֘ G%Ã< 5gZQtӪe#'fG9:Mͨ79#5{_KO YJ2EklMV 辄V9KS(<r=\~ڧȮ\ B2>GVR|SqX2NyrI9%GdcR=7ΏG'><IU:;rKyDeHwo%U%YS r|+wa;ƾY&t=y#cz. K[!]x0vgPQjKSs>pAg&jt@6Mfezܵ~OuȋeZM硸ǘs/=mʼnQ^d=jX >A =9.! ]a;5:V+܃B`JrE= f/ox^IN9.dtӶƩ)1}*yaSihlK[{k Z{KC|uP@c@Y//Wc3 P\w.B$YQ*ƻ׬˸;("Иj힓?H(]-z3VxlX&R%@@&э I['u?+Pj\`c}*XMԿMa,r < a ~mVoo%ma ct~}}VCB\yrgy'1I%"9̣\ v=Kk.`|n~4oTs#Lw$ ^d/[7+!F&WUS0*A|2` >d-5OgŪ-ᓳvTa09jTSH/nvUfT=V3CePfG8MoKcɝo;ea}ـ¾^&>]E]8$)]OV&xj1n׫jXf;ֿkGSjU Rk'}cNQ'  DL#MARKUGҜ 0sM͟D{Xojiwdޜ̦VQJ]@s` P—84&ڔ:8SW#%gYZ z+5% SenSocialChoiceSenSocialChoice.RPRsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5·Y|Ų#F鿍Tc{ʬ\U Xt~)A)4xtn_S,0% N߻AUV)%o1]hS@: v;hplK0Eо}ckހ:(iڊԫU6xx~[i8NaRyF;Ie}FTAoV PZcݺL=|J1VX~Pdo mq0bڕRȮM(ڳ 8Ԩ i'G8f$9bߑJG #Դ{8upӣֈb$7Ԣ4/=klao-Rcc =W{+p-tMFA#!A(hVlNߋFP%%xQ;PYQN 9O{D4sI:)?,'ZP[Zz}cQ Pjıݨcf7L{'D{OO$9̘Z[ԍO*'"ZZ1+oрcjE0_IȅFj*y"Ȟm s%/Ầe5tR}+c rh($߀Uēx>>T}uw#L|CWt;21ܮOlcH'Hm|ϼM֪Z5̝uZa:L}s#\݃Co7pqTB{5aRΝRᅮ*ΐ!ͦ+\DH@G4jey%=G!q}^ .ݝ[M6 ،R[&bՒ K@,1鬁ybגǔ/Ѯu>DdÍiܽd{eAE1e7*~6iȀvm{p9HD.#eiZf7m׾4k-~]fk9 â1kv}ҼE:ʍrs8B 755^FdlJ)PV\޻;i"Ro^HI)]":'وE^A =,w?2UL!]*6JDC^\%Dci] /LoOIփ҃ U:.+6nrt*˿A/,SpZ-aX͙\D֥ڨqCRY.o9B2o@L$a5Y⿋MP,gA_!Uu|s[ vtAםY'Ce##v^C&oTs6-9W>(4;  M5n@z>|f6w~ȺjQF0HuQaVb:\A7zAG%@w Qtr4{,0(P6_ c*S?"`#Kn6]؉—ڝ,TEM'܅ Ol.annXBbZupbIDk :js)d1 70`D_*SbeCi.) ۜt猇"<(`]γd!: -1$I¤ ̀oÊPo8\W6/S0*wghZEiA[%X"7Ju)$ً*ljhZ5@x@$)DtpRUˀ}X[fεF ê킐UЯ|&d qS))쑱XP"yV20BΩg i5m$t0pa*,tnS}GQk=Wen| [9 OdɋH>c-E^EHTRǯ:S(,_ ,$Á\ǚWI카 ct˨/v%N/7ӌ ҾO>ƜhoBwM\5g`CՕ0bFmvœ'3)<=A+Q@DWy^fmKB&őC_yV%y=t̄9+ڽNCkۋ7jvax ϑi^I7xCᭁI\MvZR>nO}Z_%Ph]Ub iy[ O% c7@[P/ǴGaXXXY{nAw)=OKt5D*PFGҶK.QkY QIu7J(gd؆Q0>u}+%:* dlA?Zc< Lٓ.ڵ72{m%bģv.0z+ %"t^:k3elR Kj0u."X6 tn]:4ۻdP65|z2Nn al0Ie,x[*α;Sc&!¥^\7Ъ!?io 3:tz쥺^&TpFDcRU " iTP?'+qhOwտ$ ؎mv OeJI>T*Q&ɀ [ RB!@By%}q@Dbp p6g N)g/Sedu48eX`1r8W*P7 Ma'WOr릃9V[G:EBYYPqd.'U7wa=s#Ϣ:Afj6y@ɼ=")0~ dvH%y\笅bS~qFY#y cq<(gת?P)ͥX]eX Ԭ[JԠYlN}H~C'.xc3ҬJb2#\q"0E5 \{w =K;W+zlt<VIACuV;?^{7vـOZdOjFFB`OKX`cMNFߚ _8*EFkǦ0h?31-I`k4zWXlu\O.‡iS"ֶ >#9>A9cl61k2胕QKpnuK q·.$qRQї=l ϔPqD}1G\͡BԫH.hCqfE*Wd>jD$lR#Gq>I?+|Kɻ--" s'&:H(oq?M$I),+y!fwSe红-Xc4욧FD+&j JˬvuAXx81giV){W%G:!Ʋ{"yY Id1q-y9 z.^1hbQ J dDD/8kD7+2n{Y3j5į} .;cXnNXϲVfrgl#6%W=U='xS@vWVo3qMQ%3;'㳆nRegrMcW3 5ͻmHq@"u3sj/jh)wL5^!^: gYW{Qt6$3G3;j9dڋQgaŒ8Qg{n$0"ayL7~޵娋8{{ ꧃`h̑kClBLsY~%bZ;R#χS 'x:قe3wĝvӅ&.dWÊ=Xn;\4qrݥ}ۧSEF=6d(m,=fxՇ}rQ:J}.~-=Le%\94l3WFmRi5~uj2"`gE/ >,aa-ئ1J!*C]YV%Ly3krm1O/|iB;G1;fi8*Sb}w0q [?2o!n^oO2\Wv$b<^J`?z.(ؙK\IU~vl{DLSƦkrFRW"@.JFsk\e. .=MM#s˵KEYw+h=mCsD3X']/ȧyR1[7f *"ʇqKD,Jw"n!0 Vi2퍚Lc֋$gfQM׈lG2gkcTg6 V1Ɍ)^-Y[ŸiK`a@Hva00ʹ}HgWDg' X_W& ZOrP lM|EBP,Z\|J҉yTamK[LSB!!r9ZuW\$ޖ{EʆQO%G*8~c)%ݵqz%`צ{$洛|WN\𞢬4 -VBm =סA䫔++Χn?n: lSzjl:]?C;?O <~lj挋cmi}Ƈ\CVl+;`c/<ҙ8mg֘=5R`X.T*,8Z8"ro0X$3Ӡη6&)dhcH( Pm6F%݅1s8+9jMFrUJ?sm:'Z>C>>D-E%x,a\p+I^ 8dg̦% }GԢPgt7m ŭbYҡ(ܵtտ nx(? |vIjl#a+i. ">@q6#,7G >n U_ul1քn_NDRk ڎ"Se>O}?r;F,ޒep3_OMmzvVl6#K0lY6 rO" ˯mi+aٲ> 5#r\E+W䤬m|r'i{v!4Z,&;k:@_>Xy!D< jRvE.g.y<hV܅-e] 4Wx 5x"!ioG39"YjɥPܱL/^ڭK86Э3G:\RȰO>##\$WOktJ jXд4̵I%zbM{?!]dQ|P\O*v0Ƌ놮m0'n %MNyrIRR#l[g1~bb}gJzf|'\ =cȬ?솅dK-ng~ސGJ*$Rb>ak&ɍL.T:T!5 2lh-spA~w@Pr?pWqVaCu|zdA%3C-著 x.}BlBt]RKB{MAt؎l@J/uO4|'-pTd#{ 8>"Ƀ̆lw6e.d nYT,{Rc:v,qc薥2I)-:'`Da .=5`@ *a:6#'bs"нd9|YGмRشЃGuѯrb~fvWlCnp(ҽq3U ̒jLοL!tЀK'@և."k'ގ`itID:($ )|թ3k+ʅ=h[cí߁,ҤʃLg.vJ]Q>tOd ډ S0yF Ǐ@rAAeA\ѭXbK+m 8S y2R ]2gYZ NN'+7% lSenSocialChoiceSenSocialChoice.FSextdocument.tex7zXZִF! 5/]A-MՋhvG"uIBm5`dPǷ+mOQW[n4mi}a @Abg`tid4n 䁳9U5'_X2.^(]d94Ed?z 0mNz1mJNuv Gvˈ[6/VN逑Ikp ]X) Gl)b:۩v^,Nϼ%Xղ[#KAgN@?x Hzɑc5 JcH. x{4vŊ )*'RDs?DwڷȂcn@FgU.VR4#Ry1kq݊2!Z怐yi 3*B%pIubP2|ȉWHv=P-vhV;g+C8[p+}$L@lK/boAbL 3Gf{YTs-9[-oubtҔr@g,ʆ@Q( D8Ok78}sr :kIغ ,P-[tiCUPux@'!EGSF .Z G fu5eJ5yw\~E_jiCu8\l5yf3KMȊ:s;UV~1Gݍm+HKsj-k&pK8] C-b)#0q+ls;Rbozx٥pk4i*L8)_ C{Hjwa5T'l6]a ܂RxZ8g g4~Պ 6"}S;&~yPχ\G\U; `/+ą'aIذ/k|Vڊ^%oEPH!O,Ÿ~boޤSBυBo'b6D+萾*%W+ϵ0$xf+N\gmSȬe7@Lz70N )+ZޠՙzP>.h62~, S\8:BO;ݒRs#X5s 8&FWc*w rQAM>|\^6IqxD?e "c;^B ʼ1hOh,!~3a5tmJ-pF;M˵Y+M7(QDfBrƅ DטWlmM/R`hr-#=iOȪLLݔʍtgJZ6ޘM6\m?ԩu$yMRU]sۭȽ[nciEaR$ڡvF<iMd(k|UprO1%(e{ǫ\^nAI l~*!)@WfoZOcCHڮk:7L6aC)Ѐ'm$߅R4J98?m#kWGb\Cx4w'-|5<}v>HN1bPY ϚO# XS鏧,K )c?Zܔs(a<0jߊdB?[$..10"~Еm$!kBX=\yކL*_ʚu1EfƬ隸[ûɈ d`^uP"XD(_}rמ}(yQm*APrw$VBNoa:ҘͦЦӗۉ( udLwgIEYgF*X:ϨGpg/mz{yT :>-