From 7babdd526cbc4fc2fd92b22ab0ab4ac0772fa997 Mon Sep 17 00:00:00 2001 From: Fran314 Date: Wed, 4 Dec 2024 15:22:39 +0100 Subject: [PATCH] fixed some stuff --- README.md | 296 ++++++++++++++++++++++++++-------------------------- main.py | 131 ++++++++++++++++++----- results.png | Bin 38399 -> 38037 bytes 3 files changed, 254 insertions(+), 173 deletions(-) diff --git a/README.md b/README.md index 1373242..0644afc 100644 --- a/README.md +++ b/README.md @@ -3,152 +3,152 @@ Results ``` -========================= -cards on table: 5 -------------------------- - high card 34.14% - one pair 4.16% - three of a kind 0.16% - two pair 0.06% - flush 0.04% - straight 0.04% - full house 0.01% - four of a kind 0.00% - straight flush 0.00% -========================= - - -========================= -cards on table: 10 -------------------------- - high card 58.63% - one pair 16.27% - flush 5.56% - straight 4.18% - two pair 1.97% - three of a kind 1.95% - full house 0.33% - four of a kind 0.08% - straight flush 0.04% -========================= - - -========================= -cards on table: 15 -------------------------- - high card 75.52% - one pair 32.62% - flush 29.23% - straight 20.51% - two pair 9.33% - three of a kind 6.74% - full house 2.11% - four of a kind 0.50% - straight flush 0.43% -========================= - - -========================= -cards on table: 20 -------------------------- - high card 86.81% - flush 62.61% - one pair 50.10% - straight 46.66% - two pair 23.60% - three of a kind 15.17% - full house 7.34% - straight flush 2.32% - four of a kind 1.76% -========================= - - -========================= -cards on table: 25 -------------------------- - high card 93.46% - flush 86.91% - straight 70.18% - one pair 66.46% - two pair 42.93% - three of a kind 27.68% - full house 18.05% - straight flush 8.08% - four of a kind 4.71% -========================= - - -========================= -cards on table: 30 -------------------------- - flush 97.28% - high card 97.18% - straight 86.41% - one pair 80.28% - two pair 63.73% - three of a kind 43.11% - full house 34.30% - straight flush 20.66% - four of a kind 10.20% -========================= - - -========================= -cards on table: 35 -------------------------- - flush 99.81% - high card 99.17% - straight 95.85% - one pair 90.40% - two pair 81.44% - three of a kind 60.41% - full house 54.46% - straight flush 42.98% - four of a kind 19.26% -========================= - - -========================= -cards on table: 40 -------------------------- - flush 99.99% - high card 99.82% - straight 99.10% - one pair 96.67% - two pair 93.39% - three of a kind 77.70% - full house 75.08% - straight flush 72.44% - four of a kind 33.51% -========================= - - -========================= -cards on table: 45 -------------------------- - flush 100.00% - high card 99.99% - straight 99.95% - one pair 99.40% - two pair 98.79% - straight flush 95.18% - three of a kind 91.70% - full house 91.16% - four of a kind 55.07% -========================= - - -========================= -cards on table: 50 -------------------------- - two pair 100.00% - high card 100.00% - one pair 100.00% - straight 100.00% - straight flush 100.00% - flush 100.00% - three of a kind 99.55% - full house 99.55% - four of a kind 85.07% -========================= +=========================== + cards on table: 5 +--------------------------- + high card 34.1300% + one pair 4.1423% + three of a kind 0.1862% + two pair 0.0619% + straight 0.0490% + flush 0.0425% + full house 0.0150% + four of a kind 0.0031% + straight flush 0.0020% +=========================== + + +=========================== + cards on table: 10 +--------------------------- + high card 58.6462% + one pair 16.2438% + flush 5.6900% + straight 4.1470% + two pair 1.9659% + three of a kind 1.9515% + full house 0.3208% + four of a kind 0.0815% + straight flush 0.0430% +=========================== + + +=========================== + cards on table: 15 +--------------------------- + high card 75.6608% + one pair 32.5154% + flush 29.1625% + straight 21.1830% + two pair 9.2677% + three of a kind 6.7485% + full house 2.0982% + straight flush 0.4850% + four of a kind 0.4600% +=========================== + + +=========================== + cards on table: 20 +--------------------------- + high card 86.7323% + flush 62.1725% + one pair 50.0654% + straight 46.7040% + two pair 23.5749% + three of a kind 15.2077% + full house 7.3528% + straight flush 2.3450% + four of a kind 1.8408% +=========================== + + +=========================== + cards on table: 25 +--------------------------- + high card 93.5500% + flush 86.8575% + straight 70.4850% + one pair 66.5346% + two pair 43.0365% + three of a kind 27.5062% + full house 17.9522% + straight flush 8.1390% + four of a kind 4.7169% +=========================== + + +=========================== + cards on table: 30 +--------------------------- + flush 97.4700% + high card 97.3762% + straight 87.4620% + one pair 80.1569% + two pair 63.5406% + three of a kind 43.1085% + full house 34.2401% + straight flush 20.9020% + four of a kind 10.1277% +=========================== + + +=========================== + cards on table: 35 +--------------------------- + flush 99.7875% + high card 99.0900% + straight 95.5010% + one pair 90.3608% + two pair 81.3709% + three of a kind 60.4369% + full house 54.4532% + straight flush 42.8760% + four of a kind 19.3431% +=========================== + + +=========================== + cards on table: 40 +--------------------------- + flush 99.9950% + high card 99.8092% + straight 98.9990% + one pair 96.5685% + two pair 93.1968% + three of a kind 77.5346% + full house 74.8518% + straight flush 72.4400% + four of a kind 33.7800% +=========================== + + +=========================== + cards on table: 45 +--------------------------- + flush 100.0000% + high card 99.9869% + straight 99.9430% + one pair 99.3954% + two pair 98.7910% + straight flush 95.2640% + three of a kind 91.7577% + full house 91.2159% + four of a kind 55.0138% +=========================== + + +=========================== + cards on table: 50 +--------------------------- + high card 100.0000% + one pair 100.0000% + two pair 100.0000% + straight 100.0000% + flush 100.0000% + straight flush 100.0000% + three of a kind 99.5700% + full house 99.5700% + four of a kind 85.0454% +=========================== ``` diff --git a/main.py b/main.py index 79948ba..d6c15d3 100755 --- a/main.py +++ b/main.py @@ -90,50 +90,133 @@ def find_hands(table): "straight flush": find_straight_flush(table), } - -def find_hand_averages(result): - output = {} - for hand in result: - output[hand] = 0 - for hand_type in result[hand]: - output[hand] += result[hand][hand_type] / len(result[hand]) - return output +def sanity_check(table, result): + for hand_type in result["one pair"]: + if result["one pair"][hand_type] and not result["high card"][hand_type]: + print(f"Invalid result at one pair of {hand_type} but not high card") + print(table) + print(result) + + for hand_type in result["two pair"]: + [rank1, rank2] = hand_type.split("+") + if result["two pair"][hand_type] and not (result["one pair"][rank1] and result["one pair"][rank2]): + print(f"Invalid result at two pair of {hand_type} but not respective one pairs") + print(table) + print(result) + + for hand_type in result["three of a kind"]: + if result["three of a kind"][hand_type] and not result["one pair"][hand_type]: + print(f"Invalid result at three of a kind of {hand_type} but not one pair") + print(table) + print(result) + + for hand_type in result["straight"]: + i = LOOPED_RANKS.index(hand_type) + if result["straight"][hand_type] and not (result["high card"][LOOPED_RANKS[i-4]] and + result["high card"][LOOPED_RANKS[i-3]] and + result["high card"][LOOPED_RANKS[i-2]] and + result["high card"][LOOPED_RANKS[i-1]] and + result["high card"][LOOPED_RANKS[i]]): + print(f"Invalid result at straight of {hand_type} but not high cards") + print(table) + print(result) + + for hand_type in result["full house"]: + [rank1, rank2] = hand_type.split(" over ") + if result["full house"][hand_type] and not (result["three of a kind"][rank1] and result["one pair"][rank2]): + print(f"Invalid result at full house of {hand_type} but not respective three of a kind and one pair") + print(table) + print(result) + + for hand_type in result["four of a kind"]: + if result["four of a kind"][hand_type] and not result["three of a kind"][hand_type]: + print(f"Invalid result at four of a kind of {hand_type} but not three of a kind") + print(table) + print(result) + + for hand_type in result["straight flush"]: + if result["straight flush"][hand_type] and not result["straight"][hand_type]: + print(f"Invalid result at straight flush of {hand_type} but not straight") + print(table) + print(result) + +# def find_hand_averages(result): +# output = {} +# for hand in result: +# output[hand] = 0 +# for hand_type in result[hand]: +# output[hand] += result[hand][hand_type] +# output[hand] /= len(result[hand]) +# return output def find_probabilities(size): - results = [find_hands(sample(DECK, size)) for _ in range(SAMPLE_SIZE)] - output = {} + results = [] + for _ in range(SAMPLE_SIZE): + table = sample(DECK, size) + result = find_hands(table) + sanity_check(table, result) + results += [result] + + # The idea was to find the probability of each hand this way: + # for each hand + # for each hand_type of this hand + # find the probability of this hand_type with occurrences / SAMPLE_SIZE + # find the probability of the hand by averaging the probability of each hand_type, that is + # sum everything and divide by the number of types (= len(results[0][hand])) + # We don't use this approach becuase finding the intermediate probabilities for each hand_type introduces + # division, which comes with rounding errors. + # To avoid this we postpone division as much as possible, working with integers as much as possible + probabilities = {} for hand in results[0]: - output[hand] = {} + occurrences = 0 for hand_type in results[0][hand]: - output[hand][hand_type] = 0 + occurrences_per_type = 0 for i in range(SAMPLE_SIZE): if results[i][hand][hand_type]: - output[hand][hand_type] += 1/SAMPLE_SIZE - return find_hand_averages(output) + occurrences_per_type += 1 + # probability_per_type should be occurrences_per_type / len(results[0][hand]) but + # it's better to postpone divisions as much as possible to prevent rounding errors + occurrences += occurrences_per_type + probabilities[hand] = occurrences / (SAMPLE_SIZE * len(results[0][hand])) + + return probabilities + + # output = {} + # for hand in results[0]: + # output[hand] = {} + # for hand_type in results[0][hand]: + # output[hand][hand_type] = 0 + # for i in range(SAMPLE_SIZE): + # if results[i][hand][hand_type]: + # output[hand][hand_type] += 1 + # output[hand][hand_type] /= SAMPLE_SIZE + # return find_hand_averages(output) groups = tuple(range(5, 52, 5)) global_results = { "high card": (), + "flush": (), "one pair": (), + "straight": (), "two pair": (), "three of a kind": (), - "straight": (), - "flush": (), "full house": (), - "four of a kind": (), "straight flush": (), + "four of a kind": (), } for size in groups: - print("=========================") - print("cards on table:", str(size).rjust(8)) - print("-------------------------") results = find_probabilities(size) for hand in global_results: global_results[hand] += (results[hand],) + results = sorted(results.items(), key=lambda hand: -hand[1]) + print("===========================") + print(" cards on table:", str(size).rjust(9)) + print("---------------------------") for (hand, p) in results: - str_p = f"{p:.2%}" - print(" " + hand.ljust(15) + str_p.rjust(8)) - print("=========================") + str_p = f"{p:.4%}" + # str_p = f"{p}" + print(" " + hand.ljust(15) + str_p.rjust(10)) + print("===========================") print("") print("") @@ -157,5 +240,3 @@ ax.legend(loc='upper left', ncols=3) ax.set_ylim(0, 1.05) plt.show() - - diff --git a/results.png b/results.png index 2ae8c82577c4206f6647e9fc0d11bdadf69bbcf0..27595923996a13b8ee08d9fe3ae8ee4010888476 100644 GIT binary patch literal 38037 zcmeFa2UwJ8wl!L|-8yX?+eX?*tC)x_s7UVCHXw?zK(dN}NRliPrybfXEeME&(iTL? zl5=4s6rlx45=w;vB~wUFckKda=FH!7=lplhIsZKO-g+KqXehq=zBlZ>_F8MdTsok! zYwoNivltAsO)vgW-hRhX`@_~I_D;ubjT!rn+n=$p zwzn`l@vWn=t(}>*m8{fOsZA2!p0c+;W2Yc3ZTXisNLkyON{g&n?SPAXd1kk^9fL9d zIQ^UUKsCaQ!MORE+K)dRIUC$w?{te`=GL*CUAo+NS#rLbc5UzMkc^4L3rsqa77TE54Zgni22%2hVAfUtj(+ zaV7=xjyZuH`+8eT*D&CJYRr&tD^ zpRclYV!&e}RnMDw=#bAnZ)Z(i+;`746wEmt^l zs_O3c3v*T|rH%IKT4(zmfBLg=;mr+xoddVcV+&?1wfJTFe5LQaw%uJ~+EafB*TfrQ zJ~m2?x`sM82l~0U3mG%@IlSG^zGu%A#&dID^i>(Mu5Ed}p5-y_yu!KZ#?@u=GV@hO&y4rQd4#)<4M$~U zSzG2UcPd)AU+G3=jIMM_eTY*-;LdAH{MhboF{v`HgWdM;e_N@1?&HxgHw>FqW=G1$ zj#{}EmWR8BVn-5Be|S&dvxWP^ENfGuGUnt=_wQFslqivJ39fT)2}$qFXiI1~*A}jw zXu`4Nav~ktDxKe5T1VfDNm#Ppz%;}`(|w3z7~3jSs60N{xLC#YEDiPAeYYi2$E;Fn zOz7=p$>vqOl+uc~)eJ_o{O7s&-^wjDCw)J**T|}srCM`~SgNWm!FC$>xY*H;5vnms zrKT)5|Ad4DKW&rbKg8AYw7ZsaB(OcE*W||-yd)h)yg~c&MN0sNm3gQ?_L5YP;s5hxT0dSci4u z;~7iCG(r?UyiPW^${A{&)x{p^%#?3^aF51j)2ZLSHIK`7#B&Ag5^+l^84vQ~j$LT{&f!{vxdQqj!tTqymTg*4$aQKQve}rFxZ`ZTI7u0n)zNXSBJdq0Vbn zhYI$WVTofHq?aq$=jV)c>be&%GJVTW6gD_}Tq^C&PkgtJAIjIoW%2hkmxKhZ-2QXe zzMw5;b!j$^T(^O&-V#NjejAQtYSS*&;e$GBUJRC7PT*WpB>$tjD zHeq6X#Iz&13PbKthP%JILRn$p7BQoB7VX>;atJju$JFgY)Txxj}6MPa^FZt8V z6}RNLu6B=-*ZO&wBGCBm+fpOCUv=-liHxr*H%@ED0tw5Q-4P) zx1`j)KQYO&b_>?1M&9-1vWO-{L2}kNj4;PyEuk(}G+{ItWnpS+K0S?jrdT*M*-N%q z+`&vvq$IHfJwYN%ju_wlt+2*e_d->}Q{J!mLvj|?3?|uy*`}XQbPX?^- zwq6g3^k*Bq=F0m8VrDh)kx8d3#Biw^$6CwY_QX;t{>7goUo@1t=SZ_hZTst;xJec@ zG7hb;3J`CCFe~xfu1RNgZ*#17sM=)tdK04DKJOLEi$*d(XL!C_&7dHV)&JUD?a=WV zZ}2RE`i?bg#)kViEQEzQA}UITu01jeO;SI^VGYt}3k;+6MXVdEO!{ z!-?Ul#T!rjNHI9cnyZ2cU`=21w}`lQ|KM}-{cm^EF{rj2$*M**4g%SU89>!YK z&}+_8tF+@%*&oa5oVaf3Z+@CBgMei5==mb&uIvH-)^D^7oQ=o(Q`x*i@wlSRReHXH zY3jA%NbExz-^d0Q-flP7=vQob{-(H2R@gd$bb zR=bvxVyVn_pYgGgmQs&#yLs|Wzv$T(tf5bibaV4>&QKlge)^#*&QJxJLeHfmIsL=^ zptAVmPumf7(s};6k#z&JrL%q!8GSPo+e9Pu?7K_Rc(@@P*boiiVwpV>keN~u0^rOuWknLgAUl*p0FJn{z%kMUks%d5lti~DP> zS=bc#?UDjo5vpTm{alZUt0Jl@(`U{rLOAnZYMu3{P-S+2?s&sM zP5@$;pGUx!T8l(umGQExJS3N>(QjsZ&~J%qx7$AAC>YGgOuvd`ihGPUipXN7_J%5@ zk8Yhk)~dxWMCcES)z56M)U__A5LOhbtcZ*4Gr&T69@?fZoqdz03aF{@)|T$MKr@Dg%i#kuvu`t}FM5wlJ1 zUE5M9GBKFfj{Ru%>cK&)j1Tu|fedv&osV6>Qo^iXi5bIX4bKg9h9Hxz)Y5lg;-OR# z3RH$POH zX_9UkU03tL@>qVwbt1>ysO8Q1`6b~22Db@V(kv!oJDSjHifj>~npESEO@p(RNR7ysk(Y9*A=*_HAUP10e3^ zBMgRT#c#lNhPw})B&5U&l1*2I(6_Aki}aBP$@v@CqK+weq{HdG;Bt( zkL=;rsM%_>fRD|+I)wGk{IF8(?f6KSG}k}uK%7A~-)#|oA6x)gLiRVX607v zhO8%;$Jt{e1JdnS6}(#R*~V+ze6}G$%pznt)DL_obbGV8W;No`BKcCehO_rvYw2@O zadX_fjFPRnIcI+RVJ1K&W*?tlW$5AN*XNd9g24|vz;+*dVjQ5KQk^o}ysIJG<@osM z5U*Amk!PFF6NH3AcgHZsTDuPoVjGIrbCF|b(IYD%9(aj*0gL85an|f#Ja@^a2k~!z zUaDE`ANCz!Yj~uaS?tJskHM!;UYp11-%@sQ97@5S6e94rtv1DSHgfv|RnmyL<1^g^TSZCYa1MBB3mI?bMtQ-58d1|1SHIa1yb-}GImO5Tb z7CA{qEvYifyDllZVRU?e9hcCx+FR++?n7G}ugXSR$RfjF01ob2&OAPHc)v0eKfpz! z+I80-84vkTpXn6d!o}iv;yG>lqD;2e7>2!ZRxPkIru)_=vqN4Tv-4`I*e)Cye|9If zu_UUDBU@Vv``OWreL+=@*eMu3Bt1;}w&RF~US(xvPd4T)JAAhu>2)^NyI6bnKm)T< z52G~Fp19v{peW8`3&%DX5OI-zGwVD5ejTlr-psN7T25+lh+^t*zwWq#dsZFq@#c3R z^}63RDZcHsP-E*|*IGgY+s@CJJ8NR7)I)4p+pkxo#6&k_0dxyp&jvIR$^ow6JNCAe zN++3>-~TN}H+9xPeNCdNFjYv~usj#J?9)*0dnMMjkefBbZ_It@KK&GU@klk04JWU% z>_Mwj@e>>8H-DNbRo3!kwzOW;h~9eFk&QYvEr#`7W|$B9JUlhVGxkX6RRU&5Yr zwOFrk(N^K2A`${(J9HKqDKeTz#o1kiQLn|aCP%7O&b-Op25j;c5l^Q*oxwP;tO%+7 zSaSbUk@4@6Pgm@D`t#hxat+0BW|Zboo8iQ5e@R`lmnnrFv;+diKPt{UKUF$=@A zy^V4KpLcTE9$s#h(b}>!ws^+mS+b$AIm4|M$UYBsQ?2%>s~?Wij8PhVb3PC-X;pI9 zqr4SDp*Cq}UNm5(_zd;7NY{EDoxyVDtI@#Nch<>=hlg*Fl-!4L=6{G_Y3i676VP6= zd7L|;_!3Z7wBWj8=h3_MPdW@)(}odh6-PQ!4Rw-F`(Xp$*NoAjh2)};fli?mge>DxE!pRl4Hb`@7Fq7@583qwq+j&4p#QyZuH4<1IS$ zT-yDhagZ0M-rcR>mFN)m6bmT*NQT}(*{O=iid8KWmU(3fM=Kv8a?Ee>oIWof!Hh;K*>+@6XGHei8dDZidn8QFH!^Ggk-SE4)lh_5-h+GB z_aNfXtB8TM)@_;pe&0*M$XyB{4b zf$BCgz5~c~KUU?Up}e-_Dg#9ZUGI9zd>Q#k+XVBg+oin(qK-v(i{&0PYuXFBY|QRMOiK7>>7;o7$XE}D z?O9mn(g`t$9O}x=>=@(49Ng{+6cecyiN#yefi#3OxkSSR=C#Si?Ldv`6E>j4hOj59%?B! zLvxpA(`Z|%Z5r;>)sT*-F2A?Sn?FGHF0mI?`cC@ceXe$fSAq_vO0@WnvLDp|*cdCY z;&flz)FV$3D%6fY_JiMB^(%`cWjw}5vyjJ_KP%5R4+SDy^+O&7uxcHx`(7(w;ts_u z;yPt73!m#PmP>p(Pw^zGyLWw`H*ba^wO+~YoIQ}L)HM^FSg6D_kbg@a zdQ6OCOYOJC2r#Qv9NVk;1ME(ajS?)Io35K@w@~?yPu5y-$Pa*^G)(tBkh!TJN3sDZ zOUOj17(m|xq+CMrmRkCZ3YFB8FBiMb#=FA~td}^{f?6+eTR_P8a1YynyN&oMt-(ja zI%N)VhHQ8D?(-r|NHGu2jDaxu1vSY=aD%it4;*I|-`>n27K5l0U_uIU9BwUY7yfWt zTm+!mhnmEeRjPi)Mf!_q&xCr656!9_AIwv|4<@w++sDUsbEqLI5dNCG!b=n#E%xl$ zLkytU06VGi9BQqhcUPokOp0!a4J4l_sI~sNzz}JMEo%5hso}uK^8Kb@@vgYaY594v zYE^+lX4RsyHtcY7$C6yU^~^C`&KA|JRD$gf#*wlH0Vi`kry-pdx5cpyKHSnT6R8LL znOf-5%vUN&eY8r29oY_s#Q76Xc0G%Yg|=v4f z!3`gCZL5e106=cp?=f6{V&cGEOf}ELqR#;savz|H``}X%skRT(81YMFrhmim++0Qs zlXzT~%*^HX2k!4@g@Ui*0Yh-&-20;DEZMXkF-hO6pOz<)hX~B#MBy;C^!=!qCvM6) zD8%vg24Yu#p11rqKHT(mk{Qtu;BJn7P-RpBz94G5X>5J_XDXhksKBD}d;9c)M_Vs; zP~RaSx2sF#Fz5DafCgmf5kEfsc6U2vDJt5`%EAg#RXTk>wpNIP zSuCdP0k}!fWU-u8-KxjWE+=iOa%;-JQG*es#7Y%6@usmEt&zCkY~lsPLLOFv8rXa5 zyOqRzrEuLxs8n_v=`Y4A55OHO(+yl#9Urs+#GyEVRdZvci>(S8?B| zmf00;tO0#t_iVwgCO$`cKQgfl@aSHaiZXHNh^zs)o1E8Gr=3q%L^6qopn@6Ww{N7s zqZfr~GwsQKl>t0?*2gmSq53ZO03a*&5YmqBxB>EYl-_W%LZgF?g8lnns5-qWTawS7 z80%_BZZyM4P#EIj-7et$*wrJih%y2_5rIuF4*+{uQ`4W88Vfa^t@70Fxcbe;RVb_W zVhPx`Kgu(qogr-KdIRKC3&2V-D530XV>ffec1rccYB++S8*MjLxLRtFJcLj7mIWH54c1sV1RQLV(*(s+9b8{DFl4g8~_q3|JW4oLVL{h93v z>RV9U1w%w4`Uth0U`J8e;2cC!0l~c3?EcqRL9AjY(71*Wx#GKSzrjfsL;-seH5 zK$dYz0N}>0bQWmpTK2`1#sS(ZgY z*l}?yTHn^n)6>AR%L6VFkjO#|1(4n+g$JGWgBdb9A8bJj@z=zS5kdnexEQq}MXKkW z9%gwCKoy<9#k5o8>g^8`*GUtH+bsnLdZ59o=+;I`Is(QLUlXIB;n;Dze7|aT7TChx zAW|9$(An|)wC*F4*P!l^v2DsD@FGknp*Am&-T*_jBL6oNtN;Vat>7bxP zTSOJqxxdxpd{lN@u%gWqpQ5)`^YJ)St!Rc4O(7M#ZEQ0%9g0b;PvVLW4ekYuX&hstoRvXO|ZCqOv&&D7YVd z9UmV`Do80%3`-fXk{K`)NNgu#^6lFI@ocd-TFTU=i&23j0;3Wyyjb4$BsPC$BxgE= zYojku(Z#{-tvYBV&~NEKa``JkG6-Jlzakl%UY@J|=9}SB8JyG}SE*}O6~n%4cqn6-5CY0*zNce$)eM zM*Inh(diNCb}g~*_6V+cRJ*d8adu_tj?eEL9a=89vG``~#_7idKV^8HSjjLbrt$}* zcio9vOh*%KmR2{7P$l^_Yu1o6A%|%xPP94pnlDrT#S&|?7Y%ZfZAZh>z}POcdA7g| z#V)|84D1Ertpj~FvTnm4*YtM)CsCBL)|VE1*w^RFnEJU+`!1{;hqs(rtI;o80VxJxR>>|0-L08Xr&6)9NMjHA05dVj_xk|Wh0_(K2w=*N!H9nm|M|z$r?6z@c{dN2MQbP0jt0hx z>K>O1sHgIfYPnCsH8gDI2cO7Nl@W_`{q2E(Lj(;mle!kmt#gJ<+ySA&us9zAh|n9T zKrPUET#7*_3hqA0nVJ(B11=O1~`MRX#Rh1hUriJVpN)A_1O1zPGVahaVN8^pyq zota&s16&XGIpNcDZGeu$LH!7XTvWbbfTf_1+FAiCjDo||00%>JM8zu49!R&6W*zEZ zF&6PHTt$_zA305M&-QJVk`(*B8eQ$ae2+OY!SdLP;86zEZxno2wEcz#5IE8xo?Ix< zLftkU9qfT?;59IAj+zg`?ESDXQDjhq8v&R7PC@pSZ@y(D1G5O$SQy}jnwVj1I&$Kb zx;+01azJdKCoc;9yohv4?pUXjP{Rb74?slvdF;Qw_1#5RRA9U=t(0d&VD2@K?=^6! zU}__D9tPn>A}8>;){qPK7DCt_&?toE?YkP3A%WDUDy$PM!UyxFb)SC!^HQtb2+F-6 zx{X0BQ-!crBlxIUErO3JFoy=N$OoEOO{D~pm3wMKZC)&1tbER%yfGlGNMm`J@G~R< zQJ{koU>rYEzX-W)hzRxpX1>W*g+xPgqH||@iwt-~lKu!0d5!78tN~hoA0N4_8BU5q zFuZ>B{JWMr9J#+Y&<8Xm&fG8oVV;}Yl zpaNi&bl*4&!%PT}riMQ0%Y|!CVuee3OccqM7LiqmJK8Mg4A#yLJJ1vfs}#EB)wuSX#GK- z%2cH7hogOjtEWw$aWemxm1;h7w^V=YtvY^o?cQ7Qd#g_E+X$(e=v%7&uzgsfA3$RI zgrVLhL=~?76O|G*M&8O|79+zgXNorForEGiRL&Z|N%HZPj~*~_^de$30a$31hAR7t zR_WR8t2Fc&+wpoHXj9tRK22KeVWt#&ls^jMPyiWK9KrcomNKMdP%LO5q#Z^a^h=N! zBUJn9;I1`8t@D>jr8oINX_Y69?ZvgF0i~)FN>ssP`}m4#>DlaXL>41NWmc2G`)WWH z8~jzAp(AM+|(LFkr>cg$;vA4Ar$tH}(m`Vs=KI#joX#r;O&1Nsz%1 zKfgFvFmXvwkQa5e6nbTbPMh%V2U+Q?d^QGb#eO!HVpXr87FpK?y_=uiLWTN)Ju{d{!6-neocohZ8M!43ZEa;6H$OKPf0@ZQ|TUg9(;^i)p;x~`aCt_(w zVEdY3L_itkJR5U_3WKP8(#w+Tx^D*%OwH-27_tUZ1R~<46H)k8tiB?oJHtpfrQ!GY zYT&0x1Sdmk27j<&G#D-9&c|re4kdkBo}^@F-fSh`9vt1>Ejbi;rTdlTop1z4RRQj*P{rC zMM%ZHB)Wk&Co>3JP zN4d|>wmyvDM;VTZVbJ%|eJFOOt%fRQMbtV>rATqEn}yitky>;ZRMf zyFWfLv#_6H1y#LtmqR1miBQzg>3It8@6e9|p?qEkqF8n&cN(vBg7i6L*-*q^ zWoJY~JA^Oh;Q60{PZZfOkjes@qGq2csD5OWi18x^g&d7UTP*V!?Ma6cPqePU72>C5 z5J*N3uh6A}k$3fFq~(*iPDC?-T<|ulO@nQAmZ*%hi$3hudt=PRyw^dE&;|w}X9fW% zvYk5rLK`Ryk%HVe6e{O@^WB{%y(gmhB*apfrjSe*1O)RaQR*!^U8UU)mG~wqXi*X; zNh!h>kOjyr$^FxGyTP{?OuHc5L7se`Re+g3VPF!(tS!wx)~uO9-Tl^`(k=2lYn zx*I4?!bGqd_3^0Y5AR#a=0N;PFDh*59_^g?B;pW~%&Vm4D|LSl>nb~vGcCbnB34jF z9$k3E|AK$)yW2;SWRB}g#< z+Jwwo!Mi_x;#5QKqgzt|D+T2T` z4ayzbhdyCRuXg3PK18u)2IkJMivSdIL;s%Wi(S8BvZR>twHPhG1N(TS_>xhWJfz^2 z6AN1fPwV*%0Mn0(RQRe2;KC&^iTEf{c0Xawz92Yh;h+;85<8-Zy+tZJ6^LX~hEYd6 z$pf+tky8;MGojYFzwj1e|5S3(+6ZInj16vAV;m5U@(JlHP{r-s7OrbAINgk_dL#{h z_+H3Etj5QZi@=*uT&nxH;Vrh=%wdLslG zmROQJ+z|q=Hf{p4ZlShmh##KaAByyvJHk>nis0Hv`&eob|2Q@K$LJGeCBu{WlSvv( zDrGRTZI~dA3gRc?Yr1PY5eM+G?FT#|cI-b>Wg5BtwaSzbVUfYF9J_3X2}jF;9fScO z8A6n3eX3xw9(I)2puKRV8n-2!wF2tHU??B^B7nL(%s$pB1_V!8lr8ElW$sF2Bk-jDi@xJ#aq)7!`y1zH|T zXGrxxDyOwhoUaAk`=ovM!kpA}arO0lvd^Hvj4W&v`NyRrv%ZVO^PH=_cy6-c(r{n- z*oBQZByyPQ%qzhhewxATeYZDlh+~hRLyovfRvZME4HJzk1pDh~{_x|d8z?v;02ztx z1-N0xxZ&|v(}qcb1&d-Cki?ZFqDSaCMGHtN)N>!=2|x#`%eT4}rThv+S^|79NejK$ z&Qfs`FytU~1icLefvI{#RZX)?r4Aswh7VEnG&f`#_Pe0j_~M#6mA(jRy@hILO+>Km9>0-jEY{fc<|XQ?!ha%G z1&fpFy238m`V0qg5B8^$Zy3-H4KPTRH&b=+@v1TSQFsD+ z0ksd6*rEmGYes48aUilP$eN+Iaoco5}cZBW*?C+GGhSEO!| z%xg~FyGEba4B5R1)(nFfBhb)fswiR@JS8{h;rn|FK$+Yk%m|n=vC5MC0sM*Bslw+& zk$g@N!3?t9g4)+3c@!2TMNCgIc1EzM&}VP3I`6~7vF&0dlo`TbLMFYMCh*YfHT6}E z)WLB=B2{@LGm2V72+sh1KB{(egh72!R}}SiD0zW^0f%VhscP4(&}pdZza z*T)uo_GZ;##Pj0?zljR@^Xnn1@Lw#oZX#fR(rR*s>{7^594>y8aNzEN-D+wDG9oU=S=7Wpoh&4g*0~MT z6I*2aVzDWiZ1pTAz#&NYZXB|T#2x@gb&JrfKy(3Yq*0{0!@qhUsPP!`C~9?e+rkYI zO@v!e9uw;%mRJ7nMW0+u^oTxy(;`g&?KWP6pxnwW`y)d*aFL|WNnjgZoFTv&5zj)e zVJuxwdY${k2v=aiKtbBMm>u;H8`~6y*DDrX2=TOU38exq5GWw;FR_(`fl1X6RjZ2C zmj#(UtMrf?wpcI9jGL(s3t=cu&u^nnFEu_DNWh6ybl!k*#{}&Fu+#UltX(pqO%Ut_ z3f^G%TN;!@gt5Vxt3|HJ^rN^+(w#uY8|bX3mKYjjW(pU}Sq7g<^&YR5jEVyEaAe|1 z&3kp-mUphb4Z)&V(GR=N*;LII1RMX#Jzsi?K=LMr4p@C3K3M>a9ucV&O!OJGNq|x$ z=Xl)UwkzKQ&)Q=DG{MQeizq=7%!N#@=~E8?-0{7rq+3u&6j0p)!Z@<9MVDV+iKIrJ zM9S$1zS;a5PmCSe zn5llFh6+K{181&KpvCDZL8K&01hEH{*%qCQIUahh_2DSlncopaXG`MNx6mGcXxDb&6G-TR7ZRbV;o?am=isl z=R)cg<0P|ylOm5#6N)?z@^vW1A_94{V(t6n&V77OK%Yt%a^;c70{l1vDun^~AIcCO zsTqU@o8e8S+-;{8brb&M>um08oy_>e#+ z=;A_wWK3;8cMs&_GMV|diQG-#7V1!G)Ib5XLt%CjbqMcxFA@6Wxga?kw|4^_S4!0D z#aD65dHR1--}#E7ap3G0^nXytAX)+Qxky1`1K>(bjp4}Sz(8Gw&_XH%CZP6&w<=sy zM1KnkH?*}aL+~YNL~7lumiQ8dwv*UFL}kJssXab(Ud2X)gtBk}6P0j|%%0ERC|clSIL?JgTBgSZg3klim8w7K`dV9eI}rLgsk--c(Jszw0H=^spPLf^Ei3{_UR^78;gf z@F3vnZv5iO5{or)%jR<|VC4b|%bgTGkA+9N|B@0sTl*(SWDhmjQqueNZCB&zr=3AH zM0J2xbw7&DFwm35L2_{khQRY=Bo)#Zpec~5X3^WC)PI@5=-#(k(_xw)dAnq7-aVUD zOC3R2Y32M7!FVwk%%dA*JyogdfmMJPN9_}P17+4=f;ptj5JfSEvak`v?$&B^lbh*s*-3}zHJhLb*zAvUa`0=JpqR;fyxSGX{P?3 zgF#Bpw)jsz2*#M!L;kOkg@dW1h{z}G<41MiZuhf@24&``q7-Qd(ZwC!ib^dV=_seq z{qjBp2MUXTR&J*35n^`x!Al{ho=SJOMxC8f{YVMe20V3>u866c(K5Ol&&{QKv_CuN zaHxKbcx0R5%rW!u71qqtNTIZ>VLLNNr|+xCkze{+6?*(L10K2o$(Df>qFy=i`*-{( z1CXjnryro(9*N?9%;2Q|5p2ZtKX_`J5iJ0#8*|7V z&kRrQVV%=QV=d6`vJXPIW=#(ih`#o;#_ML>oUuL1orSYTDvuE2r&e1eikROTU4wc? zs4_>>EeT@&cFZgAtz^SHV;#O?A%^AMCWm`c*k3%}Lr(fvj5nE2PH95>T%C^HEKzh|Ks1l53QVHN%+&i#BrnllC}Nq;bzbVcdFX2d zIqpbtnUdTP(l@7;{CFV09H=iAn9?*N#Idj~Zi2n|JXi0tbH`(-S&B4VbUQR*x#(+X zMGnpdTqYX|d19zQq53>xzqH2$*zXwIITCuI{n$n7q)y@=iau9x@5Ig&sx}h+2>~(g zOr7y^MS#luDK!muyN+-ra6%zh8pJ6KFhS(u!^KI6wpUeOVyJEeO^7<1L1*c@&t>O) zZcn8SDmrpQsR84b0b1{9B~~C2dE-8f1K=DmW!m1&(Hp3%jqE?NCPjdzYUHasSuhY^ z=)W@u>l*mv(0E2bJ}-3!*R~mGT5* z4ncZdi$^#B@mh|pm>Tn}rm>z;;@{`C)JWFa#BAt?m z8Y~8#0d{k%)*u>UiS9+K?&L7JX(naC0)$fI$`A z8Z~I=IqisjL)4&WnNqWs)+MRTAj_ZY`k}!84hfS!QieL5(|ba zYhf8m23OLZfRssxFa_d%c<^2;d-GQ0Ra+t;z~yszfw#;rqghgdy3nbai)@B!WuR{P ze>`hr^sO2})H;+t>Bv%4iwK%tZXtT`5dZd}@a%;^wgnAsrHF$*_&(FTUBF;Kjdlms z-%R=%;6_F}$OuwIsn^^Td6Ed41XQR^z&Vk&U%qd>9_K|3`2t#=>|QV{Bo{i$)t%W+ zHZww|bb1)*HnPp>?#7Sr-VTiagx+~(# z36Ej{c7A2<27e|0p2*mG@&{Abv~ec+HJs`lw8#rZ3>bYZdGG?bM$mwo_JUv_Ih%wL zL2@z(#qJ(WJ zQIgqL9!Zf?8;UCm+Kx!fC1+tTR88uwmq(9*48BQzGBqDC$~-C<;RZ;kW~4zhBB*`{ zzEhytt*dul%`aHTqE_5>BoIMl(!M)JiIciisGIOafYx$QROAIdZ5XhbiFI%o1rWGB zW=2x~yBFX4xPr7CqG?0{C#pt3XcUcHh2Wfh5s^gIq%z+BT8I5d&49Lm=0~t>>|gF6 z+OL;yW4AqX&zH01<)PlLw~Px2T1vo;0dQ z;xZ+E=kCWd6R~hxVBXG0pd#xJbuEc9t8Cd zXea|VjTRLgMFIkN1Nr_a3}K0fgOda*H)yYJ`#o*F1+F9mixBGnCaHpqi1J{L7u7nx zEqa3tyH<^KRY7wOCIu^t)r3q@4DpB46+kO%XzS;Kr0XRyEqjSGs!my_&N^E3yjm1% zAcQAI0u_?q$tq3~9hhAQpC$IPNTOKodadTDx6ca{~`Gsu2gbC;oXZHC6B7m3(yT&2XkKW z6RwA#?x%*U$nQ*iPr~J=bFxTE%^|M}R}LkTi1?VVo^r$9IjHAkIL?l%#iu1=rD^`5 zJ_Wtn#tPn>YZB_7`ZonNrph25#n`uJqfQP~^%y@S(uQ48Onwz?!TYG;DaaatR$6mC z8|C3iD)3;OPJadg8wugSit)8Vc@5y-LgC;@cyiVp(SRzIaFt20T{#Ep^v*>pjr_LK zCwggPK{S}maqeucF8p*u6U%X83V2ZO9oHY7aeSX}G;M-Rra-&POB-LM46!oaknKlzMVXY2Kl@WqMhhw6JOkbA%xPvny? z1n$!lm-5Dj9dwV5JZaOcu`>ziQ>r|vZZ|*b;Jp{Cs+7=e159tE;ck$_?{wVN|b8kcQsb_vL%)c z0FV-fzx4>HFrt2rxUgu;F}_|W>#4PxIyZ>v3C1vxeUJ`+AwM{wW$K_0ZxHwesI`FB z2k?9&o^&;l@VzJl#Gxo#`Hhi9a~bAE9%Bw2eRLh*LouLO2=*I^t^)QSDT-=6a$fyB zXK{j(M$mIWJKN+797=*4whU;SIhXvGf1DNGg2Vd5I|S2A7~>*oEST*v}I9BkcdMn za&mw2TAkZ2)$`HEf$+{Fp%8t|zLa{f3-=~pcOt(!_2NS>^@U!#jsjn7+PljXo;gV@ zcm-OB%0USj4ERN*y^u+{v<5sn(8C8#l6@EbLhu{?g33UmH=Pz9d^o2xkR<866)KAb zz7N&c0+r-gag*V7Em=~qsdOQcovh`21W_JRtvc3pz&R1Jmyw2lY2oDEQS&-Qc0&6n zM*46Zj)1Bs`59zM4X8VU1i)9d)Rxu)L|lx$?n5jILjT)Td8YppwRIskskawS2pod) z{417PhM=~B-GERl+3p1Sf;HN-jw&~5`3yT})I!Ao*7Pl$4Yd)$nggsX<32h_#xHgK zTK+eNB#16zj>2i1SOVPP1B=ORGkn0Pyjc)5Wd6K9R zcv9(k@T9%j*ancs1glMOmWW{aq1+&~?{tTtboPA5JhcAZ%-JP>WmmHD6NTB(X3({` z6s?m+$)PTp_X$>!JB8AHRL0i~e;+PRMRV1%|HgKI^6%ZuD zb*^=a*Nl=i|lM#?jKjkKOp;ir<>i3ZT;-1GOA1yW`JPR<6N^pEzX_#a>tW7 z$MEIRg>%gHirqz|xeD}OcPj@OX$RIvw|>Pq<^`wJ<4CD#jHA;O=A=jHjNPx&FY&^= zxLZ-O)St(Ya6*-+4Gc*~&5)g*Ug8CCZm*;MF98jUgh7LPG?vQUva& z@yhp%twXIM`N)ImksQIVG8luE(O;rrhFx;v3t%qXV^$kKZg2ksXJX>WyQ6hJCPqhs&;+M@? zy2T>AfBJ)~|Gl^MFFxwjQ^iM4t#z`M>(Th<@{iB>PB0CO?{EBZa=?*&zEuBya_o=C zD)H~0?i+btG3IZ#25&d{-M3Hsy=(mUesjJ4r_%$Y*WVkcd8jj{k;Uu8Q{@)^{v-X~ z?OcM{e)8#aor;6Duh8$;a0u{N&fpXZHXnZU9~v`$w_D?%eDh#N%C3=?0Uq}1*Ztcte&wcaLj6OGQ-Kig05y#;i4#1jYFw7VIZv6a*M@9-}^zx4% zBBk)vv1Hk3o6RF`S*~sL{lOVDuACiHJYBDoUWp%lKle7AMf3$;|69(X|7>9Sui3$L zd(j3fTu)`6?jxoW>z#Y@-(^ewP5k(O$>ROABy(Ha3s;MPoHx{~x0csJw*2evo%^pn z>m|P>3_~DPf+^HDN;)cN=JzLRz2SI9e~6;2vFP)rEwt#Fj*WH5m|ylw`P|+Ibn}t3`s=@5RFm=>9e73xDPhx4R18FA6X{BNjo5%H zoLxA@ByE&VR^cSOPhQ8fE5Yw8MjZHm_-&e3CAx8e*mszGA-xH2CvJrJuSBw8L!3%) zjf}E|JJ1*uh+jW7JMy8_1WeF@CiTb6Z}Ih;%wcMQG}V7?od(TYmW-2QsZBqbyOJ)YSrs(G@hx!JM#O zYL=xV4YS4wYLiu&W|U9z9hsm7>^JFblMIzL29LQcs#<}@g{q+(eDKG%Drp=X@VHQHvK(;D3j2PGuVahKi??I^II- zbQcO0N1p$eVTr%#5&b8q<6nH|BxqSwF{#~-jV_-|#K=7wbV8Qk^$(g?|H+MgfRF#0cE`CokG|FK{H%LsT{qaOyU_e{p~$yyJ?`Y*%H|LMm# z)^p$LRk+SrMwXI;ATcsrs{$vRs{dhW_t$FcUj#+}|F2`o{B8aGsm{Cq{%^A=<7?^v zCjk2I4q_K<`hUmJ`!C+-r^tQmuDG}BgGow9P#ovB7W|)$+-McRpjV!GxeC&nI+ZYfF2gHMb4gnkN zL8o_=!<0u23Fu90_&W#!%hgt*bqN8B7SQ3YV8Wyc645aqJ6`Vx3KX2Ek4r^BS5l*n zh3IJ8DR`o(D9&4)OUK+1WE=&yjf@|olhMf+vPWKl3fL&oQ;_s7>=pW!)fx(IZJe36yEM>`Ycpaz8LuQ{zI;mI(o%Dg@rd`vk z<_oqbBVK_nC@i*N!^7?j9PO20c^6&QotDo~2i?;lmBLdTNR3Fahg!-Wd(FUc2J z6Z&^29d-a5*EL^%_1n7OGuvPZzpV!j5&-x#9r8pjcNl9=`o#HLtB^0RwhJqY#Ef|= zgKy|WB)Cm?+2YbIbkr}XW=+kS$x&iNUGqyoF(44$|0%q61H~zWdnSztrVo)^PD$@_bNN$@nlnrG(n_;0q8Om;~YL7EF3dICqW%Cq~wxD^s_4=k%4&a}DQv z_%`8y9O;QJ>J~%yv*4H^5=cQn81@KFRjTnv7HNMr97Mfu)YzHgZ&{m02Sdxjr2W+>s?qG}iBEl)tXO)eGjm`~&C zU;ho6Y@kT>ctJ%$m2iSl))BDCUH?ED|06j^5;XnT}nN z88CAh-y(hoTQuhieoLBkFUWhNY+>O~^lx|l0W-#EpD}CZ{1sUVr>6$!jqZa@j8L42 zbExYMs(nt(lpT{18CS+g1I?kX*Pni1Jw-&D)v4hjp)Fp$0BAyPpjI*)Vfj+ONO+6$Aej_B(voN0AOGuD$|9DS?XS8$b!!quaD|*HuFCEP~ zYeO<DS5dTjJ&-+T1v(XOATHrAUr z4of`IOkQ*})6p`hjg1gvgfyxw^Yzpx&5Wy0^&BtQ?_S0qV~rNDp5f4!z6ViJSFjRx z{P+z0FO7sj$l^B?IGGR_o*KzZJxig6Z>iFZKDt0$Gy0T+B|5qe>g(69K0h@)XU+(3AfO(^#d!nVBn{W#4;}DUES@6$F!N@N zhBO-^*G@au6*#}vId(NHhwyz7T`PIJRQNZ(kvVzsuidx`ZnNJLL^LT4T~2)4GKW_O zAHmmo7G5nfX!f96TTw)IYHWV{B4oxJ9Dwp1C*UoIAbAM~ko{<9XGadfoW2K=+p8L!e3~(D(&_`{pG7yUz54c zd;T9L-~D}+{kfUlVDWTwL?Adv8)RqfnmP3--^$@p#%|xf{SIf9T|~$rhvW&gvntEe zUw5L{%!lQvo(<`CrsT8fdF1UTLBuYd5`Ql%ONma`1W&w6#bhci-I=X0H<#e`Xr9OD zF7TGCd!V{Mhl}bR20`$AIEUZ=Z-*ASSMRL~ofsy9+(s<$wnP#J-19h>QC$fP+s}N1v`(JSqQTzgL+t#$U+gEWpWpmw*2GXMc0-*Pi4! zH_04;>Hha;CZC95ub*i>%?%A#wDCBN0G}Jh#KcbExX%R(4jLMYAcgj*PV}nUVES83 z4^92nya)9RSM&@vIZv%J#yn=`w6g_1YlcFn(6i_ES5^$G{n(}!H3@5wNKT-c-v%G_ zv1w9##$pcBn11H);lsgLl|4Af=s9-D%Y2hWWZ>&`WWN$lyW2>;(?wHi^!MwoziH1ZP)iAYr&zZ`^xsNGEz!aRPmBaTti(Eo8zG@X6w2=lP z`2-NVvdXs%Mv`frTcfQ`s&i+vRj6PcT;7FCbK$al1V_jq4&PZpih%38g{+In9naxg zqu5va9~ZPY_79aX4`O1j8RGAQ+$c6NqVYou4bMnrY8Eoydrlh!Ou2~d`5Yec6JWCG zBp%n|Pj~%;!W-T1O=SWfJa}*s%}CAWf@TW*y6vkErVNk9rQD0puL$Q+lZ&_W)K&8j zMj)xe((#;{71m2jdtbhMc`K|Lx?`g-ymUNzJN3r*8Q9H;U< z8}*%FxzPzVd9a6xz`1pitk;z8ONTyP1smyLQr8dahJ`H_ zQ*T`M=XqTWv;|#ggwO3dE-t-l75#avt>EoXpkLx8S{kzEewy|w`?E8LCas`H=g%X z^G3stPjv0>KYt3qzx-j^)Q`Vi@EOEVdVRm@^J9W97@j}=A$RgC#-%@gDp0;!`3bFv zZu?g*nE&-TTsuEPlC{jYJYysKby=}5ec1N{b~FEH@8rMy(f++IDB~sAhHnnk%e3^$ z$7G(XSY5A#5cmD@FLN>8mogHE3xX>p2RlDbhLC*W$u;qn*5SjxRj@^UeZBNwndpD7 z(fGZ!oo~)CcywY1*(rgZgmDhXMHE+#X7zCUE)U$hmRx_K%crV@JHi}Yh5?%ECG^t1 zqobdzfp$n{11J*e>+74Tmx_c!;0~Vn#m={QT`Ft_GJLIr1aXpxzw0Oi+Z z0$eDO8*z}*#fuk#wsvd@x`x0=UQJZE*~J;~g07d8>XB+}sFlB$lBt$4^veIonyhPI}0T%E(Y4G+zy)Z!m1DL*GmuOvJdORlr%EyFdU_ zu1IC9M>Eei=T9hyc<|tY1q^tNjhav0rgt`{q*!Zoy95 zm{;p<&wX^t!1SY>!NNHi%B>?P?0@n# zDEFJ@r0NJ~FZ)?Fs~nV*PEAes*?u$RSym(IJC>&8TeoiAy2sI0Q#*gb^XJoxe-jLL z-a!s#f-0sKB$~q@tdj-RnkrDZ@~h6O7G;LDq;Cs)hMg)e?qH)uE(_5OL3f7Wo&kAc zJ?;{9iVY}jP6VNg5Id9>#E^`42E^1gR!eyqgeX5BD3_4x!hG~P~{3PikM zq@D_sYWLl@9SHq{GH0Z?gqN)>1`s|LP>$o186GfUEy?iX_K4T@EZCX9*~25Orly9U zg^)9cxnB7{27NSz#p-Eoo{#GPmgpMvNrgUwA^PmwCL()%-7A}Lr5&Wk` zg(|S^e5J0zfj;AhCqmXFwJtW)3G!5i=$uPMD{ZV$Xm&h4UQf#9Hp9O!o{ci0Rc5oa z8P${VZ$psBK=ew zFMPIOe?J)Frw$Co@oPJyNywgkvTQEbo8l_^jQ98rM;yH55YX13uV2X0)zo(OvIgkG7`N|3x8=c6T0wiUOwldAwd0pj?Ux(YU(ant^+eRHPoBu)F*9P5~zO^_%A*p16H4HkS0jyWv{KAMpr;&my`%K3!rUMBfDv}N*6eXwDx_7U&9bIuDWvDZpf#C=zJMxpMpHPm z{Yvlio+BHq?8&freC36pS67!tOhS4m)}~E|(@RlJ7nz(mqgI%>y{j!aSQD+@;7|Nb z2#d+(eJ(ws z{Y9fjb|?FHNm6nr=0=;>zmE!e*MeLruS=c@g4HoeYx;|p0xP1NPcW5Rh<;I;uu&w>;>l~`w`R;E~E2z4C%*2 z8A19X43ZgCDlhh8qV<~%K@c&X&S*#@xt%!zJd!MMV!C#!rtcIoQxApXqm`vj`46#R zmwZ<9lYr1M24R>`NpmGgDu{w(h@PWhNlN>|4o1e8 z{?@Dw98L(UGkiHD zXuyX3%0eEGN0P8?5SnV-Hn=Xw1F`16yZPbhstL-8)77pi(EW8X+QqP?=)`ku4<)&`>K2+EMzhZT&=f~Mb zwG8p84FCJ-ahjYWt^FzO8htd?D`57vn@9@@&;lIe`?l*wa9r3o7EKnT7wvjezKED5 zP?Q;q&NM3!b7rui@N^mcU1x~R@nSS&HZI-9x>90H#6RQ$|L5%=cH92UrlsVVT9mME zLQ+yvE9hXBAAa~@qa@>8_3XU0Axl?vFh8FWDJ7?kRLHD3WA!CMx_K`&8hYvv$Tnw- z-taE6-ECTyGCa>dq!W@S z61^L1T@#&c3T8&R{Au|Pok0S3)VQvflxX6iF^W+VuY!YSFu;pZp402@z;a*|Rb=2O zm<3YHXzUC4H}<7K1uQMe(m{8BTD$rLiDJkrVN>arh+Z6rIQ$t~eNvc5ecfa9Cjfb5V#|Vdw8Z{~r!|#N&ycQJh z!UX~Wid&5KZNp04jiE@TLCUwpE5pz=L>s1>yi3~U+LN^j8+0;c@H zK{XgZ=PXNaf0D*gx;WeqdaOuH{z6}E{BaD=t>>EZ^@DBB^(SC%K+1fdFC?D+VIKKyo$#TzF(;galD0yfwq6F;8DIBbzc$J z1~PEtu=E+l(B&IRQ5Sq}G(4x9n2>UwJGvdZtl!&srWCR?Q>9QX4kKY}5SI%ZYOy~o zcj-=^M?X;%t*P1M!pOKL^DonJVeBwQUHSV;ryFo8He|^%LCBGY%j&}Sr)Wgybub}i zc>4rfV!Jy)G^6t=Kjt2uWE zb;3e*BpJ_Amw~J?Uv?tM&O4QKtw@8t)j-~6z(&L8*`5b?PutmN0xcZf_Z0F(l9FMp@{-CD@SwLD&O2!5Xj? z3O!;RGI|%+ShGzFgoqZn(Mj!#^BjD~iOOtGnBE_PKQ4aZ;M1& literal 38399 zcmeFa2UwKn_B}f4i6&S`6Ap?J6>KyG8%Qx4qJV;e(u;*63L;&k#)KFv3IZZc6vRT4 zDs_kr=>!!71S}M(gF_jHf#JXQfT#TKIrrS>*YADqJWmpXGxL4lTlQXS?X_Rd?AF;n zS7?C{gTa`qx#I^t24j{#gYl<%pU=ckl>4Oy@E;{t4I@{5M;lj<1J2frT?br`+dI12 z+a3JQ-P+m3&heO{+$OnoGT$9`bv^E)EHCfymp8~cI@`)iNG)^2mwa)2hp`KTA$)-T znRZ(}!H&TQvDf_J`@JV3dzw71?t9s!)@Qr_@HWvqr@p=Kzcl~snS-%*U-n348KpiQ zxqIIu{`U8K&Og2O>e8P~f0%p!`pSc6q>el``chl+gJI8HnHK}RM-l_d53A#zy)8^R znp~D%W#Z*Ctj6onJYkb$uD9}Ap=r1ay!M9}T3d@w{+UsfwuC`Xir31or|%d1f#JWD ze(3*l_XK}Dy;8Zmb)ZV!vOb>vGIh=u{?iynQgbELRHUS&+SKFYiNrcqa%ZYg3P=>J~?N?OA8`2OWPucj7_TX;0N89NpXIluX7)~($uWuELA%eZpoiq)HUi-mDZh{CztLcf5(#(`1aB1l#B(T zwSipwne)W2;&!YpUmUR?8~M0u)vA(_kMGN}Wj}DrN(Wnmb!~8ova!Gr5!W8+(o*q- z7=!JdrE+*~-}4I{^Vcr4PyN1-+a94Z{OXXHg4K@2K7)Vc57ubkG0z(=m1AvhJaBpu z`-Q%4yyrmsYzL1zbB}n7f|G42EncjGISbaUqz4X@GjBg?X<~A1bKiqys$Rq8pNX1X zdakSPV;okvRdwivK8CZcRPN^(|0m;>GH39t8!;Y+#~!@>H4&3xeCWdZ(E7r#y#wtP z1GtoRlv}N_-TK}6m6+x_STvlP1>7cq1xM!Sr%>^9WJJ5BXhjPZ|uE9dh^Nd z_#ZDU=zMkm(6NG{S|OI-;2+zSx^CaBxqqnm#U1?>yRNO%OtC0nkGv0*Kknz!QCY$5 zh>6Lpv)GIq+gX=vKG6S2*zj=r1MOSBeqVg}_`cXSy<&rQkhpjM?`>sPRi?F^oQ~)+ z%t!DBhlV(e0xkF9CXW`jOV*l!(3pY`H_kb~4G;}w-P|6y*mHcSPVs1MVx)V6o!uWd zG`i|iVw&6=WhHz^4g~nTc5igxK9Tpm++GopfUoMTj@_oSxi`am=%wNOh6-L!v-d#7 zV0WFoTh|NCdj?6)@6N2Kmj+VY4oS*)^Yk+SQKifiki-`;a`u%}*8SB-1s z8Ij}C(T=;(#g5U#ldU^k{au7(q34f*i_K#zFbwIx&s-RXnWRlWPo=*opVyZ+J88Xf zzsD^MYyIJy7ubjiHr+|tI>yGv4Vg#7X3IU;A6u->y5{*I_Oyc2yT@!+4I+TF`BS&= zwb#k_Wxi(mO$cc>`c2q251H40U471_pmOuZKo#~5-+_o0tBUn?JF#@raG{O@PICln z#4)co%l`fo5kvs@t`~QL)qF-<14J#1MrQR-c#U=@q_>5d-mS(0{P)k=igRBYn8sriDGG{=MEOjNa|XIC zCzNGPvvv-3y?mbK&`99~+cny;2V>fvKTxUNnB}04n^R#wTc#QG$Ib1w=VY^X;K6Cq zd$StlbP-$*MupJ@8y%TGrKP25?bnXBKU)@9o?-V~{ zPsXFtzf-g+e|Ba?^i@24d}5+Zqka0WXg@xeyZDdY^_kfZVpvC03POE2O&fPbY}kdx zkv80Lw4-Q-aN_Rw6f4Z#>!s!{+_00DMZ9)c0AFqzJ>VfPjv4tIF-$-xg} zZ-xDyz4`rTm*PbpacNOi>?GqaC`$anf$_i8nu)op>7%uIzSX0|v!=>|^n{^-n_#Ey5{0<*-YoU9cP55O2z` z(XVV1R$V9IGq{Hmz??x5MYcXJ;Mz90wd zWpxvWrXglxtmDp}n?FXM?7EYPP0k(dPI-<<``Y#SE+wQv7p%<=*R4CW1$Q?;dhPfh z+a=;nvyXYw0_)4^uo?XDM?E4RMIu=?xAvTuc~!LPW*^>g1wyOoVl83dkEUF=vMa0f zOB;uf=9uHXj_LI_5p7wG$I6njo3BNAH0NyH&x>doTaIZsf*_sG1nlMf5P_n>Qef zhMpLEk`r2m=+0i-K29r3Gp)MqVA$YE)t=NxdPydkuMv@HwLJ}#uvDv5Ve*<-X{h<3U4PVoRxmCzkK5S7H}D;gbb2bL^x^u?&e)W#$$5RHn4K8@IIja4OPO5mwbCE8UN;wmJo(n>s&9h5Ol*alWbu8>goZj~I!osj~@`al?Eq;C*UhV&x z9-!Vj%v=vy@U?T9Yz}|4d!XJnCZ4ht@{5QGZ`@>XO=O(rab2@3_0~UMPJe=l#XaY?`8C zahIJzt(BWukt`lZKhK@;q}j>Nc%_jyKM!Ox$7Q{G?r+C}$bNFt_v1U?LixgxgS2~8 z0Q|&MP8{#UJj@YOkffjk2oo$BynL4yRx@@}N-I5MAHsxd&#SfLJWdsIM_5-rz^u?} z2BT>8ho=i2Wh7V8R|OcS+swbUE5hIb)``%Cg&XAnEVBDCj-o;VTi;&)dERQtRj-df znmd2g5_1$F8Guk)@Njsxe17Vsxc)ak3x_&t>)qaW&w#5oJ7DX9;hy?{xf@RN@n`j)+T;L^255w+tWRANp(TvqNClY|5cFUU=X6b8e1dJzy_1f!QOwlaN zaWke^2se_v#-O`4Y4)r|uDiM2wlO|gm*S4Uzp&B3q=nNRspfMs7C9rJOfJtp)}iBN zGxFy{0Ibq%OAI7#Rj?y?81ZD>>Jw2*83DMFMM}EY|KVn!NYJ+y0O~@;IoGRhBmM_q z9+?lbBm<_+m?>k>d(NeKBk0Jn!fE_B#?82JAHCL04Zp%z28wZ^^Y z)z*TOLqcACIko}g!bl;zA6Mg#cX#EoMm@7r{7bf{aD(0jn*G8H_b9Dx3} zpaHuN@GwAzw+&M)-rh?oT>Y(3z(c!)D1#k(C)&epS7-1l9DVgy0>SURw(ic>xwAKi zg_zeZ`|bixidaqi1K=%&}@<03l!tY5UBV25oha zROENFk&q)(sx(B+*R^nRc8`3l`*2EaB7Qtt1dl15lCOth1!s}AXCi$FX|5jg<-dKU z&E^hwy}XBH{PV-p623-uvb>&j-B>`ifK~dp_P%OHjNJ-k@|Jkzhx-i1Zt-#u&ix@- z;8qEE$~#B}?ysGS*Bz~up`dhagM&$I(_*ilJ#UA=K=eR5dXNX^XH}Wr`gmG>(mhA0YE$IKL#+G7 zi_5T0LVJFY`Kj}H0wuFuyy0GbP_&ww8X^RiK0`03cbi>8P{S&o;4!};yc$Gt7!bUX zKQ4A1vCJ>6#g`Y40CERUKmiUnwW7rPeb|*NG201{d&$vg_f~=x$;9 zA(kQLXIHNk>BucaPSD4C6GsjS>FYqK(+wJ9P4FG#9ol6*c;iy~!L5`-KqXR(+Hys= zw@A+tNiS9 zVSVimM4i>=-7o@iz`O*e1K#&EW;+J4)Vf)Xo*hy8$h+)1ysH#cJ8Z_hP1hg#Wa~sJ z*B=U0WdqT5bf++rGlsV>_Kd@tuQ>sNJb>KQe*5M{EnGIfH+0aWLfB7NzFfDrA)F)D z2lzEVi-kqDN>v-BIkX(%?0 zvHxXi|HOPqO6pDsNjpx@Tcn4@gtT%Cy1+mtkh3;|<7#^zB!`+r<8&_nW3FcKa$Ko` z_W1!X8sbJ)zC(;RThk=VK3rQaM{-5wh@rAQL^Q; z>86eaZp7UH;pD-XEP(#mNXJ&3CXX1$F_1=~14n|u({FnFX&>6t;nR>|x9VG=+4-R+ z8HX=R4wy@1H=jIu<4v2+a-Lih{&4k{d|otQjnS!22<2%KxN>_ot`myhu`XOL2lMd$OHFNxDrP- zliLvEqyR&YW`V{NY@OZ2qKxyHqOb;7L{QwA8POC?J-*CG36od0DvtR9=3xV4ubft= ztMo0L-C&C-*OAvj`}RIi#?NEpEI-RGuc8};-w@Zww}s+yKkJ(Sv(W^p>S!!XWxajq z4V6GMC{)%|E~6=kpKKiD)iSwM#`^=Sw6wKFPq2)4w`lkjYAV=PMruTJh{T@ho5f&! zyJFfJ2IF4FyhX}!N9&SjJEUJ1)55KmDpsikZ;jpkc3fC}Yz^&^Ye$ofW5;UMH=VSkZ7=?86%w&hp% z@DuCW>|Q@`@?;fo6nw`<*v3pvk#4awWu-SNz3lAl?(V%4bVom-vW~csb`Uo?@ba?l z?cmBf2&4l5F}JkCN7nwwrXX=$wqKnMh-T=A6NQdWDcy)9 z9pHJ-Ugx+-&$V2z@fd<>dn;If%DSF#!vO@)j@imccm)Bqxl1c%pRvIm9^loe-8>PE zD7=xlXsv};@A(Dm@77cwkN$P;Lb;Daxhn@6s=S)HK}d&xY)vV%USAn_KVOac87=*E za34eEU@wa`8>@s_(^@8U#;R%Cuikf8#`Pt1GZm4#{Q86z%kg)oL)$$nf?o3s+B4I? z8&JC`tTyu9(WFcR?r?p&t-Qi<^Ve0`adDD(O7jn%F<_9M>QG2uT77Yt!7$JU^j zeC~oxVE9Vy;N#zbWm#`eOUT7IUGd&HyMwrfa(ANsV!aUHma4djj+P0&M|_zq!e7*U zoB5b8S<2AqL$#&}*c{qE_9bJAqwT;gnz6gDrc^?wJeDK3d3^jM)3QZ{_+J?B)qqS_ zK2)a71dv@iqC5;X2}CGMK07SKzFvWLXMj&K_Asd!M9~G3iTb!J*9*|<5H?2Ax+5=E zLXn7K*?zC+680F0I!M&g`~Jf$Y)K{1-HPQA_Cc+A-CSfMS?ff<(${FI8Z<@Bs165AZ;r z!cN9mdVkaaCys#9`Wh2FkYtwnowiGXoEGvG#X$-bKh^cz;D5M7}mB){V987 zY;`)YX*)3rjA?q&p|Jyuv2BRkzNA4BCqckzYh;2fVXdq-wZE?spY9jTQVT5Y`$qdF zAOoou$yl^PL*6ZEqvrbcth5l%UYTbg3c(0b?;&Gtx2cLQs4hImnR^YAz_7c-6)G@%*1JWB=Pj=hZ%W0{ZAF0XE5Wg&N%sHc|fltVLH!f>$H}R1q0s z=e3N>jgJnMVKJD-j$;dlljcji3BrNP%YB9dDi2C((rg2kUXJ}50n8WY#p$C|KT~*d zB-9hRehGg9Fr?IwY|&mB6#-VU#?qH-J#+4Y!JC1OPY#7oo;uTJ z=TynNv}9Wv6vuc>hf-%;upW|=ncK^Kp4_%DmonLGnd7%iz_mfGuJ%9`t_LwufP_M; zj#LN0x)6t~`sKwEe%>3JPrNUW+PqQ!*3J@SfUDo=s;s4D95#A_@&p)&(u`U2c9M1- z#vGFZBd#E|Y_ZTHzp;;EYY+b5{_4PK5(EKJD@lL3mz=wr$*ph{S@5M?pIZTFbUWBu zIgmp*GA7+|_-2n|(Vp$$G$aHwDKQWrQDWr}uz#N=VTF6#iD=7yI9omrIutR@T4ZW* zr^jFAjIqn~0qF*@+Jjfn+jifo7Atqb}v&>rE~4(3=s-_Yzbf`M#s z%lar~H?1Hu_j+s6AxQp61W=M5YB0VucjN0dz_X5c;85V5=f*Nf$+F^Y80G5(BVjUL3p0SKC{<%(71;4D`H)karRxYtqcjKi1gFC5;? z%6Hj-C#PCOxPrA-t+8zseIN3Nhi3#bvLe=o8>wm}wk_K1UXFncCUyILabS#N3;>I3 zAuy9T1PLyNCH?KM3)_+1Dnd<5uVCpu$KE4fG_KM}$JJE3PzL|6WeCekdv)VCu zm5zSA#z^PVRpF2VvY@S;U$l7x5dNdU#U6VWtUq!Ex3Q6s-f)ZG1Qy5Uyq+{|?6)j- z{oS(0cacPNY?0Z;*6iOh%3;NT;@<*j5mPvi-iBLYAo3?LiPh{f1n zq%8~9DwfS=gn-h9qbX4i*-gXSs~CMX@!F)hV359Z%>Vc!?N*@9xUIVzK)6)6t-(ql z=`K*TJD>{g1OZdPhKoG@@Qc|^6YnhQK(KPKITfs)T@olpD2maH(;cjcz{=h+)b1*3@&=#Y?X^qIcn_CThnu{~QFlaRA?9Q3MkZLv6! z*7bn8C8Ug+9?P-5V=GaJ4^R*wro?TI;EbDJiZ8GbZ3pVtExx$O1xgmU>9G=Q0s`Ci zS@kwb(8xs_JV2&OA+KJcC`FnIg-B3`??`L9xar+*)*C7VGZWRBrRyAB$IC#GMCF0m6|4vO%%gRc6iBf!Db?2_U(r&GLtdKQ+lUJjci>`bAa}KI zB=sEg8cKpP=D196(ev2Ti?0C+w<1oJV^@Z5jlG2OQ7dUqj_ESKb&y1tCB*oiJeJ#e zi!=^;=Ea_^m)X72-PmoUR98f7tfB!13gL8OMoAE+aXdGtK$J7k3xvkUK-v`fPovpX zMD2zcHp0CYFmbT=#+xH0D`LvUY$GpEjJHfwK<^0#Xl+Hr-HAGF*n2Ss<4r701)8cKFN%j_pd78k zW-yA5Jf5>3U%?pp>gmNr5u}qx9Lu%CxP<_xtQ9po{(Y^vM-!zR={yxcF~!N+^vG90 zzF`m_*N~Ks@EVHUsYtRghF%Y}Da3p+pthLymKpTzz}{z8OXp4gk--R^OF*1nTP}ae z`1Fo1{`$j}=JlV+=n@McI0=3FR$QDF-LK%4S`KYzCm@}yNyd(l)h!j{vR#Z3g3#D> z2JRRf!KWJ>Lgnfzjo_ui{vEPBGt??S z-N)`Lg%g`zua>?)@6-F2eEO>`msfU4T^B9JOe$gD^ITVB8=m@vs}i2 z$%?5$N|jG@1lMxzj1S{~I4QWB>wmtI+%w(xNJFGMOK6cJ`?Jk513pj~)}u&e*3L6u zwCnZtM?#BI9v%HA?6wc;Mc98~`_#r3AXFczOO7JAg11ZCzlK0718q3qLUv+-SHpX0 z*ZfdX`+^^Oi&2)KFbQjd9q@lGssL?!Cs);)K*od5fky1D!&3L!R7Qql8>I9o7-(b3 zYax^yG>o8BXh7&G<5<(lfQzPxp!1cRyV`*}wE(xC15kySlgkB&c7x2c0-3npS16)O^gk6q6|W1L3|l>SG!m@(yIWP zeA1pSI2s4>nchHP42ps}r7j3}*9c1hpOzug?v3@MQ6;>AsUWyMPkpRkvPG7gkK$hf zawk%qsT#6P{N_Cx$#{vX!E+VRYa%b7GuT4@r%bu8gB~a#$>-J@x6*NiGns38InA zf&?6g2ZvW+Czpq-c|y-pJkkFKE3Mo^wTb{RsiSrfHYryx@_4-#qh9-UR63PSk!=aV za+SvTUstQ19DD|0F|V3chroQ9@G+SOkdG9hjZ57<;PwYf&EhWQYYBwlRfAwAIol#R z2R9Jn+jp*;cHolJ;z5W)Hocj3l`;Im1R)j^iIu8$6e$6`+kRVi@fjFuS&L=0^IOtI zfC?=6qj&Emm*#dSM?iMI1!Pwb7fD%*^tVD{C`(Zx9Q!pMVUEf#zAx4a)^}0OmyDEC zlw1gRRH+Q?1iZTT`_Hos7i=XS3(tW*X_bEC-Ihw6*DfwycM{}Md&yh@@v#l8MjO(? zJf+r4T1T&<76Fwn8o5v&ySEZ^a8+MNNeY*g^ZhTs$ZGGcG+z2a1sW;TfasdkMj z$|g+(lv2p2MSz_=5|Sk#F_BcJCP{#xUL>3e^tH~_-_MfLq%A_mtAt2rE$({mHeeDb z9oQ!@rD~c%M9Zl(Bv&w4V+KY;(Gvn7mOxa1oMjW)4cN z^!~geo64D3$!3Qe1ALf^PkxAnlCl=`Q>QFcHdvC%#Wg691oXMM?L`zPXA{X&OUi0E zu=$X=DX5hS?o`e{FQKkRrZmD<Rw>Em#AoOF#FYTmu1h1Tp~) z9u#Gf+zxDLw&d}6eU)$4v+)hU$(n2|42oFMDZRgZ@eNyjVnDs^ElU^zrlHun!@E)4 zkIqM6AO=KUI<5`F1GoIJ`^+~hY_gl&@1;7xxbh`KJ^-_bL?b5*jVJVcG(rl3?%o6H z$m+YedS%G`-n4pz6n#6&!-G*s-9XF@>1p-gIBY`$AZ6B2FA`II@b5@RyG{*HEE(tF zdfN{8Rw^M^n5hkTlwMgid#?X>Xc#07>Z*MFA-;~!k?rBFhdn5vqpwviyA&rO0}bKMO%ZzobfF-2Qu%siVS)3`(Ib#erSeZYwBn;q%5rX$UzL8n+j$SIjtpFxb}g|zib5bn*I3s^V=1#j7c)EtmkIHubK)L|Q=gf~ zXrC0nmj{`(++(qA#kHZEoV?prNoiGf&BGcm_kj?NA@Y>s(j+3c!*Nhj^wW$1?3&O( z7iiHoNtv~GQv*HIJEzd!R}9e{&$5`xt7~tn{B{B>!*|dZ4x0C7h%pqKMK{eJ`B*HW zOD0j<0UgvguuUvleK))JTm==%eV8Rt*gio%Kfqn%lubliCk^+CjJr)9EFwz=19thkf zKX`Zc$zslFWn35~%vJ*Z__`oTGF9oZ9Nk`kCGU(<&Kw&;0Y98lPtL`9_zB4-!-cz} zbfW*Q#Kg#UlHMT(JO1QW0iz{ofOCMI8)0XZWEV0qW2}R9a061iSZKtd8;movx z0?>BA2o+6|t!y6t@`Wc*Qdzgr6_my{keLa!>jC&iI?hTbr;ZJ5MIm@OrGJ=r%?=p1 z#^0w~!f@`ZZc9Pv8=XxD?(p|8Dv0m8 z5JkzLL~>yj+>lpr$I|lo{acgs*`+k`WkYb;;`QeApNce+aS<-8tI_x-LYYbf<%+Q6 zbVwSH1Qnbk%~b`e7kL>`0}TUHXgf7qZl$oZFX{&gSc;_K(w+s{TM=QOR zlvf7HJesyF)K0U*4<6)hCJ`4gg8VMU-?qdU z+B`9KtDaZ)sa%*wUmc_^r-^tb-9#nw2ogz1nIa4bxN8MDf}ntCUKZj(E0%Nx$XLvU z4Gk+v2qsBDO1ThXg!=oZ7Z8A72jL5x&W!ppFH%}3pH7wUaJo1s%lzomxx%eE zqyduN0zxF7h6UCwQ@6GZrAXKiT49o|z&k=A!YBe(B(GUGMz%JZ<{82&Ynt*rbRkAa zm-8I}(8=!u)F6#Y{WDVVpg>4bc|52UQ(A!~8@y!OuW{Q>&qK*ymk(%{04?XQ6Q(7k zF;@MOXgVsYRmlG&ckVmEf|yl-f1;q+^KXCWx^Eq1baB)hxmb-NTp3G-f%&}wmNLz{ z|I6P`v3FN7EauYgK#D6v8ABj%kRJ_vNB*rmy$>RV*tGs5Z%{F-qWgm3L7gJFydPJ) ztaiHK9b3NonvpV-=o*QK(s^?PKV|G!x|fzVd-BhW{q_G))A-jvlrC>A2_|lhl?lnl zNQlS_jC$EW_<)!=W7WuqogC=|eIRZ{RBz0R$)jWo|6d^SEN~^Vu7#EOPVut6qkQ-Q zpCgb-s8-f^L!!lN<*|6_JpY);pN0(kPgo|t`e<+iV!Ji4I~DZ|-B+FKEnQZeRQ-|9 zxn@yjZ%H-vju^kf^69Ujs3-y+n=a>FBYND4;vEcl>DFKWnsf}rbtHJPWBJv!Vrt$e zV7iL|5giAP+Suf(Pr4_mmvjYvCjTsVQ7Q>^SYXmtGJ=6Kke|Na;410U;JYD(mMg!d z`t6m_Tp2^sOJogF^YFxp{zq0WCyIS-qhmCA2kV?fI14N;(Uzwr1|L+$`Fkc0h*;sF zq+NGTez|a{zr_>W+A=c0fiedHKiH7m4J2vG=Ob0pzynTg0&g}E@0dYj=Hw~$h{;=B2)$ZR1suz z{2u&iFyBN1RzNcQlY<*Z%);}PFS@Yh`gQ=l3S8Fs43#`|5Vr-%3r53GKoW3ZD~xJI0W5ONyFzu@dVl9~GShFk_N2 z04igk3?}7QK*|oGXhhXH@~?%42vhUcg28ViDVN}(n3-uM(GV%eSSj}bQ7@+ z_C^49IafkM+Y#GV`LSS|c}9$kk~N`7{z$R9%}D=SC8Q@&<>5!d>XDRiDWOr2rPvD4 zx7u$4uDQ}LRzzNcI!OdIO&V^U{{mN1beMcg#|l7|!Pz&SQmrXVg?!7#GgC##=w5#2Xc1TA2HoFl$z4MxHp z_3Y@@JnIUKNI&`ZNj0EU@mZhk=wPRyQi3VZ?|(R(@&e`Coe*g5AMrsgl)U`yC|g=5 zqcFGkPTCvG0*VOKDMK&;yvBW1idwcX0QZYaEEOu5oiUG zs)aicXnIsHtND1(FeMr(ZwY#L>ai_I$%+JDCh>-fo+u(Np5K5lK186y0{kpME=3t{ zvIh&(_OURqB~b$+Svq!i0!p8nK|m!^++%0z1>H3Dy@(rfv`7LRRz$h#as4D9XOXzT zN6oRl1NBYsaZ3~`R0gZJd18k=M~OtT1bICS|9BK;QGCbPMM!d+SiWH>E2)65tEYn| zg~>}d#c6(1#gL=)OE^nfX1q|6ld2J}U=tyc>hPxL4sBRa=QOeTBwBYyr5b+2Ilsj2k$RZRYcmmSj4Ki{0#!}a!vB&sX*4I zp;knj1{J6TBHuXsR>UzatU=LS-N{I=Zo^2~O5O|jX{D*&!Oen5*GASkvY*EGa%^h^ z{J7NCmarv>j!1p_e3vN!i=6e+icJ zkVa)tgy?r^t+4w=!cI(X1a6zWUpO|?h8PUTQr>ufWEC}YVa-ulo{|Cf3zg-KI&C*% z&Jkp6P?B5KQVVzTI{R103$t37B5){0;o0Sm-&*s;QM2#Bxf=Xmz^_bA3JXGqq)Jdr z3kOMCMwF}PKGmoxu2DPHf^~;40Uox(J7?Nj-~eh}kMQn-%ATyk*sdT{v#y+GmUwXb zJX=C2ags(OVrsvK&qsp246NvPKTuF>@qhWVSkb*po>dRV_~~mp946k2$6fdKO;}UrsR*=}5gr*ShM~ zPIC6F6^J6;;KUgJ7n)d?19(WHhDxx~&=x_p_P~9c8|?RRDp>)KmjfRN6j-2#9PmZj zB~PN;M!;ok!_3`FDCa=iNB}G$v2(Qp6Wvx;z#r6?P?}vp$_+uj+vN0JQSx=gQ>&Mm zn>eX>LR)wP1)R5W@9_B+4O$ri_k&t#)UiFnh>{Ka5-_7pN`gO83OuDXsK~h_j1Kp5n*>=L%v#&sIQD zdqyG#)KMBvqOs1jpfg&~W z{d3BRzMQ-klFX@p#TgsCoxG3miBc6{3?#7u}XD^u%S-cpA+@fz`n_&c=<^g!o0r+Tgc zcsmEEnjF)3huqM53xG))LnR<@YL+BAt^*NAbaeY>nlDCTw81l`xF00JPRJMnb>+we z(l-Hf>J}P65xn)hVkOm3BG7##+o9z*D)->cDN0&OZ~SLq7eut8KwS>3m0Dz*VsHz( zFg>dR$}1#UQT^Qo-V$o=n%!H69YEbn0)`2OZ=De3UW#cA_RhA4DA;@rQBn;Me$Pd9 z{s>k0)!TO)&w-*)MvIDk6sYr%q7g!(kYh_Bb~B$hjsh zT*Am$!$f2O)S&niuq3BeJv;-mwP%1 z(zpO*BL&ODX;TV}r{^1EtVb82>i%mCmZ01YCBdry&F`Hp%!#jiJK)FjAvXiAK#xk+ zyVWWaC-+c`BH2p=wk`qMy0<3JQ`;_jp#Yg2e&7o9M-5uxo16}Ev&d6M-8j@B_GEE4xkK>P1LP9o^gJP1R)C(f9P;*7 z6__{Co{xdpez2n1W@r%5{T9S+fsqkY6kWQWf*gXeK zNu_}BVhh0?cK(Lxyb3TYNC_+b#<9ZW>XZ+-ZGhBIMrax=#Bi6=RS9uqNq}%*;EtAi zdfiKkv0{voPDrg8S?e7d){*-bxW`!5 z*=5@=CJqX(qwg{rn%n4A9N*>f&VeKIUTgoyoMV0sR3p|KiZF9w#&^}->21({$%_Bk z!sM>6;bNs@cSe19^-|g|9W^Yng#%4(?~D%h4b>_n{~|G}IkTw5LtDeIB|qe@--B@; zb&Qh7rY(gDryA7SBiwHvTm#J=DV6&v2359EDu+zT0dFRLrW^Sc0DDZIia=QSk#?lxkuPDfl?1Z&62jBvKC!SJkNsl}-U&aHOZI%+U#g z*3ynxUWRxW1A$Qi@%@Vq(m27%C=Pp|TQ)n( zVqQq9LeeG111P!hkA@VgWv6Jv`_H)Ei-E^OMNY68kHGF%YB2Y(2gQ_ z?Jr5XBvy1ulEh6kaGUdG4*TXqq$k&?pm`0%FCOs$`_7N*LDp##V5hIK=V{-EmGJj_ zcA^(I*R?b4hdO>*ej#-DKJv=Ym;o*q3#7ol2k+S^Hcou-SwROP4B*cl*cukgc{AX; zNUE^o$n9g6i1wtOhi}6F-3kW(C!LLMCb91eT&uOUU-;T>y%=*A!@3F#xx7^F(3v?{ zlPLe6$!<#jzxWD!Ep4CpRdT>hCW-q!(B5G*?WN2s2%7^Sg%rrq;PFK3-lXm3Yba>(6gA-GJ1mEq zD5(MvGf9O82ET@Y9FpCL!KSrMf}N(I0zmIT3t*5phzH5VR2zlPK(U+fjEJ&3AOaCN z@_r&`YC)YCz%yoUjUbO16&K0r0LV?`f^2+T9$8n>e6w1-illJT4}s-KNcHVmWs*eq z`1cBhP2mP);DL%%d(hlT=2<;X5COt~z=!}5W81HD?o{)k#8i?U4EhPBDfsyYot2lK zt$@YgGDsImN_NokN&lw$GM$wn5D{P}lV*lp09nUykO)FKfsA4>8AW4>+!6&p#>7)XlVT|cDi$!`6(Qp~`j_as>% z3`)`w38jH;r`wxYg)DFaNW={Kr!HfiOeb<)78qc@#8*Wqn0flR3%TLENE z=15AcWH27MXF0wa_7gwDuJhWyqaOW5*#S;*1LCgUZH8`kr03?>p<1vX8@Yi8}#DtzN3YF3{V+94Hnvnu(n>+qmm#5CS zwni@~ZzOGiwKK!dv=ElHaR zYaawZr3ywm9kzgQfm(BP$}WW8bj0Z8ngWQ9S`q5Z+$yT)s^9fJ+lauXh~7IgCbre> zOVF9%_67}y>-CA(siZgDF zq|d07-iOI7Prue`48K;)G&8Uw5qro0k;9JaiuKf@Y$_cVC3?84aX6YUpas`s#;RY7p>=< z<^+)TOc0$4I#lV!$p||Lq8Bh_dek`Eq`O9w_2NsnGSA_my(gd3NF3XV4*#IR<7ROX z<7peBC-y$Ydz|vK1LiUpvesb?+p0Qyab+~SL_y%VmCpjp4FX{<$lqlhO{W`JIHvwS zQ!|J>9(LIE)Sy5MlKPSO;Gg_gkJ`2$0k1){GU1O>#Kou0V|QU)lEb+JuA>Ujm{5d~ zHq_MmT~Jt2nYe9TP@}y9oLV zkYB@w-lqRT?IKhcME#|Nx)=!8LabO!7`sQxLrFnizURcTEPPtSPm?!|bl_ie~pJg=Bou{x%cX(g96wS(k-UuZJR_ zFtiDVj0+Z`F-jWx@uf$YZ)P#R4cU;;l(%<$xn=4j!AJdLZoJ&U&UflobDR z)nCw3C3yYqt^BJWl1F~>QwFwwT{9S(l{0PrQOCu~2fzY4WuFZrRCq5I^j zDe5}(ZswxU68e#lH4&l5`2&vr;p$>~=Hvj*t2$S;df5p<8ijEA1jCRzqu8h6o7Rn#u zt<6w-OFZ#kG3rLK)B5RDF(|)OwpFtZf!_G zbiNv_Tg#|7`0UE5*24WE>07722~_9Pxrdqnn9}x+fS=Ua^4TznHPi+GO=dG1gmi(q z$OC2uXdiM>5k6mUSXk!!;!fygAS&G>R-}oxH@&xRIEuotQH87%7gdK}(Lr&7&L>#O zsD+T4Wu==YsKFBL2<#XjQQ7CCQ{(MhYOsTmPsa{`bqrJtk5jcTV!lchwZf8LhHNkd z{s|saR}xVyXbWGiyzkVhj5~$er`L2x>pgz*}5~xD}GG-O2 zk?9adCL;?#JoKx&ocNxMUS!Q2nYtk(^TbrC>$;oX{z4}59CT-sZ-K}Lu`O;;B_{18 zofgU-rj90}Uv#z#R5N}sv0*yXa3DQqTn1GJqdnG>8Z;wOLCf&P7U~hF<}_->hdfdN z)87>;%t1NQ2|~4EJ&rwC>q={hf~1XD7jg+_oGzbbM~pE zux(O|-DCej6i-KW3ts;O%}w7w`Pcs%_x%sN^AiODBx!r=)Gf1**<8?U0^nU#dSK@N zeXsWa!1VtIQ|qTJT2}mtZZR0rSO3Mj`Cr2<{^5@Qf6EW2BGWy1&%@GMM9Z?MwccN1 z&Hn&?{VN;#cfsHPw2yz{Vk4bhuKEd6TF`qfjEj-@e_OboBr03hF3jRwgh}FYW1lgx zZg30b|F6tVVl`s~z=!I~RP!ZAzb6WFq7A-qolz6eb3hvu+m_L}opjXN{JpX?0uUqa z#=C0Fb%iIV4fWMB0>rTYC=g1aQ;O;6A=08mU)fSiF(F2(tdU?0x$`O{^_1H|go=zV z?8MOoHEumlZE3QQw|sw@FT${NE|F4#G1mo021sd=bpe=Y1~mdJ;tUsVLm+f?s<;bU z$mj${vfSHfgnY7Xlp4dfQ5C7ANPU<%fZuZOEB-mlv8B}SHJwL?_n;soIHet@cM056 zRNX|2*R2{S0L#m$)TccZcu(-4T?Yfo8GImoDsE8c-os&ti0yFIS?;GYt~!bKWc8$a z0vGRdd9i0Z)g6)sm5NY7F9FaE^_)D|0-DXK`3f^mM8k(6lrlTup?70DJp0E`ouD(X z#(HekwSi;t_+eJSTp^Xy>G)alD_xl&2SnM}l*GaCy=(An&Ko*l1Qw+z$1E1LX|yE1 z@uVJ*%vuv^c$4K@YEfFo(F1f60#y?`x~W2o`8-rFGWB?=XN{I9`jZ6pQ~$#W-w)itE;zxY5ET-c_~X^Bw7Fm+i` zGX(jsN<7M@OgD5U6*&*F8je#@oPJXUx$p$1wgb6K-?bO4Eg+VsLdMgTHR&i?G6|3! znM%{tzy-zA(j@y>lw>&E@wkRwb0PFyasypdYQHMb&~bVpj*1GwcsXi>Ole=KTE+*a z9SJVW|HncMbRJe}^b2$fHH<+P_!o=&@uh z|Jx$h{}%Xhrbfzc3`R&Rc;e<~f%rLwi%e?ajG`Lj);VwJtQI=7iaLd$O2?u0_!ky9 zVrOKJ7JQ;sb3$eo;baAupjOzVy^?dg?$Rl| zbZjX~JW*6|q2_hkW%CVIPA)UX?2VQTy1&-yZNe4gnvyI51G@%hznt6W$&B$GwF?rQ z{{^FE)^u%wGmGf zNF3V)?^q3#dv={*2f(E23a1xwJ~|tP$T0Pt6RV$ZA~SW1ArbNnzVAqcByB0K9|!G6 zbbJi;;m~hffkSnGo$}@6oBf|Cw0vEyz7EARG+Nyp8=^C`U<^~GCNOwBLytO5eXC5N z#>^tR2|8e(o23gzi2v(%UNw0L3&US(BYo4}mEVGcE3^#LS(tQstDMH<^CTWYW7~th z<5|r%Q2P^`SI_mIK*RnDR5R%KNYsJ!O-B88QSUodj;KLEXw_8lz+dCuIz}^MWw4~6 zv^I#<+2eiz=LO8(nT=t_NeWTvANBZ0IZAKjCH?4t6_2l+T#+azzN6|l!H*c|o zML!ieR?bVB`KHCUvE#GZBCSV7rmk{v>%D0Y3JVJ#`E5a_$hH5J5R_A1GQ1ytu_A+) zRh45Vrx3n#-G&YBW&5W-CLV4uqdySo*}H1$0gLt=SP>H+Wi0To!pUf_(rtA~Y@k!po>?heE^9N%ubk9jam{Z7 zaXlE+4x-?`t7Yo5yT?rC7NJU&an7ZHU?~5}yr~Y(z-&uerh@xjB2Oe=4tsjItqRC(k5n1oNRIs zztEvc;cupzp@PJJ0+uEdvx!b!zXkK>&;Q%Mf0^yi|6SO(dT< zzo_~cLk(GfS#Ze@KRkvEcOy4fdFfIdP!dsy!-(m1y}x06&Ko-GFzZ;;0u;V4qS>uD zhTj?U6s<(>Qzk}J4x!hRd-bcy_xsN~%$fHlMB4BvjtW?|^j#Idr|KXMk^6{gQa*C@ z=z9p4eSfp7-C2xiw5UAiz&Uyr9saJ}TPDAV;i{82ZNxk?GxH-1{y!`aK0{thMDZ6< zE>lbJ_%97UvppeQ}kCWfV3HJ8KaB#kZvF}`NZtmX?j;Ng3pC^VLCq&2* zL!O2`hK8c_XZxny^^~Um_U$~8YQnW+Wy~>c@18>vM|0hAB2aO5;ZV{DdMlfgCPT>7 znpMHU$}44M9h?f_N>Uq)6?QAzJ@qW&Iqoz1!wLuEjk4^GU%Ys+&b$%Z)%)#i%iqwt zUDl*5IL{1kUR2j*x+MnABE+d{ixbKO@E!vc;ge7mJ!_DmFq4z?{3Ey><(4v)gwUa z3n>vl&!pZQSZ;H#qWkafzmkPM=vPcXKeALi0mu|@S7TrPGkR=$TA1nrZ_VEXD@;Aw zd48jgShNZJnFd`9gMoI-h0vfa)Y_+FDEcWE`nLdfd_WJVeM_M#o@PFI80!8yu8#^o zbKMYe0r=#wy?uF|%BS(r%Zr&d7BBC!DpcNbG5Wa5ivRAfym1=sV>R#_Y?(@MHenypkR|f_fxCZ1ARrde`TBV{r$h6!pgVHrQc>0+QqDf!a4mTeme3oYA17zfWa#D!oxT^j;ffYr z?=%^V4=ZU|e5d=gMZHkJ+r7Nyk0-%28+X`$N&Npk3*x_foIK|i0R~-wYm<=nK^O`@ z;wUki|Xw+5YX&f^yTEHxIU}Qlwra2^^q~pT}SN(ud*CW_wL>M7-xC{RE(x} zBaHyhCI5zVsM_uHCO_pLy~=Ug2pC!*_3DTqH6xav0WmEGU^xh{>1lHhv@jG)g_(U# z$AmwRoBSL@Ro`NIKaQxodH3#W7+0HmM$vnI2u@#z8mw%@{f`>bv1wx}KM zF)?WvTn`d=Gn#6%cwJ9;)@ZtA`wxh@Hi0fVX6KH6^%bI+)BkDj%EOwz&v?3SvzsD~ zqJna)SQRZ`v2qASTnomHp%n@hBhnHIm54Ed0xHMaDRO3xRw)n>EvV%has&cGs~lG4 z@B~4L1TD}A7{PEU+2>6{_1T`M?N;r&=NbQCFi-OReb4v%evTJuqH0`U^${iY-Ak|9 zJ#zneb~bmk6<@cuQ4>Qpxdq?7)_Qa)HsEeNXk2+Xm&;|}n4!-sKn&O--p<|JR$@lV z(|!AF5Nh7uR(95}P>wtnEI(gcpYsYL0A#EBMxxbiVVG zT|98plF)EmNqj){EdZdMl@9?*4MO|;&oH+6!7V(w2NvCjk5(@4AF?g( z3z8Z2(2HMzkott5*(iDKN?LqD%({@0?}A3WkusfFr= zF0>dQmkZa6IOB=thgA23*y#Tc2(6!&)z=FKqg^{)E~G#5$lqvybX#tv0s`DbXyj^;Og);B@e^ z%kGa=63wRecB} z%5dIyhl{zD5g_XGA>pcHIgDPkfx^J&&bd$c5cXF)Ji6@gkDZWuLv*SfpUfS!NL zj&RtO6d>q z!hsIO0s>bnZxNVrltLPvZQ)b>M9g@59zz?hR3NWim2Q!=wzkd;`Bhaj1h1X&8i^;3 z5FctT14S_ONtJ{@fc`L>^{%V=AgtL zQ=VELLbVSe=bvOOwU!T2tk2usImZHeh^+ExDk6g?t8Z?ZXw%B}U))0#YbkQVlnQW^W@71Og%3JhmSuTAp_Gp+|3ii zGne-qB3QY!hC)e?^j*9w;Yjh6NB&OphQHjt^Q~N=J0k3q`oKS11>yGU+-#d;+%6n6 zV`Wb#4)~rFfab7RS^?w%EAL@Rta^89uevcI82FhbBOY(xst`vf_uQq`dD*g7O-jY~ z>@y5;&d%J4F+6)rcr2mk#_3JS!K&_@-M{X8+9{XEPx(Cq_>>N*XBdzCFSXEjvOO)* z6>D6dh{+j@T>ewfcB!HQo%Z3ex{!dIi6eI6P&NFMxc4WC3N&Z#tyPb@W0LHOw|pIc zP~8F(^B*;r)hpz1<~v(LKX;Sum3U}UR82|$!M#RxDO=H4JWymIWZML~G*4AsxK=nm z{w%#`IB{ujj5<9$S|O2L5jW;WeipYtoh%l|KBY0zOt*d>f)!RpmNYFdo$?^Ax2C>J z(-2(0?@9I2FovcdH|@PG7Uv0{pH}2|arz!Zbt_G#{iu=rN$!X0X&7~S^y2gdSO*vM z7H^l+t(&25_BiyTOY4gJ8_POQtj?Vi!FJNzyPHluaYW(W!3FXmLH`wTf8NexK@Lc! zHjqjSKY#0d+?}eKGYzXdteU&1p=VTeYM4xU{AJH@<5geDb+U2JSLCS1sC$tnvq}D; z6lB0vBo3)KmXniHYQCgslbb2K#Pkq62MBi|7e@ktUtc|ivDNpVVr9stB0d%|Dq!lf zP8_@`2ca_gAPiH$0@+23a#*0;2k~l2=p$h7(&_2Lj#MmBZXG#bEr(})owO#714N!r z1@{okw0C|o=g>D-#2upIN3+!Oi>SQ)qDBVQ15kx}dnV7SO}60pAP_`^xNn_ki&u8O z68PkKT~y@D*?7tpxZ3o|v&`ciMv@$2^22+%BeOMwgzJlo-DD_!fKXwewz@HU?{6ZevUoz90-g84F zyk5vu1p2p#atnC_XDS1Q;p`iC+pb*~)zs4qXV$5)Du44KrE<0JwyHjXjyhA(E zhCB?CK~B5;fKX}h1dYgdJ;VjS+9EjX89}@36D%cFWmB50mlP8yu1@RM^ z);9oCC8FvQ%hAvQ`BLMgua@pg1J7auxBo$|S7h`3JLfsbp}GhNyab*X2b({AMc0a5 z-^gT~>V3=tcx-gTfhMEw&r=I{Ju!FLJB`N<96DQ>x!~l#yj%pdQPD3kLgth!K5&rn zx+Y_cME9}l4{!z0UE;ecn@g$@5AXDPKMp|l+&s{IC_U`gyc(*O2JNZ+7h!iX$-+J{ z+YA-`bFGNO0OpB1}u4ix=Z1g5mDF$%;0Sgk6I!rfUO$`Tb~;8u}FTeLs=x^ z%`#orBz-7E`KtH!?ok%vN;urja+r-AegYtmI%tD*X$BWI+XOANGPo{k*brL}Ua$|! zHDI)>Xoiuy+BhKVvYs%1vzp_l!eu#`EpS6w1Ue58nxdYRfdf9xt(Du`UE^D2QySP} zz@X6<@WVTP;>4!W)&dSIgY}``RDGKli4R9q+T7*JPx5!qBh#o-cw|UnP7y;6kc4-G zWz{(F**#@zn~2GT7f)TPuxgIg=ChrDX(ENc4-sh~k0*435MB$o;@E7xwc;{2txP91 z@ow7-{^m9BgJ8=Cf4K(QG!9A$zzQdR_#=nmkFu06e4Uf2TP)(uO)J*Pr#eq$*O?4Q zxk6b3JJypuW_3EunQyzne{1_CFA5-HJ*`r=H!pSyY)D&X0h+K!`gx$pxILG`qEadt z?-qbY22Vc$VLxzp)g_(Ya@L;t(QTssMGF`5$6enhw-i4CES1`IL3e%I-Mt2e`<)ju zP0$d@oeP=Cs9h_%-bp2E1e68A0w7LB!}{1u9g1F*_%J^0>CE2=o2<@D&WjUx;W9QK zPGMGFL*-^QIl1t@?83<8Hr%Snw8OP?YA0C5@gQ8*z~n{>Bq|ZiC8hb`s;2i~mJ^E_ zK-F0Jsd@02sRog9PO3G}{FZN1CCplupe!(9PKi_i7ZjVx_S2TSfz`rfB8wqF-`bzq zHPl;x;y0nCMr97y5TCTli&| za|p2Kq7HBzV@cPzQebF6fl6k??*&=`|S!u&vxSBkZ$bU-?L1$5DLw|`* z_8EKxI=g49>OrPOWoTg%e})>Z0&Hs4(1hy4B_$HyoD-GwC06M~g644Yg;eYOo-y#- zlEG0T3I@DaTL*X8ytS%%Ly!ykvdF=ZD5?p<8gyrmUHjD8!WI^k9Blre7V)YjsEt|o zaAbf30j5i%9e3f%z}`043fpoQ+R|Y{><+^ASU^}?cMGv7FYOPPRb=WK7Yr|OZ^df)#Z^%cZncnHtwOPQwVPPN>9&E2M!+DN@P9l zhcHum6A0}*ZF^`Q2tUK6u(+}2J;`g~b+b%XW-O9;ig@xcRp3WKdkQBf>i3vcHHwwjtOh72XC;%1myWNav`eZ%RZ}rd`N6cyG%D3L&_1U`HOYq9D&wUzg@C)-%|hd3WFjRDE`)p5Cz(gHQm z+Xh8JDDKlq2g0A`W1PBi6p&T3zqwNv=2AQ?bPz+#^+8%v#l=Ed9X+_RB^Mqzvb~fx zc-;qZrvliT>SYIg1jPd`%^0Xug(4RdYkO(Kts%BJi7_QG6qS{wZt0_M-@RFG4Mv>~ z+;I|7irNu1CFt?tx{?5vpS69&(7=hV#&jbh`BNY)M?cjdX6+