From 06a91dd46e2309242c1537a7d0c5b3de049c4a4d Mon Sep 17 00:00:00 2001 From: Vladyslav Shtabovenko Date: Fri, 14 Jul 2023 17:02:39 +0200 Subject: [PATCH] Docu updated. --- img/0eugcbgadj6yz.pdf | Bin 0 -> 8146 bytes img/0fr2yhbgg9nsx.pdf | Bin 0 -> 8146 bytes img/0uw74idqq2ilw.pdf | Bin 0 -> 8146 bytes img/1ftg3ucp91fwc.pdf | Bin 0 -> 8146 bytes img/1klto42084vx8.pdf | Bin 0 -> 8146 bytes img/1ne6vpix78l6i.pdf | Bin 0 -> 8146 bytes img/1p1tg4rvundxc.pdf | Bin 0 -> 8146 bytes includes.tex | 5 +- pages/DollarFeynHelpersLastCommitDateHash.tex | 31 +++++ pages/FIREBinaryPath.tex | 13 ++ pages/FeynHelpers.tex | 11 +- pages/KiraGetRS.tex | 9 ++ pages/PSDCreatePythonScripts.tex | 15 ++- pages/PSDLoadNumericalResults.tex | 69 +++++++++++ pages/PSDUsageExamples.tex | 116 ++++++++++++++++++ pages/PaXImplicitPrefactor.tex | 13 ++ pages/PaXpvD.tex | 13 ++ 17 files changed, 291 insertions(+), 4 deletions(-) create mode 100644 img/0eugcbgadj6yz.pdf create mode 100644 img/0fr2yhbgg9nsx.pdf create mode 100644 img/0uw74idqq2ilw.pdf create mode 100644 img/1ftg3ucp91fwc.pdf create mode 100644 img/1klto42084vx8.pdf create mode 100644 img/1ne6vpix78l6i.pdf create mode 100644 img/1p1tg4rvundxc.pdf create mode 100644 pages/DollarFeynHelpersLastCommitDateHash.tex create mode 100644 pages/PSDLoadNumericalResults.tex create mode 100644 pages/PSDUsageExamples.tex diff --git a/img/0eugcbgadj6yz.pdf b/img/0eugcbgadj6yz.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9a6125d1dd4448558f7fe244d946a124e4031cf0 GIT binary patch literal 8146 zcmb7J2_Tf+*Dp(nvSm$Wyaj6J{^2wTFiN5M5BrmsRrHYV)tHA2?-v5U#k z-#Q83cA$f(b4SPSy!%ELb^7!m>22~^QZ{c0ia}`c?cV9|8SS*fRsQ*zdn2DnCr!H_ zX&pIe5sY zx&531$FmswiW?`3=QN)@6nhf7o9{4u{9@Qcm$sF7(d?342YjkwJ1$@*p125v7roYN zx>*unKC5QPQf{7d2G(lCn9XJ&d^bTYzLv42)FV5qhcjKv0I ze*dlQ>rzOpiin7EFQL4%QXJPi8(-W$T0>d#toKfX%s(DEq8ZTvb9rF_chN~HgUKpn zyX3g~Jj=K~%9k0sOAJ=lj}t9}x>?^-ckM2U-!@R_V+HNxX3xA6a>&$af6Oj?^bvW2 z?rDV5!0=+^V_58?qBv=m1Lv4T^@^{4R*Mf-gBV$<6cg)UszQARC){qJUoV(sqo2G; z&f--6V3yqjthiX)vlCqDmt`cn(Uu-o%9E1ofr5ghT=uGY*P4r=0@AFQrV zq?I35Vo9=4Rn0*Wc)sbx@s#u!H^uZ)c3dzzSmc_6&f0N-mtPFZ%5Wg_=uFvNmrL1g zw@m2c4~DAejvg5Pka5dDvSDz}b7(EDdTp}d!CEU@Eq1mbGww+AVAicd_T#0WaxTY_ zpniguO2>$MTj#z`sO6oZ_cr-!Rdm$XZ>@R#jcHVXcY7QUbXM?n;}o>{s37arUGZ^~ zi$`A#k1kh-*{$FIM*cRrh_5}u8)75Jd~Wej_nK`yJm~yJmVo?>J!5XDe~14zL$L(C zOt~`mm%E}w;*am*TaiDdVy1^k)NcCQ=qaJ?TlW-adGb96lh&Y^KKQ)y9x?fp9A$UP z!$E}BOmWYn42Q_Obtl}WdR_LXmB)TkzCQ5T?vb0hNM9Z@y6{syYv_*a1%mMi-WkT5 z@62{;M4vMf&$2`2w%D(w75RHz*gMGQ=PulofWJkIeY>sdmcxKesL6H_+)S|4Bm=kH zse=~ilb$7sR29f?Sw4w8a7715!%fg55l$A8U z@_7%WV{Egk=!?BknQy{fcD;RlW85%hL1g@m@@=BXQ$l=Hi=MJQuFSDNAaQYo9}TJV z2=hF&lig7R@z^Ibpg1lmEap6S$w7u#IkgE@lN*i>AGJl3TpgL_1m%8X zaawY^eF@Q#b0hvQwM6r8Les;KB~D9skd4Zys~I6-PS9=k#xsDJ`Xt_BH51U;=dRgk0yDwW z={q0--#{n@@e^zT1cf7HFdzfiMgBlq8n&wWQ#FjK0Iot56hH#-g5qI72Le^WLEsRm zBOdq{#G^VD6!|c@1%?etFX^L(I~coOQLEys^mtBmUJqYXoj%iec#k*&9gZo zXLF=qC7o|6r^pg7%S&I*kutcpgIRaH{?EXdB8~ z0OO^rt7}dozAsyJ|M-5kZZW}nZtOC~YyZpZ-#iQLt4o511Kk#iPgf?L80}6~5ZF_* zyiestJyBDS*F0#xxKuWJvVL9lR!y__T!OE)Hg<00Wnb-s+>fip)=MKz-hSTJHO+TF z4jB*m3@HvZ3_FTEE~_d3}HMK{r39NPrbpAUzYUR-ix(%b+dD^ z@(W(y^FjMVr$_&taR$omqxQbD0_}I{M%50t& z^-@)-zG1;nrAx#xD;B=yReSq7)aK$MEN`ldO{B$`zdp;n3je?%g*(Z2$!lsHqm2A` zi7kHOShs?QeMFF9V3r+yrgo-;boO18WrkqGX`-R+A=Nu+RyP`&tsh$7-?`IQIiqXN z;N#WZ3An>w=SxsFL?yi4;upcARy7*SU(j-*Cbb41pDF2D)?7Jz#VRq*n`^SsHMUIicJ^5|Zc;hcBdT7~Uh2HA z3p_JjtD~6l>&4XyGer07r{HpWhv+VkDg0D%i8P0;gT~#yPuWOMGrU*VBcl2wqBD8g|PA=P0REs!~y$jqFqM*LI#l*i}8zZyE2dk3kqB%TPywcv^I^zA!pWBLkHh|<<&Jwm@?(RStP)&F8-?YxItb-hClo06pv`k zcG83BF(G>$6Uei1g%sT4)il??9}Em`R2O?^@K&<5P-A5UEW=+e&RN#w-&(V1aEAHj z)=ym>%wH{v{hMPQ_k@>2m~-OR*UnpfhAf3f`*T0{eBv9IX#V|FP!?9L@E&$5oKHliWnhl=5%)rj(snx>HF}0=V5hrNH=E+B?3vEJ7fH^6 z!O0GXuC@xLwiaj*xZafauk2IqB*ra@_GVPh6fd5*Ctn?RkkQuN;i%Z#uV?nK@4XTR zSrJ;X#cA**lzmL>Xw#ccur#&co{A~mO{yt9{^c64I&W%z8ER2|R+%d#7I70UC!||D z@0DO-^fBUK#lkD)vZz4OT836@cb#JKDlWIe^fbNn*e1i?J1VtwX4oR>?&Aj_lxJDX zLUWSKx*U2v9941&)Ba21nT%4m*H~?z4KxQn9Jxlo=d)CmTnLe5|CS!rOuX8>aU@Wl zPX1h6@Sc}_eKu1*C8clWXHKZn$mKa_v}lJ| zCi6QscN9#>H2lVnf}L&=dr=p~oekPr)acK>-(IDU(_E62W|SVtx#QB6g(>*D+ns3M zVSffHC@s*p<`nFS-_P=<_x(#I^yPy$A`Exw?`Won9c|f-V1_fnJImN3#ise^`55!W zW;n+=!|ljn_Zv2nBd#Z>oaH=gBntb`Tom%mekpgRm4(P_VjfnI)hBsq#|Px0@EO-D zj^5Q9Ofjb%9v>d4GrWph8n?Nhd|8!@KuefkLlaBO&QmY3@E#>>u#&2qcbsn@p9mTY zdh4|l2N8@_VUMO$$rkE5b;MgHZ*t!}KGH<_!hE+o=YW%yAtDi3c)^JyW!Wi5!E^ljVG}&$cb|d@eUbM=XefL(pox1Q<+HJaetTF%G^0gl^kXbG;#Bt3$JY) zTrApqAi+#a-;kwBtVq_PBH?~@gp$K-bic5@m;M^wvHSV)w~50$YxT=^wkNjHr}8O2 ze21^8d7faj2JgJ3zCBAoqBB>aAS=5XM~ZV18&5)<;2_F-$uYiyH3lw(~76cZzjk^E)=F6ya|)mGUcQj8W*w%H?wuw`Dh|W`5@LBsq&GkCgrT%9)zs?~l}N z57Z9Gu8ioJFj>^(&|q#R)Is%oo@B?uni_J)ZI~{#>%`PLB*@IbU7mZ4J=;IM7{;rx zbcR2t=0VERnWd&d6C~Fc&ABvQQT$EPC79Y?!%Vrn71x|Zy5Y{Dq}!b%Y^NS9mVIsI zd#@>62QT_Ocm0kw+xbE0PNAKXO5{)*{8g?9ky!fRu+%4bt*GSbPJ`_xF@)D#uaoz+ zmJHv?HeEo#G^*;)3UZI$z3mG3%Bk-hK{}U;s<%I?%VNDNU-ZJ4ZE&boMW2(^;FW>P z{>;y_*LAPDZM3L|MRvLJHGZ-P`O5x`{!I(RI9Gdt*daJP-SXPhvE2Bi>${zC12_VV zweI-6z`#t!;Dr^rhCpagV%8BsnRE25C4TSd-le>L|2OBn_GDE${Q2?b=f(^^7oY09 zNK`qa!tSq_6I!wnuC6L*meKlAyt?yL7LttMkve3c`8t`(<7OuPq&4QenxskX>n8F_ z+DHq%seU1rUa2?J)jF<8YH)Zp?Y+CW`%ZX4KFs5C{p!~XPl z5%A7GV84zsnIr^x*4+&5eO4u>GPu?jO#NCc9lggl;{CVk{CmU?hMeCcegs+;yA^T6!Pxm<(JB0&Ap1|@DG>1fsIJ&1wR(ob z*wvOd&RXWj#b_{zBt@F!3Gf8ns1!UlBZNELgm8K^>esY4&xjY+yj1t{QuEWo0OC;D zv3ZU|y%TinW9|V3RE^R}er6Y$-$bQyETlExp~*97->OC{dCw7)MV zs=x?^1f*3erD^p zc4>4zrt0}Q3ng(nk!0ql5*8us>!FKD_Kkn*yhS>5slS*}z3r&PENCe_f(SfUhCerB z+F19*x}utk#9x=^BrY zzO`^rDi;v@8fD z>ES(qEK1GX*bHYRse&hxNgx%>$~IZt@h(7?^n+b_E1{A?pkNRgGzx;nV7@0+T2#C{ z(GlnA;!c2U&c;z3!JG_Wp)CN42m9b$8bJl`rAZ*VxcxOP-Z6GgAz^_>njiijH5Ww;OwrL`nLRE3alOae1ZH^B9dmoN~ z(+J=K{~RWeBGXg?^D;G0pu$M>bb&z4iJmx53UP}-n`cgRqPkMPXQU_?xRXD<5t#qa z2nGp?he6PA@EQKo8-oBj&}i_a{`5x3z#(W19D)H7WRwiZfyRKDG1$kzWgrOjraoXR zi`=APU|@{^20_7*5ENDxf&}IR^SC_f^qS1uX#@9rkMqY?`R6O=rjzHFtxz!vS{K89ngVS+ky((3oSc-TIm^ zuBJ$4cuwTSb^})LPm=qo4DCEdu`Ik&ZoTy(hT1}d9o&2FRr7RDTv=A!@82<=q6s-B zqQyMhnADuEd8jxV+hDEA%&shA_sTss(!kF7=J~=6OvNj$%u8=l*zHfwALb<=F5UIC zBi6Hh@6iIOo8SCvKerh=9L>`FptT;se)ZT|$jZ=~2ys0#DBkdqR&vFj>nq%Oy#sL* zb>vRIOy*3uXp2%EHebTnv~Axo$H{Y1H3~hS=^M8E8iBRFa4PsPg=;HF?{_PPYcw?xwk5<^!)(yn883@v}({ z8(r>fWBp`jSEpQ===^M+MY?=p6$wh8RFv)TXo#>((b@=}fv$*~irUn!z*s$@ znvgG<`|8%=HhsE==abF`&heIvDhq#4c zz~x3DkUtI)tbzRwZ2#cS4=CCM@#9*@ai%7}fcST``ZI_F4>$0@BG3RnZ`H;A3xuO- z(zYP{cl_QQ|G(fj?Wz9-20(QAeWNsiKM?%qXPq|k50L-IjRSLx11NwO(eiXAfs?@N zXhd)!0`W-zL>vdyGzk(Q9e6?Y$xZ|^h}_~@PJovpQUiVr8T)v7xf47<-$mQ__mbYf zy}*x}CDa^Z4Fgaf0|PJ=hJe`G{#5S!vsHiHEDh2Aue;pxFc9dL;!>Klxtqpv!UK*I zKuOT;09X$A&dnO=Pq++TgkKEun?1lXD}}bGHqi-OiRSTsR8xI`lY#%VN17+vvZ$Vq z2QUMe{PQUwK;N;&VL&E1`8Wc<(uq5Q5eNh>4M$6(AmXl6s+SxTs3HSI7c$<IdqH0OW#m zKs`a-Xf3F_EUoyyc~nG_rz%*i7e~MlNEjA|g~I@EkFnZ3O?66*?gs6a{8WMm`#N|Bf;$C5yAeO%F@G|_nHea{BbWhozrP?DG#UsmoFU(7 zfI)!^3%($pTQoQt0fagKqM=}bV!zU0Fc9B`h6}I1>E^x z`A{e%0Nwwlp?}j4C4>D<21-U2K!RWAqS4sj)&ub44>Z(oGB8N=Z)bo({w^1|vA@X$ zt^yE={i+LaIezCu|9mb~G9HM>$+Vx{jfsH-(3T*O8j(m;2m-t*o4>4p;0vKW?=<^U VsCY7!W_>Jh>zPGG)%4Yw{|8|AjynJV literal 0 HcmV?d00001 diff --git a/img/0fr2yhbgg9nsx.pdf b/img/0fr2yhbgg9nsx.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0bda6eeebe5dfdccc3549004db6b1ef094a7ba08 GIT binary patch literal 8146 zcmb7J2_Tf+*Dp(nvSm$WyaYCL`~1!_!ul#|5^za0qj1%yk~KyY1O_46yE4kl zL!jDt4`+%C1Pzc386gk|RE^+9!IOa24M)MN;2nsLct%AR-WRT6st!Zy`HRf^N0T@j8ou{<4o7rmg>}n8debh1>G``6f>XE>F9SS_p~o zf0;TuE*LTzKYMAdJ($$ZeT|eR@r^B@b;D~eczIbe60ROTeGNLYF=1z?9=yhjSxk=l z-iiOd3mr(AJ3e;z{dbbE0Gv$=y&bOMX-_D_e+Xr&dd^3KoPANfo?ZPNWX zSD&tcHNw?oUxm|fMkw37hNz%Rq`{SzwPdBM%Eofa83#=LU$ZLMX|lJamDSUHRL6adapFd{F9Mm8sQx<=a=SiXYG_Sn2db3 zbB>Gm^Nbs#JeeVTL||q8Sm83LtJQrqm+qpt9Rr2lme5X4*37%XM@$?KM(@Ez9h1ZB zoJA-O3@=7JfyF#7ij`zKbb&!wxA@u@)wm#4h@qu&F`*8oBG9LQ%JnAt&4O_@`svH$ zEOxbzrrABfx_da|MxGR+*wPtu;_?&HpP3_uU0!RV|B9|O=)~<`(ydqF$xF|!4kvB#nYvu+o%o-F;Gb0wAt z_2suvJVDssI`?ftHSZj)m+@b#!lOREYt8F#O(Olh+GDw(v;1!wr=ZQp`I)cniHn_F zJpOukbh$dzcKyM3()YtLbmUXZW`7-Bax4$@lGzTLYu};PXoRMC4L(l-$UV z1`(Pw#XXNR>?7{gopPP(bv~F@9`jl0#=sZb$F62VeR;^J!q4^0A-irA@W&yzXXtOe zH{Gosb-_?H%NCj2Vz-u7m-{0#--bEwdH3e#xIxN-(D+-WI|QL;__)XxT_rngnM1#S;^GJ|8dB#T z>TzT@tAje?iFc-dacoj(bOL9|VY(Pu)d>~jn-2D$w1in|OOEb7B>KX{Eo)XbGcc)5 zzsXXA^L?ZmPicHKQZ(m${uyq;`s?QSFCSD=_bAg~Wl_jBjk=(pv z-JQbcQ*v+4rIzpIrGwv_dM6>S#)5A~1&PsNW49h618Ns2B&>eP0GvrIL*L?1C96Q8b;g4c; z)`e?*$DKkAy^k<_wwN3{pL~RqA3cYyZaCW4hA}MqEZSl@^AXWeg20N5fntoj?J3j)0QH0`|K`&2ObKp$uh?t{f8DAK8ON*2FMik>KUiM8gBbh|y zdWou3pU|LZk|iQiE9O3CRr~uoROe#DEpDlaOr%Ady*bag3jfF^fj!N0*>h@KN(uSt zGE3aViEep!yYN7RfGk_uOsz~Y$?SV5iwypTvjhX1BPw^(EN?b6TRpORuzRSjZ?$<|Y9kOYZ=;4AbtcLMv7rNAj1q!&COJ5zH!Iqu5 zo@q(RCHSOXtm0i#EMIWq63l;tthsvrs%2uV7sq6yOH7%@o$T{0oWydBdt|-1okW6; zGdwe0v!j^)+ojbCQ$+Xd=b&<0`=~DWDcn?Xi6oniz52br&)G;1Q=Dlr{Tbe+iZds# zMo9B1s)=ArpLcR|8(0@<^NZoKDM~V0=J}H$^m1G?MmD)?u={%cSME+uw9778+V4)0 z6txjNYw;+p;J_7;wqD~3`Oxwq4U6DTeL*2WNKq)?=A~b1;{z{&S+$`<oU^FQzrAMO-~{u@ zt)IF!n7>*S^EcZ%_9-`;Ap6AaZ=JV!444WH59WU9`OGse-M*~z4fa-Crb3~GBEr&B z0=@VRo;zvSZW2mPCVD)qiVV0_iIa8dEz3Z`8N{=*S+RZOxY_#{DB zI#-qW8_a^9P$p*0upU+loJUByWnhl^G3P?G;!ayEC2EFYV7HrNH;clm%(>3}mxxXQ zLCN+Sin8o7?glyHYg zCgXb+Hxx|3B<$v{g59p+`%#xfo%GvURB11K*jc5A)mRdjq?a7Xx$E4OB~|ckuN%Rv z!|oiEUy`qH%`wOWcaZ6A?}t|m=qrbBh8yhB+to}9JKnMv!3bx7cb2h6h)na&^U&vs z%&?EMhuM-sA2e(vhu=s}InRFHP#E^HxhVL#-BRvMD-(g+*etXlt55vMu8+tgVKXjQ z9lWYH7^2VEKRG&3XK)R>G;aMM`HBh&ffh5njwY0rB~UIiaUaKTFcYhrcO|rsPXvwy zzVqCTh49BHvqsS$dp zYvVG}M;q1hc^#URi*PraN_iDB#>g}zrSdtl>#{3UBR}&+lC1gD$4b6^!5l)PqSlSO%1u@)(n^1wWDk8(z+^Dt%U+)~q^F_Pn}##|b=Fzy!dGE8;9L8ffpic3x+&2Z;X(w)u`mNO3*%f7Yp ze9#cAgBN|7yKz^GC1DV{TVVI3A}Pcgca0-lD26sDH1#P?GctL)Q-7y%H2w|8o8$wn zCBt{KO%@O^^{V>w{G6lr?zq4`bLu-skWQt-YVD8fvY7A56}|Lf862ur)?;VZf35F) zF!Rgo4V`PQ8!c*~5nV1kji1efzp*~2ecM7e&e2{Vas&=fx41raA~!DS#$G4v02U8p zt~+@@ARtpAXkkURApjbfn01U_`T}ihiSK)w_bG2a{LMbEHCdGoe{r(;g%O?irDxhN z6P3>?v-&CIgp_QAsj2XrX0(11t?oRNg(M-kB#!87yh)~TxtdBoZH-P)6*sPZ(?nWH z8)>06(JREzD)wf&Sj9F;3=XfReQ*9^1U|y!7ke#)2VZry{OOfvO1#=%~&Q4<%$uH2bV9m3a zf|vr}Ub1J{2lnUX8X?newI}d*I*0|!E>^%h+gRF`a8kx8N7h}=oEyMfJx>Z39#9yn zi7dAG)RYn~Hm>8(f#Im0HdW|~Fyq4h^;%b3JLWuepWR^U7yMXjboz;1Ary^0t&sHf z_3wvG7HBu<*FH}uZIAfDkn=~xk3h>{wjypg7(4$fI)(oeWdA8V1p?lm)fJnhR*x_k ztLpN`d5iqmXmtjmqzL0YKCZx6O0xAIWnz3KmP5b3v ze~8m#+>x|=3ch!iCS%S>+~`yL8vns=iNss?cf~3+*7vmlV9 zi*pCEC{;5fQ>>x5GLAqZf>bao+hlRWIRjbJPj;oPgh~Q|fPJ$gNx``h z9IzhFZg|M%Y%JLU%*g;2>H?s6un*3q5|nYC8hC=U%Reke6ui4BM0#@=>}YItK(&C| zhDSoceCgNx3Cte1Zs=y#2J%t`{GKIINlG{}9vuH~njdA&tU>7GF2roFH`jZDvSgVX9(1c;DPlZ6SfG{d1eGhiVOKiMv8)gJNeTaA@%2|;0GAV^?7Fz?5n&;V{wQ*9t+CYpE3&ph z;s2!Me*%}^a$jXl70?o((P6)*z$S@0S~Lb6k#je>JM3XcozMe+oj2`y1&u!8(ygZf z<7kRtgy%$DYS(A>`Ye8sLf6h^7{kOZ;o4gtY@j7D*ulB)el=J3#MNbmgMJ<3DH@Oy zLYj=TjY-Yv8b^wwFb!5JjI2sRwy)h{BJ^#YZY30MNL9Sn%)InT=yMwEK zCyQ2$`XBHIwAL2>pin=(##a64my$gEXO-uFt;yRYcDgpe_BPE0F&=uY?A1$Vh?`An z*ywU&8S5uGxj5!ZM?F|~#86-%5<-E;zgnygK3w8Jyw{8Od9+tC(ZPD+IT!A!SfZ=s zSZMnh6QW$kjmk$2cO9>unK!7Cc%QL1wTmVkJsw|^mA7oT(sRi9 z#$M+>@3F2{GVw@V1~1lZ<%L{&)PqdAHKVicd&UhvzQa9Ji_$`H4RnRyQqZDw1;pqI z)C7OcJW#g|x9-z1NJu&#FvneTcAoIOq-~j>Lum-jr*#5ztpHQ?3;wLpvVoi*H1Mwed^=A+V9&X@)MW6wE-l~iJ7YIjF zrENj@cKqHP|G(fj^{M|220(P#zEP^cp9uczvrZlP2gv{9#(_CT{$#+5XnHsi!AanC zG{id-fcV58B8mlSns_mg4!odxBu6|6L~c<{N5D%FDE>c(jJ!QP-SF<9@1kz}M@jGB zUf^fV5^4sqf&nNm1p_b?hJe`E{8H}wvsHiJEEUoIue;pxFc9dL;u0Fvxtqpv!~u>I zKuOT;09X$A&dnO=FSra|gx?IZ%^qNxl}ue!i{J>ZMD=(-tEt|=$-sZvBh?daSyb2C z9hd=3{`C|Ppzqk?&?gZcy&ZsG=|mmC2m}I`grg-<5K$Kj#ZwjvRFMIqGYRMELU15U z5=qWtRLek>fuHbzSOy}mrmCg}gP}1nm=w@TDFYwi=rIVOg##ZI7!3FdLjf(=$Dn{# z8u*|$$9~defIbrV06ZW+5@?Y?AE64g0D;Hw4gb@u08(9gw-T9#vOh5c7iv)DP4X0mudC zfO>+uQCm=V8EWx;^QZ_!4;8RjFN%O6kT47k1BU_L9&NdKnmR=)E*K?tea6mjxqWtldh&nPUcs;9>IKU@orIRF3v literal 0 HcmV?d00001 diff --git a/img/0uw74idqq2ilw.pdf b/img/0uw74idqq2ilw.pdf new file mode 100644 index 0000000000000000000000000000000000000000..025c71c976df0c60d6dfaeb1756eaee82c4bbcda GIT binary patch literal 8146 zcmb7J2_Tf+*DqV5Y*|woFG6B=W3RExzV9>`j4;fMwUC_%iI6CSls%F}i!5a)h3qON zQL@EL-}8+0)?5Go_kAH?={ge%0)r48+?W&; zAW$8=rwhduf(A%NOb`eJs!njH;7LI1j-%jJ@s30%Jd=_V6PZH7<2;!BuXvbSp0dGk z2EQz03#eo^t2!u|znGIRNw?PRbd6QeV8z!R(?0M-T=MIR;w^=J{8OibR%YDCEQLh{ zK2IN+5DFbjn7g>%5kl(Wxk^fx{K_8Kw&^_|va%u-1=om}xe6WKoV2&s2wCUDETu$$ z>%xCyKnGFgkB#4X_l+dt^yxwJ+mv&}9G(yqo#4{jeKX;++UZ4Wd<(PpMn4fxnf5%& zGoUMEi*z&HTj@NK8OFY#DJJ9^Wq7%DJw^G7iix~R=6*AOSRv=F2f6B@76Y7e@Q_dQ z2RQgoWYhPTG)`XqD@?-BUK#juAi?W^%3IiY$u8~4AFzD+IR>W=b+*vK)RUpm~gZW|8|O5Dumm!Gw#&kObM^xt79nxK~@ zSML6Dca(7aiQT-b@~2hI^bkqf&3_v`#kYU!ndYcSx#wWg78KJDUr^pFDxaFG>`s0- zgwUET>3x*x5P7%$q}z0#%YpQY*iXvW2S3|Aax)k1&qqcVeQIC{Ww>4_5Rc%QrN8;k zY?ns#c_XoGJ7iv~{d#(_zt@F*L%e?OLd^-dTZGuRJF0Iv4BCX6>=ee%21`!SamhWd zxyVyAy|0InEZ!X65IQGvd*GI$fNWDjx z=iyy!jv9!^K3M@JamisZiCm?J=wjv6CRI&tI68dP7GbR`J+kYd*mG0&>^ZrtpyYOg zW-CpucTwuRWeG7zvD|Y7r+I`Lu36wezgJD$twL8t;pFlk(oRddX)j@Ws3TwYrXS-Y zv5bs4nLJI35c~v(Y(C@ah;Nv+-fVEL1nWp_e3zCz&a7j<>`qDRoqfkumxb>}@$ilJ zbcvixQ=!~Uz^Q5RR9dBoh*9)R+Ka~J-idjBdd}Pm7ljxy5=3 ziJ6XNL}%`e_`lSW%)bfFj64=UBh^VVDyOVvhJ-mmci0=xk}t+x^}WY=^dLuN0E)>) z53c)HF4E}fQcB!H%3&@6^gOnv@koC=#;Ev{SgX}+KwHn?hs|BP=c4gUcu%MA zfCzj8p%lbVumunlj*yWC8Ne>`2hvipRn4EGVN3yV6{4U35`Y&J2Ln0~s0tPWhd>>1 zz<&U3fq||6P<5gw^(XfQiZS+apimD0)Dy1qi%ZKlBe?UwWVag(exF9`ZFTl| z_%*Sl!@A*bRg;eqdY}7F$#}2``Ro^oVja9BqL!;lY9eb%rE!X63K`z_O^en%mn(cO zSL#)AVrvCimT*~K>T<56!8HaZVL}L>|Ct; zf;aYl(EiZnF>q&sj(q!=z3&`<$6cB+waJB7Qmi)Y^^*f!A@>lZH}dAT#@{|fJLRU1 z6bH-0*W59uY!n=O?Ou+3@Oc4SY`XV;Ce>$%EK#Rh*89Gj9h%@@I7^RQaIQ`D4YyjC z3zA+f_ADG>u6rr9An4k0eysdMELxh-R-E&|z%gT_NMhq^)xniaPn6lhtg(Z}4Q~E4 z!%JUes~M|#1qzS2-Xq!^J>Fi2xWifev~yr5&4u?fYh_gzm!=AgDJGY_9hzlFvxq7U zlGSOxVZl$ON=2ntEqu+Z_w{$G&BsMp-c%QzOph^teU51j{()T*dy4mx*Yt$6GV<#9+F9aKId@T(nF5Vx2!^(YRqv!*-DqsFerSDv*Dhb>%)oQGKLCcAl)ERtyrlf0)J+D77a__=2MqT?6!Eg7R zVH_#x6K8ecN9Tc#P{qZFhL4Lpua3|<=Flk9!-ZPej1tn%cdL&G7V@x^y*xCFEkAuN z%Zidm@J+i=&9|&nvFOY#RPY*Ed*$2}tE4z@&Z#EX*mBL=Ip8II|M^(|pU7r%zmo zl;KxW7sZx6>*C=tv?!56eI}I(VHLxgmKjlqgZ9@%x{dq=4I(X;;+NibXCez1>E^C&csA_4 zBmJ2W=+wWSekWSzykelRl5m0T3;(pH``&_c>ca=gEp&UB8yj+VM8)nEZ_F5Abg1=L z%8r&IRqUy1tMc31);t=AoLyfF9eVebN7p1_+LZ5RF+ZES*sHP=2Kf=0{%m8@+#)eM zi4UU31?_cAAkQWgQn5={(_R05FgUbXQ{tV;Q^nd!iIwHI41c*aZ&_b(Yu%#J8RnbU zFnx8XV68azZ}tuB6CQRUj>%hJyKeCsG8Y*g$ot&;iFZP#V@3BX?2UwMrD7{Zl(n}M zdf_WPZ_22{G>rVbcvfh(ursN1#;)vS+C9Obgz6cQ;*vd;%nXSEBa!me%yOgnWFa>? zH`RpeEJ9vTW)`jRUN#DxS6HTXaGvE6*J6y)PCG0mdX{l;m%CFBtKypM*{*#TiOzw+ zDGrCPwh5-S6>8u)-&72&?pN+2#4U;RWme6WESx%n^pdyNS!|yTwgf&Ly@tmXFjtpe2$5j>mJ!uLxZ1LLG*F&K z{(M~U-k1ITHq$<(WpCx=?rqpo6im=G{02keF1Lt%sEcCG2JNkCwCCUNtk%bBE=x$!OAY4Uap}&MF8sR3onYQ+ ze->mpIJu0eLul*7b^` zcg-ea%xQuA*VE5^x-ZJ@9`xkJLCdwBUdfYh%ovaKINywrLPVA{GmU*|73hSPC ziwBIV*0XCoiH$){o~Mg<$do+KeVCly+9{I8NbHIGyTVrH&MAt-2uq-eo9}#hUDMD~ z@xFrzW?K4&%+;dBvKEyI_iG}Q9Oj}2gzUZa*Kv+L&riHf8rfB+U%sm&shu{BSMlLH zTy5?11fz9$*Ddv(+5F;Nc?yNuIW<^foXe`^r`sMvUB#2C##OpbYfL4__@DC}>r=PG zWWKb+_yuZiJx1_=?O7CnHW{`GGTzl4!?5EYWobc~AX_ zxszkMh=6HSH=GmT8oPVj74DVW&^3y5E)!AjcvPRwa#z0ig)i&SaGi=i2aCZg1D69? zpXaXYUUl1SRS%2ocI9pQWD)X}?HTQxR=Nq!jzZDHaCnC0wdvz|@yXZsIAaH~co<9l ziF<*8S&G4nt8$Hj(4eI3qXIJLY1>Nu-qE~Eef|D#js@+h>J0ev6D`k;>3l9e)p?Pm za#n@SUokhdbTeFCRlqE>?W0&t*Xe8|3BfIS*g*4j3WeLvOzKHnOrn~EN!{ya(rWr> zE3K)15r$T&FU!?Bu32(uWG(%@yO{efcwqs|<8s5=*9#Tmg^CR?*q4fyPTwl&<~8B> zE;wkvfijuG2YJ@t4DNeYEvGWH-X2W(S|Sy_*EjPdOBL4r!x+)OL9zeJSlr*)&u)LI zPoLJOxBE-S*yjd^hKO`Vy3T%!a!tjY?465?eg|HN_H-;-__}a)nXpQIhK7e|ow*py z90>Q8JIyh;FF(&1nSQe)QJ~9FJVb7(65iF$+P;jFHc36a;d=V)Al~{}a)ijB;&5$L ziRH)U)Clnj-2hGuXU&Y6Vt1rDH}=b(G-htfXd$J=5ujx&T(GR=I6f8ZFy2-`;JQnG#1-#TxR&YbEmW>s%HDlrLI3XLKH&zIxQ&zd&X zKe4W?;Ux0ar+TSf(bnsfjlA+;{0q;dWG;p)=vkmFKUc%Ub=}XVq%HwPL=D>w#m~4W z4PF`y(TO!vqFtq{8#J;^1x3GGjcSVTWkMiMGG0*MGx!K`eH#U1AYWJy2RmA4ZrNdyW8kwK#%7-{M6NtG4_=T30M zdb+sdAzQPtWJfS316ZgFfa1YEIG0LL!Fg%o2`;YxuozSD9%c}ktzodEx!nQP0&W`~ z2?6t^pYta$d)&UETUi^(OBL{ImP92f@6Pzfn{?l6;0dk-G>{;pWIztIG?*EKeQCH11cBbt2W(}L zTQq4HSR;TzP;ev!g^`6If%(9^?|VW6xIs;|fs~nO>PZ00t`I7g{A@X3>OZFYUb%(; zlal`lTz<)YRkTz=OMpg){h9)sCh2O^7;;9<-{9$VfE{s05B_z|toJ1}=D2H*z9x*b zIg$yU8+ozAfW`Zh!~qIj2e(lyGmoTOUqgtYw%|}F*WPA=vNbU>nKLhonVrkzdGYpwOWR^|#``sIx6w@G9R9H^fe z=&pF>+s2@%+$GU;&X7LONQ|FRy#2B|OZ>1JljGU_OEP2f9=fO4%+mOtD(%}**i&51&XziEpIaFd8}oN3cf(Fr z?O2UJ;16i6ZTvx@et3=T`q57%dH9bi&;MGJw@vDDYlQ7-o)2a^_)5jQkIWc9m)yA7 z?an$rKyr3<%9Dw{zu|vTk zj?<<@`ONE84;$||T{*pASS|T3b5B}3{{cIj1D|i~I37~2!h(7aj<~6)P3aDd)f21@ z`I5E2egkgPuWOi?d@gXFr}WGM;aO?>WT9v7esOM^39_YlfpY&BX5$N9t$#SgZ3F`@ zHv)nDafo0I>~~=M2X}rz(H4lG&^m!NHTea^zoXTkK^%Cvfd>|W2Jm^iF7{s_98HzB z4dK7z_tyCT1;43J{Vy;8qRa0ar3(Ck;6Fd>)RBLH{6B6Sm}4A32E2%tr!x_p1YSoY zybA${PXZufSfHkf7YFIU3#w0Y!jnMc7SnP9ycB^F@MFl>$IHtd?*aNQ>c+p9^#1Jy ze$*_X<`8Qbfb!BX07GF2h^_5U<-R{#_1Dc(5$*rF%WV$>fo>}iKv8 zGl0oIp8^8(9orlRB%+g#Bk(Jom?Id0K;Tkvv=j;==1QS>$w7fCGC*`8;k;Z4j$|n! z$wi!M8K?^I6CM!DKor!~)YV}yGzJEf23lzq-~${z1_88i;G+tI0bgM#pauIF6wt~5 zAN1DP51K5{M*<&!2joWrEfVM>)PNQsP+M>e>;vN<4=4we3CaTdC{Q-I4#0x}*2e&H zKswkW!4JR>_7UH|BLQ6ypk4qGoCoTL0NQOH6c(TZGPl>G>Iw{EzVm?kfqEhUx!@d7 zPf#~%3+gUQExvCZ6@lof3Kr|d5HJK1hJj(=a0D7DYqfQnx9hi{hNL$8O(1oP%^Rr68t(BjmG@89)KTzprL+~A&o@;b_UYO-{k@~_BXk} zRRAKfUv8msS4{F7ZKL7v# literal 0 HcmV?d00001 diff --git a/img/1ftg3ucp91fwc.pdf b/img/1ftg3ucp91fwc.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0bda6eeebe5dfdccc3549004db6b1ef094a7ba08 GIT binary patch literal 8146 zcmb7J2_Tf+*Dp(nvSm$WyaYCL`~1!_!ul#|5^za0qj1%yk~KyY1O_46yE4kl zL!jDt4`+%C1Pzc386gk|RE^+9!IOa24M)MN;2nsLct%AR-WRT6st!Zy`HRf^N0T@j8ou{<4o7rmg>}n8debh1>G``6f>XE>F9SS_p~o zf0;TuE*LTzKYMAdJ($$ZeT|eR@r^B@b;D~eczIbe60ROTeGNLYF=1z?9=yhjSxk=l z-iiOd3mr(AJ3e;z{dbbE0Gv$=y&bOMX-_D_e+Xr&dd^3KoPANfo?ZPNWX zSD&tcHNw?oUxm|fMkw37hNz%Rq`{SzwPdBM%Eofa83#=LU$ZLMX|lJamDSUHRL6adapFd{F9Mm8sQx<=a=SiXYG_Sn2db3 zbB>Gm^Nbs#JeeVTL||q8Sm83LtJQrqm+qpt9Rr2lme5X4*37%XM@$?KM(@Ez9h1ZB zoJA-O3@=7JfyF#7ij`zKbb&!wxA@u@)wm#4h@qu&F`*8oBG9LQ%JnAt&4O_@`svH$ zEOxbzrrABfx_da|MxGR+*wPtu;_?&HpP3_uU0!RV|B9|O=)~<`(ydqF$xF|!4kvB#nYvu+o%o-F;Gb0wAt z_2suvJVDssI`?ftHSZj)m+@b#!lOREYt8F#O(Olh+GDw(v;1!wr=ZQp`I)cniHn_F zJpOukbh$dzcKyM3()YtLbmUXZW`7-Bax4$@lGzTLYu};PXoRMC4L(l-$UV z1`(Pw#XXNR>?7{gopPP(bv~F@9`jl0#=sZb$F62VeR;^J!q4^0A-irA@W&yzXXtOe zH{Gosb-_?H%NCj2Vz-u7m-{0#--bEwdH3e#xIxN-(D+-WI|QL;__)XxT_rngnM1#S;^GJ|8dB#T z>TzT@tAje?iFc-dacoj(bOL9|VY(Pu)d>~jn-2D$w1in|OOEb7B>KX{Eo)XbGcc)5 zzsXXA^L?ZmPicHKQZ(m${uyq;`s?QSFCSD=_bAg~Wl_jBjk=(pv z-JQbcQ*v+4rIzpIrGwv_dM6>S#)5A~1&PsNW49h618Ns2B&>eP0GvrIL*L?1C96Q8b;g4c; z)`e?*$DKkAy^k<_wwN3{pL~RqA3cYyZaCW4hA}MqEZSl@^AXWeg20N5fntoj?J3j)0QH0`|K`&2ObKp$uh?t{f8DAK8ON*2FMik>KUiM8gBbh|y zdWou3pU|LZk|iQiE9O3CRr~uoROe#DEpDlaOr%Ady*bag3jfF^fj!N0*>h@KN(uSt zGE3aViEep!yYN7RfGk_uOsz~Y$?SV5iwypTvjhX1BPw^(EN?b6TRpORuzRSjZ?$<|Y9kOYZ=;4AbtcLMv7rNAj1q!&COJ5zH!Iqu5 zo@q(RCHSOXtm0i#EMIWq63l;tthsvrs%2uV7sq6yOH7%@o$T{0oWydBdt|-1okW6; zGdwe0v!j^)+ojbCQ$+Xd=b&<0`=~DWDcn?Xi6oniz52br&)G;1Q=Dlr{Tbe+iZds# zMo9B1s)=ArpLcR|8(0@<^NZoKDM~V0=J}H$^m1G?MmD)?u={%cSME+uw9778+V4)0 z6txjNYw;+p;J_7;wqD~3`Oxwq4U6DTeL*2WNKq)?=A~b1;{z{&S+$`<oU^FQzrAMO-~{u@ zt)IF!n7>*S^EcZ%_9-`;Ap6AaZ=JV!444WH59WU9`OGse-M*~z4fa-Crb3~GBEr&B z0=@VRo;zvSZW2mPCVD)qiVV0_iIa8dEz3Z`8N{=*S+RZOxY_#{DB zI#-qW8_a^9P$p*0upU+loJUByWnhl^G3P?G;!ayEC2EFYV7HrNH;clm%(>3}mxxXQ zLCN+Sin8o7?glyHYg zCgXb+Hxx|3B<$v{g59p+`%#xfo%GvURB11K*jc5A)mRdjq?a7Xx$E4OB~|ckuN%Rv z!|oiEUy`qH%`wOWcaZ6A?}t|m=qrbBh8yhB+to}9JKnMv!3bx7cb2h6h)na&^U&vs z%&?EMhuM-sA2e(vhu=s}InRFHP#E^HxhVL#-BRvMD-(g+*etXlt55vMu8+tgVKXjQ z9lWYH7^2VEKRG&3XK)R>G;aMM`HBh&ffh5njwY0rB~UIiaUaKTFcYhrcO|rsPXvwy zzVqCTh49BHvqsS$dp zYvVG}M;q1hc^#URi*PraN_iDB#>g}zrSdtl>#{3UBR}&+lC1gD$4b6^!5l)PqSlSO%1u@)(n^1wWDk8(z+^Dt%U+)~q^F_Pn}##|b=Fzy!dGE8;9L8ffpic3x+&2Z;X(w)u`mNO3*%f7Yp ze9#cAgBN|7yKz^GC1DV{TVVI3A}Pcgca0-lD26sDH1#P?GctL)Q-7y%H2w|8o8$wn zCBt{KO%@O^^{V>w{G6lr?zq4`bLu-skWQt-YVD8fvY7A56}|Lf862ur)?;VZf35F) zF!Rgo4V`PQ8!c*~5nV1kji1efzp*~2ecM7e&e2{Vas&=fx41raA~!DS#$G4v02U8p zt~+@@ARtpAXkkURApjbfn01U_`T}ihiSK)w_bG2a{LMbEHCdGoe{r(;g%O?irDxhN z6P3>?v-&CIgp_QAsj2XrX0(11t?oRNg(M-kB#!87yh)~TxtdBoZH-P)6*sPZ(?nWH z8)>06(JREzD)wf&Sj9F;3=XfReQ*9^1U|y!7ke#)2VZry{OOfvO1#=%~&Q4<%$uH2bV9m3a zf|vr}Ub1J{2lnUX8X?newI}d*I*0|!E>^%h+gRF`a8kx8N7h}=oEyMfJx>Z39#9yn zi7dAG)RYn~Hm>8(f#Im0HdW|~Fyq4h^;%b3JLWuepWR^U7yMXjboz;1Ary^0t&sHf z_3wvG7HBu<*FH}uZIAfDkn=~xk3h>{wjypg7(4$fI)(oeWdA8V1p?lm)fJnhR*x_k ztLpN`d5iqmXmtjmqzL0YKCZx6O0xAIWnz3KmP5b3v ze~8m#+>x|=3ch!iCS%S>+~`yL8vns=iNss?cf~3+*7vmlV9 zi*pCEC{;5fQ>>x5GLAqZf>bao+hlRWIRjbJPj;oPgh~Q|fPJ$gNx``h z9IzhFZg|M%Y%JLU%*g;2>H?s6un*3q5|nYC8hC=U%Reke6ui4BM0#@=>}YItK(&C| zhDSoceCgNx3Cte1Zs=y#2J%t`{GKIINlG{}9vuH~njdA&tU>7GF2roFH`jZDvSgVX9(1c;DPlZ6SfG{d1eGhiVOKiMv8)gJNeTaA@%2|;0GAV^?7Fz?5n&;V{wQ*9t+CYpE3&ph z;s2!Me*%}^a$jXl70?o((P6)*z$S@0S~Lb6k#je>JM3XcozMe+oj2`y1&u!8(ygZf z<7kRtgy%$DYS(A>`Ye8sLf6h^7{kOZ;o4gtY@j7D*ulB)el=J3#MNbmgMJ<3DH@Oy zLYj=TjY-Yv8b^wwFb!5JjI2sRwy)h{BJ^#YZY30MNL9Sn%)InT=yMwEK zCyQ2$`XBHIwAL2>pin=(##a64my$gEXO-uFt;yRYcDgpe_BPE0F&=uY?A1$Vh?`An z*ywU&8S5uGxj5!ZM?F|~#86-%5<-E;zgnygK3w8Jyw{8Od9+tC(ZPD+IT!A!SfZ=s zSZMnh6QW$kjmk$2cO9>unK!7Cc%QL1wTmVkJsw|^mA7oT(sRi9 z#$M+>@3F2{GVw@V1~1lZ<%L{&)PqdAHKVicd&UhvzQa9Ji_$`H4RnRyQqZDw1;pqI z)C7OcJW#g|x9-z1NJu&#FvneTcAoIOq-~j>Lum-jr*#5ztpHQ?3;wLpvVoi*H1Mwed^=A+V9&X@)MW6wE-l~iJ7YIjF zrENj@cKqHP|G(fj^{M|220(P#zEP^cp9uczvrZlP2gv{9#(_CT{$#+5XnHsi!AanC zG{id-fcV58B8mlSns_mg4!odxBu6|6L~c<{N5D%FDE>c(jJ!QP-SF<9@1kz}M@jGB zUf^fV5^4sqf&nNm1p_b?hJe`E{8H}wvsHiJEEUoIue;pxFc9dL;u0Fvxtqpv!~u>I zKuOT;09X$A&dnO=FSra|gx?IZ%^qNxl}ue!i{J>ZMD=(-tEt|=$-sZvBh?daSyb2C z9hd=3{`C|Ppzqk?&?gZcy&ZsG=|mmC2m}I`grg-<5K$Kj#ZwjvRFMIqGYRMELU15U z5=qWtRLek>fuHbzSOy}mrmCg}gP}1nm=w@TDFYwi=rIVOg##ZI7!3FdLjf(=$Dn{# z8u*|$$9~defIbrV06ZW+5@?Y?AE64g0D;Hw4gb@u08(9gw-T9#vOh5c7iv)DP4X0mudC zfO>+uQCm=V8EWx;^QZ_!4;8RjFN%O6kT47k1BU_L9&NdKnmR=)E*K?tea6mjxqWtldh&nPUcs;9>IKU@orIRF3v literal 0 HcmV?d00001 diff --git a/img/1klto42084vx8.pdf b/img/1klto42084vx8.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f5447ab8db935cb2c5a402df523959c725d4fc4d GIT binary patch literal 8146 zcmb7J2_Tf+*DqV5Y*|woFG6B=W3RExzV9>`j4;fMwUC_%iI6CSls%F}i!5a)h3qON zQL@EL-}8+0)?5Go_kAH?={ge%0)r48+?W&; zAW$8=rwhduf(A%NOb`eJs!njH;7LI1j-%jJ@s30%Jd=_V6PZH7<2;!BuXvbSp0dGk z2EQz03#eo^t2!u|znGIRNw?PRbd6QeV8z!R(?0M-T=MIR;w^=J{8OibR%YDCEQLh{ zK2IN+5DFbjn7g>%5kl(Wxk^fx{K_8Kw&^_|va%u-1=om}xe6WKoV2&s2wCUDETu$$ z>%xCyKnGFgkB#4X_l+dt^yxwJ+mv&}9G(yqo#4{jeKX;++UZ4Wd<(PpMn4fxnf5%& zGoUMEi*z&HTj@NK8OFY#DJJ9^Wq7%DJw^G7iix~R=6*AOSRv=F2f6B@76Y7e@Q_dQ z2RQgoWYhPTG)`XqD@?-BUK#juAi?W^%3IiY$u8~4AFzD+IR>W=b+*vK)RUpm~gZW|8|O5Dumm!Gw#&kObM^xt79nxK~@ zSML6Dca(7aiQT-b@~2hI^bkqf&3_v`#kYU!ndYcSx#wWg78KJDUr^pFDxaFG>`s0- zgwUET>3x*x5P7%$q}z0#%YpQY*iXvW2S3|Aax)k1&qqcVeQIC{Ww>4_5Rc%QrN8;k zY?ns#c_XoGJ7iv~{d#(_zt@F*L%e?OLd^-dTZGuRJF0Iv4BCX6>=ee%21`!SamhWd zxyVyAy|0InEZ!X65IQGvd*GI$fNWDjx z=iyy!jv9!^K3M@JamisZiCm?J=wjv6CRI&tI68dP7GbR`J+kYd*mG0&>^ZrtpyYOg zW-CpucTwuRWeG7zvD|Y7r+I`Lu36wezgJD$twL8t;pFlk(oRddX)j@Ws3TwYrXS-Y zv5bs4nLJI35c~v(Y(C@ah;Nv+-fVEL1nWp_e3zCz&a7j<>`qDRoqfkumxb>}@$ilJ zbcvixQ=!~Uz^Q5RR9dBoh*9)R+Ka~J-idjBdd}Pm7ljxy5=3 ziJ6XNL}%`e_`lSW%)bfFj64=UBh^VVDyOVvhJ-mmci0=xk}t+x^}WY=^dLuN0E)>) z53c)HF4E}fQcB!H%3&@6^gOnv@koC=#;Ev{SgX}+KwHn?hs|BP=c4gUcu%MA zfCzj8p%lbVumunlj*yWC8Ne>`2hvipRn4EGVN3yV6{4U35`Y&J2Ln0~s0tPWhd>>1 zz<&U3fq||6P<5gw^(XfQiZS+apimD0)Dy1qi%ZKlBe?UwWVag(exF9`ZFTl| z_%*Sl!@A*bRg;eqdY}7F$#}2``Ro^oVja9BqL!;lY9eb%rE!X63K`z_O^en%mn(cO zSL#)AVrvCimT*~K>T<56!8HaZVL}L>|Ct; zf;aYl(EiZnF>q&sj(q!=z3&`<$6cB+waJB7Qmi)Y^^*f!A@>lZH}dAT#@{|fJLRU1 z6bH-0*W59uY!n=O?Ou+3@Oc4SY`XV;Ce>$%EK#Rh*89Gj9h%@@I7^RQaIQ`D4YyjC z3zA+f_ADG>u6rr9An4k0eysdMELxh-R-E&|z%gT_NMhq^)xniaPn6lhtg(Z}4Q~E4 z!%JUes~M|#1qzS2-Xq!^J>Fi2xWifev~yr5&4u?fYh_gzm!=AgDJGY_9hzlFvxq7U zlGSOxVZl$ON=2ntEqu+Z_w{$G&BsMp-c%QzOph^teU51j{()T*dy4mx*Yt$6GV<#9+F9aKId@T(nF5Vx2!^(YRqv!*-DqsFerSDv*Dhb>%)oQGKLCcAl)ERtyrlf0)J+D77a__=2MqT?6!Eg7R zVH_#x6K8ecN9Tc#P{qZFhL4Lpua3|<=Flk9!-ZPej1tn%cdL&G7V@x^y*xCFEkAuN z%Zidm@J+i=&9|&nvFOY#RPY*Ed*$2}tE4z@&Z#EX*mBL=Ip8II|M^(|pU7r%zmo zl;KxW7sZx6>*C=tv?!56eI}I(VHLxgmKjlqgZ9@%x{dq=4I(X;;+NibXCez1>E^C&csA_4 zBmJ2W=+wWSekWSzykelRl5m0T3;(pH``&_c>ca=gEp&UB8yj+VM8)nEZ_F5Abg1=L z%8r&IRqUy1tMc31);t=AoLyfF9eVebN7p1_+LZ5RF+ZES*sHP=2Kf=0{%m8@+#)eM zi4UU31?_cAAkQWgQn5={(_R05FgUbXQ{tV;Q^nd!iIwHI41c*aZ&_b(Yu%#J8RnbU zFnx8XV68azZ}tuB6CQRUj>%hJyKeCsG8Y*g$ot&;iFZP#V@3BX?2UwMrD7{Zl(n}M zdf_WPZ_22{G>rVbcvfh(ursN1#;)vS+C9Obgz6cQ;*vd;%nXSEBa!me%yOgnWFa>? zH`RpeEJ9vTW)`jRUN#DxS6HTXaGvE6*J6y)PCG0mdX{l;m%CFBtKypM*{*#TiOzw+ zDGrCPwh5-S6>8u)-&72&?pN+2#4U;RWme6WESx%n^pdyNS!|yTwgf&Ly@tmXFjtpe2$5j>mJ!uLxZ1LLG*F&K z{(M~U-k1ITHq$<(WpCx=?rqpo6im=G{02keF1Lt%sEcCG2JNkCwCCUNtk%bBE=x$!OAY4Uap}&MF8sR3onYQ+ ze->mpIJu0eLul*7b^` zcg-ea%xQuA*VE5^x-ZJ@9`xkJLCdwBUdfYh%ovaKINywrLPVA{GmU*|73hSPC ziwBIV*0XCoiH$){o~Mg<$do+KeVCly+9{I8NbHIGyTVrH&MAt-2uq-eo9}#hUDMD~ z@xFrzW?K4&%+;dBvKEyI_iG}Q9Oj}2gzUZa*Kv+L&riHf8rfB+U%sm&shu{BSMlLH zTy5?11fz9$*Ddv(+5F;Nc?yNuIW<^foXe`^r`sMvUB#2C##OpbYfL4__@DC}>r=PG zWWKb+_yuZiJx1_=?O7CnHW{`GGTzl4!?5EYWobc~AX_ zxszkMh=6HSH=GmT8oPVj74DVW&^3y5E)!AjcvPRwa#z0ig)i&SaGi=i2aCZg1D69? zpXaXYUUl1SRS%2ocI9pQWD)X}?HTQxR=Nq!jzZDHaCnC0wdvz|@yXZsIAaH~co<9l ziF<*8S&G4nt8$Hj(4eI3qXIJLY1>Nu-qE~Eef|D#js@+h>J0ev6D`k;>3l9e)p?Pm za#n@SUokhdbTeFCRlqE>?W0&t*Xe8|3BfIS*g*4j3WeLvOzKHnOrn~EN!{ya(rWr> zE3K)15r$T&FU!?Bu32(uWG(%@yO{efcwqs|<8s5=*9#Tmg^CR?*q4fyPTwl&<~8B> zE;wkvfijuG2YJ@t4DNeYEvGWH-X2W(S|Sy_*EjPdOBL4r!x+)OL9zeJSlr*)&u)LI zPoLJOxBE-S*yjd^hKO`Vy3T%!a!tjY?465?eg|HN_H-;-__}a)nXpQIhK7e|ow*py z90>Q8JIyh;FF(&1nSQe)QJ~9FJVb7(65iF$+P;jFHc36a;d=V)Al~{}a)ijB;&5$L ziRH)U)Clnj-2hGuXU&Y6Vt1rDH}=b(G-htfXd$J=5ujx&T(GR=I6f8ZFy2-`;JQnG#1-#TxR&YbEmW>s%HDlrLI3XLKH&zIxQ&zd&X zKe4W?;Ux0ar+TSf(bnsfjlA+;{0q;dWG;p)=vkmFKUc%Ub=}XVq%HwPL=D>w#m~4W z4PF`y(TO!vqFtq{8#J;^1x3GGjcSVTWkMiMGG0*MGx!K`eH#U1AYWJy2RmA4ZrNdyW8kwK#%7-{M6NtG4_=T30M zdb+sdAzQPtWJfS316ZgFfa1YEIG0LL!Fg%o2`;YxuozSD9%c}ktzodEx!nQP0&W`~ z2?6t^pYta$d)&UETUi^(OBL{ImP92f@6Pzfn{?l6;0dk-G>{;pWIztIG?*EKeQCH11cBbt2W(}L zTQq4HSR;TzP;ev!g^`6If%(9^?|VW6xIs;|fs~nO>PZ00t`I7g{A@X3>OZFYUb%(; zlal`lTz<)YRkTz=OMpg){h9)sCh2O^7;;9<-{9$VfE{s05B_z|toJ1}=D2H*z9x*b zIg$yU8+ozAfW`Zh!~qIj2e(lyGmoTOUqgtYw%|}F*WPA=vNbU>nKLhonVrkzdGYpwOWR^|#``sIx6w@G9R9H^fe z=&pF>+s2@%+$GU;&X7LONQ|FRy#2B|OZ>1JljGU_OEP2f9=fO4%+mOtD(%}**i&51&XziEpIaFd8}oN3cf(Fr z?O2UJ;16i6ZTvx@et3=T`q57%dH9bi&;MGJw@vDDYlQ7-o)2a^_)5jQkIWc9m)yA7 z?an$rKyr3<%9Dw{zu|vTk zj?<<@`ONE84;$||T{*pASS|T3b5B}3{{cIj1D|i~I37~2!h(7aj<~6)P3aDd)f21@ z`I5E2egkgPuWOi?d@gXFr}WGM;aO?>WT9v7esOM^39_YlfpY&BX5$N9t$#SgZ3F`@ zHv)nDafo0I>~~=M2X}rz(H4lG&^m!NHTea^zoXTkK^%Cvfd>|W2Jm^iF7{s_98HzB z4dK7z_tyCT1;43J{Vy;8qRa0ar3(Ck;6Fd>)RBLH{6B6Sm}4A32E2%tr!x_p1YSoY zybA${PXZufSfHkf7YFIU3#w0Y!jnMc7SnP9ycB^F@MFl>$IHtd?*aNQ>c+p9^#1Jy ze$*_X<`8Qbfb!BX07GF2h^_5U<-R{#_1Dc(5$*rF%WV$>fo>}iKv8 zGl0oIp8^8(9orlRB%+g#Bk(Jom?Id0K;Tkvv=j;==1QS>$w7fCGC*`8;k;Z4j$|n! z$wi!M8K?^I6CM!DKor!~)YV}yGzJEf23lzq-~${z1_88i;G+tI0bgM#pauIF6wt~5 zAN1DP51K5{M*<&!2joWrEfVM>)PNQsP+M>e>;vN<4=4we3CaTdC{Q-I4#0x}*2e&H zKswkW!4JR>_7UH|BLQ6ypk4qGoCoTL0NQOH6c(TZGPl>G>Iw{EzVm?kfqEhUx!@d7 zPf#~%3+gUQExvCZ6@lof3Kr|d5HJK1hJj(=aJVcQW3_dfx9hi{hNL$8O(1oP%^Rr68t(BjmG@89)KTzprL+~A&o@;b_UYO-{k@~_BXk} zRRAKfUv8msS4|$i4MF0Q* literal 0 HcmV?d00001 diff --git a/img/1ne6vpix78l6i.pdf b/img/1ne6vpix78l6i.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f5447ab8db935cb2c5a402df523959c725d4fc4d GIT binary patch literal 8146 zcmb7J2_Tf+*DqV5Y*|woFG6B=W3RExzV9>`j4;fMwUC_%iI6CSls%F}i!5a)h3qON zQL@EL-}8+0)?5Go_kAH?={ge%0)r48+?W&; zAW$8=rwhduf(A%NOb`eJs!njH;7LI1j-%jJ@s30%Jd=_V6PZH7<2;!BuXvbSp0dGk z2EQz03#eo^t2!u|znGIRNw?PRbd6QeV8z!R(?0M-T=MIR;w^=J{8OibR%YDCEQLh{ zK2IN+5DFbjn7g>%5kl(Wxk^fx{K_8Kw&^_|va%u-1=om}xe6WKoV2&s2wCUDETu$$ z>%xCyKnGFgkB#4X_l+dt^yxwJ+mv&}9G(yqo#4{jeKX;++UZ4Wd<(PpMn4fxnf5%& zGoUMEi*z&HTj@NK8OFY#DJJ9^Wq7%DJw^G7iix~R=6*AOSRv=F2f6B@76Y7e@Q_dQ z2RQgoWYhPTG)`XqD@?-BUK#juAi?W^%3IiY$u8~4AFzD+IR>W=b+*vK)RUpm~gZW|8|O5Dumm!Gw#&kObM^xt79nxK~@ zSML6Dca(7aiQT-b@~2hI^bkqf&3_v`#kYU!ndYcSx#wWg78KJDUr^pFDxaFG>`s0- zgwUET>3x*x5P7%$q}z0#%YpQY*iXvW2S3|Aax)k1&qqcVeQIC{Ww>4_5Rc%QrN8;k zY?ns#c_XoGJ7iv~{d#(_zt@F*L%e?OLd^-dTZGuRJF0Iv4BCX6>=ee%21`!SamhWd zxyVyAy|0InEZ!X65IQGvd*GI$fNWDjx z=iyy!jv9!^K3M@JamisZiCm?J=wjv6CRI&tI68dP7GbR`J+kYd*mG0&>^ZrtpyYOg zW-CpucTwuRWeG7zvD|Y7r+I`Lu36wezgJD$twL8t;pFlk(oRddX)j@Ws3TwYrXS-Y zv5bs4nLJI35c~v(Y(C@ah;Nv+-fVEL1nWp_e3zCz&a7j<>`qDRoqfkumxb>}@$ilJ zbcvixQ=!~Uz^Q5RR9dBoh*9)R+Ka~J-idjBdd}Pm7ljxy5=3 ziJ6XNL}%`e_`lSW%)bfFj64=UBh^VVDyOVvhJ-mmci0=xk}t+x^}WY=^dLuN0E)>) z53c)HF4E}fQcB!H%3&@6^gOnv@koC=#;Ev{SgX}+KwHn?hs|BP=c4gUcu%MA zfCzj8p%lbVumunlj*yWC8Ne>`2hvipRn4EGVN3yV6{4U35`Y&J2Ln0~s0tPWhd>>1 zz<&U3fq||6P<5gw^(XfQiZS+apimD0)Dy1qi%ZKlBe?UwWVag(exF9`ZFTl| z_%*Sl!@A*bRg;eqdY}7F$#}2``Ro^oVja9BqL!;lY9eb%rE!X63K`z_O^en%mn(cO zSL#)AVrvCimT*~K>T<56!8HaZVL}L>|Ct; zf;aYl(EiZnF>q&sj(q!=z3&`<$6cB+waJB7Qmi)Y^^*f!A@>lZH}dAT#@{|fJLRU1 z6bH-0*W59uY!n=O?Ou+3@Oc4SY`XV;Ce>$%EK#Rh*89Gj9h%@@I7^RQaIQ`D4YyjC z3zA+f_ADG>u6rr9An4k0eysdMELxh-R-E&|z%gT_NMhq^)xniaPn6lhtg(Z}4Q~E4 z!%JUes~M|#1qzS2-Xq!^J>Fi2xWifev~yr5&4u?fYh_gzm!=AgDJGY_9hzlFvxq7U zlGSOxVZl$ON=2ntEqu+Z_w{$G&BsMp-c%QzOph^teU51j{()T*dy4mx*Yt$6GV<#9+F9aKId@T(nF5Vx2!^(YRqv!*-DqsFerSDv*Dhb>%)oQGKLCcAl)ERtyrlf0)J+D77a__=2MqT?6!Eg7R zVH_#x6K8ecN9Tc#P{qZFhL4Lpua3|<=Flk9!-ZPej1tn%cdL&G7V@x^y*xCFEkAuN z%Zidm@J+i=&9|&nvFOY#RPY*Ed*$2}tE4z@&Z#EX*mBL=Ip8II|M^(|pU7r%zmo zl;KxW7sZx6>*C=tv?!56eI}I(VHLxgmKjlqgZ9@%x{dq=4I(X;;+NibXCez1>E^C&csA_4 zBmJ2W=+wWSekWSzykelRl5m0T3;(pH``&_c>ca=gEp&UB8yj+VM8)nEZ_F5Abg1=L z%8r&IRqUy1tMc31);t=AoLyfF9eVebN7p1_+LZ5RF+ZES*sHP=2Kf=0{%m8@+#)eM zi4UU31?_cAAkQWgQn5={(_R05FgUbXQ{tV;Q^nd!iIwHI41c*aZ&_b(Yu%#J8RnbU zFnx8XV68azZ}tuB6CQRUj>%hJyKeCsG8Y*g$ot&;iFZP#V@3BX?2UwMrD7{Zl(n}M zdf_WPZ_22{G>rVbcvfh(ursN1#;)vS+C9Obgz6cQ;*vd;%nXSEBa!me%yOgnWFa>? zH`RpeEJ9vTW)`jRUN#DxS6HTXaGvE6*J6y)PCG0mdX{l;m%CFBtKypM*{*#TiOzw+ zDGrCPwh5-S6>8u)-&72&?pN+2#4U;RWme6WESx%n^pdyNS!|yTwgf&Ly@tmXFjtpe2$5j>mJ!uLxZ1LLG*F&K z{(M~U-k1ITHq$<(WpCx=?rqpo6im=G{02keF1Lt%sEcCG2JNkCwCCUNtk%bBE=x$!OAY4Uap}&MF8sR3onYQ+ ze->mpIJu0eLul*7b^` zcg-ea%xQuA*VE5^x-ZJ@9`xkJLCdwBUdfYh%ovaKINywrLPVA{GmU*|73hSPC ziwBIV*0XCoiH$){o~Mg<$do+KeVCly+9{I8NbHIGyTVrH&MAt-2uq-eo9}#hUDMD~ z@xFrzW?K4&%+;dBvKEyI_iG}Q9Oj}2gzUZa*Kv+L&riHf8rfB+U%sm&shu{BSMlLH zTy5?11fz9$*Ddv(+5F;Nc?yNuIW<^foXe`^r`sMvUB#2C##OpbYfL4__@DC}>r=PG zWWKb+_yuZiJx1_=?O7CnHW{`GGTzl4!?5EYWobc~AX_ zxszkMh=6HSH=GmT8oPVj74DVW&^3y5E)!AjcvPRwa#z0ig)i&SaGi=i2aCZg1D69? zpXaXYUUl1SRS%2ocI9pQWD)X}?HTQxR=Nq!jzZDHaCnC0wdvz|@yXZsIAaH~co<9l ziF<*8S&G4nt8$Hj(4eI3qXIJLY1>Nu-qE~Eef|D#js@+h>J0ev6D`k;>3l9e)p?Pm za#n@SUokhdbTeFCRlqE>?W0&t*Xe8|3BfIS*g*4j3WeLvOzKHnOrn~EN!{ya(rWr> zE3K)15r$T&FU!?Bu32(uWG(%@yO{efcwqs|<8s5=*9#Tmg^CR?*q4fyPTwl&<~8B> zE;wkvfijuG2YJ@t4DNeYEvGWH-X2W(S|Sy_*EjPdOBL4r!x+)OL9zeJSlr*)&u)LI zPoLJOxBE-S*yjd^hKO`Vy3T%!a!tjY?465?eg|HN_H-;-__}a)nXpQIhK7e|ow*py z90>Q8JIyh;FF(&1nSQe)QJ~9FJVb7(65iF$+P;jFHc36a;d=V)Al~{}a)ijB;&5$L ziRH)U)Clnj-2hGuXU&Y6Vt1rDH}=b(G-htfXd$J=5ujx&T(GR=I6f8ZFy2-`;JQnG#1-#TxR&YbEmW>s%HDlrLI3XLKH&zIxQ&zd&X zKe4W?;Ux0ar+TSf(bnsfjlA+;{0q;dWG;p)=vkmFKUc%Ub=}XVq%HwPL=D>w#m~4W z4PF`y(TO!vqFtq{8#J;^1x3GGjcSVTWkMiMGG0*MGx!K`eH#U1AYWJy2RmA4ZrNdyW8kwK#%7-{M6NtG4_=T30M zdb+sdAzQPtWJfS316ZgFfa1YEIG0LL!Fg%o2`;YxuozSD9%c}ktzodEx!nQP0&W`~ z2?6t^pYta$d)&UETUi^(OBL{ImP92f@6Pzfn{?l6;0dk-G>{;pWIztIG?*EKeQCH11cBbt2W(}L zTQq4HSR;TzP;ev!g^`6If%(9^?|VW6xIs;|fs~nO>PZ00t`I7g{A@X3>OZFYUb%(; zlal`lTz<)YRkTz=OMpg){h9)sCh2O^7;;9<-{9$VfE{s05B_z|toJ1}=D2H*z9x*b zIg$yU8+ozAfW`Zh!~qIj2e(lyGmoTOUqgtYw%|}F*WPA=vNbU>nKLhonVrkzdGYpwOWR^|#``sIx6w@G9R9H^fe z=&pF>+s2@%+$GU;&X7LONQ|FRy#2B|OZ>1JljGU_OEP2f9=fO4%+mOtD(%}**i&51&XziEpIaFd8}oN3cf(Fr z?O2UJ;16i6ZTvx@et3=T`q57%dH9bi&;MGJw@vDDYlQ7-o)2a^_)5jQkIWc9m)yA7 z?an$rKyr3<%9Dw{zu|vTk zj?<<@`ONE84;$||T{*pASS|T3b5B}3{{cIj1D|i~I37~2!h(7aj<~6)P3aDd)f21@ z`I5E2egkgPuWOi?d@gXFr}WGM;aO?>WT9v7esOM^39_YlfpY&BX5$N9t$#SgZ3F`@ zHv)nDafo0I>~~=M2X}rz(H4lG&^m!NHTea^zoXTkK^%Cvfd>|W2Jm^iF7{s_98HzB z4dK7z_tyCT1;43J{Vy;8qRa0ar3(Ck;6Fd>)RBLH{6B6Sm}4A32E2%tr!x_p1YSoY zybA${PXZufSfHkf7YFIU3#w0Y!jnMc7SnP9ycB^F@MFl>$IHtd?*aNQ>c+p9^#1Jy ze$*_X<`8Qbfb!BX07GF2h^_5U<-R{#_1Dc(5$*rF%WV$>fo>}iKv8 zGl0oIp8^8(9orlRB%+g#Bk(Jom?Id0K;Tkvv=j;==1QS>$w7fCGC*`8;k;Z4j$|n! z$wi!M8K?^I6CM!DKor!~)YV}yGzJEf23lzq-~${z1_88i;G+tI0bgM#pauIF6wt~5 zAN1DP51K5{M*<&!2joWrEfVM>)PNQsP+M>e>;vN<4=4we3CaTdC{Q-I4#0x}*2e&H zKswkW!4JR>_7UH|BLQ6ypk4qGoCoTL0NQOH6c(TZGPl>G>Iw{EzVm?kfqEhUx!@d7 zPf#~%3+gUQExvCZ6@lof3Kr|d5HJK1hJj(=aJVcQW3_dfx9hi{hNL$8O(1oP%^Rr68t(BjmG@89)KTzprL+~A&o@;b_UYO-{k@~_BXk} zRRAKfUv8msS4|$i4MF0Q* literal 0 HcmV?d00001 diff --git a/img/1p1tg4rvundxc.pdf b/img/1p1tg4rvundxc.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f5447ab8db935cb2c5a402df523959c725d4fc4d GIT binary patch literal 8146 zcmb7J2_Tf+*DqV5Y*|woFG6B=W3RExzV9>`j4;fMwUC_%iI6CSls%F}i!5a)h3qON zQL@EL-}8+0)?5Go_kAH?={ge%0)r48+?W&; zAW$8=rwhduf(A%NOb`eJs!njH;7LI1j-%jJ@s30%Jd=_V6PZH7<2;!BuXvbSp0dGk z2EQz03#eo^t2!u|znGIRNw?PRbd6QeV8z!R(?0M-T=MIR;w^=J{8OibR%YDCEQLh{ zK2IN+5DFbjn7g>%5kl(Wxk^fx{K_8Kw&^_|va%u-1=om}xe6WKoV2&s2wCUDETu$$ z>%xCyKnGFgkB#4X_l+dt^yxwJ+mv&}9G(yqo#4{jeKX;++UZ4Wd<(PpMn4fxnf5%& zGoUMEi*z&HTj@NK8OFY#DJJ9^Wq7%DJw^G7iix~R=6*AOSRv=F2f6B@76Y7e@Q_dQ z2RQgoWYhPTG)`XqD@?-BUK#juAi?W^%3IiY$u8~4AFzD+IR>W=b+*vK)RUpm~gZW|8|O5Dumm!Gw#&kObM^xt79nxK~@ zSML6Dca(7aiQT-b@~2hI^bkqf&3_v`#kYU!ndYcSx#wWg78KJDUr^pFDxaFG>`s0- zgwUET>3x*x5P7%$q}z0#%YpQY*iXvW2S3|Aax)k1&qqcVeQIC{Ww>4_5Rc%QrN8;k zY?ns#c_XoGJ7iv~{d#(_zt@F*L%e?OLd^-dTZGuRJF0Iv4BCX6>=ee%21`!SamhWd zxyVyAy|0InEZ!X65IQGvd*GI$fNWDjx z=iyy!jv9!^K3M@JamisZiCm?J=wjv6CRI&tI68dP7GbR`J+kYd*mG0&>^ZrtpyYOg zW-CpucTwuRWeG7zvD|Y7r+I`Lu36wezgJD$twL8t;pFlk(oRddX)j@Ws3TwYrXS-Y zv5bs4nLJI35c~v(Y(C@ah;Nv+-fVEL1nWp_e3zCz&a7j<>`qDRoqfkumxb>}@$ilJ zbcvixQ=!~Uz^Q5RR9dBoh*9)R+Ka~J-idjBdd}Pm7ljxy5=3 ziJ6XNL}%`e_`lSW%)bfFj64=UBh^VVDyOVvhJ-mmci0=xk}t+x^}WY=^dLuN0E)>) z53c)HF4E}fQcB!H%3&@6^gOnv@koC=#;Ev{SgX}+KwHn?hs|BP=c4gUcu%MA zfCzj8p%lbVumunlj*yWC8Ne>`2hvipRn4EGVN3yV6{4U35`Y&J2Ln0~s0tPWhd>>1 zz<&U3fq||6P<5gw^(XfQiZS+apimD0)Dy1qi%ZKlBe?UwWVag(exF9`ZFTl| z_%*Sl!@A*bRg;eqdY}7F$#}2``Ro^oVja9BqL!;lY9eb%rE!X63K`z_O^en%mn(cO zSL#)AVrvCimT*~K>T<56!8HaZVL}L>|Ct; zf;aYl(EiZnF>q&sj(q!=z3&`<$6cB+waJB7Qmi)Y^^*f!A@>lZH}dAT#@{|fJLRU1 z6bH-0*W59uY!n=O?Ou+3@Oc4SY`XV;Ce>$%EK#Rh*89Gj9h%@@I7^RQaIQ`D4YyjC z3zA+f_ADG>u6rr9An4k0eysdMELxh-R-E&|z%gT_NMhq^)xniaPn6lhtg(Z}4Q~E4 z!%JUes~M|#1qzS2-Xq!^J>Fi2xWifev~yr5&4u?fYh_gzm!=AgDJGY_9hzlFvxq7U zlGSOxVZl$ON=2ntEqu+Z_w{$G&BsMp-c%QzOph^teU51j{()T*dy4mx*Yt$6GV<#9+F9aKId@T(nF5Vx2!^(YRqv!*-DqsFerSDv*Dhb>%)oQGKLCcAl)ERtyrlf0)J+D77a__=2MqT?6!Eg7R zVH_#x6K8ecN9Tc#P{qZFhL4Lpua3|<=Flk9!-ZPej1tn%cdL&G7V@x^y*xCFEkAuN z%Zidm@J+i=&9|&nvFOY#RPY*Ed*$2}tE4z@&Z#EX*mBL=Ip8II|M^(|pU7r%zmo zl;KxW7sZx6>*C=tv?!56eI}I(VHLxgmKjlqgZ9@%x{dq=4I(X;;+NibXCez1>E^C&csA_4 zBmJ2W=+wWSekWSzykelRl5m0T3;(pH``&_c>ca=gEp&UB8yj+VM8)nEZ_F5Abg1=L z%8r&IRqUy1tMc31);t=AoLyfF9eVebN7p1_+LZ5RF+ZES*sHP=2Kf=0{%m8@+#)eM zi4UU31?_cAAkQWgQn5={(_R05FgUbXQ{tV;Q^nd!iIwHI41c*aZ&_b(Yu%#J8RnbU zFnx8XV68azZ}tuB6CQRUj>%hJyKeCsG8Y*g$ot&;iFZP#V@3BX?2UwMrD7{Zl(n}M zdf_WPZ_22{G>rVbcvfh(ursN1#;)vS+C9Obgz6cQ;*vd;%nXSEBa!me%yOgnWFa>? zH`RpeEJ9vTW)`jRUN#DxS6HTXaGvE6*J6y)PCG0mdX{l;m%CFBtKypM*{*#TiOzw+ zDGrCPwh5-S6>8u)-&72&?pN+2#4U;RWme6WESx%n^pdyNS!|yTwgf&Ly@tmXFjtpe2$5j>mJ!uLxZ1LLG*F&K z{(M~U-k1ITHq$<(WpCx=?rqpo6im=G{02keF1Lt%sEcCG2JNkCwCCUNtk%bBE=x$!OAY4Uap}&MF8sR3onYQ+ ze->mpIJu0eLul*7b^` zcg-ea%xQuA*VE5^x-ZJ@9`xkJLCdwBUdfYh%ovaKINywrLPVA{GmU*|73hSPC ziwBIV*0XCoiH$){o~Mg<$do+KeVCly+9{I8NbHIGyTVrH&MAt-2uq-eo9}#hUDMD~ z@xFrzW?K4&%+;dBvKEyI_iG}Q9Oj}2gzUZa*Kv+L&riHf8rfB+U%sm&shu{BSMlLH zTy5?11fz9$*Ddv(+5F;Nc?yNuIW<^foXe`^r`sMvUB#2C##OpbYfL4__@DC}>r=PG zWWKb+_yuZiJx1_=?O7CnHW{`GGTzl4!?5EYWobc~AX_ zxszkMh=6HSH=GmT8oPVj74DVW&^3y5E)!AjcvPRwa#z0ig)i&SaGi=i2aCZg1D69? zpXaXYUUl1SRS%2ocI9pQWD)X}?HTQxR=Nq!jzZDHaCnC0wdvz|@yXZsIAaH~co<9l ziF<*8S&G4nt8$Hj(4eI3qXIJLY1>Nu-qE~Eef|D#js@+h>J0ev6D`k;>3l9e)p?Pm za#n@SUokhdbTeFCRlqE>?W0&t*Xe8|3BfIS*g*4j3WeLvOzKHnOrn~EN!{ya(rWr> zE3K)15r$T&FU!?Bu32(uWG(%@yO{efcwqs|<8s5=*9#Tmg^CR?*q4fyPTwl&<~8B> zE;wkvfijuG2YJ@t4DNeYEvGWH-X2W(S|Sy_*EjPdOBL4r!x+)OL9zeJSlr*)&u)LI zPoLJOxBE-S*yjd^hKO`Vy3T%!a!tjY?465?eg|HN_H-;-__}a)nXpQIhK7e|ow*py z90>Q8JIyh;FF(&1nSQe)QJ~9FJVb7(65iF$+P;jFHc36a;d=V)Al~{}a)ijB;&5$L ziRH)U)Clnj-2hGuXU&Y6Vt1rDH}=b(G-htfXd$J=5ujx&T(GR=I6f8ZFy2-`;JQnG#1-#TxR&YbEmW>s%HDlrLI3XLKH&zIxQ&zd&X zKe4W?;Ux0ar+TSf(bnsfjlA+;{0q;dWG;p)=vkmFKUc%Ub=}XVq%HwPL=D>w#m~4W z4PF`y(TO!vqFtq{8#J;^1x3GGjcSVTWkMiMGG0*MGx!K`eH#U1AYWJy2RmA4ZrNdyW8kwK#%7-{M6NtG4_=T30M zdb+sdAzQPtWJfS316ZgFfa1YEIG0LL!Fg%o2`;YxuozSD9%c}ktzodEx!nQP0&W`~ z2?6t^pYta$d)&UETUi^(OBL{ImP92f@6Pzfn{?l6;0dk-G>{;pWIztIG?*EKeQCH11cBbt2W(}L zTQq4HSR;TzP;ev!g^`6If%(9^?|VW6xIs;|fs~nO>PZ00t`I7g{A@X3>OZFYUb%(; zlal`lTz<)YRkTz=OMpg){h9)sCh2O^7;;9<-{9$VfE{s05B_z|toJ1}=D2H*z9x*b zIg$yU8+ozAfW`Zh!~qIj2e(lyGmoTOUqgtYw%|}F*WPA=vNbU>nKLhonVrkzdGYpwOWR^|#``sIx6w@G9R9H^fe z=&pF>+s2@%+$GU;&X7LONQ|FRy#2B|OZ>1JljGU_OEP2f9=fO4%+mOtD(%}**i&51&XziEpIaFd8}oN3cf(Fr z?O2UJ;16i6ZTvx@et3=T`q57%dH9bi&;MGJw@vDDYlQ7-o)2a^_)5jQkIWc9m)yA7 z?an$rKyr3<%9Dw{zu|vTk zj?<<@`ONE84;$||T{*pASS|T3b5B}3{{cIj1D|i~I37~2!h(7aj<~6)P3aDd)f21@ z`I5E2egkgPuWOi?d@gXFr}WGM;aO?>WT9v7esOM^39_YlfpY&BX5$N9t$#SgZ3F`@ zHv)nDafo0I>~~=M2X}rz(H4lG&^m!NHTea^zoXTkK^%Cvfd>|W2Jm^iF7{s_98HzB z4dK7z_tyCT1;43J{Vy;8qRa0ar3(Ck;6Fd>)RBLH{6B6Sm}4A32E2%tr!x_p1YSoY zybA${PXZufSfHkf7YFIU3#w0Y!jnMc7SnP9ycB^F@MFl>$IHtd?*aNQ>c+p9^#1Jy ze$*_X<`8Qbfb!BX07GF2h^_5U<-R{#_1Dc(5$*rF%WV$>fo>}iKv8 zGl0oIp8^8(9orlRB%+g#Bk(Jom?Id0K;Tkvv=j;==1QS>$w7fCGC*`8;k;Z4j$|n! z$wi!M8K?^I6CM!DKor!~)YV}yGzJEf23lzq-~${z1_88i;G+tI0bgM#pauIF6wt~5 zAN1DP51K5{M*<&!2joWrEfVM>)PNQsP+M>e>;vN<4=4we3CaTdC{Q-I4#0x}*2e&H zKswkW!4JR>_7UH|BLQ6ypk4qGoCoTL0NQOH6c(TZGPl>G>Iw{EzVm?kfqEhUx!@d7 zPf#~%3+gUQExvCZ6@lof3Kr|d5HJK1hJj(=aJVcQW3_dfx9hi{hNL$8O(1oP%^Rr68t(BjmG@89)KTzprL+~A&o@;b_UYO-{k@~_BXk} zRRAKfUv8msS4|$i4MF0Q* literal 0 HcmV?d00001 diff --git a/includes.tex b/includes.tex index 4619dd6..e3c28c8 100644 --- a/includes.tex +++ b/includes.tex @@ -4,11 +4,13 @@ \chapter{Useful information} \subfile{pages/Cite.tex} \subfile{pages/Install.tex} \subfile{pages/TensorReductionWithFermat.tex} +\subfile{pages/PSDUsageExamples.tex} -\chapter{Generic functions} +\chapter{Generic functions and symbols} \subfile{pages/FeynHelpersHowToCite.tex} \subfile{pages/DollarFeynHelpersDirectory.tex} +\subfile{pages/DollarFeynHelpersLastCommitDateHash.tex} \subfile{pages/DollarFeynHelpersLoadInterfaces.tex} \subfile{pages/DollarFeynHelpersVersion.tex} @@ -188,6 +190,7 @@ \chapter{pySecDec interface} \subfile{pages/PSDCreatePythonScripts.tex} \subfile{pages/PSDIntegrate.tex} \subfile{pages/PSDLoopIntegralFromPropagators.tex} +\subfile{pages/PSDLoadNumericalResults.tex} \subfile{pages/PSDLoopPackage.tex} \subfile{pages/PSDLoopRegions.tex} \subfile{pages/PSDSumPackage.tex} diff --git a/pages/DollarFeynHelpersLastCommitDateHash.tex b/pages/DollarFeynHelpersLastCommitDateHash.tex new file mode 100644 index 0000000..12ff885 --- /dev/null +++ b/pages/DollarFeynHelpersLastCommitDateHash.tex @@ -0,0 +1,31 @@ +% !TeX program = pdflatex +% !TeX root = DollarFeynHelpersLastCommitDateHash.tex + +\documentclass[../FeynHelpersManual.tex]{subfiles} +\begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/0fr2yhbgg9nsx.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + +\hypertarget{dollarfeynhelperslastcommitdatehash}{ +\section{\$FeynHelpersLastCommitDateHash}\label{dollarfeynhelperslastcommitdatehash}\index{\$FeynHelpersLastCommitDateHash}} + +The setting of \texttt{\$FeynHelpersLastCommitDateHash} provides the +date and the hash of the last commit in the branch from which the +current FeynHelpers version originates. + +\subsection{See also} + +\hyperlink{toc}{Overview} + +\subsection{Examples} +\end{document} diff --git a/pages/FIREBinaryPath.tex b/pages/FIREBinaryPath.tex index d2c4ba6..5174416 100644 --- a/pages/FIREBinaryPath.tex +++ b/pages/FIREBinaryPath.tex @@ -3,6 +3,19 @@ \documentclass[../FeynHelpersManual.tex]{subfiles} \begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/1klto42084vx8.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + \hypertarget{firebinarypath}{ \section{FIREBinaryPath}\label{firebinarypath}\index{FIREBinaryPath}} diff --git a/pages/FeynHelpers.tex b/pages/FeynHelpers.tex index 2013e62..de2e779 100644 --- a/pages/FeynHelpers.tex +++ b/pages/FeynHelpers.tex @@ -18,10 +18,13 @@ \section{Useful information}\label{useful information}\index{Useful information} \hyperlink{install}{Install} \item \hyperlink{tensorreductionwithfermat}{TensorReductionWithFermat} +\item + \hyperlink{psdusageexamples}{PSDUsageExamples} - a small tutorial on + using the pySecDec interface \end{itemize} -\hypertarget{generic functions}{ -\section{Generic functions}\label{generic functions}\index{Generic functions}} +\hypertarget{generic functions and symbols}{ +\section{Generic functions and symbols}\label{generic functions and symbols}\index{Generic functions and symbols}} \begin{itemize} \tightlist @@ -30,6 +33,7 @@ \section{Generic functions}\label{generic functions}\index{Generic functions}} references to be cited when using FeynHelpers \item \hyperlink{../dollarfeynhelpersdirectory}{../\$FeynHelpersDirectory}, + \hyperlink{../dollarfeynhelperslastcommitdatehash}{../\$FeynHelpersLastCommitDateHash}, \hyperlink{../dollarfeynhelpersloadinterfaces}{../\$FeynHelpersLoadInterfaces}, \hyperlink{../dollarfeynhelpersversion}{../\$FeynHelpersVersion} - global variables needed for the proper functioning of FeynHelpers @@ -313,6 +317,9 @@ \section{pySecDec interface}\label{pysecdec interface}\index{pySecDec interface} \hyperlink{../psdloopintegralfrompropagators}{../PSDLoopIntegralFromPropagators} - converts the given loop integral into input for pySecDec's \texttt{LoopIntegralFromPropagators} +\item + \hyperlink{../psdloadnumericalresults}{../PSDLoadNumericalResults} - + loads the numerical result from pySecDec \item \hyperlink{../psdlooppackage}{../PSDLoopPackage} - creates input for pySecDec's \texttt{loop_package} diff --git a/pages/KiraGetRS.tex b/pages/KiraGetRS.tex index d4901c1..09bc6b0 100644 --- a/pages/KiraGetRS.tex +++ b/pages/KiraGetRS.tex @@ -3,6 +3,13 @@ \documentclass[../FeynHelpersManual.tex]{subfiles} \begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/0eugcbgadj6yz.pdf} +\end{figure} +\FloatBarrier + \begin{Shaded} \begin{Highlighting}[] @@ -40,6 +47,8 @@ \subsection{See also} \hyperlink{toc}{Overview}, \hyperlink{kiralabelsector}{KiraLabelSector}, \hyperlink{kiracreatejobfile}{KiraCreateJobFile}. +\subsection{Examples} + \begin{Shaded} \begin{Highlighting}[] \NormalTok{KiraGetRS}\OperatorTok{[\{}\NormalTok{GLI}\OperatorTok{[}\NormalTok{topo1}\OperatorTok{,} \OperatorTok{\{}\DecValTok{1}\OperatorTok{,} \DecValTok{1}\OperatorTok{,} \DecValTok{1}\OperatorTok{,} \DecValTok{1}\OperatorTok{\}],}\NormalTok{ GLI}\OperatorTok{[}\NormalTok{topo1}\OperatorTok{,} \OperatorTok{\{}\DecValTok{2}\OperatorTok{,} \DecValTok{1}\OperatorTok{,} \DecValTok{2}\OperatorTok{,} \DecValTok{1}\OperatorTok{\}],} diff --git a/pages/PSDCreatePythonScripts.tex b/pages/PSDCreatePythonScripts.tex index 4778393..5280645 100644 --- a/pages/PSDCreatePythonScripts.tex +++ b/pages/PSDCreatePythonScripts.tex @@ -3,6 +3,19 @@ \documentclass[../FeynHelpersManual.tex]{subfiles} \begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/0uw74idqq2ilw.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + \hypertarget{psdcreatepythonscripts}{ \section{PSDCreatePythonScripts}\label{psdcreatepythonscripts}\index{PSDCreatePythonScripts}} @@ -47,7 +60,7 @@ \section{PSDCreatePythonScripts}\label{psdcreatepythonscripts}\index{PSDCreatePy use \texttt{qq}, \texttt{m}, \texttt{m2}, \texttt{M} etc. but not something like \texttt{Pair[\allowbreak{}Momentum[\allowbreak{}q],\ \allowbreak{}Momentum[\allowbreak{}q]]}, -\texttt{mass[\allowbreak{}2]}, or\texttt{sp[\allowbreak{}"p.q"]}. This +\texttt{mass[\allowbreak{}2]}, or \texttt{sp[\allowbreak{}"p.q"]}. This means that you need to replace scalar products of external momenta that appear in your integrals with some simple symbols. If this has not been done on the level of replacement rules attached to your diff --git a/pages/PSDLoadNumericalResults.tex b/pages/PSDLoadNumericalResults.tex new file mode 100644 index 0000000..481f2e6 --- /dev/null +++ b/pages/PSDLoadNumericalResults.tex @@ -0,0 +1,69 @@ +% !TeX program = pdflatex +% !TeX root = PSDLoadNumericalResults.tex + +\documentclass[../FeynHelpersManual.tex]{subfiles} +\begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/1ftg3ucp91fwc.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + +\hypertarget{psdloadnumericalresults}{ +\section{PSDLoadNumericalResults}\label{psdloadnumericalresults}\index{PSDLoadNumericalResults}} + +\texttt{PSDLoadNumericalResults[\allowbreak{}files]} is a simple +function that loads numerical results generated by the pySecDec script +\texttt{integrate__int.py} into Mathematica. The argument \texttt{files} +is the output of \texttt{PSDCreatePythonScripts} that contains the full +paths to \texttt{generate_int.py} and \texttt{integrate_int.py}. + +Furthermore, the function requires the options +\texttt{PSDComplexParameterRules} and \texttt{PSDRealParameterRules} +that must be assigned exactly the same values that were used when +evaluating PSDCreatePythonScripts. From this information the function +will recover the full path to the \texttt{numres_*_mma.m} file and load +it. + +The options \texttt{Normal} (set to \texttt{True} by default) and +\texttt{Chop} (set to \texttt{10^(-10)} by default) tell the function to +convert the expression from \texttt{SeriesData} to a polynomial and to +remove numerical artefacts. + +The output for each integral is a list containing two entries. The first +entry is the numerical result, while the second one provides numerical +errors. + +\subsection{See also} + +\hyperlink{toc}{Overview}, +\hyperlink{psdcreatepythonscripts}{PSDCreatePythonScripts}. + +\subsection{Examples} + +\begin{Shaded} +\begin{Highlighting}[] +\NormalTok{files }\ExtensionTok{=} \OperatorTok{\{} + \FunctionTok{FileNameJoin}\OperatorTok{[\{}\NormalTok{$FeynHelpersDirectory}\OperatorTok{,} \StringTok{"Documentation"}\OperatorTok{,} \StringTok{"Examples"}\OperatorTok{,} \StringTok{"prop1LX11"}\OperatorTok{,} \StringTok{"integrate\_int.py"}\OperatorTok{\}],} + \FunctionTok{FileNameJoin}\OperatorTok{[\{}\NormalTok{$FeynHelpersDirectory}\OperatorTok{,} \StringTok{"Documentation"}\OperatorTok{,} \StringTok{"Examples"}\OperatorTok{,} \StringTok{"prop1LX11"}\OperatorTok{,} \StringTok{"generate\_int.py"}\OperatorTok{\}]\}}\NormalTok{;} +\end{Highlighting} +\end{Shaded} + +\begin{Shaded} +\begin{Highlighting}[] +\NormalTok{FCCompareNumbers}\OperatorTok{[}\NormalTok{PSDLoadNumericalResults}\OperatorTok{[}\NormalTok{files}\OperatorTok{,}\NormalTok{ PSDRealParameterRules }\OtherTok{{-}\textgreater{}} \OperatorTok{\{}\NormalTok{qq }\OtherTok{{-}\textgreater{}} \FloatTok{1.} \OperatorTok{,}\NormalTok{ m1 }\OtherTok{{-}\textgreater{}} \FloatTok{2.} \OperatorTok{,}\NormalTok{ m2 }\OtherTok{{-}\textgreater{}} \FloatTok{3.}\OperatorTok{\}],} + \OperatorTok{\{}\SpecialCharTok{{-}}\FloatTok{1.819085009768877} \SpecialCharTok{+}\NormalTok{ eps}\SpecialCharTok{\^{}}\NormalTok{(}\SpecialCharTok{{-}}\DecValTok{1}\NormalTok{)}\OperatorTok{,} \DecValTok{0}\OperatorTok{\},}\NormalTok{ FCVerbose }\OtherTok{{-}\textgreater{}} \SpecialCharTok{{-}}\DecValTok{1}\OperatorTok{]} +\end{Highlighting} +\end{Shaded} + +\begin{dmath*}\breakingcomma +\{0,0\} +\end{dmath*} +\end{document} diff --git a/pages/PSDUsageExamples.tex b/pages/PSDUsageExamples.tex new file mode 100644 index 0000000..bdb1500 --- /dev/null +++ b/pages/PSDUsageExamples.tex @@ -0,0 +1,116 @@ +% !TeX program = pdflatex +% !TeX root = PSDUsageExamples.tex + +\documentclass[../FeynHelpersManual.tex]{subfiles} +\begin{document} +\hypertarget{pysecdec usage examples}{ +\section{pySecDec usage examples}\label{pysecdec usage examples}\index{pySecDec usage examples}} + +The main idea behind the FeynHelpers interface to pySecDec is to +facilitate the generation of pySecDec scripts for integrals written in +the FeynCalc notation (i.e.~as \texttt{GLI}s with the corresponding +lists of \texttt{FCTopology} symbols). + +The main high-level function of this interface is called +\texttt{PSDCreatePythonScripts}. In the simplest case we need two +provide following arguments and options + +\begin{itemize} +\tightlist +\item + the 1st argument is some \texttt{GLI} +\item + the 2nd argument is the \texttt{FCTopology} to which this \texttt{GLI} + belongs +\item + the 3rd argument is where to put the directory with pySecDec. For + quick tests one can simply use + \texttt{NotebookDirectory[\allowbreak{}]} +\item + the option \texttt{PSDRequestedOrder} specifies the order in + \(\varepsilon\) to which the integral should be evaluated (default is + \texttt{0}) +\item + the option \texttt{PSDRealParameterRules} is a list of rules for + replacing kinematica invariants with numerical values which are real + numbers. For complex numbers you need to use + \texttt{PSDComplexParameterRules} +\item + if the script directory already exists, the function will by default + refuse to overwrite it. Setting the option \texttt{OverwriteTarget} to + \texttt{True} you can tell the code that you do not care about that +\end{itemize} + +Here is a simple 1-loop example that incorporates all of the above + +\begin{verbatim} +int = GLI[prop1L, {1, 1}] +topo = FCTopology[prop1L, {FAD[{p1, m1}], FAD[{p1 + q, m2}]}, {p1}, {q}, {Hold[SPD][q] -> qq}, {}] +files = PSDCreatePythonScripts[int, topo, NotebookDirectory[], + PSDRealParameterRules -> {qq -> 1., m1 -> 2., m2 -> 3.}, OverwriteTarget -> True] +\end{verbatim} + +The output is a list containing two element which are full paths to the +two pySecDec script files \texttt{generate_int.py} and +\texttt{integrate_int.py}. You can now switch to the terminal, enter the +corresponding directory and perform the integral evaluation by first +running + +\begin{verbatim} +python generate_int.py +\end{verbatim} + +Here is a sample output of this script + +\begin{verbatim} +running "sum_package" for loopint +running "make_package" for "loopint_integral" +computing Jacobian determinant for primary sector 0 +total number sectors before symmetry finding: 2 +total number sectors after symmetry finding (iterative): 2 +total number sectors after symmetry finding (light Pak): 2 +total number sectors after symmetry finding (full Pak): 2 +writing FORM files for sector 1 +writing FORM files for sector 2 +expanding the prefactor exp(EulerGamma*eps)*gamma(eps) (regulators: [eps] , orders: [0] ) + + (1)*eps**-1 + (0) +"loopint_integral" done +\end{verbatim} + +Now you need to compile the generated library files. This can be done +via + +\begin{verbatim} +make -j8 -C loopint +\end{verbatim} + +where 8 stands for the number threads to be run simultaneously. It +depends on how powerful the CPU in your machine is. + +Finally, entering + +\begin{verbatim} +python integrate_int.py +\end{verbatim} + +will perform the actual numerical evaluation and save the obtained +results to \texttt{numres_*_psd.txt}, \texttt{numres_*_mma.m} and +\texttt{numres_*_maple.mpl}. Here \texttt{*} stands for the numerical +values of kinematic invariants present in the integral. You can modify +those values without the need to recompile the libraries by simply +editing the arrays \texttt{num_params_real} and +\texttt{num_params_complex} in \texttt{integrate_int.py}. + +For Mathematica users the file \texttt{numres_*_mma.m} is probably the +most useful one. You can load the content of this file into your +Mathematica session using the function \texttt{PSDLoadNumericalResults}. +To that aim you just need to give it the output of +\texttt{PSDCreatePythonScripts} and set the options +\texttt{PSDRealParameterRules} and \texttt{PSDComplexParameterRules} to +the same values that were used when invoking +\texttt{PSDCreatePythonScripts} + +\begin{verbatim} +PSDLoadNumericalResults[files, PSDRealParameterRules -> {qq -> 1., m1 -> 2., m2 -> 3.}] +\end{verbatim} +\end{document} diff --git a/pages/PaXImplicitPrefactor.tex b/pages/PaXImplicitPrefactor.tex index f54830b..b8122ea 100644 --- a/pages/PaXImplicitPrefactor.tex +++ b/pages/PaXImplicitPrefactor.tex @@ -3,6 +3,19 @@ \documentclass[../FeynHelpersManual.tex]{subfiles} \begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/1ne6vpix78l6i.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + \hypertarget{paximplicitprefactor}{ \section{PaXImplicitPrefactor}\label{paximplicitprefactor}\index{PaXImplicitPrefactor}} diff --git a/pages/PaXpvD.tex b/pages/PaXpvD.tex index 6ed6fdf..f9528d8 100644 --- a/pages/PaXpvD.tex +++ b/pages/PaXpvD.tex @@ -3,6 +3,19 @@ \documentclass[../FeynHelpersManual.tex]{subfiles} \begin{document} +\FloatBarrier +\begin{figure}[!ht] +\centering +\includegraphics[width=0.6\linewidth]{img/1p1tg4rvundxc.pdf} +\end{figure} +\FloatBarrier + +\begin{Shaded} +\begin{Highlighting}[] + +\end{Highlighting} +\end{Shaded} + \hypertarget{paxpvd}{ \section{PaXpvD}\label{paxpvd}\index{PaXpvD}}