From 3df8cee06f3a3293182a6966b8dc94ce51c45ecb Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Tue, 9 May 2023 12:18:58 +0200
Subject: [PATCH] Adding new figures for tutorial

---
 .../alice_bob_nonce_ad_alice-svg.pdf             | Bin 0 -> 5974 bytes
 .../securityStuff/alice_bob_nonce_ad_bob-svg.pdf | Bin 0 -> 6198 bytes
 .../securityStuff/fv_alice_bob_nonce-svg.pdf     | Bin 0 -> 7980 bytes
 3 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf
 create mode 100644 doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf
 create mode 100644 doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce-svg.pdf

diff --git a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf b/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..62977540d918c56cf0b85dbd25dc1350474ff3b5
GIT binary patch
literal 5974
zcmY!laB<T$)HC5yUA216S}sEc1BLvgEG`=xF8zR_{FKt<)FK59$AZM<j8p|T{{V%s
z)S}|d{5%CCJu@qX02eofkfOxA;^h34)FOqn{2~RX#FETxO)h=sqSVBa%=|o;#FA76
z4HqjT10!PtV<Tfj6GLNTb8Q1dbpr!+O)fh-uGG8~kc~zNn-vuF{S=J36cqG*QuESF
zG8Bvz3>1Pue7DS;lGGvveYc#%l2n&ekhLHqic5-86LYyL=DeMm9uN{K*6_Z1t}yRi
z-^mM4dM;{VQ+cl9xM_t$`Q*%nCmjP*3Rv6(1U<VH7Bw*U@j1E$3Lb6H&{(j@Pr13l
zh_6pcOUwIl|IM{OH*O7${+<5&PsRJy#r}JX->r`Rx^ESG1CQansS|i!Gfz0+`|zjL
zZNsJ}XNei?4BQ?K92yL==e+#3eEs%~VYT84*81-6$qYhw-oNI!R(yWqqHenv5^}Q(
zEB}-&syu!F^?%ilH!OP63?17}ZOrjA%AQ)jw#dY~QTN1oE(=>#Lso_x)l)O~TxATO
zsr#TKe~#jV75OoH!X7`*-hb*i!vUei*Cgtr4hUxZyc9Fgo;97Jq2zzoUM}s4+ke$$
zI_e+IH(t}aBEh~#gKzp_ZvTfHB>$&r|F8TLtRM2})#?B1&40*$7o0OU|I4+aw>}PE
zPVFzceVQ?09~(p9uW-Mo91Krv8A`tWo7!!`=n$^SFzI~6$~{~1EuY+a!@z%{fo(~H
zO#qve1G@xMZ~|jagK`0L+yQ=;=Cuv1iyWCAG?q+YE^B5AVDUPr7{L3=K{<mh_kqp}
zCh-HJ1+sV8z8}z-!BAts8`sGCK~Be6prz46Ky*@*h(f4`v{B2938GIpDjoI(7>KaB
zI>u;-o@)H&;2Izq!h6;E>;?Y|l`ptTgr(Z#94B9p`J(=X)9rxE47Sq;vo^?`X~|72
zzrlZx$^D>bf!G}W_wCvb*?ySZ;f!z0KfKsLzK&I2iJ_@sfwG986^Gg(xrePBjxI_S
z9dkRJTv!(|UTk~e$fNL1`A0|P5qA|SPgkP}Rvz3-xG%|{bW&3+SL&X4^+fOqzZCmV
zc11!v8~$`DEldf#rBOUZTZ==q)yrLUfmVR;3cf3*S2VJuzRLBwUB37#BX|q9m4s~f
zIXCge{R?hioPP1}3(YS|Y|Rr7WhCnu#?2`3;abKJ+-ljovqkctPqJMCX9VjS#cQ0>
zO;3|PZxFp9mZM+BV%;2jtn*Pw;WG<;8R_Yr+6PS^RTY#MUfz+qM<Px(zw`Uy<B!T8
zYk$oBk^Mvc$95Jb$Ib+|4~j<w$^^AI(>csJCb#sva0PZ}`17bP6Z$UfFQhLlFL-~F
zhl=SWUd@&%PPhEC)M8a_m1_kScD?A@(Y3*~$TiEw%GJ#!ZgOEt=qBAtZOiT$M?3d@
z-t)wdcCPBY)!o+pPGqg1t-h7sE)6$PV}Z{?-U8ZU*@C+@&Abl=T+!$gF;ksiG^c2)
zk*jOK)Ro^t#7g<MPOR#+@^!v^C3D@Dh$z9g?zaST9p@<JsmLkJQ;but3!LNce&Oni
zbzdr~IREO@_Wbj7@;emPq`c98k#CYql4p?HCAUe+ks3GkEVX`mb}2s95LGXASmpg{
zrAbhf_bqp;*k3EYn7*u(oYm9H<Gn24*_t!Skr83u*TT)BzwLOl;LV~rd**D8Srjw%
zPUz0c%3XVUYu424tXcnO4pZnsFGaV7F%Ksl@@}&@JWcTYij*(LVj`)cu_D2uuSMHM
zrcb>x_0QB#Q*KS2r}cR1%u^FjJv~)>id&0IYo3;+)>^Ip(85(dS2M02Ud6o1JL^?e
zV^;OmU02ess$Pw~y7@}<)%h6{OxBoAGLbTo%UEPOb5`Ljca!&-2cwQfU5qk~D&Lxz
zEBsdCt@5qIuLEA6xmI}HbdB_N#aB08EqS@+mCvh7rM4xXOLmvUzh3#G^@Z#O=?lMC
z<*$)ne}9F2qJv?9@d@J>hCeO`oSu*xk^CdUHgoUgUw6LVeSKddQ@XIHPs-M0nN+pZ
zd((Hu|B{lj4jE?}&omA-<TYMvDw}?3#=SF1&v=ce%$ys!?k4Nz{%2~>G@qrP{lDSD
z#*WPy8)w{Iu&;6R!otH-mQG6Dk-As)epjMsTIrdt{Iwafd3O{3-f_FxmU}tHIC*uZ
zbawTvZ(HZ?lRdxgaNfy#ck0^zrn0v*Z+2dIc!KiLi}yF)`Z#m)q~IyRt1mZg-dMct
zbE^21?%k&urx%7>hEL1h{JLrO%G-R~>&h4XR{Ngy{kdF}oK3%+|BcIMKQDMbxp$TH
zPU+oy8m6zl?zn#Wy;t`<@9qDwpmtAfR!!UwsUOdN@Z~JZyR~g)>g8&C>-|FeIqP}<
zhy35iP~?!|P<$Y0fpbEng1v`+hWmxL2`?Yac<@fZ$HT!R_{5{M<7eB={M)74#ajAu
z1Mg4T`1D!W%e5b)_4AbTx$l?h@ra5^Tod|cc}IJXVvXS;(?w=Ujj89Y&Qu-UmN<R$
zbBk$njL!KiNll4-k~1as%E1*oGhV;wdht`@_l#FF%s1+7EZyi`7+0wNIP4Mg<J-a;
zI1@Ra?-a?C*<Qc<&$phphdXa|vUdJa`Mkv0liQ{|F4$<w9@U-Jt=oQ0l=Hdj@mH_Z
z=&aUSwYSby4!?HtY~;y1mar`B*}gL~b(XIYzIh@itSr7S>D;?HCuO%;zbbdKRxbPY
zRO|V(=YH>t?v-Yl*OlLSXI=TLGPUykH<ouVPfkC5f2#f0xu46|vMRCeY5KTVtorpn
z_d5B{e=qF&`g_&4THO@!ds>(DS84o;Iit1jYx6<=srGB$^xv@$NeU|3A`*K_SJpbA
z_Cd(Zh{&*;R~*kb&wbkS>CmV0_HDAeA`?Rb%O&b9z8dVmw0P5QucfQDyecj&`I^xi
z>s!4x=k2~*OO@X!E4%0RZM%B%s_4~PE3x7?iF=D{)0?B5j~0IUxaG0F6tfh&pMk%L
zxu?0PX|3f++mrTBt5@y6xn<{0*KJFei01j`&b5}U`gO0L&%SK?%Pm*8U%uUauEBU^
zdfY#eZ<lXGe&1aCe8%%zbzy&ZZfm|3c!RSvtxT`Pwfy7m=H2b*ch7zQdgF_iKU}|0
zpDZq-e<em_f5fHk_h;Y7?wnGZ`LXEH)1TUb;mdw)`|2CRyX)72`^)QJ%=*1m`uf~;
z@v<9aca$9dbgXsuGxPKJlkUCRm0PsC_(H{o$9*5?_9;$Ycy9Ny^4;%e-hC~3&)|-A
zl5Nq`eTV<P=8uuTBX`%r%I2B<w*s4zIsYg8E%+ArXR&$zWjTHSH&snlK|eyiWF9rX
zna;aE>))+&<`3iNl+2K++4u725s~aySMyKqubp?U-mxmsaIwK<n{12f#B-VN?wvlX
zzdT-bU(`JPAF*$~-?}cfzW(3gXZ;6T7qq@K-(#*_FSdVbRrRO27kBS-eSb9lz3@GK
zebKrJzY1O{e|~&m`2m09(=X>6&ez_bQTOuatAAfldL25|b%C`-PoacyAvZ^?!wV)S
zae-Y8=t4j2%Nn=-w^-dM5YyMs{9rn7!*N-LRjU{Sx>*`zW*s`|A-JY!yK%&AVdF}}
zz>Au%C03r4aZ~9(+<9JP&0ps0)xvzBCLgrP25tO-8hGGFpozH=NEXC4fi?)E^*x=P
zof3;vQxrgL#GqK10#m308yis5&@VAJRYBh~*AT=BsVqoU(2wv>%1TWx0SQ1Gl4kfC
zk_rm?!KFzhV6C3HiRq~zjp3OoB^e4v1|YUaYG!&yiGraSh~t!5QXG(4<eZ;dke`>D
zSE6765_Qhc$u9~nNK8&u(055K%S=vnFG{RLX`?15D2V-GXVP)XSoGhJ(ai7?;~CZy
zY)-l?f(Ek}u4@pCknxRWV0cj7R0r}XYB+)14-Oj>kQ|6*jx`XBKyJYm2o`h<1kA_-
zg|csAakc^|`hw6xMuOFZ{rS89i(2Crh{!DD6k064UqNqg#<fJzBdHdS-iCJ@ULFi=
z;9<BP;uHW10o2d|c?=XLCKez$5X%xCI`F=Pp#jMI3i?>O5(;*9Tu>7$=DeNd+ke|k
zpzZxHQJX6Mz!QR+L6%~F9hkQ`++r>AXqLO<+my7|agy`J`umcTeiaC;&n?Wj)Lqqh
zwL|D=yRpd8iTC__g@pdkyXeO2ms8%Gv-aIq**}bT4DWqlcQ}41BjMq4x9zKz&wpEc
zGkkXlzxfyWU+ZLFET6g~e@a`}CI85;HxxTr<!4<#%e-jc@zsBxtZ!eQpsH(kzq9=8
zYVRPHrtfEGZ;$v9&iqLA-M`*~|0Z5t@w4u61zZu4G)UNcU!Pavj>v6yffCURg}azq
zgtbd<IbQ4j{k|})wR!(*r-ss-KeCEuzHPCWjW$|!>46->TAfWCS?vN5stYqxR@T;=
z^Th6u{Il)Y1v#a)`rA%9@T{Ah+Wb1DKyvQGTCpCj!_^bEPWT_vF8X59y%$l}XD7Zm
zz`<H}k5T1#rIdN}oDHd~t#niK4>P8I*S@rGiSWgMzcugTT(ADre$=*ZM@AQ)!l}5U
z2X?I0Uvy8iZ;$xAr0M&4qjc9ER$X%V>N27E&H*QT&k0PMa_`WuuCOKd4jD~I2~5}<
zI5+<9+@vl){o~;gMogD}Z7F$BUo9hERg(Okz2#Hb-#rTMahqN}=l$3FVCv((#SDK}
zUyxeIWWm>wbih5WCI8IMuYzrs*>y};+$Cx(Y-egQ%OvlPw(-|?=}C<1U*Y_lJG=gA
z#fp#b^JYJ{f5gl6=-b^tdOqyS@4h=S`|P*Fy%lOJlf81@<=^YNJ^d{I_M<-;_KN+m
z)B90oo|M>@Brx0FtXo#}{K8MOt$sb0S?Brd!hHR5<NM!^p2$7&?DYQR_XW?dZ+&3n
z$)PF~b=jKNC}#Ck<{FC#)2N1>YHPO?Y(DyCrKw*e!~XoXRMGv*KdKn*O0+2qT>AR&
z)Pl{qV!RLROzpxueMHq{ul3ziVs2!d;}*j`nbVEEK9IfY&C;zi*0mRHjz4|lV)7GF
z^SQg$Ty0%lT5@ZXsLqDpTi49p6Lxctgmu6N*H7lbrZMLv-U^@S>#5F<$X~I6RrSxB
zfV&nh?ozRzj=uePy<hPBH2&`!S@rx<)b_a>sD_EAUwS2ZJ&sY&F-~ypcU{|U>lm+1
zYq8xX@vo|EZLfa8+h>vc%^XD4E_VIg^Z!_TN^ON1XTP~&!@NDAxpHmEYvh^k9d62-
zInh>U)6CtjKj(AL-c{zb%4~YK)vo@Pzh<b)pSdN+rJA+2G)VbULcz<PevYMgb~L>;
z+&%q^WkAWYmWC%Bv)U$vPbz%BUp*uGX_nOv!wp{1_hZZ$-PVV(OUQ2TC`)a)TrkHi
zF}I;{brS!rLLRZpQ|7!ls4-y${{*`WzcmA^7JE5d5ERggxm?M=>tge|AP4)iGpraF
zKYqn$ctdc*vCdg8hR!T+vTA<1HQeQhaFQs_>R7DZ{XC8D&)$MV?z1)XBmZ7)o4==7
zGhh1UvMs*y9=A9AIr^vZ?UgfblGn?=yq+uS_I0g(IfG-cd|Q*GiwR@!hrLB>9=^5v
zQp@3-De+*Ua(8xb9+Tv5|Ars@()Is7^Bwsvf1dN$i(i%!MYrO7l<T!vw)4$f|Jf$0
zTyCC;?eCi#A6!_onYGDz`Z>1A3vBJJxpaONZJW0_<HXMlp^`_>*_+(C&t0#S+xxw;
zuHw|JynUWlj@xUMTsU*h9-oL^zyDeFCiRRp;jEgQ`>ce6Cxuz9o`3D-!eRy0?0LnG
zsxN0%zS|P=)=1iQlHJUk;;&6k_?%xJGS^VvZPK(KUrN0_T?^e#HSKy7vv=2oT|f4y
zz7Gx(_<U!#f1v7_?dyC3n3n7O+q|;&rp@NKi>JRoO52)cep*P^bLQ-J4bR%yCp|g2
zZqG@KR`ogia?u=z$g3M-^5Z6ntk3E52-y0GEqSWRl<T~af?Zi5n;qjO2boS6-t;om
ze{P*|W>Dp<=NIQ1>8`r8W$77#*IyR<L<Y`sn{r;5(<)$J_#e(F|6~1AUw@r*W?sbd
zn<-5mms3AEs$}R(+HQ=CKPl5!D&@88q?WJxNei`W*@{0Egue9k2)s7!J@YVPdGwiY
zK|h>c9i8*%f40PQsbk@1>q|CU>;=^l(DEMI4gpsVpo+uL)W8xX4Q3+^iYX}Q2c;J0
zmlh?b7AqKn+arjoHUQdY@J&t0OmxbxP>2TAHHHRe3Wk;zu^@HMMfn9-C7g0nQ&X_Y
zgcN1wVwDI;ECMw<3_)!t@ZgwpeqKpxUP-Y6sMZSt)vPdI!J1N#mQo0~h2xf=2W}a`
zn>-+4aN`No)&j{Y=zFB*l%<wrCMSa2?wXgJpOTrEuAm>Dndg{SoCy;^wh81IP?*`+
zDCmO>RL}<nN->wdbAD-FiGm@QzISFyu|l*VC`^MCVnJ0d%$1-90YopzI*4xP#FE6E
z{B)22*dPUjcYPA`(iJo+bW8KH^YY8{kjE0i5rZ%a>=}@Y+zb^AL17UDvQ|MsKcFZ-
zIXJaMAzB|alBo}F^f`eVk%{T4&I<Y=sTC#QXp4X}Bo#nrc;*^Hnl2!9Mhc+z7tA=M
z#vfRvv$K%`+&aWaXGKwJ8kYg68EF6q3TCFJ#-<8s3S2NDLsJDXQy~v7W@v1VE@otA
zX@VhU4)P>OGeWPCxe2CTOG^WEy~YLx78qhi=4O~;nD&}jm}BTQv9Pp6*K2BQY>Xjh
zXo;cM)WFgRL!FT+lDd+j#LS%3BG70xC}Za5mneXO4Kh~jnU|KY08VD0)Z^)*5N+dX
zZe(fVWMpFL=xXL{>1JeNWajMbW^Qg_VBqR%;p%FqKv)SlK?G-3rGg?5++a*BDgj5S
Psfnc_m#V6(zZ(|-Jqp0N

literal 0
HcmV?d00001

diff --git a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf b/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..eeec6c04ada83dee4a25ecec17277f7505302f0f
GIT binary patch
literal 6198
zcmY!laB<T$)HC5yUA216S}sEc1BLvgEG`=xF8zR_{FKt<)FK59$AZM<j8p|T{{V%s
z)S}|d{5%CCJu@qX02eofkfOxA;^h34)FOqn{2~RX#FETxO)h=sqSVBa%=|o;#FA76
z4HqjT10!PtV<Tfj6GKB|b8Q1dbpr!+O)fh-uGG8~kc~zNn-vuF{S=J36cqG*QuESF
zG8Bvz3>1Pue7DS;lGGvveYc#%l2n&ekhLHqic5-86LYyL=DeMm9uN{K*6_Z1t}yRi
z-^mM4dM;{VQ+cl9xM_t$`Q*%nCmjP*3Rv6(1U<VH7Bw*U@j1E$3Lb6H&{(j@Pr13l
zh_6pcOUwIl|IM{OH*O7${+<5&PsRJy#r}JX->r`Rx^ESG1CQansS|i!Gfz0+`|zjL
zZNsJ}XNei?4BQ?K92yL==e+#3eEs%~VYT84*81-6$qYhw-oNI!R(yWqqHenv5^}Q(
zEB}-&syu!F^?%ilH!OP63?17}ZOrjA%AQ)jw#dY~QTN1oE(=>#Lso_x)l)O~TxATO
zsr#TKe~#jV75OoH!X7`*-hb*i!vUei*Cgtr4hUxZyc9Fgo;97Jq2zzoUM}s4+ke$$
zI_e+IH(t}aBEh~#gKzp_ZvTfHB>$&r|F8TLtRM2})#?B1&40*$7o0OU|I4+aw>}PE
zPVFzceVQ?09~(p9uW-Mo91Krv8A`tWo7!!`=n$^SFzI~6$~{~1EuY+a!@z%{fo(~H
zO#qve1G@xMZ~|jagK`0L+yQ=;=Cuv1iyWCAG?q+YE^B5AVDUPr7{L3=K{<mh_kqp}
zCh-HJ1+sV8z8}z-!BAts8`sGCK~Be6prz46Ky*@*h(f4`v{B2938GIpDjoI(7>KaB
zI>u;-o@)H&;2Izq!h6;E>;?Y|l`ptTgr(Z#94B9p`J(=X)9rxE47Sq;vo^?`X~|72
zzrlZx$^D>bf!G}W_wCvb*?ySZ;f!z0KfKsLzK&I2iJ_@sfwG986^Gg(xrePBjxI_S
z9dkRJTv!(|UTk~e$fNL1`A0|P5qA|SPgkP}Rvz3-xG%|{bW&3+SL&X4^+fOqzZCmV
zc11!v8~$`DEldf#rBOUZTZ==q)yrLUfmVR;3cf3*S2VJuzRLBwUB37#BX|q9m4s~f
zIXCge{R?hioPP1}3(YS|Y|Rr7WhCnu#?2`3;abKJ+-ljovqkctPqJMCX9VjS#cQ0>
zO;3|PZxFp9mZM+BV%;2jtn*Pw;WG<;8R_Yr+6PS^RTY#MUfz+qM<Px(zw`Uy<B!T8
zYk$oBk^Mvc$95Jb$Ib+|4~j<w$^^AI(>csJCb#sva0PZ}`17bP6Z$UfFQhLlFL-~F
zhl=SWUd@&%PPhEC)M8a_m1_kScD?A@(Y3*~$TiEw%GJ#!ZgOEt=qBAtZOiT$M?3d@
z-t)wdcCPBY)!o+pPGqg1t-h7sE)6$PV}Z{?-U8ZU*@C+@&Abl=T+!$gF;ksiG^c2)
zk*jOK)Ro^t#7g<MPOR#+@^!v^C3D@Dh$z9g?zaST9p@<JsmLkJQ;but3!LNce&Oni
zbzdr~IREO@_Wbj7@;emPq`c98k#CYql4p?HCAUe+ks3GkEVX`mb}2s95LGXASmpg{
zrAbhf_bqp;*k3EYn7*u(oYm9H<Gn24*_t!Skr83u*TT)BzwLOl;LV~rd**D8Srjw%
zPUz0c%3XVUYu424tXcnO4pZnsFGaV7F%Ksl@@}&@JWcTYij*(LVj`)cu_D2uuSMHM
zrcb>x_0QB#Q*KS2r}cR1%u^FjJv~)>id&0IYo3;+)>^Ip(85(dS2M02Ud6o1JL^?e
zV^;OmU02ess$Pw~y7@}<)%h6{OxBoAGLbTo%UEPOb5`Ljca!&-2cwQfU5qk~D&Lxz
zEBsdCt@5qIuLEA6xmI}HbdB_N#aB08EqS@+mCvh7rM4xXOLmvUzh3#G^@Z#O=?lMC
z<*$)ne}9F2qJv?9@d@J>hCeO`oSu*xk^CdUHgoUgUw6LVeSKddQ@XIHPs-M0nN+pZ
zd((Hu|B{lj4jE?}&omA-<TYMvDw}?3#=SF1&v=ce%$ys!?k4Nz{%2~>G@qrP{lDSD
z#*WPy8)w{Iu&;6R!otH-mQG6Dk-As)epjMsTIrdt{Iwafd3O{3-f_FxmU}tHIC*uZ
zbawTvZ(HZ?lRdxgaNfy#ck0^zrn0v*Z+2dIc!KiLi}yF)`Z#m)q~IyRt1mZg-dMct
zbE^21?%k&urx%7>hEL1h{JLrO%G-R~>&h4XR{Ngy{kdF}oK3%+|BcIMKQDMbxp$TH
zPU+oy8m6zl?zn#Wy;t`<@9qDwpmtAfR!!UwsUOdN@Z~JZyR~g)>g8&C>-|FeIqP}<
zhy35iP~?!|P<$Y0fpbEng1v`+hWmxL2`?Yac<@fZ$HT!R_{5{M<7eB={M)74#ajAu
z1Mg4T`1D!W%e5b)_4AbTx$l?h@ra5^Tod|cc}IJXVvXS;(?w=Ujj89Y&Qu-UmN<R$
zbBk$njL!KiNll4-k~1as%E1*oGhV;wdht`@_l#FF%s1+7EZyi`7+0wNIP4Mg<J-a;
zI1@Ra?-a?C*<Qc<&$phphdXa|vUdJa`Mkv0liQ{|F4$<w9@U-Jt=oQ0l=Hdj@mH_Z
z=&aUSwYSby4!?HtY~;y1mar`B*}gL~b(XIYzIh@itSr7S>D;?HCuO%;zbbdKRxbPY
zRO|V(=YH>t?v-Yl*OlLSXI=TLGPUykH<ouVPfkC5f2#f0xu46|vMRCeY5KTVtorpn
z_d5B{e=qF&`g_&4THO@!ds>(DS84o;Iit1jYx6<=srGB$^xv@$NeU|3A`*K_SJpbA
z_Cd(Zh{&*;R~*kb&wbkS>CmV0_HDAeA`?Rb%O&b9z8dVmw0P5QucfQDyecj&`I^xi
z>s!4x=k2~*OO@X!E4%0RZM%B%s_4~PE3x7?iF=D{)0?B5j~0IUxaG0F6tfh&pMk%L
zxu?0PX|3f++mrTBt5@y6xn<{0*KJFei01j`&b5}U`gO0L&%SK?%Pm*8U%uUauEBU^
zdfY#eZ<lXGe&1aCe8%%zbzy&ZZfm|3c!RSvtxT`Pwfy7m=H2b*ch7zQdgF_iKU}|0
zpDZq-e<em_f5fHk_h;Y7?wnGZ`LXEH)1TUb;mdw)`|2CRyX)72`^)QJ%=*1m`uf~;
z@v<9aca$9dbgXsuGxPKJlkUCRm0PsC_(H{o$9*5?_9;$Ycy9Ny^4;%e-hC~3&)|-A
zl5Nq`eTV<P=8uuTBX`%r%I2B<w*s4zIsYg8E%+ArXR&$zWjTHSH&snlK|eyiWF9rX
zna;aE>))+&<`3iNl+2K++4u725s~aySMyKqubp?U-mxmsaIwK<n{12f#B-VN?wvlX
zzdT-bU(`JPAF*$~-?}cfzW(3gXZ;6T7qq@K-(#*_FSdVbRrRO27kBS-eSb9lz3@GK
zebKrJzY1O{e|~&m`2m09(=X>6&ez_bQTOuatAAfldL25|b%C`-PoacyAvZ^?!wV)S
zae-Y8=t4j2%Nn=-w^-dM5YyMs{9rn7!*N-LRjU{Sx>*`zW*s`|A-JY!yK%&AVdF}}
zz>Au%C03r4aZ~9(+<9JP&0ps0)xvzBCLgrP25tO-8hGGFpozH=NEXC4fi?)E^*x=P
zof3;vQxrgL#GqK10#m308yis5&@VAJRYBh~*AT=BsVqoU(2wv>%1TWx0SQ1Gl4kfC
zk_rm?!KFzhV6C3HiRq~zjp3OoB^e4v1|YUaYG!&yiGraSh~t!5QXG(4<eZ;dke`>D
zSE6765_Qhc$u9~nNK8&u(055K%S=vnFG{RLX`?15D2V-GXVP)XSoGhJ(ai7?;~CZy
zY)-l?f(Ek}u4@pCknxRWV0cj7R0r}XYB+)14-Oj>kQ|6*jx`XBKyJYm2o`h<1kA_-
zg|csAakc^|`hw6xMuOFZ{rS89i(2Crh{!DD6k064UqNqg#<fJzBdHdS-iCJ@ULFi=
z;9<BP;uHW10o2d|c?=XLCKez$5X%xCI`F=Pp#jMI3i?>O5(;*9Tu>7$=DeNl-G9f7
zr{VoSQLA@yk7g`N@w64IUBDQn@RrGTi6j4In}9bt6P^Toxj%i%6G{JBbLVbcu~qGa
z&W2@A+wB6kxtx0Po9~K4y?@2x-muxZ=3mYoa}x5oP}O7ovBB)8gV>4>wdqw7Kc8Rf
zod4!i>6VB8S8SC3v3zalc3Fw}We0aHKF+39ar^JRyMk||cb)J5*jK_8ztnC|(E8oa
z`%h1lxL2Yd7xXZGZrJ&Z@A-#*FK>4Id#AVWgG{Jd6|3_77u%1!`>Z;}(y~bO#>Bqe
zo)x#ZF5i*7Mf=4E3tfe)=co2AUbMXMY+N71?Q;u_4n%D}<+M1qMn9|gulI_^z@MdT
z+q3?wF*z}^GTUe62}Qkml)UBbSEF9bgUb#^y-s|3a26*A>r^(6!|_5<Z=NM@(Jk9t
zHqlJu?RD9;!j3_6xYz9P%-A@)|Khr3&JOMZCBb3^FaBmYJLHNgyeq$;F>guc=9dor
zwhJWNE-qzGv5|{eu`}|ci%>!RyMwJ?4t$o)bXGsNx{LkJ!`9Bi%Sr3qw%%B=KjX-n
zk5*sO3g+$M^xv$rf`4W5$*m1P<}oEq$(t+^@u)fQ!N1SWi}icX>qcDuWuJI%w!mSl
zj`qF(Ul%6S*`Mrqu>6qA%F0KaCd%#H4r!|G-O7Dd%NFwdX=P}i+9)p}ZD-72e%xYV
zZhEnE@r24vS@R5E6`C(J>y+RU41R0;^1^~W>tE&P?^<p@;q|JkXJ7yI(rjC?dG^|>
z!mX9nYv=LY(Fq9OeqI0S+0E~M&z}0z?b774HSg1EZfBbc2X71uua7xfrZE5T)9agy
zuDac3ntgA=t#2Q%&MW<V_DI&%tH<k?PrGzZzx!aTjp*@zoS(YHx!0LLF!hz-Q|COH
zs;1s;K0D83@7D)g{EiyzS9zy6pT&#ae(sL_E|WEnzmv)}yStC+-ttrF(^HnI*$RKs
z*}N}8A!Y4e#r#t<=XRJZaO-tV4X~ceygGQN?VeL@cY;n=748mB4}aO<nO$>hjhJ3R
zd-%=`m!pdxr{o=4#Vs@c>x+tSi_`m_J9Y@guJ=5oQ8=?xC~e`v^hx0+$->uSxa=Oz
zzTA>=&C%w(qnEeApNJP4u`C;J3eM(M^s_P(XPPsgRcYCG-VZ?&&fYq~ulN0LK2P4H
zi*F=+H}`n<-_S{V_wa4bv|Qm!Q=GbXiQRJFYWn(`q5Q5R<>rTHS67r9_rJKh=Fj<=
zXL79%e$8HVwsDzmH~)_6^3|0Udp|cTu1F|d(98H?@<s1=Y>mxN`*l{gXvn5_%YT^@
zc+vlX1$)lr4}MuaE4H2NEM@Ys$`vrk%)5W{ETf<Q<1Zp+>@yBXT~lB@rWa?(^VWoS
zS;HzZ#=u^+R*M}QJr7J^bY9&M!KIO9Q4w%isCMIB2D7(27%T3I{)*@m2nr|(xz^yA
zDmd}%tw_tB$Zdr)wZAmh-+MSwd2_X|*9GT18Rkp&tNy(7k6yd4`ue2YgWi|_Ox)~w
zxc#Bqx(=<hhh}cAM+JJ>a_6r(<+A#AkMc}`&1upuXHL!jT3Ot&`*_iJlWpxYPRzQt
zX#TvTqK_;5uO#ug<qA&xC9Zfg>((qa!HwIy-XFMc^((Ob;DWC{x7!UfdQC1{OZ`87
zagnmM)9ee2+3h1fzhu07Tz~0jqb+|q<eC;n%iWR7^gDKN=R}_yEe$d(za~^AEb-bg
z(L+s$r}_QFx@%R(qpFQ=a&DRJ+Pv7xhQUmdO>LH&m3-&xbKm7=-d)qgsF=Mv(Z|;M
z;p~5TE3+=T|LrXHw|ld#f7<O*t(KB+(*hnJ{j@oy;*`;bb8on3%4jd_n{aZGP_yQV
z$yS@ij~Fd{(#AY9Mt!IG7KPa_-#qlxi1%Fc(Mi&?$cEL@J-w_gB5Weagtl{+4^N*X
zsbZcj_T=9jj*U)b{dWYSChS+X=+i%cA@Yj*)Z&6H1JU%GSAs%3<$SN6i=I{y6zUr~
zQ7e5nNAHQHKXr;uX`GA@d^ahTQ~uDZ72F&1-g%myN;3+`+WKMQr+{;tYxXbk5uUmI
zhxZxPiJ#ALZF2RhX*l&$q3E?0tE7BW_Sw_LR;wiLv_?vAo#FM#=+&#tz-O+q@hc6s
zFOmxJ{MK@1l1F4+i;Sx$Tgw(bv8NUul`gH3JWUd+m0VkS0&eEC&YF_@TqmShU{$K#
z94oHtCw&E0#wz`Gc=lKCl>P+Qh$)T=Pt>M9;poUrtQ2dwlm2Gv)&P-{`m0-AH~w<s
zP`&sg>D|Xq1!al4S6qHbh3kumh1=<ixt=>6qAx71|K-PY*ZthiI^Fr=v*w;wy7AN`
zP++m1xPP!ftDZzki2b2eSt>hctPBv+)-(03>t&1Am)bLHZlIX(zdgVCgU&Z@0o8)g
z`V896G6YqApo-DZ+}Ic-4Q3+^`Y9;r2c;J0mlh?b7AqKn+gpgHL;$o+<eQq3ndp>X
zp%4u+&d|_M!N|lY7NpL(D8B%!gi}sxY6@1FkfO|7tP%l<MWAMtA*gK#9{h98&nrpI
zD=Ah0)#~7u1I$;jrXr*z2x<4Y<>!H0e()w8NEqBW1hpkWvI_bhsX1k-C7H>IAh)~b
zCFiGP=A|p>hiB$F<`rkc1VC*Rm`xzZfWpkiMnNBBpn^UqP>Q+qo%2icN)!ya^u04v
ziWQ;_L17xC5DRKj!1RI|JP^Gg>ma(F6H5|v^3y>AV1pD8-t|e$OIOgS&@Ii&&dV>)
zLmn#yM-0L!uxCInax+vg1cgNq$XW#j{eYtU<lxj2g=l@yNUc7&QR@V1Bqye)IxFah
zq*j!GqYc_nRsfmdnQI7Xnt{|ADS+CSFyoLKw_ugd&PEDw>kuQk6-B9OTn3<KvH=_@
zn3<Xyn<}I!aKVHOO%=dQg*>>Jp|Lr-n30*K35J+C$de$=2)#z;CYX9HEe+818XFi`
zV2Bx+n_-G!+G}cPV1%yD)X>NnL(J3^!!4#JMwohy4KeIBHL*ZaS5lOinUh)s8jS~K
z%>4Wk1yHa-#=<@G(()C+$qbZwJY5u`Z7dB99bH|F%#7XKEFGPkEleFPom`zvEezd^
qjVxW=%<U8iD*-2n;LNI2Py~V-#EC^E;3zdUH#Fr^Rdw}u;{pI26EO$?

literal 0
HcmV?d00001

diff --git a/doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce-svg.pdf b/doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce-svg.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..3a0449e57f47b5b0de61516383dfb1ce79c9f25e
GIT binary patch
literal 7980
zcmY!laB<T$)HC5yUA216S}sEc1BLvgEG`=xF8zR_{FKt<)FK59$AZM<j8p|T{{V%s
z)S}|d{5%CCJu@qX02eofkfOxA;^h34)FOqn{2~RX#FETxO)h=sqSVBa%=|o;#FA76
z4HqjT10!PtV<TfjV^bqz3vB~Kbpr!+O)fh-uGG8~kc~!2HiuLeq$=pUR+P90mn4>?
za_J{0Dj4XQTbLLd8k?ISX)-29lL<MROv%w?Mvf+PgeC<AeLn?bE(HaBpVYkck_-h4
z1p|d35Z^5`rzEvVLEkMWu_V<c6%_uUU@0ysN=?k=s+jY3W_mzKq*%lI>bb(acYP->
zJn6Zpg-zwTisPmg4&{?G7oKzsOetV-6A<+5Qdrc$+{fqW7ASbMK|^D~B0uHk1|z;c
zB`q!Q$Ne|g{@l1VH2Qb??>`mqR~P&5Eq=E;`s=<`><v7I^QKPVdCffGfbYYfR<{kC
znw%wOurqLbG;nAz$e#1^+w%3>H-^=UD_HBhzb7*Y-Fg3-<680giHo}JUP#EzF0A}h
zwy5&-{n!6hJKnJ9Ni%e8JGC*#&nSCp`Pw2A>qgxZ=eaCwRSj7gZd6ar+;f#Ne5US$
zj{G@_4_4&I><N4PJbVAC;|vFc7GIO7k2)Zj?ekL1Kzr77hK7>=S$ny(CvN{$lj*2`
zG~akl>xu;X9u2<fhq?V9Zjk(+rv1P2Pq2Q-r&p){uQ&f8|6Op--25-sir)G-d^xqh
z==N#Ggneubfxp82o^miev1KUv_HSyp1*1c_Cc~uj5i9p>$+vuR>kR|{i3YYM4K@L6
zQV#4AOu-3^IStAM%y9?!S(?{2ur6|BdeB%hfw`=iDS*Z6pke^;D+lEaw%i9gFPOv+
zh!)7+Vf%hSV+KQw0dHI*>jya<XMvVR4*}6hO(F`R9@0iFGbV^W;iz=j7hoX5=IR)u
zA$qFun}chBWC-t7=d&05FI2wZDiM}ylXIMWLFSA47f!bWE;HCpAI#byccvvbvHS-A
zJtp^qo&{oa_}{l{KV<u1a)&d%G5_#l1Nk~ueI<sbh6TzZf>s=AhvXi%ayYsuRdmel
zaB^W?#CWmog(Hu`JLMl8l}FrFq&!`XCRllJFX6r<f6_@!v0SNp;?)zuC;U?EKiL%t
z?QHndrL-_5@RmmL6m2aI(N-^a(FIxozAN~ym|oGylKLvw>vs9#tBl|++*T5@-RIoI
z7xyo?eR2B5!!I<yD6ut9Jd}~FV;DE1z=vxYLvX8Q@6Hy<gFeZ237iqEYZR|>N;f@C
z`n*B(hFFe%8H;su?6J;AA%)K@^kt-{cWNIreN<IYUU+#&>K=(W+5FD$hmSuhf2{p6
z_eb^*^&i_=m>fG3+&(BC5hxSX;!Ni-=a}5m@4^+>o#D@;x=iT1u)mPLu)N^?NggVu
zlXx{-ra0a5&r*w3wN<VaSlIQVYe&}x*CN*}7b{mcm$=D=DWRKmE43}VV;t?=_j%6~
zKiavf^Hz6T_dAibg0}irdb>2-M2!VL3waA@i)9P$)->}z7;r_SPsB`he$kwwsYb4@
z0aI6g3lS^j-#W3X*UH!V@|DbWTOy(a-@4xt$aS2fl&2!6Fi$Z~xh`;yzx#!&FV=mj
zsN(#qQ`_^;)5-5pSd;Qb|3$t@E=it2ZkOC9DMxDD)U(w3>Di_DR6|s~)M1tPtCc1}
zQQo)Qtzv(z_+t99QgT*LE06cGfM;vYBu7Ssd0z`Ri~hFb&4M?J=IoiXIc8DJ)H|U&
zD=T;H>8)8)v$JOXpE*pS2fY;C7REfBbjZ8S;_x)V^D9!m7>kLdipGiri@p|Z7nwfw
z%G5toKTWwcb)MGasWVSaJoWTc?I~_8F0FZ5mRf7I`a=s>`CQGodUzG{D(|dUS&doM
zS9e`WyQ+FM_Uh&<(O2hZOfXqvI>|)JL@r~I>C9P$v)oPIXC90?7IiVoG^%`SVy^I8
ziMPtP4!;g~edb!>b<;J{*A-vgc(vr^mRCNnE|uDrd@k8t690PTi`Eyi7o;!zUX{N_
ze*OIw_K6OL1;!_gUl{(l9B_I<YDDsn1l!ELmw(;)diV8xiA?Fjo<1pClVwuXQtwUQ
z8UIU4$~t76X*|<7)R5PBt*LDKr5X3mBt7Fbo-%W8<hq-zoBN-sJ=1)ae)j){3mZE&
zXKb8tcfr2K%?k?;Pgy!Cbw}!6)%#tEqG_dPy7Jd%$mZQm_<P6gW?Sy%6yxO8nbO(S
zx4vziyHED~y2E)V@7<|u|C`F*(!AMu;o%9&M=##rc<bZL$&-So1h2l_w0UFkw$G{J
zQ@VGbW}IFaZW%r;d-Ln2*(-1JZLcd|^jqzF*7xUfQF1o@a{f0ipZ&bx`Q+YJ(mSPh
z?`fF6`nu!#<@a9Q^SrnJ$Aa2DwOKWBKcs#<`@xs9DDT#`m8qAj?XC9<?dPoL{U7pw
zA48EthC}gzpasqekqY)6`WfyQ-X^?!Fyp~H0Ur+skKhxJ(vF{PH}h|oY8Pwi%MH9g
zY2(vpVK3KyjMmRn&gZ^grpF^HCUH&Zo8=wtJ&HAkhfEilB{im=w>ndGbX(%|&Ce~S
z%`rOXvm`Yo@=4B=)GG&9?96!mqU*&^iQh9`%`o4nx3P4icVS$i`s1)i%#UviZ{SSi
ze7;j8PiA}l?mypp-X89})ydlVN9FSpXHRaM^0;85DSK3RTDNZdHBrvzs>ffwQlqn4
zYt`O5S2_IJ$+M9s?^wdJuxI<u%+y)FM)>B5oUpR^zNB;S=A4w>X8o$%$y&MW+f%LQ
z&z}3eFS=KnWnNc)=bd%sugcWQ_up9Fy*xSn^!=&!U*~=<U(2e*x~J*mUa{)e``qi~
zKmWb3@9XbX-)ePJ#P4Zc(qE<VE9Q*WzOT&(`KQ{idDDN#J|roqXp2bfDP39XgxUuo
zGb19yZeDRb-#qte&!<D5%G<Ze?utwd2`rbWxA<zX|I*@3yS<jK+VZNnwB&0>Z>(?i
z+MKuhZY@=Qqpa+n+qdoN$*ZDQYpukJ-z4rWu1#-_az0x4<>Qve`clkN?0yFRCgz^z
zqNcT$Cv8vKKdoN1|K^sRJ6*ReT_T$2n>*K9w(8ftem?uM?Ju`n-G2FY_qhh+mFaQ+
zM7~|V5&3;{?eiJWZ`FnU-MOv#R^ScJ(zG(Y64&yNyPJ2npWi+A{p*b{UjA_XK7F#d
zi2jurk^K>uy5FCDAG>o(Y39eGM^Arh2Zk^Ewe72K4DYUA3+^wke=+O#R_W_=*Tu_j
zklj&o_|vi0+0V?+-%q;tYFBR2?&1p-8y@$4oZF{3dEvR;%gT4ZpLzGS<UNBs)=9QS
zPxl@E`<g#S{*K&T3oDyv_TLI@O6L5Z@VDSw;Gf0j{g>tR{ohnIRR#SB`I33m_+~oq
z{;Yqu&Y3@qpHnhJre@#EpGQQpUtP^VxxaSaxq8Q{K*Plbmu<2wsuRy;zPoq&tp4(N
z)qPR(^nb*@`F`uV)cX2=hoAKyY+ca$(tMA(cD>mCsa4gV=3d;r&-MM$^!LK|^z}vS
zCj2URrTqEvf#nDMjZeRvZ#Z9je@5NQpRfLXJ?VAmRM!R87CnU$#)aG*u?{booWuoo
zHJ}UqurF)e`rl%8qd-hwKl6j>ybZ@?8CI=g4CrQQkePMpq=(>|qV2{Jw}p)>4FfM~
zzLr>dQpQcC|8VDdku`sruU8B6f!e;%CL6RB3~JzkTf-*iMj%-b+Y;I!jMn#bc6LfE
zPEAn&wGo42VG0Zlpek%^Ky5?6#N1Q`ea~D&5C_tfj_^;)N=+^S2|!zthM<-{&ZeY-
zf_`vmQVF;j?wOmIo(j?#o|#gTp<rkVVtb@!re~BW7@C1NPMIae0jWjK`MCx8d8v6N
z3Kk$y=lq=fqTqtW<WvQHm(;S%<W%>f#7dM_YI1@C!#`yPsqgm8F(Nt#8?;&%i7er1
zJ;)H=cI0pWLD$RN<?K@8cc<=PWN3TaQv&iYYH)#l0SY4%OOPapWr);~0JWc?fnfx4
z63)N?^&{vN7?{xr3T@xS;%o(QL<XS+kwnRZJAdPM2)ImBSv*1VhwlL`zUxiT7<?vg
z+%;jr?2j79w)A;SHe~&{duG=|p68F;kIeSbVqnM-TrLF)614CFc@z{%X7JQyNLF{q
zkgWcYAz2+FLr`i5IU3X{g+w6{T|+}yRw7LoEVGfM%Lpk0>J#lkBTyD3*<VIT>6-+*
zU=dH6zsO1(Mr5T8BeK$l5m{-&h^(|>gh(6k4!JQX=7SXUvGm6k?CiLpxvyf*+bHk;
z+hzj$UWb3!QQa}^u(`iu^EOB3F9K^CWttW^-1XhoI@k4*^Z&YZw<)UmyQbw#UN*^X
z_XfL(lYV5bsO<c_l2P&Fd&##B>>KZyZTdP*y1YSps%I}}!sF$~wmiuA+;>|}_EPDN
z#qk`=rtYcKH|q`E*Sn*20bi-7&A$A5Ch`-XvF|zUy>EVKqn^<G_eXv|`>GmQ!eeKW
ze?RfDe6P^@4<GbZzWXx={kf$fpfNXhvDJn|hItn`3a-}{S4Vy_*Ut~^s=xfF$X$AE
zm&wUn*&lZbuMcvHWE5o0abjguc6XKe{qkK)>!Qt@_@wt9cQcfp<R@#kY_@%N#=Q)I
zJCPUaOllh@a~fVt%21a)WwN;9m?ux=7Xzo{uQgGo@oQ$yo*!u9wdNkb8~+kvu_Ia9
z_u~E*=+5)3@(>80oqh4JJ^K#7fX>ysUzaC+UG+25^x%E>+iYvMvdT!#$<jR;V0~9I
zblQronF)8A#2=S!&`G=XLG$B^*9_$g(rebw{ki33XQ#ry2M^5m=S=<a@!=u1EvA<q
zPuaRKc+r=j6ADeDr!M|yT3hALe|DD{iy03?gTOc54r~3q8_V|!bqI9WUyzpn!RT-#
zpgkx5CjZ1;Ya$ztr!_vmRFanX*C6BXHgmzA=aCJELKM9krH+Qo=lA*kV5JLp_EaIo
zZEM0gl(!fzFgOve(Yf#Nt^{5-<%=8a58vI@_#!&jMB;UD`|aHm`hLzU(Q>-)Wgyq2
zJl|rMNyNVN1;XFil(k*<xQV~3Sf{PQy^DLQ2-_mn*3Luv7hKeeOs2LSXmeC4_K39>
zcy(ir`d&VXtr^>$|5)vJ*07WluR3n5@Gf@V^NS)cO4kWbOup~=?Os^Xl+0)98M+64
zH+TlVJbrLOzs$uIrM1)N2(hi$-#hF5^vrLjEDKHeQmr>6Iz*ms`^|P_uIZ)}^Qo%Y
z9lKpNgw1+$yfafM{HTrPo6DU(%i|Wws9y?5;)uI?W=fzmU-6a)mzU@%g_=##I(<%K
zuf)<*{K|iR`^;Xv<eF~U(Oc|aPA4$SXS7Rd+d0lZz$9_eS^8+5`~3fG_NVHnF6XS+
zlwPuVy|UpoA!oJyH#k%;-ZqoEt5Kh;z;HlJ<~Q3EJ69bYn~N_plzEq0b}#2Pec3(5
zbn#@)u&K?$^L)d#O!cID-TdYM?3yy!V8LBet}UfASY0kxwHI#r_T`aOPQaeyJc5_)
zmo|U(Te|MUk4G2o&pfBLCMvhKz-@7|TzucZw!9u|n_?T4a+`fdeB0N~s@C$Fp?bP^
z0#jJF$BQZDM$%j79oyzSDfy?%cDAi6%L|+)b#I=~zO>rr?w*-KQA!64I@ex&Yh-s~
z<%*jg2FuN->O7o$kws$ji-M*fr5{-qiUd^LWEWvJ3cVJfF5eiZd{|LX@wlPj&cbL-
z1}|fK$81JJR*Bjp?EP}je?BNYcX);Vm-|eXpVu2XTxt_b*fzJVa8G3<^Z%s=rq7;V
z3#~Tp>Yi<9saCmJPfqoH+^*(5PxJP7ESg%$@-o@u;i)M<T{cafe@5OYy7%NC#cr`l
zXO;(UiAq^lR<mAGGt$_oSnSjF))b>Y*KGSD$qzYSWj~jy74y2QrS6SUb=N%9`pU8>
z^YHe#&4$-wQdgcnVXUc|t$%Loz2(=#pBUeF&DJowcqUT4a0&1ENbbN(UE!-bP8c6d
zT`l*F{mxQv>1W0#!}lB1pQ&->`g~j`y3=5GyH-?gfY#Mtam4}0Oy`G&PdKS0wpRAU
zQN#G!1BG#x>AVh_%VX9EDFpj`wU2shZ<l>?*P{AAA0orw8t>J&41ZR9bAHe2_eYaH
zZ@&JZ+t9jN^<Rv9^{=dIJN4)iS6kt;b5=idx4Jb)`?0ER?$WOxefmpwhJK2XPdOLO
zsjs%J>h;5)EWhKk@2#I*&&W2JuN1Q}1TMQl^{=6cA-p+cj8rKrDCh^J7U!21C8riE
z7=!9va2pX)!3RKF#lER2nTbyM6$;Uys=(ONOu^9DA{NxzbS}y-z$)RClbV`>RVJh;
zGZ(8wKw=T7VQmbm#=(wo&d)1J%_}KZ0M|<3HY2nPVT@F1D=0vl2yXd#;MPC9RS)un
zA;^`W4h2Y7LEj@ar!2K3GdU3??3$OHpOTrEuAm>Dndg{SoCy;EwN7C+AyxF`*`({A
zl#^Ll3hrLOEWm3cQX_#(8=dlVQi%2-D7Zl>#Kr~|kf3NU=F)f0FU>1aFyzwr&P*v*
zhz6&cAca^^oev8fq?QTXsm_Tdi8=Y{Ap5}vDIg-$CowNwL8C&qG%q_ZzdR3lY6P70
zAkF~k1jiPntLJ8@0FG{Ol5jIpFb2g4gk!8=3<@l8%1}_y4=Bn{4o)pmh}H*9+USEj
zbxxpOVq$u#vx0s|YDEb+(L#HQ3LqbQ<{Cn~Bp`)G3gE6)5Xg@TNV78v5U02Y8!EuF
zh<mV+0x0ajPH_)5Rsf|*D91zr?nw7wQw4}46%_Q{gUuAcoe`)ya|LiG1In{d0Cygs
zJWB;|rvS<`G*AGy_F-H@1w&9%4aPN60JqO!Tw?`r!yCpmQ2@87VO&!MBP53#nkg6|
zIo;4)0o=HSDYj4mw_0IbO9gOq6v{O+Pyn|xVKIQz9|i}mv$MGZ*qNXJMa+X$6s4wd
z87LTAa2ddXf|;qQv8h6u0$dCfG$3h(Jh+&lvAF_B$N*W)(f~uu$ix^^%+d@)%-F;d
zL(Ig$2wlv`(iB6Tk)=6?n6UvU`G6dVaG$Y}8HRbrMiz$Xb{LzQVYtuO)WQ@)otZJF
zy=Ime{xvo?!3Zm33j<7hEle@(ur$E5!_o}H4if`V5=Hf|iGewW9VUjLB!#BV5HtKt
zj6h`tnmQv341bsyn_${uY>D9yQws|WH=9}-n4pKLnW-73m<g!XL3N9nfu#k8UL!2#
z8H4gFnqCtNq%bWhO3chjEdtF!gKFUX{1OFF(uPcYdgi6&D}d@~a4z$7QHZuNcXTv#
zax!srHg$D%Ha2iEa&j{?cCj#YG&gp2F>yAqQy{DaT=oTLR;7Y69=PL{SX2VeislBU
M=3J_(uKsRZ0Ej?(Qvd(}

literal 0
HcmV?d00001

-- 
GitLab