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 p=t|T ]S]Randomised_Social_Choice:threads=4elapsed=12.816cpu=48.416gc=2.3247zXZִF! ®u]ŗXiɟH)0%o~̞O<@iѨ؜\SԓlYpCHT"bi~kgwE@GuaIE:\{BM{"|/ӜItUJ89_yğXq 'jK gk8<`<]&+ap<3*b&Ohy>*'07%WS^6sfj304gQ'I_UR%]sv%癗Q霃҄j Ub2:rAk|YdWm7B?/+,欎:*?,eR8{>߹@vKNDq_H[h (tki>HK0G G q^I ߓ%cz3*l'CNU0NȏA] 'A^N`X+fJuA.s&md0H8kkR8:<ؕ^X@ 5y2ւ)=KZG!jn <|EYg@פ9V~@;#7yv øutƚJt!c5|$|`gqmjdJ'?5N xg@r}pǫ۵L,E,-.3v򉦫`hL~WEˡ{Yyf+;O{L=lIL'5m{-0s'"6_[:,,z$V'Ta}r8DcBInut8AjN&qM2|w^$͂6INHsqTtښAY{.U./޲KcYnɿLL6+ٔ1#+ҩcXDLx<P~e%ts4d0=Y* yQ= *`dGm q=(&:jLJ[]8V1'Q""9x,n«CUNڍB>i'lqQ!cˤW͌ `G>qq73Zf\@ = Randomised_Social_Choice  z)+#DHw""~9B {,VO6jH2)g>o2eIR;'փLX!-xhAywޥBFN'kI)SiϜfEV(,zidly\\TƤۥ`ڳؓMntRd2> S/)DR?Ө2( Ye<%H6raz(gt[Vc~X+֭AӟH. 2ȣ \}2̚ӈG$_2X͢ͳN<_~A lwfh[N#"=܊G#GZ3=ü ayڰ<&BСV<Ԇ/Zc[]}6` I]%w0-6lD~sd*rH#9/c˺]K3]?f(Doy3:LٟMG=zQ7ߣb8yR0?$y$rŽ|^̄Sm8Y)Vöq)ԫ ׺Gҽ??91NԂ '7'#pYDt.ݼ‡wBw} -O{ϷbUjK-Q\h!gBwrLSh&:wF?p\?"(˜%R6=%&>W0/l'`5}Rq)W8 ^ qi8#MiBZy 9tKIs^77ԫuy!×3وDmD\Z_x?VW`RnjK$x?"NAdknNy*Ym^tb<,ag8f/bnt"MǴ/gg*^VH%TXWeOS=²0̭V4uW2,UREOmX٨ZVOZ `ӣSC 任4q {Yaxkus?2v]mTʌ [msR&{R,=tQ+|HeMS!}uTکTȲgvrXobvi̧߉~;Up@?YRv8cZ@J~YQTԃW6a#eD "}EeP kNKe56`v ɖ Q(KbRMg|_aqݟysn`yLBsBVyñ?llH0zr2;~Hɼ.p~/aD'0i #rf5;G({E*p\ ]%KBZv D \,9a7H:#mr@_0Gpѥ4w0]*X,Lvаcֲ5R`vEб8XjV^ :zZ1ΘC[ZOkaƬͶl^{=lAS:LھVaVIZ5 Ҍ-s,K:)iki$%u-e] RN+o%!> a!2qٚu[~5'O}ٍX~^ݼd?uR"{6&ЄWۍTX \EkU)jm܂YrS$%;SnPZfCtҷfר7u&Ƹֺ &ЯK .\OLvDvEfL_,KWL.W2:2#kXi y6M^B^/-—vJV~͎75+qAUʳLkGnKӞc4#NTRނ^GlY'wln' 8 A8x7DD/aXjO@9NG4Y~SUhe$pDA.Nwt[1>FU])k3S\AϨ H1ۍ Aȴvbݡ.d$ 6lqtЏ|in yKҲG-usZp+T榒~ic&}/ 0fR.eWs왒щ_Aq$8ٟ!C^”s ^MjZɢ/BClԘH4uά;2U;bIIը3;MuɈ+=nr4[3(}vq NWc+,r yD> ?O/ 㾋лl|1޸byU2 lZH .2^ m TU MSZ,"vx{i{)&L8lAF^ød}kIeL 5أz-[VonhgpBY& )]ǃW映#,/>Mmq Pp}W泙}B.E1 7!n9 y*Vb2*b&ԘBMsSQ ŕ(p㍣ui=-ЌJ?MA0i -Fula (5 ʍ5%Fab@Eҕf,\8$?Pk ,Wm*Uͻs>HHRXfRPLWǬ(ld}6H=MwLq;7 ZB΂ ߘD6^l(3pLDŽߟ a(Wñ /ͣ^H7ʿE_8 aܫ0ot(Z16}N-׳ƒ.&3d=>r8L:Z bhҰ?c6j n\/@{.Z>-on|M^/N (*ew;b^h(= >¸Ou.mwM"TSv2x|%q -+\̰1Ϋ gĬYj]z8F\^+y 8(S}$-R82n vȮ€1I(e^N30I<èKup}XKC sT_< "C =Yvך\qH$IOyp~cm$.uyX_$Uȁq AL9͔ȣ ͵Ne! 9fggE(lY /QRQX oęz2vt#+A\ݏ!M$5I,אGE2NU06VC€T|K=WaZ&61[ 16 ^5;5Ⱒ2\ 7 2m\h30Oߨ47/Ow6-}/+ A- YP&N ;)l'hRg^4 &Qw6SҞnju]^3$M&0 wBK^ P)˗a\$+O,dfjuLXT(X;_f]I l+;YfjEʑoAВ BF%6\>ۜ- , vseEZg« OUk .ikˑ Jѕ=s ŇKL;hTynkSJ\\-3ҐE \n׿?#j-(_rm(2KD}^T9Jt%"z-Y' Uw2~9M>Nwqlӂa" JN?q>2''4>(7A,6<qdv*D }.D@,mRh=%i²gaѯRf )z0!bh UM/[{ff^_z> " (vV6B},z^p$XEb2lX;,4voMf*"KBdr E'%<&cN6pw$IvfYy nJ8ji*P~JVKYfNҵ  #Q2J:/Tw &%VSnD| &0ޫ\^֞ba2Ox*E9)I<;dF/P5Yj\_*q9UnG @;\oILHdl‰":&FNPZ+giboU7_%P_Ó,sz>K \nZ5ujKh&Zim=o۰rHtRBˣrĩSTEq$ Ĥ3#GsGG3Laڻ)g PoUXzI5SŦˢr 1MaW=Rh=^7n7U|iƑpG< & <Cpn^na(cd#$ƗW#c e8A#SۧjI=ǒ-":p0ɺF~gHLGZVVV`ljYFh}˯ $fALKb k]6noJ5'0[+:h8kP|*~TTQna u);s@Q^\ t4P]e|2#/=,Y<#dj {6ߩg0~56ܹF-X/݄D)<U2pC]#֡{u0Д$dNևHg[C(L~E0jTI.ƍD7pr\J7&v| 9'ӚZEczQ MJD܂ ɨ /n\`plMhK:!q6nOxkEϿnHn Av&%PFyJ{|I=-ށ"-j2hm;:ϕx$[ hz8buw:ÁC )؉ X4Ia j)QS)I_ra_ğRpA 2XfW؛b RT̩FTŏk ^jk#L7j%48M4g5whavO%{LSX,'Z/=k$E$imxϧj(F*(+!m?|։%3;nQR9ԟ"bxWW˶x/x\Ĕեr&<9]D`mg ;E $R2Ɗ>lz.$pѻ)@8,-yRdcvciz ߺ2+.1qqcYHN-Z84DD(QbER%^)iް}V$1¡1W:e7\V QJ3cУ܏R49]D /KC/<(=d Lu.IĢm+$шzmG/Fz%*b7IX& qTwm ~\CE)~}zѯ6Ņ~uV u π}7e(X4@Ú ) {@#O,4%Ru dJJ=:iz_;g)|c+k6&: S;UՇђu=ЏԪkVUsF}n`&־K?(eڨf h$"뗔($%AU BeXnЇ1ogڣ~ˆw ˍ>@СQ\. K}3Q/d"nYzM *<Cv?7t Ͼd2n{Kb_(1 ~j."Fޮ߅#\͞W/?xm?Yew jҟTn0HyepA}N=}}O!̢c^[kܛGө 󀵚} IAǦE\I`(JJ r;d^ #:dX?N0k*|Ex[9/*Au"֌ISZ+a>R!b_Z[d3XLJ@.߽9.}1F5xڽa! ഴ=r;4 _k|>Dz1H_7j 4}mCE#&qKH;*Jsxn14(G--!9`;ZZO)ܿESҶz7Db$f_a*(T¥B(.EA`2/?UF*!7Hݙ6  8A1Kk t祖"l 0E֊ӤM*]H\@mZ|Tᮓ?\ cҒ̷po-ڴXv IIjy5 X؃kկ4aNpzg 7.wsG(Vɀ/~)zٷjGNC UeXwMa Dl Kʑݲr?@&=e>{u>"0ʒ=FgOa4ۥpc!C ?Xl6YI_Ns*˞u^"\ 㞬e\[l|3ݿ~Pil_0_\MXD)g8ePeDF &S߈^{ʓ\_zWjugLv$jҧl; Np 0r iݖ ,,M3 b|@b3|G8[F ,jFjn0sBFPp C ?.j1|MۥeL(?^Z19_X!qDȪ-xV)ٔt6Pwh=QJ23D$x;XRcBaJl0|2u&mikL'xc=J fk7_eϔa]k/]@5gep-DL{NmD~h0?X ^W4a #ti&dgQ,_ԍ^['V,ԇ76E }_("!5/B;b=q9#vɦ;42Խ cH YgK~W9Bkx)ij8= diH̃*ݳx˙yQ41ƌrJؼU`9pr3. rb*br|( ރlF2 "ɿs%y7_9,Wb\-M3„3'7Ԯ1VB fּRۜc @NTߋ*Ԙ;H"jDo7S9=K ן}0d hJXE:㢔x@1(dntxRKKW?]i$H'\.}_WUC_dj/~(^BݶGỏ eц~}io;EEx`"oeEE9M#2[xf}m<÷ \T=fȔ Yr]+b`>88yќ 8Zp[hOEUS%Shˊ; h*5x5 Dj1_7T3w-ugL-L):O)JxMjNoSr%}\X zR$g]P^@,dfޞ6&%^f|TR-2 X7:qtU:Vin$vP?Dj #CJ׏sZ)lɥ2$Tl&zE',{ X#r~wG HNd$ǁw!z7,|os>[.-z-#GǕ P\L}vg4'Zm]pl_p-edDx{ 㧛HD]p/PLQ d"2xG6؏)Eֱ|2,٢*_ NթU&R: KN4z"[4_ha "bu#zQ/ڷ?VBF!Zph;bxb:k(ˑ)~5s`e5v;TAǁ[Jr gys؆as +~ -+s? iVT@Gqi˧cT#롩ߗՄ>kW!~x!ݨDDZTo@am!cĆVDA!PnT. rQt[oj@Mжu& xSgvjnO`V+.p\gP~x~v'>inYק_oW1{Cz{T һ*J ?CZT7d%k#^\ !B\OD:~K]R')-#t/R7w-b}1z(O.N Q! jyLIP=T4n`#FIbڣ6{]o璘JWZLkq0q=1y+d.p52=F@,HwoN&c4Qмrp5`~q)Au]׶#l:aGm[_׊9)C$zH Ȟw\DFK/-9WKsUxeC4-6̪a~9 k~3O_+\ YQy N,Vz)ʁ\A=cLߎS9yڝ Nc@rbza 8Brz\;o2=*$nUQś12C^in__Voۧ"){+&GM{+8un T,$ (:^'֜Ǜ{2qVEy?₺M8'e@EFL%Fαk5r 6 gcdᤸTW4 +T>HVto/^RZY#o*,3ȵ,BnB)ֈSAͬڍ%ZluU|lMhFXf@8&q|ai{I-CPdIA Kte+ VgOL (#_JKΪ ]`m R _v [”El0oQ4fm)ye?}C*lReU'EVR:EtE].߮?וE gȋ䵫=\/aHsk/20؉;,-m%Gq'4x[@qe\RftsgkDIB1ѣ959Nd&._gnhֵ`P: K.:s`q3"T{bL7 TX+ 44,nE/ErkG(z p!2]<Qq,1I>8 sTUfl.B1oo8'*,))I!JNO 4Q7 <ŀ|BLҔOi?̍C@?/waxk0XD[CKu5"&|,4J>adr }i> jBʻ J~k J٭ӨR|$U$ kJ6[n,*tNBR[ҹ!Qїg\YyCAmS9 HS rA~2Ѷ=\" h?DGH%j3g'4{I[䟩a&U3rj%Z (->YF$U`j^Z9Cm?^h7Ub(i w*(_PDz1MJK6` K|AK"J0S*wk1@bD\ch%aK`w1)1XPPY)0c+>$>Gvi/2qނi]}t CroGdCB_LWq!{6ZX ݮxWcm=aِy'\w4- hE5dd2c& 捚_OA/OJp:K]@ %U|`erS˂|&Q^Va;7ie>u㠙@n/ҽ5-Ɗ6IBV| eyJFz*a9#Q@vE.R\-pPMJ6H`x/3}xw#(/gci}P;Cj >M_/WGkn߭хPO>9egl j_-Z.I@5|sੳr6lYn%Cr٢fS!| ^ _ E1g/xR7P)oaL)*aŒFf l}Ne)j-ɢFkj Lưa˩gMRd.k;f~?wVM׌WCK~2?_,PWJ!ܭRԐBE( Ʉ981cnzk`xQ?&,̇({_Y/.nLF0hkNzBy{UAαOKw3U@J2[  ѕUdcA ٫Ais$M=lvj0kHitzGmE5?d\Vn;WI Qwnp|7cA*0JCI[31C@!ԋMzVuϲ}mPKF>o F& A(HFJ7n_~b%J5 k,)y9^K|1Es"o'ΠN$0H^gxei3!`^ѱ/h/OH; _;Vt<2ۉq]-`VEHrBH?RZl;*{<+-pAD>ڐfʁ~ݠ= apfUtĵR%0H[im])3h0uG~̞wl@rZ4Z6rFg2%#6̀\;o5?XrZ-&e K^w&b qˬe6A3mi\pNvj+եAWۢm uzZ 7w'{nNőri_5#`^sEg4 aWR1|i l)&;xV6V:ȗ.z?z\ 8il6D;]uwZPR=iΊ7 FJ|M!D^PGRmyB 7#si>f(ؽdtM ]s<\Fw9}ճiK8ʯ"i]g0 r0Y39`|K جi 72/iD~}8)@iژWFxr"kHkllöqAttb)u 2>݋)8Q1F; -v4lWك||Og-uc/(``TXz]h=WHLC1fPxNj#P9dީ Љbn-(`yPětt曞C̙S1 7/9{/BxDokU:IX 0>Tb8ډ{(2󒝈0g/sQiW*-{j43(n\K!@ou0fk,Zhv) ah?FM7qɠz~u}'-{öl yVYO{W''菮Rn2dJXtM7hXMϺjt-}ޭֵ;,#&cyYD-jݧ0Donx\MU?;ހ0dO#R&6,\yإ3E4Z Oh s#ʏ$~@V3B#hTu*Q&_Ω7*D DX lD*?SHVtG)N!8N' ^PɭɧQ: VԱJc)d8xP!VbuY3Фy p&5 L1(7SŠ<w@mDf)QAu:[_0/X[m9ӓmP~o`0z CϏkR{=x <yi; /㛍Xۉ? ~c&w.<)'$Tw gXxbd燑1&5q(_?4+G?B|}lȂ&a yT^$w6J#zH>B_;BJ$Eqr8fi&0Dp€2SL`WY0FYK+!OufX^ {:+DA`|FHv( 1lݖ6!WVaݙAm shn}` ;xבJ0 UveY*@nn,>jOaso~ }wI Чo%An@YgEVy^* EBF*ҫQ`4$&P;ln7/B~|Ymn"#bsx3njt_,MԾQ{{t5{3zQ z=0c@ C.'i6C.8в;fq!/y8zAW;|-{PC9m29  Ay8Sc\6 V`i3r`B6N%)cadÔPq֤*D 3CrjWw+n6g]yc]ω ^'WB{xIb߷nyGo# :FzjiҔDi!*zEٲvEMCцҞ@&>:lHZ/LrCZ.#L-vis*5 J˿ɹBe{=Txx qHς]\E,#$IN9m#:AW 4 O}cգ'+g,,I.;9ab!EX)Z a)jUR($ DaxSHwx |TuNbͤٮ[M{(bt?B~#:?(O¹@UTJoZ< CdeU6XQH,A,zFe6[^&G[AHlHNƍ.$L K sVi*X`J]%f^QL9Q`e_8)xیDL&\r-Ϊ>k58GdS"z6s'#D&L}NpڣÔs_w /$SJߓ'߼ȫ!$c^7&xRKE` Esy9@:Ͳɸ#0zHͻz*#_{Џө%%%;`ᜯVw}sznp!J:ՌT۶?q M 0/7f:MY2꤉V5JmFD=iD|/lvEز9ߣ'M7d nr:o0mIhe¢)'\ )NJaC 77/.GpPĕ>;=8jiT[a |ܳ(W'L̊nZpUd2<#-mqC̘+9_0R)*ȽDb:=P5^$aY E5 AVTԲTugIg&Iѱ ?Kl_g3=PF*Y߲N^[ A `x髋#w5?Y SMOm.ӁeaKUi4x0BZuÁ4%`IӶgv)ڽ9*qLv Q0ӿGhgZH crӚaExtܠ/RV:`Fω!(/-aa,"8^ܿܺ+e@L=*_#+moC o@p-V)2ܝ_z,j 鲵ssgbqVqdO$ZU?::BQ'ܔ/ur,"p0M;jUa۬܆ |6hn!5ZOɃ)!S . jШ1Sc#λs9=[kݥ0IT !39t2TĂ*rE4㺶kށY\{sMЫAOUO@`%_arԇE=ݯ}MFU|,C}Ƭ߷ J"ʄs#O%N{">ӃGj*f1{ ~@viHMO hg11a y<=4cb9`aSDV ؠwe 6)rsi/T:Q\kl zWG;y]DRP7z`%r)kV4%+F,9Dk`KDp~[Ò[LM]fpL`@'H1HAjnP'PJB\XBv3~~4g /ﶲgL &m**%xe»p%u]Z]]>,v;-ESbHn.lcd×`}%1)]yaDG?< #vlQ8zdA3IQ.3W:-~sS>Yߌ 7#H^-1O#fV_l5Kಾ^% uIlud,.8\5H0$ރ7/:2=Ih&IBa bkʽ`gxTWYj0Gc$4% |! U՜hwU _ XYdn`A6?ExQdnzXNB?U,ڭH+mV-Mif}% 6?CkTfd*}zXWB}YG,WRn> $9>xofG~|?N7 J䶐 ڒZH/Ջ}3 LZՖm;.yB'_rz-v*KcG =}m{%OPZ`O|.9Bh籺%dk2Jljw4TE+i+@;ֱ* +DŲYA3wӏ5v"y||pVVuCQ -Jg˅Zt8iXҭ<:5F-OqRRvj 6>Rq"[.A.o Laz.axot)i#8=ږYee, J$ǻ UB86xN氏|mJ| |c38 ea`׵(.FߪMdقc-nk|r%YZ~+.zevH F|@=5>ϗ>Hr^5h6w^^q-hNR?<>σPMB0 KPF 0{ " y$7'IwiwA0{ߘXӑ^܊-@Kv2 !V5jlu> Z \k٧WtXNJ=p U#+v$WEH>;`(CqAZ1Cp C_{4Nu$ Vy)n痚9R 3L}HK=u>5@ lm uߍ^Wbk\UpCZeӁ1 siN4n6)>r$']p*Ç1A^Q@f'̳ɕzi/ XѦlҺPmAF j9=2* *~7fH4'PʯbgѕW5z' |7o~Cp^.ʆ,щ(#8)`'S Rmth  !8u7\98%6]N`?TTu5y7J7w'Sۍ5MoYJ}l&q)gm P%h`ԟjP3=~708L/6g~1б۱m39BȠ3&SV>A#&*L3pЀ5k5$`&UïU;*"\0e6"Xѩ0p( F2ExԀvvgsr4V0 Yk.,[f:$`Eb2d N|:SY /F+8Pr. d$pd>%F*%: w nv1qaO7x5DR?/S`x8vT Fv'V$ObsO@]y}yo)k/Y{w9Xp/y.RZa5"o:y.<2J/f+rr45DoX~kp" 赵 X1m 5!N!.QK8.q|pruBi髄샮#E}k1]DXs^/ps]Ӆ݄J ,DlmRƁ O7| J %(U VACQm4p w\֚q!@_xC>%ޔ1Td .%^ݵ<G m*85g彴YŖ~3dwiЋEUȵc',sV` ՜L~*󊏶v\?taۉ](g_g Z:MOv >(e6 &5Hxfl%2 @J~ jb2'e"S~_F1m!%3cg-BLFoK!3O$`QnbU:'nJr;VBBw_ϩ! Veeǿ! hHB-b%W^=֏MYWEj,GP$nq./ 6O 2s:$&5s'w \g麢 AC ;W#ĽTS`lhl~hP>\ŐnyE W/34zAGme(Gby7zגK+ZQj̹tSdJe9=V2j5YaDfDF^B:[ gNFWRɳ+K>TwJ`Bmߗ#[rmn\rGrI N#hqqGB4b F>ٯ`+X Xk?@QSVdnjap9NҨD8JAn?ZMtG('VspkUى0ggȒYZX]ͱl[Om;X 뎄$L]hY߿QX0\B$x*eSBBܷ1T;(0tLN('EHk-V$!z>S*o3,\:ᕇP(w@G{9'#0w-ioK9`@e:pcv\XQ'9#Љ:8-㯴ic7&˰U4sQyaˆf5G~%ʨٷVhYO0_#I s LyԋT2TL`lE;ߚA3NT}NϤ3z ""| {vxbx$cgîB8bME'sIIglv8A*EAT1[0'<'\P6j7\E'u) ޴. eJc8ߴ54&Wυx8Ʃ"s"ȋ;|WŠ"''ħ551ӳ#EbTn1khܣ_Z>bЮ_"cӈŵ8_DeHxeZ`ǵ,# ve'Zi3~?q@XAhkd'{v_dHJ@(dHWqƝI> {l u?LRo$ Q\^X_$!_bEjhTedp 9 GJ0e0?g|g`p5ʭB쇦KT`K.ZՐ< $[.:v~Uvtf\`W{x^~T0?φSy-QܘbX@\% }iÏ#@G{yS'uU<+ln[3I>?Mc%0_3AjAid&z~TP\GS)+F-IiB}wGQ]o:P\i-P->اAݜ))BH7_FQic-&1>8[:?n6A2G|^ ‡Ϛ2,̠֓)=*]s)5[TӺF) Ꮇ B-zђ)D'Uiвxg`&& hRz~$]qzutc@:x~g6**?ٻ_)dEIl,]t39S`{k] V M /v ,xJ[l(,sL'l'G՞4w[}K.ѲZR~` lnqTv*+wVt09c.r3$zxicYCv}$O>YX7~6RG}X,~KG.Z7|O_TPOP$W,f~OM%)ј +RczZ--0b!GPtjZGȠv5n:1ZS'_D3;H.W|^lTjȖ O GAy|=ֆ/Y3'.;-D ;+5ᗣ=L_ssب}ic]NjH4$MM~[?Tk|Tk|Z䵕oBOƒGE= fYA@&䯃KXm6UŁlσ GO5]k5CZ=ۈ[&csU)4Pg3sQ  `V q;G8ȹj2GI1G*IeHMJzO٨}Oa]6 X&De6N)mƘ hg/&Jo.QJdڍ1tSM %d.˅erQ%4=Ӯ9Cu3a&TcKLW*+9>G.S_asV  oB>m)]fgGI~xYܛ 'PD\Lǐ߄>P6%v$:4rzBN Ki䬚mڄ}W0;Vˠ :Q҂]G'qa_h =Q&Z4.@an$}^$~B;Zn [O|y$I+O)|e({SG%#gPhs.!:o089=  uB(vr:JÆnD8V7=jrsd8!7-ݗu%{Heyn!1;VE]҄Gј?zZf|ĂT#&޷Tm N6\2yiBR2S~6|)͂ĿP8ưV҄ bƼWvy{z杪U31/؀ h^;a%f{E cyߓ` ]hS8_%,nh0^bduoW8CB;u1oj8{N:q#x+>}Za𮥩O=YOɷi?@OQ`7*NyB ,n|<_g`Iic#&c."uڤdPf,Ӑ4B38Ґ)ڋFI3ť ,vPmRU#g>A+rQHG\b.h p#pr8WVԚ"P@l _r} |$:d6,72 "H~+&DH\607$x^+a0=*L2|l`*)<G0VwP dnM-.P*t?/f$ sK'* ƴ;O^jfΩ| D#4!yNvGyJ]'OwBKHj}_-E¢q39(tP]+)SbMV(P4͹]5ڐ2ZttWbe~ئwi B>q?D@ %S%s]L熆j[9ҵr9iQ8կ RtlH$n%Q\4L96Y ÔqKJ쩔 ZRK;j w%W#u~R'r䪁  k t׮ډ'/,ۅէR_d?y6|c䰸P1LF&Q+{~+l<2SVQ$E SBiNw텏%B}mwf'mcM/醟.M `_N6~Fsu (9Џd1PWF:ĩVrag,+%m^`H[TO-=ss?:tWhC#*3Cz_C KuGۊ.1n!Hk5%n©/LD{nC6Fυd9p8BJVʹZ |EydP=<>Q@% "QհPjm:7t 5ݬYVُ c ?AP铱EƤH/[~+e^(B/@@ШC?e5`D+_lR-:C?fQ٪%UQGe(lQ+LS9`o10ifxXf}?mJhƒ)`M>G{}OI{ȇa+xB~vLث*}pru*@ NIaS}T?'.`c:d)ZwG|\z-M}VgS-ycԩdnI*8w/;3_ e1A,ªDAYR!LX;U) ?GYY'k]e_,^ `OvZ,ʛ_4f0E4n]CI\;pnEe˅B?KhZFbzkKP|q7x)7 Oީ~ZBO܍'5בnuP%]Nn׮iG?וRCڇCZRR?23^dR*3Ыl,YmSg`^jɖ1f3o\ 2fnĺj6y]*8+:}1Nzjvit5+熡|$W{:శtf"\H%_zz>G,[|MƦOtv];3,sm<]F՚l&7y{{cRgY oo'O1惻w9S=nFO2澁ick&pN.إtj]> ' <$ adkԻ$oB}G/ xnfPİ)h tLVX&%r+n L@/& 2g,JOY|u$u<]?RĔ eJ3w{-CMa׆LSQ>+3"l2;ZN皙eT6@V2EY!j8Ь}lOoxQd ul%ޣ[mh"kNƜk xNd؃ ɮT~Tuo 3l]AB' VCTuYgT ĸ!{Jʍ2;,p/UD )vk4$jSXȡE?}:%Ram(SkZ( 㱦6SO[ anAWBGy_-2/g`ذfR(pDVc `q~ jR-TEucf<ÚO”e=9BEM&.j38.&5P댯̕Dx9@ג #59e&ZF֜.̽1L0bɈ>wO<ʦijlS115EhOjsx}Ȱ,%T)DEZO76HxR*%m/G{rِ2sabqV Lĺ;25%Bm#s YFK7zkQ<sr^T +M_7/Q),?cjH-{rCp9F܅.^ JD ':t v1 9#I?M)_vKMh{&GNG#HXrQ1E#^7X9kƜt"Ǐy.BNip8OuG35^!=*B5.-PL7V*s[;Wے03;noqN1:U5nM ӌގ8+~|mv?êΕH?{:+j,P2<+AօI.DxwS?R$#Ԭฑ3u{Cp(?D7ML_.6鏦}dK{sgSR$k,|@5'6iqٸ9B{Ok5ZiW܉^^(m|M[4feT9ѺgdQYΏ XɬPﳛcGHTΥ\.WJY~TC˜?mPa:ZVآ={oTEJ 8=R7k㊊'bYt%/K3ib[i.0EUey gO}ឰ? ~PHȾ` i"~vBW*LFw 4wemWGmk5ץ}tޖi}`̣1IH 7Eƒ }Áͥ{3ӈOC< _O<(WTFs@ նr[s,U4mJiaj-L jw,'bV>O x./M~08g)O$-6P~UjZ_t=,U>=T&%k4H38<#KTy-ҮmtH((wYzW_:x,߂%/\E6F ox>8 y6.DL!1/8Pq k5B}!;; }T6!Eem5 +Ҥ8>ۥ=5ʭoH۸?V4xo J (U"Bu骛GOa"e1(Ś>36yt,%6E*Wl,EiCK&݅P;^U=Ԉ}51+b/7 +_?{jrs'ξ=h :$P= /I3@hPx+#v*Bzν|юѾ,W Y]Oݽ[]poM2p''$|ǭ@mO/Yj0-~ml .%P""3]U$ ?7=Le2+S&$^q+/\>&Xb'oS-y`h~4s0TdC '^ /m޲* I'~$z9_]xEh4vʌf2~[Hm/W{bc(3L+}mo[( (&{ ej_ES5#bX噆Cq,Gt;_\ʉ11C ZDvF6v#PCqhss_^!.})!%8:EYQعӛ23A"&VuxsBL|1$ )PW ͭ,M rXC3Qk@#ҼB$X- KYm.(}bp;JF_]8 }1_F0OݺfTYi"5c\ݸ҇(ƨ D7&axudK6n]>CףL>wws a-F!;nE+Pܣv.up/6f펓ZFF*5lPLQ%a2e"mJ,٥a$qlQA~rmK5מ.,z|5azIpyi`$O4\SXfS9#ۄ/W2z( ],:' #2nX!Öٞ>nTyL̀&3 aGn KKPևy<.F_dCC#ZS:U,+afMoZ&.hQrAaҸ m5[ӌvCH2|y؞w!k1׽ެ*Գ4܋c͆&Ixin $ngb@E~TC(vjn3Et<A!Ao.#jtN-};WV1ͻuO/0Ҩ&{2Ì .mw >Cem+{Nخ^Ź4"0Kx}A1Ƿ 2&ط^sb tj͐SjCeib_=~3Ҧ,YmS,yjS3 ?ȎnIȺu&[dL4ަ3c5==UICp}CD$Ttd78ZT 5ߕVxDgz~E_rCᔅ!sWhQq2Fڹi5|RnJƫw3|˔FGHr?ݶ9U~.MKu(禡""@W{{!ah(}0BSl1Sx^Ӥym'q<6 nm{`m{Kق.Ŝ~(Tr?9C%ۮ8/R& H3ޞp A]M56AC;v8prSZ<ǀ`^}j^k ib~m3k#JqBcu`Zm%͡KW ,x[;X}J"[ͽzs~s졥y>ZaC8jsK;:Ǜ 8@ue\?7 c1r/BSMyM sB!Bڕ6FƝWoQ fsy_>j@J[Y ZQ1$H,qmMLtFG+n2oe׫311J{ځ;@eK&*A2o8 UXSeA|9EgT `sݟT,26rxz^[혾fiZ QX^iIdAlog rB2n"|xHЬ}]9GlTN_,C`' oo|k2嬁]se`cC['KӊF>*(G2`SPu¢/R2Z.Ptl9OO!җ"QF+rպ,޳ۥJ;QOo- _ 9$mRQ0lg]rBW)@lj I^:YS@8ulCC$S\蜿7ͤNwGSQ46RU^qW0 MBM& _ޡSBӁLsh#%Hue ?w$(9liU ]Hx"bu{AP7J3٠ #4z?a~;r70E ĩz)+ s"XK2 S{hlxܸ}?ǟѕ8Xx&庾7rmr|d^,%hcC!(ZERse'k4kĻ=X4(5A+ =} Q--ϖ~(ae[pD+?$bDki*}(W[ըhC!=_;~5 oCH8Jk::i2Ӡs`\GvAu!<FiԘRAVP!HPtP%O\doǿi~r#.Bp(6D4W`ygۑ%w֩x9Ui*󷦠Гy_(K5Z\]\BJC $wAc8\e$[j<ֵ*StCޢ)qŀJ5 e o pӅֱQv#UԻX(7=<]j'Hj^u;tbtTz3 9 u:7JHc-'~}6W>%[x\=JB$w`$k.j@ r6]>`@\.G 35Iax8ƪbB>1rtdDUv *מޛL J_GgX?¾.(I?[ɁGR;.R~%[6]A,>z RGbr)G )~ZwqC@#:S,p2^Nwk QVjmnmQԔgnHB~*n8_[-waj4-YP@8CgTЇU\oWc"1x4i9jW 1sb8nŢ)vTCL=Kv3v|+vVbaw|oK!0. $=,5 ƘQŌ߹hr7vCXc 9uӨF$Yd&/{QX[r 4ScmrQi$HyOϑ+E7{+I=lLo =9q:BRu[pxX@(Guipi?"vG"Pcpڑh~XmpmgFj-m?iel L9zFXpd_+!Byx/Yh>)=SQ,7nwB|\zS%n !.VrW!mfL+HU4\|3,1ܨ5D~HM<c#K]d|$_UTlUnm{@Aن;omr6p 2t6Xkh@og$AI81'Aܳ@ ؁-J́W,&FAw<!>@YWu]J4عYk*CS=',&t Ow{vPdp"S h E #YDZ)sQjd#ނZGft-CShaC~Vq-wUiu]?AaҙBӅ>56 zoq lXn0x2>ୱ~و~+bv\BŌ<{͎u!ϟ n= XÂj0ܤT,k>n0sUʹmKxY_'U(\FX5%FMض2F BY 0~8)cfFi#Jd$>@ bTn,uKºF~12s-|:lw^OctQVS-ĞӖcbHbIRQX@A%U,hi*DײSëoPg,i$+1Ùg/Vl0m,ߓ{x1Ka?e݊WN_/aaH~AR,? MntMnDyX$v)@Y#hu6l/yb-Ǡ#K3mkׅ)s%543};D^|J["y.l[;k _ {JR,|,(+<$ q /VJyuy=^)NQ`0'#J0q~؉]KBP= LfѮ+ >Sr;G= мvUϮ=zE,c;W)C`9%bŬ kWԱtV̲#(enw7Re"wHTS 8>~|DK$xC}@fPC#Xxvw'~&SdZ{K$Uj?Yj~L&&-+b'@oP}KS9s/SzXq=cn &C[)འbT- -uG>" AK||JV,Dsb kê勒qnj(SזL[s%~~Zsq -"cf9ubWR%Ri#Gƃ[1!ҟ+S71}$XSI}4x4a7C!9CƪHR:YŖEcؿ ThbD/N slHUݽh&kd6c'GTm;LK>DS ! 9.q|H'uăLOƻR!W/$ LQNJs."j iԁګjn6{VoySr}<{x $G$6VXoh"Ήٙܙw;q6T9˦Rf堉s.N7%,$O{1SKfC1mr?d?atۋ4_9[ ^'FKr_$֫ ?6e1 ՛6a ifߌjE*ͪ#a gx ϭTT!z Gnp[e`6Iakq.fOH_xn+bnpHGb:GAyF1S9W>][E_)t)J|9Y p[^ r;"Kk~y28{ w-0a+r̉V\űyOz4Έ5o2Ryе 6KrM(2E9>^.qVh fG4О`?@ B=NC2դؾB%/0(N*_}$C~9C< C؅nenpݙ"%IW>4ttY5w{I:h3./0Bs >Wn< Lpt 1N@[K4c6 .a:ji!!x ieM 3"Ap xPnނ +:TS (>L>1=9?"&uZVdvh6p/r?<VB!"nyWFk? `9\pzRAHԶa4땤$4cD GZc~'=jcl_R[&gtefX}BNƚ-*{jr.s$ʸXQ٩}"UQ!n_Nb(&f% yfctn<>8rJn\E&.m|l977]A[WཚrԄq Yf ?٧jvx;!2 &۟u 8ڊs#9'Bi'9ў*9jyӮ-Mòϝ&S fd~5[=g~z;d ~&[2yo+yjxf`/T2\r&ˈ]2D {Ya\5 y8da—%.hU#@Mu)q=Yu;Ÿd(S."bKg}:\py`ړדM!1}3a9 cD#QӕZ>Xvjo,Evtߡs t`^rli֩vNWrsR&5腅}YRǶR +qKP9g: 47MK _I^ݒ5,:l@":#9&',񭌾cv\]Z$KTE,ey4OQ{X/^ <$N]u@CpCPgza<'/\dۆ'8H:5CVIMV ZAUO/b욃dݘ9 eLz5Ȃ.t^,ә+>XYg4v6%Nk,½BkJE+י6p4,5Y%Rv^f=`=bx./=`6Ҵ?y(x/ O3;f5F>C>6Y,' -` >/<_CbdEoCgG-¯OB+FI=$=dUlyV,!ak2RVOZ˸(*7_He_-M~9u 8JP7P"Z%ܥ5X j%s.#XdSC5?ꪂ^|"}1V[xT_"pot@%g\]_?iQp+#.qf|;cy^h $r =j@9.\2)Oed{P-d_h(ljt(UmnPmBbSO9R4Zz7pg;e0 #T:DnY!4쀟 യ{ySbtW(Qm×Y b-ZHsjw}xw*9xLq!S `f!e\8rL0|BGʌ`|:&arOYx;0!Gf#;7E42)W[Pj@uDRbz8a%a&+ csE/iC|hl ҼَzQF"qw{twcn_M}O5Ӻ0懜r$Ŀq` >}3e 9ū?qs4~kY*Jr8krƦ_p*>){G.;Ų%y]c`L<ddwC1!Azm?>6t8&^ 6׍7*[ǯ(.jM38qZaؾ(>A?-E$5;UESRIѫ5ctt7<-GQNl(G|d&avI{TG<,Ժ"~ЪVRH%4V] !v oغiRU1K@ǜMZNЏ.P-&4#ϜRLGr(eKvVB;br#g_~t1bC4=Pڬh% ,txPa؎56~ނɎg$B_\׊^eD W[8d19\eϱ5$Ϫ_RWuLƗK>R O` /[90eqNVҘWq)ׁG'?7<~ #~j$GSuMNw'| % #T%M&%qsOaݻ'r0gYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ơgtZ`%?]AU~\'I V꩸ⷬTUb|<H\X5TP8rᾘ%Zmg#)"ҏ1{2S Bk6s9>g[DbkzvT].KmcV|/!z<-%(q;i`)nЉSr;Ax˾g=(򅏄Oy9 9QAO6ZϹoﻥGyǂ]~#<[weL$YXaI>OT+fw7'H3 Fl]P+H  %sx*@d;Ś}[֟cVXj*p yYgYZ7zXZִF! P]ŗXi%L&Gk]qR]cQP]ۆF0'h12=9v5D:FF&xh^u Qo`DW-zGD_ICAEs0 n*=NQTtJjse(=`-ZJ9jQ k.uLڍ/ƻ3xI$< '()׌ha@t`EZ5 dɭ1$^ѳ%LOPF6-y:5J6z %f}z{RŴ_Pr`q2Ķu>HN=tqOz VWLV-SǠV T:i#6Ȉ+āP-%2v'bCM@(9I,RJ̚LÑ[ԃe}9g:#ݩ&Ekk)шXix?ӗ3S=J\H(p;nN}6*z[4Vs=F.GD ƌ aJUQǭt,p wrH2GCOe EPRA32i _dxsa]re "Կʬ@%J_h+5tmE_۽һGUc _rWJ զ LT.CbyH9?.PJ,"0AdEfP51n=wR&1QV*_K6LEQM堈!5sWjl9IV"&3bH N Gn,AgGԕ7B }h/{][BQT~g# A))KgQU7_gI+(FH?+Xj)塃d#4x]u oȦ#.z|KJ8ULi|lF@u_Vh/WM!xPUJ%^8F鬖,bI;eRFsMzS/@LsLQv~?ۤvb.hIaɥGk$ZPJJ/6oeWB75:5Me29s6GĸuupQJ6qP({I#3KVSyt(2kgm*~8Qe=4c](롮m'3 _'{Nă{׾M>~q4 eR$]>$)j PyXQ"f;>Xўs)} E…A%.7_G <Z_`[5rPp-b(!71 ,5;FgV)W$lI}bALaհ\XbX{ ҆A;D)@lS0.M* Pn`̉g#~⬳ ֣h,gYZdee45b118a38bba4557023c50fd6b89d38c8dcfe9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 0e2d1af1b42cf5c1830959895c5d8badc50d05f5320ebff006ce680dbf97c4183820294f49a548c7