From d3356b073d5572da1e487ea8c51c733a9bc845c1 Mon Sep 17 00:00:00 2001 From: Kenryu Shibata Date: Wed, 24 Jun 2026 19:39:16 +0900 Subject: [PATCH] added exp-detail --- out/report_t-2.pdf | Bin 214914 -> 214755 bytes out/report_t-2.synctex.gz | Bin 37387 -> 37383 bytes sections/t-2/exp-detail.tex | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) diff --git a/out/report_t-2.pdf b/out/report_t-2.pdf index 7796a6e366c4cc85988fda0b9710371f86975dbc..89b455cc99a1e42c56ef337b849327dd6f399a2f 100644 GIT binary patch delta 19481 zcmZ_#Q+Q@w(=`m|jBR&pt7F@?)3I%yv2Ap0+qP}9gO2Uw>-)cU-e=?AUA3`}8f&gm zqej&Xj6*n#LGW(^%mo5j*f{z5VVzx^Obu;eJvJ`&WbDaWQF=}^9+>&zr=P)?Fvmyg z0lS#`M+Yx^WBTtz5IaZly}7k(at&*PspLY1mebIk+EUHK2bE)Qf2|wL-+0TV4&pKc za{?7eO3scE1MP1g&ySzgWpU_@;1~PX$b6tx-|mw!8js0Bq~?Kg-&vBn-_j_`MEgPz zD0-}QdCg24vLg|BK6OdW13HY$54i>i#-b>?qe z#7@OlBSyPLp0})C{kBZSZSyLz)G}lt435<97!__P);&ehiWhFT;E^0*eGVNvKGw%3 zl99$H+(lkjG17HgjuK|1hOPV%bG6JUrX4k&Wa)Jh#6$pH4*@h3D^P-)(2;3y9s$5y zjoPdM@~A*J75MC$M3e;G^(N&SHz+fXs@Ui&-1ucJC*h6ui*n{nC)}X2%R4$HCjL;b-__q{~52 zo2W7dZ8X7Pi)SwxE9p>|c`ubzqvIa#*5~QE+n3o|-h||{$3%~8JcMrKu(+-3Op6iY z#a!-|ObXkY=G5Rdrxg4BDU;&?e|0b{``??(Vn)rLmXu%$$wbVZ+g604&=Xs;o%~Ay zT)>xRr)FN3E<<;dC$&6wxr;bI;w85m|L`52sUS4%k$A=4cx5rzR~XtpV+6XkORzKJ z_tC)8S5c{R*{QhvtPGl-%VxAbqHJ0%ORU?wa2;=y=;(THmsmLoP{Eq^4PLrjcgK=G zP`uaUmf5DRCr5qI5#i%OQq13%*-kLXFhGFtJC|V9M%|Fqs|_HqlR0#gC+1IO5ypzx zpL?%SOk}*jd!2Py3yv}V1SYlWnXL$RRk5jtCO`CJuv%jt*=R@jm08bRIpzdg^4~uJFSuw% zq|=f~e`7a48p$>l4Fap4NIEk*LfMyB^3Cqrt~or@ z+YQ-iu1n7*cY&V|X<4~UZr{_rxj^q)3v#w8%ZBp;(j^ZR9pdvG_ceIA)$S97`NC%B zQBup+BJq8Xh$0xYeE7hG`?00yToKC@TYFdf&fw5l; zK2&;;!fISHs)BaP)0LidcH*qR2pXcA*R1xNmMU?xLGzmLb6oPW_4}XwseoN5#L|sR zoah{+{V;@j4YZDaYt*eA^w{hVr>n9|wAETqS5_d62g;cUc!`BzVIyqY5Is#`K|m&r zt*vJsVMu8TVrCNTVe};s91w;rB!sVzI7VnJpVyewq%f2=Mppa~R_-#XpAy;zKu0Fj zZ+^zmz3;pA;+Z&g=^QkXSRfo9ok~U*SLWo;+#FG28Z#31h^Y-R8|0PWWGR|)gc%G8 zFh9VDOGIEn7q5*swK73osrbHR!hsZXhSvK={*z7ljEQ*iIRt zb)?*#h|IlgtlOp6U45aSH2RF&%h?P&Md2CpETw?3(|gNApNEY+(w@O5r3EfD7+~ER z{>Jkkft3(v{*Z#c0;%x>I@sQILH;UblA)d^X%fWXXwqA-gS+Hb$+laB@~Q9EvXxz# zb?xIhjK3)|!(qxl?SZQZp`U07P6Vf2XfsIORkR{Ou7Y0ybo}G0XpdnrvIbAhv6FVB z0qjbW&rVTa7kj}ZF8rtVOc7sFr$^@~+!6lH357|!2GD6HOJ^cQo3!{2rgw-Klu=du zC8`qacDpa)5_Izpa{4i9Rlin9m+@X$3w6=d1wuwOP<)}M4)1d zhKA|dyxn-?3|Jqpms;Cgg=l^fw6=}FTX2zhcD!Qw_~!;fL7fx%cB z@n-(($d~x7<}ZcGBNZC7OeO-c^@~&Acr9Vdblh-9;T0~38ckqF*Bgxqo8^$kFIfM= z{P^7UjNB!;LmYE7yMzjwVGMd7J}TGTmF;>=MvD+P8X%#FWkXOY7#)k7Y1F~CWIb(+ zji6TcJ=CF6{w&oXNnw)=TG)bFAF>+ORz-~`_I3pexY0!j3mO9E>7q>LkAlQg8?_du zRCT!i0r$Gr#|4W7peln^Ft;1ZZPc>oO6il&C7w-a@e+#>S;o0q0$RV=iDh^K%^Vsi zW0k_11~Ahbb9`FV{GjgcY)(q;=YTkD(zI#{-F6N)%3L+u6!HM6Pt2+Y83&rRx|(sf zmTdJK$4{Ifwl*vVW4jF*&*7aFaj`*pQg?9|E{kFaK2Xl*w^Q~t8kYg7KeEolU<(LG zZ>jcyQNgwGCF;L>Gb$35NexKD{Q0tH5Li_NnSeW%`o;-2Yzs?Phn3}p{59$@*Y7hc z<6BMlH-3kwP*q3C>g7lkN7G#6h68dVwU%)R8fS!azSY6%g7p+f_W;B*bx32uMj8v3 zll|nCjw)dFZ%n4}rKWD8;>ejJ(HT!6m^C4=JDu|_zNIL&iZrZDlF4RtClMF1XFh9vcYLj+4$9%vWKXuRXG%?JEc3mg%F1FN@+{YP%CLL_2?fp>@?6Wo??94ASf)uZ4^S+^f`tijN3TK{o=mg&4>lA5 zeJ*~N@iVrW8glN@Q%;#8|Hb5j_AZHQyS&i}r-stA+Zsa49R#*^IYi+AB(a5^n)GaX zN4EY1>dM%k{Bjxghp$J)$qzK(@>ezyl?Vjvnjy8(4;d#0xfzd2p*h$?;<-Dn4M5?Q zIi^zVgm6{yuvZ#mKXiv$c6siSvO>WQ%l3AP3KLn%Eb1R-RX5yK>LcHE$82IN^}|~o zwa!jF+P}TWZBJUxDk%fH7V3^?A_6vqA{C= zO2GvUPGMw*El-{jt@M>>b}CKdKLg#nEuJJ{QcRuY`}47Y@{>VknO+Hq&{%lT(JGE5>llXHq(fj27>n=9?oSYltJw zd!n8#!rh2m8-x>*d|U(YS0#HRI>`n!_XAhWRJsnr#UY-gP}y>O*b^m4w>=o_sAmE`=H^wHJ-i#SdwV`AV45~YP1#CQPQaJV!5nk<=?*rbhO8(6czB@^&89Hwc~c0 z^Dc0-Y&d^-xkcIfG~5Xh ze5E+nB>I*~Dq%}}HGdMB#Or~LLqGhwdfHV<{;v-$M^F>A&HVc>=1b=?z{27iC5 zDw5RQ&%{2;%$@iNc^sNBi~K*`UhZJsHFTu$S@G8)qZRHV%R3;GTJ?or*KRtj+qpU&HP`^n(2Pi?x1Us;%Twm(jLZ}6LNBd!S4lZ*8l_LFfb<4$dn~& zaha#OQkchZ)mjtW%#R(f**oIe1jjFHzbeYGg zAM0z@72Db$Il@Aho>0bBLOpuhpI%c6v{j`!H;m{gDXBb}73qZNI00>%VF$8?m{oS`J{A9_ zW9)C$L!OG4O&^RVjgA%@(0fPg>i+tD2EqB8ZzU7Nbn0NV@!#{^wL|kb;$rv=EfXG_F#?;D>i~6W^}uHlH`IB=5V6 zOBCM<%RHvc3GkK6TX#VIuZ$IhBkRob1#^4D!b0__ads|unGZ_K{HQicIqz=i7P+r( z|7Q8=A;Lt_*7wC&0?mbeh&tSFUIHf`wGrwqia$rpw6pr#oIbgvlm1oxeh=8agjmkSgYRA|@lcLe%rVGNa zEY8JYLGp|^iFXfPFeTw**!X({KQ+Yky45ytHK&{H@E+Z>4Z3k5xpKqXR6#w@w#Hu$ z-6pdQoD{|`oBv$LvL_O8`JS%v{dabD4CD(Y_$O$N;F%V$ z@^FFOu%tA`8miZtQ_&7CV--HO@Hf0s=4SpeMXeFVR{*LcjFnW;wGXmRtQp=|=RRt~ zch?A|zBR(Sq`S^j*(J$e3_2d0R+SE&Rr2DXjU)f~sd{}wN#P{My{Yd>*qYv!2Ml4$ zqI$YmzHC9$y(tR3RDHo#yRzJV&5x>jI1=cfJsB?|Da@>p-yAE`tF1jL$sKxdO3K1n zZHkVdzM#;_u!d!b=J5fKV#Lsq~i@U6YP^yY~GxiZcIXY z_U9@P+x`j+UqyQnN#1Evrbq;Q_^YyL`M8*JbK2Q!%i_ z;Nhwiz{IrMu>AV@?cc)?Vo#@$J^;Z-89F6 zm*7lHTDO*iIk2eQYy&^{Ykzfi1=m4~Po(1l0wIC2d8t zm)u@ykxR;j(X?Ek-SSfCYMg=&k}QYd2bftC`;F^FQ_^^t;Ym$-Tg$_~!Z+0E@t@wb z`3wMB8gnv$3i$K?H8%7T`t1gZ;6txHVF@|p)Pytb_(T&bTvD7gdDt$&6dhQKAd!i~ zdOksCywb@9b3cDXXRl26%uk5CT}E5Xiq8>GTLL8I%l+t z^AVJEUw!l0=*ExXpkF=w8~y2WV&~e82VCQkypZ(q)C~67H{0bGj}s~60W-}2DRR!l z?e^}Ql+XOp1Gzgc4 zZQTHWwqc!nLK8pEwWW-jfFBj|=At+Kch)9KDf$n5uL4$nD9acGEyqt#Y@Z~z|G>*l z0dN3?tb+uRL$1Ff`AU-W>{x9DgNNex@@>mPQ+L?UEwEhl)cIbnD}N>mW1{z*bY(c^ zW)+R9R_3&0ZBD>@snh6bo^JF@|Kcc1cJrBmC4UdOq5ols$Ki=~tjF57CE_>J~SA&=|Mh^#mx1P zS;Cd0oWTD;Bu@JWV!vGw)4wCfD;Aqw0xL{yO&%9_9APMlTp)B$JcZg>%|Wr!9)x~PNfP-k92i)GU8oUSn4ZH3CtM_D4*nW0cD}0=0*oiH*ygt z)k8Qnrk-$Ncf-2569cYN8ChN97@PW0;|fM!7Qm&BU4T~#Dn^;V8UmtH23ysap*|M4 z*dz>>{NX;ER;NSl2OD(tKECa^r5BElav2dT3Ns&Z8a{+1nFT%WD|F{mG>vI_PAoT) z@j*Wydm0ihc=wt-D-&)+=UYDiS^07+d{yv+avPyklf{cb>P9Ru@K}86r%$xvR!qi5 zM9_%PG+#9a?^oc}1765GmN+mU_dh7h(*aVz7}ylBbMQ;3;GsH6@(5whn`ar&zlLFJ zvorTexk(NDtJ2((epSc#+}K5^nC9J@v2%x17*aox6Fa*j6BMT6i)_+g&CrDJT)SCq z-?iE0e7!n%D;}Uh!(tqD5QJM+AKP`z!&Isv5j^EV5?A16W@;Q>&^t!c<~p?l)GJVa zAwD-mW!o_y2cXeFC8LWa%e1DnVRHT$nP*`m8KzzvcNcW;B z=J)(<%X$BDh+eNCWNZ%A{OkQJlX2zE_rSJbu`XHlg*SJeLU#BWs#Vaj?SH9C1KIyy z%EC{ul|^&M8@=9G{0xa~Sd(Pw?ktOnN2#)jV3|&w2Pcd|Bol>{mWWf%N5XS&!mhK< zPrV-%p+;(6gWAXsL)}uD5L67e>z6ICm!(*zZNx^4p46x7T>R-6!jXIQ?)~`c2jmn- z#*RJAic-L5OHT0x7I0w4;_LF@*(ts4)b!li#S07^;kR|EkSAGr@(A$@$ak%lxfx+U z*+1bL*lQh5R$Fgnh2r{#qj1K)LZoqmdmLEW7RXV-*( zElkv$1W4A+&SRF0oM=-RmYGK#J%xseq2z5HXCBsupHDh{bDW|oiPfA9b^XW z3^`YmyqZZQ^b*ZLy*3;s5`G~7-{$=VPARsDUVLmuaWslykWXSF&_zQ_AV;7^B+}jrZv~t{cVmi({1a>X zWlVVLawg?Y!=3cJTZ$T*Q4|rB7di9oJaMt+djLcekDe z(x&$T<6b1aNtiJ*z8;U7y&7=S;eJOLR7LwH?O-vgHC*oG0pnqX?DH6teL7fMK~784 zw`Bts^%mFHOb_80JGp75Mx6J;%q$RQV+CopIo2_c@!4a`GwgdL7zU68Bq-6;8n^I> zULF;b@F3)hF`&_Zl1+}V; z8~i*>M4h5-RjtAVh<=8HIZl`4Q4~rfab?seQa@RihTA#Ovu}xw05#;YCfWo+?tXw=n(-eu;X)fBm8B>Mmi(#AMYEGrl))Fcb%or z4AfZ_N((}FmTcE^{X{8soae(%!2}ZJlBq%QTbFv#K1QKrrjt`VS;&c#I`5y${Arhu zkAM6s8_}Tg*!yhRpkH@5)LLf{OT`gzsmMWqxzgP=i0%YEI5u`sw76$Sq6=MjB*`aV|C_-;giiR zdMD;k*~iAPp`1!MNdF4n(ZqLfa#n=KM;u8sLfR;6Q{$>s@)CZPdTYc(IemVN%H5Rk zLtR}hmC?bP&8zQa-WVpmXzk#NG>znBZ*f;l1^4%>0V~DET*GfVzacif7BXg1ck|y4 ziHZ(ie>cFJ7yngMao2X>mgs~_$%p}I2}MS3jFIfBhtl+BV6WoR{gz;8ib$v0{nrrp)| zcdx&z;;AumuWdI@T&YGS3vlM8_ftw4O)9OT{@{{tFe|f~CywwH2xy~14GjF|iP9Bc zY`E68G_6PhAjHB%oGCS4mvS>A>eHQzIUjMd__+D3;Dx3>7QF7g{CYWhG2wLo`Fm5p zMd!=_NvBgNUyRr_B}(pWW(q8N5vg#!Ai1T_FN|&VWe(2gBOR}Jyx|awbR^pLKlIj% z02~0WG?ZchIxwuIRN{yv?Wf~k%cQeVrFx8%d=_N*88{IWtrm~|$drF&Nmxh_R#L~q zJi%LNMR_O&{lL_pXon&jw^Wq%Kr~1^Z9n;Cj{M zJAHrTl{dWSiBgnI%JZ6*d9*T_8a9KDRg^*pH>sLouBf=ksJWWHwOBg;Pn4{sk(*PdvJMe~es;xjg$9FG!Qz=Pdd2T}8@UNeI7}&5 z%MH~tOrUA3a#HCQea!UCg0z52S@J^bgvgGOY>RYurJ7Zd<9cUGCY?U>rBs&$coJL$ zIYGV&HcEeMbZ}0(xCg5K5d1*g4J9Z{C^U)Yz-AB;46$P{HW8QDR6q=45jtm`5V$&HDOXFu?=ogK}i_m48hq_^gDD(f0aONIE zc>rqni8;%U1Q?h{`nD0-*mi0dMEz^1Ph6hJ`oHQ(5^ktheGCAS4=l2ezz+TE9`_#!AGAZ zJfBFS$N8igFhX<;SX9OP!_ZVi^g?}yivR(%0Ew%9>s$DX-d=E;eo+n8AJ%J-FOMUp z=ne#)ti%A`B46EIpRG_xuQ|&f;}KrqTSiTBLVBu=7&a|FRH=ImOLA;MYNbIRMwsr0 zc8-qxr!MLisYE>mk;J=ZVAek;um5DrQgW#D**e%7BWi8w{Iu>0w->mcCj@^12C2r(q`u%kze zQy&Vg38A!nw=l!8oCc^?I1!TIzSN~==v7pG7l`EufX5SK}5U?F3dHk_fqwT)C-tG;Vd&fWDgaF zoXar!G3&Zd#kWi%&zv&09xeMf{gwIQfj87x{~iy=sJ;9)c*ypkQzu;fek0+;K!fMw zJ>Fs1x#_ReQ51-5p314c*~g{~hiCp_{!9p=_=rTw<~O^(3?fh`7Hpd* znKn&O%5-3dYsidNdrt}UZSp&Z;P?`IebZu>jdP^>@K)oFx2Q4dwY#m0ax;!lo z2hWXDicn*-!HFd@$)vYhg6u9M-DBo%(9mab4a)W#SL~XH6XM$ChT$4LpN4pB^uarhw5WWLrbQEHI1_8G0RB7Edwi)=WJlbXG{iS=!KmpD$bf&1>Z*7=_$Z*2X=Odq2g)j4 z@(@zVoRP&a+PGK`e!N&*clcn5ZSiY1%5aQV)xEx>`&H>%&0TfAia-H3()-_416MdjI2=kGP@@W<>7T$Tg`jQn?lIT1V`Iql)!FX4 zaZtKG9zLI3{iZ4^;6F;wi=mBvt#M75raozYfBEAaje#Q{Z$JRGEI8h$yjjNhH4b!AdC=fpc|s^0Y;^ z6bi(UjDMA7^bqDK#~9$xu<{RKo(GZD57zh3GGd+&TG-R<_Z~m_pj#-TYn6;>_mdrT zC&9EROR(ePGTN&zh*9$uvTb#kL*jGpe2KzZLRDP6fmvvUrp^6N+ih0@B!Q|bCpe?m z{$$9gpkx7piIf7+!DP^6 z!3GONd4bC6dVEvT=My%Mbu(U8aT6%3)#m2b>)ws4IhQ1x>xAzo-m~4a-q)X9x%a$` za$@4jta78K7ZdB>Q9+EQ=0H3FHZ`a=!2ZXwiC;%5a?JG2Z2bFtIMbl z4Vxi2bTNTX)?9R~-sIgX?TNG(&4h1w45`I3X{hn>O?FC3dpSnhRVwLNtjeJXh#x~b z%F1qJ5v>%IrQz-qMUjc15xT$0l`v#XQ89qd%06XPd7>2y;bb^Y>0njtOI5ap2H zr5HWp*XVd9WGG^)Y;m{>)kQ1H=VgyeQA>z_&(@oDx& z4G3@j=XXu6J^{IMee(I;6+yg6kYqeY>Z`bd)z5+18EvQOr@cF~y=Ni*qady}n1Yp_ zrwD2$ws)3x4qdt=Z)faK>UOo3f0jS-)_Nmrr0gOpw@Ic1O^9T zICWmkzh{gibT|^R*%^GASkQOS3xM~E$Sones9bc_;=mDj^-BF-TKfLAgm)+s5YgnK zL{(&bseb0*k*u}%o8gy~atQ-hK5!^24*w8lp`_u3U&)m$ZsyngO$OfJbE#~E2PT*` zPkWcZ;d#Q{kHtTpg22vHab!3MGg|xgJpkol5IHM4Ru3Sb3BO=)^a}2#<-2`B#Pu@~ z@X?Hn1-x^LJ7noH+5>%PI+9_#XOGkRdBaBUmx!(03}lJ09Rnjh z7fR=fD%7%9YjX;I(+h$k1h*c!=J=Gc-T;9e5wN0im1B87z`wKK&Ioodor{oF(RPup zSP!nO{tL#7@?ED62S1XL@H>7_k!PC!6x>`UD{l036{=lM$m^rTKkE2EG_&!pzmV63 zRZC2tL|}(C+cOKH&-7$!ntj~j42lW1yE}VO&$uV9KXxPLml^yoTlQ6}XG_E*Fd7ad zaG)mi#wKr44&0O5b2~GgyagYEn?pg(n;U&0xL$EP>LsbZQW7K`x9twkE1RjmlU3<# zqk|{*=(BuCO*haDZ>|)dngUZ6GpRY^Wa~8;4NET%$QSh33f@Ni(J=;j=^72YV^dbg zs`;osN95O7%3sHUi*3Q0%Bofz&xrQd8JKCEhfS_Go_RP*L}1@{PDt=|VJ^#XG-*ni zz%6$K8@PSh{&4nQ3JDT}FtKB_FG#JGpOAVr&8H7tR^;Lk`zLI0*E5@Pd=Bb%Ea;Yq zk2&m59Qf~a9rB6*?Xv3Xd99|o@Z@c;@3~*QFU1Dg(?qig%O?0*jeiQ4u5UVOv4GtS zDwPqIpi#q1@tKkqWl&AM9}DnsXaT*^KByhszK*!!d%AiOT;G-2BrtD;4u6P04t(6> zdm8-h>7Y3Qt@Qf5I)V*i?g<~yBfFmPWeZFG|0Z%acg$;AjI;H^G`65 zerJ{T?pIlui`6kyIW@DOMBX5`Z(wWl=S9^`%xINaA^R(Il^rC6s=ET$mazluqgB^3 z#+~%pywo4?p9qJm9kU1q*Tb~7)x5h1zH=OLh)wuvU!0t20)oQDEY$v3HEGRB}bCy2Cu}7kosAC2K#xgcG*P-kH&D4ZmS*gM$R zM=;-2sg74vK5N!AeXiGmVBnc6QKA3o1ct_cI)N=MdH{d}9CSn4BnMwfPVU=?X*b=R zuTPnpTN`mie0?9bJ2ixYd3eYvqSR)4AIXG%Amt=y5;m_wRk! zv5L=``%CpHg$Vs{+4TO!&8sePJGj31NB7=*Zf%?DWS!JzwPQWXGn$jN#aR*kUq{b? zHi~Vw)@8M-cOWvb6EyP61}RI1oP~tqx|TC9rcYAq*zv*XARc!#NJLmwvf7uX@#-a1t;U%FUo5l??eT2&Ulz4pVsC(2qDfzLTeM96?ODNZ>yi0 zW6qHAtU~rrO#^2l>jb$i>sZuew&I-IlkD;v!|evY=REeRs0wsDcoNn3FM>r;%|uh3 z^#%3SAVdnkK23QF36J84QhQ4PO)p zF&MLi;Zyd2|6HH6)eHba8eZ!^m~NdAo$jIMTOC>fZ2<65lUmdNU=nEm=X|g+{~w&< z<*fhV6ng!N;k>0B*#WT`2ptu**V0m46UI044=Fa7e@H#c6?mKy6aKuPI-350vD}_G zApBs9ZapW=NXEfgzRnbk2t_RA1kRAYT~ODUV14O|>Q|^Pv`!Qo_7N#~w~$%yY~h2eGIf{@_mD>@I#AE<|1k0E04M`Rgk2*J zuVka^xU{y-FkNu#Cli_f>ZjXmk7=5&rd8Q*)imv$N?XD`puCZsS=5skOF-H5VbYEJ zyH1sfmXe9j4*}t|4jz!O3{bC+Kl3%dUdd+fXP@tV3Gh^?nD9n(SMYsn^LwsLW7NHi zTG}`*(4fBcJP$U>c;jGr9P)w66v$5dToCp8wJ!?Pl|xJyx#p1{zB&nU6OmPkM5U9= z5V54@=Dph8wc^z~mGwN_*p2f;%FER}!3NEanf70b=4*(qjI)m}e}mm4WID$I-f zh1oWArdc@9|PQik@Jm z$cN#Mh)QJGr;hCRY;`yw5k>rTe0*#);b!YRM@yPm& z-i1w@vyO5-|G?}C1P1Irnh#EF4&hiZ*UK-tD!cmD)Tx3r#oO6Y?04zWHL~Kww$v$e zWS`pw1ZQa4U0_L_wxu0X63RKhe8hF#bF|+iD%KQ;F#KQ|W54QU=YGE(a9VsYbPUs^ z*1H?7SQY`^bov3mygC1Vk12o?qu+VPEtl(+0@!fvd?f~a-fp*o>es!WdjeUHyc;p8 z4=EYbe8$cRD7bv?H2mbGZ()~df_A-OYKYtmk~(uHXSU{J*w9A%mRy>*yO##C!9=r> zX*Yc8d$75{gAxKxmk#Yq?7%Xy-DOguv4%c#ocS;-pU{DAd3-DQ(_-SIzwjKd+BR24 z(r0(v|3u6hdNF4l#`^3}0uJhDU(6ea&6D(@A0cZw*(hBS+olt=$%vC)Tu$9MQx59` z)|%JH|9}<|ZKqv`7tciJMT{PH@!cnv#o1FxqeF?O=on2TBBkh*O0TpyDHSIg)V>gY z%0$2YW3RNO3;=SPR?ok|soX!;{@>vA6@%X`lY+lQO(Zg28yPLEMaR+|DZ(&8JpA7P z@H!2AX%I1jkmu>gc}!$SRZ0`GZ)O6AMShYr_V1B(hksSATrx2*e#=g)?X{0JA`)%U zoSjJYB(7HG@l*GA&HCi0I=MIUS~Wte7-^A?e%dsP7M|5|j36}t7+xc9-(VK7Efh`9 z|GF^@&8qxZ*NG)p#@e{j%bC}JoWzUdG~R(i2qB;8$SV6NX@PelSV==!Hq_hN>RNF5 zg7h<(!h02G6lzsw@wtzIb4GoJmr#SB+m9ZsbFY~L<2%az&=4{=#?c#cG7!v9tNdoa zf}lAU_5_K?$IS*dZ6O1InwHlKFoFntEXYVmgX#ka0Ba6Eilc0|5uCi!I*;h}xf`=- zV=qZk{8fdNZAk(%@Qf+|AUfVMAL>d6$2q9h2(-nZAH-H@TBl*|>eCE(>^Va}~8SY!8mJet56&R8+_I2_-cgX&KT z1C1EdqqaT54W{yc6Nn6w=nZ?i;g~i-M@GZ4D%__k9WJq0Xbpwd4^ox;zS$d>~Cba7o3?{X|6s@uSH{uVpBys zOVD1K5&3^FYI!;L-)*%heYwOQvZuChBL>D;PCJ>toCE+Tdf?Olt6Rnc0Ab*uJkpOK zWD6Bg{w91^xc`5;?;fm`0`wDB9wvGYrxGmI4i+|lct=y&M(78|Dvddtq=JQS@)sEt zcn1&1F4mVe;qdIq=H&+ZbzZ$UQ%$49S`C{(_&?d_u*pRw11iWk*~c7;!_IT5?V~HT z#$^FN@>JKpOhRgO_Z17a0UfQXMxenfuPlFfT0B5x8&_mf71&@&6R7@uULDz@(#t|O zWn{?G@;$bNAy;8?eI_qQOy_-%)KJ*8rRmc%&XcRk^#$U3Xv^?lnn{BIIY`$B_bBMQ z*5g3{2>=}G#YpeJ7~$|g)%SlcG3osuH6!hka3u!rh{C%jz1{tQnKTb+g=)n6a-Ai5 zJ14?#cAPPum8L%3t+W8RtUBi7#x6$1#Ol_LW!fXdkg6pjbC*DO=l>~UvCMMcZw9WN zs<-Oft8TlwwUZOa?F$ufD9_6t9X3Y10 z3j{C>vlVd}er(5B=BkLO%IJ=|9Wn>ndq&t2lS{#53W=b19SqPkx3z9A@TA{{sYk7X z6cGZT-X;pi*lEQC6AhAY@A6m8H-Ziatbw&FUJ>&(FRytjG`#q18^JYgUl1Ta&^-&% zlrTZj)AUCE5h&OHtM23y^<*>6(MNYRsCsA?X2z^E{&=3NS7s=gEh5XY88f(@3x~N{ zW2VuGnF?!zqYTBt1`^&lAw!oD;TPC`q_+^Woe!s`S4qirudjH_Z>*a%Voh$4+de1o zGJ1E|?Ac{fzLL*!VVwZ|xLC>2|5;@xK-v_m=8nf{@sz*5VkL^#+<|j7g&w)_m1uk)to%#3g?&X zSKR;7*?4+GysO(*7bI3EOj>Id3t6wUT6busj1(;5vZg+qkZc;+tXk85+Pq3-1BZ<& zDr;KSZPai@6jJ85))ke;Hy$wYz124h*`BR<)+mhALih@qE!Mj))Vyt2ab?w`R;DVV z@wJ_?#OAf61E}%qlD)FMg1DvGR0`-KOM+DcYf3p9XP})t;>aH16JH9+YGvoz5Tc4Z z;uu{jx8-Z``$pguI)WNPtOJIZfwev8X^_TDgw5|;7DKCCfGFgQHxkbFASCpCws|$> z6Sr7|iv4)wf30ip&&X6m+B$g0wu2avEuPWgfQZn6`E)QyrJoLlv&)Ac0%AE_3`VPwpnjwv-Yt~a z3t8&HMJaTPygfn2$m{*=^&o?D?>^66#RUZU-^L(UDo~iCAgyp`=Pht3`MqCTz7bkv zg$r^QFtslq9Q(*M=%0Rn_-wPgGP^>5f1<>P(G zq_*qHRj8!w`Ou2|q}il`fH`$4?67zzPCbi?N0Ci7NuPbl9F7TaMQKzH#N&gdbM!B^ zZ*dX=egfan1F}niLlz!~!<>C~WnoQ-aj0YH@$MLFWV$d1gqaZt_tx*XHyEb$S0SNb z=;$0JY~u?h=m`d}m!QVzqib%-J5JlP5j23E9}&KkP6brSZhfm45N|&jI;)-_cT}&f z3f>$ILOQG7bYqbzjzNUTmg2S{!vJ*QyPBy@F*qbnN0J#dDv2r%MQPNWl7CI7TJs^1 zNPOU1c81*X6*Vr^qUSw-k03!(B4$gHhv|v82C;*t9I_BH zJUzHkg1xz&+-~$5P@Vg#XjJ-U|Dm#v%k^AN65@oF;;`>BwG6y6)6Zo79LxNCu@H0lxJJWdz1k^HY|%)-#+s$0Bk&2H?*86d ziVRL6+yg>dPyRAeUJlJpE_(E#+CryMCK>K5e4v}lY0vhIXt-k~NH@|M@(r*%+$Z_} z5kpw@1faEg0`%4b$nt;ojFxrRoi?QteXnc#bfWf=mEKwQ9ilNOQ)^8v$*!&V14dvl*c&#B^n}P;kl_D}kPtvr9~3+Ti4X@ORtzYf zg~-rN@EvI;d$R^cMhYQzC`K#(^bkh$S2W29BWxo%#6j)%aQZ>!7+NB%4C)HrAE!$W zYGOeTfj5kYT9@F=nx;52Fb%8f;GqFjjCGC;4kGrj$_p!6AOffI2Va^SV>*SJQWQr$ zP4?%*BU6L~aX77o26qZ^VoDGJor4ewmSuHLE<~N)w`SM_A0JaAfO!dlBfgMm80jKERP7vJndJ3YXe|9!Sjxm<2hx=v)1iF!)S7q1%e|mtEzKHv%%xP z1Pva}2c;LwVfK0BG}6dzz89_?=jwr0r2Gg_Crsl zb?@ROCH?1@Vtr<*QLzgUmyqccA)g=vu_F z7uX4VGJ5w)K9Jvw=BrO36JkxPgFBY8H1Ry8@)-{n#0?1yn$0JR5y8N5Q>j!r? zC%=@yaqscjnXg+KAqFsR@W64y`|&U1CK(-%ek4gTZNmcEoelNl`RnxVJwF>?H;kGH=!itFxj;OeBL#_!4NRXgSRq7$&-u&<OMs#-17Xpl zbS}w8`t38Z?8&Ok;B*Dd%<24l=ivU%)ZHoc$A*8l^zec6o9p5v%^pz$KxsXMOVfnK=uI@{r;BVF78~SD$)>1`>8O#ig!N zf!n)vuoF0HxpQfbBnH>=m!qO&&|M+A&@{E9qGP_tEcf9WMCL? zt;{eG4D&I%_KYn#qM;W0jb-;v4XMF+_^+I6mCav;v`^rA^Owu$Up1r>Ukr|fnheM;ZOGaC`85EI*m23-Ml+=Y7u%( z6$h{+)oL!TtQAWr*4YyLI+Z6ECE$H~?9TZyK6 zP`h|yo+hE4_HtH$Ewmr-+Wxzm@lMTv8mRy{?%)vSB8QG zx9J+CT+e{Zb6cZ}ITTL=_FTgv>Dav zPVin>qWN!N2)OmV%!B}jU*Nxm= zZ=DxB7=YkPicr0$*BWwY(Or=5Vf0d8oox?{X1ww*w=k)9prDC0arRgUE>js*>37x0 z5Os_%pcCKXoiV@H;+#a}VV-#7{2h0f*7|x`-E-T@f4Gpz+d5MI{{`3zC-qn90m`q^ zHs?ouZgKxU>R<4> z{#EY!o_`^LYRk6uD{A_^nC3sjDRU%5)EhA{lHK-6d6nn#DPgi%7>|X?I$zI2Kntap}JY9jD^-x%{yjv?rz%% zGR=bO4FYn6U;}*v4NivB*?j5v_t|WzX?iqygnyuYvrh3sWO>$7+Ge&5BW;Y++}dW_ zWR>gXp=8;&t7pcI@J{s^lUUk{0X?_%FKYTPv5N<;@GXUjZNg-;uoyMTS_+ffgsEm> zambLor7*Qkm~Ip%Is3ejdiYBSR6K_ zZht9kt7X1fn2Lp&mcq6&61(O`X*!l>TT0tXNzR+4#c@Q|#u0rx=vyt^N-9{w)K<^& z=3r89(jpKVp>8PPV=B8b)^L^IHU(!H2WJ}v=faFdaOR>RI#-5%!)nCl5)%ZbI^Lj! zs#)Nap(P?psbx7Klv?^oOI6gn%x9CwX@5V*va1+PAAdjO=>9HW%22#)HlE`hd*Jwd zZPi}1Z7<^X%j&aIuN8LXN;Pbzi%m3FwUW!BStD6gB}-A?-nVVTn<#o7OSl%#H&h&((tezCt0JbO9wU?Sc11JIRCx>Hhn$rPX=&C8s!z}4Kipl zp?Th{&(%#75i11_J{?`2AH4W5nNO~=@oXO?cpPQZO{c1*k*zqhP_x1sRdcBHzXTx#-$7FZ<>^L!b@y|?5mC&*_FUg2A-WSsnebs<26+7m4BMpU>=4t5( z>>}29S!Ipdfi>Hu>`a^1GgG9(*~RCBFBj{?J)DdN&zF`#14w_96CU*);JsoaKcyjqO#OJb!z3dHLe#?CjKS(!+0O!^+nNv7qFJ@hXZVc!?dm z&sCSHk}lSjZniAq2DTRav?1bjLkHX6UhJ>(UI5tvhwY_VdXxU@L~~1IPHXUrgQ6vP z;P)%MIuRWB+RC76I9sWguOFCQS(%#>6IQvI^RL)}Kzs z>BH!8meTdzQ4HY9ruO)$Dt>wmKOS*!h2Gb1pN~F#gruu)HSqC20pBVnv1ZaKQ%5>% z*Y`brONy4~*7_=bri$MKqU>Zqg7RrTh`@_YYLA|+qUV3s(PQ=O`{VT8+mi$G6la_G ziRYpp_7F2BPo!{qo*^-2G2s_Ge=S6BtIu*>Ejk4K~^#AhdB%O@& zbpB(S=jrX_ahlHZpZR!$xiKEC!7uKMFTpo_4SY;(^>Op~^|$w5i$GHczkJ@nDQY<^ z7EZuyu<`Z>hYetKJpsTEV(BP*-Os#Zba{fEP^U*3cf zR0peiwy3~rry`H25WWqHrJS|8il}ZG6)HBh$In#pvupS%zXDK4#C&&jdGeNG(52nP zPe0qFR2LP5UCiV{Y!cE{;R|E@ACm~T$ddM``3iq(mbG06ef#6n`*#O{}eKyjmx|PrpHmr#@ zU{m!gp~gvQeUga`Z4auhf@)et!h`dZua~DGYSduro-Gi{#z3g)`^WTOA6Q!j)wT?T zu}M1Z(W~xk?E22e=mRZ$d%;r-n!U;)8`UF?DtM8t}MqF(F;dq)MV*c%9fy`cyqDAII7oM|)~qeLTy zFz^pJVeZ(O39{cTCQnx0tel*a?6aM7uB$8HT$C%olXw7o<25YC>sX4n@P?d=c8=L8 znEch|9K4IS<$`~*{s8aEwZH1#S9*$d;UVmU5AhLJU?o1qXILwRBJBwQJd7{!B{oRe z1-28!JSivNN-xaECMmbmdKey+3c{>}<1wkM#YzMw;Y#d_A)J8Yu^&#vNf?QfF&+~z z3j5;}oQ2VtjI%KXV{i_p;#?en8MqWPaUc%D^zF2fZ#3P)ocX5oHZg&T1-uEDjq4%g!b+>4uVGiKu! z+=|<9JMO@pxC?jV9^8i~@F3>m5j-wcR`}Ci_0L;f?5zp6Q*=tI&G4n}rENIq3~MZ_BNmm)^Dd@;=MT1?fYPFCQDMT$Da_`ts$o zl}l1%CNAz{PJCK)^92h+ir7_0*QZY zzN0`=$lo6Eg;wq>n9%b+SG#YOJe$k$F+Ra6ti}@>e2#TkkB!)@U}l7K{{fgJYiO5Q RM*|-UFfua=B_%~qMhc$JvGo7| delta 19641 zcmZ6xV{oQXvjv(rwvCBx8xwnC+qU(_wr$(CZBFcDVkZ;b`ObH%?m740uBWS>s$SLI zd+oLQFa{wo4#B?}FdqnHW9AePfOU3pGBvb?_4s|IE0cuJjnex-`)B-z7H!E63Lc_{ z9?BLzS33w4_Nv1zGB)CeZ*Q`+Qf24wXRZ^)rK_h{^Xw$)9;HdfzQoG3xF}7wuXOT7 zR1r05M)w!w4@CX%_E%qY*4gsQ)FfA_1jZ0S2C+IS2Ca?kkNZAg$jB$K#weDKFQYv1 z7Y73+iRlExYL$hsOO!KBd;ZLQUS8@k((!j&3)7}81izm!Tr-kihk1iCwc_`e;i`?G zFV%^(wtNfaMcd*>oBrzDuhiwKn>4{sh~2N)!M>rjoxPY<@ndE{Ju{sSL+es%+eKd5 zjdDMo_(oA&R3kGGV!Cx88TY!@6}K-Yo#`-!WK!f2fcD__cDH^1Y5$q1f;d2bvolrL zQgie5RYus{`gp>4M|X@QLACE|)-T>U4L-_@sQVepu$} zE9e7VYgIwxE_A!WEZ*Ha*H zdzrr0-e%^Zw%gq4dSG#8t6x5porDZ{D;ADs5JdN1al(7Wh=$#vU^KU+`T_5oGTK=M zsvn^O`;7P3>$V?*vWMa}rEzjpM=@*_r_=JXh2bU(Qh$MV@+7l=?RQZbm_8|}`_ZA4 zn3H8tX`=`bM?%~R7eR!<_%;_^Am{MbaaS2OAm zxG8tNDO5UWbk@3FJUSF2cR~`$7!U*>IMk)8ty*P3DV#HKK|9ASrf&0>zzu?`IzS$d zeTuk=FQUJ=kotmYVHjw$+WZVi3{!tX_ngyL@$~?RmaTm|O|W?SV7CDNSLpnY6NC}P zI_SB0(v&53!&wdq&Y1b%sC|~f;>pPfE^^Q{uIJ~-nb9MM6$Rq+a|2lje@L)W-~{F- z{V8XG#mKFb+xNNqaQ}esg^UjMr~oB8aW-g1D>DwCq5?y%Ru+BIv$RDms-B)E-2#eP z);qwWWc5%tRiwD>q?(TpNhkTGyR!Q0-)nEHb_!&d=CdW(Iomt6*b+SQk7Y2_LQIzX z@C|x`gu(a6gb7A z%qG>aPz>aFz3Youcv_Wn_M+lrEi)I%?n3bwjOpG3omqjYN)Pk3(Y(FO*yRw~V zeu>1ZJGKQmQ9CT|h?Z>f(WQE`p^sG~dW*OTn9+%);x`vfSF0$yvB|rOgnxDejk1^UVi~2f4&Gl~4x@4_fTgk0w50SO85h)nnNc} zJ#52)!9&-7sa(#^+?E)GusT`|Q7rkAel-l|xIlA^? zSVu*Wb@9%1k>C%Lnp8J_l&w68W)&-dMwhA8wv8I5OI-|zqrdSDyAclzn%M! zx#_X~VpY4}x%Jr9s!c!+l%5`n+Q2OMgKTUh0^G=04PS~;DEBY|bn2&Gd%ujdv1!pn z!W)CVP$txWF-NBv_4mmFXOA`vEK}74)6F$$?v`X#os)2DN-B9qjTF)u4Wp;)wjM#QYXECyo0pvD1pAAOjB>&Yrbm z--~UG@P;)bjf*-TxT5zL{Gx&SX{3Gx2_NsC_0Y!CXJGnN)J*KaznugKjsg9K+Z;*C z5hRVFG6!}?L%3D5a9f19^9n+96I-#oL%2&d0<>-;1i;q3J9F!&yq1ESTz~V;DLwHW zwld}DvTVm?Foze1I<9!p0v6({3X{1G>~U^kHLVnFFZN-vjdEyn!+L0B`{vqWM_3>A z3Apoy#7d0voYehgaxa`3?pL;1{K4Q%)>r*#b%kFCYN<2d z;fcE+z&DCVdD2krMhOr7Z;EdXGfVX3yRfDYo6%C}(^2y-p8^xl?SyroXFk(#qqsV^ zavx*z@r9=y;jETo928EQr5KH#oyAflLn;O?`0EjxZlXL8^UnmifO&gH;yp6m^TUj_ zNO)V$rAQ_o%W$LgB77{J!F8`oqeAZ79dUw8FLMW^J}|aG&X$|H@fH9!w*R`6`Qn|~ zMDV+Dpr;~dp|LZ!@>>9 zU?D!`@-pPgDB{Ewrkm-K`{4k+e+nIHIpAYhFa#CkM0`Qj-6(ZEDSOs`bBk?N%7>DY z+F7hR4iTbYjfgjd?uJ0d+&D_HA6TQSEAwdH;<5@Hnsm9W?GLIaD6##@;5#&^Dk?II zdotA72-vIn-SY^G@@|Ed!l|7fGlTTjui-!)E>|IS^cUM|<}R#+p<-oX#qoYp;oitq zC^3GKS5ZGHe1*B$YpAP4?uNtK`0-7Hwy5P9qFso&iF_wyu*RD%cRBWhD00w7M$qL)n0^XM&Q(|0-ktf9g0cUJmkDZNjKe-%#3!zNZAEq z`1PKwS+YTctH8T|-DWcMF$U7-2pVMWg<=cZ-pJqASl4prcbPE&_{K*^l;15Q>!mV( z{TX>v70((_UQx>Q5zhO-dh2V+sld5F@FW6U1P;Z3F{%S;?Q9HLQ-k0J<_#zMavmL} zX_SSYFLl?IfaBH;8Mp-wyMZ#9G6QSQ@U@8n$xXMG-|mgrvJyet|Y!^S~i2V*zD}I%OqYD$h!K(=|EC&^ow_h)FMo211?0!3dy3 z)*FXk2dr&5ficUC?T(N9i=TR%W;l)?(Q8ftkI-Ak!DsA&iKCHcG;=nmx!@9CRl29> zzyma1;yKESRHcN4OygL-7on1r3gl*!^yl<5G+N>f3Pvx>VA)@PZ_Uv$kmok(r9b;F~p1=2btRrvGw$f!QUxp5w$|KIJjLEK9?JHI#marYrAF^pfo;hfRR$@GdgGjChwA}JB3^R~%EsGz$>o+o<pdZ@)UPV(-I+|l*X|D~)>|Q$T1-WKP{)lz0fl#?U~*(0PX*&FLRLvIxYKQD>vB-trYt9_IE{5W4vuEq?JmhX5M?Oef&b&0&B0ws3JYjn7d^8h#V-qg_tVm_ zCW=g#u7tLaciI)RU7dF0V4=H!vU9aM=gDom{zdIXk*fZ8t2Skna>PF4ET%hBBA#8E zt5;jsAyL4)0Qtnh^^R~IJ?OvRKx*=tIJ~AN9YsVm(W^5E@@G^2`yNB-_t@^BT?Rb`mvgnmI@0GwQHmYE>#fXyCR6GW zPEIbHSs_MnC3Y7|y+i9DTiV|BV4FiR>|^QtaTv@y0X#_#)H8`>eO@q_n3HvcW6uf- zr%1!HfXK`^hz3Z`j%85KrrxkUygf$H%tqWy^Ezu(wimQe7Dh&So^X?^^3}RYS87PM zsW`T=D30jzD2~MBq^BQHWQQM6R5O}2r{JU7tD-GNP+vdE``D-X1yYMYiL;(I>MOB~ zz^k%+0j1L_4ix1RyLJDDsN6x&eqgE(o*|^NKgeV)Kn#o^ChXaS)jM|$X_@=a@%pMO zbDa&uD}b}P!Qf;tt%)`MX274hSQV$7^`d>KxQ|-bIC)hvgYz|bBv+U01pEY>5U(&qLWvX}* zbHKSzM0uI&rU*A-{2?nuyyr-e7@ySW)sq!o7NEdxMO+ z#`vkuby)oL&&xrIrk_sgNOlU|Yp!CZHDNSriyLr6eNn3q=-jv}Y=!^zgw_iM^!dD! z+m1L6v)7!1A+pk{X}22D_8FTKsQ!Mo_os4svuSMkanQMw9sM1!vWxvPMDqbt$9%c74?&DgiS5ek_P4>5z*L%}9 zSPt3DFIZDMlmAz3`FFBU%>{s`B_;u=fE@o@hS5zJuo_~5554h(CEyj8$}ZJLB4%22 zHL16wqp$AjXibE`-Q=1ruxU6nz>f+^7k5|{3oldZUfN_ff7#Bw14HAJ6futT3 zKdWPVaj{olr&2^bN9yk(eF14+SMQPdH`;yY#g6>9d`mr7s_X4?5i{1MBDZ8=A@mw^ zrMyK%&^{==I=#3jizeXBu8~BT{Ck8m+0||ssZDRDn@4KV79|{oA4?TP2E(KpevBq#1^tEa4y^r2KYCUE3R)R9=9&K- zeFxIA`A*aD6V&4~sXpy42Y{CLnGE0rZd(NjA&1=fM)t^359C?=_J@uj9uUq_Ksa)1 z;{6Swo2JU>^ZqBgcpf6;hRfV+>#%f#d8yL;dZm>lEH_1322Ph(18@mQS&SuQsu1l% z?iCw~IV{cF^0|Xd&(ghr_&jX!fA?&5IL26J*9VHQFK^Y_k4)^cz>sT3E`Y!RF=u1n z)}Q80I&C!Zd80d$C z?1R#+VQ@8Y<^+$Fos%J2yxn+<)=E(OwU7MSR=M&V@D6OI{7nq;WAP-onVUq6dQqEA zaSs9@ulbk1>ziJL;#AZ}ST$6oqh!)S(*$M76fBeb`yPLt zm62J4R~NrDGGV%{jEygdvnE6L^#imIBiHr6AOchWfv6Z2!~{RK`-$$m1TQWD|0z^k!!_t?y}0#1d@MBrUu?+W=YZj ziAvhmF|9)BnRTDqdO^$01@o$`JYeJW;W*i+dw1`h4ZA%Ov{IT5NvBa-$VvIp6z4 z!!X<_8#Xy6uoeR~dLBX}fVDOrVxs+@M)=o#?zCQl0T}%AW&7-!>zYIKH`-NrtSGah zu#4ycRPoA>iEScJfkmsB=I40vL(#8H3z=r(LLnc4;|HTcXqh}~mv0)sp7^e_Q7QKk z>eT352~?ld{QL@(C3t<(Zj_4v&E73${ zEg?Nsh@a$NpFQ?ypZ&lL@;BxuS!v&Uu1$xNyD@5`yui^}M5}@4C3gMlr}yDa(K18o zid#>CBDwU)8>ChV$F~2Zik>Et0pI|#|L@U7kf1G#W{DkY{(IpQi-rLYPii?MA`DtH zP}dDjEGB~ECm%Y}I9VEzmeXj(I*fy>ON zQPBwXQEas6QMkkC*a%F!+@sIh+?P*>Xd)*3G4*5|q(4*9yJtXzP~S~VB;Ks#TqL*~ z->D<^^lr?wwF(m@`Z|j7viFEzxGOyHLpvu7_bZcPy{}dYS*!|0b^^wv(9D1(=(@}n1ZzBsMK=z^=!Ve z`sM*cGY#I*eHyguS?KG5$92bO1w$@z15Sq?*ohqOd;U5qWfB4Ay41DF4lVs<0YyZ~ z2{kp^W86#3V+{Pv(DRH>c_1A+5ZT(IZf<>K^oOgF~;~QN*E(5>Jz}3Y~ zVw?EQOmP{=cHGUK0TNBEUT_g?^+=&SV#u% zaS%2aCt;u%Q5;rxT0TUJ7!eZxYGTV!blOOKvrF}>^U`lz(uXSh^OW&mphrSdI*pe*n~vRoTWLHSK>7b;0SZ(9SO9YO1?_XXQY2x(d=OKy8v;W+wWHIy zT>IV{DLt>n#5xwGIwt* z(!6wHsSTEg35ww29v`1R^*K{-U*C@1KbPR3VF(V|2*SYL7rB+1rlAVOAV_H#A*Uyw zrY2haS>cygbTcg4d1>~+eLXkFMf%Z?gW$=Z(vc*KrdcGl5VN6<&9X6)7MYkr7o9}q z!+m{+tqVvWVVc5CNfM>!8^)GjnAUmF{Avx))DD+t{g^s}vJWF#b(FajJP3uwgJVz8 z9EP;Lf>vNDj$Qvj!vN~;=_S(1b)iio7mx=4-z%?({Vz&L`2Y!EJ$W!hs@*ibi^Q0k zl87n=k}QSB4jw5r9t4JeH=Lh*;L)ltwFf?1sl5yrba zV=EPosTh6P(CD!L!pBt%-~@1`ITQoXfn{k+q)rJ_8C*}z6D~vL>yeYUEXeSqa3Urf zX59uOlPwA|1w=#;#q`}x<2^*y)Cc0QcPv84_GqP})F?4r3;7GCT;yFAX1&USY`m_S zpPq>?GcWu%58b;D3Bi)0@nq*MrgBH2XLTnMBQ|Q|+c6~(>-Uw@sw5|7C|fp(Kx2q( zm2o+&84BpdwKR#q2gk!#HqP1OpC2)V#1vAK*7^zLYBkbIlgGpZPHzY0vU0f`Sy!g)AbNMa$$>%hCk;#Zw2YXv!*`e46u4@@mK6LUCct|pF5Ol5_?pCd|(!_tYq5cNYh45 zY}G89-9}m>9e|O9XaAx@4UR7urs*{$fgeU647w#NMd=MDL=j>VB^p500}Uh-9Y!gP zgC}A?!bwCsf}Vvz3oa9772D))YO_YtIo;tJAHX8LvXFTnhby3kr#Eg+20GSBsVACF zbEb^~dIB2}dFCDwo_7EI2=!)5Jjjp?R^Nx_15@_kfTQgydS832y;!%3IYk-^=onpB z`EA8#WmD9mLa9d~E<+Utp;hd_`l-I%k}Z?*vWFOxN;D927m=o@F)JKQ!ADvxlu_z$ z!7~P0LkC;X&CSYrMi#bU4J5{zKwy#o;L$ypfiRMps`B7{J0&Of3P)lx2nc%5Y+$^X z5pnd#1dZg2AW1;FZ{g_wSwFu*A%mk0AK8*s|GlQ65FCOGTlJ@54FpqvKp<{)4WO%P zS&{lR7jy4<|HH)4VA;RBSLi_FsOiy*dES&lIRkxK!EWlE^o$Z86sQ5g<%6UbRA$)s zDW-sE)>*x%GO{{g&&fdg{UAB-AAB4C?B@G!3HRqhxa^9I@*33%Zb1OjRUw9>e$%-? zA(B^tas`^B=Z6!V=2iqRc}Pe8+Gf6D?bSeJM~J|T9b;4OKVtbq5? z_X*NX%0Wb0VoZ{kYgqXxj@m#BWW|azM8TGi)-O7pV0|sGyaj@xF!49|Ju;uH4TP-U z_Z0BzdoVho)=VnS3!$Yu6}Cb0*pp2VD?65A+EQ$nwDYU$BS#Y=+5EcoTeXFv@QN;`LSTpnFwXs zQO@)3aZVwVSp-?dR(fUc1}$z zxK6edyi`UZD`~(CHlu^usO=8(`me52{nZ8Ywrp-s5%t+U; zZSt|h)!b_6pGw7g&=^!|kuPakvof07X%)JV4j1N2E??Zgf7TyRvFqWNb*gP_eU`mf z2vpgM;N&6P6M||(gw@eI=h%9FogaZeF{H>TUE_QudZz7yo*yY!?)mEVG!f{iuuhiO zIVpIk2MwPy^Q|aeoO9c}JR0$f7P!q(pDFhD4H@Se{Aa$RrEOIJr~s^K5S0KTpmd~Y zNwXr1Qmp~wvJ!JDGt^hF-#oroJ%3j&!A)#XA&+XHH8g`&A-mOChXL%Vr6PL4Pyih2 zNI%z#_K_P;Ya;kaM+)IpI5Jz>pHDY$y4h12*t|?@oRa?fm*fi?lmq%&`6nK0eA4_Y8ylx#V4rWU_h>tF{n{c;-ir)F4L?%xKK?iw-V(d6W?9cM^Qek;~qj5`VLmjU&0!Kr~ z{tJvi6+jZGfM$+6<_#ct6lOn72U+1KwR#UvcFHQPdDYNUwK6Xasoo6_r#t|I ze0@dW^~s^UZZD$PX5nESa&_6N_|!Ej6;r7}kIQfvUv;kR%7*OPz#2Dgy)YM}fQnjH zO#T>jT$vGYSwz9kB3oGi+?!EaQ3!9?C(l%#ESP-Qj4Zs(^nv(?<#XV| z{(1|&z^%9JGo;#;Ld#D<4{bhM0{w$Bw0fDd@=Kz*K$HnYO*Su53wS*TCN!*Uw9mD_ zZ=5~Ix7Y=#GoThN@I3^v()E!2B|%meR!n#(6<*2IgJE|$hE9|;3^s=eWEjQE*#|{Fwz6SkM2FI&Nvp&J4t?-+&M0 zTtby4=l~Ld3W6c^LhXrOiPy83Su|^1$T>aD>T-8I z-z*V;Hk-~!aAkzh@_W4NJ3dl!ez{ownBT1}MHv(@ai9VHGn}F38@pIk_|h% zUGN6&z5>?5E2y@afB;E{Lx9~|#_jNR8?mGl;%-v&PTc)}^EXdgT(z|63|`~%>ud{6 zxz7j(Z?5slVCcH*i0f=9QSJ+u*ChG+8mRWawS^tGt|D`9aeqKKHWfy-&GOE1b-Q_E ztt)C5RpnBrX``2rj~TCJS{F?2wYD?{sr8}I6qJ^N+L)Xu$_?7t5dkZ!);L%81N^&o z49#Ho%E<|v6-?I{N<^T_3$B^HDBrc~v$7}aetf3yEw|GNoPn!5XT^=3ae{Zq{q*_> z^^ZC^5dF=1KS0Xo!lo&vN5*KAIomw~xtC~tBA#W^{3wDQva>V0U(38pxhHf*QO_h^ z&#w8{+4K9-M+kOG$R8MzUo^vd&V6Iyo<}fr5WK3q2ZHsd(t3@Vro5tFCBJ8w)@nJh zMLg}r&d(Jmf9UVIGo23Z=v|L;K^0*(4%DNjL}Ug;(~6Dt5%&_I^FiUmW1V^ZeksUW zm_FJ@K~JjU5Z=@As#n$kq}H(g^HEqVBq@%mn;Sa~N{P1rRh zR&Cz6p1ixSv&4Y*Q5`GOY=J9QwZG)Z*p>mm%i6hy21WN6N%KN$W%biTQMj}>3-*8| zl!^J@0%iX;3r@R&9*-e>e1G=Cv_BPg4GO&<1__V#l3Wf5tN$8{!Mw3*>$@;PYBvD+ z_}xum%)CtG>Yf8Mpz?5|Y2(bJ4)E2|EbLe`Qb{PAul)wLw&vwv^nQh}*e#P22Cm5E z2UlKGmwCg>7wXltRqE&w^RrZB8k8D-SiNlQTlaXB^rW12*+Kt3X)xKrDh|WEy}<&1 z{gI2=0{_V11DKhI;%_mH!6h$OXeqN|;@aZ>QgoAmNdg;zx>%mv0K0M$y4WEmDQO_U zrxV0Q4D$w>IJN@8t==22}H)eeyJyLASN-%7@f6!jdMc+w+Xs$&2QHKe%Pm<`lN*~0cnqO|?H*LpfC zGSoR(3JNC)B92aWj?o|QqEsg*XrJ^A4X@Wr-;m&_2T`g2y$<6V0aR(%0{~ngsTv%^_FV$EOkJV|@^~m)EaF<$)|?W4Yi1S}t-XVf$)Ct`2Uh zU_>Zmn9U##8avfltK?kt?vyW)SZFa{0pGTdjJAWYg|v$jv%36-K4pd|iFJEdXY?s_ zM;n`)d^#8*M?Fe;X1aRswb~(_vS44xn1OYGn>qsviP?=kS7D5hl|yoSGrz`T7oCjn?kI13 zl#XA)TBB{1|C?)n6F?5i8O{mm#dWm}y%|6V0B_qdf%$Jxy5*no!}Y(_Q(c7tt6?JK zo_7rAEhXvbkY`j-a+!5}H)W14bT3vOsSxpzbdj%KtHB>$3g)9PKW^mI*vG_akv7U$ z3q_EE78mzzFe#C}@KY$b!774xyIi6ov=dd$?HGN8$7`?Dz5n{v&aS|RU?=-{C2XEQrB4zKa0V`W^{Iih8c&|%&yB~on~?@?%0NXf~j ziBp^sgOb_wSZD1&63~-V6_#D46sCYc8{@~I*Zo-ZI!_@b++2mG8ncKt(n4X`ztA+8 zr-5P3vB?a$inxS$O{3y!Jiw+Ad+Pu3!qT2|0ElV6t^Z(xxkq|=314hmXa%$bz!9?R z{zvveOUrNnCws7Q{~w&<=d6O6kVkJkBf0IU#kK=&e+G|;jSsk1bRi)pEkIhK8u7h8 z%N2T@5d+OmIFlIll@@4K7k@gnWxD@g#ho`Oe(Oqc>unfbsxmYKFAF*GWOecRON$-h z)5}}n4;@s%kT{=O5YS=A*z0O_V_$S7zkmu_=>7_7cDB}`6MFklX1ql$KgB9|sp*eV zsdn_+2uw=QKb-K>Y!lltx$s68SlCIZ7n_3%Yh?nZKdP<>{t52stAKNXIt`k1sJ>R{H^a!-nAhRCm-O-MfdMWhx$AR?RTFP>!Df213ui{}#@E2S5qP zBJ3J*=tUvE9#w6}3da+(ZVKZ}u&J@$nb0s<%c!~AuGD60szx<0I9b^%AD{cACUDC%8NJ;^`n;(C>f`RCDhx=-nT- ztC3gN*Ve&rj0*a$<$JP4)f)~bXjcGIqd|Av1_o*fR=)nCt{P^#%(E5y`qD{=n~JPX zBr2O^hKMCqH}4Z~>Ju;8D0AiFwTPOSj$f(aomjK7M!F_`v1Ds8$%!eXuYu&PU}Z9! zG&3k3kmlggqDNo)sYb}c8vPK{yt9m1ScR!)n)Ew2kCiQ~G2 z_uMil8b^4_M6e>@D2pnvP&#cFU2uaRGKI|0M)kp3G74knZw)?-M9Go^W{cKrY)LW!VBK-R}F-Obfh1tLr#i7(zQz3|u#f;$Xl`20~j zkby3e)UVEJhb%Ct+jQ+WZ2|=rf^9_OE+#A#;9S>TF*7`gaN)>{HZg^Z^9>OML!IU3 zLl9sbR_5ag6Sm7??b@?~@~mm5s}C)L_i=Z5I3HhMaSK&VaDG}rKSK%kl&f&H?oZ%7 zybg*8)Ki>#=c-i=!eGaOL})4=^fK#rs}Zbi}SjDcwoaayqIAttoK(w_IwrdzJ@t zphR=gX@C1P^rm}3|059#6_mTO+Wr|QyhDa#BQ}1eyZA%k_0{&Hk88PuO1ANEp z_RSq}?OA?QBeSCIO@C223It!r8OO5&tfmos^; zl*5LA^{0)AW6)xv?X*krlG^C}n6bld(uZh^aC-`AbSR0mgdPAoI5=AL$A25IyXT)v zI`#@)iOv^OUuD^} zra0tmD!Th8T#m}%9@}gvY4f^_SR#7xk=xYZ3{wwi5>1T*2u>3#u|%sUUFsVT92(@aa!y9 zz<*L$_MUH?{6gFZoy&4`foX-bz%d)FrZPJp^?OHeEu!^Ma2h!iU&kDuP?u3|7qn}S zOPl+_N9*nAwFLe$aBWBBgK;M&49ACK^a_U#4)N8rWH7ACYuS$`TabLzO$#>dJ_mrB z2G$2Kf)K_o$WTnP>H`P@uYER0oUx7|J9?&c?=cy3b|x_-+~cK%Dv2sMPzGcXnN~pj zXST`xs;C@|)gxLUW!GLnAcd=Nvs^l2d30*cxR(X7pI_coDr(#Gtem>E@k-3nrs#7J zsSJU2lvFL=DtV~4<)K@N3?W{hkvvo@1TPg<-^^vKxG_9@0slM!sx9}%Ud712s(H&L z@KpQZ2Pw0mftAbqFjPvGjYZ(x=x1vxx7A$QmDItBkS$9Z0lSLWBkDqME z4Kq=j$f+o90z)~#S0;gEY4Wm#Xmza9#T;bmsu>NhC>@fs7mqX;6P`!qtSP?`{^NGOFbrax+D8;;c!Tc z3k)6Kk$9_#=@Z4`L>tBIZ=-k?otfE4?7mHJL}Q9$F~zz{(cYL51+rH(y_|RMw_5eS zTv88L)7o_oJ?O&dx5zo@S*?hmeB!#FpyLp2`>m)V+qpftaIk7;6IklkP+U< z|FvuyD>pb-!N+^YsRIB!#_aoN6iU$a&!de#aKFpz)u^j}dZnsLoC_ZN$NS#MA2|5d z#vc6ra^hZlqqVraj()gAX|>+I9N~k+$KB+nf`yF#qyrlhVzm)yw${0$HlkdV9DT0u zP$3~Uy8pt0Y6fu8PO&lcou|^0g?HTj`tvjW? z=Kx^R`bPj<|CjN~CECg+siTkOg{?XTC=nE(Q9cSZM#Q6>F_i{D;}{3bl*pT~M#*5p zxil{h3T`%dT z)tKr}%lS?4pANm{=_5{skHAkgb^!l`mZp}Da^fxjc~LzVzT$eqh!l}p`>{_%iry%! z7@Cg^^F9)pgLVKc!4ZQWBGZ?8INxCdZl|3jpbvX`MyH!5wB)JN#HmrGs3M3f=V|U1 zG&z*mnr>;YtW-MHN>^0>TX@xK>XloXs9?v;Sy8zN*D$ALc z%$QZpV|UUxb z$%_*@Q;wCP1c=I5%iv5Ol4T{GFwhX69^TM$BRwpplDQpEoFn=vAPxQGnA(h5q4RS0 zR;z4x+D_0P8cMMR82MoT9t2LR>q|$0DW*rQ_t^1WUbTb6A?JROFg3_MW5laYsA?U$ z#Uf@0g2n!<@ARF8)(e#TMjhUp^nf=yZ1RCuAj6InC1CQ;3PAF#{ekgCeLHgJ=1?cZ6sA5xJkg?ehqIx&hBRutTvipJm1! zNhmXZG27&>bFqmzo#yU_5xDeS^Zu;x;djh$8`GHB8(I;2J6xv-nU;!Q)S;2u zZ7f6P7`W|2A^nwXlMIC7BQ7%n_t-i1DXZs&8@yL>si!qcWiyuM)*^Mf2<#P>PUO@Py;^6d%+-%aE;^JTv zB@FqDhLTNXrZC1JK~sva#ti+B`|lc}L`LF+G5TiYpb@EyI0dP9^D%*S-5Q1aL?SXY zzfyD5Vi(2!sOtGA1(&$VBT{j{c7%9eWUs}x;H5T~&rx>EyWwPeGcRO(HMC%6@W6*J zi`UI_ZDr1(R^ah7Z$$%(6VubAq}q%YsoD@u%)~mdi`>ZH?d%$tY2y)$u#{ak=od4B zp1uQdr$AFHtc8FDyCL?$)nU6;KMa3A4+#$*`E zB%lpt67=2z$jbb`-+3!Kn@*dP4Zd^gd-O&fqSK#FlgB)%Cc549Qw>KNJFtXAsEHYc zk|D+T?>?WJ{2&tm7==Cg;Zvec0|^QdqSj<=vcUNnnEYT7Q)xhgZ_#IQo;s= zF3(aj>EI5a2Km8PGh3J&1P*nDXoNjus_`Cap9NDaGADUF9vZO2CnLsNJf7y$z^CZ7 z4;OBU#ENxDkd~KYALYZ1K(hx?9)UoMop`l`Qe>$ej*?IU54g(xFN z((SaH++yz?B?fsEr-GYm4v29f*d3s5f&Gl1cgQQ^f&6+`h#kKvKt0qo0Ia+OE?;A`>6Gaw%8cg~(9UW1VWgNu##PYI%toJSThEg8}nnhy}< z;=6`lKE`&Ooo9l`z)wg9{&g}O@86#7WFq;g%7Vn;kUI_X#*YG{{15?yYSj! za-@i0aBR7&@t16p0OCJF2m_#|2KGeZ1!w)?@`yJOB19tn1o_Y|K;lK22t`IFzJBO_ z8EE5brB~usE}5S}K893LAL6K{4*4Z?PRV9$w+T$xY=LK$_$uTyRumPOCf4%IDvJ2Q zbtv2MO5yf(`ek8B3npG~=}*qXim5*Gag>ML_i+P<2LvY6s36&>_B+LSrAc3=0)0|~ z1O#R3Z*!hr&+*%*z_5|Se2?s>o$j|K4w$Lfv_i@A$m+**K5glq-u6%Low8DMB>zea zpJySnZ8g5meC}2ueOaiA zp^j`>Q&?4`SQ4vo!FRu*#c$3@4g%Sh0cZQ+?DUkWvqYrs&bOOvz@ulAMidl9d(*83 zuKI`v+>?Uk(pxhrYPGzoRm_vT`oi{jH7K1I>DO7 zB?x|_0O39qex=~*UcB{s{^Sj3!A!2%8rhbo8L%5~$lFY?JMKpCJ6n(xcgQ(+J67$m zWx{5+fItAIVil@2d+lh*f#Eloo3c+nEWso)koQcs)C2P_JC;tZC$w@D6Hr{7M0-JR z*r!-P*7Nnu>$ao&`-6E!tQcP~M!YA}$mXHb;J9$Twrw@`hiQYE^@tXLzK4ooIXo)l zs#B~&11l!SL!BY&SlsxgOPZ6$4&yR0W+e2DA~K^sVVKTc=k|aV)u} zSh4NJ+dGf_QB$m0YuSanyy;?EX)0DiMI7HKmT;G7EEN_kbLh&Pj1Vf4A?V(GD> zZyvjnyRK{=0>XfX&4bel-gR3zj@Bz0if4u&+uDEm#`xk6n2JUg3umI@NH&KjO` zf|^pnbyt~0agd@cM%+BgXY*M&%MLp+%DNiPNBQf!{O(TQ`a7R-X-%G6Wvr}$?p23yvlR=oG{rejK{)coiLXTj8zN* zZ$%-r@3sk3&B8=1Ow|dq1EnOhcUm#H$H7v4tIZ&HgZyrrP~9w4#zJeU<{dLScXw?B znPx%t1_3!juz|jT2FJtcY`%2-hitagG(CTuJVDUDS*Lg*vOH@kZ8O`3kv7I@Zf&z| zvdZ=HP_pdX)idK(c&GY|Ni1!}fS%j>7d8Et*u?`^_?E)NHes?^Sd5xvErrQ#!c?=c zIAloPQkdE%Og9RXap;iZ8DXN0&rGwhICMzaQW&0UtKV$1z&LzJ^^8E-#yZz5EDnDg zQnwVg)iU2KOvS=XOJQ3XiCuG}G#yK`Ev0RxB8gR_l-b796JICIeuohw7XVKriNi3tKz9dA%V z)huwz&=L`))UuoqN-ce)r7G%u&S!s|?AWy%{@{6bWXgG$6l=&gM%||n|`}p)QyI~=k9KCtN z7YV3eoT`P(E!5wl`6{vyUQ28PgooKY8%^%%mnl61TLHG0g*^j9G>xGTn5r^E66-uvt^8}kl?JwA@|2bwD^0)OApSGrutf+9!xtUnz-B8G?iV5^1MLeo`+ z^zE!qT{y?+yeg!z;$!J0RQW4?Ab{S30 z+})x(UXIybdWO(C?7tn~kMabnjk5b$V$k(3tPfu!7>_5j{57K=!ETvhm7h1XI)8-# z3hB>)N7aspqdc7N71J%?%rT2PS!4dvQM-6(|7-wohVx(hr|G+Ke=>kG(kQP$Z;(Ng z3C;6neXeezh*&A`?fTov``=%EoXjVe*?6`O584ZF(#TevS*TfI4J%lqtw_Iy zn}ubUSCf;oqx0->Y235q;mr6Idw+zNC3~EW$P+3p*`q7$F<3KChzQ`EcC-KG~f`a^1GgG9(`T51k@o($IJ(!FJFPHd014w_f6CN;g{;aRXb6ecBLlx}k&ZZ!h*&c`tzMfW!9EEWJ&Cc2-`G&1nr@aZt1b zuRLH{fd^JE!83n6BEZG_-`^cU*yj!C1Y`eh=oSIlnq?qefhJ7}8pgyXXtE00L)M>8 z#_8keX_nIU-BAQ!WK(1fsg+I_*OBAHIq)6I?`dg zzVGQrW}Rs0?iWhVm?luz?P3|?eXd-QA-J-2_39;;{Hx1)pKj=z$pINQWe zycGSgx7ef~h4X@bbWpKQKVOCK;vv7!mL#M@*in8rFH%#|sbJ=8l+C`U|CdiE>13Rz z^Y7C0d)U?WcE@m|8KlJ+iWjtZEe$jz6D#JwFU1 zs18>3Vo`zBPDLJ3A$%JYOF3(G6;a(XDpYK0kDsaHXV>skeg&Y8i23>A>&5BsGz{z} ze)`2GrMjpf>|!PtVv~@r3SSuG|C~g)MV7Qj%~yX=v#jkp==|fw*~O3Rb_%Qx3S{mQ6~4QdTv@%@bze6rjBpqf^Z@Gl1!m+!uXs8NHdd$B+$8v~)H?;q2DePC@BRNFET z#wI+qN3XiGvFke4Wid4}V>V_q zH9kBsV>dE1VPZKmI5{~mI5J{pG-5U~W;JCoH8Nv1W;8XIWJCi;e>FZn3UhRFWnpa! zc-k%0*;CD79LMqJbB?Sf>#;<#7b40|Ldd=)C0S0iS+Z}*60&b86moQ?f)F)qPO9DoCH8BW4Me>fSZU@{KIsW=ToI0r{z z0uI5UI2z~TFr0_;aRCm;g_w?uFb*?tDK5tmI1=M=CGNsixDi+58eEI(a6N9o9k>ZM zV>WKV9Ndbzn1|aiAGc!x?!*IFh(%b6`=#0x|FzdOd+QUt4KM5~IwUpz^`)uU%3-OQ z+tK>k$`L8@f7_R~GAl==XFq*;Rbl0r)c(ttH_29xOK%H&dH2uC3F&>DFCFPtPD&pt zefgMc<&^ZP#h1@vE2pI|HNJd}w{k}MmT&vK^rPMR3mmahg%t{@)OU4QzoI~>(Dqpc zQmSoV>)QSe1QSD6ZYr3RW4p5JuM)6*2k&7G*5X5K62M3J1e>uHpDLL7+`0deyK7UI Sx<&&Z3Nbh{3MC~)PeuxKdG`1K diff --git a/out/report_t-2.synctex.gz b/out/report_t-2.synctex.gz index 166e54eff662d7c900b4168143b3be6f3f932db8..e4ef911a9d1883f095c9ca94e0c5ea71fa1fad27 100644 GIT binary patch delta 8532 zcmZvhby!=?w#JJVDN?MsySrcXx*%g&V%} zopbJYpZiaqWU^<^taoPK{ab5C7a&FyAXc_nBeG&vbyyprgQY5zEDYHK=0|qy#3@fB z+&OjAw$_KqLVKvf*?_?BrNMHI`HdCRTRETuPhj+s-S3`?0~m|oNo614qkQ@F&*?2( zo@giW#XP^Xvr{&)z>iqsjz1F|6BTS{9o$B=JdbnaulYCE4Lt7&$h>DPX}V~q9d7*7 zZ*MxSD4h%D!LPiU646Z;PG2XvcAkpe!W>cEt0rHKtODJ;mjn8eT#%i0ezZb6YOw;c zy4Njzc_k#jF&Uc$eDot}PF|IiW3Uv7FaVh+TIwwE;_l0qju9mt#2t-q&-3$AuffV? z@qTHTu#=B(@&J9+-?Bz^E$<0l$uD%RyWa##a1xQ`@P2r3Y`C+xLq!1fUv6 zDNwt|NT%X;0Tgmzgb|rLhCn_q?&xqcAlJG2rO-O1TY)ASx#=ziM(6f5b)8TNPWer@ zW%7m@n1{wF<^uaZ1Z&WM5w;uW@)~kk);lb8M++^4|=pAF-Oh3owt5Pwoy z7ia7wYa|8hwb$K5e-Wfq-?s|y0rVC7%?U0Eoumhq6?>WHmcD8Q+FgDM>RGl?04%<6 zf2P1HI@}{I%It3^EHcRHg%<2d*6?F~FQ@wG8tj69Oa@bH)1MUM(wmB2uBrA_Zd-qy z{XtVGbbAm9(eJ*!o)_wqU|X9@)>wwEoE}IeblMWUjO?h_e4b|23#hEBZ{a?{-(e@9F$!eGT*#6&(h24?gcD zaWMPCj-Wk@!+(1mMeqZgoXt=TaMbx?B4Ryt950DY;6tZ7CG6=N+mw=yHYsm-mdVP?vuED0F`B#8Tefxgho$YapndWrd{5Z)bgx zVaI!pgTJC--rbAM7)n_THet4v*r?YW@!bLC<|HGx(u24Vj!4Y}(bHilgg#=E^T(eJ zRF-SpeU*d!5&4kT@l&_%HiM)Hx{CWmF$-<@kUHK$Cx@+VtLI0W;djI{$2jn1mMIO% zA!sRQcdi-Rhbo~z?A{5aUte)>?T2`b#x=sKmjtHAbRec3zoNmvCJltuv)vjsy#{`Il7v5K7z2;EOLN9+G^WENR zs%-v}pLNz>c=|V3)htD;Jh|Qx;$X#il4`sGNWD3-x#VX~^cSnQu0eGs9w^n{s`SeZ z&msn=5D#j58zoSuX?J*kVxdmvHVt{(QHNL*c8a%w*R7JELTvDlM&bBc#b@yh2xg-C z)MoNQ(!nkkA2EU$P>7lG@KL6aa)uawfZv7}s-sp-8fs*ztqw_V%<{AMFWH9>+cjU) zpRRb)$(MdOO`>oAy^=;d)DfFR>WzkvScIVJL1B*t0@H(@xfHjrD>80wDCB?cKy>2~ zDwoqv%)UqRI~gV-hb<&qqV>OAP^?V=!-MaWi(+75E!2e`34i_SD4CI|jo26i{;6YJ z)2Gf7T&yi!?`MHX&H-dgOmD(+y$wEzY$c}#M+FVAL;S%CZ*?NyIEVY zh<)9zA^)M49^!quL#@Fth2&hHfYKL)7H(!P?-01;+$_x}XaG8gS48*OBR_ls_Cry| z?Q6VHt!o_O$}a$ZFXs-M-OL*Ed;)s=s6SL48sTrAggZrtR&=B`beZ1-gC{4HZf{@q z`^#Y|j~&uYxw`zm?SmCZG8BId>S&nCHK%Ta2H&htc7!k?8jh*Bs|R&OfrN^QBKn>q zIg;u;LpJ+@{~Nl6hUSf8u2_h}t*xmgD59#}>qO@Ef^8-^*mkld^x!Lg;XS{*YuHZy z*?2;9zf1gOq}Y{hud)fzFj!itclrg2xVM7Bvof{nV8qdm1iWXjjYap?a8&`nRS?kJ z$UR(MJbgsEmKJhi`&3^{bRiLE6mn7`4w&q%!N$QFCgdNGUdbm3r?O6LGL%OLH%M+s zCHQD#NDCKPPzwYpF1^-9^0&lO!g`?(q!Zw7H%Ac&2`cMUw0~9wo{dsQs@6s8FlW`! z^H#NONN#J7%YDP|ISgMLttY%RQFvm8|IBe!lNMIaBVIkL#DgLRG z7a)dL8s2~U_Jk+V#JqmZVv;q*Uv-10mSyu!hikx9SNq$7UQuRQdw#LqXHortjLy&% zP|8}rIH5eX@JXEw*bXl(0W^bC%4o-QlvYqyht7M{Wdf-t5t8X%taC`JSua+WAcE#n>P-si~|R~g^HphV@KQ`-Nk=#pITU(!7|zt+)gg;Dfg^Jh8_ z{@6u5f2qE@fe7Dd%QkCD$ELSua?}AvfB8@QWD_ge_r7U0bRaW#bt_Jl4A~5m$ z9H@FG6N;-0*o?)rQ5i?)_pi4QBU=FC5r;xzb&-wQSa}vQN$q8+(%dwJdc8YKKuOGR zs#8W&bveGL=a5&kQ+6buCCT%ezIWw<8IOkhYGanZ;GCNcC7hb~6_L zomuYc+d0YqqH5wgp;ocbM!f=$vnQ9(X~VR)oZFvCfS|G5xIMOwmJQQqV4Dr46=I4? zRRoUO6-eRTEdMzkoscTBd8^LlypY<(R#?cW?o5!DuyMhflxZsebG$^!)t9hOy@IiC zSC3w-`J-i_LE^!MJt9TiUFa0ObQTAlJoQS#NAWkE3LI&)cxzZ_gtlR)j6RZzV;hx9 z62U8uu%T?Zg!~>w+EOSReH6Ro?l^x3^&B_}P4o}91{wi%SK;Id>Xe^xY><&;8EQ;2 zHWsoZeFAC6+_REbMY)J%kl+d2yF~?U+3-ed1pwAUO}osTq~1DDzBaFfnvzwxUf`H7 zOAx9us+8w9t^&)Y(+lm|a4}pN?0^DtoK?VAA5yaTo~L`+^{yp{dI&lKu}k?y6O8!niG1;b95%qdQdX2H2V5iN-)ip)}nIYa^-&wM8` z-4ef7=8Dc%;BAm_n*J}c@S|9Oth|qL>@%N&g2_k>B5Y%*ZjG{}(Ve~ zyULC|Hz2u%Kzep1799X4+6_8Qjbrh{g?6%|(+Ot?iu$Vw*DpybsTek}BcmHNWiZp- z+YfV6x)r3hLG$>>>-Vs>)g&YTpnje+#iZ} zKh|p1nzJx?hQugXV)3K8!*c;2<6(qfCtz&fW<>z*c*B7S8Mq}LC+gNe(|0UAD%J1& zHx~=29BSq#9vksXFWv%Msa%UAe1y&YTd4dRx@%NZ!A%Msl*eQ9Er;LZ7#Nxb0V_*n z-M(I>-o7FxCdL@BbT1_*J^r0f@gHMQ@k#RAt$+L`c!~OQw{BRv(QMta`ikP}kKv&o z-N8O*^C6i{bvJhFYoq-G+nbaN&neQV?3awL^Ym2<)$g61fvQXC+eV{9eCDnJPcc^g z=$p3zFJ%@TGC*|v?pDJn7lC82xB1?SM4;I9raTjGI=nCcQKspg>oo1TVLiMLybA|D z<1~LLrFtquqZ(-snb*6@$`=~>6;kVC1viyc@6W~5+5aYs3 zSn?r&`txz=b89ut&O7R)04XBy-4fbey^8Z)P5xYfO|$U>gM`U?rhtsKWbvP&+riS< zKEHGE;aa-A7LVTYe%|D4f+HYVIH%Q)t9;W>zWtx{rsZv!DhECs1z>A8Gl2hGE}@#h z=qz@7K_}q&rvga3Ij5=18IX_phVoI)2~RaUFQ*Bt28unCY!~=V zhBD23OdxJxu=xiZ-O#Dt{yf?^QkzKNc(2d2y}%HM;$tMGYS(62Ea)9|E|cCR!;$xv zC5u?S`jwfE;1&lY%)nIjqtd#Qfa`Z0(WP%)i;E$@&g$joRs((es>~REf9;&$(|Sw7 zk(~a{IlBPqXtqS{Gv~Gv7`e2^XZ!L@6f01;>NBB+oIsQl-Z*`YlD`^u!~RTbt>AL4 zFg|02bj`d&AuaVsHmgysZA=RC%QH~EJw=wZU#z)|q)ZV~t^B-ttc3FXJmbv*ZS%)u zic|eAWydwdiyy_eAeXxF2$^4^xTeK86%L&hD)Z`HzvF7K!@e3>fzeq}xrX@Dha77& zNfVekGe@R$=Qy#2?4_}59X_3Hr9mYgMLVAk$F#Ki;3=ixcF>yukJd$*cXYSc<6Cz` zHXR#;y`FxD8_3Lo+Uh|}w%f>Wst@I6Kh@N#!Q=N8aZqSVu6hrFxay0`h+Tmn=>kpW zJYA>aYW7{H+VQ|?BKu?m-}vT%Oqg<~ke_X3a|Mf7#8y zeJ8i~y-D;y)h|Y=M~aMW$79)|a80cxvh`4mYaZKCxZwoOPwcbcuUC!`es!UJElk#Y zNANYChuvW!&k{{*bylGdkT=DfYS>%8Ljc7wops$b*;NQR6uf*qLS~aNm_Lrl*fWRR z$B={B-?SL}->c@d@Ebv!sP04=!s#uR<+KkQt~|VP z-5LrG%jV1RlPy9WEk|&xa(P&q%{Onp$MkKqg`OH(h$qf7ez9H?@bh!9I9n1Q{^&WV zyhWj{kvvT!$8l*uck|)3Rf3GigXg8T)1_+W>3$7-|22BJ@{sjjxafSp8J)9z zyuQ_>s6y&v3BXnzVG@XbVQ#VZF>@jst;EJ`fg64_fX6~rQs*{-Q`80Jm#UYjZ`a8{ z@pF^TZHYeOgYE@?`S1bUhqvKAJRfI&jRmv6d3E7lCbWY5<@Wm!*@@79rgCr63ViU* z{`-OR_YNReI5M`((h~Fm-wibKL7OdI?VY7EM)LpiSAvRmL~nksX1MJhyquxSaL~0F znG;$Hs(@QIU(hH+Ej}I2z$g6*ceHZ9>)%^0xJ!R=CR>I^sv*TZ4d0`-b0mIc23;(ZL3+>6Y zjhy}bf!dti%=rz|0PoH4dY=L22IguOwD7Ohc{5J;7wy6n(zG3YJ%Ws=F3$PmOG|7H zz=Zy2?G_ z3_e3JiHYK^hq_k66b&;zvt{U1M`9VdyTXfthLLqZX^FquNl6i2<@FO6E&N)~pCefT9{tv#|DBsM|W=dprKpV=OF!@*8_eiZueieSbGe zW)QxyAX6B?YbDRw9BZ^GrYx#B<^}GjYU|<&pkpm7t=q&ht=n9&HE3nLJ^@#B)vz5y=^@bI>)nV`=!Uht*q z%Q{rr7-JbuwuLBKmc|9^Bh_YuG57@9ys^ly^*?A*d6~t83K>$ygGlkWdN}IzcO|BF zi{tjuJk9pj)k%X}1S!Dej5=Rz?Ic&5K)6=eSm+3;5jeQQ`}{bgQOtDOFGS==F(Z2x z>4{^7p)1wD1?8fukZl5V-;;jO<}goc&-igYBzqvf!5uc?jjR9m?P>oicoD6QMP;Yu ztGF;L2(5uUP&}hM98KnDHgm3-Yg;KPit;uG@`3lOzH}1t^2}6kz7qg${~88u1a_^; zs1mG>%KOY#iI#$Ladr)KW)=ObFOdT$-qg`WxW008brj5j&9n^_&JdqIJK3orihv9o zQ&Lh)!7tT^U#d5V-3UG?JX`IN{h0cJ=USqZkrg>{P7hJ`NRZ6TFdnN^&MFAYkhFjv z@65p~W=Dnr9o>KcH`U5c7_YhtI+WbzG{FAoaxROzqTuwf?i`q~wza&vbv~j$;E|fS zMTzGlwukvmXz2HF{(~@T`=Um3`v&M1Q%xtoXLI$`d7YkNNC>3Sysh-e&LkVa}yr%fOfP7 zv}odLDjjQcHc4=Rwu~8Ja&0Q5MmbcY1Hru(7Mi2gkim%0fy|EZ-scOdlz8K5-da>I zqn27;dMAHWN#AN>F3zIg{>gvfh4qB95_gUpCL~Ni^T7HlpYky_8qN*_J9s|! zpl0%3bI#V}O~?HSZVu{1ji?NP{+ocoxhycn`=_U{19jn+H%_`+TUkrPvXlOVkffWG zT8py_qpE4JW9_u5Iw(W=F(pKaduM8u6E`^mNt@*rYxZs2qA#_a!v)J#m$rw~^}VHqZ- znLHrV?{9zKz28V|tt^AEait)GP-7(S&+=pByOf&D3~1Tm?+ijHaJ$r*`!8l@2aQ~P zV#n1O88WJn|Nmg`dOr4c>K)VYabe#z_}>ZhTtE6okx1~t7BX4&q5N#vzgW3J#NkcT zm#W`7Zu+yaf0q9|4cVLlEjpab(1TOzbhesJ&AcfQv&JAIoMM~tfWxiWJaC}t6G+f; zYl;{YSuST`tx|G;e zi$VADkG?HC=~g_H!R}4d|0ZjnAxf&O)yC-2iwQBicRsbJoCeSm2g3}2_&>2#?0mWXrteDf6D%cC@3VxyNW2VYKq(BUQ&A|Frz?u4VEZSFqwVj&`74IqnAi6WCiMxwRU0YVNl-+SEPT zgsNf&N3#xrYB=j*b+5G+H7goK$7kd`^fWKcToMbbeNcOBO zU9qZis6T1uo@WCSvh}=_OEoPUwT0WxiRRb8iw6Iuc%OIh#M)ZpC!{2V0-_U73U(j$ zzPqdUtWVR(9)}Vhr}C5 z5+meCtl+zR&!O>Usi&;`{5hOr<&3F(U+PWAB-5tu$#NyQ%b-ym@8dKF`2ekO#}ntg zX09!M9LH8>H(t~@ixn^8H0#6VDRcarCKCvfs45%4hJ>)wcnz%~pD{B4&0>mE)+WD7jHKAgzj5b}sv3tgM z34(HBYwG)kQFVsy?b<*SV|-=66XQa%6U$#o?X9zF!zaEothh}d@Y+5szJFNpxsuI# z?$Po+-&nAZ6&O$|MF*@r?s>mVW-jHm3taZp70XVfq(e4kw)yl4^+isCy@6YsdvN(S8SkpF4$h2AGtlthVnD;Hdv$1zF{oWjvK zAT{4bR(&(9r9x^z#yTQXk;wvj43EMZ9)-qJ6f@(Ok^@E@Pf^^MV~4||_`|(D`0p(M zt$`gRPHkn=&w@RSz8yh6GNQ3jlLpy#qL4UKV!CSC=JVbb$i0{&bo0uVBrg2bOeBa= zH#E}ONqq!#p9_tI3hwb^B*PqEe7@K^cX=hEUFe^#6;g=s4@3@vF{jaT%Zw2hxwG%A zz>3#FLuOX)G`rIx@-k1az;hDdufV|yHLfERJPCUtvgDFQrr$9aREiFC7elj>84HbMrL?8b{aY7zCh*Y)sEo3=vH>PkhrLj0Gyq2>vrET7qE7KkiQ`e z6og9a7Zc4`{Rsq_MtGlRgU*-VfgktD+;w0Vr>nK^TK(^LQ=Fy#z&svLkNsQ!oL9h` z{#cw9qzr) zecorh|D3VLK6{Nd*PLsA=jXe^^AV%-5v#f^5N(iZdo1+O0l*mCU!{HBkUKf;CAf;a zZTO9Ibl?jQO1ub$4g{jAhZN}{ne_pOHqD*s$Eb01a>iAPCQ%pYHI zpPfYh5QND#0&M$UbOdcpYq9hj5o?~OM+;cLElSyPdZE8#I&Tsg*3e*u?*ZFTN3v_d z*ny$b4?Z6iRqDE~2`}FGu=e^z$Pc>UR4(_>4i&bUQ_qF#7QCWgpjavzZ?yg(`u)f# zoIdPJi!N{B4>QPVW|Jn4k>Cs1t86~AS2ngqBJR5TvVaVlijrqH4sPds_WcW^sdlNz z`U@%Ia6pDZV$OYN3nHIe5W%>HnBRRd#SttL#)I^ucP7Qv?FOq3N9?mI5?LK_oYjic zyExI`B!28PQK507N31vklhqK5eG_8LZiw+_){bMp(57rIH*edN0Aa-VftZt{HkIK? z>=4UPH}GD(hGd)K5}7Q$Qt@z_Vl9SzI3uP82QXXfU#7d%H(5nuepyZV#o6U*4)j52 zM3Zll^$R^xX^`{Dv$ytwnR7od;zJX)F6!*t9G7{X7-$`|iR-cXL#K9_pTu{L$Az>! z|BVo*>6RTI=%#u(<>ZoXw2z0l$L(g;I4fqobO5X|!gvld0?JD~jZ4a&b=q5>B?Sz` z3S;Lwpp0jrg3d34UCnJys3#pHcsvX!lDO}L9ajC2I?;cY_-t|g@Hv8}Xse)mv9qc# zVP*5+4i*uD>RDzs#qyTI9R4)$zp%gYTl{{5;!jYebv72AdbZm5syrLNE45G_f5+mm z%^T3YowT1(pZo8OC0uKW*RL+D3d&3i5?r#q!k;@FE%2o|vG2&N;Y+`5@^MNx6|}3% zcwaj38)EN1!FleOA9;a2vb@u69d=YT=@3;;`PH^@c4a8)H%yl7fGq7vutwKgi;IbY zR)vY9Is+?X_r~pg?K&GFO`uhE!e`JmH|K0(MO=&(-Cu6m7;%xS%MPFW2$SX5qoncI ztICuP`|Z;tge#B*N6p?usgBxxCKf`r%maX(Fv=@Twk3!8-^ajpJ%E; zy2xV8AC2^2b_MgcVEo(Z3tR4kJpU+PTm9I{lwt!uV9iWZT>r#}njyb`8O&kY>j1c2}jT=&jH~mUh)_ zEBQ7boZJ-pmsYTDaO!xHW;nUA2yQQd>zy_8k<9lK>{W#VTXv_WK4YO+{WL)W!#)zV z+2JyS#$9X8nk%P@WZ-kx>#v5at_zIw!-~rs^@E}8Crjfy)~d8u9xkJH*f91qz48&$ z3vo;#j{Daf=>>;1)MA_kAxAGXL|IJRK+Pe}$m-~841)|Ysnn_L760?liPG^C0;K|C zms^==R}?}Z;#xl;5rP5+yRsw`Mj5JTmco0W8ABxt%c8V8TQH+1D{!#ZS~sPA7Q`{- zb0D|cy(b-|i@nAm7nI!1C6yUU#=v!m#|TnKO55R|Azi+gT}D{d3?BHTI6M?D{VEiB z^Sy&%WInCP73%r&msh-p&8$OsDRfPr9B3Zkn+HeYE2wKK7uzg3%PTB={UBa_h&C;cH`)3r@~7iDS&Cix`)Ph=j+X^Y4%^O23G&`)R8lDX zZy-S{*C?ZAQAYi`kp6EIHrUQjusR*y$3wHZ49M);j|$!Qa$g{iskLzNW}#7*g;Lx{ zC~zCJE}OVO=IVurANof5e$SD#^`ZgF)t<#u1cz4L@2jmmR+PQ9d?=)!?%p=OjwcH4 z4$yL)ahk5Sf_yCjT^h|hREEW~NSs{jK4{{(WG>+ID?D-}UQV7|5bt#f-c5*$3 zidi^ocYrlwH&1S~9ePe%2ld_R@{l^YP5_HxSwd?WhgUF{h*95#a=1tL9wPyz#o*I3 zx|FL3(xiN-Oxeb2(i!+j>#2e!(UVa3a*1Bi09&M!fznW96;M@v>hDa1Xo3|7%~v>J zT$G=jg$QU}Z!FIfmC^TpWUah7}TWUMLL%LQI|8Odm~JNKz^y z-X`zPD#_yy-iEG<5&5yzc5yT+JFkk7ASkVMrthfeA-jba3-xsry)(Pkw;u|I&yd{x z1_A1me8K=H^#M^Egimd;`6!oz^ogV-We{l_lb~J<8_*Mj$WJo}7CHG zBFP&MdR@%awdQ3r+SVSIzJU_0*H>wSW)2#|7e&Tt8{hI3n@iON41#5}reC_3UGqkw zcCWndOZ8@n5_MX39tWoAIcZj^sC1R4loz?=44er*EJn97TEBG&ifMJ8r?($40@qRT zh>?T5^HG))OP~T60k!hb2cyk4Y+(t~f~*J_Xhr)Fw!SDg#V{B)icL z*Xg4WZ3ia@<&!OZoBSE7m6P2v)yBXO`|$duLyHF8$FNoU zNKR>?bZK4I*~CGTGE_NQ-CFAH{HKyXv$cE0bRDcfd^y0|x-eMq_9Q6^c7u#9nk``k zm@o=2M_)Xah79>6qvR+}E!)vL9aKsE?D%o}e@>4(l5|-KE7(0XLs6XQV8s>Fr3Krr z-jN3aMjNLQrPd@C#RoKwpOnWljTsE%Bv=;*+Y^jTFO_Xxco@|Okp)U=6CbCI>tOgZ zwPOjZ0|e8yug!;z%!{7UaJUYiWf{YoIHGlwRg^MeFF0w2wzcR5+M_-c>44WySrW61 zl@g~*Wj%a|hLkI57q(|X{Nxv?<#GXn2GUWYT{J}A4H5DBoKp1P$?#Yv(AJcWKPKc4 znSy-~yB7|#L?WqW;y+31+Um&S>wTOmvJMfe0~nsVU7Kd(y%3F3DP6%XyQm|5Qu|RK zn}n5u6z!udHCIUe6Kyti31n_Yq+*)$*7*D|4A0TH5Yi_5;NUvHl72Jkf)76FiNhGB zxA|x4^a8r6yB+VJx-)DlSF4`hCA7Fv*u7Hvq9A#A)BK!EVy~HVbh^k*&JN(Vc2LxehOj}VQ2w;jm0KpiNk#`mC(nEx@!mXqCqE0 z^f3M=2l2^ev_3!%ipgM`q2KEeO>n*mP0zo3W|PQm@(q2Fp-DKAw@OF75p7>Jv88YM zQ0%1`^;M8orY6qFn1I|)K*oebiwteVCN-e1PB`Vny-1!R-t;So?kT+)KF?sGD##a~ zzGvbo&k$om@E@58n#eWarX+8`r z-6HVqb>6AYLd(mC_KCR`D2%{T=j zDqC*c8cS_!m{$Ci&Qp>|Y-=vOCINdTkHhR{a@ha`UwvLlaUVp?Z@lUrinvp*4!Y}Y zUxb2ECuU7TSp1j+YP!h?LV%Z3Pu4gnG|s7QBK7d4op|ltF4LV{+Wit!s@(L@@N2yI z)TA$GvyB8-ZBBZN3rf6bTNuM#<)=F>G7bzf(ZM>@&^@9cVJAtF+pi~Tcq1G1=6E_J zDJ36sMNpU;1Y_PEi@U`A>epnNphj)B;}?^|X|URTb!)0^>kFm-VgP^;Kg6;HmZ?!n zfrN=NZ6u?~B7bc$IJ;edZF_@EsO#RHuiQFS;v${q5wOjK&vUKL7nGy!&g@&+8%5|h zYo!FJJxr1M z{ik!YKF16nA)@!0p8V>hO!%>w5}|}tN38P2M>>kNt|7nav+t<+XtZ~ivqnDfOb+ds zWSw6Px5|mk*)JMqgT%!Ws|jW*qUYF*Z={1q-zPKEV$n`He+l&H?jN$+6Zmse z4Y`p1Id9|x(`Ha zv@`=ZjstB18c+qsqVw}!bfFe#{!z2^QOm1k(gAO&)!p`kw>Tkw;>TeZ%TKWZSgGN4T-ejF+ z=#hahHodbQWoG<#6O2;LSwxr@q1+fo!xI}(Ugnl_=5lR@fdZ*NPxNIUMmD=bF6$&% z({1j{+Xp}KZ`_QKArzt1QUu9GhQiF_m-BtZyrX}GNIz>3ypLR@PZO3B^9C}ONjLn0 zY?F8}D%4=iUKJI?HxI<_ky$~w#PxUuFKuA6;PxQ7YD#{>r$T8_KMcrLIz+`)N_G?$ zk4A>nJzTQ>bQju<7%-w&wxtn*`ufdMq#_>-~S4R_L8CyQ6C*%3DQOZ0_ucHql&a<})11X-kpsV=~;fkz;n{xppQZ7s1DH$S){&64UJ02%~C!@ ztOBd$QOQ5QBmXwjI$K$FD#8s8bEj_8q%xk5c$eCc6_re3Pl2XTJ4}PGiDjH=&7HO2 zAizbfX2_pgUR-BH?l2QT?lAviW0cDl{3(FgIJiUl^q^?;;?-El5NpETIb;Z3^)^2f zL1khLy}=3^S;K7an6d5}ed;n7=f!H-$H=r%<`v}e=iy%Fwxw=wy^O+sexodyfzx%4 zCr!z+0jf+KvC3o~*t^H=I%f;M4@aqHUAsNv0sVovQLLBq zXR}NvZ|`cJ=JC63Mscx;yQtzrUEC?X*^~C$tpsmfOt0S%!#@V1K@Z=(4FI$=lPT)% z8iWlw&$APULK&|XX_qqVU%^K7W{desclz%S{J&Q!K#j*Ba~|enB`tiryW@p#q4sQ; znnf0YB^kBGkquk#!v7Kx(!pXrSnnpeQ)#8~Y{k{C?%(3_AC(dR)Jpu>GF-|3UVv9* z0T!-~nG58#@${n-?VC;H!R6()p?F?{vEMY8Rent}#);eKf?1x*On2^^)DT`?Pi=f+ zsARc0dv$`*B(n`wTg}FB>r^}lYQOWags$yV(eMkGZ?;!3lU>+OMKFDyH+|j&T`{dn zrYWq!QJ|z-mz7Je;bZ;flzzxk#l!>3_z~GBQpP|j)YVB3hAW5^L?5{A{WvJ zY4mE2=Ns=okjH+Bo9pQ9peprq4Dnln3)b3gd#y~b&(*V2k4c-g>V7ZUMx{5S-)+y& z=la*%y|an-(vwF7^0QegB_i~9D#dq7jw>b7&#sJ9er_IU{Ey~_3^}hOS4dfmBZ7-! zDS#Aof^)P#Psg}Qn$*gR-ffo?i|ofz7CdM$o?c*TBzC-GhYL!|ul=A8goh9PbH83= zVa=p|_Z3U`6Cu8Vq1`kqINmgTh1__Uw%=mH<)jgl@bmSz^F~ZZOM69F#+Ke>gvfwD`}`SFQfg z+cV*R+RZ;Ff-i2deo*kM-SPQnPfHu$q4gO6=Fgie>ol~6O{ruxg_h4tC}bkPHFG+bd$N z!laAZ+jZt3-!xLSS8H*MrZUC{jMindj{SOso@4Uz1R$vmsn%7{6Z7IhoEn^IBHDX-PQU&CH`N2P9M(RR>YZL+K3oe#eo>y3>&;M7%G4?Zj44qv4M0 zqrIb@moGKi0tuG7Gjj=)^UIkI~2wk}>A&CUENozo*oMKqy z=lulVNii=(tWVP12iuMJ`)muABp>8ae8pj8srw_$RReg8(@!Y~uu2g$h^#@g>Wk>S z&|Ft4a0JHO>VS+MnsgUP2NVO6VY*f98Y&LB;P3iX8*r4XI%pe0+#+S>BsPc=8Y6>i zCazwY6}KF-6}1p4S_K418l0G99+7=K1d7Dq;YuwBIq(#Z>DVDzgg zNFz^_S(sAnxyDbjD=DO@IH@U4M`1#IW@Unv&T zU^jHyRoW9gEyW*=!(=2CsW*=hVd7=647Z-IdGWk^>BR~J{}3petm@$5RBhTUy>g4t z_)~r|dX>|qWVMiqhp`kG-4V(qdGe-#vEn35 zgDA)`Vx^B=-kojDWuk?IN&BgqA4MN~(Vt~x24RiMY0&_9F7CG&$bkbh@fPf{R!pO6 zT-GnR&@C$Eub}%GSR5~44Z4Q7-8!c!n&%ZKb>GT*PfEDVLp^V1=KQMDvEh&2 zuTXt*Wno)yFE?HIs|N5_b+`on)O;BZr^01^PYU!eUf^YX!;`epLC0!_+69;jaaZ9d zKjAj9PDqp;tX$&ALrtcqH&hcfNhw&7ofw~_l%g*9(4TA#SLyO=(X$%5iN_pL(lO7qg&HY*Vu*VnPmbf^bU}yyUHLIXsT%Jl<&_+te^aeM)9uFJ9_I9K01dqz9#gXU78QH1@-u z$PkYHPbIPn5g6r)a7KI}aq z`<=)@75PkwHbast(gA;(zJf6vHA>j+pr!X;J}c?E=z3$_yL?C85sjCXj477?o(3Jx zje-Qml>JOUF=##2z94)-=u%HoNuUBdOwB*MM|M){b{#sQ`YeQUcsLU!u0Qyvh zF%Cg{WhQX4X3v=Vn?Kp?_aYjnwC!BfAs9@*ksl6#K{ygBLm-nLMi3wNPz%U4%3rI> zfl%F5gp#``(7?~VbLpGo-RI+5|MdT^+g>J`olZ39 zpj{;fK#kLstp4)I`56rjeHqrJf?W2=cgqh;xL5AhPz3`hq(afaT*Th*?#j*K#~wq_ z@riaVj#o=uB&f{yxnWNP|)O)6eTQVnGo;UYO^nIPAh<33I=gvII zH+abjCnUTm3m9(Zs@#{`UVFZWHyn#_T3dSb%*ty5H=LEJfLJ(FXgtKqXu_UsbWs!g z7i<~sm$z#3jB3+%8K=ssPipA70m7@E{41heOz`GKAe&;k?=b2Adw1~H{$bCWZ9gr5 z%ecWtaom6rXZF3YdHtpHmm<|`5p!`Mo`+%ESMaN0gu|6DA-wf_?**54_L1cfkLj<{ zrJ~&W$G{!2hx^}-_~I1|4%luU<&Hp32m5R-+Em@Y~%8cWf_v8+18`nLFp@#IJor`M)vWl+W8d#yslS?&GdLPkOkA z9XI6bD$EMuvi;WQFLjo>?XC_~BBYmCsIAU1b~8E0q<(JXsPy z`0rWzXW(rKzketk=jI20i{%EeoI-9B-P$kJsB}I(rqy4LpYBRQo$jNdzg$$J`U~4| z2oTLChpWnJYInzAjp;8U4R;2uEq^r=-+g8 zkie_x9nXDbusswqMC$AJKgXU7e(sgu{(Cp_H~^>8z_&F{mI05C{BH}B%KNr*h|Z2m zi#b1jY_hUc=LgkQOL|iGroNT6jBs>Cu`2JvcQUU#7rMMl z+k*r0pGQCzXoWTMm2SM7Sm5d$&7Bxga_<=Rej99d49gsk@+fZ?_RX)yd?5#iwB zpc-K-cU(V300w@^1nIzG4RFz>U=u>-38UdJyhi3`s~NNBjA5~ z{i6|A#1`H?ddI0c1n=&}{4c4ljvPBb-kop6zw5lc{Sp7GZBlvUCeP MM=NJZVL?XtKRr9-^Z)<= diff --git a/sections/t-2/exp-detail.tex b/sections/t-2/exp-detail.tex index 99ea91b..a0b8d0d 100644 --- a/sections/t-2/exp-detail.tex +++ b/sections/t-2/exp-detail.tex @@ -166,7 +166,7 @@ DフリップフロップICを2個用いて\cref{fig:a3-3-cd}の順列回路を \begin{figure}[tbh] \centering - \begin{circuitikz}[scale=0.9] + \begin{circuitikz} \ctikzset{logic ports=ieee} \ctikzset{logic ports/scale=0.75} \ctikzset{flipflops/scale=0.75}