From 372841f387334a1ef375bcf897c88089a90a17a0 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Tue, 29 Oct 2019 16:07:58 +0100
Subject: [PATCH] Removing logo of tp

---
 doc/SafetyPragmasBNF/figures/tp.pdf | Bin 11970 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100755 doc/SafetyPragmasBNF/figures/tp.pdf

diff --git a/doc/SafetyPragmasBNF/figures/tp.pdf b/doc/SafetyPragmasBNF/figures/tp.pdf
deleted file mode 100755
index a597c381ab3f4e1c29eb1f0084709a58101ac70f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 11970
zcma*NWmH|wvNa5W;O@@GT{bQocXto&zHxUAPH=Z8xVr{-hu{!gf(Of+Jm;Qs&-m`2
zug4nQt7lhL*Q{E9))<pYSzM9{$jpgA)qGL&g1`=71vr}6Ab>ys7I||AOIIrZ#~(-)
z0RRB7NLt&unmhkl?TlT`#m!9}&CC%51rc0aoz0Ey5j?Z)^<^3uc^$rw(A|9S-UAVd
zNhO3;bm08LvDw^~2YUqazBX{3JsU}~N}~<!K>T`tloe{9o_`s9S8*oI`h9FK^!`>m
z67cTf{d)GhM%Dj8H-6q<)-ZlsibSY6RZ2&wO2GM7hCRsUovupgK`G}&<!t8DFDIcN
zGfmv*t=XjemMLxm<F9LtQKD%SN<PYF214ByXJ!}gqxUqZXT5KC)(V~{-^zSQp6pBf
z1a4Y(wYt($k&jKYANOmkO7c>_QoT*8+8?;R$5_|S<fSl#e+Ck2toW*Dd7d3ND8_W#
z5l+GgbRu{DPUiUeS!V^;Z6E4uveYG4U<^ttaGqyjMcA~t{UXmoNS_<lRxRDg060Av
zyml4i^q8B|M%w&FsfU}$WIA931G5q}RkxNOGgGwM_~Zo!4Xzri_XF5_e~&?dhuaeL
zzJ-=4479O58S9lcZ4|8+dqcTMju~RLvz_a|C{-FoGYOZ`F8-w5w_K-R1G$f+30l7p
zQCo}UVSUc!37EbY{r%0C&}<t|3CiXCqh4;u-RBSCn}DO5biR?USj;EUMtDNws=nq*
zC{+z^SV!`a&-P52Om+8<W6*WO-W63Qi}tvt(Qi=Sn`q|k()aMNGDNHmbHo}Y+J(j@
z-WNpHlI`p-s@j=)tTsYT_Zru^T6o;ll}oUdjndsB>|LB1D&%9ZgJT~A>Ytm#nj-Vn
zcQq1qzBehk5qgC~e2TaEBxBU_)^Rix$@XxyS7x6&^?v(@xA~V%t`BzShUZp<!Lhbx
z4tqnKebkpi#Mx`iw6T1_#j((OJA1a~NjB&6Ex!~nY#p)&3>tp7CT3ELMra$OrO=y*
z62#cG+}aaGe+d?N0ZJnAS;`8tm*Psd&7t`h)x*2|Xp7aQZkCKS>vAkD2Ea)^c1z<X
zUDFVpo?8Vb;HSt-1+n?#J4WQ{&q8IKCJSu9=H{m<ENKq+g!a7m0Q|C)(hq*yI1zaF
zMF}i*`&El2vo;L}h#jTmnIV0Pu)oijM)-({Txy@Y$bG)bA?_Z;26Hg&A5*}Ebp2Va
zsXeI0@dc}3RNhJ0S%z>sU+U()OocFF3g#fVUIaKny&9Rtv4iOv?3rm(AI3^Ns*~B5
z-js!-r+p47X^5w^A3<<F4iWZCS8H+Ufe^aWwkk23Qej`nnuH#AWO-Z=%FRYx1{*6E
z+NVPv*1T{{ogEoI-7?E0$vbOmSbz<YG+h4~TVG}aE-&A9e?F$<&Em{)zxA*I9T_~3
zJWY_Tzk*hFQ4yph(!OiC5F+_?IwS2g1Uf=^<0y}nO8F4)M`(8lXMUG)+Q4^tS;F^0
z)P57ZO|lQv$)Cv~n4W<Ja#?0`iY>zzPlyUejGPUeQ47nNZuCVou5Rnulx7jGz(y3D
z16eX%i-*;~Sm=sh?*oQlDjvv5l3=qO4naUgeO~>I#izO!36eko(47P(5<9_z3-gQW
zAf64L91DlLLru)+7F|-^!?~ZF`;SjVJC9(yK+J6zOunHG;aoy1=?TmzVDlIY^(bWZ
zhsoO;WW(a!7%ujHGDYho3DOW(ojqOBQ!sVZBcsXs3f$zUtT^-}dRQGlf`v}jOj(OB
zdP?g~b^;4g_@)hyz&6BAM~`mdFpDqg5~%}Z=UsQ8UP~Vn$GKICuSr=-?BK9d6dzVj
zw*+5Qi<*sP_hT%Z$rB$0F1m6(f2_ELt0LLA;BTt<Yg3K=g89=CG?IQIN5YlR(MW{6
z{_aKJK51C!^EE1Dgi_k`<v&$|FwQ?XJM@)`8MTgKZlVOZg^SGdZQ>0oE8UsvMm}@g
z+h8p*C}2i}h8KocuPN(s$R?^NL#vk(61z0he?=2o#0Y5qJ!@l%Eut9%uZv39#i$^q
z$%I`aR>lu!%Wln6wUO(fnCOQs*e(zQ++_XTnRu!9o`Zz1{aVj;hxZuYL~8b!rs*f!
z4EA;&yDsS;W_KjUoZM^h;*?W7Q&h)#fST;$bRCc2w|F4B>v<-;3vaT#=B;Dzw5U{9
z!M)Hrf-NhiS||b_@3MNwkwLy@2TH(v<M0zp44T8b5vMu%+;h^cGlOQ`O8#IzjrYN<
zFfJ&@_ryt?H4;tAEN?5!06A23bBuSrAEVnae8FPy1YkY${x$+(KT7RmKcN@F@I$h2
zd|r?@jQXdp;-GP0HFHJh70D`%J0^J(B>xdiED94Wmz8WRNwV2Fo0{eI;o1BZE8FVM
z#4-XO6w0RoRhPl_4<UtqA2zYztOC_)oKpD;{JP@O`0=wfo@qV3<~M*MB`@YNHO1ql
z#RKyDtzlEL&lvg~HZ>?*k}H>a>OSjlGLU0ddRNc+y8E@}22l>}+uLm=mL91Cq1rk#
zguOK0@Yg4G{f(iCS$X=+AJtHe#dkg(YYs345gOoU&z8?ikly);;D%w<Gv?fG<YX7x
zX~N7*37BqtN;3VVUY%}u(ohoR&DL)9+P9}d6<Gc0d+IBL#=@X1UdlKbfTjUSe}8{H
z<A+Ck!Yo<o5C8mgzw1+$bqW_PBer1y%y(J!AYJI<v7k9~`&bz7Evwa2OV8+Qi_Gc<
z9mQ%gbLWs?mT7C_cC=}1oy1A)l$cy~w@42(-Y@za<fI_^0HU7A3+&am6SfIJL$5uW
zxT!u$Q_GCTEPWFEClgha;Zg}`@gH2qPrA*h2523t$#S>G@_y0$(C}<2H)<_SNhCTP
zg=R^le1_V`{VOLt4Uk#2qYE^#vlw@4F{gbmq<5Vss>6yAE9NXn-fGUT(jH}6CXBf!
z-EVIrSd)kH!IV4}FhU$09HdA_p)q}~Nugz+&B*t+w+F+Oy@7Sv)auzqXmjv_0O`|(
zF(ep@8ybway#WZzU|u%^t;&a@jn4TLV%n*fAhx&h(mX;A^0xI235pLSuna)s?HqZc
z@$ZYl(N;LXa&ra)9|Ww78?tHO%h18+3Ivz|=q4`6<DbHF0$eXY1ez{?E@sB1U(BMc
z_$<S4KH8^%1NXXMwl`p!vHeBe{h5u6@!UJ<wu!aTo<59)Dh??g5(BWd=0l(28`4Kc
zFl`cPPwze{oq9YPPb<nnWL)ZB4L5^Uj&Nq>x&#7qI$?079rA;}_DMra1w-tLD|0*d
zQ!qyOxLdy(q0aTo1BZ|RG5~9AK28Wx{e5Q|ln|Ah=4E|?3QW5)XI>bZ2v79$ZPZ<P
zd_9Z0fOF}D=K6s2p-Jlj7FPZ**qO+%irhe)3V`?(=DdLo<5a{GT0tRh?Dd*!e7mu_
zf{uT2`zEvz2#50oD+{I>;D0!P0{#*NuhRcrzlpG01iFlwAFdePi0k68R_V7JRrq)y
zAG;_&B(WDSjtVcgQAOCe7|}<`;jJD6Nyo+ewSB0UO&(ng&evNqc2hHBwA5pKvdjtc
z-F}SM5*F%s_}RiPi4L<q;<V8k!@;@d=O#M38bXta;f&q9S-aOd8IGM{iH{QP5ICTy
zr#y*0sM(`Xa%=nIPFV9ht}hFONVb7%ifGpg2zjg~3n%E5$S*3LrK#3J#X-^G?CmG4
zjpBMx#?^}j$5<o<5Ic%VNOdU<27FW@b@bG>ozJE}Lg65w`o~SD*r`T$)nYz|7ua>M
z8%dV3CxvT6oqx+lp?_eQaFlh8B13UK#E7K~D`B%Da#j=Su?a~Zl13;Z8o>JQ_N`VS
zai9&|5u&&6n%9lI(5%B}5I;ZIzMtH_H8~^yhD=_Biz*<|pS|Tg1P$qjYPmR1mrN2W
zQH3oiuz`?Us8<Xey@wzrKMiX_s7E{kFG5Wz=8xw@F{0exKZW1_TP6nUrno8mL*s=G
zS7{v8dqe@6;TXIp!z;=FE-Q0NN17)*CMAd7fR^-w+YU~G!~jfvMCTqekw;K$yh=%K
z_^`7fI%R;uCsp4u!Hj&NLKeN4JAgxRo--!THK#>17rVf%Xy0R6dvIKsnR?cty4roa
zS`}aiCnJc4J+$+6xU!rA3ZMJ1Ts)%v<1Dl%16|NzUx>QePvI%aBRZxL-rWr-wHqqo
zx`B^@)`1M$Pgx&uk9TD~kEpFa6qkFCKsfDiBS6t6HxGCjEoOJ`Kor=mQP@MH;)t6;
znypeqH#DpZAunt5hJwJu0iR7Ew3SQ|SO6%~Ac&#^NtH`^!=Kh&T*n3U=OpR5$~mXj
z?0lSn=J++HSg<)vAT6SR!YO$$nO+hy`1rPJa{Um#7h!9M#nd@#(S-7Jt@<PXCWii^
zMC}eW@3n4Pnc~rnH{)J+AEo?9rUp{4f*6v5x{NOsKYUr%K?BHe(?{`DMSLe&?CoOb
zP$EC5nI|Gr8bUEA<NJg{+xx(LaK@LCnXCr+xB)}#aYfQ39^xGXSMK7*qMTeQ0>FeA
zYY3tb!b&hkJFOu|NpnowgNpcOXKLG0mBk!VL^}kS20h|p0SYV5L>NSKr>G&1n<BH0
zsjE@um%ME)!RTzpYEK*+gCga6Jl9bd1ig*c&v^8{ZU8gUce01;TD0Hj(>Q~%C=sO%
z@zg4kHny~gK^_?)9atYkODJ@NmC;#w!OvfyZeb5+Awk>UK}5nMNq6!V0)bCVCTH&&
zNO9Xg(~MVlZp`DKctwxh0?nn-wRoV3)JnvEoWfzcn2p<E4oZ!)af^J>aJd-2_wt6{
z!pA{fD-%?NDV^gVU2i5>Fv8JwAWJ2`H7{wBHzu<WJ|?#QNR@$}flyFR1l>@c&qo)W
zqcCWncxjv133LOW@XLQjytTV*;-)Ik+QY$vN3MTD>&yrHMxb+>`kebyx-<!g*w7%J
zsS`!BmLb+=s1xHkQ=0)#g0c*EOdyIWC(gxC8U`3g+zoDEj>=dHc*Ew>n$`jWwOR~*
zzmtY~1bZcZCLU#*CZ}L|_Buv>2zH1uG`s^yu{fqDJ@?Yqq1w#Ow4*Xf8zWfVD*X~>
zrg7we9vVjatsQDBE||k{L<ZbA+J7y?K3$kL+8IE}&W*vzHlWLgF%u6VKx%O;V=0~c
z8sCn$_@XR00$=Lr)fiFMi4NicA@g~*9bWYuPsL(_rs#k$uB9YwZQcY!%iZlMueJme
z_dIsZFj$C0Ee^xl5w(h>lFvptJqAUnl9v^(KC^fzp>u@J^WQv{VZ4ZcNJg`B(|B15
z=FjZXv(%Vi^@(OpGhk$7uwu0cvh`*-wF!yPV2bc`6GDIYECVJUAVb(RG?W9cVn&%$
z9%0m^cFdf8LHu{OHqz1fbt?=qVgkqkC__I&+Nbbq=x>@dL^24R?V)#~8)zelNW6Up
z56N%@3FFb$Ed%=KX%!=z5jTM}i6Ms1xdb&wRT30CZP6=|q2KcfJvF7k*BVxGj-%iL
zXpTVy^Wru(r*)C<YkOSSEp`%{qZE{)C9^dV*-h(@K2Wy|E7l2_;=g0E(NMvRaEX&l
zk3+oUT&yvT9HUgR2`;7nyG^P!K`*_)-Ok;mh}#1{uiiDYGeotcdtgn-NEyns-+~LR
ztQ?^uf8+IN)un6{db9G781qPY(e8(H&^<&Kb!c-P3~>s#$nH;t1$3c!@iR>`x|_hP
zOHK#5lULdA#nh<nH?+w<-;gtiu@sdKO=%x_4`PF1GDmNH3bu7IQ#2ADIHk|uY^*S%
zx2$dv7oc%zLWn|Ae=U#D6eM1n8k?t#%c5l9mu#2qeqdZ6@aku4WlAe&v5?NevOVD&
zzN(uQchZKL`;0L@ntWbFgVsW<R9}agB=veB2fKnzg$Cw0cd3(64AvU7J$Mb8!_y=O
zIo>8v%{DE}HZ?|k*$dNIIQvPZ#SNr~;4dmKwxBhBBF&hiFb4uB%x;W#hpuT-1t0+%
z7MC-V=5fA|sb*YQ(+KE`#-^{2y-yfB(M;eUTFBO5O#1A?QIlWWx~x_<AC2k(Iu6jB
z>?ed8wV7s;I1(H=nUp>{q}nqiDg84!ocTXLY8=}Yp4knM)8W_Bz>KXR`fl|*SP}3|
zu43#ks9tMJ@~ksz*rLc8*ERx>5hG7=uvGfw<g<PnKOBrdAk-1k?`P>x(xZ>lBd`Y~
z_KP_4Q0y;gGY(Wv?j15^S&?Z|py7JqWPMOT)K&HtlT#hQhOL$s1N_#NiAFli&WItU
zHE32C3nn{f!ny<)AM|t@T}lF@wxauvYx~7c!)N(*z4r`@(6vNEc4l`I6FH53#}stv
zP@tPa(#t_`_tgWNaMdVMxz(egF|tgMMEGRFh`GH>xns8#1b-e@q(z)0)h7Njf-Sg}
zjqHcX>L!|6H4fn%X`CI~f|f7M$7Q{J`Won7I|)tonyB;fswnQ;H;z(-u+IsF{1Dph
z&>w`<Ba$FtC^G7)dh-hoE$5--N;TT&AeMq<7p6vZrZm!HVaGs&)NqPF+^ni&L}?mr
zz7ZEjNEF_3KE4clT^q|Xs{R;)T{UL>o+WEX+uV-J-S>7}nFRc8k8Xv+H(o5y&Gcx2
zUQLihWmbW<_GW4<`A}=Swg%~DJ)as34Loa9Z{+HT;q+x&<~H4Ikb|iQfJvOQ2sZ8H
zYfqxDd4$Yr>=hgq2F=LX8(n@03#hmh%N*Kc4e+%^L?3^GrMKx}_Z6ZH^~Oodz+-C|
zy`5acEYoK|ErEo~r)hVRF{*pZ<ZARw@-GuGELo|B3=`Ni9SD66mP&()C8e3THJV4@
z=YAjHQlidMuL`RfEx!0%+ZsO15qZDD+d3p#+2gzKkm54fH$c_!&Iea&^aUcDkcHx!
z+El^GO#?80=$I$}pq$17gSIEpqLd1r=X9)Q+1G>^h{+ULst+P6_{dF9j~<>SjlZGe
z1ZUUfoN=6Ra9Ogo8GY0(;^i`l?8IB?KYeuHw{qP!t&SzDyyj`|Kki@Q*@>v!a}9yp
zGR81ECDL_yQcI*^1*S3DZwTEGoTaI_B<-ADX;TMN+uVP7LW`z1-yl2_+f55Wu4@%e
zQ0_D*Jnxtjg)2gcKB*)uF<~G6b*dk<x{WK(;SN8p1FL*hLkYVFd~y(LR*qSjv_ejm
z*^_E}<MuC&i0}n!IL%@(JxQ|KFox88$(b%Q#`iu-9XEg>PEt8)sB#4sr|<f{ie5+S
z+0wT5q?cB!a)48I(3a^zWsWoA&OK?AIZ!w6b+y__nQ&4gBW##QPw&@uRK6oJMQO(!
z;io0F?Z5bg#>Un$66p1==;1o^$LV@%@;u>8a{Vr3dSC8F)Wvx*X*Jd}`HsnR)`TW?
zS8j#DJBy~aI3=mQk~1Tpftu8L%xe;bu5j$|mL_5SMtI|so2Y&t`6FVKw%?z?TBMaw
z%mN5nFu2)kb%lj66p3zu86O#iy~yAqy@`wlWJ=B_W$Z||u=myKvAHK6iqI7DK8IVX
z^L-4+igO9%7?d^2Jh>~R=j#x-W6bHNzoqQGiLAv=!7+X-d*SK(+4io+S!q|7p^yi0
zy4=r%s+_1=wqaIE7>|AxSdypn%gW+;cJ1<(5qA@X*`vrNTTO1aSzG*s`B%$#c`<Dn
zj#<bgR9^gmLA+%di$M({gffwbp?TXU6>u?xS^6!AU@+vm2R*XM9c2I2?W(MQ6LQsu
z(&`*hA57G&=C8xFqWJjo<D=bTglju8E?*TCR^H8IQg!x*GG)Ac^nKy5#~~hd$9PD}
zrQs_PYgLt(k;P_Xg4@&nX-ug^hq@cRV<%~Cgosp)uNq<4FpI3oePMY%tH<fq;M(ZV
zW>xi643h|+5gc@?QaHD677KGc{a@4H;K}(yPiyIuFjf7Bo(3e3`Q(KI1bk9zPzq;Z
z(8V1l9u@W_?IyajD&+~HhONU94z+e#sx0<aVm*Z|6kwC+{dyjA{ct%tAVB-h#F+E0
z#}tC4{Yv%(IG2v3cAx2ezU<;xR5~yu2nU6oLAc2NYB>#j$PcHa&>=XqBrZmE_h_*_
zh@Ago`sCRH<UepHsEJnC40G|o$=f!j7dI@(xM+-|hgI74y!N2b3~X>+H-XIotYv9W
z-0cf~<~xbfhC;#Vva^9a$9RNRFlQ~e*!onC_jrGR!A_tXY0NwuQ=epG5FV!zdNra9
zl{K&Bjv~TynKsQ_Eo%F*BEYuagk=7HyUd@mNslrL<o>Ox!qi9hiu&8wqBZsE7-CxC
zLBDmX{3#=BQu9_H2J&!;SQ-A1j4~XzK`(ND?432<4f$1YRCo;p(ONun!AHJ~`T<(*
zH3ammSvva0LfIvZoPJ4VACrAGQpV?es+Uy#yCjuWsD+3{&tP|Q_nJU~O5qLF(9a!Q
zBs<6ILI`f<rG$ia=2M{!2OmmZF`lSoktbv0C@_$R(m=xZH+WxK&;t=)?D7{gX40xy
z6Lr4^!LYUu+63$Y%S<>3l)qO&(QXRJ3GFwfJ53wFU5J9iu!LEc6FMzr?a(N66v8~{
z%XA%((0{B;>gklS!q;d^j1xR_tSK5Sy<xO7RC(oczW_fUy1DYKMuF~?)3sgSFI{N0
zCv#kvx!n|x9+#B64Q!c!Si2^YzgZ9T%9PXMTJ_;V;qAPjNW#axO#-DOp}88=8>8~!
z>0K+Bv3fCTyRSKe^JM6jo8R0@VtOTg_MM_aRw4);HR@ar)!@6K!BQc9U+#%CA`n)t
zW1Jp@#|cC~CI0AIR>h_{Sa|w*FA^sl7#RiO4>Sw608?K0aG7aj4A8N{vu9EdBW5~+
zW<=%ACnn#|)*g2xFC6Dz9-Ga<iDN9f%#v3Vwhqh7;3O^@$*X?O;$dR^mqdc}BATa6
zw?&Gr>B@trr{&mlf>Uz5Cg5+=u0lu(<geJs3;P$hk{qi~w!#b{VKJTM9l@~Y*TagK
z5!NhWobR--(duiZk)O1+p9b_SqXDvEbgiOwaA$4lL1HrFM!yD^=N>uBQCs6e^*?=p
zJKA!caZk<BZ>rAQ@2(eu&y|0itS8fphG8SqRitX_#kkvEIUSFKbfcsW@dF*0LN@EC
zXea>ctE)znlYcxde!&d@g6K3zOLU38vsC#&-sV&My63e{sR4hqPTod@IzBh@f;_cO
zH)sWKeTLDSxLn-<xZl0-AWsS0ZW6tu^tPV$BL?wqtRw2t(<`;lv8C=vXx=wL5sPK^
z_IQlQ4%~nAbaE2v)62h#{g75^5>`omcySLm#biD^arVhRPQIXgS5;2SBl1iWV><7o
z-cJ<^ISvPzHjf^3CMniZ(jHOxr6%?YnbmrMx0<q|OW#%N?gNLWFS3YkPx5LlLWS$I
zoq7Mm6>^Ms<7{Jzc1C2<8rSG-=`H_>^kyweI4M^Yi|+!TrBtSK7|hdL^wI`63Qarv
zlFtM8g+_W-$G%xT{ON&%34c^x$h6`$S8(~uSL>TibWBE;j-ab4)BQ4$h}$OD_D^|C
z!E}pt4g5Rw1yH@a(g&6N=$bgM)%+wlkZAYe7%e*z08tTKZ_XJCBp!}BpeKT0rCwbV
zNT|9G>JX~6h0waj%~Zj4n*K;%0n%JkV(sFp5z?zL`o*yMJ_Gp8*^>e@JEq<oRXkg9
z4Yl-ZpFpD`T+O*ANR7>uJ}xJT9kP^SqX|LaEZKZ7$3*4eaKoe#GHR<w!UNWfS4{4+
zCU<y?*g%sA#XgoRNHKHaVXH;Uw?tfpTNP5hP^Ytd7Xw@yS7DiS$LOv1VX1&K&L8|u
z;HU2`jE}umflUA1h0VIwA<72M*@GFBG5goE2SnMX)0L`_1O#8Q-XWNN{VFmwVB6l2
zSg<=@;^gjKBl7?la{?Lqwv7DC3XG`O0!k>#mOiYnj=ich`$wl1_U50qosQ;!62xhv
zrUb#ZGljJ5OGU95%jdZlc9IhY(s<j(v!#CLWGX@YQ<h|Y?9!gm4W3VV4*G}AVI7+t
zRpg65{Rlo8y9m2VR?N<rw6(;;lh~r=#rGL^>Oo*h`4_NKkYP@+Tf;F>quYBpT6O4p
z1W?Pb+?a}5q^Wxo=L*CDvVMRaN0ImM?P>9AHHAhO>4<x~E=x!{c*ylMmLivr1H_G*
z%;~+HQIF8^$}2=T8eDR*;tlyF-jfF4Nxhb?DQV(SQ&yCFB*)WF^E0BQx_vto&uE1`
zv7HZ2Udzp-vl@5`3l^Ae;ym#H=y5{yaO@6;sF}lTP4w3qfeiFKN9fr#^}+^1QuN<Y
zOL*T}N(>ECr&AM?hx3c#)G#KZ^IIV7YxzU4%tiOs7*Z>5fTLX~DOkWby5XM~j4{(i
z=CwXc5^@=^>|Ja-exF)d`{_n4*yIMfu4^0!6cggu_{yD@cUh|th#sir;D*U(GMZbh
zv_VlLnvANL<E!;?pV^P}A#jgM#F73qg67y6NhsrGZ)t}HEHsrczaekWUeD6`wQ?Oo
z7XJ{gt{@QL!M+6LLX}(HP28#>pB-iNyiVTR`EHc-g9)pdb>h*74c01=rT042nV{<j
zg0Ph4^ZFsySTN;vvI+nVGybj08NPakL1u;K7`Zg%_F=N^F{Ara)Rv#X9n&l<4qBN-
zW>HVtPQ>Q#^pT4}7wEJMIuu9i^vTD9fsrJ{xCjSWjVMDhDBxACLVqzv#0upEh-k5G
z7+U2QCjI_S!-s8Y6mJn4To%^3k8;9t+V=o^=_h=|P^RhU5Q51SMu&@F{|4ylhVP6#
zkPFZRN(S)iMB0;=jLB4xo#q##62zg-N*MYbmQ~Jo7?U#s(5%j_48VoCWat?KUB5oc
z(ulQ^YwQLt_zBCmlOskBTK#ho%UEvdZe3TTbGm>~|AlJ=b!<X7LXG<JW-H9Gpr5a*
z262J6TX<3AN>g<O<qaWE2*)6(v9u$G3K^oG#EL0KK!4TCF6P$4ap}|im)o(N<30E&
ztWi00lBBjU8bSoWyIc6Le3lDxp;d9;)g0(WuJo9)b$I3Y%2c)H$^5gCBQxDE+6hp7
ztoS6qb1a;UE7HYF+bBB}Mv6W~*#MraU;^iCu@v?wTVC8lrF5|Ds_0DVAT8)dQv(__
zoWv>X5N3M1Q->P0IpE3#tsBONC#WN>Zyu6=FtQl14Cz}zY1$xL;UOBeAc-s)r|Auw
zZX}*dq>Jy=Gmrerg{_?J)0x(-cr?_duaG8@nRG%cRK$I78h3Crl=T$h@cL>K^@?=a
zu)$U*3sj7X>t#!J+3y$Xtq7k?H~7#Mfiw@tF3Qzk&KdT0)1Dc<=}!6;qo{pbH~k~U
zWW4MWnd=t|L}89y5nf8wkm$Zw1rd#PpU!xZVepu`yt%T@fR2(1jUr&&L6ttr&_~0q
zE#B`aeX+#bMiM^PF4;Q?C93~8U7jlX{v+|5b#-(QfdvM|O=I;#)N2Kz@4am&dB_9@
zGWLcUNdjDLXJ7@Rgx!r%THd`e51$yG4qu)ty!^6X+SZPjXG#<IW<lQ_WC%3qi-6A;
z4S7c<M$@poVxP?~HN!>b3#-Q{thbPtG+UEDTMCk1BKriA(q1@4$T+}5ofV*iSj@{(
z=Gz9kJBWR#YRraY_0CR;>;XYp*=q@sO1j(>ojR3^UAnbd8ofIEhY3D>p+k@P&hXqy
zg`e6uJh0RbIsC=$_IRuFY)@f$8D+2L3ZSDeVY)AbT8nYBEb+Quyu>37Hjz@HkUjLv
zeU&_}5q?cEN(DYMPONFs&>q4`p>lL19o!utvevrpnYYy8A&2qs`$*?Qe{InU%^t`9
z#UMtGhJsyX`<WH2y-q^2Fpd$V#xWu5N3y=bM{{31w4g6rX{#A65tWvfE0Of+woMj!
zla*t%0~?9&i`GlK(p<yHyS%b@eU18AmW4U5E0)MiTg3A3pH~6KQ`TY@j|bl#_#wNE
zJ0CKGYgH8B!$3aC)ieXTX@0_5RFsEHH`#2OBDF-hTh>1*P{v$xB0US>>I9!#*)W>O
zx2{3RMV$cq6$mQ`2z^RLDBNWLp&FHDA@-dbS9g%;Z|{w@-EMZ`eFd&hfjI|g_lv4b
z6Ylrz+Es8UbN$*KBfFYh*+0i@x<C<?fyCu8_Y$@No3%JZhXld9<#j)1*Lp8Rc~g*f
z>giHF<u{!@apuOf4?JH<E$(s8-rJn{l%6KO%50I@&tN8t2h*aU7oTjq+DCEi-`Or5
z;G>b|N=T4sdujiw7+kGH?9-)#@~!$9H#hs$*;%<hNCl$lAoVm-^wAqdv>UCffZ@C?
z2+g`EHQlK81tlbL?(kGq0Rxh_)`aIio+)Ql;B9fP@X*^ab2Hw#TQ_u+L6Ke6vPdTe
zZdZ>F)1xyiuwQo!)2*WsnImK=+i!x{tdE650+Gr0CiF?%T0y0mF?Q&C!IGlf?F-rQ
zvq*2Z?oNC}Lcxa%6HKx7c97kKYLv^%jSp4-_X4Lz!)o?c{+*D=(1M7ADiM4_B2+g`
z4(#5X9S*bjan~RkD||Sitv-Zi9MX~mMvt|RTtn-`b3_ygU#j^VW<?EY>?QP}%1*<p
zIqE@+t*{IDNb9Un9+sat^xuT{OG);wisly?ib9WsrtVov>Tl)lK;JLl#PAH6m}Bbd
zin?@bv=+YmmoX+5-p?Sr*n24IjJ$6;JAK9?ASWKpsIZ|K5$QhZ+_;K{d)9o_lWpP|
z8cecs!V;g;k{)|oCda+~^)OxakuzUHEUV;OK^r6F*W3!1lLY}0gBY&EG#-LrnaK+F
zMp^e81}C^+%J__5i2Gv5U0=20&t%`V#j>kzz4J@RL3%5#IAQc8>$T^wWN9Ca%iQ2p
zia_y5VFD8q#@ok%$VDZxkY2--Sbl1*jZJi#SjXMp3Q|{i-q2oG<cSP7x)>kf?C&Qp
zqE*Tj?*tx}ZZM?#3MY5`xVxjxT%I0gQngm91FBZ?6dX53aZc@%Eekp@&eVoAdO?*E
z6Tq~*{TX_Qj7sSt5hh7~#chyON=48#MF)IjaH|_uv>-}cx(D&_P1N$qk;Pk$&Mf@$
zN5i>lLUhxdEmMDg&8^Xp508|#<BTpIT_jRq*D3caXWaZ{SMoZx()_P?8OopgGslUV
zPg*%AdMtW7=dce;W__(S((>D^GS*nWiA8sXYRP%Hl{j0MS3R%|v`vN~jo#8)$HbPg
zOR6`U5Vws*Fn=GgvxCbdIcTl=0b$X{vU?dvF<I=Ayt$CiKA|N{#$-+Za{@m<>3R6-
z+w#(k5ufS1*qQtHm#-4bsYlncPSGfvb4kLGWt>TC+a%>uE=3QhgAP)ThJxrVuDzgx
zd)WZ}%sZx0>J8M_neVRyLO+!oYVwa_WkF$A$TL=>oljHKWn>JAAq-Gtvi$A1#jyvJ
zEQ$jJ=WPcpFX)k;TW6rI&a>IWx<uq!bf%u)g*1q?AtZbrSxL(KfJQ{~+2IMn;AOX!
zxfGNhrcDUysKfXv7S^iV#rvX=xt+8a3C9S=IKA>+zCo`Z5*5|wJCAqrzKy-_9T{O>
z(v~Dw;wA}BtB74tFY|;^XBkY7e}2KwHBJ}x42XD<1>xVYgVM=aX#J+1I^6vH{Y?>2
z@ahQEk^L3y?>t70q6mWNx*pj{WSlJ9o-qlhAA=d7hfw_lipa)he|qDVavCBxSkBER
z6F`h@n1~xtVUOTWL(xtxA%*<Fk2+@l+0%H-oA~Gkll&^kF}J4ndahLEP0;1OK$sa9
zXOO|Ez-h%;h@#%hNek&u;99?Sq9pp0NfIQu&RL39ecAE`m&$Fl>-sitt=zPpk=j1p
z;b9<*i>1VMJUyR~RO34DMMC#k%P}^>ZqK&$_p6CY%;RiF7KkAKS5~fN>CS9_Ln}=E
zIY*><nb6el5P^=t0A5KS?Qn|bGd~u^m8-cC9N9ykxv|#nV<yLSI)YCECy_c}yVIKe
z*6ub}`1$COsuz8<nmJbn*FUvbjkfXJjy^)a7+%QZ+W2K~KCGj&cZv)bR&;3BQzB<0
zMDTDHM3v6ORV4l003+)sXeaAu>^F;;t)`Xfk!b_a{^zM<WEL5|GjD>|zCdn9^%)Ae
z-A<LeEURu#Pfi04=_bVhW_iQlAyLS_(QD#3uvhF<B2%B%J(XTLorw0ulwzhGGE3S+
z>VUJcLBc-rvk!$HcUgG;c>yAY$)mxLfVqcQ3(-p)3{Lw)T4BK4Vc&yT;EG(A0V)-2
zZ}-eW>*XD)X{~Lbvp+6tt$mbKi$fCw4}Zhf=n3riF36a*E_zL5ZN&oc#?`_7($+J-
zt_a_N(6$CTO=4W&aU{EvUwdfRF<Rnd>cLv1)z41arIRevdnyb*&q8RV(lX^64m%cW
zn+_O$yzwfEZTxYuZn%W4Pd(==VMB5{ajz$Lv#+Oq1bvG=Z?)^<Y5~NOKk}ZUI$8=`
zE?Ih>XSbdz`weT;$hWa_NS={7pTY6z5MC}3xuK<Sq|kc5EJK_6Wc3qzRx6->y~8~!
zqDnKq${M`v9yv@KjQWQ>PIwI6c}hLn{>Cy9Jjy9l(=MCIf2;Cn>I#1Vq2|ot3VkPT
zd}+8rie2tBFa{_5;Ew<wUz`7;pe_h8$m!Z5b`^lIR(|tzc$ZpIhO3m9QacaF*>dJ~
zeMejp6<^v(03d0Gz{ZPXbW8M8oWXT{++FfLYdFPI@>SPRTC}bW@|w_Nb<y>8_wQVo
zo05O`Kj&+@p2Hoi1T78%znk7~(Tt+Todl)j2q7=IwB^8eQ4l<Z(E0>Ks^u7#=87rZ
zUz8jML^1PW_ox}@u)Z79yfX2Bx9zK<t4}Rx(wL0F*%~L^6y{q#W6)2V=|PR%eHfYT
zc()iiqgq<*eMWjtM`-?ZC3lG04Lzr{M$G$$Wgqzxp#K{+>+B>4!Q8>@e^j)8-u~)u
z|B7z^u76~=Kp-m@_g{;@d$#}RbN^A~N_e_Tsk#19;{rgSzrdftV$Awy17Hyo0RRCk
zrpABfKN{UX2Y=>2&;P{X{7)PJi@F!s9KfP%Y-#>aOl4zda|hQyZvU43DwvyD8;d%6
z0`&estN<Vv2Q!eBgO!&Pz{bhL%+ATl#lr^B|HoI%(ZThPvkTy_j`&}qVJT-vH}HR@
z_pjUjLI0hx+MgVpjU8OTe{VMR`Zp{CaCLV3C#S!(#Qs=`o4Z?^nyX5Q{x$g*D;8CA
z7e_Z|Q*#%<-`c4D7stO0{;g&HUyd&SBr0cZ=JJQn-!iEFCwI5MwErsr*M9{N`=fDo
zb#w;Mni^X>I|6{rKn`Xe0Iij)E0~YvPnrLKmd?gtD{E61W=CgBI=X+ZQFeATb2I&;
zng0Lp_P;&i{;%u*mA{y=tFfJ<<-bDz>6gp@bm@P6Je|!g5Lf{`2(14Z04`2Wc20l=
z;9nRJ$iefcJAVhj;XfGg|6qU4fq%;L|Fz@f{XZBR=l`|i<ly-~c3j;5W#{T_Y;9-m
z{EyIF&Dz`iPs)G0tm^3K3iwO>UmuT*gM}mDZyWyUtBb3#v+F+$fk19HZUibS2_;E{
F{|CuQLr4Gs

-- 
GitLab