From d52c4c7ed5d906fe7df57d399dd0f7572171dc78 Mon Sep 17 00:00:00 2001 From: Antti H S Laaksonen Date: Sat, 29 Jul 2017 11:29:21 +0300 Subject: [PATCH] Fix index variable --- book.pdf | Bin 1108099 -> 1108093 bytes chapter07.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/book.pdf b/book.pdf index ba87e23bce5becba32d2f18a733820925569e862..34067a3aa789781581c1bafdd39fbb724031f5c1 100644 GIT binary patch delta 10641 zcmc(Ec|6qb*Y_+K>sXuYN!IL)eVfTz8f(HJ(?U!s5rvpRs0JxTjcx3VC1ETPW64rv z8%v`yO0q^-Biz%k@9+LCulu>5fA0HvUN6V%n)h|CbI$eoT<3hwbxzEn+3tW@r8h57 zKg~e}cocWP5!$BCZLt{{tBbx%?2wB{XyQMI>5dbQM%%Oc+jCg|GJYhbp|1Y(aOUSr zKr6mV_Ks|W(N;`_5MQ3XCO86bWbsr>0r^BLN);n!dpSbU^9wm#oq%>FJDxyuV+{Bf~9V?-R{w*X=1Y9*X^I7g)#Ey4w&DGvF3}n<^$GQ^MM*S z(*}(pign8DV0jLln{G>3@Mx@|w1Oi#!TnJyJnND}TdNPH6JygIB!ev@uQE23XwL;AE6CgCjjfm%R5Va z)e|4p41RE?gp0Q?sqO$lg55ppMGViLyUGtiX>NO8F zIQ_AE=Zf(Y^X!T9;n@rDiEo(8;uA5)*DfEXBVcWIK`4Zt0UHX)s$v;cqNR}0;b`|Y z*I^HV%J_a?CixUXQ%cL$VQFB<{5#j^G%m=>q$zE17$_KTDF9{?3zJxx#Kt5Dlh~QW z!6Z&5aWRRTNjyw~GKsg&Qh-mbh(lLXUqeGvTT>@3vVl+ZA3y7I8u*^GIjL)D>%c86 zG|k~~b2D>wBphjGsbPjZrl*TM23OaxFp)C)zp{98s-5({a`Cz^^XzD7s;8XA$>U@* z!mo=(L=>$*E`MX4y6BP7;UF;aJm{KuSHt$h(({J4pFA>4gKlIr8(-JISYLZ!smcCn zs*TM{&$X(Ig0i=-Xe- zT9Sz~tG%vTt2-zuKK5Tm!q%tbsFLb9ac-7lKrR*oa4Vwnnws!zf>Dl-l(qj;x@Mow zfFyTK-|Z6PLJ`neEI-x;enjd-c{=?F5qihL(01u?pWZB~us;H!1$AiSEIJSNhHpp=Pb*?)EfPzB>qet!oy8vt-+^_U3~|UMSf9}N z5ZPM-tLt}#b)xuH@dwg7uI=Kb+>lHk({bA+9m*v*go>$Le??K@g5SVr(xCQ@CxQ-+ zqn3aaC3rkSsmeYKPxmHrUR9%TVAFh)@Db%`N+R8Yn1?Z??9fyPi~vwJ@YGW&N+>a& zdKSAqu?oMB*TA}$Wa9Glp>oA@LH$D+ELJ6+g*sNN!g{u-pIJGfpp45Sf!puhh(%N( z?TByOeZv?cabp*b>U&a98%KlhaLs2BsNkO!*V!!om%~e{6qv3HU!%x!MUkXvf zOvjJ4o@B#z`5ncV(rT91DMBB$u|L)nP^`EZI$V26;CK*@K)1jO!e!q}Yd7S4P;^^% zbkEnZbjqD9+IT|D9Y78lgh`7mwY0;7@hT1rq(b4~09B{qNPX)RaN~P}akB+*?|3V> zkwQ>qS`1BQKawcE_+_+JvIJ5*W&bqhrFfy-&&|PUjG9%+tCA_N-$-5|U}K1h+^`ob zjBCVsLpK5+(hp$6eFH1g+#%s>4GP*#YD{rsj>E0Z>2i?pP-99XP0!~wQ!)=t=DqD- zDpW+Ylj<~?(^{0{*ciC}_#5|PiGt4O=oyUK)x3}>ddMHfZwY=a0U2qrOEdx6wl9`7 zhW3!Qc5!DUqm6L*F6lxEO{Xq6ks?;0I`t z*ol(4(xcNcw6%tG-*d-*s%vK^)TFDI8Cjy_J9*&GtBsIL;@V5+dR6N}oXYG3DvEj> z987Fck_wVZ#XpW?1%gyiNu580DC;yK6|2BdB3%dT`P*h(HEqo}pOv|dB)T8=_-~Vg zXf+Xz_hMce*`b=R4=|sUSN=va@%ryU;l>?w0`rmlJW7$LZcOEtWQ# zBQ4d}67h%*pjg2r`0{kD|F~mFA{|WR7`Uh0oZJ7>u3GTA1HrM;Du~C`raXo2NnD_Y zVHb)&$JdzHu}E2TVU~$EZ=PXsUza z!15U5kKB%p)&IsFmqBX?{fF;5H%Yt01lB&S?WHf1bbm zP{(0-e%*VfWG*}-zeM8N1G*}f4qxhcL$hTDEGM8xK}Z&{Ikm0Pa>;~}2S4zO2ZuFC zsvrB@3URp_J zVMwyi0u`!Cfo}Lu0kqy~eg%VG4_gTsS-^x=uDFHl>5kHAP9v~zR z?rP--5Xb;IG2lW(4>>OC8lefcHIw zmueOO5wAkj&2gzlTVXhi*xmplL|*_p(&AKiD)R@S0eSpv!h_U1Y?km95Z~Uu$4{MW=89dB~wecbITQBJ;Bc))l>>Txm)c?TWN0 zZM)M6<`R!A_rchjSt?UPLR=|b9{CXDf{fOPB<8j9O59=8Tq?d|a{?XYRfxVbQdg^{ z(QuR_j(Pel-*voN`BuyV+?lyd37@M}`N{?sj5ZVnh z&-R2uRoj&>pXYu8z8DqqDO8CwL^Z_&(Sthc$acmsaLhrGEl z?|>|Y)N@JUNMVNo38@5y*=Al#q3d-;Vk8To3a76Ff&dyl;0QRvDeUkUFP=Yk>DH?I z$-`z*r?_HZTOV-gbnEvD3`?LcXT1Y85p+c;AP+AV8&MW3!~_s=ZAh-B&k!_Mv`}X& zKi99RXzcl4tWyUDa@Eg9@$Q*x*%vUm&%?GlE}k-kR_5bnS(Oz}f<2U^%%<{L_pIEw z`azL|(^rDHp;1!x>@_0W9{#FN4<;Al;jHKIYvs$FI33n)BzH{=KdHR! zPFpl<^Yt{l*L;$=g^txk*>ctf&Ti+MZSMi-8iso zGV-m7>syqCx_9ly4tneV;N1bN9;{pp(R%0=d^!VG-{9olvIO?nOMW-C}qMKVfu zMOYc!d@MD#TKEAEarX)mWz=1po+$1ts9U9wocJU$(p8(K=OONDZTsaA-BH2KvGdI|J&+@5|(v z=(}=q?&@HX#&ix zraRXHrc&kmz=EJ`>$40n>igu!{LNdhU6CO9^yT-vCgOkguqX)Q0DzGLY;+|1Z6u3% z6!@GJ)BpjJ=`(R2Azxo;ezO>h)E>iAFcPl3FIt(-dKqMl(Xx(G!6=Qhg&_~kLMDK^ zE=O-X6$Pq@ocYy&GjZhQ3;`NT3WJPY6%G zu9f*d#Ub+4<12hMw!DX4V+)ucv?su7#&2J3)en&Djp1TQ*R!a`C^3$@0>-Gp0e_-% zCHptPQd&5}8+Y9;DggI4m9nf zBJ^5|LT6J<0QOReAU`4NJcKCgkV3NDE_|-&xM_s={`f1ujfn01cVmud#lV6hK-yp* zpCaxb%w+m!g3qMrh!5kpX>{vQ>hZ&gMRQhwzuP%0Rq+XVfS0UbZxMBr^OOVW9>`g! zI2Un%_3x0OO1*#4=~vCqDl~Qmb+jMkye=W#OL4Yk{WrdUEXDmQTrhaR`Y5(d!S($<_6ib^O5Fux9lDnP1occG* z9t)9!UYQ~ z9R~;|zSROOWJVx9_L$$vLI*m;`CI!b`3ufsJd7 zv90e~#(ZYO)|H)%8ooGc_p*B5oVm?Wh+%_Ox>m8Yz3}e%ZU6XOuKg-d(%>h z@mzVV^lXJoyT`M*hBG`tFGXh@wcSFg{YU&;gDWwu@(vN5+5tGO_mzw{Ev0l6^UUHQ zj9OMNiGlZx43mZ7D`=34&6)kn5%;Nr0|L`^&1BK&>Ey#>0@MCDGnI>@wINCAO^@T@ z{4()U`U%~!%3H@g-%Q!qrdb-X_sb&VSto~S9{D{v78Sv4p_6vb3n1SI?iX8mC+&H> z0(~D$__prrl;K31r}<>+4v;KVy<7V)r3Y=LeV)1Th5t|zxBjV~b@vsU2@3o6H2nNP zG;UvYBtRklXv1Nyz2UJ_X4x5%nadQ+uI{P!9C7Fu=9HPf`0FWqXndgFqrV_4NR+tA z*Bad=0G);Hej%E*x1Ja22u`%^<6S7f#GB*jVdtIF0|HpMwC^}dO|ajRAK zd+z{N%*87}DHQZUpe~?!IzZuu7{(SF6j=PQ5%LXe{#x;ha?e@YZyNVM>4#2dxw^CL zOGiWlv$8iSz%1fsETI4Ojx=6=Is(dQ(CfE8VkDHfCX0Bul3KRpS&g2w9Psu}H_4sB ziB`hOzzaxSVV3kV|BH303xCdud#la>*EYg*9J&!BF{-0OI`A(UB|hSJ4ANrYDX8o* zG&Gu-qU(V=sd`TU%$!`0Eh$EjA*07yNcCgJDD=cDHQ#k+yfPmnszrrfYTN|(y`*L} zu{;_*K*CjsaUn9bRNW`uOjg8>;659ain1N_{Rq@8UrKAqwV(x?MW}y6Pl!QFLU;!t zFDz_@Ck_yE!vHz4T{s@K~{@A(wWlCAEXwPf6%h z$_PHM&CL^elJX94Zgit(voy{`q_<}vTzZ(}1pr6BU@seUROD0-$-*a(67g+#djbVO zYO+5>CUc`N=(ta$+4}PP-&CvPSTnA1yw$@EVCh+NpU_RKQ5WzDsmiDYcxg74mw)dk zmR9&I=5R;(6at$sSQ}_vUh+SWhBjz+KSoycDp23{0`ZO_k6x2b#WA!L9wSS*Pk7rO zjluoF*djEm8RB~0OP*TW@b`U;D>KSsCOja7A&gh^Yx&E~BJ@p3jMGdm<$mM|?Xoum zD214_BHV8AA%!(I_bpgwiD!uB^M>VcyC_5J9+Dv_B1&tsaU>j zSG%Qx7{*}AU|Hz!?8-5Kj$A8#J6D)=JNPXsSe$&`+}L~R*?#h9G%ENqInOS07$xy+ zKI6*#ZI?rp8_bPv+M!S%0NgdMu>{6n#6zFLa3d)0<%bJ;rX?72)qi(QT& zFcra96BWV-I?MNbpyI4b8jHpywN6?>3^W-qA53B6j<&tD-{z!JRN=CKH}D7s2UpYC zXFb+Ecu6)RL5c_~^4D6>3p?YnKVHM8_Yoc}uvodFCNWgB^v{>Ee@)PFRAFI=AVxr( zwTpT!0F=R29@L?0Mo&-#jhMXTEG*wGNb~FDe!_Z@Dz3-%Hfj|k=>a&{DjOi;0n|m< zBp>?qc=QI(dp6zj-S|U}OR#!gSoyBif^#ESG719Y3@MRArnWweeQ}b~by-jHQO&xY za!qW?=^CNRf!9~DWWgGoo9}cY_LB{V*NH91dw7Ka1UKmfhx3VI$7A^q!#acAe19a2 zM(fL-Qq1`aek?$KMC0XkJ~1B=e^hq8!R)cX@w6}%_~wan-rqvn9u5Hzy+csEtgN!) z+2b6#CuBV7=W`Zf&_MDd`-0m?|3wz=Zy0~UHLefgNTnwjJM34!^KyxA z8|GC7kv#-QBnw18;>*7+CCj3C*qQ@*g5B|0+>k8S%OAO?!=BpW#d``$VcQfumJ5J9 zF$SD@bOpp@MEUVEEaz0~A?ihI04Zw@zY{hL4QkquAlK&i@IH}C5G0Q42?Wb+ z<+Tk{XBBR7KJc{x)?8TFawEkWVt>D!&s02B@5Pvd;Hc{?cyc80Qq=Ydvf!66u83bb zKG$P-Fh|B&!l*vUAb0BNN}jc7ASp6+-u&Iwoc>PM)CeLVRm->|R}-#q2qK z9ah`um$2=bXTF{6r1Q8h;|e6hFXKRj{Ojjt_==SCRsadPu1??wnXdoL|NPW>e5m>X zua8acCzu4ndV%X7bJX7cLQAQr;#Xl%kKwje27kTpl&>qr2EpY8bZG_EvsJ{1G34r5 zuf$jcK;E-%QX^IXMl5eIJ#7nTh9Jg;TE598sb&i}{T#iY_}KliLw?ND;C6E?m)QN- zD%~wC=FuFH0D1YB1bf`bOYGvp8^q1#~_f39k0pfpLYz;NBZt2xdW2_!j{x!Hf*RKl7 z?>T~!^!s6*Vns9>ntmX6A0B$DXP7{-i~5MGS}BUBz4C2TuC@SXU=@H3bAL?fREEg7Q;?Cfs!+Zn{O47|)8^wyzCvWP}9;1Z%JcHz)S zg6aUzD0=JSzB45lBRGzEkinoDrv6X@Sr=rcj#)-eeL@{JTgA_R?KYkaT{lYQ3s(am#&b?lH+GSn~AyGVH z7}hC$KRaTsnqee=<%7!bCi8CKI_=z2WI>Bke@i<+QXS%A9*WESYB^tK<@;hotZ=9s zc|uQn8@wM(ejAgnYc&q&l3q4>Ci)?#AtY)2L!I?EyHnwaes7d#YFm~5g0s6n z*yln22D#+SbBU8V{n$o}<{!p=>_CubB6`};%b6$rG(~;8tm;9jUX5s7H}7Pjg#q%Q zS5yS$g=87Uch*JwVEXCjew2yabQ~_1&Q>WxqG1osKA*L>45|Z&qd&0G+_YQg`-eLU zM7k?2<+=UyCIr>20gooM zad**NOr_s?r3LQ07LjnabiBsk%HWu|GpZ$`#>+P9JS?KU`a{yC(jsQ{6!#YJ2%T9q zi}fTh=<^~bO9F^d=ZH7eu-#o=KmM@AXXnP}n=B@cOX;k5kJ9-|xOcg@AIkL7G7BJ+ zKbWwWb_g36=AfjoUg)B`;||+xQ|z;-c80q@w!Wdfo!EaVPTY=E>|?~ntFqm`L)>9E z%2^F#dR~D49U;4UC=wU1pRGz30r}756S3r-rtQx7K9TLGSpM4kdrQZI<8Jgmy;tp_r>(axVVXdR13Cq50%=ujmWLE2|vx~ObE@@WUGyG&q5^laHbLJP?BIrhx6Q(<( zZmrm|Wqn$mR2LS=GGJw_&pG=v%Lp)gKg)<^Ha5!$G#j2J4q4N)vjuHGmA?-ROOv+) zY(J7$!>?jqXDqs`PZa@;ds6;ULcD?x4f=R+INS4g74dI%21Mr2ofEcCMX^>}SL>Q^xJOxP@~;nVGINm|==uy*1v6 zwyutbDTOPCd``x0RYi*_?I@@2-Tgg;DM6G|pPu6JI~{P|yZ7AH(7NBKtdi^Re|im? ze$NkX`0?kvIp}U&fsTuimI<;-PO$L)${T|h7usJO zxaHP>d2Sc!p)HO^5+A>TDaD>L%YU4XX+7ta<%DYYTASLc3Vd^Ja!acZk$)iHt>M!1 zWupnTJ2h1-lCFz8lc!NS$BA9A9hY}C(bmj{oPgqYSuCnLDRWahR;@3Du-SAP^-alC zc319G5jo>uRr0US(FBGUAE1-+Ns8{{3R9Rej;< zN&oL6nF+*OlXCKTGjfFf`3p4j3b`409r{<>DtQVm*gyp1pKJC-64Y!4<=Xv-hU43) zTlIs}3ABz%Ir*$Y%l5^pEv1kJwH0y+^llOG;!C-U*)zqjaKq1rrA3wUqSPTOd#RHS ziNlV9&xlsadvEti#Lic~18;7>^7@sF%^(r$M~!^GZ#H>ohn+AQxzV06^XQeSdZ9@7 zhZ9=7%}`D;*#Ef=RYLh}fi@)(KP^|3y^IW>+@00;|dVp8Qy(`FTPz=8g+x}Jk^Zir(+i3*`@QH)sTlv-5I$K$uuvoQfsI%I- zcDW}l1ldK41kepW?jT1Bqbw19=&mj@ITM&*5Vltq{A=Cac^I#dh<^cqf1ASz4EPo) zAvdNXXK4L*<70E z-U;l2$;Qt+>dq8Bu-4$K>6is;e=jK9F)Ma7dn`((i6gF1>SdEMN84N-ho8aMN`gVk zCFQ_bCwE9?ew;pq2Y|$;18_4m^~N|g?PhO(rOAVSSQ*a+N=L(uh2d>#2p*<=s$>ap z(|*GHuDcBys*7a~&)@yhUmPc;eW7@%`t}Yl`LH#Q2o|FJeE~JX6w6OJlDf6DN*;v# zDrwfgLX%Ve-gZ$N?1lApF!Z^5Fq>!b*r+I)X6yE8w;6lq)cHl62ahiH#hvu$9adRO z=4&N$esdg!$vJUilu(;n^L=O*KWx22<7JMPd{J;?);tHvGJh`c8&S4-kE72bn;6$z za-#wC((i6dV{XHpQ)Z9pxw5*-b1p$FYxqjpy~$E%0!Sh!4^u50`O93ZHd=)N7>MnN zv|&5sS5a|pZQK@@IrLTeX#o7Q_(a)o#@i$pl?ERNEf|%D1XQfU>)hfm)~&F8u!*nW zp|O5BJfK~6#m9s#Omh47wZO6lUwq`cg{`JVSjRy#gxTEIkVUiigB>x8usEU5Byhlz z%Sq5TJJ?SzcMov=f{O=a6dc(hq>E3)X>>t3rbFtV!UlW^UUA!ZmxlWh> z+PUBRrKI-bSyQ)Xj(_=;&mcgm=AOZUBMyf2|>ylBkbZ-Ttz77HfRo2Yf$(5PARsT(F(K__ zFd(kJaEp@lDI}E4rQV@UfvHpVDUyFn#4#P0$dG`uY3HP_V!0TPQt52K7>Q7`}N%YYosg>O{B$Yw? z&0z&7dPdV@#3AoZnkjaY3%7t-=koneNS<`7(k=1S_3Jq@IVxl~?#O)(r9oHJ2K%&% zP-h7t%i!+0P#)fzRH1-mI8aSda>w3%^{?tb5Fb=Py5K{+}P< z{u|NnKQenq)2$jd-}d|IW>(6fA%wzN!`YnJc$g&mrtj4Mggv_dyfH5adBo7O&R$9<9Mbm^~J|6TO8^;CoFz5L$4{b z+Yizd{c6fn3VQWr;7zB*_V9b+9|@mVKtl1lS$a*-&Z%8BTlrZ~Q)9Oq*C_B~^rw|1 z$@qg%{ic&0?^tdICsm8A1RlJ|#gI4&UADgVw?0GDkyleo=5M7KBPP)0uxmH@@3yB~ zWgM=AtbimhstE&kaDb~Cfj0#c+QW-8Vi>>u7x0nea{~Cx&h*N>K>Up_dR>5L>w!0e z@3uFd$Z*1Nu8?8z2c`9y`P>Rw>>@OSwW;BiKJN@rZQ|O^#=AirE5{V$53=aH0H5hy zs{o$)_GyKz_LX_-yqWi~UFlJVA^rwfzlpnhYQzP)JREovw@+y2^2(5WKxFVYs)z(IqWr3#u)dBARfsX%LMIEzz+#-N$vRg4}-CqDege-k-4i-C7#`Z(C)*n-c%hlRz$bO?2%QtUH_jbY$#sdm(1fmn0%WLz%+ZN|b$TWGP7v z#?p{%NtO_zvHhl=`?>Guxu5&@dj9ym?%(S*XXecLoa=qA>+|`XbDeXpJ*sg+zj2i} zA5b$VSb$dn|JNN|u2*ouzqa;oHGhmxZL}P$DZC=UmgGOp|1H6uXd$+@S7#O!6r>Y0 zwe!AF5J#%wn=iOfhN*^vMC8t5Sj*!t9D1kC{?_9Cky4P#6g^^V09hHCZTHSg=wY<$ zR@36!SRpk5-u);lxxsnN%qjf3pPH!NQD#l{$i`E zbI4t~p}4xX?aDg|w>QC2lGZbg8!GUnW=^US1TMZHzi%R2yp@Ed4m8&re~&+eim|T< zJ|Su?EnA7;f2(W^(1hr7E+%m^iHAwNOyaAzJjAbD!l40IQ&(5lMj&$Vjr^kj_*?(Dk-wVN!Bq2< zv6lKNlT#Y%8X88YOyI`GNK+#-gxblI#;4Rzoivcr`(IVuI908^122d9N~tl8X=Xk; zB8QjFj|>y{iy`kUw$c`|y&_e|TmqcyzL?f|_1q0`e(vq;?j4zN)$)Cx^&4%LtLJUx z9E5!Zw6;)ZvfI2o3$*(V>Bu0!Qv*}!*00c*d5I|8D?qrE^;dp&uhAxFQSsbZ_k;EP z{aDBH%JQu;d#9l-M=5^xU3C!)N7irxqJBTrq zZfz*-d;bzZtW?>)+3E$~6mf%&B!V%j zwQRJ?0dYv*o8#XMa8AA_TEMjKQa7?Tgjd5a_9k7Hm_)gV+bVM_iiB{pf&1@E)kYG{ z+tqN4F)oBTMZWd{ZO&H$&*n+nX#I*!OMucU&*T+r17T$fpFWV?NRD~dXMb&^tY;94IK0b)8>H1($@D4Xa`2_8{aHa)wAsXn60cUP zfMmKnIytt0&WSXAlu#78(Wy?yzxG`KxRQrYqtzBBFBFsa)U7kY&EtBb(qdri(LRWt zd}vip0!`-NB2j$l%Urue1xxAFnfnQ?;>ECEd;_x>)z@XRrBfbE$@nQWP@L4$?jBfN zS0MU5TYD7WtAKMVTQ2-9lUQ22JWX3|d)MwhfkLzGxc|mWrG2-b$yH#Q&~(TQiuMhu z%E@DkZt*G&Zn>vD+B;U3>abYC96e#Q3_+$1sk22#3fHF4qOgAyn~~*vuY%o$qRM2; z!Ut&}Mp<#`w+|a%qDw7bxglz&qw!_mX35WJW|~`x_eOM9NM%PO2rf5>=bUtRq>y>^ z2qNbKyw)8@Kl_)SHTrY&Jy>?u9lOCEi)N0Fw}rH@OXJp1-Cj@HTq#!AGorCE&!tIr z%8V#}_=_d(2WlT1u`F0C zg=X5pt0Nzr37co$ET=N%Gh9^v%GO^UbL|r$Qj{BW9z_pJeNdrx$ytx;PM?Ilq8*~0 z^EE?d5zztneYiWzHtnKK20_X+Mwx!meZW&%r9(8+8HpLP!yBzz*t)m~Trh6SH-f-J zqnCav{>Y(WzgQHJGzY7?PmjP^A?gWFY51tpPvk}(|B|{Kx-wB?)Myz{n}@g>??y|r zZ#H_t73QF87Leh?H(#uQUe@U|pxOpx(?NZoFnqP9xDj7o0@Fj!G@lOTUn;CKS?289 zn*`LF(^Lk1}O_;+R*FF!4t|sC2q4E{Pd7bLnolB<6D(eB@;p zCsA|+9E^!O2lZ`!<@hRuYtqE7kyVKKaEdr;J`XA36{tWBf=!ixKPazVsOqpkcr1=5 zg75$%JP-OrV%vx}pz=i|=wkp&ED0FNQ9fS6F;d^aPYG}bskQO_f$idx2cb8Vo8FcP zz&XCaW_h2(oCNd{y0q_ z{C4S#kv`DH=n(()qem8&0W1shXUyYtIB9mIG*Gx;X(8(9Z;{-(&i#>|7L_C4iIh4` z+@3#FF=OVKH)qTfb<}AYkJ9km;a;WE|6Rr%9{((~fu{C2R#3{~57fUv{~sbR zck?)g4RmzJqgKt=?sbBW1Z|C!#ul!}ob6G*g==U2i0nuPmqEsNY6bU8&IT3Q4B$6i zVL|iGXjHmRAZ;a=GF6Hb-#M(zDZRjFJvoXWfV?Z~z4>MCJ#R(bE7K@`gsr;2`+BBY z+z8KnW+2CWlp!sjQBiJs{(9)%-E~)NAX_%ayH;Zd*Ib>~B@n7UL1ywTp3D=}YB&gN zcw6uda$)R)KdUPtyM^a=JXtK|1>R+sw+gxhawCat5ZtM3jP}4PHf};IhJOjX(+-3~ zc;k&H;aZ@?cDo?%+k_)QTg&@zZKpVeWKdlK*K9cQaaafWW! z8jd`EALkq-;Vb73Sf4yjy{np_IC-LhwWehelhG_AVDJeM=M-aP)z*b~!U5~s4>f?l z$L~x6udz$Sc}r=YYxfj-`RmXIgt{mYJ#3jWgEH;e5Y`puw%?}TOMNq zl;&&_z9GQ!3Ha(}{P!J1#)6isykpCJ6keu87^dckh)ojw75! zF7ujk^(r{oV0`$GJ!=-#u@tgg31Mh3gH()1-rL#nE)%!^Y)axuMm`4kh-AFeahz;_mc%IyFyRL z=S0LIMnN3D$c zdwiVFUwJ59p<+&XM^qW;^x^NomJ^eXQ^&4;7CgJ&xxSg?!WnWny<#=D42VJT-$03& zpaeTn;^#>$GAKohctKzAG70Ptcz}@}g@la-aZ&qT1)%EL13Z7Wpcg|Rhz~QLqb<>a zcy61kz(6*eEkGd1W-BhXN^A+p%xy#HHx>J*PCHpivwu7DeR~(k#H&05O2RU^6Z@2jvfXVILT3ml#fp>9S7>Nsz9Ex`k z%LSGZ3aEissGTPWIu5FDM3*b!S43XS)Yq_XwS%RUnGe4TbPkx8?meeu=9SRhvZ+ez zOzDl-=F3eVPz(uaFAJhF#L}L17Yn<_tk^+4R#b9JQRvzwN5w^B$N++ zF{zge7N+Pmu&c!NPI5MIR>rXe9aV}KoBR{5WrNs!Uyg&fA~zm=n%J1^`aDpsoN%~` zb5*ME2124}O)8ZQt7kD|B$|Wm-xJLU`f8~ zdaHlz|7NrgZ@-z8PPoJU8@}fT+2U({C(_yW$<7R z2~y#Qvj1F8@)+JXUd+96@b=esF|WgexW?h_ z9tU+eP5kfuM1n8|+g?&dY^pST_)(LWZ8Ugy#K3JrdQ}9$5;@~^);L{UeU=!%8*$&| zeJ(XIbbR)yUQx1?Hl*jGiOQvT)m_y3l$A}6nI8LxVpIi3+m0OZ7DBt`4f2E3%1$G0 z8K4~U0Jhz~SUzRNs~qBLz50yJu_H%3el`MxuX*zkwypg%l=mQHe790>x;Nuk(uqb1 z=&pUek5NHBY$I>-U{87|NS-M*g6=wbAUArx_5T7wpR}GsiocyY!n9Q=vA|o}hHxcbPN70F$@h+70JsHyR{EL!#c?(bm?dzs}FU+la@++qM(r87R$m{m7QZj@aE&wLq%Zv32&i`~+wIy#DB8|8?IQ=#%ip;WcFBl4)e&xHOt z#|Xs;y(37&5c(y>+zHGCT?AM-sU-rQnS|s5GACuUSZop$f>w8?3Nma^2-i^96GEHqUEXxcNk@Em)L6|B$ZXJ&BUX*VTarJ$ivn>omorod9Z zZZ~Murz+eQAO?QTUwlS8_{mNj$KFpHbg{JA)`?!v`pfX+Q23)Q9IiWewYJJ&$_(az zN^+u{9GF|)!J6%L33m3jA85`?BS8qt*w{I1T);i&HLst61up{})l2Uh-Q&iWdr^B!S-!u1?AM_uIGycmFZuPEzzu{(&9hkSm* z3x)w6>e1-Z{b$7TN}r`i+;Ki+V4IhP&Wq1CjHQWujp}di8CAYJMtE>v8c?h*f6u6l zyZ!Q+6AAW5vfh%;vi?nkXL!Aj*AAlJ7%SNfXvk~-^e*z;bx{Z*LP^3)B{ygU+NZ}? zr4ZV4gKzKZP?d_Y<|FPzZ@5yzMJ9?8=tA!}L@TS2XMQ8Iy^7l{M*U_M(I{!GPQadXXAUK5yMq45)nwH zvWu3fp*B28xcu9{!S2#!3EZ`cMJO-ip(o0@tGWf>g>RQ$H2EK<{w9jH@PL`t`M;8E zc=F}qrBtZtvKrn2Od&|I$NdSZ_uo(q`f@)(-eA$$nPFv{b=?|&uQx;@j0 z)431;TJWi5p*Aku4Vh-g)E~D1P*HWv_dEP?R+CGcJLiZ=|)EobLgAXK-r3@MQ z*;kK_vudKZUrU}_7HZ(jw%(R|Q2q&chXRIj)Rn=E&b2>Ju3`-n9g^pG6V8YS}RKtWz2e)Rsl9 z3lp^lZYZF^5QSqF97dKT&m?vxr(78T zQBVfGQ}_g7>JkSIQBnuog7`2t-+-v}Ljzga?VOaH0Z-`i+!hfj%4!6S+<$;e#G|-P ztY^0jOI-y2q~p3b^WH>HR64uFMfsaG6rH(#8Udn*C`wS!f@qA7ww(h0+{h9Zaz{B1v>rt@hwaSoG&FF0hCH3^r5CZQO{ymuf&dzheCFt2C)o+R);+;tox*J{hKLd)o zOoQ4@z+A*g2|ZAbHA2E}S)KaMsr`4co?sdT9*5LZ0;(Y23CvW#flq>vggLB~=lk{Q zrm12WE60mux+I|h+iZ(jrLW(5@PSVX?-ku&1t z4{7^klJo%!JPN@6xS92t{fz9L6Om_o3QtQo{#aNetG-IzwSnp*D~czrn37Mhs9(<< z7lB~XXA{YmQqh6gq4kJo$@?zOwMGPiUwbgdf@B3btwAKi(D(5(d}InPX*(o9Dt>mT z{@l^aNod4+yia>hi^MSYMEvY)bl4u5d>kzSUC)FuW7` zHv6So;f}$tP(ad;uk9>t7BAl+?@g`?qc>(gj}*9pEHcfBdIPf=usevzq8@3q1olVi z-4bEHdQhwPW7XwByggj*jy7|lo;DJpKXNn8`*+pT5jV5&@9gI@-+G5y)yKBFJej?b zyw`UGeKYQ6GUMfAAHnldEYmQC>Ic75To&=XRG-JScd(~)MV3 zReVcqY!rSicHX#-N%sF%1H?sPYyq3i20b>kAGCXnnq*}aERr_n;#T$n7*0C3GJgc> z8rjs(ybCttO|InS25uGN=!=(y&a^mqdr1Y#tw@-H4(jS0Ki6k&h*ha^t!NS}#=r4; zuMCY|ADq0x?Chi^w|d$jn~X!3#|L6QcZNuwSqAFoY+}1Q_ouO(72WjhbKzKCpy#E7 zDl7Ent$;63#*-xUlH%u)8|+fl&4%Qd*G@cn!^o42Cok?UYSlc1S4+M$eNht^p%E8T z+a}--Uwh++IGi_Jjg84nzH)FMhtF$|AlNT{!sI3MwYfW71&F(RW}!JFd!|*Xo#agk zsNueB-#AxLz)|e*4tn=p0S>hA)N@dW@nl7F%}TN#lI3Dv6mH^TUa*+}YeSTkF*l%h z_1{veuzR`52MbojTNf8cYhuScJ+v!{u{*vm^I4&={ic%Uqa(u~00>un0Z_iyze_s#@xP?eXH;=4#S4}%L-NjFenC${19S88>gfbLIOtdDnNWvUa6 z{m@CL&4)T4A-NDo8Pj)hY6Js6c`|*su)ps6yBHUlu_H`R540-w z!^zVh1 ze9RQinCDcWKRkKHR`^a3k8*6L<-2(=8YWsS|F)u1JX-MMWT+(Lm)nXQ#3zD zG|Bq-gJC66#lkpv2W)LO&vB-PMycq&X}LQkSw;?46WvhvIkdtsAJQ^H20c}~cxWZ| zK5irH+T(zZ{O&Bv>%Jz?^oqD39vdqjgkO;Q?->ot7;Kg>^KemNXSV&fB#_SDgJjGjioC)BnYG*cfHweq* z&HJi;*=~e~5w`vsIuPD7i)^jrO~;pozZevm(Et~Z1NEVwe{1;03H@`!*Dgr>c3f}} z$eN%KG*Dw;_-I9+#fNfaknykuH;9rZy(bRaUN@}`CD@sNc%b?8U_EjOftNZhO;Q1+ zMmKRI=-*CIMM_vm8R!($%>BUUc{Oq?gfa4Fg{O;rt4TpL;5%_xvh7rDG=@bF(Np@2 zE*-1#=B8uj(l^KDYRlM@Pctl(rF`!ueXmGXb^IiG>fVX+vv$QeU`PebI^@#nlb)82 zF9)b4bk?dOI*|FxQB`ycuRYWUFe-Ni&Ye|jzNP9|_q-`{*_3#~(y7@x^KlzM{A1Ef~sRpsZH)|^YQXyeutIIOVB^?dk0oXlXCTl%3ETN zZk>I(v#%e1H`yp#z<#r2ol{P8|HWMzjncAHKm71olO}RVE$w z04=0eILzvk{J`Nxk?dhS6?yj+Q6G#YPuir(3iFUWVlpzVGbGl!*r{i9G@9O=6KZ^E zS9IAz4d?kOLLW1`mI-@KULJ=(`gJk; zlvUEV!iH6Uf*#fh{&I4k^@z-9K4lu1CbR|WW)s{3O570U1MFuA@qwllBv@zdWC+uL zjvJT_`KQw&B5cftb1r1pR^>-g?HkqS)6S@xuEC|jE+3Zza!k}f5o2cqE0i845SKFk z{=|DQ*S?3)k)AWNjOW)_a(brt)$yza&%d#IoxJgJE-j&NPcg6mp~lM^|L!UJg`Xd9 z`_?H_eC6`i?nWqLZdUX?3(p(-5~0gvTY+%O#|d_gxIPRQrn91zC+Onklj$Q9K&|4B z&44XI|NXU(+{oI-{1@M>{MXmV=jyXs+2HcSK8TvWnaDiN_R$?+q22N^3LYbrr%U{K zky2$5EdtjXVk+o^v|>KK25NHq$MSu=?O6K@7hvbhHgpFTQ#1PBRvN1Uu zZUa~UZ4CZjKqrqKWs@W5<-*H4B!?tK)ymd&>@P5Qn|!Ap|CJ)7;?hvGa<|Qjq4KTy z|D93%1LQ>GNZ(K_@;J7~`OS$Io%DAeF<|FeZ29sO{=9Az zqjS+-ay!ES>G-RHi-Ew}7bh^UtRM6OV|2Xfrv@2e^cvY%rvkF|ScQ9`?PcpRj~J5z zGI}T5m~q3v7D0Kaj32m6_s}K>|7tq)a z7IC~naup|;a<%n*%gxT|KIvhpQMPNqJK+F4^O%TGFXG(7(LJqyb{PKqz(|0id-2H( zVZ^|>rKxk;O?wzJS?ezJOr`poQ*t=73U?p6w026ykD1Z6EOZlDz5=fVR;v&qDZLR& z6M>i9SX<7#on|o_Mp6`Qo-7h_n$Nc^^fqw>0w+qn);MJsc_%-igjB)LuWjDz+QHW- zO&nZWdnN35WHnGWB`4pxWwi^-dcdZ)cO{g4;@GvM$)oXC|9uSp-v|A_BDeaiuHY|k z1mu~oO0-8qRs>r9|1+Q3RGheFJlp> zLFLt= 0) { count[x] += count[x-c];