From 5f9535dc467bfa402570f61285360814cc321f04 Mon Sep 17 00:00:00 2001 From: Kenryu Shibata Date: Thu, 30 Apr 2026 14:26:12 +0900 Subject: [PATCH] setup a-2 --- assets/a-2/exp1.dat | 3 ++ bibs/a-2.bib | 0 flake.nix | 10 ++++++ out/report_a-2.pdf | Bin 0 -> 31371 bytes out/report_a-2.synctex.gz | Bin 0 -> 5411 bytes report_a-2.tex | 68 ++++++++++++++++++++++++++++++++++++ sections/a-2/exp-detail.tex | 0 sections/a-2/exp-result.tex | 50 ++++++++++++++++++++++++++ sections/a-2/reflection.tex | 0 sections/a-2/theory.tex | 0 10 files changed, 131 insertions(+) create mode 100644 assets/a-2/exp1.dat create mode 100644 bibs/a-2.bib create mode 100644 out/report_a-2.pdf create mode 100644 out/report_a-2.synctex.gz create mode 100644 report_a-2.tex create mode 100644 sections/a-2/exp-detail.tex create mode 100644 sections/a-2/exp-result.tex create mode 100644 sections/a-2/reflection.tex create mode 100644 sections/a-2/theory.tex diff --git a/assets/a-2/exp1.dat b/assets/a-2/exp1.dat new file mode 100644 index 0000000..e49f9bd --- /dev/null +++ b/assets/a-2/exp1.dat @@ -0,0 +1,3 @@ +3.003, 3.03m, 3.005, 1.38m, 3.003, 0.92m +6.007, 6.07m, 6.004, 2.76m, 6.008, 1.84m +9.004, 9.11m, 9.003, 4.14m, 9.003, 2.76m diff --git a/bibs/a-2.bib b/bibs/a-2.bib new file mode 100644 index 0000000..e69de29 diff --git a/flake.nix b/flake.nix index 71d2a7c..308e5e1 100644 --- a/flake.nix +++ b/flake.nix @@ -180,6 +180,16 @@ pkgs.kdePackages.okular ]; }; + devShells.plot = pkgs.stdenv.mkDerivation { + inherit name; + shellHook = '' + export PS1="${name} plot \w \$ " + ''; + buildInputs = with pkgs; [ + gnuplot + python3Minimal + ]; + }; devShells.pandoc = pkgs.stdenv.mkDerivation { inherit name; shellHook = '' diff --git a/out/report_a-2.pdf b/out/report_a-2.pdf new file mode 100644 index 0000000000000000000000000000000000000000..98188c76204f5735833d069c2d143cfd086ad1a2 GIT binary patch literal 31371 zcma&N1B@o&*XG?lZS!f{wr$(CyQghV8&BJ|?e1yYwr!i!(>t5}lKpS?{WfnUSL#kx zQaQQqD^)oszam!>lb~m2;DjYVy1RaZWo9N~B62XXf#u_4l(4pQHFsu|urqcw7c)0? zFf(VAGq<;NwIbqR=N1rvb#ZkzH~tChxzVjYX^$=p-}MOi0yDMqXuD1=B;N$lzB=fafuQe!|L8b2PS_-PHLyV z{e+w8OI>|yorPkL6l!B1^>$YRlBBQWlu`3*((2oi2W(*4)-?I^5hkUAkw-{-%9w*q z7toBm)t4kRN9fF!jg=I%8KY#5Ss2mdQq)i1tD)e$_c{qZKJmDfmq`4?nTjz|cvi7R zBBmiLnM_~6b0Y&!DO*xC3LDTGNsq!$%YR2imP#Oh!{%CfEk7_Z4sYO$))!`gG5xgs zYqbR7l53>?3$dF-T&mDzFq_v-B_JxBl$@(U}*&dAlD4c)+ z@AT~ikeuPEeyE%4*uuYRCYNenx7PdZ504BC(C-yNog3N#@@vrXfvaNuZr}O?Z#ej+ z3P(l2fiisP%^=53%hi6Av&73@8{d_uycJ;ag1*x70Sk17Jbof!NQ5_W2AjGtPPHre zX=JEg#(<6JJr|&A4$+6=_ihNew-F;e-nVk2;%!%>x1=MEw~6uX-B=qU7K3HJQt_a9 z0o09*Zf(#VzHjz^*pMyZpSNepHdADKpYXn1U2|~n+{u_}FyE;8y4bv4wGSZ3>}}Yc zz9A!OtD{LAAj8Z2G}LC~XxzSIw-gVe>l(f%v}y_v)7^OA*t7!9(;JU&`m&;V*e<@_ z`h%sS9VNh;+nfD=>HN3)pK)g9{O{zNm6hv1b6ukHTVaR^`T9NTJ&@gHjkPs|Djp;f zks7~H3NJh==-VOP6R8hooGeh?TAU?3dB~iHsx7QEtj4^$ixMljZ)hVW zhZco{t^oO3i!5DEX$le6$wpi7{MxeM3Yz85kh3o~7QS>4VU zdwC2qIz%;W8H(1rp5VMxT=gz|W z4q08Kwc8&>%TVvu^lsXU%_bZl%14zpZ6xkgzu2N(qTdelHH_9&S3PEU=x%9c3YL*} z#1%QH))G&fBDK99Gu*{*n5U!%gxT1p5$g;d0u%;&Q~urP`oh2f^b?eA2Z@kJcOR*58cdUinzuEe1L=PfBVCTzX&c5EuoNgW zpA_u+D>n(qDZS;qe*1Wos&`kVxW@bIOjGk%m7rok@$1CS8BwZ>I3p)^W(`w#Tykqe5LHLsMp#}XUi-N`gYTl)H$VpA&+lSr~OV1|u# z%!6e9bnc3&FFp`j_;K8?Yp32$2$3xaEa>Jh%NElta47X4HdE}UtTTSQ^kRx?5XaaR zasU-(ncHLfpY2e@dn^PmKg-{(u9v*t;+a%;d(=F?S&L#cL%-nYfN^>Mx67S_%hpIhBeh}zVwGs==@GxoAO;|COM=q_)l9k)d&NiPkui3+{@fuF|KYpsRUnL$ zTX4R6I>D|jEBZBx|k4-L=pHQI&A#`eS;Tx?Y@fx>Ly?*KJboVA+ zssIJ;b9iAtAxX6K6kK6j6 zj(#2VyQy>(wrSR1ns59a2`M9+4jDUKX@cKhWI(?E!e^HM?X#+ziK~~RIiskwn1qA9 ztJ=Rclj#5BlgiA*%*OPe{>OMjX{oM1c#4d5Yepzb*JdHh*J~o9L--5_nGA>Jt5qyi z{R#?7o-2Vo?=C_gp4h0zq%$g#QD1Gm*t&xG{G0ZC?ej_d`L{RjcE_hQo0Zk_Bs*gt zE~%h;%7`UHu%^wi&Cy-^+^BbEcyVS&W^rs}W9M>?$r_EkaD?1(Xvvd;T%(YT?t;>s zEot!M>+RP3P)&bizi90sBf172Mv^7B|7}!uM(ktIn={IvHp``SE-#~sD=C~fk2yLo z8A}dwWREGAX@?no>VAq{j`oDv0_731Niwp6Ohc#CtiV-_TK2qa0T%;`(E*1v$bw|uC@DYYJE54j#vOiIdB&L(wlD> zt`@B>d^M~P;#kYIJwCbWvsuQ*#l@u#Gf7NN9M5HAe;e=PGZ@@xa4a_eH5rMUUU_R+ z{|5W+{S2c5>rBa-KVO7_+^~`AJXz*Zn2$=$pzU zC#EUpbNAx+-)~ZrF9|qHU~kcNYuiinXWYC z>%aCd0ZP7AyxrF~xvpzETwjD*e|I8!oxdbi-4SdDjhK>SX~-KT8mF}F>5x*9Xrlq+ zG-fIFwe_`)wM_)|1Wh_xj9QG^b=rQ_{;kBD(fV;UgDm&#Z{AxNY5SOtQDYP`ku(RG z2b0hv&}aZsb-m?y)+pADrs$^ZreL&wuZeSPYmSA$&QPE5O~DC|B?t_^HEcV`q+unT zaU*8z2~uo9CoCW~F#HyjRD$a8hiN=_Tt?|piCDu%3fx-9m4+R=I|5-S)IKA0FN&^2 zwt7Z+V%39qOLmgrLN;$~7MG0MlXHu57jxHpSJR&cv%WPH)5`!E^eJR;Xb)IG;qOC> zxT29dfJ0(*0=Vpqt=ya^>;Cglx^xodx*|h*BLcPIANgmJ$4~L!{p2ei@5t|;#9sFf z;dkN`WF2+sVFXHxYY!Eo+iYU;U?0Z32yO|YT#$q4PoQ7H$$6uJ7UnLDeI!<4!*Vj1 zsrBWKmFad|`cC(S@+BD=F*%Xr)}N4(1DY8l`t4?_!iQI{H@G8C`+)k4+hc_4*Clt< zm=RN&%)+`CRl9TC`Sq~+F+7;)5z?)i!54ZJBNh62g`zbpC>Tv1DRM!5h+>=;LPrC3 z@R*VrcoMjG#Yg6yqHaXoxN}IR(ngcVA28 z-!Ei$Lfq8XC1kKnt*;`*1o^}wtQu@xp5E6AuL$FNKaqEO43$$2$Y`ZFZvdVj-r!ts zH}1LiEDmYIa7nWoed+epTy;(`4Y*Gc)K#nW+4-@q#)ZsR=q_!q1I3z3n?;bXpT>&4 zJ4Cma4qPo+T|2F9uoYW|`V?DDR|RPG9Qy2NB%vg+;Qhyv_=zN4D-a{T?YiRwGiT@i_I-;+6~R@7ogiiR$+^JgE*=gF$i-` z%dUGu_HMl4RChr>YwVF6JDzw?gHv#-aX>nSr#*CTPyCM%z?E?;6dEyNHiCaj(7=pe zk|}3i9mf4~JE%RQ8SyDV0ZP;t@$(gKTcypiXR}{FBc{U$>iaE`>~~|~dzG9TO}<=q zhH~ySTJQWkEfbV5tr8I;@x;@9Q#s z9E9FU0?fxKi_deY=&X@CwgdS)9a zpQ87D{Kua%7q&PPyfU(bqQK#;E5)VEwy70?-yf71=G*c;U6)DcNtbDqT{}*o66!zF zexVR3wxDR@%cn)pTA3IHq zlsbxmGyUADwsGU&1ndm2TZB91?K!Vxu|gl^;ak?$7G6ST=LUX7zZ-!D{D zgKS>|S-i?5w%^OYB444^j^Uku5a=7As8a{wu9*}EX%NvjJFFyy{?J+hlQq_$j3z3a zAEPR671?Hgi>Rt`vJ1+1J2G?kJdC-kDue=q#`vy;doft464n&wacF30;Hi z&IX}z@0aXnNUbY6F3|3PSB0x{W7~%KEl&Y!sXU^ zrhX7Hye+cOHy&ewQKXjgdz8IA1*NJtJuX&qQ5EsB@^~R$Uvd*DSakIX;qgiLXN4E# z4;1AI252c7k`l?%J$uHnP=h({`8ekm2}SyHSHv*ats%xM15xFuC`-o1Jdzk$b!{76 z7N0U@JPMU#MKCGxK(89QN(fqio3=&24o}XB(lKd4W%MxyvcR7?-Lrk!|$^ic= zHGKQSd^0%jtR8#Hc45QxJsHZ#Bw;eD{_3O(e$+lEM!#Y-Hf1v#9Q;!&WI;l2}$ysQbe7i?tujIDy07;<_DnX*44W zDyzH>?>tI)Dy!)3vO^_3{$@d9H#0apI|}klU5KWTKEmp6AG%;ulka$G;)I<~=4s#s z1~&=euM6+9N=HUGvf;!kBSnw4g_pO=bm#K(3EU?Uy&4|-VnYVMUam;np>~y_cA2R! zXR9Td(yq4LTPg_0n)C;LKWlt^K=0N|Q_Zf+zv#DmcYrUsZv$pHyX~IPV=8s2@L=;< z#v+@MCJSZ6;{jpUNrkOastvYE^;w&L)00jPhR(0hPVK|;Ft=$Lx@oLa2EI5i8j!a}bY-RP5Jc=4lR-BKOpA+5h2YC%q;a9R#o z>8!w)C3cQ!nNqH{y#KYdy=OLJmmR>XPLt=O-3|fKA{$KD;0l_Dmt)yBhuhy~X3ZXT z3G*f0ZRDEC_*<}(lW=EcbIbkx%ge$nM;1a^L$*MMKUK=57qtn^%7uc}iGS*84!X|# zmCt9t2P+Nl>%W(2aN`1W0IYaGwN&CUWVS#sU#&ZEHPpmJ z)kM{_Ewm5bayFOk%)>&tC~IyW14)U6~TCc^P>tp^R;hfRpbTb%mYy(-62@e=Lp%Eif0oItAzMjVeP zRA}#l#-p4oI~i$bVjNW>Xct5mgsoE+H;#@*F!{!4WHG$PRGvr{WMx!cf;2+XkOu0z zX4DgNi!5_IsTR_9#0M1$GJnwSIyxHi@Gb{m76Ec*QfcTng!H=>u(d2+h$_lC<1$=YGT!m8DgRB`eMl)%s-UL71MK)Boz{~-S$A`pNPdDIz$uXy821xjwbKdMy^CD+Z; zN<-t6&cDODF=&9luhP8fRlDXj}=C`Z!%N`9SCVID?CU6eBYg`kIAzfnaaXOWG`9eS~qid7{Xvkq&pe)5zP|HC`^k z1r?hxQX_kX;sxE{7b-1K5zD;Oa{qk)90`tE@a|&FV_(z&6SLK&aFSt~bGG96rFVL6 zAi`V~$1)%*M;mRfu$l|w3q0|2qoz!@PGaXB+Htf7b^+WPE_GA^5Z7A?3 z@Ji;@aszf=EqXQfhmTR19@6w#xDXqFkze1xwbt$oRY{sD|Z^wT8eEnJO+HI4>vwCxf6IwXfecSg|!+*$ZXU)#$p}vTqE@)J1 zsy>OJHY8l@tv>i~Urs50ae8ZZX4pLmS2C_0IRKJp4j5bLK8zl%a6FSwHxul%@B@WW z?^t)N*qMAvF+ud7o8-CSHj z@Mjke^RvYb#>tx|!Nk+MC%%@SVkb0BDlFN&{Te^mwL~Lf9{ol=1UD&T%`U|=si9-o zcKQLVGsSrVJon+2IALESro~I&lK@3}SJ{f+5$)0Rsg&0pG8Frvl|2ZHFppI>7jOLr z!}O{Crn%A#6o+sIDcIEKo0DRL_zEToV`O!RFwZ>T_bp)6>D`MHI_BdZJEv zDea0e&%~2asR=Dc0Qt#-m)p$%>39j5&XHI4(wAt$j57!#-1;VOKbWnJJp?i>%8R`|U|hC<36GGCJ_P}l!C-s+!FFZm>s+HRvr~xtiH{Z-H)9xD%U|C6FjV8UaMNTAztq|r6Q}X)hsPO zt!KzBE;yxymH2cYo4xG9tYr{&1?ix*gF1$e*Ge zE~~%t{pfMQqOJ^k_D8OOU%`s=@>9z9^u~(0(XUj_F5jHj1FI3C(N5LTox90ai^rG@ z-S;Q@AzkJSP!>nx>A1WNdRR=NmTw1NYkBnQX|bw8iL5!Bc+$#u1UDsS+uvm87KfsP%CI?W)C# zFp|tXQtI(t+3N65orNF_M*EwjQv*nlDWA)D3{CLpM_LxQeAc?TB+%Pf2d;Dx(1r`%Fq6_O(X+N*JVYo`f>-s zgiKwv47aE~Y}VG93Jy>EZOJ}8DX}aw4eea{PisuHoxG4~F||fE%}PY#WDM=!hZ8HdJ}|i~q|g9k z&AMy{8f!AordAeoA2zA(vTLl&$}YKovkOVq@nP>e$65iY!cIs-up%%D*DEW{V3-^a zC`|#MrBb9$+D)j9cc9MurN$lhI^V4ZRm!*A3}X|gUX#_LLBSN`D#QA#^3qCI6UvhAZKTzF#Q#R^W0V?obaSs6ezRG?^y_m_N^Y zPl)z9IgCs>jdll>EoHv2FO=^mr>B79G?Xa(oF!7eqBpgMYA#x;T|s)TPP!_JL%R78 z3ZgHF{5bz%t9#qHh5}>qjxd*C$O>7)^raPtKO?&wZAnq*OXP3QgG$rzSZaDIQWoDF z1cwYZU_~>jGf+Q?>`jA=1zT>xzCEZ4cjAdkUx=Cif^LlwySeJu#)^{)s-OfNx71hM z%et_0`YUtIwu$7xcu3e7F3VAXlVRv$OieBDJGts)`G_- z(m&1$--5ap0bYy`M%*YlIQnGjrx*Ue;DVLpJ@kG2_dUiQk28+utmrF$Z2s(V`nKRT zfy%5)=g-QFfo1BQLo-M)sXIe zALyl%O=CV|sDW}yAD}qoog_(E<#PG24WPs%cL3c9Wy=$Ucy@G#B`6Jr!Dd)Dcl9SF zWD=@KVk5u?6~(|KV?V_tK4nq;(6S4=BmOj&CvhhZBsET@N2MQ75fvJ#$W(-Kbe!jL94(Aui zQ)UjkI2oKA8#XYZ<3tCQ5jhzcHMn$O>RYAsC#tQ9`1Xq^>zrkSI2?@KAEHQ#fg&!f z1t+S_ifvl8ZA4_2Z>1Nut5PZ+1Js5=F_0W0j><_Y(yKlR{BO%TpFH9}BEKVP%Iu`n zpe3{<7dDe;n$M0KXccRT(RX0MSUhl`UHa?sQqy2WKj$FOIJUxAJrO3Zgh!Y-6RqmX zA%12IeHH7cdbm@W5VW{QlDWbg;c#up?s*G(N8<+&yj1FU->PY@G-anSLP(j#>Q&E! zu9B|@73gzeruKS$6}BvMKB{JIJpPRbrwS;02c2Mf-==;00eQO(>&03kU&vbH2srGv z@4AOYq-y_SZAPy=1DWw@DMTysY89SlNp5q+3e%$-cn-N_))Xn|LN+ksT~%Nek@#%% zjj~Jf?fYV&^7#I91Az+m8~kOhYyl-VB{KDd=;oRI7W(Z$q9B+YeFQ@S6ICe~VLAll zA<1_`P3_ri#YRWFF1N=$eWCQ__^0i67Vf5i1pL6g`(HRn!L0tzn0s7(?u00quf=9` zQ@4D;Vn!U9Eb=VRWZN3YG@1nGFYnP$BygU0l*YS$Y9@PuKW3?^hH4o}kz+Pw-ldzu zeJ*xX=`@t5g{*5IhmkJpT?IsYxj`wv^Ybuw7=%y_IpUdG5n@7_bwO0p$lQKK?57})YaG0 zlarnLzzYaO3#jQDx(Jsus&Xq50NFAWwTi^HH+n4TjWgLs2%8-1pQsuYU;87y*-j0q z{J=mKo90O3QnIB%1S%Zo5Lu$&HN+CPk7)k|^<{ z;2mm5)0`120Z73v96ZjHi(+i-A_VGF)g!sP7v|*G1}~lNOCLu9V2+1=s>zV>({&4J zWa>!&qS>zRf~tABrQg-cP4kYx*(aojyD z=yAPMT`%n?)tR$Iv#%ke3P)qknuMrt+toW zp@cTt*STPOJqKa3NiHPE%>Z*Ma~daf49RBvcCS2;RI>Sg7NtbYA7V7}4aANVkQC;* zL>Apy0r8Y|O}O>Dv*G<>d;67qzJkCYd5ao8E>SPDK;DO> z61SlfiKfbFXNLfH7<`dH?(4E(yT!+1qjj$f%%Q^Yn0#gs@a1Xc`EXsb7P*mWkmA9C zy=^kyBpnWHsYii(hP{Wsr$9zJv}VEq@K)qG-b^rjainiOTmp6D%(mSTks$VjwehL1{?ip@|GR;;R*w2!Xv0GAY?FzGEs zO@_obp$E$<(Bh{~i+ou;ZDo{`hqQ;4Fv-9~DXGCgZKq;CA0kzUQ9o(N0E0KBtLbraq;`X1_xsC_^DzVQ7JnY)iYPO$2QVMu$8G~r#kaz z^dC7oz_xb#US2}=ZR$FWWHH%m!f&UMPQ6sW^QXpAFk-51+$LP6qhYIN)0o8Wsq%9jXZ}!gx2C6G-=UQRkH&phahHy1Y zrcNNCPm59pOZ8`{Ar7@q>;hDbWfgx;Ut7V2)zSv@^1F}zmV_j>1~K_e=LaM5fr21> zgIyC_b&z(2%M4MyYAF9jfN4Znj&L-$UC8xIav^Gaf6C0wHN&S*1*T9D6ao$w= z$?34urTO7I+OlMSSao`1=wJ9!PTFe8?@26MUwxjl>p@T*4|v0UlHI)t82%O@kDaw! z*@H``^^`M*WKZ&zB9S%i;3@tL1z1ds*+O|5FLl|HJ?w)1#flq;egMHo)y576jC>Yz zY{LVR#`Y<=jHJZ9X!!?P91_QlDANB3rEd)x7d0XldNcfrB;+Vt0Fwa188pFX>6iTi_|EeZB{a_+-y%!QqATQvNt z2N8LIJX#VwPQu=A4^nV3J9=K~Ep=wXM+Yab=jZ!U0i+mX^=0HIh?ZbL1gF^V327Be z>dfDG7KIQ?W?CRR^ir3hD=Mzg!J?DrWIku~h;<316>nbLRwht?s$R1>do5_QPx+=D zCYUoEM*6`OvB<$vf*9StF!~%JmVYI8bzMwVTSw|(17QvI+dbNP{B$df?oAd>`UpB} zW^{q_m3Egfu0I;3n36u-_xOsH2(p=V`-@q5GI65lp6AJ&UK(&#RsV`{T9x!Gr&rDB z&wYOZ==|5eJ5K2z>yA(j}^PEfr61#T5u`b<*00X5_N?LMNKN&GV697ydnd`5lcGBxLQ7E zOZ&8GjQm`m*}p)F0~zL}bsP}QWBGQ1p_JCZoDaEXsCk1~!!1AAw&2 zXyQp3EyGW6rUc;M8<7lC-v9_(1}q_%x4%WH!Y`vRH#cSU z9(jC$@{Ids7VJzHq3U28-SvL)-}Di$KFBS=4#~oMt*?qA^BK&Xs?hwrq0;pJqa%?3 z*3p>S)PX1>j)VDqXwpPs=@$-{M^ey*7SXb9rLlXlU9xa1hdxt?PCvM-$JfcLkTDyW zKhfv4B7CC7c4_CDR(TidnR=NT6h*dsJFqt21;SVZaB=7mm;^;t)0J0p#X3=Ax-Nuh zj+f+q=&)6j3;=ziGiU^g`C`!YsNMA^Z=X|85#{i1?$3jb8eMRmQ2TgAM*~G&A-$$uh5+;Jb+`F!K(}l~ZUW+S~*O4ny27uxy}VsBLC6N-OOB zD;?TI4NW(tdl7*m-s5g_Jwc~#c+*r z_01m*)tL0~XvH%>oKVw?2Uc8-J5)1e3r9DBKSnt}`n2Cu_Xy6w>lCamj6@!JZQ$`2 z9x8cMm?68$nb+PGP@j$Ze0SkU>jsWuQi294*Qg*SX{M-T7&GI^*P_xRVwUCxesljV zd9fxqg|!7%%Gzh}Z|PV@C1VinPz>>=pJ!R79K2NCsUJT!fp@&rhT)jL=dug|mgmGo zuq|3#KQ9m@J{hs}c6~W`X=y20v-TjL2a^fXx4_WO?SGyS0sg|}(2-|ePl5OsNTk)?Njket)b&rTR`tXqw5&ZDUNsLy_ajqwmKI|Ccqy8|OX zzG{VJud;Wt5B@65wQZe+hFa^K7^2yxKKfaN_iSYJY+AdiP9e!}+T`eaRNcV2A+O<@ z2q6KWG4)O7tY7#jXi(LvqL+Ih(Q1=!%*9!_HJGpJj?cTwZ@7vQtFzIw4@*dD##KC; zK|fIuzu}$)36;S!wNqTxRuiu@btPy|9jf*h=Dgn+|Mg!7OivlH6ZK+fj2~ z`Elz-k(UWK$r;+96&N8*@+niNRoSDs5@74V4fhq1R4r@>N6n*`)cNVs( zeQM$GT8B;Zepy}_#@jP0+6mQUEg^d>OJM;M?3u*IR?Mj^9Lz7wcv$|?juNm%@yes^ zGoAxyCcYLd=|xlsGfVgIkfwNFna5=k@^7Gj+2AQEl+gly9ftQiv)e2nDe=MYXcSR= zhi?44{|;KYShqf5v$WLv%Y@x#14)Su{-R2G@tfb{1(Drm1WAbrzN1o^HQ?6~6IQLn z^haA_6YEm>dH^Wy64i8X^&h#Ig%41~?>)B{N_Lx>UI^>T3gr#KzJ|d)Ja(DWT^Spk za(w9$hSGrvHF)XAJBAd8N_}d)nKrYTvE3hUf!5AdOK<3QO2=4b$_g;41|L zGy3=8DJK2PIX(@WDQOthabaP(vL!yAcb9GoPT47t7BBvi&2Rb(AZQeSHC*S=a`j1wk=LQbGCyLB^ z-!XbQSdVTM4C_~YsBV3O@#HX_{ukgM>;DG-{{N|YW+t}(1pI7`@@b6BjP`^8#==av zSU<3_09aV*cvx8M>3FPIxKd2opzCB5b{L1L;6Gv^+i~*Yu)y~e27ch68&gmd(JJ*_ z3SeY|1{rda4W;iZIREOz+LprTVlWzlX0+=Gj)VpQxu%Bd`7es)_-_@<`k%E{eg8X< zK;Rv~-TsRQ{s&wAzkU#4CgNga;{Jcoj%*z4|A!YfT0VBVr*49~$H(N)Y!z+d;yp_M za_z1q-DDG5*y(VB)ao`o76m&Mvge5B#-VoSL~ez}(%OY;?F9^NP9xztMA5*Xgva(S ztpLXcV`vrEcS>qVJBS4%&=1MKRE_jw9oie*yWPp;qY7CCUG1-*IgdFmJ&zwfvZz=f z=zZ+v6iC-=9NMey;?bf)*41Iv5B&rhOFr zGoppn#|)M~20Ry&`Pu=dfB=-2UKvS>?!vAW6a2ByKZaALR+Ot;vCj!fz6Kt2Sd>?k z{sMkY2oy_dqUv6z@{If+bM_? z5PH8+c~pXO6{%RThA4feS>fQ6qJmoS4v;h-dV zCiAtn5!{#P%JoWL!fuV_v?Q;7wdAz~T<1^elYkGx{SRK)-J|>}Jd2`)^vc++kb`lQ zS~)?SV||7lbl_~&W|K057plWXKjL^X$EkBC_YhY|^Bp1+^l-4ijBD-4sh{2gd)vv2 z6R@__UTb2480(;fn4JL0qNGuY>9QfD9X)eh#j7BUC|SzM%fwbPk&JC{`y7YU$s=k~ zyIw-P9Ku6Jn|j6?kD~B=O#vclD5!CU-oSt$YQejU1f2y!&qn6BjiP<)?o0uV7FIkF zrB%=3te%}TsPTxPtv3XMb2J4a#{JBm6p?j}si zsiN57n6foPUVL7>;7!!12{Wbz5Hl*U@L12BQwG|3**S0J^~<=(jG@kvYigYp3*W6p`Kan zs2}$EbmVm}m8hGw&4sPfw)|6%cGKe7D2$@$9!ArI24mUeCVc{IQ90X1*+5RycdPWV zE8YW&tZ2%etR+9}x)1_QFEi_uE;80pw<+%QoW@Hx+IXC)ED?erVpNKZ0AuImlGke( zISM>$`!hy0pU}QoWDxeT5RMq0zgD8P1stGGhO4KBT-z}>o}H$pLyy9dO4Sj^QzuF9 zxD9iiuhPKqqeEE@Iu*M1U}3Al!tQ|7TO*N#F9rIuT~tz8{a8|@Y#iiAHL?dXduX!g z(qv>99tkzg2~i}iizQX9{iyoQQ1iQIqyP)r^hAYYbuMN}3q2v@vLr>io&tpeJSn!=H&lX8yVfhUF-E@Hpl>MG(=F48Sj&Xl*nu`D+A+C~Qp}x+T`viO zE<^dqcWGr*Aesy@7Q71Ngkvmuqq#d{!2D(9psTu3^sxb9-BMHZ2+b5{jO255=!gwJ z?c&)&lLn6MQ?f=X-#g+qNm*K$^6-Ji{9VgsH1YWHgJ}4i}v?UUwvl7e~-vb z7d(s_jRTwq)79MeB)eW?(1Jf`N!6krjePB+6~%imm;`XxqvJ-rqvIryMkGza{)zOT z&_*N=o&H_7_$LhgYczz-%ELx=Cjb&Z22y0=0fk*b?$1T9s`X&DFM^ZJ^qf;0=$qem+wBh2B5$KXVEp4@?@m42I6 zk4MJLEyMMr0Q&SK4X^B(h=R+o3}j=%%X_b3-=}+oR&X>P<$}Q6M!;CE|2hRS|^a% zIE;w{kUDsAO1(D)^-mM}bqVPBy9S#h_S*%O#{=l#3tn5uHF zvCr0?YWQcE9#c;)$Vhu=J9-*n@jT~lwiX6cRxhed(bQC&t^EGD{rCnO17Gcvio4;0 zK_^<;)VIQXm5)$PT%y|1MjgwbzV|1M?4_!rkF3z6&-lMU!O@_x0;T=JVP?>O^k-0H z2!pedi5jJvL1&X=|A;%|yrY9Bjv_JnG5mx(wZ|VdwwFW7Epf)2h<4`mPkiGru7NAj zL=lUb;Hb?Mf!sPtLWyQ!$i-4&LYZdJQ%UfF5c`@~^M!Z7xx{}$8(r;j1q&g3RC25Jg)lsD|6-x9{8DmmCVWAOhc6gQzLdDUA zB#WViB)c!0i~UDAflBXTgC+Le7TA6FbXNtT9?asz57lAE59Nuy+wTp2L%TJRKFH}1#`hHbq|ePToxD7I4J%b3KbQ0$<1Hjgk8jG z`0y=DUVi0n=qPqqF2p%njT(+aEchsaOYUpsL(*Xw8-Kx%fWn~v1~+|vCXi>Sd}(9} zg?ICKAFphwE^Hdy-CoXLrdAQ&JXojAssT3Xrg_wbQBaa3M2;h8?f&t9BK*tu*e&V* z2eYo{0czL#I7KsLmf4q#IUsZoR_*vyo4$RIYDY1<{~XAqaZR+lo!K9%e)85h1D;Mr+|2blSrw9D)~7Z$iy;?Xa@OvR8$m+ngklaY*y1qEr^&<8Q- zSyVPI+~2;v&Ht6S-%~U1Z~~)A>mmEHUE2GYXODGujU%|T(S@pDu2bsWGo2b1aFmx} z$NR3-?X6;~IO=`M@MZ`ID3(%+jiWfvBPN{a!?mKZXcRXlk}di-Z{d^+6LlR#Dg!R9J5-KV!M4~zjA(MH{{6v)OV1YiDBsx&_^*t|5wVQvAc555`O0&+>7!8 z)W62mAG}fd8oS|@xI!}hqD!CDfre68R+GUfA4?;XB?z;}7Dp1ZWe8lRF$B@}51Pod zMS-lnC{i~k9}eZ9U24?PRSr!%?kH*KJW%lZ8B=oO+%|n{SyE-_e{Q2Vpx-;klgst# zIjt0WWAfNZ$dg04W>{Ccl1opUQ_ID}BEXdBP-C2gcB^$I;qN^+OH!>&e>O+RWj)$D zGswc7Vb>CU(50SQExYuxL9pxT&D`aEaTq>IlCTmu z(!pda_;^h#+UO>xtV4m((3pm?S{K@TKX7E{S=gZXJoB=5QskG&=v@ud(NB1GwKVaw zQQSn!XoH%Cw9RD`s_9b*0W7br^gOVXRD92b!CbI2sz!sQt0ZS>ktl3}XWy|TZ>#O7 zRl~HXupVm0!Rv$nBmQ+Am^F)s#OaRkI`Zia+0ye-+aKtmkcTb63UCJ}UFe**cF6B; z?()h1nlE|!{ZdeyxUp_DE466k5nd+hqW1L3+u@PbL6VSLE7hXHD(80I*M8-3abTp8 z;XN8l4|Hod$goIBeW_~jr_dzf!*F)HXIlYw)Hj-ppJmU)`bX-#&loGuQymPJQ&mHb z-{AN%=&xMc*%5M`)+HuKovX&_dpioC8X)*?2@>E~p@qJS(nK%ws4TJcxE9uaEewo3 zM2-O&<)+0(DwtTiB^>4tE1y*PVsi4KVlfwDaZ3WYhHI0GDQC1Al$virvJugnxN{Ur z&dOJ}&swdklNvB85?cMsjs!YC_pi7$xW{SS1?$l<$6Ha&AA<9~^*+w86~=8GUH}BV z=YKHszf;IL#Apq<7G4dFn*Jo-_40dsK$-ad4fy-^Qq`$=`YrQ9Qh_B9^#wZ;&kO zvnw?@MkrZQcxH-A}rj$}CNdla*AxeA z_5^8%%0U|w_L5wU(^Zb8Xm0uJp@+syx$3H{b2&(_tg^)MCmV_!6)4VybKr%ml{I~m z5?aOd(a3@~q)0vFTSgH}|s~n`-SzoU8Xp=&yaJIhaUzXwooMBpU`UnMLOYG4K zzZ!Yr5+}K$n#ni0f+H*&%R3EYoY`3QZ1M~UPt+DPs?|W2pPp`}El|dIb;4rYHQBMZ z3^lVl>bHqpv|Vdrw=0eY{LQgZ9oSb{;4(=m;>kJyC(eT1YpQji2PK|ltfJUD?Hr^) z=RD-TFsm$NOX#fo87fz_;sY`1%JV)C4aoxu{Ta9bV}WHFIAGWk-=NoTNS0(HB*Fx2 z6n&xwIs-VSi*~u)X=53JX?6;$k!=wcdJ+^7AUszU-&JO&rIuSJ?*Z zQeLnlD(EI9XnJvJGL29ieU%NEr)VIt#qt84Rl)0Uf!28XN$b&D9V)oeQ+0=>>Le%> z*;W0%!722yt=l@@#D~io^Fie=$<08~7tSC+e!!l$P2Psrk%rE5Y0(;CrZ!n)Yq}#l zNInyaa#J2tFfA_PiUq1`B54!wn+aoPaBcN2rCghw`k~CKm`p`<^HX+g-_6!%{39N= zCKn447bDc6VKb>74pGEdJzru6>0-t524=DcPO%mSkx@GSwQ&ujBMG<|IDY}ggpl#q-n}|QmRNvZ(5440C%-6USsaBdJ?trK2!+16LmE)yz z(uGT1@oerlm1`a_^U6o39e0l6M=Y8N@~i>WO@C=gFgBh&PAU``;kK8*@ZH5-U&78% z1}RNPE&PF%JKcmF^QM(o9bA68Ar6yVD$#IUiW!9BaFanzWX?^I1l2~2)x;hWZ(Uut zxH;$8i@PC0S%r)@V%{H0h)A}lW~e7w#F19|)#(@pxXxMaG7HtxwYX5?uGUWe@}`*d zk=q%_tt#P#c>klacZ?M!jIy+kZQHhO+qQX+ZQHhO+qP}nKKF2L&!4Y5-I;GDsb7^! z{`QS#KC+v7p;-?M2vpD83mzkv51@z71TDMn^qK0l$V-}~ z0)9o73e&Nhnqn{0Q>&%ClET7E8cX)SPU}`h6Xp9bRV=s||=r6^n22aNJvr&N;V$f5UyDlMa zI8e}j!${Nwrz%K5OV}-CQe}z$nP;(d^%yKvEfL!!2_m5$M`%it*b?$-#ci^QRBVc# zMWL(Mk{u!2WJF1(9$K4!maQZ*^aRPGTqDO-Hm@bE#$TFqla;M9>{!6 z?wwZKApLx>GOe#L`{*MOj%n=aE+k|$=+1!57n)mL&aEQj-h8_NzejTipgbbY6v41T zwfW2$>R}H`Ss^wld5MHHW!p3noX^eK@?zpJVqb>Lsub_ojWgO;rddoVcOAd?HXB)` zG4P3F_G$JXJ{bxya4jfk3*T3x=FAOFGmPgQFeK<{GE*a3nnqZw^z#Vv+ml$go=G=X zWp_x#;P>0AY{pZ4A{N;%1e$5pT$G4tQ6|Q1j*b2?elPFp{-ZM9lt~{r*48h|y!`_F z?w&eS4j2RIJSK8(Tf)d2VF4t`%pWv-^|MmmXj`OayPMTyB`bn8Wh@MGohoh(2=)(M z0y;2!Wp#bh6QNBEzYQLkn*>|SRoLaxZVHmuo!Y!B%?xns3Vhacvj5Pw!T$h_!O37q zd`exZHmG1%Im>nOd+vHRFFSCwo<&1`VDQlE6PybxLifHBN4!%@-zomUeH)#ezC*bc zM@2;)9LAhIme45;8~eo3=j=%$+{nhN=q#YOl}pdU=I37f?kOm#plsDrNj0^1h{v-T z#{cnf*~4h~Ca|+#?{9A78E05(!0*xn+_LdES5H{Y5veO-=iQ|?p;$N41N>{N@cLS5IxoO*!)9hit zXxcY<;<{l|%a_$NY39b!LGQnjmTq-z*Z*Wd`rnNMmj5f*5EI*fuFuv61_lTF1^_^S zU}TVBpkNpX002md0C)ex+y9d(^Z(ox7}%NrOIwKXbQ4fEfAd3da-wG04BlcNIxSq` zsw{75RlVBv0*-8a3k|L(4CYOY=Y=pNi4W!l)oHgU)M}}zQM=h%U0s8_@uu^s|FQLt zz5D!Z+1tY>dE+_anS0_q<2-Ysb10O_mT+)%G_rw{fC-P$M#gL)CSs%DvHjVNuP;9L z7ZKkR3zU{oZGQ|`&xY6q0dgbLK=zaVuJNdp9#q+sR@v2=q*DJvg*x%bzH)xFJ`A0R zl@Gd-d7Ls1x`GK?en&ddN2ZWN2|m0G=I%La9-*9+yjZ?)p0acYvL0N7%tZ!4UPk^P z+snAL<1ozeata~b_Ob`# zCsM#b;;o$ZG82#u`>f_wO@CDJDXne6>DqP1-H!XXwhJKi{TT>6J~oL15RVd9(3uY8 z{LOdQ*HJQ3fT(c39^ehU!`r8mfPsLEfRu=KjDyBq!$G{FgMfG7N5Cc|K)pr=fe;!` zXc&M#MA|tT&lP#gZ!gvmG!lW>JED(|-kA2;Hv3f{+go@2$vl6*_wPp#6q*0!Gx8D9 z2=@PVJ6atb85X@o-B=Dk00*ayFUH3NtxLKG6Mc-U7{w^ zK=_&KxoWljJOljg{+$7AI3C)2v4w<-fR=^{hyUIB``i4z6HyF_1bUnT5&rXw`2;Wi z_p08HFTTuJ90kf$Xf${la%1*02c83*D~wy5dyHd@`zZ%>c4C(DSd`8sm76+8bru!5 zWZA94+X|TpUQ-gfh;+VJB;(xUxl7VZ*P@nLN4;a$%OSWoN{@-t@X^J5QUoeQ%7Lg) zzu2HQd5yA;8))2DimfEk(KxWlX>r)1GT;LyqU=U+hF(S1b4T>l%CjNWHv5_}h>OxuwqA-}v@7b2MF#dx($uvSm`!+H5Dg39B;~$M^AM zASs%hJj^Z6S&4uS#ij3u)McWk;K_i9K#>t<%EdHb44KlP>Y z!o&aMnbUwf2-HKvBD$t##n#TcX(TvgbTstvIn^){xdE|0JA$YX3Oc4G!6&wFeSYC5 zAv(g?rpRe@^PCgkU)8LBU(JPlU5WOO8G;kP-yP3**F`G5(Jt!u2NA^ZAJfiKxmocD z;ewp*{M{gzspbvu)s^d6ck6myffI5`3TX-?Xs08mR@0EviNDom8!3;MLM(e~IOa#O z#e){tDrqG@MoCb-0YgU3LhJrkGXXaE-trEr+i_7*j)>=RwG8B>Mr)MPx zLYW=yHU05XmyabK8`;UlHH_3A7uIMGMePk9F)u_s9pwZiA_UUr;*?uLm+fdhqwXkm zN^I6!&0o9^U4Qw!2uJLeeqJopv=m*j#1#@M*ey`ZfbY&zlJ;^zXDK|oN3CbtY}OQ1 zoszm!y=F0b(1;4+@h)P($sj})bOP*rlF)N=d}qZIYQ_!5E>SXMbv!@7_rv%P4r7N@ zC$BMmC9=n!ty&h6jb*AwkY@;4cULkjt8*=^RaA*GEf%4u+R->3(FM5O1$~bE;Y{6z z6a2v{zbBDMAVW9@dBF1xJ5GSW^BXUTSoZWpfIM?F;xLn?j9p?Wd%@1s!Lzz$H7lxn zEtvaKb&ADg>6jcJHer+K*}-7$*A7@9jiE2p@*J6p_QnP_SJ2&}gI5D~2 zi=zZ(Zaw8BQ5AEQQd%)tLLVWl@4Kt|i>Z{wl}tlE<-$+3uwG z^M?-!Dg>>ls#m6{S(?w995gr9G0I zRUkzb6s8()C?co#&!Lq)l1#iFULpw-b`|FH=qE-q_4M=J-FmN?T<0dSwCkK}u zr;tj6M6$4X1aizU>OZbasz+S#RxiUQjvtyxxb zv_N73(z8*SqPb1XZZaRZN9t~8+8v=cOb(h7jv_ca45=RgoOmLk$fRxl;W4wFufJje zvn&B&m5x41!7)x1%s;Vw@9m`Brp;PZf;)2LQ{7o2zdP8>iW)Z4Q6-@rpP8H7L`F&o zX7a<`05~un0NGSAPSH}8-uxaV&~SvYr;fv( zJD1e|5}J4h=*gM^L* zt-c)0{HpAha_DI1sG!jD=9q#;4SPSuJ;kGns(7}OpE9bk;>u;|FHu(s+TViL&IxS_ z%Z`AwNf&{b_r4E2P^12|9UGyR=ZI7H0ra>B4Y!5Sosfo|qnkZ0EwPBnXs76-(M>EJ zH+gcQb$Hp*Ttp)DB|13m9i|@EqVd{{_I%nH_4k=M0wT9VvM@ zFsQ>&bQ)FkM}X7i4A4CTxO5s^r5$!Q058ht^y!diDJro;sCOVc*gUdiV$sBfi@TtZ zdvdmAMf;PlKh6iDT_1q!Us|{>2ziHhO`wvT?+T%~SlE?LYVJ2)!}IOKOKy1TEGKNv z|BfL@N>?$(_&DjIgl*lsJ~EnKyy&XP>fJ&pMa*DdE{NZ-=Y^_?bZ{JAD|@d26u$BO zH5HH?1?T5h(T=z7VA<>O=%%%h%C<$WYAuRY(n==-k38l~ta>~;jD-iJ7a0Ef;SlO@ z#wEkuijTF3L^yReN+Ivr`b14#yz}X|bM! zZ$0!p-#b^y;V%i1@$dROdfdJ^bhljeSJBq6#w6=zOETLKDQ#0kEgvlVQ}EH z+v!A8NTD>mj5I zuH=8ad)Wpz|K$$8sk>Ur^K;pSh}+Xk^oXj)d=9Mbh9DpQB^&6 zdG{Tm|JVU0TYp5Yz@nCm=~dMos}x^_@SLV4C!6?AU%6x3C#jZJD9UO@^8{oK&dte> zEm?jHP67$%GS>05iD+cUpV7mKJs}rC8+BkOS!sPgEXz=Jw7kU3IN&>8zzU08Sc0W{ zR^PI@m#p3(J}JlN`DZL+A=}E?Hak$Ewp@bcmiE9aRDJ%{QcHZ}dsk9w=b)BPtP^!| z=};}>+-u>l<{mTVW7S_)Uv=#K{sDVhzb4mL8NMY8qM2-75fj}5CfMwdk4hh< zG;*JwH{0xY35w=O7{%d_sVvX3eSKYF#C}1G)C5zLIHblUFd}vv%C7XC zdSu1d@-v|7f$mmLBcB`tt-R*-SFGSU&JMZJtW1A4;O%o@LEE+|LI9ZzSz%!35`RFd zJ{mZ1->5$%;Fg(amF}dcW%6ugjl=#i#&WF}oZ=p&cBi}YDbs0;6L*3(@ZXOJhDrrO z6WJGQ2bBwi(YTH~gI!`YjwU0FKFVrk9tmTow+Hk#hGw6?`>x}^dpEgf^1VEMNyYX| z&hO3jki{w` zoyTD{OQ%_6h)-;#_C&MHSi|DE404wQ1GdDx$1LdI+%!G8X+M@7sY-k)XNjPf+!vZW z+;3amf%yV5|Dgg(ip%MUNn4MF+$z!@+NdD2X$`O@vCF31N|rh0mWXKeaHXjdeBwv? zy$3cI@KUl0d>kd<4ZAFE|MUM+b9!`%q^EIl#?YVXIax%09j`O|YYA8mQv33Bm;Agy}({NatiID)js+Y=XY^0J+D;!-~9`!8R zSsvv3h%ha;0sy_9rZ43*LT!aQypLqB%a#Y_SLFw+3kt!x|EMxx($Sx&Ixnldg#DnB z+ewWjrVQ-vc6J<6X{u<2pODZto>5U{MC4mgav=A~e5<_68>v-K3_$WrNUZbUNpsT$6~DynuY0;!u+9q@THEGB?m$&ce-jM`GBLDKsu>-x zkXpMZy(GS&{bgqO-M8_y9?pBZ-fwU=F9bDCVc0?}o zU5gl+s2CZs>_!q4Rdg{FrR(}9U+ZUwGvS9v9xlC>+QKJ=P6|^6QXyd@X)QWxc;-#6 zv-#?3x#;QAbyAtE<$h=Ln#X>TXQ*SSqU4MRJZno2sMNpW<@>^Bzj}kBdk;^^6!C4k z+i++1dw6{!jc4|?+)2hPYwh+E&)M_zbxjiq9&BT;d-voI%yRyW^tU+by$(Fb6wXla zIs;5!0+;@blkKlf0_f!kI8Ju)A9I=(1kvcBE7G;=l3EglyvHIKsNZ6)m_T)iS14OG zYstw*(s3}ea+7DKA@|ag2V-lKT~PDW)frRYXqnQEbr(%g6Ef1P@85%-`bgPG`Y5XU zn&uM8Cz43g1MLdVL+cV^?Kk}R?BP3{l2-wKPj-NhBKbtX*-cnZ zHkK5C_u6h-pQ$B!m;cuM;Ho*skM~{Lj{v$T;zlj!`IRBme{gVNb?7>%>dLXEEk9Cu z<7cTO-GP%ksfTH4$L?8tcXl+C=L43(_lbaI-fDkg_d5^Sus`tvy^OM$+*kEJplZMc zau^)>`U|S#HQ8K+>fYguicWNxHd={>ZP(h0oS235W-23ZVOt%TRx+PVJXX`FwZ#S8 zjTrX2^@HR2qsR&UMQn*rt6oGq??BbELETNZyE@)3@0@qfaH~0yx?{YJ+3mQuX}4t0 z28TX9e1320FM$PN52$H7KEv3zg_iiXwV%JyK1D8EiUmbeKKo#AW?5Bl%jQRHRtg)t z8R^GkcmTgo1OabH;qrshKegS>$#eyoqoq-yI_@C{#5O4FTu2SwWLiXha~m^3J2@sz zAeBj_HxU7KKyJKlrQvBQXDAVoSPgBMWczis4cX0SIhZCFkI7?Yp=w6*DBvJAV8&cj z9}>OC4G_rIOpGK;#b9dI5spx@Whn4}+`kZJ2!bZl*Y0kIpx1M-AF6hL&U#+)xoX#j z2luS)x`8G;bezBa>c6RmiAa}D@=U3Qs>Jm2OEA@9hWKy$Em7sMWZw<=o z=~mFsn;&+UE95JRG^cCAv$hn^_$_#LhR@+1yI~jYBON+`wnn4#OMAL4;WhY&TT`#h zbdRZY%n2}-S_ysfeia$o*!I|(KBL>l_&TMT^`@cXRB-p7i>O1utYQIkGQRi}J@e3i z4M6wgs}$vKwz4E0!`ezdm)H>!O()_`F-1~0t!jF{7&&BVFn-WgWCl+ATY!HWjI%Qf z3neKVH~0hN$Lgk9K$a3IGe}mD2;v!>m_RNE*&eitXRD8@4`aJ!#1ns%8p<=LzL9v zlWiH}1zs9o_Gk7XT_HpNCSl>#spq~3*RAx>odMB9iO<{VnvH?q^$zrIzzl%s!BT?P z`a;_>Q;ArmVNlK6z_PZy{MnTzG!YL`+Smz#emxCSNv90I^oSDwkQ+qL5|Pu!P{)uq z<3o59e>DbVAYdj68pIF4*Hsiazi<8PQ^sowJkQnulsgm+Q3p)EKPOqeAZVb%sh1g( zoD>X&56Aea$aUu_&)3mC=XJl?B{OPaWC>CokM$B!Op6$&Tz2tyBlf=2ES(pQ3fybV zv~&H9@Gw-SplWTxA)zdHT#Dm488?R!Fsti*>kcFbY+y#3z=3Ih&*iK4`yu2trn&nQ z1GvYihuK&ytkbUIk`;FJB$Ky>XjLL+3e-uXpqd20%LerLhuNhaax;rpjA8^bc)u@Zb<^by%>ALLzh31RVXKlW;@4H;)*kky24Sf=Duu59f3ykEOjabDt1Z#Ob=RHILBT}$t>(i=fyJdc`MAsL z0>=!13$b_Hl6R`QlATQ0U3PR$oE=)U3dJW%#L))T8SFQJ^~C(4NpjNQjx3}cfer0X z!>J1+i{RLajdPI}>dj>sX~38V2KH|3T-NvYlDM9ji^U36q@5|Ezi~dXbbNEb=!4oF zPM%TY!rT7rZS^*A!hY(xMS;5v3rFjOonx=zS@H|q-rw6^LRe}|I~2qbpD?UL`S?#& zo(|_mOGRnr=_lyafzdZMk{*_4muG{x3c4Cfwi-QTh}hS|OxGn|9z*?oBvi8pa4~^n z#N2{T>jN{N^Ht88`7ql*7|QYwMfxRkNKAkZWxcziI>FhL#C;HLUdhCgl~qjura}3L z!x?m3Z;u3A(umgy5s0_9Bnw$1$#ZR>ek9!nvAL zw@&x%!!1UHHmQ8aTEn3!A32-NyoW0aG(O57jKUlcG^C4Q&rrTUogH{%ULa&lm8DCP zd@Rea6!Ku$#_1r_)Cy^^9Nsnnl67BHC9-*Njcx`2`HcdLN;dV82^LyuE7kWveiNb{ zq&(q6D+dPr=Qu?rZ7L<}LzB@^W!x8r>=!SF25_b%d!ASY1DM{xfG@wMU?hzMh4jAv zAgzF#sD`?#?yMWWbTQqk{z5%fz(yXd7{=hX}Y${+Yr0EFMqL!nL zBPh#JgDhr5TImYv%5kORPmM;VUScd8Yo*n+ySeoD92SCA;y<#;N$68`IK!pZJ`6_@ z9?ihf)wh-u=K$Zba6ja|7=12?eEAzGwy<}3ZlAx$5pYorpG}cE*sU-dixT+0;5DJM zR`9TlH$)CP;d2hUUqiMa5mKMVAvgn1)5h>DDKkqmhq@nXac{q zCl@pXe1E_F{`7{G;Q^7YURr>FkS|?s`ET_s5hfbJiMne?wqu0>3E+1%OQBwJ~Dajt!#Gh~OM-!%7h# zJG5s&S3BW2N8Jl}I^#*{JJI(AhSvuSnJn_~h+Jbjau4tTc81v*ho#Ph*5XyM6t{8d z10whKIybcnkS0|vED@#?g-X50jpdbx0-JDfG=^~{!jl{3F6|s#EuC64YMyP*KId?R z#)?>4y14v9!pRjcP!(H+$Y9o(vbJq)S!GR!NQDhn=MjteJ*Hz` zG)H;N7$rfN<}#d?E0GF4qo))!_sHVXEpKR*e zzxP^@igYTx-+0w508)N##XV5tYam^#PLIs{x5xi`+^0ocCu}#^U z_;LPVi!oqSmac3)J9Z5G?`X-9A#y*yV`ZL1mJeT{u-xfad3(7P?C8pB$ zjYE-lsJ;^iZ~USRhgKzIl8JkQ(_~7T+26M^KB9VuxuY&vnrxidB5Ic3us^2rDQ_#6_)?+XUu9MZ-G(Cw@iSrw@ zUUSlxx}sjlmQ-`bWu6{oB3=q&PIm67Y12Z^b%iZsss$-o&1drWQ}JL#9`RIOc{D#) zkcpr$yBJqZtD&KuX)kz@otMoIgsa*h1Gf8bHq*>Q?tVddp`rhU`ami*zTOsdz4<(C z?jT5276Y+?S4N4F_%#&HY0{?(3GhC(;tqcvZ>NQO@mCpcOZDU z^+1%tl#M85rG;%C@o9NplBCfC%jQlY?OLs9E63uBitJM|7gg5XMT_@19Gu!jiz(De zR&b$E45V_3?5@494W4F7#9~4tOx4X^FK0k(gk>Qcx zO|X*AafBTs5GM`I#q0iL;SHcxjdbP>ANh4cEjppi7S6z6c67&)yb5#UK`m-oLtvs@1BKTD;Gv=H_B`nMr zK*uzvjZ1SVTa5WZ%mr{8P^(6B*(=SZSdFPyz+CdEnqHXWn^EWXCKzL+eS=W2#e+H~ zs?0A`(|>)8rbQkN+5QUXzicpKmp21e2!;?*NUwAyo&XB!+ zeuDLHG3*KI4Gz?;J2$N}+vv8kb0ckROZcP;l}>2|A@zX^sU=|7W8+fVx;MWkQSbFk zL%|j%R+P6ct?I7?s9m6VV%mmiGg5>Q3P=UTAPYiN2NOa#SaD!v8O8t6^QuqR9zKQ?N&xT$WId>BRxZ+!xN| zAX?%l*Gn6-s&{@}UZ1E`tcvAx+9sjA>*X z_krQ{m%s3XpgkPkLkY2Ro{JfvHs`aQ8}E%JC?;nw5iQ27=toP+>{T%rS=!yz zKktfgft4n3Mtz>i1kux&vfWYfgZE$I+v5r`eT&kegKgrihW7N?@UM%mT8!@svQ5hg zBxhjhcO`|Y?9ogyI+;O{O5481{JSo#8b$)fLrg5)(ofE7&Hx zZhLZ#?Fp>Jw{U3SLWqpnxFS|nAx_RDOlg3-@UGYcO5({Ap?u!&t|Bm*#FLb0ju{VM z?8zs3CfOHLcXPEU4H-6}I37}xOrDL(>UJaY&zt>Nv=Zg1@h{CrC;3IWrFI~<{S{c# zZGigR8tj=W82&D&{kTShtZgAOeD0R-RH?+bQG88(hYX)X`K}D$qpStg21sPH7m^$| zHqYjJP*$MKhQXk?7#XoA!D*?7LRzv71rp@76Y+J^*%4xr%@t&}%BnjHOxYPEpCq+) z#o#RzSSqkQLlJWU?cfZ`lbSMo+f0XwTA4_pWKq!4jU5KSIe9G3rK7blQn z@9Tl<&XO;PB9Rf9j$Jb$Fnfart`kU$ngANnY6Fxfwi;m;$7!Hlc|hv|HQ@)SP=21r zywdG)mDKGNjttQ63;vmi9dOKb4f#4k{;XW7q{Jp!h-lDh*8z;5`$*2k z(+(NFB{6*>(AL|$d^He%F{b_SaV~*)n#Hc%ttHU61UqXc%)I3exCRYyCbasQtV?1Z zMoMhySgFBVJ{xXxXFh}qHIPTMGla}K&R7_wXOdb_Pc^oF@sJipxE1ZvcKxIcg{R?J;6B*04;a#FdvL8Q0QdWYQXB+Q-V2OVTXHp^>8GUS!=Yv6+p>`@`g zZb+8qX;EtmIty{y^e{E0jbjnCmn!y&YNRSvBw6e#HSWnbU#m;omX%O5PBsjF0P=I( z=e0yqz3sphC2fu!uN}_9TmHs7EbS>u((}ln36z5Aa$=@RjZQ3e6>UJy3a%z@L=4)0 zF*!kjmbojaDYPnkQzRs-NFjVEDtiiM`PZ}m5T4p~tNEh8yR$Yx{w(fc5H#<|g7*j6tR&14Y?XI+FtG;=y)uX>| zm6a&#dP*aHl5|DsN?tZ=|D6ATQj^}9QA$ws{8JF*I}a9Z+Yc{2g`f5^xyfBRop)Va zNPmB-%3PGHpf`k2z84&w7B$myKdjW(nqC(MOxAvRwuh9o$U9WbYpSg4M87}N`QaTl zOSIjhcseKF&%DPLvdDE^EL)Sts#d<1zJv1IBjYz89?WOk5h&S35ejvVOd_ zWRw1ZlCWlKYh^?E`z7iKSUmT&1Nu9aWG^ZfUzN1hir;jxmTPOrE@_I2LQ`yqoUh$T zZIV27Hd*evI$trs#JdK7*#|+Vmf`Q%33QWcJDe@Ynf0*uZW?|&+<`ml$iDHTe(`yP zg%1CRASuiL4KRb9^}ohc^QrbnXh(+f=b4)V1_*=z>L6t_L^%nP0ifU|QzJ0O7@0T> z8l(XJ)#+k)UBIxMU_fwJQ<`B*(IyGNJV%mWW*~sbCJ>DOejLXClxzKuwPN)0Mpnws zHuQ1?%#8n#8;(xS1Wb(oC-?>!#K^&=3$& zW(Wom2}~?FGyqu=_8?IL;UH21pN#c^lzf{U>J_RGg;)j&R%si-Mj#Ml4?zql9*xg1 zT4^4bxLlP11Gp6exgMq}QW0oT%bo$&*B{eazzGOC8$1!hSr8hC&Vpg0-?9h3$6y+OMeL2 z&Ll6JT|*4|vjH#m%8=pW<;QbMsHmN>WTA<_A%*_bqoE!AV4PFCSkD6gsG^6DR}Wf8 zOj4MuMz2#r5)#W(2a8eP9d6vR%x^Sh2(N?S^}y8oS>z z_|i&rQ8iKKRn4-cQZ?;zhAN4k-D#EeYsFNcRQkjda~5%PF-5`%l_VQ;gswr{i97G} zZGa~{eST7_Ci>dLM+4upY=h!yFlWfnxoEHyZb8H=4MDH?1ziesMNPpJg!LLVbfsrkvE$@Ujja@T!%d8i(m8Bi*2|S2Im&kuUSAr z@__!!-`!eSofEbj^#T1OSEMe{r6I9j6$n`OIU15-Bv*5m}cd#q zuVlpyoCn?RKi%8Jp{v91nO<$~C3UQ^jZ1>=h$k}(zR++*RO^XDzzt+$=eYJ%1)(^8 zaX6rE8sZr5lmN6Kr0}O;S&6}Rki1)Y-;0VfX7mBV) zqXaeue|8(cu3{hm-d=v4UIVk-FP#kkb*C4R}@7WTwG9#SE3cY_G}AcMO9?<>p&<(jMx z_$h1NCL+No4#NY0(QbuMzz3%B!JdYDO<9qRnH-XvW6L z%EW2J$ZE=I$jEHOX2{OQWXQ?JW^8Q6!C}Vt|Nn$8y^@`sGt_^KL@3cq+M3xB{Kqy) zC3B8*0!VVfbJp9Yde7cW<*8^$-(TYnA)TBJ9i81BP0gT~85x)uph!tY<;9@>7p-_MnE(I) literal 0 HcmV?d00001 diff --git a/out/report_a-2.synctex.gz b/out/report_a-2.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..320b066f41844fd5ed4cf01891dcc473bf1f4251 GIT binary patch literal 5411 zcmV+;72N6{iwFP!000001I1k5Z{s+Ue$QVq4a`FtXm>U8ez$^G3!eJt+QWw*|&{oSAH&G}eVU3*uR-D+E$R@+tad|Hv!-^ktPyQVnR zP4|y{ML&1N^VkQy2j%CxwyT@sE@j6({UcR}^4sBbX#ZGe+e5i-UK;r|+4HAAR`9t) z`BbcELiwtZk_)*is;4`U-yL%Ocm4de-5lEfHE+6db0|K;`w@*rM(gStur~Q&^SSL_ zMvycz$iB%>59Ox4dn{g_@`HuMqap2!s%Xm1UAfcm`o9*ASkOtE`gqDa3rxl~Ujb{h zYhI=c3rj6#z$e#&S#%42&zs`0oGvUZk}M6j+H5~>i=DwE3oehZ`Ks;mYMVC>o9V&^i%lo?G*5Zc7UPSJ8Jkeh1Xq6e z(b%-I&S7R6uBaSy#$%LAzT52f25ebQv4G^;(p}xtsVVZ~`r!CIHesyGwR>TM#Ul#C z?We6K_swzJT9+0ii$@vLc2ezh-qAGkl?@n=DGcDD8zwlu+F-Gn;_<0Ibx>5b^OX%3 zni7G4^?V6pMW0@H$vUaueqw!orSDihfH`L2Qu2ng#l zTpPUDjN#x-rI-a6J*hB&8*74_880?R>{>&_W0$Ek^%3-iq_H#iI|4wVr z$bEWk%{Ly~*syx}G{sY?9|_uMv3Uls+70w`D~{8mY@ItPav6>ZV0ytW z-+^QLyGB0lG9-g=bvJqQvMUc=(G*)WjCkyG#qRb(j$c289gQ9W$p!B1hLN{Vs@!sy9a-rsd)T#eE_Eh^4?8-Km&+PY0m&sH{*+a zL}IDqEdACnpv~c=Vi#l6j&}qv4rqsNGU76%706b6?=3@9dXDZZUp2FDuYC|JfhM&SC(8*+7^@pnhBUz@-3y-A9 zt8INmLs%vmyR;OJuprA8iXwj)%cN!(R|R67Y#F+{;EMWOq4X?Up7-Vv9LpB3#^qUX z9za=j#lC=awd@`sI7(caXUnr=e>l~HCCNLG$i*aC zh5!TjeTGxDU31<9%&-gzhKF%(^F5*;k}N}jcnIyLJ{18^yjQwslFm+_X+xt}h6C{^ zI@k@{UEM%%gpw4JEW?F(Am7gA<`Kg$!+jXOUVkk%fxwJ-PWs0Y0d?G_Xxp;d<8ds* ziFh1&)70Msc6cv>Y#;J1j)#aRtFObC#}Fw+JZpU&zIg76rpi%;L>4%J9UejdCgA_~ zqQ#z&AUQ6o%?lpId(k39qjp5V4)4W>&31>u7s>?d?fEd=JsmF}^3c{8@u2rr_|u`r zsY&#+-Wqy1_EoO+{o|Lx^2gKaY4{4;Dp?6`pW=^x0{q8AASR-++}DBpNkj{NBHmy95&bR z!$YQV+T#-^&0G&T3@NmQE^r1tNT1;QrhLZm%Vcl?FU*$FZ%5N~wa#z@R#_&qd+o4- zcRnH>asSbZ8Pn}!(dBp;%P`?h$rex;m5<6huF&kt3eE z|Iu>UoSUa|7!@AIyU}cLx$I77G^B`!_J3rVAbfnrwN3!)Tn*moC(huI)&Y*swHVkx z^GhNg>%WZJKj^kW<8vhj9Sag0Ha<6E*kfJQr~2R_$EQDxye=_reA>gfkU3!B`1FQ> zzn$|fMvl*D0Vkgi9iH?8-wnXfhkRWe9Mtz9tf%_W>6=_O?tAbR>|IS!bq?-(FxKu+ ze|JD*m$cuT{Io0g=GFPxgxE(_9t!A3|8Y=aSFZhYx#6#a6Z_ciChxz^YF-_z*avn! zEa&$bqJL4~;pJ4oYTr#4&JSF~=a$E(AqyG5wL8CYa2F^*x4WVRix%^hgBbgc*~80l z0&RSCuwvgDn|xU1$HI4EYz~3`H}$#drV9rxezLPKx~}YC(}Nwq+Iw#u?D*-<08&)e zm4g_YWhO_SwnSrDzmXF0YXS2Q5p?>df_ZgjwiwNv&fdf#ek;ICY+ZJ3(Ty+8@94zm zm36r{cAPIA%=pY=7#sbNPV{dEG(~f+cIBbiJQSNp@2xY-_{G(^D!-kJo?@V!ciuV3 z@xSocb`b0Bbm5@I|E{A!YxU9WjdSlk;`x7!)*mRd!J_~66Efs{GMYp@?;rS~n^nkn z`jr1$fAR+2!eZ1)tA5*Y`g`LqM)tW~eRRhZn;rThv8lgL7Y^DozZjV}P5$EG#7;W$ zW7|J48ebi(*zs>+!CPnlhv}78;9F4j$(>c~yaFKlU(wPR z?aOg(gGD?ukHPv22QBtv|IMLz(%JlU;h@pCa}Nmrv|5+0jo6#|(Px00W3eq^gzcU6 z6S(<#x@!^fe7g55BZoB*a3GC&{Pe=5|!- z|HJ!_NHTP@8i2$kzIDasBHU^|^yrJnD}ddH`-7I>;r|zJP-c*;G!aTLr~6qdlayqA z53jO?nW=zxj$)cA{n3nZN)t~JnuV=K7)d0xZ4lDZ?GHa_pT|88iAkF26JGO>2!~gi zdSFzsRB$otal*2M!wV;5G!lf66f#REWe_NmGCKBz+J`aigN;8DbIGKd#kWE6v;Z%3 zW*TUcDhfmOP$)^10*NnXNy52A;xysfdcK%TDCoHI#UfRb5hRvrlBg{4#R^J$$&olq z6xf#{@wgCwApYpMSkRPmYAqNTipuyW$unwPtWuG&j7_>K1tmtte*9M3zh2vQDG@NB zS$Z3idcO60ntYzX@FiCs1R-F7lnP(Wz|x9PU#$I_f=N6vPpBj*>YJ-9gVFk8Atg;= zae87YQivi1sW=po6hT5vbH%wQrr=j5Qs0o2P$C#1llakH2)-NL1)(y<8BpHLL$KZi zm=gF1Mm=`Mlax|eCPo|HgD2QXMSiQjBn0P4BAID3j!d|OxqH%#!-A!mCndm(EKQ^@ zrd$y)pf85?tiXQ07-(6@)JG(eB;XhXsRV%;`H(aL7KI4)#Y9k;jSoo~VH_Oei&Jo6 zn#_=%yL=P7?jqo9SR2yfXq8EseG)9ocv#hThud^j$P!qzmiRU(_9E2l%7`TeZwViQ zq%Z@L_+m<=1XK9pG?fy(GK(KgXeq(jEZ2vb69)bImc9xz zZFf?&ZEGeuw)vBE#nU7`aR#x(l`n<`0Te`iF=Q5mOVqc3_|-e0Czec!grL45iWp5% z-%6#h0?~9JMkUx2%`%~2GJ-H6cqt_efdaRr86;{*PE#pDR%Eny8J2?y0(R8QuL6c7 zoGBi#BoVMWWP)*pg1}-H?zpJ>>^Zeof=C2`)DJB>zujANsh|WhM3i$81v!p#7oE{{ z_!W|NJ)N;_GGhW{Z;2bjRFc^}tzc&W2DJL4kol%5>JXwHwnj_*b6ET(D27BxrD-Z) zax_uWOz!qo%A86o4pgEj8eIwrzrus&+S9hS&WwkFbDi*{%KwB&L69hann?U5D82_z zfVZjV!`oLW+tZW@O<;ZbqmzOPfd{Q9@RLAdSWXbZDl~ftN+=5SX74Q<$OR#Y6Mz0# z{v|92Pr!S$if>=1ZJU5V-o=T)L!=VuEyZ#MRSpm6vkdm;z*Hey2Y)0%^FT%b_P5%` zpr)y|D48b!xn2gj0t$M+-3xlyP&muDwb4Kg1^#9tfeh3QdZX*?;*eJ`z2%LKrgu-Q zZrmp65SAYpSBa@N*48<-dNEiMHfcdvb^6G5^JN+GY0Caer@0;hn2 zhXutHf&6^Jvc=pNQ%IpE(HA7T=deR6W#8BcHje`a5{1Y%HoB%c4*3Bq4p>d7Avj;y zUuc&3^MaHI@=z>>0*EmrhOwoLTjBv8wv1Hg_tOyYwgCx>&Op&8Jux2q4C zk_l)3oRppYvrh`rsd1`pU9tXJC=_IxK3#yH!@YcYTQ43c)YVi!rkN^X>3N$b6c{OPbvDg3QI0#Wi&aAOZLUfD@lwNW zP<(waB^ggd=C3SYe0?u{o$^Ci+1X2RqvwL3-!y8;2~;y`E{o`uQG3e6)0gSKDP(!X z_e>_C4@l7b1)HQ9lsFlZLlKs7g}MQLQb4)5AC_eLzK`wsiSC(9I9JkN#7K@duKk72 zUy|E-1XQoU{CHl9L1w`53JtaRoUceCIe#Vnj@p+xc@_N{>w0sFTUR{C zttX%2){{?h>&d6Mojs4^*0lL?JDc!&-1?ZlJQTP7yi9cZD>T$H&0uaD^RFqAar3phlgxU%JDgTNE7$Lh@gzk=N~=>Kc`bk zPWdMR2!xNhr>8W^NGg?r&^6MJqnt9}GR{41MuDXv9d@O_P(lII8R_HDvt$&gh|Hsc zVlZKuX`h#Z+iprfK8}||nJT4oLPf!-KLHm2L~r}lQxyqpUvu%7PR~Y01taZ~dtYjv zhPYCeP@W1T9iP#;QYaWCx6qn?9rcd{RW=P0hOAQ9a_3R}a<|BR_tI*7}7zUbJR3?Z_45Zf#yrjuS zm}6Cn0ZG~l2?7CR$L$A7v|E}ID*=znvBsPAoVlt{*wWP(cEnA6N(?& zC!rV3O|i0PZmcok59W5I=J?boybTD$=BBefJv}o}zZrL6%xyG$a|h-!n48(>d5qC) za|aYgbI+M2{DrJSsVnAYSlKf-)|l`IbGy>fvPO6t5QfdoW_x;iW}tpE?!cJaX!zz1 z%w;flYFTqKnr-fYf+^jvmX11^uq*7>XbuG}Ng;Dc$Xu&xiDH7AiWe2Lv%<&uc0daG z)6Ku=_$?8dyzTpySHDa20g9>rtlKU>t`Eii%`f_UzxSN8n-8$%>V}`%O;et_^YQ-X N{{V-hGhES&0094Zjo|