From 576185ea9987f18fe5ff351d0cd25e4d28e3cc34 Mon Sep 17 00:00:00 2001 From: Nicolau Manubens Date: Mon, 13 Feb 2017 16:34:54 +0100 Subject: [PATCH] Updated manual. --- s2dverification-manual.pdf | Bin 371257 -> 371258 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/s2dverification-manual.pdf b/s2dverification-manual.pdf index 1edc7d90bd00b40ca12eff04f81cc79c11ec88bf..664dd302098b9a62c6f16ead88e50d70f906e2fe 100644 GIT binary patch delta 5725 zcmb7GXHe7MwoM2LC3GS5fCAEc@1ZL-h*B>Qf;UPRQ#|K2z6%bPpzz7PA%nzh&3`^=p4VZ9zhw2UF@iPT`V^kQlW;7iDi z3PaSO>q7I?9p&c&SvR+v=F&(#(;L7^wl z#+}KI*ROAqWF~=9&cbiTFJobI$eH|p1KAqoq}d^n7h>-_GYoB~d=@{&ntKFE@gU

dOHsp-(ldsCPV~VPe zHdfp%829R@l=HW|8@rnbc54#>=JcIfvXbQvzPyx7sfygW3@SE6vhSNK^Z6%pdY$Bf|_| zh8sG4?1iyOYG`H1$6Sj2rV$zqGuUHmqtowsD%`m!Hf=Ajc-8fCzr%xp)H@ybW>LSOV`(r!^;lY_ zrAv%Q%r|Q}x)bAdG`al;Me$6h>b59&Kf&mjMfl?%*1XYIlh!+ztu|%;WmW&-+mjbN zVuII)q$?hr4o^^DJ`>_5WLfie|+Z{VD2WQs0E~RI+dIL z*uP12y;9ntFDE*`OwDoVklOC>qm8P1MMBQm2V_pZ-`%;Rt?^2nQ(TU0RVbZo`f)3f z2AuoHYTmq;9$37CpL6mS86oIw%`GIUR-r;St)IicDunY z8fc8FuvTo2;(17sJi1p_gQ>9khh2(|&ARTW>HU{RwAFyoSgl^OR9A7yh*u!a`gyTh ziqfGN0u#!2n2}5hP)+VXD)N=U8h0NHQcIt}sZB|^q}FCSBo>nqrBdIe51lIX%RYC_rZ!*Sj1^m zXLtW`?*l-={ot7XS*eS@Of$EtqrFrs0xWIdSI;-iZx1Aj=8KcwDB#W-KPOEfmYm4w7%X|qYek}O5fSSFa28I)QxD1 zp{0+br3arE)p>IhRS+M@@jfIf?EHVBpZ_pRR?_ikZTUHE4e>5?}cp+HiQIOJ}Kx( z;O|b*e&W7@5e>t3tE(q$<>#Md{&>= zgMjGqL%nbBmE<888=|l_Nd1|T zj`)J|*UX!u6Z(D`%iy3C3K;8!3&R@#9S1JPxUd)`b|s-xi8)571Ifl)ahLsI!rchv z7r!hYluu#8KJz}pM`2G}pWzBYkPcWpsEmLy^Xwiq9_6 z%C8Mu*)ZD!dpOf=qvqmlMPu{rB{hpSN=S!B!Wye^FBCi55#en*M2CGA53KEa#F}+{ zV%5~QG0wYG5jjzvPFKe=s(n24hJIZov9Yw{VA_kUjD42CU!qP^dm$Z}wh4Q6byK4u zMkx?K(@~bXSV(gx-k)X0YG39RCoI$Pg1mzVSc+}N%ujYeB&dkOifx>N?4;y;_h23{ znU`<4i)~z02-n|aZE#j90tlHAQqNh^+w90Z4NO>mrAacZK?W<4^x^s<6@H3FemLm7|A4+LYTqt=zM`B=|B`8uxvqb$THt4Ps?qT;m{;SXvTOI> ziBC4**tuF+NaaQ5sHZI)O;*L#aGC3<)?3T`VAfxBPB8?7@u6Rp#4fhzj8 zMTC+FJU9rTiPBsJX_95?c{jn%f+XVpBv*Twtu8up;UO5=d$MZYQL zSTZz-F~zPHt<6fIyPn_O?jU!S-}!6c0l@$fx;5e-8iNet;scwI#e@0@?tQ%*5Ycv! z8Xb(RrshxXQO#6kz{*h>lO5z>GK3IBJ~w&~xZ9p0T)2dzH@BDD71hwB3mwcRTgds7 zGwnicJ;yyJ+xcEG1w_-#XF)@XZ1=QYLB8Xm^|V>-_v@*Uj&gvWoffQbUcAEAZ=7JV zjeL&3T@Nk5q7GV9;4vxE=-& z!LE`+a&?Tj=!pRGAaJdRXL5_0XJ8BV_;pnQ;_O!IHL;F$a69PvG_J>^Jj(vY!z9x(tbCH)f@n6JX{wE;{FV}4SzFH5jus-ktuksZwsx)B3l4vL!;8~;a!MD|kaL_r)GXSDc%w}8 z#ttROlnJr;8Af2{&r8)q$`&^6_@g_;gr9%5*Uu|-4tF*GDvZ0-7YRpOlZL~_S3#ju(TwtRpMLWi`6?I3d+xK-< zYKrn8=ICbupo(%EHdIf)&a>}?NDNqt5I6sJYMc5rlLo`Br4T6(R8!pRVTC!rem7#R z$n^G5p4i%_zjptuZNl8m`L$Jljx>js?e6o#yZ=1&j9t#nZHscXxR;_#cr?X(|B*82 z!Qi^i$;2_cd*#!Gq?)PCR!e!l)R!Q?RJTM1r<;^Z9}wJ4A2sx55rNX{3b20exsN+~ zO_Q6tf1E^vuEv@v09mHkImZdcmj0+SW>c~(x97+8g7=zV>=-6J>_t9EoEuL2qfX5< z63ZLG?OfU)B&NipZz$BHxn(j`-#k}PO*z0N1%{Y0nUA4q|Dq&v5wbE4ls%)Rh3v-< zlNm;D=3H*2CyB}XF4PW+F~2*vjncy;FUik+tOtx#0vCP6m6=9`?&q-GbM{~BYP*nrH6S^_1+6RHH8B z=YIfnK#+lF&sApx3_+M;O6RH7JQsTNuRV#;X+JAfp@m6(zGvWNMYtH$`#xK@isBuF zU~oDi-}!@PFmC6T>(%zXfunltaFWWnQ~)s#^x-74=a6<(=bpXDZubb{Fn2mhU@CY; z6%fr0ca5}ZaA+6)ONA!KcKjeO!0`l#`%{%MGtcx2P6|C_mvTJ$!D%|IFb*Mhia$4& zhGaq9Ju{VUbA2Qcza6S;?V&Yd;}gW_fTF^A$z2MYR z% zO)}O3wecXQ*s!^=v&4hv|{R&Mid{L+QL4#!HyKeRC1HJrksaD?lGgN!1O$hAy5-u0!OulX*JpgZrqh7a*UyPDPR))jN34ctM!~rJxwT~ z4I`jNzkV8Z!rQw+HH$K9h{Gc=Rs@$smo+F;Xaxr}!RCH9k_Voq=XER6+%T4=72^O=wr%gaD))pLIYXCYApt8M*%P z*PfvBJ$WspfjySgp`!>UP8C0X`Qkk?MC<&uu)|*%S05=Ne(mt{Cpmg-!ZkE}GhYVt zCpj#6>6VlRSKnJU(a`Y9YzC}MR-U_IlAn-NYV;;->Zxq;6$={^JH>%MAzSnq*lU28 zbbAZu3JF0)x~N8nZIVnPcyT7F$$tn(bKBr7JOY7l>Ljt&T4?)6`n=nfpZ``*+`J-Atr__w@ZkqRrWiGb zuX6GK4JZ|%XK}RMt6v&8w!1))_$ST*-4k^N;c**$+A;1kpN6&7RI2!X-hJ{*D{hBr zf&abcgFCd_EOQs%oNIP`{ulF~5Y6lFfxLnEF6jqf^iTfH;nNUn58J$Y7+AL|pkfiZUbDm#G2<0Q47yQph?~#{K^i?g~ z8hx)G;B*`n3|kd)mIoYFdeLaU+wQmfnfkDsd9kc9Qz_TX{U&F5dYJL0p$dJy@*EjGj{9V_fCNU}!_ZNaxZ~7b6sA#05(Acs7J?@@u zi5`{*W_mk#Dj1hBcq}!Us+<^Iuf6k$)@A8x&L=Oa3;m9~Kk@fByMiHF=nZ~$A9az& z(3xc+nw_8-DVki|4$uT>^{D!}@XEnndaEy91W48$(R&@aUwVYl0Gs-?EpTu5$NE6@O!w(oXAI4HIK z%zL#-Rk4gujf|7adktw*x0%l+`w;q1oGo3`w(e?~MewITZHFoQ&AJ3tX(lMJ*zrsM zfc9OzaIa|cO>)RH1-Mky`vMN-N*np7OIL3(>0npZW2DQ!()p>NFZJqJY`xR)(VPlX z9z@l2z^_0ZLXvDfEg>b!+C^>RW4!GPw1Miy5m3V8YrnF;8@ExtXI1*sP(L$ptv7*; zVsM$T^**_qD&t4;(P%WH2~xZ;Hd`XXS$W0Yig|H0qv*XhVGKifD%-iFf_ezmh zC^o?xNWDk*qhA%Xqv6dF-3YZp*>}L@hf>GJ3{ykzcu)mxn=e@HqksHZ>n}Ne$eo)% z@&Wnc_bv^eDvLC20>S-Ok$+qN%~r)qPRK{BzI)&oLD z>jOeE>$(SKb~Zz}ytYQuc0LmHahcG5QABq%HM{W0_RUulCtC0-dEmK{#`tXYe zPZsmqGUy0bGO8f%@ZCnf*xHMOH$*RWvtNx@tx=odi!R&+ll@7ElxuUXudePRS5i2ZWjZK#* z)Xj-|Yv$TkLgRNl##NwHwH$vh@8n9qq6|=6le<9L)l8MWR4rKNq2?P{O^JEQtS@T&AjtZd;?Ikq z^ChqENZ6pwdJ?Y&saz}V$`|Wpe_*6Qjn}h&-d;s6vO->bJLo}4e3)mat^e4ep#t8| zUvKnrlxg?WxFlmx&+=G7HmEhq)rE3G)v6BYc=G6JBN$!Ht8*a9=|n@^CwYsT79G^x zX;|kQCPk4s=>9qqcrv6sfgj9UwJJs&O5uqd+d_svzIxnA5?13wkGp7rgxRbebZ`II z9NX_}XaAh~Wcov!XAG10bHfuSbzHQ2ig<2}5HrxjAffKjJSYL#^NZ!Lu_QYBR62U# zxq;4&>fFE`bo7u{nGjVaH5C=yNC8CXU$SGj03uIiq@k_^Q`ayuQHLoRE2(K1!(gVG zFcniJ)yqoCifX2cdLlaiDFk<|2%?D&4ia>^Oe%pJsmhv!AuD(%#gLU63Z6&*TFX65 zHoSEkI%1F(B@mqA4VFRSC*%Z%oQP&92hNVf_GY^du5F!x z;PRAq;cbC|?Q+3jaB$ui=4Os9&81ozR*JyxKCdlKCj(_E&R8UEr`>CcAA>|wRhwe?}W zGoE#{Vxufx$^(>LXfn$N>p6%GgKS@z6U|_t$P}O4^PMI|66;Vj(u)A~iIw|X9^j7g zvdV3I4F4y(B#U5%;!1lOOH};Cf&EqL=n3X3X}?3#ZP>y)p$rz15zz!@5&_Y<9FJ)) z`Qp<&H~yZ!_zSv+x~zQLc>YSbppMDrWrxWaYPIo{i8*P#P?1pB!Q3IprgRM)d<2_f0)Md%$vH`6-X{^SIOIS!aElzEjY zu%xDV;&MjkV`1Y>gUL&xn!iMeMkt_(J?^kvb=5&N1W3XiE^U03zt4)2-( ze8@Xo-;awuIw^nR&xrE^01v)@E?WTKB3coLg`3$B|fVk@bym1}AY{qTWYqgU9R8a+W=4`Pg@-aq4y~-wg9y@A-wGL*EWW6`ML#Y!j^(#GMh^qw<2?$5HRayEn`FN zplr-vZne{6w`9X$U~1W;qp`@u&rbU=o_0#UX90P<_ARoOkIK|`iZ_g$=d2 ztIKe)H&zj{&RNTiCYgjW!Nhi5OB#E?@>D&@g(*ZB&D9Rd*sH2Ib&_>6Z3uRrB1&-E z9Z*Mv@_wRwJ_`IB_8y&kt!(^cW7gylWe{{i zP~Ik`6>@gip{2y~#_%#TdxGUpfrJNn{C)*2wL+Ta|FE0)?%}FO^Eb_$ds|&LagmU8 z^P^pf6$uxhv4|)%Iq0fNU@pStTYmNm@Ax3=Ap=#Xr?H<@wzzBb#Pukz#~D8vAw$wf zuc1Fd5H_ha18l{B+Ox9II%PYwbl5A>Dd>>llft=}s+_DpGpe9z(uycY2O9 zaO(Pr8`YYD>9sJ4E1b7qu)D$yc`|(bI3yk6dvZ5zS+SQVWri==6kDH`)S~E$t(6`bwpw+@aEbIwI4#<^r1wrNwn1X1wy=Z3Wn3ER#gbSzJ z;z=IOEL$`*Bt!H#gc&PDx)~D zlrG-cH?AX#ztdps_uGKp_t`SDkk|Xg#G$+`Z?p`>p`p`}yi}`MLDyGA<^vCechn+f-J)I>*Aa0@rQj{mes9>BpzLH znOQmmN9D@Af1Jh=;-J~WKI2i9j|MdBAbzn1+C*@>Xt!x8ku;%K;y>euUrUC>fgY<+&M)a;_k2Lh$z}D3o>@_)^yPjHJ(fnxJWm>hU;6& zG7iC0ubYS)8LFfV`{0Gwp|=rynKr7RytgZ+1}~%S^X*#i-!PE|S$R6J-)~2Lz)u(D z;UY4V^?zG((V1Hq*n{$vr>*&cvk6B2L#7sL@7*y+)qKqi*Z{yzHNfA|lef7P+7-__5r{z?fsvN_7$jSuF{;W?qzn&sIEv zBlc;HEO_i+-zx*INC?stmX@{cIv+b0DOOisctp)p>_L<|k$fZ}vLP!1l5R0qp!x(4 zS9Nbr`|P-!hN-ScQ&;mmmQQrk(fm_`ELm(p9jD0Tk2=;-$0>9^)&p#M4OET-r+nm; zC16jTM8fqY*q$)nzF{|g{`LfBjcH=nd{Gne2RAGG-?e&Akd_GMV2cL9_tFnsl|F%p zHs(AQ376(&`49#ca-bViEMt}p`=4W*pPG zlJF+|iCjy2|EWDZ=aqz}lyeL}3sUdCTdthz=7jH&8#^{n&HY9?b>O=-M`qdId@aGn zHy}*;o`hN?(7GJr*b8l@3Tj(7dTiUH*39&Q6gAFFr0<@r}6eC`?b zPRqPc$6!eALK!l~X;zmZ$s=%cX1isc1!HI+d!k4R$ek3z>;7wDda^zh(&wkfwj>}b ze(PXn`^w$NAXjuszpDa%6M8xoKP#AyCqc&79bX+&^~_jeXk)}EblIMO&Yke3<(HED ze=d?@a=!~L>$dDh8h~}!c8y6KK=}VBUQqw(ijM;LH0+vSmuXj)fmox$^#R9o^dX`-0xY1$Oy8`a?>ViSO!jx zgoP9w)@T(szx6+JF!OKtkvaAi^}d)|JEFSn8dIxK5~7(J#^l*ilY7UlB=8o7_qsbj zdUI~#B?yW+c+m*lo(ahPd2u{PO!%zpU~vcV5c}2AVBULxuINzQ@gtoP0OTUm{o$ewWO~XND5^Zw30lj@FLP2~8Fk$-!uV zzR;%qTg=o%oTSnYt}nH4?T~@-*c|te!H-RSF=k%{bd!AMM<;YO)M^EeV{=Y*Qol1V z3zD_7qIq@{7q7kOi}?rm|1a_%fjU3=jIM-jq=e^H`uG21nDw)MtT}yDpnqz*d-i>> U=LE-A3lXJNr