From a5c713a7e0617494e30a3572d7588b2b49ae31e1 Mon Sep 17 00:00:00 2001 From: CGH0S7 <776459475@qq.com> Date: Wed, 25 Feb 2026 17:22:56 +0800 Subject: [PATCH] =?UTF-8?q?=E5=AE=8C=E5=96=84PGO=E6=9C=BA=E5=88=B6?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- AMSS_NCKU_source/makefile | 4 ++-- pgo_profile/default.profdata | Bin 407648 -> 407648 bytes .../default_9725923726611433605_0.profraw | Bin 338176 -> 338176 bytes 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/AMSS_NCKU_source/makefile b/AMSS_NCKU_source/makefile index 7a746fa..c5750b8 100644 --- a/AMSS_NCKU_source/makefile +++ b/AMSS_NCKU_source/makefile @@ -9,9 +9,9 @@ PROFDATA = /home/$(shell whoami)/AMSS-NCKU/pgo_profile/default.profdata ifeq ($(PGO_MODE),instrument) ## Phase 1: instrumentation — omit -ipo/-fp-model fast=2 for faster build and numerical stability -CXXAPPFLAGS = -O2 -xHost -fma -fprofile-instr-generate \ +CXXAPPFLAGS = -O3 -xHost -fma -fprofile-instr-generate -ipo \ -Dfortran3 -Dnewc -I${MKLROOT}/include -f90appflags = -O2 -xHost -fma -fprofile-instr-generate \ +f90appflags = -O3 -xHost -fma -fprofile-instr-generate -ipo \ -align array64byte -fpp -I${MKLROOT}/include else ## opt (default): maximum performance with PGO profile data diff --git a/pgo_profile/default.profdata b/pgo_profile/default.profdata index 6036a084ecf8d943be6998739216d94149d0ca86..156744d4524e8c26a384e5778fd05244fa48a76a 100644 GIT binary patch delta 105 zcmaFxLE^y&i3tsiIvX3k7a1;PXFvfkJ~|CkBse*cSG-wdal6Q3#_b}DnF@DJca3Eh Xm>yuq!r4AAmKlgyw$F=YJ#-5I#XuPs delta 93 zcmaFxLE^y&i3tsiA{!gM7bz`ZXFvfkK7yXUPK;4(x{f%bK(ol=c9F%5+eH>L74Bjb XneJ%EBGEoCmKlgyw$F=YJ#-5IMEn@( diff --git a/pgo_profile/default_9725923726611433605_0.profraw b/pgo_profile/default_9725923726611433605_0.profraw index 4ffbdddc718e5889212457df9b71993d88ba8e7a..e38d3001385fa72a0781b4e43ab68c5894379dbd 100644 GIT binary patch delta 19215 zcmZXc3w%_?^~ZM!$cBjA>nlMKF5)8^WiM)Ce8gPEM?l3apu`8dqSZhUS9}me@$wLZ zg68hXPHMHTqBb?QU9Bxq|J7^zxBpmeyNg<5YjG_;@;9w+t=hC!{r`S5clqxkpLY13 zGv}N+GjnF{O?J`UzOTD|-|n`mhqiqo$+K9+0Hur5t4l%R^VeS_d{=PT`@UWIV`HHTdhLmL+!T1Vv2HVSip6%K7kcxYXbL)$6L>!ygzXhS&F=2%%8 zol3Xb2#*Le43lb$nN>H3heRwK6;6#2&MI<2{lcq2hDAzFEUFwu43L;;!NG*958VhI zk_Qx{+Xq-!!q@>SX|$~(hqhLj2R4V>L=0`0@X#V@)tZx-dJOF#Y!Do|`jd=sTI8VX z66Qg>dJeL%iXP-nkwe=e%*kAi7}|*N(B_3VX^JRJwy-ef6z)_EEyhEOy+aEhOXYzU zdxsV)p;~h)$Dw~>sufUX7ZrAqeQ>civ5N|rv45~yD2@;PfQn>KD^dcaqh~-_o#(Dz z`w)xsIE0ybXnRENkmkt1ouzxob#V^my2K9UY&^8RB8N63%tKMDhgm4#*kR2P`|eV| z%wblkQfsvzhZ`)!+Gw(t32-=;lmjUNwK@{i)mo5q zwat;5hj$O*9ATgcVn?VgJrtD#8Kn`(NdHKSN9xGtVtmNh{KK%EAVZjS&0!xcQmnIt zf&XXfEF|UCMUzJvI3VUx%JrzIa3SYK4yKu-)LI`MO&)D|2iM#?maZ)q~$(iEU6lzG|pDu?=JWa6ndhjv87 zjzj(p>K-@_(`?`^<2CS-%Av*02d#ZP&t~j+l_%O3kyC6os++U1ITBh{nzO3DMg!+Q z2Mf&e1g=aBZ9iI+(Ft7WoRV{pofB1=ov3c(6VVSjB65(iIgp)`4BUF&iOBCHi)(n2 zvOEcE40%YHC&A`qgE!U5>YhPQ=46XwK(>Y1#4?GY#oSbzLmLw2DZG7R&8WUp3=}HK z2c=2LW_5g^azJsY)b^q66)`88bXbn2(;TsG*nRFU`f7xSzRdNdeTA_`@>GWRPDNBu zyCN5aO*vI<$INK*G?mLtn1FDcIPcRe-WZ_FX;vh&yfi8fb#f*bG)5N?raDtyizmQ* zro|Ho#{vjt2C`3A=Ye5C{YsbFMFkMb8cS%OVev?EdCpKLk;^*TG=6i;nBG4=vhF$m zp?Pipj7i+<+zA+WDYDPBc-KRh0AaEx!wqDJ+?ndOKNF$PQa39ov5PXGA=n@mXh7u7 zf?W&uJJ!<7wQfNi$VixkS+B+QS}EY3g~fsg=n1&}XtAbU24HfO_b7iBn|-duqjD}M96J}&gp4qt0;orkJx9IZK$ig7A~y%|=I{vR z=BS(SJQjKkZAf@%2ekiroFgNt8MSill+>!OsX*^T-=giIM^($Jc_1HzjXN)zoX=xp&c{7| zF7EO9>cwHcI-;CEQht|FE>AJRAe|_%mjf+R0)2KY`E187y1>qLIQauIXW3PtKWm_L# zu>S8mU%k0{(Y*dw=MM-IvF-1u&E$9>LwMg&uO+HAuL}G{;wn{E%mvh|JPROKkvf!D z^YAfZ;%bY}X4--s$woQ0wN7Oh8R)?8T7p7`Gv`7YRD}K0Ak889T8*M`5(1wJ$T)h#X#ifDP z5jn-?_3GH6MeyZV{p(pjImqq8yn$~%F|>~G&?1&%^G04UF|^R5MTMfpuHK~HchC+9 z4{b)|l*U|fPnC7bEH%H8Js%c*E9$GPMlFZNKP-kkiRw(5>Rtm~|=41FDR%c=K; ztA*QXRk@?iRwf2a`e5Q`v`a|7`$D)nxzeh#p3#~b23c8Om48SFX@lGW*||u|os0n4 zU!mmz$ipie#%&75+zakE*N=BU3I^b?^76@J_7U#Q*7)?(ftgb0ra|rBY*mClm?c+v z;e(Q^km?KC#9^dW^;PLfI#Mg-4#?KtT5f~f2RT1h%W=rVtLiI4PtFq4ZfUAaza3-{ ztiml;RlZuULOWe=L8t??oS-Y@_*5--Law_N@+2+0kUJpfCu_Nj{_G#4hv=q1qhS{{Pj$NpL^7dR;7{4_0( z(0@&Rg`1x(u2|Dl<$kI4p$YI?1HZp(*@8R_*+1eO&L-qQu3OtMZmbp~28LaW-CM8C zvyl5B=NIb!b`$Q9L&mwv-QFAS>#$@)x_<<62V_63B zR`+KPgg@kXqwdc_uG>&wY0cLCp`hwESe5AoWh#GzRh2$lt40`wUKbWkxShhe!>Y_L zEK|96;A8|=wUdy`9axJ?wMir7VaRS=%MRqaF626Du9{2h!I%r=_()92?U4H*J0EK~ z0eP76PAzvruG`o!ZiRMt=?-z37BlqTh-fEjxu4#ULzA`a)B8@W?1fq$pgUye3@vBr ze`mwEBeXb3_dDyyyH9FaWhmdBgtOt?WmUR=3e+ED&9{JU_i{HoNM*Gh7e zHQqAjsc1UnLx(ZsCaWU-@mz7mrlu-?k?zhjp-tHO^R!$u4H-f9r)t@PT(=pewNlHq zkUJoUMxC!B+mQPpr*G5!?qTrXj1%<9d@=3rrYfuF0%eyy0)BU6o7QT12y!1}XN8sv zkcT0sJG49kx$Yi}Gk<}e#*y%c>>sFQ8*(3Hcc->*ggngtm$d9auIp|XH(Hyw(7hYs zKGEH+bcgKcwA@B_$j)Xh$La1tK3w~E(jRjAwl3%OtzCp{q^oQ*KO^5G43jUCtw3Y{shCk&ewf*39_;0DN%*Ph$ zwN{f6?iQ;uv9L_#L*-vps!FD;%J?Ov8sVgHAz!Lh-Nz%96o$G|%W24cDU`>8g<@x_ zslvZ-p_nF{DnfG?iYp{8+-2IXmv$0UT&3lH$itA+S8I6ya$OImc!QP)A$LFyU9d<^ zVTk^a<7;$(mji#u`A4r({UfvB|6P>NjaTa_&xSwb{10`%b2j`ThrU^?`rUKjPr0dG z%jd!WKIAjpq2;;ohn#;z%LT}Nl=oSx`V;fu583~f?(c_O_dVn{L-*Ithd<>Lv}{A} zgB&{ZI^~~T2>iAw|YKHwjvi(L=@PD|z(*IQV2iMA0tFrsE zQjKu7T2=lV+Nldp9b1vq13{1_2m(1YbEO^x@-XE1Ls}k$T=xiS|4wZm>45(u4dd?B zq6M)J-OlG)ZiGAxIlk|$Dx3qk?orHfsSejgcgXQ=T8=D*KjrOOb|4Q!c0SN@H{`m< zFz3JBtm1{1!5?z^reOR8{2@DkxkdH2LLR35DlOMs2mc?y{-1h9@{l_q$A6^zN0!4M za_CGg_g@cx$nJxByv`fo-&8YdkyghilfX@gl-KVjbXA~`YB?|v(yh(nc`;$MjD&p@1whjd6;2?%J3y{n+NX zmJ^%c*I!@Z{Ob;}wI6mnHY&T;yD=W@Licwm+3?`^43@w8E-l{+KgiaAmJ^Wso@p3& zmlk^=4nKq8Pq|A>dlv6Lk-PMwyU*g{=+H*NGWgG;KvwGh@3xCmj2IUr9amGgZIJz zdECk4v|PM^pPw3erBsuA!KyS&Jw{;TK;@oVrgEVQwRw7?`gZqUu&UyZ2UhnZnHO+6 z4lna^e3<04ss<(&M5}2O&6?Jaq?Obza0F+te+tc(G}e zf2?@;#ZxLmr*(^+FE&*=ca`Pj{1Pu#B2cLS>J7++I<&G>t>XH>oH{O;Q$I)lC3fR` z+NuD#?pO7d>1&Gd)e&-kg;VutQKioJV~rz=$}T#D3?Nd1Zo0>trpIy;Xx55BE@||9)QNJ91*@*bx(z-93WA`jIY8%+fv;<~Qost-n#9t)gueIkYvxd_{dU^$I5Yidq1W|B4amvUiJ+eAS55 zl;$BbRbjLGk@wa={g<^>HF`p!p`&+m6E6Jxy>{37uc|eERsDkXx9a0?wD|q*Z}AyR zS@Qhw^mj(2r7Q$z>ri`eS>WHPPcD9s8KAFg|B^nLI0DJqv9G%4|7iJ?J#@DAex(+L zgJEHA-}{K{TXV(-7Dm~qg#ojA!u&_KKecK9UGpu=l?(0v-iQ=RhZcq3^OFxV+Z;(u zC>c;BvR1??)2L0%8j&8O#7-tEkl57o|MAtvf9@zIRw&ziCN}W?_RiRun~Mg1nL#3F zMY_v0nVk9v?KS*jAARxCl@RuJeCK4}k`zQ@yZR*P4Xo^TRVA;(4?6tLn=}@?@fxOG zHW@C43+>RiwEk=SP$>3?X!3P_4afWgK6`lG+HH%K`|C!ev1|*}3PT&(U7LKvh~%e~ z<;)s+!w6@D_a;8lctd?qN&1&*?0NR25AQwoqT*uV!vJ<E6|i*G#PIFAB>1yW(RHZO=Mf9wBJ-;=^Dh5dy`-0%DshU1>pmSx1z~G ze!@kS1HvajAQw~+=AU2&!h-!NntY3&_fX}4S`@h;d^|@p(4a8ijwb)ek9h#X0pYU@ zkPEUE`5=7S^yg^uPy8?iARG`rl>xaRToQk_jm5Lx>6+SdZ?WWSl*ilr+D>c-JV3pQ zTu?%h55mW4JEF-y^W$!12Eykd?;tR!TagdKk$)$e++px@KXf{vA(6|&43tsigE~pc zcMN`FgH8t&0ZoyKYw+n@blHK2Ek65;Vuphv_bwIzHfhilnc=6Cmt54|P<{PpMVo}O zaq>)*)-DK_JpDie!rU26zRN@b!T}-CowiXi=hzwD-LD0=9qNPKKDtrQ??sb;Va@>I zfI1bqAV-l8iYT+4-1gY}Faz}{azSxLKB$(Id{1rrhqm$g>KO-YJ@BAn?)}3102!m( zRpf(ONXhqE0qk@@gTng|W}vhpAJk4texSa1f=&lCB63481Nn-4P!}orp{f9MI-nYD z2FeTbBTO39OG*xL+s%(~h=(jpm7Okh5v5b-0ust`IGX%lRgS}m2tql6ToB3;J>4N3qlQod{84P`BzngGy|aqKZY3y zH3;%S*xHYy$-k)@gvtS-20wur2sH@uL7k-J$EpUQazLm-nt`$+SAZF)hm`z89b>2* zP_628K?M=}6lR|oqV-cdSx{d!g2Dl{s4f>|2$M!29I<~ylYduN?mu7#>ZD4zAXF8| z2aO2xC6xKmDDy);_~gWmJ(pd)F05)4h5Qme&cx;9e9EQtK7%g^<&XQv2jM^sMw9QS<(mf9rt__ZHs~`*CCNp=F8eTek3Fi;Bc^;@=!j9d%Gz-yxu0eTG5U zVw~YGS){xN91xBTV|}T=iPvEit6$f*5~qS7VyDD;U4@KMwpeapIgCbc}g z>%A364z|uH7!2_;k}ff$&?jO|zK*6UKzV6aatLy-W|y4M?2{W6r$z%q#3|Aq9mbbM zWNaKbK_1YYA@`D_sWB=FQ99&CrIs!^q}eCKwF>5Y0J{}Rhuo&wC0o+m6JdOELFT}z zu|Qv;bjaP(qlrsy)9jNi#iP7Fm?D2H`wwcs2%FN}A5+04Dcv&3 zrJRPI`URGq$}Z_mWXj}L#i@OW!u$$Z z5Rv5w=0}W6Zx0%iZN;g55zP3?HbXZ*y8NY0^Z!tMPsyvfx#;GbS1pa#?>yl;?OP1xGfjWdw|gtJ>b7~{DieVX`Na!73= z2*+(SGIl0%3&wCB6T?&0tt5T)s|baOh|tam(mnv_>yhD`ow~YArh8p+*NVH z;Nrse2R@9eXKc5QZXd`{I=*`#JldsN$qe-o%>{B^ni1wT2{tIkBbeDF=rhur&e2Nr z1?mwWdUMoIx1PJ8Iy1hwk!{-CJqTee9VT-S%xgvLpV8E0XtCZ=PHZx?0Vl|{fi*dz zxj-JGJrbLO18qck{z1G>srAWSic@%`V0PM=+@jefw{m#t6NjW{V=txxF*lp3OvNw* ztTpLUoz})gTN@t?9Fg8J%!BM}cFA3ueKIN@HmPYqOh=iM3o>>rTwQX%W}oaz^Ej9v z!kHb1u^bRq4aQjfL)1DbN1ytv^p1nRK>eU*`%tjfi^Py=+`4_{%2z*oGPZu!gHM^E zP!Fvz>qFt42)yah8F(KCM#hYqAh&DIkXr+LvW?R{g>Qz^IUJ!1(rlp1;pob0&XBuN zrO{Na9;|^&MQ)TH*(HYp>snY3NwX2=M?jsC-th=%9|1M)M5v`pJ#wQyLw#Ozf$Zoo z_L1PuAQ^I259J>TU(CHBY#Ym0zWLZKjkgx76A@Knb+D)nJnP_z4DebYed@6~d__14 z=xDVAmf7Q3denBx-0?Ifw4Xn{>2Q0IV_#w40-83RUxazgpD^D)|_Ml(p8abn* zF=mhE0(nreUgGJ9)vNmw)6v%!6b$u_;#3qE*CuupCRmUYxMDWAI`ktn+yK^R&l|w>|8M4Mr1>o@d=Zf0dX)` zOR^O`m;6-tL3AtSpJVG?lW|Cwc&ItgZZ89S5Nku#cIa+hYG+$M8pV1$!_s5YQ< z$RjdGSC{N-_Q_p}Q%%amJA~$BBQPfyq}KwyPwtmy3lc3fAaF^ogT(vn?rOAwxniiSSr0C56m(VX0?*>(7crq(Y~>Qt?oqMq!Il4djV zsc^&Il6^8B3bUE`sYo!c_0DO~+ghJE4SGv+hR1H{ky{$?{NYQ*o$b-9Iujl!@w1s2 zxl^-CcBFR>MU}bf2RL;W5OquwhwN*1$ygrheR8YfR12_%7(8hx z56N6BC(wem%C;h~Pc2@`=P-R}d7Y>MW)=0whnx)tAQyH;P0fZlxJ#4{g!@gC8NH`E;%7%moO^1U3%cu zg+QdQ%*i3LZEU>wx!?Zqzpp5+4Q_;mbfiVM;?zaJHm!EZmS&e+L&kZWY#NU|`u5We zzc7k{v{mY27-5Q+GD&hqvrF#M?2}s+r!E2Fj4N|;UV4{d?Gu+^?FVHn&eW*yr#_lm z2t?@sr9(y(vP(u7vQN%Sa}mrh1@^q3!kWpl0my9A;(aE;br>+2^vag~!+1KonQQFk|WRx~IbtMoxsm#fF8M~SlzZaf6 z*X%s-oo7F+z9je^F!oG&(+u|?y}tu=l!rd2lnu(rk31;N#T<~FR-C#D*sj$M+1Bim zM`Ug>2fqr7h$9Zy)YVYqgfohxS#LABCD>*%)|^$*4#c2beuvy9b4$3*?TCozOPCDw z(pVa{Q;T6RAibqDCSy~`F1by!PeyF$Q%itDGItHl$r;TqIV-&-ctdTIF?6RoplOt5 z2Q+Y4#+X#0{utjUcgoncuv`jsw24DD6h}gRvqpE_m>MHn5(wn8r&q=jaJUATP$(U; z6~reOsMk+OpYov0T?dzCz_j#$(jg}_yJUxq6|3uIT@I0@La1omW1hrT{}P{wXV`0Icfh0-CTCU3y63c|-%&br6!n_K)4pjF18 zmOf2zCc&xYz#$pCiHVUBh3t~CoMfMjf&{0o2Sx&Oa#qGxgzX9YS(R7MpD50nw`t71 zW51p(TcMOb4bn2V0)96D+Z9TOY|B_Dhara;1M|NDb4F}(fsA>=RXR7q2J>7=dvZp4 zWS`t4O>pWaU|gFxWYmc=Cx-QcxF2q0Wx+}2~W+)cr zPOc5y$psm^m0MVK();VO-`!e#4D>6tbZ^GUUDAVz^vRe#IJF8`t4$m-qO1<8*QM+$ zS!OUBBwp-G-J&DV6kk^`dfxK?o^QLpSTVVQA;}nrym#+jQpJc9w>6!qfL&`xV-9U#m z8H=9^*C2pHW0dC_Or=J%y;iM?_E-y>0cmbvXmYpW)H+}r5#_KB=9n%`T(mB_@m->HDAy`kCN>~QNcX9gU>|mGBUgfbIFMu;u`!)uNa@}IySD$A zeaaT)W@KV^;jg^*#Ahz1@yB26_4y%9pX3f%IgV!pM+`yL6VUI1BaWFGunU9Wn5h9b zf^n9LcJ4;lq1rYgGV;Y=k)i9pRv%KTFPusH&af33ELG{>-rpHEBE8>I`>?LGc72JB z-)v3Y6~@<$dp$Yru5i=%_zNC0)qm8#fsif?DyC?&D?(xgFlVx~QcuGb7 zEri&F5Y`)|Auh-F`lP!FA>zL+hTs=|rN1dWHS$hT#c$aCd~>*cJpP5fDeZg06GS2$ z+17nuxU*tgVN2KzZ|i+9oY`Yr{IPI8EI-*2PHfBehDS{N2Yn*j2A>VrR>+oDu?O+{ z!`8O;=fkyO{6{<@vTJkL*p_)A+%`qJn^E8X%i-E>t?z{6m7|UwwQWXZ)MJy`VaW8@ zQ8hCj9b25b{<|pe{&&#|r|K2t9T}BA)N>+w1gjfoeOE}RvEPwx*7Q+@Jw`oqf}GtO z-XJld9thjs-4gzO#kR}|qgukL=aJoqTf*sW*7w7$VUZbQz?VW-c$*U$)w{Rsejyy$ r`;%boD}yWI$~`2a%(){H8-@Q@Y>UK3=Z|Iy(5ZIpHfzJ^{KNkT?Y_v$ delta 19368 zcmZXc3w#_^*@t(VLN|?p8Ey><;V+H(4%1B%q5R4Jb0Ap9C+s%S8ez1}l)y3JjnU)K90>7V!=l?(Nd*H(#6_34O}JFiY7NmMMEf zdkg89PuUt~DM!LGWkDwwXIh~*$6n9D97_fv7ntKD(_wjz3@5u;d+4=T$reoklrS+Z zPKDz2THXhr=>uCbYjKee)?xVU}_{EbG$VYO%~Y zr4wei*24~?tt?p)yi#ayy}o8^hf!zIQCOxN3hiwcCxg(ZOov&@*3jR+JvY}%c8B)d z#mR}#r{r>!#js3Cile(h8H8C%rb3tYJh@ESX%B;WR)wM}<+iO_-g*i&W#_VMpac!K z=eDzC6=}oMgcSymLq7CVu%(YcPCkAp$y~+srd4wZT;Yk6(^mQYK=a8 z?uYNZc)*S+lSd4*CvC~jX|=eX-?~^jEUnVtNPA_x*z|8_ORl+dHHPgPMtF>2z31*C zo7vw*_L^>c7bn%S$^YpaP@VD(T91h+gm#-=h&KA#=E!Z<#&osmS=yDW3>?f!QaUVeOEGxI0#hs)BWC$o0W%s$axs3VpJ>R)2x$WKl6L#*wL?SUBW_Oc0 zFH;r?()Uz5E$=R~SB8oZ_ZbvJUB;Vf*)#lq{KWc#+5$nYq(CTcgxz@kXwGfm1?auRq+rSUvcaI zKJxr#llqzzY>fGOW6WQiYN?G5zH>at9k z3hhod&z_E)f1T{#J@rWlMHOO7s0~b9hi_m!-6s$miK0v_I6}ETKoHO z&3*I%zK=eu(Gj{3meE#d?@Rqci>qfBGA@WETBx_?zKm(1zHuOTU)gT{zLJwYm}{W9 z26{ZS7wMyzawyE|vP{WL?I&BvUPQb5>C*>_pjPp6i!GT}EDxFr{l(H$meLLVgW7YR z+-$a|S7tFSpgB6x8Tv=h*xE~^(K3}DWN8W@2C!stXf1Jb`&)ATB?Le&BWBk3mxEZS z2pNx?J9mJ-F(eck5B&pVFusHx;3NlhLJXz!G9GU=;&sKAodjGcIyMDTR&gXMRX>#51Xsv9`2%}x?lbARvRy` z-bJ3&=ni{_>Ln6&s0>N`BGeOR4{y&MW-%{5mV21)#^Hpmry|6x;l)r%lgxqlWlNrY z;_ql%50BmaNO$|W)hqYvisF~$(A6Q6wzbERpL}tsuQ`AF;YWUa%3C{ggB~uofKOS} zS1%rJ+FzWq+}cyaJwgxq2zeW@k7DB;Asa7yBv+=UPm_D3^isSGln8B~0YcMZ`AB^j z9Hk$Zl%+6BIZSMOE^Wy^r%4ZDE{XIdPU}~LvrD-!L>Hg{q6<(2IYPN(Fc|y69tgv*F6S^l!H_9i`AT*+>2(g_`l5@;HS-;>( z{mJr#(2)!?I$53xqGJ59uzWh5>y>To_sRy$>at83!PK3im*srdic-6OI%jNN_KBVK zJv0?&Ptgy+Q`&QZ9ur({!q|SeBU6WTJ%vs8>@2xk9C=}) z7s6~`d+uyG|AEkhT!@gfB{6%p^rTG5aL%Rv9C>W`=PZ^k^waz~4wOB&J=ZUZV!8cJ z%IU7%85x|eI;V(}u5)6X?mEXk_jB#w^wz}`aq6;EaY53a^WCmr2C4QJtH-5Pm!nVD z^Yk#z)8nV?lfmWA*Xt;wgm{NIUmuC+2;HJXE|ArBY33vGHF$5RP8n z(GyD^X zw%K6QFj(Oz4!R#b)M9ii zdK8`B)@T>KZe>Sfsmfkd9F;v zRZdf3g|Q3L%vBu?*7Zxn?XF(bFm%gO)&Ep->oB<5X-MC@RPFjBM0B;&n7FUfkV@Xg zN(N3-sp5>trGt*9-~kg+luM(%2aO&>kD}cXqa(Q{I{voNV$O&ZswH-~?%%k-i=OUrrru}WFuFsX|hIdWaFkyR_gb(f{vCN zZK2x+>D$kGbYGpdj0GLPWpo#M6z%-QXb-&(UHY5R-RQQPI%g-A>GZUuBW)uC$-ar! zwlsQBveDM|Mh{8$&FsZ?qlYCOUD)5~g5=-aIr~^6M=CzSoPOu^TjM(5J1 zmAqRHH>~0fbyoB>r#Z@2Ea|M0b0)XiX)fJa>)yK~H=VcIX_$OuS$Nv&MNPr4Om$H@ zvzn<~YxI=#20i&Vqhoa2*BR`;jh;sLi*7hx&rRY_xo^E& zoF?}%^XE$8&m`Z%o_gKrG4v?f`IFHRdL7z(-{^64+c%iWX`@S$kM^2RG#6h-K04iE zbPBx=J-MyX7P@VybM|gVwjle52tUARN7B)g#~Ix!>F7kC(XOOtIh8Lmx?A!^-*5DQ zbyhC#G)5oR<#~BV`jN4Er|C+b zOHUh}L67D;8cP2-RnJjQISui@42PcL5cp5EE&YHC6oO4!g*OUBKxDK6|=+}CD_P4^e+qrFjYjg?SkM`~} ze*s%x_*OWIo;>F~9iMI{U*elDFxn#j4*K`gjM1BtkB%Gm$M^DZ* zdJx@qC;dId=xKC6I&qZIiOtDJ2VIxx{K7Wm-^pY2u9e|-cP(lN?q6AXjNaum7am-x zgLI+Kh%gfS;X3=(nVaVBcAC9MYu&eOIXdok8iHr44H8p|YGcgH4Yua>x3SbGg)T^_c%?x6)Uwf zvvd!uFz-q;%jk9YbTkgRMkmyg@5yOfa2gT|u2k#vdq;syyrf#MU!x+i_ODv{Houpx zc#v_@G}?AAOS{zQ9&|st_jsdwr4#64uhD(d3AB5W(HY6VkNA6x9*}%={JPOol7Amh z$!)%BR?$qx{Y-{a>xAC@PLs8rv3ho)k^4DZ7aKi=9z_pbZ1g}Ioj}KT8a;w;dw~7- zU85(^{SS1`e#*!gIZAc!b4I6jB^_;z8*QQ6zQuNojqXABqchuHrTaXA9!013HQL&Z ze01VSqkGY950d|h(WTwV7k%H=IzM*FM<>2-v@@T4bm0$1Podi$;`W>!==kCS^3jDO zjUL~Fe01ikMi1^uK05J;(cK;7k8qfOWVAWV!(hZ|9ICgXk$I`V)duCh?KBqZoY2FH zKB)}~1BpsplhFT|BQ=t!IxF`u??#O#sHc-2JXY|-!j0o+%V02d(BYL=V_I}su zCWrTCKvYlOV05q#>7%Uwtm|~WyD#ZzZ-vnli%1{sX!I6bU(=`DBTi#)ofCRk!Fo%- zp9NUXp4B{k2Sr%%dP~2bKT2L_HORczVYyv(R)7`nUA0V8Sd;ryE#1_2oJMQks-y2n z?>qBS`_(xCK|}l3SrOLc!BtDQ^j%u&t~#bAtZ2QZ`x$(fNA+RXhxdP%b9DLj;o9#m zYD(N`vW6EkuSGV_J4R2V`_Y-d7;SmXD?0wz=vMT)Vn@T!rZ<@L*n5lz;+z}wq^GIu ze~i0oXQMNc{8&e0?;S=b%wIa+Dwo>#HH`+Uv3qRF4+c$Cmx$Y_6mIqdc z+daLg!5Lj0p7!*j#(0gXPbit3FnZc)aDKcxT>JE*royjHRYYpr54h4_jds4mmC#n> z*Ub>oqv+DG(IdxkDRg4~ExNwcL;eqmUuLwkjC^!_qtO}k=np$*-)>|PxsGc0QKMsY z+cW5*(TU?pN2eb*+Cq<_gXfIyLa#$R9~fOgxBZCj9rg{~oskpB{}FrgXGT|!-{?p4 zQa29ih|1gbv+VwdYn{-;N<3O;1z4GSD|(ib^*bi2w4Ba7%k%UHby;4-J@cxurU>be z7|**#J0~(8bYVtT_ofHEF6wB`Y+m)#k^%+H9Q-Py6wr8O8SSz8~+`5FMNi z*Zz1>W9F1fv^oF1=bYyF?AiwOdryGfdtt4u+l`)^H~Tu{4$9S^WA^e!N9eYnbTk(4 zsbrab6a0k98mU_5PQ@zKS>O9z{+a#_0%c2>rHn)W`S#rN`it`C z`BW0(d#dO4r-bMT&Bwijj9aOR|NOh=dvX04CvKtERqoSNM4nsgD)&nAK5kk0&=nnTRPz$G5#~#<7vx))^3VCu`UN{IzrY8TFX->8Us#-S zJ|F#a{axnI^~d&YNPD zK%G;>>8^8P9Jk(?#YDYqrBZdSY_H&DS(I{F4=jvO!&))5xmWm_r_9$pujuu!gaohX z85T8dTfb=j(S0Wz`;Y2&;+uw-%oM#U+r1(}4;7%8c!-b7p$Kw>a=+2*{W4!U{6@ac zD8Eb?9-o0j5yU6xFSqAj)8Bq$c~A=$7kW*;;qqUtbRM7Y){M$c=pV;asytLzwJHoy ziS;T%jfehg?YYNdY&R%^`h;@t>95+bJZL(!*AWJ>#h?gci>+(Vy|1?zmItxLBn+Ai{l5?fjR@sF z(5s5&L0!5sfD$GQ8V~*V+HJcjpAO|wXc7%$_nbK}Bd< z`I{u^DL)1JJF9J!`*%mBHz7X2%ZNvtV3)?+C(NHQJ#bu=x28S-hYUtwkH*|Ib7)Kt zoKpU#5(*X#M&N+P+^6h6Aw9A7jHBP1eEsfKx3)}}C!kfSdeycb`t#X0?eWJ?s}ne> z%9~05$RE*|`-gN|n;zI@FaQ&kP;gvj$;$mxIxQ4>V2>a(^iO`qVcZBeVM70_5-xk-K%WH19xtMX3C_S+%?Si_cNdp-#= zFi?5Ij7&HXW@y3@oSG`vzI1TS{0!V;om+g~p7YrB4hyfp;LYkv4b%mYrUJ?HK4(W_ zr)q5#&q(rWQ~JzxmDfPz@aOD6?A|)NxWt~5`^!aJ&OCCbYJXbm0%RC78ECBREoB0P znN{IHm}L}>gol*Bg_-UA2FRZEQhB1C|LQ>W)NN(S6f6qnH-rYX=?Quo1HqKavTsxb zD=SG$@rEqbh_aJhugH{nvm{qE{Sx*JN5U!1`4mXkw<5$7W;X~2!t4d%NSMt4=Nmyr z-5}w@V}=9az;GnotvNp%v?}4k6RJE@S{E)Dj)eO(=bJ#+*q$)kZUYGyjtob_gPQFb zXYcUtzeaAEYBu+MBCWC;O2@vyHHS8&r2wM4{w&-`cubXv$Tyodbg(dsA|Zh=3!=ke zWu=mCej`j4G?kpI+>MxEhMbaM@fouCMe&&}{QSn)OqLGc7`wt5;gm^@h*9ZA+Gci` zalcV|Z6$3(!Fq}`&8AgbDgotHXs*iGw8()dZe-ICN1}vo0;Vd#!X=e$lKu)08;*o~ zHRm@4TaE1rGhNLRF3fa&L0T7P&f)xKAk!rwo-os;!-YAsH6rW$ARVw|uD2j$!f-}-M6=%5k;E}{;zZ}?AZbmf%^|d9eU%EN zZc3Gn4LQ5;v`~dzn)~MWQ3ERV=XuVdm>g_{?23E)eaRxZ;;go5ba} z;{2L^=5wc=*io&mGFx#j)4b(*y z#p#*D`@(tJmE?wGrJNV>yGiqIsYZgZ*FZm=r=2>A31RWx~!*RH`A7kz}=0cUQ-qC zZd<8`&V2c>EB37>xs{p^ZOh){)zYD5|Bp8;{C4-V|NMJG*Qi+XJ;Uzquw^(S+@-Sm z)ns?Bm(ZMV2gj8?S5`oHM3v{u3J7PEy^Tz2JE?=3b#Gm&7_NkQ!n}Lv6k!es2R{<# z-2=|g2YC#N?Fpxqzd)`a+$ug-n6Eph!xvyDl)WIyuV$6KEi)ufltAo)Xc`yh$s-}$ z9b$QVV6k}HNyEZSu5cvG>cROv!8AVtkZ@tga3CD3><$txJg&;y%PC~r&98Lc^sBai zd~o->z1+&`mK~A{l-EH>#)JpL-KyM`bgh=@p0_V}KV?D_2}eidI|-m$JITU!GRBhO zjPQsm?~-&=r*kEyUBX&O-!ry^ZRgn$B)*Y zHJSPLoHIZD^t$1mBQ}3|!#ijHa`YEtwE-%#4|iC-Rs5W#x6(oyAFRtQ2AtR@eSFSo z8=T+S(_l`}p1O$4LRxRFwe<8vw8dO!=gZph%-9zht(VFZJ@{W8h)!#*iu*F$mi2Y{ zMN~~HTc1k8BZdQE?g{ZDVHQdbmv|BB9L@Tm*$=i1XN0v+{C>nwDSJ;gBERRBC#G&* zIMB8VgxR3FdEpk#c@LyF9hGh1i7x(E2OclE_JPu;D&?1m)gcQE%^Im&JbC9>!n7AZ zXGdZW)Y>Xu!d$0ot+4o0d(L+6f!sz4%a*}U>z5%U6fDAKK@2y?beSRg#EvK|}> z4=EeY9|rbnRGzSFLIPndcv4syqU$`j^} zIY9b8V65zeBwTpRa3IW`A$}y>tvP=rXjQ_6CzO3KA%Sqga3tKP zIe!%B3UUA+MF;4w4i|q)*@sB$!bQ#bG&o>vPuMdY2&XFHuo~*-*!3}oRkmAtF5GK4 z5N8y9s!3-=Y=zdBjGO1`J=&vu|45&fdyDS; z^+nY;=|L0WeT9g$;Xt@Wn2UXdKll8j$-6AQa$t**ZK`==D!Y`Hz2i8hGzIG^I*xox zyZIiF89Q1+g$srQ;XYw5(ZhIpRrwh9-7;)$0v#^QPCizKFHHZ1BVo2OoIf69CyVU~ zvomzK@TAIqMZ$&0ln>`m00WK66XwR1kU*FlSBDEvD1R9v9{S|voj3dFuhkK=GkfGh z%ZXsVg#%%_E*uH7P2v2B;IzsvlW<|4VZwp%py5b3tvP=Z*is1>o>cY;Oibn^CT3ii z*2N#voIe@tF}5e{7!HJ|RC&3C3l}x#d%*$aFQ-Mfmlgw+m5@MuI-tXa9nJYuz*v<} ztnP8qk=8163h6`tt&60N;a6hwry^Os6KUOpm31;Q5SO*bE z2nWLK`d--?r*XZaX8k&FI#mPfrSe33mC%j&lk&W^U;4w-@6K6%T~fbuFd%(V35!+s zR4#f37->|VFnz&RfiRsBj)duqgr5m=!ki|36fPPLgz3oX5-!}W{rp*=RS6enADtns z3l|JW!hM?aeV}V>PnaEZhAev@mmfNVKbwm)c{WPTh^dLGk?TsM-r4vJUSB{sWjGQp zsq&e0{~T~wqw<7VDr^-9x2o(pyn8b*eMI)-M9S{R8Pbjl#OgI13DeU)_C$u)vU3?_ zsSn44ln&!^%Ee=0`$$HRsO*TaE1rv(3(t{s^tvM{7XG04UNl_%V%Y~euIGaL!GnD9%$N#$QC z;lhkWI1nCC<%~?(C1!4fV_2mxlnK6+h_plyEzD%==u3%C=@#>sVV9JB5sB_)*dxM( zi=QzZ33qAEUk)aW?Fo-7|68gE~E$kD4exOLXQw_$J>(?}!{^bpPufSyL> z33K^NMMmyQG@a^kL zx8Gk~#A#K&Ofn@TQvT(VDLkzG{7SIbgm}Wt&}DQWvyu+59S0;_e8vgquhf~^_JsRP zNFdx*2^VH`68=?iLfI>-hpuQQc!hLGn0+W533qEhe-&sM+Y_Er{z~c4RdlGNIpo_V zYemb=doRqEtD_t?HF6hUO;YcAsXWoGmBjPdw2o0}#=i-)L1_MN@QHI2LX- z?A{1_!d&7;;!}nr;gTxf$Pvv+J!nqq8>HWZWN-%#%A5=mMYi~{_-q#Oy_@h`3fiGry;%FZECx(B^Nb2 zU6neC(Ep8w3J7S753J2mk$AzuRd4>&bSb$yIk(X{wCc%!E2F&CNvGL5qPERb_<5oV z@EbDzZTiQ^Dq5YKmpZnZC_fQ=^6SaI<}kCBr83{(%i~NkwPxs! zev-7;eEKG1U6YwLV{#i6@PEIftf8c}b77X5*J@eSpZ#}2J@x{Vll}#lc4y5f>>zFM zk~Ku9s;#x~&X8Kuv)hb#L%B|2=9<*rj9A#(;>MIega0+GN%=D;cYE@i$$_Li&ZV-r M!5U}P%*p%yA5iy$m;e9(