From 5e719f467df8be39cfa4c808abc30ad4544d1b1c Mon Sep 17 00:00:00 2001 From: Ahmet Inan Date: Tue, 30 Dec 2025 08:35:30 +0100 Subject: [PATCH] added FER curves for OSD, PAC and CRC-aided Polar --- README.md | 1 + osd_pac_crc.png | Bin 0 -> 43809 bytes 2 files changed, 1 insertion(+) create mode 100644 osd_pac_crc.png diff --git a/README.md b/README.md index ffe7295..c044bc1 100644 --- a/README.md +++ b/README.md @@ -119,6 +119,7 @@ Parity check aided successive cancellation [list decoding](https://en.wikipedia. ### [pac_list_decoder.hh](pac_list_decoder.hh) Successive cancellation [list decoding](https://en.wikipedia.org/wiki/List_decoding) of [Polarization-Adjusted Convolutional codes](https://en.wikipedia.org/wiki/Polar_code_(coding_theory)#PAC_codes). +![OSD, PAC and CRC](osd_pac_crc.png) ### [osd.hh](osd.hh) diff --git a/osd_pac_crc.png b/osd_pac_crc.png new file mode 100644 index 0000000000000000000000000000000000000000..73061780dfb8b949834dcb768dac8637dadc205a GIT binary patch literal 43809 zcmce;c{G)6`!~L2NTyKcA%w_~DX9<}sf;DFG9)2m2xX3pMaZ0tAr(SWGAon}NkWn- z6=lqj^nP~tb3gC*{jJ}6|9m}bJ>BcR+xB&x*LfbtXF9G(eO*m@8crGlfk1!si24Zv zVN(!+KsG|X3IFCvxmG#;pt8}@R44o){V(fTK>~rmM>wjkdeSFj`qpKOj&TD$K3vXO{3SvFdsd8(!5sKLwy|6)Jk|HWT0X-rH`zU=E;R9sxH{AqlA zakPb2CL}7Vz5S-xVA5m!!`HXPLV1ZhSfeYgo2W#EhILOE7?_IpeR)$bA)#(_L{aR+ z&`^@NX-J^Cnc3aK!s(B7w>kOc<&88nCaOLLobNQ;SQ(4eh-O_~S;C-0#DMiJhuCCIWni?gx{Bv#bLZ_ZyWKpVh8uoZ^yLqxJTdkp? z!7rGDgX5t0_rgRtsHj&R z9ZbXoVVwhBUwd8aeoszL-no0%(aK8S#3W*jFVyIsN%y10&2;Rg=Q??h7V${igkHNw zzskm65%BxcQ6Wjw)3tt)jQDWk<6ZL~a{aQSZa5iT4G%BAd)Myl*-v%;Ym2JXU%q~2 z-M&4}{rktdSjGc>D{ko}5A8ZQL*wq;xpU(N6Y+?KhS2WaG&`QSeZrdJ=UB<+jDy8diwdWmS{HbFFhKIEAf{)9ZpN&zV8$k9?{e5eE&X`GbJM< zW{`kiN}a9jzg83Yhj)jgXh9+O0Z(dvIonpoe{X%8Rgh4d_ecL-CN<>b_x0N>&y4=tDihcdogzFP#`b= z_@__7v1uu!pBn#PNqi9ndbcnB7=C6@pxe^YLZQliC?Lb}n&9;u4l7)zDx>$0VR~w6 zDLFZH>f`io9vt47Zqsq9?Wk`j(BSo5gM}C{AwwYO4QWEQ1!nPByo3A?s zWz(A3oHR5H3k}6rQBYDIZwg$W(>!NKemu0itO3b`R2{S{KQMGWXZkz_EkN4WLN%vC5}%+Lqpc?RoAQ&os5|rGy3Ua!_Dgo=2h)g5{yck$vyT$jC*li$y2jx}2^B9Tb( z#_7xbEMH;jY;3w~T>B0vDD)2wy7rf5XJ@MxjwI1AIj$-dh{lgSzjhGk>pIUt9Jkww zz5*31R<;Q|)Y<+0{pM9Js45F#1$XWU3kp(DQ1lNB2!!6zPPK7$4P2P)7#J{H%OFzk z-Me>nZOzQYgpOS*C{0*LSbp!``{q@zdwNdj>ACjZGp%y@(D+GiYl8A-^WA6VINGho z*U7TfM>zeub2Jvay9!um_kHxc!Z^RUXi?>I>((tEqW$OBwn>OT7K;9UBpUy zdwUxj80F97yMTk=cw*v%}_c}8Xu^DOEB%2MdT5TocxbN}#wa4Tu zcQ-c`YDx-|xF$_9>YT1v ztk-C3H!L>d58e2^Y{^Yul}cgmdg#x(EKy|NzGOO-=uXs5%V(F~78w+5{Qk91UY>cz z<-)}HxJ6ySvxg6v|M+jLSEr?Met+kSn^|97C<}Y8ohG-1e>)pn_@A`&^sU?q`cfT9 z!!&8W3CRr{1*HZ@&ovEdJ;7}Q$~J2G`yx57ej&h*q1PgUyF)KsBeyJ%T=FrzB4 z)JjhM`TZl1Iy-%zYdpWQvNCmcVq&6^ha*ns*RNl()hny23LXVTCdo3L3y+R|iL?5| z>)V~2oDhRt-xRt1{U=0o+w>2UQ<>O=hK2Em;()5|pyx{2rI*QfEcv9f^GqDST17=g z`^%SeyT%`!dODk(s~OA5#Wgnn%J@8rsnEfL>3k8-pC6W$mA!oVatPn(*ccPhGVu4_ z>#ST{DCE2CgSJ?o>iY1+tEuUvmzUSGOG_8r+*&(3QE(nsRh1MMHyzl#m3JstbE`$9 zesS90hP98Ea8S59ty_7k}(BRxGmP7-d-??|-oGCcOa{2UYUU5Vu`>c$Trc-}Q)$tYCmcoqBG+9LU=)AFWDdQP0~ zQp7oD4(#z?{@|@Ju>3JFw)l9hZQbvm=J*Q9WUZ?soVWQRbkgN-uvlvC-N1%J4J~W% z@b=!iWlLmqw0WiD+n#(aO4ne%h+7A}8F&s{Z%$q&Vf1hMN{D0w{I!wrTqDs{W`aVWQoQ%?<)7liq7w^>ZOzz zo93gSn|*!jAQQ1OQ)#D~yz6ibpb{~iGtrgD9mmY9fpZ$ z8~E!@f!;qYsiP^cO*QSr;e_lMswY`OhYNIXF%o@N@(fAaIJB$6;mxe2gv9-$3BtGx zJQSMCj{z(Ge7+qR0N60v5=~1>d+67+Y=b%wLuqI7lP7B<4Ohy`%bAFetx8PFHof3b zx+M3W*O_JO)~(Z(*+oVB-A3x~-Mfb_^W@2sxv>{@xLE9pLx%!;3y+^Yd-i0V3*B$8 z=;-LqTL+WV(=Vghq4w^TmzUqSFG17&g$%I}ONgWD?C2-eZs}|NRnQ~94b(sk_LqS zF`x$>rk?oxc|l0yj}f)M@MD2Y=`&O=`{{WOB(7)V5G^ApK6j!O^GktQmanviZ(lsGv5U&{tCdiZ+hHHm$vf@D(nj0cmlwI?l<+OAQm+RjcMhu@BMrCRsv{wMjCDk zQ!SgYvam!JcJ=rBw8rso1UTTE>+BD=jVH^%zi={O-psfUl=Mo6P}(v zc$J>(VR`w^ojaQv8|N1mfb+!VHc;SB*9Dx?*Uu_0erZ>}pPPZ9&i~h=%F3nHh0o|1 z1}9FqQCXMr;EKn!qBhWipP~M1@#fUB2%_B1Drr_|F#pLPW}=sQ&7iutxY!jaaaKcv zl1Lpmmcx3%5qQbe)D*iTCN?&3WtKm@>64qn)*Z@%S~*?Xe!qT75ba0mgKZ-U3O+|L z?X>3=)?w&Ll<7XNVMm5CJMumt@b?m%rPBQO4^Pj&O!~d_&azj9hleMWk(ahPFF!w9 z@5d;*5Y7n@-n$2<%+VV!&J28eS3-N5$=h%)ySO-d!+d>~YYz=z7tvr4kG%X(Nce<$ z&G%o+KX8NS_Ipm(tW0*K&(B}jwr$(j>O3~OwUdouuW9pyuMY~Lz2=B{dV2@1Ejp;H ztD}+Q>rYu&kRA*VkF%|9=!-)8c*mvP#08?K*#Vw|*TcfY(cxJ51$zl7>3F!6i4ViW z!>g*ieSCb>)kC|eQG#(yQM++|pW$+G=d~Ma=NZBmUhb*W&z%9#``TM%E7lHt2fU%9 zqZ1h!Nu7;d)RwRdAno~!7l1a*Ta)7xlad5N#l^)7gYVa}5N~ghROtOt{<-ru?Xx{; zM8TEJ+`cG5B6U^2nTGs(Rq}wCemR@cboLE#d(i?nKLCVXq@RLUuU?@n;2*lW^tn~- zg)e>|;^04d;so)k;I3VDz6)0;t$W7#{6)8w8QHP|(O%f^aJb7|uZ7tyE`*V0q09e~< z)QyacfXY`6(3$&-g@(uq2n$pFnQ&7$dh}>W_kezceUxqS-NIJkgZ3aNYPZ+EG7)j< zq(V_yxmQ{`yR8WIM){7E+lUI5??vp6Uu$cl)I?dPgIWpi=jJE0P~FtR8M^;d+Gg&t zu(0iqRTX2~aVVhq49oEF@Gjj9>MdIu{L_IR@v9XWi1sZ}EZht)@QC&FexMrz@3f3b z_Fp*wP|{-KKi9&BN28~$opHcx_kQxNzu$R;e`P#)<~iMTtG=nJgRN~ZmJ-;G=THFm zGQ$?H#tYuw?|OUbXlaX!ikP(Buwwzb99&#@6@5yRlKQ~<*qE5412_C|#Ci;_(sX#a zpMTrYG1Hx^2~xHByX~X$a?;b<-^azy?(=8kHwaOwiMXDgUTt%mJqpKD|6f0GE=|Rg zZr|Ra%D6~VwA|m@8(OyvD5J|rv7f-&9-7y=nY0u5 zs1?6wCM2j`jXQlv(Dv8Su5X{m+Y*3RC{$;CY9b;cOv~-A?Kq??B2oyR$tl6lAKYSN zYGwxVwYs+St^8c)Ve0++_s{t#TD&`W@Lx*H`&|>yyAe zhIZv^B}eGhI>_zUkg;i|R^BC^ooZrWaK^@_2M@oitLtU*p25MvGkUaX;YSm$$mPcf zt8vh?TWwkR`c}-?*m(ZeVM9YNP>$ZlE6Nh>b3i#?O}fDt+U(J)8+rCp^Ruwrr00^4 z`%Fbe6<^op7Q$Ea?Ag>{C6NRjd%=FC6(OVB5Jm_`!b<+O9uMgfI9RN5&d*8lImN38i?qu5D^Q@2Vfu9Tv z46ICHg(*Lr1vhZ_dw6~TtT2OFEjR85ue(F+wQDV!Ag9GSIVX&a4xf$?7EM!=^X={- zXOkA&5+WiZqJR82{|9%<>Wed+L=gdj5IX67`@B6p^PXc%Js&lHIGW?OGHaa?nX;#L zWz*Aam-i1Tx9pUWiRX(zi3Vt)Ii*>YUlp>E3Sv$OoD>KJyu$9;wdn9>yFm7j{i^1I zOlKu{=sp%}2$WCred*49(O-6^2#drrK7!vNT;0dwuX~(h|AjnIw$)_eZ3*%5v$Imf z*4MAUZC;+>wBAQ%urrYJ*r+IGIS2g8eL$elsyaK_ zzV!ezLMg)k;~WY-MMI;dDST_&BvDsa*VL3l zzCL{G4i}K%#VMw@tTg#WMPC3EL(&|!NBP9&2nw}(WNBJRQ>dOidD7m|5oEh0pBh)8 zbouA{&q3Eg;iKZa#l*(O#&UCV)Nhl8XqKQjh%Xj)Rpq>u`}XxKwrfH{LQ%PYsIa69 ze~xH;2z7^!soiEJ?E2;JA971V)I*iG`6`}1e3dviO z`zq#J948u;!Q-4uZkOXkz;Bb=w{PsNvz(mV>^)Os<9DFqEj5ztR-COjTong&$YWn{ zK@mWwKf6=gGbcBHsgzU^E|ca0jnjm)0!m810Ts|-uV25uQ}eoD zvbui7w+jjxfg7tYhKDl`1hdzZ^qs3$QT7Zzn?6!Me*CzL%Y%_|vDNrnw>mz#QElZF zcjbS0Sh_sd*|T3ek?da;v|iDQq=NomWYGmWH(T4h`}ZZHTY!{Tzz)VGHj_Rxu&Ig8 z&D1otq~r%$J@D4d#Kd0b0l5a9!+#alIqMX%TCZma&dEk^eCkUkz{ zO8uVA;3r6XAp{{2kqFL|8#mlRJjTbzt(&g;UcNl$^$cf~ik=gYD2%bEt7{6I%E&0m zPn{f}S2-9LNc;HlV+93;lp#%4Y-^h{XUZMk+yRxOprXP`j6J*cvDSa^zWF{GGcb+) z+}H21{Qcz98wF(7qoT|nyMbTMpb-^)f(X_SLdnU=iS52eMC7si*kN5=hT*es8XI$< zrN)>V7+moV_^TM(@#~Rub8%fp#RHkGo$W>S4h;0-BneA9U(3 zot}0gA#32Y_E)c(-T%4s);EOBl$0O}`1$tb%kd_VBqkyV+%C0y_wQpH1B7t%@SJya z1RFno;>1InmMGK%l<9V}eWYJe!L=GoMjJw3T2v&;(NpDW8LEHuXylC>-DpD)avW`K zJwG*uq1@w++I2+!euO1#He@n4D~rG%dg_*Rf4jV#9A79Hmcr$q(=jo0z$Fde&nx3@ z9$P$+Yaz+!Jewk2c?%<`*q4vsLK7H_Py+snFzd$V=7Xn7$wi5vTAZd;a8r71Wj zC#x&9spH`$xtE0JTMko~nTSUg6h)ls5*CKSh4vQD4`@WqugLOOl20UP$kn^JxKL+< zc73Y*FH~r`TD`O0u6#m*w2R^-qwIsgPIhUhxXlbyqVNN*YTr6g3Hk+v!&&QEiw(Y~ zWuL>zFsRq_+ep{Fe#l9li;KxY@Bt&w+}he2_$AK%PBl~xAc&Qfxici`coNib&@O>p zu1Doq%YKQIzB)m4eN&uHZd;c$C;c@3sUh+Ah^QKX%vv`->KUGD4an>XU;?I{(Ga=ASa zIm%_lEMAFrATQtd;luC7Fj^?gtE;QfN&=Hs)U?i-ptS}O~dwUc8jpgzCZ8k|*m08D;-D$KbQ{YBXWw7)~ zzb2>37#0==ey!~Fb^G3j5U!G6dU<FeoMn=)-3oxnf8y+inp zBxp0LJ3E6YLJ`En0{IYU#Znlfax?_IyQddd_ulDIaq+ig%YbU9_YVP{s5WmNO99pv z7`Ec#jh16PUP{D%BFFQN*(NTOSo5~A%Z}srbVdd@j?$SkX9QoJ9~d4c>D$W-3r&HY z8T-$iKY!lUHTI3Dq~!O3O0l=(w3U4~J0>nH%+G^uG4Lv`z=guIgU~(o<%|EuDvJGv zFOCj6kEuARkat4%9E&~V^0D^Tr31V!yQnvryVwhn6S63d~wU~C(kcE6DxCLqJMuNNI>EEoCQ5-E3Xrl z#oD@iXlNY}IVdOyau4|9!l~kXE?cZFA!|s5*2F2r=gOBaUvkv9<>!mE&lrr=Tw1zY zQ2xfB&^va*8sBI4uY6L#s1 zGAsZN&v7^@&-K>L{J4`eqL##wWhx(Jry_#taBTR)=HIFJdtQHc$v*YoN&Yg_nj1H6 zpv;{N*T%~n*HGzc4^pfSS871b8HK=*oO1ayH6S!F>uI) z+P`#4JxW|5CU;TU%pS-rGUY4$N zj;j4dw`vPPr{9bjRwz~a`ughX6vWo1rd-$&j~+du&PL4&SeXq@dmXuL7b6kpKew9I zu(Wkwfk=?udjhGX*F2|oYjh;nma9Let#vq!^K~-RA`JkM=1(Dqq1b+hRHTSD3pZ64 z1{$Lb%GHOb%W#R*+b)sL51#<(StzU1oT-nw67b;*ybIh*rqX3*iiU{`u>eje6FE5o zH8~ObRrckY~1dYg{$K(3~|=Pa9=U636|y+XqY zVjEXP*QW1lAL0-f_$LdXKkK~i28scxuKC4_KfjkhqC6isZ~(<%{1*hnLWnG1zmb)| z%BMD~cg}q)%#bBFJ29UkeI`lr)Fp_n&@qIBgj$-L`PzA-eZoZ=-d*Xid-42v=Apn$ zr+wsvF6->?%wq0|>)&|O_VBP~pJ@|kMSJ}Q3=I$U+V$&_VqyzROI{Z)fbCn>1^kBK zi-*)d*P^GfAHULs&?%`_( zpjj9ivXl?(AP^#GJyoN@x>YPzhB;WHy?#!=hi-@!WMyNE^K|z z4kxZ*t)GqCcL9a^`TH*|E;14!no_8aq~Lnjzm?Rr8qmAi=Ew73hh0@d-qo6%Y9;@Bv4YYj@lpW+C*i0*udZoG&wXU zb5ql5w1}Hx#_>OR1Gc88r<1M{h{ff@lP#GHKXwyDWU!GLyQc3IluGHA%Tb_H!S1^3 z<6~=Ud(WbpdCOvLVNp^3ojdV;fDFAaUTo%Xp11&>I-X-XfJ#xX&>=+?b9_G5MflNf z_Nqd9n=CsHYP&L%Vx#*sw6xz~T4C*9qfI+GXvG6AjJ` zsU6NTHIh0m8rAUs_YIk)z)?#f;gVx%=Gm1=g-S;jV+Hat2O@s@cF$mmm3`1 z0LOp|jui0=_1b&UF(Z=+9=>QARGQ`k43G>Rf$tiDzNqauA7l;ePM7!Zgy5yQm_L}Y_5fjpc3-8s+7qb zJ9Z34XdKFbRfb&)TMhOfdhQ7|kg}A_Ovzr_C+I&=(^vLIw_KVV4Fi;+Q-2gSdgz?0 zN;#bs@cyYT=PT~#Rb{_FQ>W{_w-OTgYi3^vp8_`nu@!PDfDybNWC@5ny}u8oKCzhr z;MqQY%Xs~>I5m(B9kck`%B-6o31bbi8ig?g6$`8)BM}&r1X9sAVDqP^b9sfb?_698 z__LuzY<>5x>fXJWAB@{K6BwD~({(Oc9pRo_>WZS=_B4wuh{h}9ac%8JN!^BkW(4`B zO~B3Ffge3sqah}Hf(l?+ey@Ei!Im6%q@9XGjpUv^1&8a;w4vM~LZeE(1UTGbXOJxA zx3(x6`y%&w^398csVos+awfBS70n=5)!4keJj;O938;M#iA*5i;^D;w1|e z0Rkk9B!wL`2PRQdz&q-82EsacIh&7qIY(v{kcWbbAuu)X}Mgf;0be&)h(g zUxDY$fEPUZ{*6m;&Oq5YRrtnXy29Svr9jcXvO)AS9e%_Nqj%HL0q zj9AsKbn(y=r09>58Uo>JiwzXEw|#xk$=zP1NXtoATeuuK(h5nw?O{S%+CYirAqa)3 zB9sITiYHlQ1p9-);8x}DvAu60)Pp(~_T0MsJ#-S}MKltNbin4pg>Kw8A?OFx6U4Yd zYDuUq=FKaGhQbeN?wt#eFCog_%E$m5Ekm5FrcaLLYvW}^NPcwZhTpvTcH(6++FI;R zxxIT44!Ch6|E{Sda0%f|J-g74?6Wp(a$~HOs&u{hjYoRYXlZEVo%$Jhc%A`YP|~uZ zKxF;7WH9y+g5n#LH{8K|Gpud&^)n?8j9#)So_k-f-VsCoJgDVrBvOR7hl#{SsCn?R zz@-!%dqo_5nTCo}LSIhYy?a+66x&HnO${!*tuQ-boHB+CxbG;K4!9axsqFc_d*BKu zwsw2&aUFbgZ753ze_QpDG6msz_BvIH`!6!`AaQ^%Kns{kwj~#eC&D`HET3LXVG}$9Z!C-*(l{862OGajN@B(D# zd(l|~oO3k{o5~yZ)$$pVl@vxIq5xN^Dgzy*@6jtEb zLAF_1TFPJjd9KU^2}2wu?PJGe_U_e4{AB%Ck3umA@=R1!*+SSQUPeYvN61n0sv+TF z7_`7AC8zbY$ zb!Hdi4epJ-PKLXMPakFzU&yqPG5U8Sd>Bp0_T7J z{JFRY%uOQZMPeFn`cEoeNJ>eGU=*Ovf!+<({pCcv%Eg1h-fC1*x}}Nw^SowLAykA& zeM7@aFiezhs4zE^lfA$7T~k(8WrSyp_WP#0yWyflDZD`wy{4p zSVQy2(KuhEQ;Kqe?H3ZVDKrk6#7Fj7fRy37Ks_CcyQ5?((#LU`!WUI#-A#?3JJ@Ad zQr$*^D>10{j_fk}0?wH>v$We9%*a|Y=UBuIOvgA4U1PO4^>oBSUY)Ke9;Lr&vX z=-(158e=!T8pC+O%S-3jF&a9$#ib>j)eA;OtQ_G^-8LP#pWL$Ax<4CFw@*aHhA5sZ zLm&H38QnhBWWXuXo4l7GB7_zg&cHK(5&~ZK$n~R(l@;IU9R{BQYsVw{`i!2MC&9tNu)Nudhi*(H@Ee(Q5a*k=6e8$9XW=KTC$bs`%ctbf-7*wlBcgr_Qb&@_%A z@+gqeaDgOZ45k)y?HXln|RM`n|RU zeJR6=J0=TCBtX6ssZcQR$a@hI>F#ijph0b>plCG@JK5UW8dpV8W}QLm0or{|XU}?p zLBjJz!sla43#IEl^%+0m&#bgW9^(Mm&#H_)^7XI$U(;=R9whxrwjNQ`OnGOslP42v z!j91XgX-~{UcH+h9i0cnLe#gfsi~>6GnVtdQ2N@Zrp;e1zg{wjP}7?2V2eZ+rb(a`$eK6Gi51EnnmVp$Own z{XS8sP7hTlbSi4m2>HAw7{sMpHj(u2moHbJWP$}eIQ=XwBSX=tU&__>2kh!fPgvu{ z`S}wd=~E?}u5%HxQsBF8-n@C|&fIOgbW_sOXs$Jl&6SERp>L=WiDnWn<%(U%R1O~J z-F0ttbaZ57WNOOZ(dyVSWQ#iP=%k~QF|xByO;5+LDd_0w)p>pEgBygtFThrbs&r*# z#Rm~uezmJWe$>~3%wLfxF;Pom5>Z-Gkm0wt1&6*ZdVV6Dk?$Q+5E&- zgpKK3U0g1DdiHjAAJx?rrXGd$PMysmYsW}YhG?@mw#vr6DLjpx!11Gzg+(D@r|H{K@xI{h;4lti?|-Ibgo5EN$J#IO{q`4 z?`LF(-SRZhOlPJamBRl09Q+lIZ+FWy4-cQ#(ki}l=jw|w#Axy3QEf3_$joI$n6j6X zm#3nnOif9#zzXLp$elIqicG8cPT&*Gv(~ZwK*_Uxd*W@!q2Q-{w1VLmB(pyT{E~>FAdgWw zuFWZ5f6_9h*8i74C{S|f^Ie}Op)zvQ?NDCF9RRKa8N>bBwe}@6MidVi%FwhbS%-z4~80Umpefdi$_tsadj`#8TXfP5@4}FFh=oa;FK%G zQpNwGTj?}}EOd42j^Uo+4>n}yQSE!`$L0bM(z+e6=79PQEpPioA_Nz(Z#V&Q{Eu~0 zP*|~@hdzAB7iQI$$JsE`D=RFVLdp+v(&RU}skg<+uo`jt>JW(vJ0(C)Cq)q9*kf6n zp>+8ocnV2L!x5?@YeM528y&^0h1L1<(Q0nDNQxL5St$!!R#58z!J~Qz85v4SN?0C# zQ0UPT(1R>tbOKm_6hJFY$jsb;kPmH}Xa5CTfbn=kVJ1L}pm}6bJMGG0aR$P?MqFb} zCIHkOFnN#ZLtAunoYQ|uKJQ*4z#zs5pe1^0kke`I?hCzhc>u|c=4M-b7qXlZExt%K z$HvA2+@s-2WS@3FN*orx(s%Xj(37teTU}}r6)zEWVUqlHX}d>mFLS5 zDnh`N_9cJ+XVKAGetwD@gNQ35_kLyb))QkQE8ZkEK&86j>^dIDN56$@|LH^$(mJ>J zT#7lT^jn`$u0t+F$_@D9ppX!0Y{$UZ_>j+R)`JJ%p|hdi%mUWdT-n5D`oA$)@FZ)! znkQOH;NsMAd~#-H2HRsGX}gOdIC8FDu0No6eDChP?8`3tRZ3G`T`^lBHE{8tw6KWz z1MN&8^npdSz$a^a2h!82+5Im;P9b#Uxc^@BLVL{0;*(4kliO6e8$%V|Zf-sR1bc}P z3m>p^adLv80O5$}Jc|#G{6S?9cXu1>sVFg{ds9Qzva8D=c+}ZwDMu|r7vrAqM76j9 z$LJPP!bqyAs**8euWoF>N4oTLx*F?#S8OlGj*BNY9U+~O)NtKfh1ZP}jvE^%TP$$F zGH6UmP1VrU)Ju_S=Y+O9Er$D?2Xe~ohexoTbCH45?j2TLFwc(Yl2EdBbrBKZ*8WpWK@LX<1Yi)XF#hdtq#*Mm zh1cZrkk5z3r1qgFJ8sFW3yM?Z_3L*I{Xq|lXAv}Q<>yZ6+)UtMWsSZW7bk_G1yC)> z6`eSc_n*5K*@RX%^3Xe8f7weABO@IN!jF`bW@ZOafnar)mP&z6rmfgMgDwZWvJb>J zO+jU|Y9FmT;X<%`)BcEHk~$JRc`?Ym5FdaRg8B<;Ba+O2?SehPtOX3 zdeAD(ZcPsM_EtbRK`EM;oSf%r^auk;b9QznK{Y`ZeQxZ6DYJSoN*I9S9}$2MOB{nf zt-|Hz?(Pfm95XR@bZ?nKCn68KK88>vkFsAsnqgbp7o68#HHBIvA8l-MfChRs$lIv_ z&Iw(gq-15E2L2)KI%Om<5)-$pAG~khk+!#PeV(?vab<^>b57DIAxNJjD`;oryjJLl z*#>9t7;iF&z#x${Y)xEFVu7B8gt$7e6fl~4Nons?jqH2|HP?N_u&XnO|kRxLemy* z7tQIF(ElT{Z9ett$&E-%U|?!t1K!%rd)x8%tFv-*uP~aGS~Wm7&&kQLw>dGWCim<- z^r!c={!cxdHyxw67QTp?r2&s80$D3GWCVSR*@_&;9X>_7WGHts8 z##OYAG^KS_7D1NyF;uPQ8iaB*c=txqPVMPU|A&+bq5!cOK@H5BVb#DHAA-F}Xq@>g zUZ5aXR8<|iIGxg!B2yg5zMO&m*cKpRFBC*lQ3$Ii5O>C=f&Mi+>jp5J?LIr7#LaLH zrU<_Aso&~Dj1XFKTl|521X!}Nx_Z=7fltF$iOLT}pd+0GVB1bJV;kLo<-d+sPOExNm0H{QN8E z4QM+#-HVOwL@XmDB&4*C<%+P}rg)9l>C!bma{`i*x(|~#Q&|5?FG(2;!*WPQ*v(+> zN|@VfZ$IY#Zj_~>4=fIIm@{l`o5wO`ot_5;hbe4lpwcmQzmMVoc_4qqBi9&{3h zrliY>5Gus*x9R!Di^p7kO*da3|CPwy?iy59weJdDDe@ULLJ{=;CU1!P3$U_4ZhGFl zIsWv}R5(WQtQ#pDBh>E-3oD`x$ga+7-0M6zWq3N3~zckgcGlFBP#jc!3+ zQ~?VNVn~?_65(yacAO!c{QgD3W3>JM;H+1##03Nd4juY9UDv8&qj}|DO^RCXB@JhX zPw;g_xzI*1zKRrPWttiABT|^iiG#Bheu6Q*IMt0pb%Z%!H`XC$P>Fb~{utCD!f1C_ zmsH@!I@E>X$L>w_^;!A$k3}uuO2F0H5wN0a&uyWp-Ql7%Ky*YRcK?L*vg{n|y9DY{b3MgX*TbaWt;#kp;p0hV&$ z4@eN`^~T(b9T0Y>AV#^kNP1=-p?OaKnUBg53J$hVm`NG}?}3Q1xVpMth*WV8zd$*L zfNT8VgJ^1O9;ApOjRtyw!@xSwArS$l=0{G-!(#!vt%q%(y?wWWf)Cd3A)}ab7bQI* zsDd+lLqdNlH(TW;}8HxI@u(01Z=c z_(ZvvOeE#ZGec8TQ4>vM zvH}DDh#K6<>f>Z49k~G|;@$JAV*f}#1U{|VAwk?3uhJzT{yTL(eCuN>kz6AN+&(F`n z;R_}ReHAm&1_gc{Iz#g4f-FE+IDx$I97qn|>%3Anxy(m`OwKA?ap!1PK%x-{Ly=jY zn~RK%wJft~L6E=smIOn@rhl2%&Mt8=!Tf3{>hOP{AG|L+qj@l)QLRp{FWJ2l8ccrZ z5n-jBJI^5X0lCl&4;yqs@74i?>XP#G^h>PPBT9%3=kerS2BS(+6AzsWTZUSXQ zWX%-d0*OAv>xi+F6BEdvy7ZT-5;@6k#F^8s0Bn!X`9PPjtaQ8yBaCQ|-H6`yDvBJK z`=2a;9-dTW-|zUc3;>tQDe zJ=hkfB)~C3%HT{)%+0L0ug;$hje~Y`($mZ8f8cIAQ-1mmP!D_@1}$8xx;T3-d0745 zA=SWRsPp{7{E^fAB$5#@iymh0@FP(Vkw0TAJADb)Xl?xoISjL? zx(gHS(r2D)r$}YvxyBTKO9@ka7jiu|c6oVOPfKg3+EoUgO9+4doK}}0Pq7a|S2u#Z z1ul#ptzML@Zfc1E^iN;1^xqxj+VA?je&PZY%#6&;2RS*UkS?;f4Sz$yOb(d(U{AYr zuft)}sK7q*jO1iveSN75<3}8=K)#VJI(&^Yzty9u0jhPDJ%Fy7S`*UAAe?H=D>>rE z`?2XT26~gpe?yx)J#J7g4;Ks=7QIJGQu6iNw@Z+G;#nx9x|K-ThQ9$xey$G4u^1h` z65)|xcIpB1`JZ!h)=`FMhQ2eM$YDwN{#W{6KtN?}?Gnb(zh+|!M>07*HMOW!w&(A$ z$q7zQ!U)z3isHGBG$EJRxoEaM2oVd)=^PcMptzyNwuqwx{(wh@Q>&<`SQw6+mbwK!mwese82H9}(4LDsUQObw}Ha-9F(cYhFn z9r<1~D!^%t{rO03V8vIz6x@cIa8+$ZZm_>!&83 z2ZhPFbt_-EyQQ+;8@8__$1_JR=O{snC>+K=~b z3cx@-Uax?_&1n;p6-eh$-7qJJ5AMU!@V;;%o^+&xu3x=-_bbk@5?1j#&o4|n2{vB1 zi2;~=vyVxmFxZowM6T?J$>EPb`UgXBn2Um({}kmBDNe{C%U|A{n;&mO`^2V@(SL78 zT28_h1_9yp`wi!<>;+C%wjoDsG`o9Q_h z@tBapLZ98XEdly(DC6+0S$tIwOaI(|{RL9@_S;+j-U;f!=%`I7V>BtEy!iXMlRQR} zyuS2=2`gW}^4T^j{tlg#wDgS<0;Ou6yceQ@C=nP@gp&ofxD3r&+_H8Z)8*aW-C*c$eAM`5VvA6LrS)yC+mXsKew_IW2sP)=eFUw~}-qgTbgK#{9y+>+9V|Y`=AGn2p2Fyuf zGBitZ8tQ%LRlymbK7MSKEEcMdzzOn5q>JS-7xec()#>YUpwyu9D1 zruvcmOA?s%QEd6xbt*fqlI(g!#4IdC@Ld>~h^zqB!6L~kE+*;00D*W>2`4){tcGJo zakeDClkn!KmX?Q?7d__kFuzw*>1km*6B@R>_5oK3KOb*&!4q%_?Lz1}0Pp0$v?8Pd zvByi4s6U&Kym14FMUVhz>yFYF>RbL5=if=1yjDHk#W4ad0 zuQCEDrdC(4;!$FXVJU7zaSTG((Ws3*sJcB`7RN|zchwN-WT68G(uN5;lrB{m?vzl4 z^8~R4enBog6GqI$%+Ag#pet(4r7F-z{+nSTt$$2cMq=V3_!44uV{1C<9jE{uc1XrI zfVe^@hd&8xGEG)QP=xHe-TthJZ zhw^z$#z2J3>uJ6}4s%=wsvSJ=6K%W6PLv5V|LDE*8Pyyc2tIvzxhx0rNYhhOg}J#2 z85!D)&Co^|iC{o{)HVPGCV+Tis*Ird@DQNnf|darFD57arpHJ}D^;kzpI=Q`nfs9= z5jB+}hhTg>%)Gk&pD~<;x_LJ<3arse0m+V1A zRcAs-3^;~E)@8Wn=+At=g^qpJ*4D_8U7?~E=v+gt85IUt$_0beYLF6sq3!n=X3-)- znO{&?Xpa}s;5rd~cU>?$%FoXa!3Z+|y$2T1OYrbuY!!qi%CMW3Q0l~|r1)Us#KCX# zjS@fpa8+EU^3L zCc4MKd#1iAuzVN2(2h}v9Dl~DM^0N3u?a!b82H?WQ46gA))H@ z*PJFDU+s4_2!8_7Ab~4*l2wCLJ931=6e@U1*W52<@ z1B{*IcVgd2e=|IrvRS+F9ikJ`qZgg>L<4SreX<) znCYv<$n{q?$MhGC(3==Wyh^H+;`cfCG;~^fJsNGlR-9RZRL`1Y<@haib)@zO!qg&hmEX9;jp2ve=#6I-{&0vNasR2)6w5GA8~&#%>4_9~1^*jnR=wZPo4 z9RZ>R%)gnKXzS{_$5e-zf>fV)IONkY_Dj5c`4x4o2oXTrmMUN?y!UY<1+XNuaiMUEc}XOaZl z^LrsBZ30b#pA((_5Tmr%l>3|q1Q(f6Jbakc+^xIp=+Gs&$&(ZWDvMy$DPzt88mOhE zCBg>q0r9@6b)Cdpx9;cW?xa7<92|M73rH4|)5E))ulx&Uv+t#Ocz7Ula|yr^P&q1{ zl*uGT=TYM|ey-e*zraO)nEF(W57_TS@9j)6{)g=Du(HYj#~$-lzu&3xL*bk!NkM!AzzEF+rX;pI@`Q=V-!Xp>FE5B z_60r!S<(6+G6r*_Cr(K8Z`}@}iGAVW?w$(j4U6gBqwNRmp6$N&l=b1~L_Sm-7_yfx zU7}FcH+CfriKc|%*#bIi#;`;1wLW`RXf3jLDSytYbY!hZdyzkRr;UQO|I%CI-Ma<6 zOvM;@7PK%+7L*CUX%!|RR>-A^d7H%B;URt_2ox~{7ZvZ-%uZz2NBSx-+a~GpYBA+YXaUIfj5`L2Vzv}^*c+_T}#~p zqEu3Ph9ZP%Tf8U*@so-}IuFGzLka_}I{&{ad-J#)`?c-+Xik$PX&_0Gh>$258YM*~ zsZ2>yGG@+{kRg$1G&PbTl*}Ru6;TSALxwU}Tq3;RBWt+Ude-}SK2Lw$_quX+p2zw7 z?ZdWh`?jwNciLFL*m_MDepygH9a>pdc6!NYrclzhZyz&h(jL3pcB0>xmbUiEe*Gjfb*JJK1HFH_F zOPe#}GR|tPsn_wn`mDNI@9)U!x1nEeS|#sm{{8#txf5f$*Lvng_DxBBwq1KlKqezW#w(=e-ply&5e(Ln(@S3%=r+pUR z)U1aNzt6|anSbeO)WE9KcDolQd3V!17GS@+{}^%nkz$AtA3b2&FTM2zefsxjh7qtP zTI@U@QzeotaxzzXHZIMFx7lO4@Zijf0y71j_{`&@`n{Ewx_j8@Sb#At7yN=K)<}8Q zFYImCo;_#M>3j*D?E8AyIV<1EQf|goRgzbIO*J!MGvjW(2Ab|*5n>my|1vf^T_&$2 zlJg)+N)GSJAMfU8s;T5qPG>4C0lS|&_n1SldZf(@m+{cdXYI}WV%9laaN0&!; z;z=Zp_VTLw{p+ubC|71a$UV?>7ZrNZ#fP~;Z98>>4tuivc)c*Eu)OCdhYkv1|NiXv zMlM-$ngSZ(1h9w-%3SB*o|d0&j_AzGt?%q^CA*oY+}8m3n7#s3Y(2fejVSzQ*4}zO zde=a=S8+SHTAkmhF3w)zxU?xU60J5xA5#I-25R^2c1%kAxc5UK?ZA8X3|f5i(xuf+ zV*m-?Glq)BKJYnl2(J>Hsse&{3^u6^1DftXtz-ujhp=I@_(RSava}v=i`_G2iZ$Ma z_2Id^qCvm=^y$#<-8VLUf5C$XXV{;fj9#pNO5SMVMr))!*H4m zsh$?cQfgI|ym0$tgnH#lq`@3*GNOUJAA%|&Iw7H`&}QT%(>0n(vTL@*L2C{lehpzs z#Al{QMfLiU&(9sEGGs{CBQY!JzExCTTV1DwlVO7vywN+k@hb$bpx3S2@K+aG@x{xg zHRIIx1<(c286|?OY}Qzn^~YEJ{x#=9lkCLXg#;q>U?-^-ZsZzw-P~a={3jC0FL>OI zk)oKD6%f#cl&|CK)6AF-Y6rGA^w+nk6DM}uE~SIY7cg|~uYDUk>FVBm@!99+YURxi zv3$@9NHD%X@S^u5eULdW9epF_ZKGXW?9(onw9@G|g;5VwzWXx9I?BB@J3h+Pw{(+a za9kYV)U(+i7`ibo9+Q;Vx^tdaLHdJ#@^=h6#g5f93csXJKdrbL6 zY&8uU6C-Dyt4`wfA9v=)`22ToQ(_g&7g3S)$N%*2T+h;LC>e>XQB z=g7<-YuwKHuJPcN&8GoJT~?l#aa*}AhJ3U?qpPEG%VS(E9>y~k0B7*s{k5Zv2g1ss z1cN2qzp4iCi(^`P=blo{GZ)Ph2Waj@#Tr3hMaNvJqtb}mRPf%-O404#)jiMWYxisb ze*->Ze4zB|)rh7s)Sry?4&*L@7`WsTBLjni`j4O5HYhtUnF<^D<_qA;{e4-&pL=Vc zLkrBe_Y)Y_eegnp8TH*WikE;3XL7@XvZp!HFVF&U_F`r|5D$LPv>SVeaw}{3)9!;` z*4ApZZ95h2v)kB`R$bypsTKm&!pVp7-Qj3aSCuH{3%lvHBH>+1hu<;$+Glt zTP3gKsrgAeZxMO&i#XzgfRD?UHYv3cbpv13CM|=5pnRVX`jL3XDFkNKhHb5%eUq>S_!htSDsvU z_p*}KI^*+s5(SHBR1tDf`PbCe-tRD|WX$?gUW!X7zk!~ZyxjJW2NsK|6ATJ4Snj0# zW8K^?70Q?D-s3>`7qJ#C5?-y)fyB^+FOON>X zyS%=MUaFy~8Q#X}$&ALv4MZW8^;7-*rIkBWp>QNqUi;L+FJqnCPN3e>k#Ri_`~^)K zd$?<{+RNGt9GZlqQ5-+~vVi6rnw(D!-dEq$FrBGNplYy?2*V`5x+aaCGNqGRPDp}= zKa;2Yx!EC$yOTG~%$!G#>}P74ys^Mt?onfdG*V?bl@4MzrFBpYMb5z@5JaqX(LJoJ zs3?M#d2J864d~x6e_d>wh-D6hj*2T+GUQ}PD8gxGL>dO9$93{I=d}CyD2~}Nee%Lr z$Hbi5w&jRS+j8pEUud8Xbarn=)oD!1ee;3$lQ1a9Fl@`rn39Qo*Sqcf&S|8Mt3(J| zS=rObNHm#oaJWj-15|KkZ)t``wGn zn?zN-Fqeo-u}-8rzr4vkF|W5Q`PXL`FamCFa{*~Waz@We&rx*v&_I<*Lr&Ac-;)dD zA|dBTGBe>!$V+BNk7=R9Tmh2$eMEF~i2 zddMMOXETKv4FPIILJ$Q^lUGmfq!gdoqut?(8~;dU-nt1Wld0}0LwL$UbZl(b1_NnH zYbqqdy8mqNm8K#2h%C@!p>*OmMfw@Ag<(iM1u;zmFnMY6IXJDnYn_w)-=ce4&@U)A z+f|C|Y!V;7o;#2OM0XK?W?IvwA_?Y^$rtzn9|wX2UhinRz>A1X3nLPATSJ;l+zw8? zqIvn>m;0qPl?QG%Tx%h$;8`x&w0K21umNh?xQx?rYszzv!1bPI>I2X|u%w-}D%v#$ zh;~~pjJbF@VD)q{SZ|I&D7+s1v7Lj%s3fxk#SVPOXmk-*0R(ApYOAhpHv7>)`f9`d z`XeIWuRSsM*=132hVj6|hu6)QE?v{nlrPYzH82`+8N~K@c6LzCHUMA#dh^Fszk`h= zlLj7UV7q9(%^k1uub-FgAxz z?4)duAI1Kee}V?83r%(PM!e6UIAM(IPCkGGs^4*M!dykMI^Ge*kOS546k?9c$xnn$ z67FL(UFCU3cKX|f>EQ%8=aoXH#@p~GF#fhZc9$ogy&eAN!{~s8;Xw9?ngWg{X(mIf zvL|GNcD?05Vg!OnC+VZ&ryxi7e|-4P1U_9?`}X{9tQ|9JRu=U|h^6n@ ztIH@5Ap?nN({>s}=q~N)7C+!`r%vKg-m+7OM;PJcJe{AgUxTqoPo{l?Mmw*TPMh>k zEkNr0e1te&!0l(U9qEliQn#ch$7smadp{gQ`{>KMb}hS?Z^@NQ~NR+>9zKx=_InfU)V+X|Lg}0U(Cg zZ{FNDx$Pm3!M6;mBzko0=`&{Z-wtxSu&UZNgi`oR?`%K&io@&HuO|l6rD4IuBobeY{_Ro@9rK-QKK)Xu9|dd%q|8*zB6*fMW1(2`?DKB?_;eM?NGvBSbb+M+hF?&fysQa(DOqlVIwN*Mian*{ zc4$t~Q-m&cFw5O*=F0UqaugdiGiqp*$#(5GKN+%Ys1)**mI zx^5x7dHa@9Lq`Bay}Gp%kMaiqA>q+u{P=SzYv;Bch+`X?o0q4!o(7{dyj2|2Hfu`9 zPXw-?&CR%cG2M{)jBE^v!H8hqs^2RoO_~IAAbQ@E?vxXFh?wHNeWz2e`#dbJ2CE)!+QB>*m| zrXc2rU-FI~P}#L^=IVc!7(ImV6$dyajw!NhI4%-=7*sl{NMF=HB#SI`LW zGz*HEFxq*B^^PkNX@du6_6P;S5vq|MR0cBj0=NU=PYblj&8?hdSnj52HusnEnZliC z7dtaj@THr<7mY6;Y5eM153ukaHnMWO=bBuNqG?~8#>SXwSfZkMuAP2jm`09!tU;d4 zx5Y1xei39lKN+;<26L;XY7gE8sZW&2!o3^kxA$!W-qtY%bZ(&dae^o)~4;p=k! z3UEc?a=D__8aoXRLz(WDLDl^gCD9}-MX8O9{F%NWhMxo6PilH(_NiweXJSf!juhTz z%ShAkL6`z23>_GJw&xSe7Ad0K^P1_BY>oEKNZStvlA!W+E8ih9wuDan=R@6$dyO+1kFlv+(gaoCfR*zb3Z%`}${7Ry{>3fxtxR?N>5P zt93S1;sM{oJ^RZd|8o9vK}gQZ+8q;9k8T4s8R`GkvdQAL%QfVfu358&0Hie8^K{u? zCV(v9IBZri-F(#7XQ|Y-D3fYX%9shmK6WgKr;9=sv@j~gv$UO^-qA4~!Pq$g`=SvqPe#cQEXg$dHG>e+b zpG$NewSY!SZ?_fKwxMdHrlb-JzHlHeHFkh%(8}XPxip!_E&0m;-4xk>&V}80n~-6x zR($u6*!^jVT3ltBy4Hu?Vu`C^9dYL);TakEPOHM}9UjR%R`(jvN>TjNO5PNwv|UWf z*Z6lDeR+oEX&Dg%Dv6kR=xKg_KHslcsg?NVRrd-!aH$2!+o62l^CFxeO%^6a*}1tp zVqHf3iLIb~Hj^i>0#7Ai&I#)5UQsfB^*>+n#-XPe#nGYeMP+F*Xu|C^1UF_Y6BfBo^XDNeZuZoM_6+NP+k6iN^6wT0M=8A8@uwwbwRl0ivudmY24s$HvPq?K)a`DXBHg z2}OKm%Gi{3CTM?hmSf|V_)$w*V7_}h6YdS)8aGVaKS}!zo^DuSqjl7}#8~T)A$vBL z9U9lWE}kx{=KcHKXekd(aFpS#!#&pkRftvC=(C@d_Gv*>U=?YfWp?+4f|U3zBYMiD|eal-y#6&i|3JynuMVOY|70p6x0 zg#pAU!we*XVKeHeCD~%q88s&&g}Y^CLKxkqp@w{TLjPb-$}TO3+3MNv95357&|V11 zOsDO;qYFAkrc8TsFe}Ucw|b-2ls5I5EA92&sG3Mo zM&pl%3~qfoc2MUe{Q?!Qpm`x7sgqLcmhooZgpdlwaONCEpCB!eTZYF+S<=#@dR#YK zG=(NF!zl=Qufo>Zq_`Tj&|mskO;GjN+h-&vSJT;z{uKq74~YfNvEsw4o4c>SZoo)u zxN0HFUCz>#84n?z7?AI?6^jAg?7fQ0&tAWl6DTQEH`@7ElW!SGx%M)oy!*i@eOtK+ za~2i)roz5H$*d`sCwXRs1~TK^rxg4KiWi;^L9UrXMrbSrEGAw}>f9oOwEmYQwmVu@ zqxzG~2Y<5toqS{4%u_`Q7Gp1xdU>BmnHpI??_F4i>>yur{a0bVC!UoSK)LkfQx6|@ zrY1B}2Mlm~0l~p7#}-a`qIq2yv;Go#=H?oY6j^&^^Yfurg<}xaef@brf@-Hu zy#ty-(1p3bnwNe*OzpA_B|dP065~|PuC8Su_T|$so8dVD<1%!5XDa0Ryfcr8t`!e^ z_v+<2X3Se^D1wSvMQ5day`>}Tu9S6wbTxsQqi0=|IPVO=+4+hbC3+V8^d%h!gH zU!auBw(X^mF_3>w&=smbejGjL(%rkB=mnI1la{P3~Y1o@L zw>%l5UB7F#`9=EQ7!yD*<>Q!qt85xPAty?h+TeM6>PUJHwZ zSueKN87V5QZ%cHtS`uCGY&jcQI0A3pONHUdPckZBkiu|5%+_Yc;MgU^Zl`;9@9r70 z!qOuBHmnz>=Li6JBRX1Ir2yh|#LI_FKAh5XzSrxpR^g7gk_;Gd^e@FA!zzi9%8T-6 zN{jUbKi`%QIe3gq8Hr1^eTunso(#4Sp~Js8%2{D#%&9LvVqDzE*O>N=hV1g?=d>G@ zpQtw!r6oglBt`K5N)4l_8Zj9BMBM3ccG-)o%DP)mG3gktXD~PpDS)7^p>ezFHxXA+ zV8l4>#6EZXP)5@Q=!$>VP`uGS=n60 z5)`0-%Gqh!+nl!y8FYIF4sxmr>-Y2iUb~RVf^07XpZpF!)troI3{}=mRQwX*(POZa5fpa zr)#7YQ*6TBBNHPp6K$Y?jhec|Y?3q&OkcfEPN&BEC(zZ0s%+a=0WVV$pN1cmTXUd2 z$_6Y9gkcjWPDJS9=O><9a88`qR^RMsJ9Sed25B2hyO)-fSkkV3|3UeOPEToTy=)lm z9}Z38cwc3unWZIGnz83a6A-XParYBK{HOtR_}{aN3;4w-^&YdzO-#+IL}{ z2kOb_=;+YB@Bs}_%pvpVL;gICUa`$lTA(dZew^{74rwYKsUX~W$BPV}@x#)>LivyJ zsW6wqiU5ifC2!?V?ZJ2Ww?szrzN*Vk{V34**BE{njUsg*xvo9lCF>Q*>q5&2Sg+2V zpMeZegNm*ze`d?5K(+hcd^VTv9`n05{q?k0#1fp50s)LufPpxQq62yP1b|MI4mAUs zM3p6A34w$m9ox1gs#FAoTY)SXp`=w$Ub}I_*{s>EH+B202f133OPEZ74Xk6qE$FY(-hjBvv>SwlX)v!AI14_ifJ zS6;qNZ$o3_0zqC$X~*&zbjAKJlFR$}LNV|(Mra>6CDQ?_Fe?kUVU%rMr$3?(lM^&Y z&3_f1G%6!C+q>u!2YYR^KjvBJ%+10>lwvmot$Pp(43jFdCyAEr*=QNK2do5JA~Csn0aTVJwsp zlS;-WV*EhF&>(Z=M9ZiR9Uj1G)!A07~@h4N$ zht-6fp$wri&bYdi=8X9t*oW(7hRhJ(x;0&`pRsWX_o%4IsB710G){p<+tUvpen;v8 zn&%sv;+MrlkWjXNbf>PN zW?z|@wdin@xI?ZeoXsWC6n5?2U91|iYANqb5Ep$ceM=U5(|SS4Lvqx|pE|cyf*6ln zfBqba(BXKO*jG3lffksBY(18pEzW;Z%vl`s>1||zi)+$AdBdaim{(Btdh8Z$I0UR* zog7fm{^p+HpM{zaCDO2nv?)P$jGhY2-}K+%M_ddEsfVd8o963_d+H@JjM%2p2LHro zBGA=#RPM~yi{=mOW>!?VV?yhxfiJU$B`KZ!e*Sp-Y>l~`Zek(D_m*DJh$;d^aF;HO z|D_BIc@mUnQVrh?deh%hc7l&j$?FC_YPsefgUs&_&&=;uaF`Z*-oRaa>g}DW`eeh% z$GpmuR9|XQ>~64U4>7z+AC=fs`8!miwO>Lr@g{J_Xa=sli+7ifqdf|wc4bWzjMs6=-s=u_^=PW-2t?Us+{L`cE?PK$%taIlE+sB=OkPwnpzT@<_yWp8)z@}zxLeuvwyQD63`WVb3AD;=sY^5Un0)9G=+f4El@u9yye5tRO6owBUp0j9nrNphB16p6Wad;n9oZH7tik9cAY)9R; zj*LNoc;y`$3OOU!OijZ~n^WgH5GA=<@0aooQd`j}IR` z+FIafJOxSi@TdgR;6Y1EO4QZaxvrQ_K%?EHC%``rj-T3CW^#Zv1T_6FSzrZ4G`$5w zeU^J~b?eryVqi6gG3yl+vP3>Qs>KLKi4$lBq)!BoI2C37d>HQgMsF}yecjL`xmvG# z_XFiNU9?xmf)jSx8;UW(-di85vR|MZVgF(qRaHTN$&bl(u&gEp6OTjAJc2Y{KlAXd z#C~GDrj&m%cOdt!YbR?JlqZ*nzZ_dKptwk3)segVvrq6h06%QXFeu1)=Cr}@ z;N<)J!aE+T^p(5ekU4Z>x#x}=t105)*Is6e@?zDhRdot(h%Cu*k%@yBf9SCM{vt5a zF|JR2M*qR>>vK{D#}qwY1XM_NFRz(mOwL3DYq&PEeAa&9?Aee z=SNDBSJ4mfT;Z8g7bS_yTh1+t(v~y&5vM9W4=Hd+!zkA0bXwKyHh#R$W6Jx~+2I3y z^M#x?h5>73v)`Fn&u1$G%Vicm*+p}@u*Pd?*eN|B*Q}m%C2E)>6y~kq?=-I89`ND-A>ic-`_yHmQ;c8MekH{XL)@y zGxezUf)IaQxmBx_?(WlQ9He`6JJUz5)77#~-Fx<2USG2jhJa{E>h-v_$xa_hA`mF? zq{MbS^%g0P(+hb^o*269>y46|`c_M6 z-bZ;JnGN`!wGIHci8`GI%$`63R_QQMug4nlI`N=pvrgi}-`e@>_E{av{(eQpYX)?v znY6Vkg%`p;vQONZ&owpvgsG5Hls^3ok`47vYaaUsF&&0&EU5sba z#H4cJO-!WMY*U_jcxCpVw}tBEzVFm8JzAG8>7pV6T)uU~k?9=!IDLahwMGkxrNeK} z`vV~*cuM|ZG%n=|RT84CLAFBDS5Aa-G@TX0T6iMBL}5{Wg6BGRWX4PGy>%)l$0yrw zouh$TS=9G-EoL!0B$i z$A7QS7d;h<`&9$5T)ElDKwiIZU$vj|dRxci>Sj^4P@98o z0zCzVbSr5|@M4~<+Kow06@|Tha^=OIr>u`FzIC9Xe)9~jV6dLDSMp7|G?TNqXE|!i zmDE-mycu|zD|+|PwYzsUcE^qw+**@3^N@taj;)}E%v{cN?D~MOvEd%Ra?K}JcbMzq zqO2vFT`?2N6ky7Ac61~gw-b=#XWmL}I|Y>Wz-lBjpI(*?ZUIm1pX9-&P(W_m+J1h% zh@7YgOrPFXdK>U78jRFb@x{21STnb7#Fe z?%uX7<;am}XWjM$;bjp{5YH7p|gl;u$)?+2ds9|$y<(rW~N#9~()Ku0p ze2HnDh)9zLgfI?y|1Ig?xc3zBj3)5HZKT`i=qL(w33=&14F~$FjgVW;2%I2pz)3He z+OVzI;_H{oSL@mj@&)Sr7Hlhm2jxhLb2seKlSguv;<{l*F3P3t^N7(j0WkDf>U_Zp z#2sG+%Ca`n+Y%Dw1uDau$G~Iwwk$C2a7W^GO^qOY$$db_E16Gnkr2FXH8nN8yuHh( z*MS;g4~|g8zli_N2pHYrhF&~2U{Oq*0r=S2fkQ8|oRiKcJQ-5%A?MutaObgpyaEmK zn62~i@%_mmg%&TY$uM)Vvh47kBH4d~t5N#dyioB_NaW*mQ4|O+KuRT1`h7j1@{MGG zM3V^Wpn~M^4o(2&4B+SFD70$DUvwyEzL@tqfH^42G)^fW5sGs`4>lSX6=m}MkP?lI ziU4a+tC00caPBXCe5k#1{shUQJ&TI>hRkf1G>y`)75#lAL}H^bUV$xj(R%Wb_PlUT z9juPI@a@Ns3Qd^BE<*Gj{dU>C-jKFjs5v1T{fk7gTs7Sel`}0WO@qcpyTE~SA!!;D zZQ3pVPaNdff8roVZvGPoX?bv)9oogx07>M7Ux9T&EIa325uaK!h&7pr)DzJQME%z5 zhGN5ow$I(R%FOuC#n3rH5Xf4p$46UMbC+1u^zp)vBP;@L*IvMJ!5IS<+>L~Qo4ZB~ zsb@_@Z?9v+$j;-(V<%ke-)R|TBg%-e?(V5akIwP;H^be6VY-H<<=GKAH!i6p=xxB} zrzxr`XP}-iuv-IRT@M+O>u$m65?gdAFAoq7#UVGMV;?g%C85wBw_3%)ivAaxj zulcMb1ZS}KH75U!Y|z`-|0qfQ;KCGG=wQos3zX)9Z4_^!o&U+}*({#(==7x*pIPZ{ zt-3b-Py=NkZM)5P1MPZoq2SLt1bAyEY33OlqYJl5iC+Gwv{dw_bu`@`Z_{N@D?%{< zD=rNTpexSh2H)e4j zgOcZw|3oc>YDh;MDuiQLKdD~;=^{&i-@3les&3Z$N*!PqLQHY$3tJ{vX-@%3Z9G_r4TL4Kyo(nvvcau(BP%|x)?}1z zn0^_>7J5e^?Ai+v0%EVRzJ0&fRP4?}wp>-uoaHAiG}hgTy#5lU$m(|!hpQx5jxZTG zP*Wf>IGVi+6J6s-i{f}s-m>-r*%p;YG^(52W~X({#v{xtrOxv7 zbibxj9BWc}+y(lJ&P_htarEf*z4I#k-eEe{e-Nn}BH3fkS@0+Zq-k7h7Llj zC-}0!HL&I=>I>MS{QO}v%X~J&)=LTt>&2o#qMFPEz9)pSSDxM3RLgJqzR~sYUb_vK zLoX*SK<+layld9!ZnWuw1%0B7wed^b?75UVVbi7ET{K2_?cIAct&pDTj`;Wr^;%x> z%7b%^b_-#kZyU7?F7`@x)*hzv4aC&nta3lbjcrn=$YE>R7t_GTzX&1F*U|HsxiJg& zS?Me1Y_FU2+0xg!haDk^)5MR9OO%oobdVqoAK&sb+|G{1D$-8hL!4ct2LXiUox8h$ zB!v=rxLPuT?$-FddvCegVycR*-nMOS%wSUW&;lz8$d`m_p3}hq0y*Lm;4n%=?J)?N zB*XB8ite15;pOhmHn%9Hv!FJoPea}{!qZc868!A@uq;+0|MKPVl$m`fbUKddlsQaW zE#m5fAdhVZUAqGFro@?DzIru)Zq3lp5N(%Vy?fGCW?vn)bii(6`T}-giUtU38)?~W z$E0T->R>;N9XAR>QEY(6_rE^=uD&Eiil_EP8yfu#;IZauV7R1Dxkqn`dFE6y?@0@A zHIRe&AJF|@#M-d^jc0;BuuMKO zDk@`~eN243oN)8z&C34w^|y&_4i%X1C-=a@im;?Jd_De-bSo0#JiM9x_jmXECFg!4 z?V>xNyX*RXdp$_0qJZwL%Z1!9&^>1d;$uw%;6Rg|lu0%1`{$1M%$=bAd-QJ}`nyTAY2-TL=mx!f z6qO;?Lg1wktWx=KpXg(}nbHp^eefWZDi=qwJ33$H=Fkha;)ODYsYQ_E^WEcykd$ME!YgbSp9P7vD9oR^@u9oUFIk-$oCA zMoS}VMef5Lnw2salrPyOBpCOhrbO~n*2_np7+a?{<9obK?>&ask%1*|aYY4m?1|PD zzvq}Ce8j+57iT-$b2~>!?l?0Q38icp3{-OGS)Dp{;vf4@0TronHxlF(6!cqq6J;+} zns7DfCf1qZ0C|x8i+fnN&QPgx?7^6VmLqE+JuQ3YTd7$W_1>G@7&nUihP0ONl~+8l zFxSxl$^}SiAjsGJcUazZXABCdGCc@#^Txr5Bsj$@aU8R4eStua(1qmkMa9xdt!-Pn z!32VJitL26uRAyAUN)eYUx^*xym{2h*)W7Ndb$U_$tbhk`x0*@N=oKIkOZ6UDMg3B zix0^1$A05%SjB?$?@nQ1dP@0IfPMI@(2sGkv5!yBBZMP+mwhi3I8=H4EV1qP!^zs1 zHoYj0%p)x=O>@rYE_w8gFCR7A{OWuOZ>&AN0c0K3=y>V0Wk!ZgqPfA$TUUFOpj&JPJG zT0Ja76#k0pkrBOQ(>(tD+H~d9)0(>^;*#Z&xwEA1~|H$%lef@Ly z>V_u12ht_%b7N}~8EJZ7*SZfMwrp|lb|1@Q^bKCQ|J~b%_AobJ#N|c)M&iS;cx8pZ zS(2x-^XAp7tqI$u%6V0)#=K=Zm*p`zg4(bZeSY$S}kQv!|4eh!0^gV zl1`0~YS7P$kGRnGz@#1r?CRTQT((;C=J!bSbM%jupWx_{<*3KXmgbYG4&MvsN`0Sw z;I%{-G`#4?R5|)q!A>eVhbFT>VRCoJE8{+d9oSzFx8;P2o5a)D+PqXE?d(>o%w~pU z3FvlXW4zuQsw>dsE?Q)6txCZ`Z%rM{U@Yh_Luurr6-?JcjU!$b@~>Q3H{>xL`rxJk zfMVE8zNxwtaa&*BkA&klw7s@uM@t>V7s^Ts3X);eIb);-%&ZawSREmZA!hBJVh)Pc z`}*PW$X`}|G5WUSjK5Awst!YwiRC(|H`oX5E0%wf0>|=AFPByo`R5(Gru-h2aM3eq z^bUmvCH*l%i_7ORB+x&de4mGnFzEORjh#d_M=r>0at>;3=TUL@y?*-1_3U3IF-8iE zCETzcv2M@tCvRZ5Nf>$ZMC_>jI~&{os&TohPRVc1r9G*v|*jC^QP_qcW#GM)wlrKcK10hk5 zq%4od8=8dc5%~F{p$lr2iDm5SMz+gv!;B@Y>%>B1tckTMl0KUh)jP2S|@rDDdQIbmJ^JNsN0#!VcTG492S`T~URzDYC{&Yf3c~z=M zdPy?(m$C=$i*@skvZ>p{%C+vK|4#*k|Np6gh_%{_XZZhb{~z@#*P`fXjQ`Xxku5O0 zbA*3DfaEZwN3FsW2F}wLaIf^o^b-N1bQs)ba-fIYySHx@1-^O}1qDb7$uL&8Z!0fL zd`3-6(7?DrS}1O~apn78qQ-(03fdae`AyHiuqY}=08kV$%-^Q!S8 z#ZBXhvNFZeSD^Szz%!Kze*t5Nw)V1NoJWyY1ziRboSX5eFj0jvRBv-vn zOuGJhAI2;R-$3LqPIVp@+Mp?AT@MatB$+Lld@n8df${g93O@z51*xM4W2I1IZCh(q z5k5GC?&Z$5;P}QjW-Qm5q^C-kvSWmgv~}{L5mTmgjw%IvotrZ%gUXZdq^T!Rcp|aBtA9L~T0hQCBV#uk9%5<$v3L&@w4{|sqBm*9$uloZh zIFo^$T0L#!XQ4r6Ya0FjaeAFQm~L0n zmuqHWG5m>{@EJ{sR6a=Rl@6b1FN*gwD{;*;`c!Z)0qwtJY~64Vc%?L|+A!73ja5KFX3n`Q$Tsx-#`P1uzu zBP#-|#}pGZXuRa5F?caryKn8=byH+@Qp;OT;q6SRfCTFrgh!ezxj1?9D;)si0Q&*9 zfBjt6M{YSr?)BX({f30p$d@0JS~PE7=Rv7Rrw(J+Jfz!y;0{e;L3vb0sq6Z90IUer zn4Sd6DhO2PLKtpY{T~qC&|{EBeq&I{aZ22|b8%heM(x#SEsX!D67;(p8_y6;{5(A= zOT?sEz^Zfs&A~W5RUG=Z;2e32{mU2<(gqEmbNpY51#6dFhYB0@_U)y@)~%C?nnv5& zD;~R=`vCl|BkP%D$D3SKEbwhhRP)e9wd7_?dx>iLCW67>dC%8EBp#SNZe0793+OSh z(X<(SNAP7$J8_6YaY$(6hAEqrrhJ1~jy$^&h;39n-VbZS+WMA>c@*7Io zs|FkY!6@EHNriC^={7|4m^I!gRDmd1SE6eXl3uAbHNtVd+v zKmqVP^5Lq%65D^xsuP`5>H+Emv+Qe&CkCFk1& z70EDeo;a%{bGzy(c?{Y}qxYocuWxoVYyAeIUi_~M7T6U;VOc0b9qA*sXO3R@;n97z zW{U_$&t9ZelnNaOhgLp*yaF{Vd^RhIX-yGYPtFVNzg_*G$cN8|@-(@SsRl70GoI`} zpO;r2mZ52-JKEk}oD2S+P{uU4OP5vy&Ny?k(3P;2a+8ok( ze*6)SGXG->Uw15(nH4B}fikJNIYcmJBr?Rs*wx%N0ThJqK#-RXN2;6LaT|ZUFtv^J zyt>Nn-*SZbO{`Zx(XOiO>exUvClS%;ee)lP#)i=LIwgkzSMXZrIQNepVzSMVt}e;f`pBr;%#VhC?7EA%NS9 zI9YIyF2P8!8H=IInz`kmC|%gUpAJ6}EUv05y4OL-e2Q?S`LnjnGbV7ss+|F=)UKN9 zcM&@ZP%IcpoZ>vzSNdb00YvIPVFCj)Y%Gs-@;ceQq%IGXdwM_s(cQ<}d!vg?p!^w) zAls)S+D;0NbR9E>&5JYq{BD=MnFFCpftjf9;_3r&;V;iYnd#}OgzSt%H(T%Tz7J>s$OA`nF zrp>mpu;8+Ihd3;*aCCO22M@%r2QwS1cRkvLtmtiKbiwiB!Fwf(h#!7(&8rAd%w%@9 zvf4G_x?6AFOAN;V3X$>LIE~x#%*5hjCwlXYRCH6FxwLm_P4Kd;!x1gG$ng*j5T~Sp z^Pbc7`S{4cnyd+zb9(RbprRSujK=$3UlwFI`C;&tTuHCmFaUf8Lra|mL(s}KXJe&B zxrDk@!GYyjdyuaai+h-uw0juTm5tF9OyW~p_7};e=fVR@#Z-1=!1+WfBBl9o(eWjz z;dFEU?tVC@gi8c_s(T%m%#Z41cYUB}(8;_K+H|*$pD6o)rphjS!AjsEXJ#PMEU z&S3rYho{fAjB*{0c(_D8F$6=Rp+kp)15@YEfKGYOJS$u>oa0_NYaN{*`1j>byG4hI z?Xx&*hya#m!5di&ZcGF@atL_+`9<%O!jFfw2s|3x7F?qvD8xum(Cgj%7Dmh-zM}d^vjn_nG&O>_*OJd1L=1uY3KZypG%W z{%bQL^|52efW+YEvLEk2tgRr3?ufQb*G)hXOBt)O9&dkC%FM$cwax2| z2d12iO!<HA4@Mv>Wf*t=O?q~~zx-Rg@p?FB<*FgKIW!#sQgOdKv;nOJI;qk=*UwIo6<=+6 zS0iY9S0iar*3-9!$yCAhqr2~)KeQ!hpf6GmVMAo3EgCH&bMw1Tp6FTx{DIK4N}h+o zOaBXz4#5~1GaJ}gdXAI1y;^>&#wOC_>g{{?K4M1T?yjcg?&u-IUes* z`TLUVo|yQCRQpI_7~+wpiIkPh#J}1(Yp}|N|{FS)7 z?yZ%Jr;fBZ>V5nw8%J5xR#;d=sa-mts6^uv)raSbX9Uz6oo-ye4wni)#{Yqs?J<=n zl1Pk9MenMiC(O(&uKBB-6$FK(5q8!dT{c-e>o)Y;8Jo51O77|%-A4C_;XP!@YP1W1 zbZ9-a860CRkgdb;;TX)FS8O-`v`~{cjP(Anpynq10FDHDz4!2j8{HvRKvq%`3E&93!}j9dKACu-Ky*2v$uq^S=cyIrn(Hz`_(01O;u``AJ`W^~ zb!>aKce>1$FMxQrabGEk_8lW~}X=R9Ky^X_mSp$)wW0S&$ zt2Nn~yB5EzvL4)dF|tp}y3zqZVs(dqBVUr&P#g0GPUdQSz0`aoU|O%~U573`yHGvk zkVN|&Ki5|w?EGdU=HbJKb8~X&z_&ZkT$%9?wkB>}?D1rVn3?t-^fwabe<(0pqWu3& zrun~q$*3a@=cDgp#gujnkvakiAq=f~{PlK&rhf;kfe%4wI?2wC{_mj!rOl zsHSFZFLW2;9%rv8lo|Hr~#KFW- z38t&{Hc$wfyR?$6_%0H1L4ymgUgd4?DtMMW5^FYeNDQXKc5QR4lwQO66UxN7SqpZ- zfNOthTF&6q!neOBFI(LHc4eol63zGhYuhYbd;L`5@r~cq9-hrS(B8Y;-lWInoF0m1 z`U=a}sIG}topv_a%j53Eg%w4aWizx}sf9ZQ#q|m}vT;sfNyGuAlJ0Mx%gNne@cZJ| z*Q;KAUwP!_(v=tI-#otB>fK)(};fG(s(kf($c8Zoyl}f*B_w)~{!Vq%F%Op8}bQ zK7kJ(2D5eh{L(Jli{lo5c>DInz%4IMQwxLQA+BMp|Fc!^1qg>kqkg6dEc;5x4^EJh zm3L6vh=Eddp zQ--@f>mTeqyu6B5PQfN>%+Y(uheDTzUjBX*X&O{4)Ii_~9}R<4{vHhRC>IyZrl(~k z3Tt)MeZzbWwilD{PWg=?;*z*F$#@;Thw*T6x0~}GadKGmO`7Lt-8UqVtcx-=GfQ_r zKzG&{n)mxSPm%fFLAp9RT~dK-02T8%F2qeXX22p0AN@sj1bj`*Q|g4 zm#e1WlwVQne+}r|uJPsd_9MsMx1 z=n{V&1tY=_8#`L5Xr~Og$U_tT`X=&Rp}MOMT=4@uJjX+$OS|Oz4V(pL;O9}ik$*Nf z^?Mkl~N?s7r{a1f&pVFo&OJZA_tm4~b7A}a2C_4<0NhBC*l^6uTMqt2Z@3s2|Wm+p{p zgPvWF-s@4Q_0`zv`2C)bm{2czSx~GiOU|`v(_LL5%AsHj8RZ#F z_3Trl_m-Et?RDe}H4S{Xz%tA8P+85QbL^#Q?nHH-f-(+k#p7MYZNu8MdY_(2U7I)K zgpYBo!uZwe4m`huDxQ;#RfhBj*-wAvcQDPrO3!xu*s=UAS)Ok>&-X&tvmTm1Vt(fB z=OynJo%1~O<)h*DVrbsdfa9){yXfn~qUHLSJlxs%5tQ{k0v&qxV3&4!9w~y(Js~1$Y=a`W!W`$`pAU?egxk$7&7D+ieZESfQ1}p7Da81j2!=d z9wN;bFJ7#Q>36GvwCV!7Q>?9I42r?|T879p&5Cr{U60(AzDxrWsc$oY@ep!+g9eR@L e|Ihy<{AvE2zKfhc1WWVE!U+3Oc1LV{!~Z{Oei}>w literal 0 HcmV?d00001