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+tt< ]/ SenSocialChoice:threads=4elapsed=27.977cpu=61.248gc=0.9527zXZִF! 3]ŗXiɟ  Q hj*,t j 7:FYor"-g ʿ3;V xϽZD.E~EYSP{ hyD ֶ^LJ:j9rn1x ߚ3J~iqfV[q!lB:XP/n^|t[¢"y{ 4vJ;0I-,5<ˣ'Ml so*[ү%#pǺ;hgyLl^A45 \®19dtaɇﳠ-FڪZT*wh*)>v֧tZ)\-)P]/%yYlBq3͂f>5(,N&y(sM1wN/1V^Hs!=L{\oSg~J+@i2'9*:N]sV]SoԈC,BxT&?4m *54B8<)R9ET(wϔYm6NSy7W~~r1N7 + SenSocialChoice- +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+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> \vSvcG+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˻欳Dr*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:_%sgYZB6VxC\;?)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 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 >Y;[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+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> \vSvcG+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/+')PlfSG70nME&(v\Zl6!8BΞ(PW,%|g}rglQz z @ w3o/̞g aP{ƞl!; *-Ėm  Ź1STX&0\,S3 xi'7.EF[*jnkJVdK+t4dѪ)i@iĻS j>? qrohMJM[GYpJ}\R,FHpySC8g44@h\QG2߅n;d˘z I9xƠaSĤSqt 57%w%aI>~|,a8`mrZN/Ro!=9$pFӻ\\7XMo$#D\[>։Բ14k7% G,qzh-%7%@ LV X<")(C0B{.GSmlVҞ޻ 'U>yo@qBƴ|`!/3ǔS VsiȪ{4j)Wͽ1{7",=jLpQ2,.J5`lVs<@m :cƭ 7 UC} }rx&?R{2žӼR{ūBc+/pBEs%1`C ))b=~K 2@rnP1$ Xжcܭ* D VoBw=O}~OywN U*;z#R΂iq:G2*Ѡ(Hn\Da6?ap:L-2)vk~%oַ< 4ɈD ر{}nMk Ν`Af?wˆ CWzw~ӑ>f*]o6n>fx6˸2PX ^"Նf-F8ǐ:;:%R^󬭧Թ7C) pXx&MF)3F5 G((/  '‘-T+C1O ,|Wɛ;5UnF?ERw)9ۼf)TZ}Mf$}ƈgN\kNo7X~7E?ҮdS߳:Db:R'eGټ%1{9h$6`y5C"C|.,Bs6&:/ӊnzBOS ?i?J3紜mNy8W/V F5wW%%k'V55˄ `Jup Q]rzTqٛn5nC: rMvޠ􉥡N<ѪϺ"DrUeq2s(!qtN'f@ܨ~MX!:I[4#ƍA}[O]T? >HD@O*q*Sy{өRcn@R%94*EN_`Lr_Ӻ~-q9q?FBl5Lco#>ɽ9VGziћPyIXEۡQ |}bFU=a:#\v_7I8fSp)os;M RbXVTܬHɓJAq/hV\nMoHO&H oD;2ԠIpiNh9Bkdˈe``Z+|x cZïWNܵ)PCE{QE 0 C@:M 7& :qcT8]kzPi]ڔdsK啋e^UX ,%= K.z)Ӎ"v=Pc€+Qǩnt٨T{~4MH~l[O Rh(]Ց-J BaeZΜ]ų \7m&P@fO|~XodTd"֍x\+M^Ha#'Ԃ!@k@+oQie؋F`%hrH9BfqnORrPt꤫ ];us̴FWЖbaʶbsOYx}1UWnܫ!'Cg"AI|a797t1xPY`i cBcT"M*6b4""!Ao}ȭo?L=FS5+Z^SI\6} wc?Zwooq;ĹuJ(L--NjIʡ2GM43hF:d@G:\ Ym$oq3j)#ݍ3&+fv3nFllE%5@ dkdrZeVux} /t3 Lǂj BkS]a1no$wf;9jOJ >ݺIlmί? i}4`Z7Γk1nLFƠJ'qr2[rgYZ AA4+7% SenSocialChoiceSenSocialChoice.FSextdocument.tex7zXZִF! <]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-[tiCU>cٚȼ]=}ˏ֢ͧ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  `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 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 > NPs|I˂ T$ ~hJ%x*6  @6 >eM4MvVVǮ%dC_zKd4xToI[³ZJTSðY6-3aF?h$.u2 y}"Pݻ/#P:I+Mi>H^OzA9G=^U {qI` !~@M m_;wgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdKVѡq]ޓU?|LZ7{bɄGen$xRTD|R#go r/747o,MuQ - ~0Q-tz hgYZ7zXZִF! a |]ŗXi%D8W'.YyJ& \u|gq0>TvӁݶ]"yϜe˔]3Y!*L`&oR-b;Vԫ8biVKJմ R4e#[ȦyHqo|#e-xJՔ '@J;UƕϬJ0]tfʫȾ꿅h6Fʠ*z2-ƓQk(o?듲1;QHޮ⁄Q iY@+-w…8`Ju7-jTLK.@;sZް$)HH~1'ɞ,3x.w:.VS!j88#tI!s~n(9Hn H{@ L6)#pHvз;LJƪ`eL%WE`zϔxM7;35Y`x;]1+HKFp RM ic4h}% Z` `"c[Rz#}mdsԝ42 D*ۍS&E/̓.9j[܊i{ -`n#y`\2>̋a|A eB k=j/~VcwCM$HlbF!Q^eB>Ha ]DA=XvGG$*-Ɖ#YCvTZ%Iw-]>1~(>׽rr3;A4 * y"g:1} mJwJqO1_vO4QޭYD6 5#(|xUu($.xւVt٧+G})2~yv3~N!+BW(G`*%/Auoʜġ٣y\&Gg]5106e͙)< ӑ{*d槹o~> rB%eUEWJo7^'\Lөu]cȗvŨI/tZۢ;Hz*KV|&wdscZ&Fo{W)>JQ w7hJO( m˄~3ŗy\"dJ,?"Q`Lx-ZwAfk IQ}:e&*\!@)'g<`ҬP/SMBG - ayeCF9weXB(",p |kCs~q=1V#{f)s#ՋSxV+pI\McfagQLqFĖǫԡoZHA6I9s Bb!HVžq>#9m,Q0/NDc"+}={={hj`g"ުEx 1e*&ֽ-lhiK\t.r&$V4hHϸANto+3Ny7]ࢧLe͚tˡarkVp|y}pL\Շ7 ҕq-caoI8uR:Q$UÔK5u(Gj =p\Ucj-J9B,H {7Qm^N:{*s~E{&[>q!3Ԇ[afolЯ$WP>Zҭc/l%Nf.kWk ߂Rl=(:]`8~鶁Kc. b/n@y[M)ge2c 4Oiuk5i{R%"5W|hiT;2tZ 1J`i+Mbb%:']we]_I6j`@@e&O%yL>v p]^T&3AN8 &O q0g7$l#)sV֩JCFkЍXSm+Fޅ{Z>xp UU*xo0Żlerjt຃0J/E=s6@i`)FϣnoFZƔ=+U`2[1~?ɛ-JUpQ!$샍_ {:'Ut6, 9eҕ&8? hߢq m"UBJ\,(ft9sB`W۲\ٳ(dNX8BW 1I]5Z8J*YH/h4J_dJhǑgPo!a&4PmӾ0'7`bkаTur]\ڸv qB)蘔;hF, X]9iL~m4=xC`@ώ3,b o}EE{V뾞O|d wM'uw d$PNfc`^20OcԙDz=wٸ41{$3l&)$/trpPiS?wX%hQND숈|14:vb_Qz1\JG/Y?(v-gYZ242b4a9268310c8dcce1324114f4387a388890fcc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a