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 a= \D ]S]Randomised_Social_Choice:threads=4elapsed=14.060cpu=50.456gc=1.848factor=3.597zXZִF! ]ŗXiɟH)0%oѦ;g3JDB;8o}ž%/~B^:u\=Ks+dnSwP{9K.{1U f痨 '}e8g&vw-q"3Cj uR#rS'=*[g{_-k|^xګ}1Tᝲ'`e9tBz1tTB@&KR7;Nv0^<)`K^)07rW_$a`6k2wG[^#IQ2 n;[ ǫ]/SWUB,PXOw$-7C`N Ȥ[qQ(s~oO-*΀ Dh-ZhWI9defwL>eDL/3Xp4&&c/e! -7&kvR%\6z5Nkn[!^^?ֱ qYy.؆o+*'j꧱F!Q:DjR>#pCA9ƫѩuDr]/vt0VyA\9䃻7_Y1M = Randomised_Social_Choice   h'*1gUΚlUD &?m 4^% $t]r$u!1nm]>JC[H׀Ŋ5IXwK/tZ[[2!C8p2ha`n/!tA#ވ|G*r􍰧gl2hILj@T[IB29 1hXH{~0D@..{5%06v8a;buݏ:Ǫ@*Y5}kkp(KukylUfņ{wH媄B &\)D=bJuyE=qt&pRچ27 lfv ;vq3ӵiYtSk?{ 3TsM ¤i:#ARǹiLj><$.3#Br]6uHܮV8 uT7?$\_@6X$b%>?-+f0Gli_{Sq~ei 3B6%=]bZ(1xɷ珽KJIί2sB,ڋF(!vDCpU#/# $쿘ɓ.QVhh;{+zV-rg4C 9I|P gm8⩿|ČN~MbK!C5֖FLbJvnpZ+ԇq .-JKK"3XC# -;N7:]RK+eY йܖxm)ŵ M|ċW6j?r*,aThg /;L^DoDpIX6ÖZ#)NU]15D8=Q0Q]17a9Qtw2}UFB:LN%yA%]4Pa:*?;_oʉ"LOy)s@ g<&|qڅ)EcR󨸒;DoG೫OBKέ=,0Yz ~d]knKc,6iۆ'.])$rV8l⍦5Vr7CZuE: ̑N-)3 !uUi~jvgqJ4JYbֆ o@5N.]f5 rQK-`Lbb=[=a`S䂒6uu&NkO4u0A6 W3`6;ZClE [`!H@ "lu<%ABE眲f gx?F o;=#(_ J]]`Q 彡!\}0!M(`|J^= (SX:;Hq,Bʜ*mC%Ӿ:`=X+ec pt+VpGJ{Dd-%~U)&<%.)Ld!%ke1 ~~PNJ ?ᢢXGEmqx:_GR= Eo7cQɨ.Y%0R.r2B3й?#6$ r3 er^?3MLfއ`+.lͻmCO'*K;IMP2'ff 4>gPޭD@ (ْd(0/ Ma DnRq<+K'Xc@'>oM5\{9`{1ݘd̢qttQQڠ; 5<f=tJLXdM~ΰ]+(9L:|ܸ(g8v^墉:ӍeKhuw&AlNK)H8d#P).D@Q'?JL_Yo)JؕLg#_ª&TIߺhA3(.^W8<5H wq:5^J ÄA7Շ-AJ=@oVћ^[Ą᷄gj} Ǯpk)- @8 &u $Aj_Q>}kvbHG\@Ʀuʿ&4l~na{[ӪA)tT%9Co?G3! d$%T Xw.Cw@XiMOs<f?}~εƅEopJ%<6ѱ%f|q?62IYuU?@ L/@ 36-M9kgOf'>Q3rq);IB6pA4xJ @lp> }`._E/$ZW9* >AU|x$Jyb$9oְe~qEgJfzTT: R@Z5̖0dBڠ_5R^ {ДycヿXIm8@Ƹ.0- {N4@{L*̎JF6 %fxVr'ܭ-D8hH-z˖Ihy]x{E5xV0;.Em=cfڷB@"5-GKcjA]IVQz#@GV#.Ecsky۞߳9/ V cJ5|8]d`6 j>bSfꮸ[!h, N'mt44^[M3⎩Dc,.u)vYxd2z5ef9ȩiX-fV2/ԤUP5a%9')sQK]'O@i#z }}1';^n[?$ T==H.L:5; ʦG&pӫ6#4 ZDqSWD 3 wg vG~)7=5P0Cl 7Сn;:R җ%IMbƘ輆5d٠k.ZħkTu y]i~XP[ߎk/FyĻ<oAVCH6N?vjqF2z[3W =<.z7P *$ 7'B K> pVlvl{"4B㩳6=PxGBI3&o󃀚C7Déag{S;)J~s] FXw d٩%Ơn8TMK<}ߵlaLwSܞ󨰞 ܶaaW0&\^s]mqڮAtw49pɐ>AΖaƩo^4xoRW`60yHE߄b=Xy˔` vN?< t=?)8ez/,Ȕ5[lGJI2k^vCnIC7:+i]_;J{ff U]{5B{̠"mؖ;3|WB T% I=%L?m99X6Qo5u:̐-EІJBsx ߖ$y͡Gjj-ed=(4{My5Y{ťvI~ ':x [Hg>y*] A Y.2F3W4 XS}(R697i X<H6 Y懒y96/{Wyje<Ѧ#-3b.*3](ǓQZ.M [-p2,'dʠ_}Nn):o58+$h6.Dx{oJOA)^ﲢ/Ƞq *ɂڭ`JmL6$ .ۘ O79JzGTK%$nu ovt&w/ e r.SD9Ja̫h)yB< zI:Ms9C fϯ:t RYOK@L_a_ OC*7'WL~3-0Md:ZΒFQJHPfIJiuD?&uE?b=,]fcv=Ht%'#S3}/Aeu)3~tN(O}З_cNxR) Q4MRaz8$I a y^ 1W{_1~@~ȁn`ngP(MCAnT@M=>o%HGJ^f|5'GlQyboB T7*LE)kYs\,LbJ 2*miA}薨b^D2Q?ЌJkoN38{S.əmn6_96zq,W[S,vNԵ1ڭ2S?r'7G~ukƆ~]EFd/r_w4 T0)*ey.!Ąٺ54S{oAW#z5x7xTREǪ x R^,4zv\~B"١2<kV.a=U4*EY[]fu;٫qQрO+܍tњ(sQ|u[0>!hQR!ߥ]|Wd{OPn=0Qg csC6!gVJB6fC3L1c(:)"g"eYGsWwļω&6⨓>V#f7 5`\5F!e!T 2ֈ7ҏk$_2ff`z5eDāl\FAԶi:]w{cVd;yZ?FBc}A2+r&>ol$;Ȍc'z:?Z~"O%lancDdbTb>NYA }fUiSI6ZTZ?~[cJoIIvPyu1 䣬 !A(h[t&icG%$T*Ÿ )eM3~DсKZ@lSu6>sG!뜗do3O0F 9VY:\ Սx*̥%gh:n%EsE {c.9P,6؇ I>ң7M9 HT1H%U:,:ťܳ/Vg Ha f;@e|Ov~x<5K$+km!8A5ZK4?e&Nғi'hbTko'֊VtgCcuuL)]j/ Ž>IDP!(FzyCGX ;æ6I,nD9l rnzN@[cJE vf QW/ĿZzuXb 1kUШho4huy7[փJK޼P^zNMSujT?>-kj^!;4fAK[?"W*A&6&C4w͌6ip^SjW{NtC?DL:aIi ]MxSFy2kVdU9b]~OAzɳQڄT?43UV1s92.0F(""{:-CYe&<6c|jHEcm= &)x3Df3[m1&`ihR 7_N> E'PF=x?꿘-h*aQ"*B䳍Pc!7R=.p: %r bA$ma&9?np.4SfYiL.4SFGpkv7bhl0DGJ8F/y8bdw@럵܇`o&%NdFz}{ݸ}#`6dL i AXARaK7.Û x vipPI 1yea1v 9e PҨl7tOq")*/h|ڧzSBlbiգs)~>?cjAXW7v:REv{{e812Vأ5]_Vo*W ׊&6[?c*/Hֲ&y5er*'7G :bz[-_jEP|'MeNВh*m(w:l-PW9NP̬Z޳4RO_2)h<j@AyP ٞX8 x  S-@va濷JO/mʷ m .a6C;Fp&q_wMg1 z4sGQ}ױN'gD͉ں4_<MZ]FI[aC#'" v5dp;0Ӝ">= fqHv;?;sih֫P+KEXIr-JVdy$cU/ayV>;zp#mXÎU-!Ƿes֧h jF()^aaN㊾kS$jӴſw[5IЈyի^WiXph>~2m~J)U搽d 9p>RDT }:M91]Uќu(QرIb 4,vICÅwNx;3 C Ə0q6[1Wu] Xg9֓PqX8pZ«Ek;k4Q}O1NNQ8 ]Sg-JlІ«gk2 ֎Y)Vt l׳u0}[DSw9OH' Jm5iMUf*`3 ;8id<I{&eE)VW2(ER21.ܙ{ru٪Nޅ ]A1 2B|i XJ4 P4d^p&;IP D1_)χGqM%Mbɬ=̰?9$)Pp*f9|9f 1G%t@:&ƭm>x|Ww(>unXH.𛾱J325V-IPBGk=4G!\](.8\bW9I@so5s |ajI\-b΀rx#A4.6 F2F9X*odlQ}Ec'KibPh*3G2AvYن}Bo$ A/asMf"P%/(4qwmqmT`|a.ywP3#}U9TͩNDxRoZa™1݄k54sbEqlT3bq&$35;>=gs}=jqCI7e۫妎]n }@ P1Ab 3 #(hw?/nJkTO+Ěޠba!*G՚"m z.d¬8NC~鐽jlU2 D6jk8Jƫy=щ bܠXL =wZ5Ҏéljw֒<+T*HݽimI#f2T9%ھu XV+边!`$nvi2(m6|IYܹ׸lA 295'\䴠_Q %bTVsV \ 2-K!5rՎN-A8nXcPֈ**$ d&?A>3ERT~Z/wX]M$X(`Y'Q8j.d/5U&OI*QLX4%g }L㭈;KA.MxPd,nWD}T/!9(-pAdr͆e Hr}X r?}gI 68J@ȞH JTUqcP j{%t(ɏ} ?WSX_Yy22یQX/oKXℎsRPӢSX#G OVM:>`n~!{*fD ҝ t&oG7μ<:InOL{qV P뷈pUǠ۵?^ ŋ ;2=3+~ysMh3@ a#v%8K!AEy(Čb(;,SzE\|H! q'JsB;q^蒙3$!ĄSR2517_-$3{8>N l\ @F;.΂C}ĔUWG-2gi#!I/ف>3{3Q7\t}4K rKg[HJ3&~ޤS`{uhy݄ysX j{)? 5 :ǵI fK6ׁtKڼs+d#I3ɺ^s?~GӼ!G~'X2OI{`jm7:4wM/*ߌ86[JWUic=;iA}% #t+xYqU pN=:-)PcQ93tC`"I B}@II|aN2/Bj\*0;W }|{ZyL GJ3|uڙS'd)U4By?4VpF'a]#BjЁZ+ k_{̉uZF6 5nW!:oJr ? -hhv!Oܕڮ#(P`"HfeH6X 6ƈ0?nV.B&Hi > f(BFfx,ƖZH(Ԧx{dӆh4]`wahPMQv13Q8ٹHM#. ۀV5p[rɏݽɒ5M/fBȰSh3\E .rڅBr)7VO8tM)S(16mĬ\ZF'rq.cB Q#I^Oh/Mu?P,qiyTCXWq쎢e=.8BzO\\Q<^toŽ>mQG FTJ3L"rS i0 4l;uY /〇K',=|j9,:bEI)(Qe bCk"`à'Z d@2fDM V'ʓפT@W tB{tLZ#R렱u ̐m%TNĄsב\3;DӛbtJÉ؆:+YRic(5.ˤ 8 ~fijq"B}}C$kEB5rVeZ%TlBNy& `ld(oOPȰi'3i];!'ǃjEgPmB&$;jlVpW|>^fjbw[UZSpZ|0jG!>V  @ %]^X' HlVMAvG{D %u* ȵ,0Y$7`;s__u􅆭Tj(bnhyX)0t־sgMƠιM$2x@@ؒtϒ}Ft!kBװrXbAY⒢bh CDOxnp7nTapgd FzR8ak6O(М...! $pa]cW* ] M9+33\u)\}vtN?-xO%L dq5.@D+#TϠ{A!?7sL5~A9C.BZrgk\b3[ݑ2ɳ7Ec,VVШqU$Ϟ_Jg>*&}b=$H!-ݒ'$y(мٛV}QZSZڏf{oV$3 ͔K ZKG;ݚhsؠ72-ڧP5M/M>Aq!͈xܡM+HVcuGGuJwɛ@4nR^-9_ ?1F{>ЗŐ<;Q__yyyVƳ^th\ǘ(5 Ǻьu <9cF~hldᗳOgpyr1VT|3VKUHjoE4_=*.Ўt[ X@_c?YKD3KHvk(2=x՝~ɉGzHN9XBZݥޅ=(+'chҙ?NOW Oq5ӣ~%c K1ï8 w##߰OGw/мd0  MHGϼWξȱSqQw뾪;n:8|6zXfGfsfz}r6@WCz;$K. fdݮڽnPijSI୏NHGYBYTF+WܦEa;/¢wena3c8J lK$giԙҔZz.3;>(|o|rޣߥ (@k|^yĞwٶgJ;=t'd|/ >Ȩqq<0d  l+K|r7H^o:0@8/bb $4Z|?Y֝?_ӈjKiLX0nmj~ctSKuձ.CA\TU\Y3D^S|*_5MG |Fm{ϯk߲,s1}C9'/0꿅$Rn%>0()bƣHY t7KaJS5^0aK =Jq c{3gVYp,t`v$:JRJvA߅zٽ_ WcfϸKL387iO?&CvCۡ+3V`z?!߿Ej @~:!0nXoQ[ ȥZ\1 ЦZlvjò}8tHK6Y m28;#\uܝsJśG%1ChyuZE7*XfQi?[Nl1 9:^]9i |=nԢ]P c 8/qokݥUjÃ"[ #W.˃2U/Z~jв^"E"5k0q5IФwPFصm[|AHbL<6.5:u'Wm BbUN7 | E1.H'~6b{f#r'GE ڏ|rjVXc44QXX09i8*rW,4v}ADI׃xO **p3z:9q㽈>a؃>W3+U^񸜇p7q ; rK\{54|?eC{6O4ʚkE$gO^}ar:^6:wKFcGH#Z1lj/z뙓\ލ(S.rۗOk&Uc2ZuL0 r#u!yjt%ˆ57 ؿ-D}8D_NVshB{BPB: fu ԜF¦?ՔMX^)vcEb\#ԡG" і&WY܁5 (}闠*\FYq b{MԠ^XY 9@.8Ȕ8f7Ha:-\:kz!﯒x'ù%/7u/iXQ# pQ #,R8bI -?cP Jf{,D(Ďt뾚dƧpW̸+4G;s 6r hݝfbȩ;?-lyGRhÏFb$YeSxU'Q es4縌ofr%xUj^*Œ><jy3ac(C L73#kTň#p@E73+L>{l¶;V lISR4| ?fpy Kۦ>=W8Y^&@tm8fYȕp9=e4-U1N+ѧݥ1qN{Kao8?B/!FUb3//" )ʉ4hˌ=/`^0w)G=4+ı7DcK﹪jDWf۱=:UdMY^ES~<4cM9-̲RS4zX _Rq*#(R7zwT|̷q摍#G剚, /;?t06Vޥ<1[ Ok2uIrnu g)m ӯ"Iį0,h~L?_U1xkhrqmb)p5#e몵b[F]JJ[GT.ŁhO%GFe;*G+K. ҘLρR3Mwp)^_1H}:n-l[v%.6}Ddt2O,s Jlw1ʑ4Q9n'QQ1LR?4#j+5E|nxгI'-/Hq #lXg8*xd+lHanQna3,cJo9oxj>2ɨM;Oڳ)cfÎ\C[՗Ng TJqD2l LOxGo6'<[9DDBCTѥr¿q2"~UKȘuР~LQy2@RDF0&un(=kYTu~ccCOeZ:wY=&I<$ۻQZvhł?^k{235}: YNb A˕|Ɵ l*DrCgMaf.j|Yn_z>obGBxK$OM)l09Ǘ9i= 8ʙ*c(.6Uq_/1_M̱lGqߟ'sRsA%O7C%gP9綏iQEJ 8! $H;[uIunge4bi ە+_t&1A6NE9<v P^yyzWnj*(CI:p? |yyՓ+ٜ8-FsA|E_2M@-=++&@ ^ 2"?2 1˭ߥ.b ˩[52Yhߛh8ط푣[ 08* :PZb3Rx_ .uLtCȥw/_}p)"AJU7e_ZM|̦Pe(+>b^s祥S{Բ\ߕ#Z:Ca#[%VtG]t {887U{ЦcmXl2S!*~xE?mw׸ocE%Bhg094%*MQᤏ1?qĞ;Pc1&\^m.ZW ,Fm1|A}k g\^SLD6'>=lTzSEpyyCBs] `IÃsJ׶mqN2+& i@#n@X/BP 9d':2L[u/'f`y D|B5t>CK#q_&6r.nLaV#t˓C@MNO˚4amvۏED6G3zb?G}e5sx 0z16jf:sWLI7LsXZ a=6r]i{vL~߹ǥ)/Vq}77Rp9e#WwR;㉬~֣pɺ "W;swbL2S ljf>g8rmzS0rݰ ߷ }f&[mAJ6L:b&>?Ü̃`瘵qs5IXq-'ֺ.2-DC/J_R炙zFf1[N RIZ3kݰam=V0.@j+֐_S]5 By%+Vc\$>4s7h=vm [$]ᄅ! k M//u ʋa|}F`@ ܿ1ƜbF<8ǰ`DUوшL`Z$2"' sN)_ɭzeԚy{ Q s~Q$qa_պc[wv0@z">Fi.gɯQtL, ry(x',u)LkfÑ $[\*(D#Sl*{/!xDJƩfzr5lO .EzWKT -S`i/ra.%/2._L: 8:a l&CPC+Z?${M3goTF*L`becy<`&uȳZ\8}U{.~I^9jFlRG+an*v-X׳w2ekEj f^x#2qronV54¡(3s%ڿOߑ8q6I2ұe޾W҃`hjvLw5Lĭ0:Д{:q:Rv9Ӂ<A& $U@!xoz밮nߟ ϵeE "ii}u۞l5^v8jNʳ\9rf+un.~7ԌŻ/bdިA;$ߦ'];5fo07o=G' %&qXLyam:dJne]%Ur5O>"p7y4&6 0zWߨՓ3Ɛax<|uȗj֌;^\Uo'bo~W`Pnް,У+FǤ7) LdFpGBVk j\#vqrIKe)̎~(TC@ړhHw 9lт ,B"Z_8pi~ԃ7JI`H$y }F1Ha`6niu-֞ć) jPl$&)~_wwtiO/+nGtR^ÝlD03c$lQvE  :;hy-=.W.Χ6٧E`rjU❢˾NY 6Ȱq:8 S2*A׊u# ʅnЊ>Am~C4KT<k tfg#E'HS_x2li_է?ί\(zȞ*C Mqt&K[p WJع2hP !Z#T.{>Im@¼ 4#?&zv-KUj$#gEBX<uolJ+~Y#|@aرC};wK@XwI5S{ud&Ia21>pG1l, yʕ'Tpwz(Hyi@* 9D?T5@nS5F%hkwۇZ I:D] ݫ`ј)ukr~,=-\ˎ;He@ yd -{xzF58nFbueWţCKB5{u->sdUỳj0w-F `U` AiW1PNz@g<"3W!%0Pԝ+F[#5 sge7a"b&U 0|䂙ZCH~gwsvI`-C9]}zHwfhZH̦ :`܏z`>Q"r^dtɪjcP%\C-Sf;iS-z&R߼vA 0'0.clel$#D3{lWCO 7K8G%b?zgfnS7 nĭ%{$RiMYƋ[ Kmʍbه5 => 4Simv9t6vdfse@ 8BT: X0]^Bq#MZpCX<ٴhqHw+Yn))" aSB([3rony+BwԩUWrScfMxD[ӿ+31TϿEnZ.O1!_`P##>{s+zBxj}r-yA k dGk>Li,wL~t.1+@m"M^F' $"q&[Ok"lBFݾ=+5-FMtJeM9N1& 7M~X4k_2.[D^='0$f6I43XbzrYԙ 'g΅[! d7;nW>u .HǪЁs6hLD# {JOk>1 k}eKS #U]hPmlJ!yuEo 6~+x0VmYA%z Bސ76P0lނ,{٥f=D%B*S)%p-*Ya ޯ dYSqv.!~m`z9^ \SWRMR-ڔ`=(;[+as ߌ7" 4D` a;pYuM! j MW]CŸModZ)/[w LBO[%j*ѨPm,"jҪ"L  ɢk͗W?<-dXE~vvx%Q߯"$!/-`z_Sz.\iwӨJsp\ B'#&f44ӉAyael9\ٞ9{+tGLA r[g&$um0)$"/=:' HχXB+llb|ve'"UXНC֮ n)›/Hd p{Ü>|_ִFqg4oߩ1Y r7ebC ?RBdKd o,&"Pp0ZpubOE@gz ٺV_ E= KvƽsJ*7[Qް_tmLQww1ȉ$y呜9cxcgk<+GLٶGFxg5r"UL?:&FT Kd|v%43;̘.x sS7|ͧ9H]>Ha5ZF $@ĎG8&d췯rv`^`~iAQƏLCpLJ퟽C'(0rx>hHf6CBr(U- 5&R'94CJSl sI$60IMeU؏7)J!g rt5U!ZS3O >V)5EYyD.hpz'ud%N3O$Fchc224By)x/箪 $=EBtN}`Ȗu1i֍܋b :|D%H"@&PBI =GY$ccUϙ'׫o95(DHLEn~i*pC(5kz.vPˊ1(tm|_W^+%rqy-eՎﰗ⼔%t'[Aqkēh)6j-p6;eSȀTU$kvn - Vѷܼ++<۟p`gy:+@+4A5?jkrOT97a$/GCXh ]*YҌMeN1d 3X0z=~H@u 憢AOc^ٹ>xKCvG6 2QDvU1yYa]-XcVl)Y.(g3=bTnv \|ރI>ѦKivxd4wrde%wubXSf'O̶Rue ]8[W,k} Ia-S{7?~l/p>uv+$ZZ7jP-8H; }^7\Ԡ\{wFLÎ\$KP=F)#(XW>Wq duRIҎ- d[S^"'s\*_ L&x4m.pcS4jk."^ lM6 >N)4X"pw&yw0QRotDH#2CKvA~j29I a]^Ha9!GKyȗH/8vyǔ/:!`TU'@Bص3A V}ZaW+c#͊9mHǡϔy#/| IZ:УND%j%a:O0T4@ qGoIOz55c X x2l^b9z:=J{}4(Ė& ل~>"DN-pgdPN f|,w1)[RHk:6t ;gWZ6BU}C!F^H'E:'HhGlE7l,8 :$ԟ8Wv;q^@M>~e7DKMA@HFXeXK Cg4WAS{YsO?_ﺈo57}?nA+JLXx2ߋ!F~}CoPMq8]q+_=*EXO#iP輨s @@(ڭ[l/=X sc.hIkEIm 3-]4 Xj4gm7QIx2I+ͭ<]7/"jrVXpxPTC\>9y˼;XBLMʑ Dygս俺&R(G )mv瘋 2{9bFb>"V|Uo \h(I m~)U(w_Q)7՜))ʡ ?xs!(""u0W"LVC(7zp[FrCسހ ٛ梦;Ma6fLwk>13^%J@hl,(&{G753+]pMK1-=Dh nZ6v@r B?-ڈd'Nb3$HCI Zx j!'6\(;&w<ț)7c0ҭ]u~:߇Q1Clz@b(0}\b#ʮx觇dH,Һ%NURr:DQ͈F7kMZ6}2~V l5gb&L߽5Olh2bKό|b}ᲐF8Mso UZ9m圞rPFS363zSTZ6'Et](:܁i[{Z @[Btq1 I#I1%<2%a$N~Ee3sH{NL}?lWjJU,4EG1,'qgUd/7Ŵؤ'U#δQ H3PƗ|,ģW%ٟuڪjLΌXE-#m6 Ov-O`-MyuJd+=!wiЪ!Yd59@b:TZE=U0`g1ٹ- PvMKq ’jS`Gswݞ`FvSiA!P nWpF"9Xbg+fxڷ: y+>K2]B=S^gNa?96՞c@ILx[Hz.}yJB0HS#EA_Q}*Nwv 9/`q*N$٦"%jקpdZ`-lCZ95y^Vxc QlgOڣvb߻JYF3aBu+ MaĞРϖ 6+q3^.嘆yE =3dӰrH#xx$޻N;yF!xnMtJsl>GDǨcbP7jEeY3K?"/tޱ xŋDU];"oP(еN{ s]/ م@؋ dH1u?{vO.Ye:qJl:8 ͓pt):>C.}wSfvHW<+9m7zţ+8*oH"D@*1ł&:"pPD4SR>t'B'"FzY؈>OZQ8Q#=j0߫w֛ru&mIYcBMo\Fk>LF}PېONWUT^5 RGV*WN`w5Y҄|?Sgj$8]Y:B/{oedxR Ŭ%]5R]k{zK{Q.1T @2\7!ťuPyp!LJڍgϤ*jwڦBA7#fgZup SG7Ry䶌RpquG%KS#$bP*b"|*nc#ns0.t5 g|4Pr1 0[>;[Ts(s YGq$xX'[d )W)jVIn /&X!f HTEFWH4U (F.@^8W\C¢oR*U_ &:&zo𬭤s_O$Kw lH ]]d. ؎-%ӌLe*u2X.94ҔwLƋudҒETriDVS,1d`7 r"ҶF3:r7Ϭ*evsBeUV\Oƭ+_$xvՈyQ<\c7 ߔ0 p;S/ܽCq thk w1I%~w5Tdng6UiQtOr9kq}-+y4Ljr}O16UQp=*r6 .kӱgRm@p`T.}C5u:=/oG-P\^B.1C[ueIu@fЖn*o .7}Z9][<5 Y'@)A+qEW!=;8(T X:! V+x,I(^ gP{>2JoTb`+r2}jM]\jGqs!躌8}6qzfXT0SL#O/6I$:aTS4>1#gui_J7;v9T9 & xkbsޫӑZ3`vmRI!p2/ƣI*U;s-i&v /X$1Į>:粴.L^"xwN6ҏ48i ;>uv6i85 Mj"fZ1퉎pl5'TEZ]L}ΞpW>Qghn!;U9ͺa,K(yTb~) Ce34Qa_+0NHKĄ}Bw!Pw:-GMs9яIwȥ5gp[E{< l0%vQUM&ݔy"]]jcҤLٳ.lܥd 6nW\$ʘ}zdZit": B JPĘߎIG)}KuU !lLВ/3zpzO6e(seOZ  )$|j|Yߛ4?19D"!LE")joylBbO]"g+6 Cc,\U0&(|c(x%q> Xo1pY_r/|lw Ud) } c[9rN(&p*呍2bZtVdrZIU}B$q=^"ͯg-]*aMG/v]jEQr-op)|RHZrb֜^\jnnP RD n8XkMSt FW1i(sg!Om¾ȱ#۳.Ti`}A"9I |-c:\HMl[%|p_0dIFkK|ά鏺-a-_t0&l]YgF l#'+4OC7m#A.NPpDr br І%],,eOI/>S%dha&"#nq;?d _Mrq?fE? Ѯ YB^'\h>}Ҏ6D)71uuVxdl;:bm_h+K/>$钖@1kȢp+X8_Nl(|evjsVtKdѷ#@`m!*;! > >2 ږV h`p%߱;5j=,bDmy z,)TrXbxڣS5ג9ZG$;̽I$iM 2юYz1u*p&qx֥` "Hfn ?3wԒw\36F0S7C);>hFzÎ$8kmǘ8N%$碾< Z]iah&] cP*i|xjh֩) l:4 dX5J/5fL7>wcyGA$3oxLjyg^+XZӏR- 8$S`Y&7)A] F#(K/Kd"dM`0G3<ObࠁDŽ<jh+8|)|U>eFiپ:~I荔:>l% 'jaab,#&c#%g/;?5BVU@ڥQUez q3zM BVTq#.|i^e +!00k?ˤUiX;4O0wfMPz/ KiR|`bUڇ"9ARCH\U#@Bnan-U{>β\\t7/lKzD5:L[ ;#}H/-߿JlMfN D=c1[3N~"5 'S` l6&0Bn~.Aжw ={H@c`mmj^j1s5"DLܥ/KsDԎ)n Y%09Kθpd%:O2(>e ZHCSb ͨNrj^VGu UqS6N?oPf> >0]I+ $ҪQH1tPIN{e9-o,kq8(NtGo׽ǽ>XZz(/QՕ9 >VbI`~HSlP 30ȠTT`?AP.#/)jEi됫@?6zr k& FoZ7vx~,H2Ys@ 1V6ʂTB`Oi,@ӆP gפ_,xbt0|. [6Vڱ?`yj`C6b̤>} c?gpyS!~ԧt#Z R!!:oOH]<-1~"Jd$dMgBxu.]1ad2c2@[-./W_wE1,=gG"g_:GK7R)"Cc~ޤ6Ѿjް 宊/89ܰr` ;?pIe9QqTൿ{\SF2ͨ:߅ūCMfT;*"us3pł3~U/4\/ ͉wfFu3>pt)~V~ y% {h&b'6ZץOܘ UypW%i5K2*İKl p3[y*YZaڭȩkU^ثs8^H)^25en(PB8=sCC+5}"fv?ve=8NZ:# t[db ":lrmf"=:5v:)Ym>ዪ|pZ"!X.,׀dl v;_IUwGW=kRIM]Ȫbf-'!?ВHA @zh-^ R.*я~_:XՙX#Jb8M+=|g-O5 ]sL@pYc ֔sUD ^K#tSKŀCITͼgUo& XЎԕ#H-r;3i^т?x?/Ox'zwwִU> ʺaB2H\[ݜ i.J8͂%11hgk<+~͋ N~Ok` -SjffHYׯ}N+ Ş6[kpfFj!Q;UHɯS}UQUxc%gz6@')g05! }1. & `LJԲ!;Q4o&6[ZűUs$ :84(ZJ]cvn!$6PB*ah]I\u:saAm mWZ][i('n,M}N!pr%.%/ne5⁥]U3uKs TXi 􈎂݅-> \{[! H`LYB O C37#tŏ f06ޔJgH|@$Z κS_Wkjqx.i#Sfjy%W,C+OSCct'ZQ|Y4s.aN)]2W"\RF( X.k%\6W3R`EKZ'/+] P@KE69'y!P{.?m0>9S_AsggM2$ Syo؎+<8v%2}xGߗ;M^BeE2)×]dQ21~wK9-ZO*sDփJZ=z"*=P8k  d{y'q=o㲛tש *;Y %駷=\}=U`4{*vCg*ktih:vVmLs?u|9sj5Q{Ju6Yvg~CP@lwtVEj:aZDaDp"k_<7|0klTV˕ntM[cAm:ܲ!2w"VPsjIa6pdۯSgX559Mi?'F=;S8}/XfJf:q8|4x2О۸Ə {"/٬/'-8,>|ƿjal:u K֔ biDؕ6~Cas~nG#gv@E$e ܊>gYZ7zXZִF! m]ŗXi%L!3O9Vc8y#*wkTBPJ @(b?HEΏ5[[8 J%Y >)}trKC6KCKaNp/B_쎌ZjN'#"\}z#!LJRe f0y}E@KDj(<>11S)Cl^?t})X`]= &F^t>J k760wI9J{_hmr7\TؿioWeR01|Q217CwV߆& 5 &ÓK"Hxd.ڙ LE zǶ,O@/l:S+bQIx#7KM?\ԠL3ُ$qP!5a,'_yRʔYWD<7 geBGjVv#Cad؝9ZA.'R/C^j֬4 &j3·^nTm 9RdFWW=VO2/hSuØb,uJ  {AK" em+ڶobLu-iHz㒋hJl6~NKj2\Kf=T*$W4 ݃:/*qvm@~ΰ1=D`UensbCrCOaø߯Dz /f4B߰nx!nZɜ!'Uah`A+Ro(xs+̷I\-^<ZxTwuQu;}D!ϛOR+0<ݚ?M[ )`j,bM_}F2sϊxX+HRp^=H8Gu|Y(7*H @. }꿵ʽ1 H\j9͖dS\aVyֻ)OPRR7m Ha +5Tf`n$xtߑ3#Òc4xe`vqG qIo q e ̏&Kd:R1=$?hE+O6\]\B.Qpl)Zlɖ:%8'a6lY] |" @?ZkZ TԯI^plypYEd6Nz '<&ZX ͽXjɹgl~E2m >pۡ HZM30Ȱ hH/9dzY)+YS(<&C.V$]{&Y}7U^]vTBX?cX,hf+o&^(zk)a6'UeisӔRaV/{z-B`I}2)t.4֞j4@7v[ob9sT`~fsC+YS?V@,_ӭ3oKs(5e߰;u\ⳡ[1X.M_򳱞izMB}/qnJo(BOJβӬxS62, 1Tqnaw#o߸E3KH&v%x:W2Nl|HR0gYZ5f282a1bbcbb5f6b0d7d3f1fc367c3d422a54dd08215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f33b9ab8e295133f21bc3f7b43f007b052d58203b