SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \+t,4d ]/ SenSocialChoice:threads=4elapsed=14.326cpu=40.124gc=0.7127zXZִF!  ]ŗXiɟ  Q t{w8។N >h(ru5A܈z> ě:PW6SHC8zV24Vo,)71vL恥7ȟ,H8T?t5(A^ lKn8^3C2 X/O/3ݫ ̌JPkRÖ jgfjɘAMxܟDͥqamB@J8QVd?)wďvQK_c+|ZL֙EZN8zm(hwqӰxhyVKjv&b+Ekc1nx!]˽blCÒ@dj@I4P5[p,?(ZEJS}z |8]Q[u!WJul[VeOd=ֆ݀%rtX-Jր~$YM(FIOg1ҒS&w6ՅZ'xPurVa@MU2ǽ7`l6ӈaWBX:?,W1{"@'J2'ڦ@x j}:~3d(&5UDvpB_]TDnS` kn"j0b?F0s߄UWtƼ\tx.%~я/,1Z@ձ,q8ۉ/FW)>0`DpαRUOК&o@JrTnͣN!T… " {}\> иM[~IΌ0~I?LR HF瀦H^J" Wemd_C`kUNcH\3%,%+vnk[`R6!gAL(& zxA} ŕz5"ũ+c,IYm7k֌^W4QXM[ߘ}ubk3i(l{6%w.6P#sfWG2ؐF HvX^vʈ5aXӨp"Iܵ:]2ىQsyx#l3e,g7v@xޝI5_p[~}[MSQ;(F$}=ew<Duz6WWN_@ .y5SG "iZB"ApvI2yym8=R@$*p,BMߑr Џ73(6˽L X.'M NMrx|ȑM18T #5&}AKĦӷlWx3cM`~J '6mm7x[-d4`)a4wN`/̭c"2XzbLe޼>\N z]6 @PNP+nRәn,ݘ䶎H{sd`2 He=h1[  3LD2(y1 V\لOٲQ''RuIpiIddك^@YxuFfώ%k S_[dX4B:ב-(@*;&Za[~-C{jbO`YR2Hʕ^= Ux1}tZH>_#ް=ڒ3`k]jor1].sAqZ)*5r )*WEZJ8[bQ[\A J1's ʻs}5 r0}8^F[7Ύ2X'ݜJ"~:KR_Uq HiSDYOri9wj"Ud2W5IaؿYL,Gn,$5S5^Rv WmݜVwFJAf.5@ 6"LAR?X]R䓇P+z4!etefyK)d̠w )7ÝtVw2 PDqe 3c:VB|m#a*"/#^D+Pߚsq'5%p"IW E2c'/)3p$Dzo+,Pg%ch$%[Ow'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>   `*6+7%SenSocialChoiceSenSocialChoice.FSextdocument.tex5+5%SenSocialChoiceSenSocialChoice.RPRsdocument.tex5+5%SenSocialChoiceSenSocialChoice.SCFsdocument.tex6+7%SenSocialChoiceSenSocialChoice.Arrowdocument.tex4+3%SenSocialChoiceSenSocialChoice.Maydocument.tex3+3% SenSocialChoiceSenSocialChoice.Sendocument.texB6VxC\;?)5g0ow$KX^Z7ܿx*WR@ë́ZxoSE]2&1 Fa$ Y6뉢p@*[(kJQeD8d4q8B [.E;6Rɚ=fVUގG_3Ew,k "hg6ht?n;G[d /&u*`*C:&BsNG_o!KjQ2vbCvsdD0?,FI rUwq p.Mg ޢ;+t_E׎#@LI{kXD)$CN+Q$cz%^],5}$]?:c 0oe*n*P&dt kI.q6`58ZqJ[ 4iIk>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%vVo+% RNyUE6mz,v |w/tM xO=ػ\>61xY:Vkч~F'c%/_"[[nHXLbڋs UBJl@GxYm>)?HSw܋(^oߵZNLJ4uJ ¯҇\)qܩNVە`8vynRs/;!,뛬'6ZJ&懽ۂwU$0`ļ-n4Ə$.4p7Ɔ3H"F=|Y$83=f!o5/m{#dQw:{+=\"{-"H=? -L? rD0VXf0q? I=?sSC)&_!^Y t?˽C ld@#YFՉPoՆ\l3!=͞xdXMpI{1dr|[DqAM9pS񂡃Fs$[]PÍT{#/OYlCU_rE\;q/ =j㞮JJ X ā1hv%M~hjBQjhS/ui.C[;qMqyRF5oV21#{3Sh&2d] qԖ^)_w5{2tfI:~Qk&O ; .}蝺7ےm'w"Ʌ/c5dѝ^d \E0a HIuJ5 \me݅@]W۽9vR_@S#0e~˴^`'̄O c2GڌaosN#˦ 7}+Kkci.}:"{D,0.jPA3(۸Pa"##g )}0XľTMA~Oa]-F)A6C_V>Nr$l ؄^_D@?t(\I.|7y))wcP*[Ot<6 ж0+64'gYZ `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{*[XJUnlԃw=AG|1TBYƧ~v1ȲUS RR(e: '1_XשA# x[P{\o0|\ی2QY-0JCj)KB;q_vvVc+ol/ {3?sĘZ92KX8,M+u^ 4"FQq<,+EL̈uOEw ,. ?F[h rs%)q / 9*-aH6CE%rmRڅ7dح4 ovOgOCNe& jo<"0~[]"ɏ a)k@<$IK#~iZ1h[PA;DHf}ō3i!ƭ}AI,`fAJҙ Pm:tmC\*=p"*h1 _kғ0&>11OpFW1AQUjztv7|5eY$bg 2ih/3nBws6RMXC*dP0T[;\EĐ> y)lq4Zsl5WK-$;UMF,c=tG@D Y{KE񏪑 |Nׄ30 >3.jwi~sCA.ӏH e`!MLA&V-'c L3#J)*U9#]ϧy1XҌ\˩2mdae۪zMi=֙^?b|qUSztbP*m#6L yTpfO-&$0Mq#J m_RQY()H܍nk7ٸ# ͔<$OC>[eUű>Wmc3s t \cTDQ |N&o"ճ./B*w zpJd y-~?xu.N L(좟h.Qْ!f f v%[; Юv$SRaY 9V.#Kmz Ł$tPHlpkAf NRUAIOv5.MfQxѓ9kD2jX瑅{C@V|ʻym%gspN")a^t3i}aĐPX15K >o>B|[^0_@>>]Z,,(_!g4hX0\+3]ɽfymUXhзĀ瓦9-T[(h:+ت`^ڻ;S ?uj9@QףgYZ oo+3% ,SenSocialChoiceSenSocialChoice.Sendocument.tex7zXZִF! 8q]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> \vSvc - +7% tSenSocialChoiceSenSocialChoice.Arrowdocument.tex7zXZִF! p#4]A-MՋhvG"uIBm5Bb)w\\%W62 w6QuZK(pF=J tgC|4<йd^APm ɣM I^$o!UWifQ'˕xg }0ԯ7 ӑv6 4ۙf]$?DgwnZ":МsD"ޟͳ?LQm@05!#"8u:\![lQ{%:&rU(wA+ӻtc 3 ^7Fv~q[}N?aՀ&dm;[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|`}*'Z S +3% DSenSocialChoiceSenSocialChoice.Maydocument.tex7zXZִF! .(]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 Dyt > DQGCI3i+)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.YuaSyV!f#?"qU,752WSNWo)7sW6}.;B~?T$I̹3 8wfr ˿#P():@@G{&@("yZH/`37yboOB#6-|зȫvO$o:,L޻dr93 H<ݝ(կ 'fl Y@-+g Zi)ieH铽v}C1Z! lC+CUVI@۟dbiFJw0].3oLj3tPXgDP ^y4e]R\K&xfx~u'Zw?3L ?Z:%5m{2z WXFܧ8>,?F9ɶOO1`/C}HͬOsV ,0@s`!{S&7NSލ"z^QL]W(au:g~P'KR؈K u<_KdJRbgd!-Ds!;S%4Zӥ;d7wN iP!-/TNMg86ks/cKR8M 6~~vbuEe)yL LKT3Pt_%+< p*36Q;< A KL?Q[5T&_$V8g=$u J퍪/{}nG ,%jV\ę2QwbⲜEF.;` (Bw)d\MݱFG\DOri4[MxvQ}J^7<[:C?F7sqLk\7^D0{\ċ3RYyMG HA$T/5+W>cYG.hI')#-ϫbh ]n^ǷQ9Zհ=.ZI;jT4M{M' gG㚲 7 J_; M_uдKKpD"g󂔛浪zMK<"is%h:(1HE[SbXÿr >Yr*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/=Q*6BnvxD ;1(4(}PGP< NAqi[<rףQ+{*ږ>3IaGSn FT)ԁvbSz2[0D'Zh0+QAQQuJY:$!۾[!M}' \T_h(<9M*2lGfuqXĜq ʦ?wL Sa m<}¸ L^ rFiIVnʶ8[.U${K1aȖg1,FW#O N`ϲNȟHȭϞSc7Bt-@񼴟&|5fy^[h;P25-P#z88YU:pљ>ؑc{ZXѮ7&Y_\$  lb$3NS_x%j}H.vÃÆ q MB7*u1I4䔫JsމNf#Nżمa_DgoωC C{.9&~b]t+1gCx'lRҥurb"r$=;gvjʮn'9B> ZitZ}#TWO Ha3h]sD.7)Hl,aA=B|Hjrq2a W@^_Y4gϚt:Y}|K%w:_%sgYZ  G+5% ,SenSocialChoiceSenSocialChoice.SCFsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȑ@+^ ځUiԕVt4U-N h$x*S/_˵Q/AHQ.:n./(V GY֋!]RF PY`63Fh{(߮8Z"իFA1L~7?rCZ}`d6mzDxqcHy!Twl>FC~'b.n! Ipҧ3;[9I_abs=hu2/.غɖJ{w|N~@X7X5+f]jm@Ou5Cp m̂9㾨&L각oʶb5`h^$6 <"FkQeCc˻欳D 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=BtFh*U5BG em5Z†cYo>'YzĐuSI.Mu^Hx/ ޞۭud|H5C7shЄB$ 47CMER= & SmGݦh(/޵,ej~%!0$˔JjQAW01,@to!$Ci'\\_@9ZFc+hR$k/V<Wϰ- ۽3@N2'y8al[;r[g(D SbBQvP^Z__-'TųsBGXB:^Vr}jM%vgv. gpϔ}lI2 syMژc!b %G y$@gl0@ R G 1y}Õ.x;dE=&+SogYZ)%ĺVqJ\.TGnLœV3l"9??b#cus_|T½@wc+'=`c TS= k{;*<v](vMB5Ёz[?<F :c Q{=aBwd(.;ΘyTO٩}'ϟ֜61XcFA|+r^˙WU{-MxaDD}vPI%z\jcN=8PvsQ|ә>Xgǖa~܃Q,䧧b3 KVTV[JC;L* @?e< 9G7^Nt%= ݬm<]:jSb=N.: HFOx\j6>a\œ1e$?B$6ڢ2?B39\2IIRɠ&`ܔËnux*@&KK, KlxAn/s+$ )GY #r03$/q#n2LVu!ʕ~]F Ƹ# 3PEXT0EpBJvu ~{2#U&8AF>\(9+p M#m i+9d<0&GOZ]e Mp-^5xq8]!iZo/+')Plhmgn4rWxpz4B\:uy(7&(XqK]Eh>*+'C |qXKC,q0CMo%K?1"A7=3&`tm}?Z`ŔE\q&_d]J&|e4a[O9B%4!e U x 4-tl~BX.&GX䊴Lcp_$<>\* g6 Ы8i[z3UIrm5̓~'fW9ZG [`+F- 0KQ XT%Ex&#АJdc#x)9ܗ (h7jDxh6+vDQCߩpx* 9FYg:>LhPhx* uܳgnOWMX?h`/770L1Q!gWW5$R{wme\0=T8 fdEZy]- nFRo5<|ʤ)lA5ASP %SLwdeI,n.ᬉeiH=ـ.>>7#&2lhQE#_C;wDbus@TAʍ>d":e]1Y݅<)vol՟TWD2xb0q7ON|BخXf@&Fov?Iu#{;!/u^9!< eߨOh'=E~Ui#҇*b7j&cd! $rN ĕMЄI>gY_cMKw"y4~sջ!oa4=6NAݘ2lN;E;&\EL8O qkrZۄ~*~c2Tojkt("e @򂽾!WOT뜛-߰$pko&Ad_#Hj06WRà8f蹵xxLQ hJ'梠ܶ:mx0%Waz]5Rj[viᚣt[1ASCjxIWuy7۹Fؑ U?[)/d)(F:@-;lIN┄6RuL^+%joJ'St!χ>[/X&;u⁀zp@adQ9EoOF<Rnċ<ѝ&4"ZXpE8Fq4J5;#- {?(L.Yџ^wu}_ 9d_[,MTl[''seb% fG74(AVy^?e\5I m rn ɶ޹J6pVf5?' r A;  L,DClu$c{v! 9 XYR3w(L esI5.-%v_X!K-G9XHsutGYt"إ=& u[BwHE^~\vin{T=b(Li%K]'z*85d&a&ri2 % ծ' us$Oz2Ksz6dEd x`W:`stҐfވ#}$϶`9HQ[qMhj 0yN=&MQwُrt|ԇQ5/jڻpFTƖ%y鍍}dحk#Ts,T7 (Lٗq2x%IIҕ }=Vw,}!hmC2uXݦx+H6- S=*XVCsrVN[snֲ`t$iV *Bs]4Jj !-IC"q2+WI.>kVmF9&TʹT)2SVtI)dM0?Ȇ0 |>i#7W>paO!14I] Xc{s#U__JHxs cOgV=ISO^F8 |1\Gv)WT]ƶe;0niBOHx7fu%]sn?fM,D %pW)!-c dY F8:3kj5iʏ,M.5QcKd">7I4ed&"1}О}_nmHp0t&NuέG={~ ê jr/?rC4.kJxrK\p~+A%{"7:\j:a\FBqG[Ц}ճ/+DnܧJ!BLTkXIMjq<0m@`[S'H>]*iRmB.D2wyoLm(,Um&h..qsvT12pvn9AmKy5aS:bc4yTXүq`eN(.onӥyܝ?myk9)B!sPb;M2iJuhh73e }혹gT*JC[_&&]0`zQH#$ppc614J©rcٚȼ]=}ˏ֢ͧ0Ryl(U?t 1Br9)N;3:HhӢV26 =IL49k}ZevUтsMs88jE4mP m)?^ipBUe!`:}7VLݮ0_n {Jϕ,g> "?YSS[b;q:XFIG5j욺i\£1krgq3HtE[@U<;dL D秋Gcldxx$cM b`/oɉ 4] ܈w2n:QEԙ t`lŝ]o`o%s 'v*=_nF!0{kp0Q-[BWLN=16l`zBa}֩mנk+U4kP*}~qdۢK#WwR)WW~e/wN9-ee}@BR*^v*qo ݖ\dNk˯ߌ?@2X)O j'7ۗt%ϢS X]64Kk#}R]6H{~>R^~f=+Q9 İXC>D`zg 1MΑuMlD>=)ѝzNX!z1w9)/hX;+03EDgsY>[CsP_ >G:O]K|Al'g[ejP<pA2#{JJ? o#tKN<$r7(If ?-*J[TzL1]X{gd? d#t'.d1>0_/|xzߦgCE4D)|ՋuM;T%H!&@`bLE 8ȍ,qr4-3QaRʠby9lՙ|zwMM "\򮋕NïnKcbIU EA?%yզ]$]0`XM[ǓUOH{5>Opa@n#mlN\oF24/ r^qi7$\*tiR)#ӾT*31$[ç#C_s^#KadoD[