From 8c195781b60317704b0cb74afe6e1fb777c3c753 Mon Sep 17 00:00:00 2001 From: Andreas Eversberg Date: Tue, 3 Jan 2023 09:34:53 +0100 Subject: [PATCH] Add graph of protocol entities --- docs/protocol entities.odg | Bin 0 -> 15366 bytes docs/protocol entities.pdf | Bin 0 -> 15512 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/protocol entities.odg create mode 100644 docs/protocol entities.pdf diff --git a/docs/protocol entities.odg b/docs/protocol entities.odg new file mode 100644 index 0000000000000000000000000000000000000000..9df271228cae53f859d1c8c8223374cb1fe81a32 GIT binary patch literal 15366 zcmb7r1ymhdw(Y?oxJ$5LL4v!xy9al7cL)&N-66O`aCdh*xVyVUfKR&r{kOZ{z3;!b z&Z$v**QhnO*0!~#oFo`H8UO$d092F^t7L)E^ilx;fZx~qBY>5em64;Ht&yIst)-cP zo}-zKHLbI?A&rfmgP8-3jjfTjp^br)m65e0jfuUUt*M!TgWSIXzGM79!Fmq~+E^Q# znK;@11ImGc*3rhsQeV%W_J5~kY-ywCX!O6;de5fQf1ei4U*yo%#@5O9x9WeB$G_71 zT{2reYa`45Mi2L|(zCZQu{UyX_}}N$!BNlA>Hnig@E0kXS?QS=InWB2Ia=x2I{YuQ zt7l+fWNGx?o;H6p2Q)PFKl;*pO8-wjyoVed-7Jk9Xk4uq3N)Ab}VPjcXp4LfOIv z?0fD*b$&X)TwgaSb_r4wH}&3*q9I!Eag#!gt+e^I&ie~Z^Lf4F*9>g4dJGmV3XUrF zxSQNn5L!~^L3$Fba9;e{!^iP3VXSG;{gPY1YA3eH9JiuOuT`jBl9o%VL|Sr6@uorf zz!8Wj%*k1)8dFzfOi-FU&yuQ9u_F$^1tk602l`=#zB@XIo_yW-o)!d?`>KJ^5&Lcn zxccSOK4+raw+kL{_0CIfM0i%J2Y_}>^rjz!bz@wkF%4y+L_G(lV#)n=%<@7d+YsKFPKt$Cf1H{0hYxo`d8H_m)a3zO);re;`hN728SPNbLHY zaTqg=3IxjNM@-sdrQQb9eSi@Cc1}n;N6&9-{;PDZ!a+g8zYI={W-Ac`wzPq}>1!kl zcb6+(JF3v*d`pA07{mT7f~&?On{l4)cwlHt0y_)Wac$x-F5fLTd~h9d@&oNyNk@); zpH4Ow6inpI)h;YLz^SG%lfUfa8}n=MtGrtSIp#(fMEB1S(ud9dH&{y3N7XP<<_B#H zu?_e+HcVsW;#N;`_Hp$u5SvwWop|~}9QJHqW;BS1G@llKYI1raRMV$s|I*9}`J^gS z4YI8WeNVOPh*g!kE#7yj{c^>6emARE%(NZHws@{4pOA)-V%}|Fg7~~8-%u+3ID#2n zDjX{UgY4E7Co9pLC6>C?t19h&Ozez+Rn;tQ3EAgOn6JY#*Cr04G` z$Zl4}YV*6Gaagwx9BO`&xCWFcsj80Z|4>B+F{}DiW#fA5AQx;!X`H^H5UFD?!n;Z4 zCQWNH_|=oN)r@w%{6L>7@Plc#1R*>8MiX)gAKcK8x}rD=ZX1}AojL|If)7cTQdLgv z0%1)ix-$N?#F^I4f_@vZ8puAPFqA4nA{?<@C;C-fa)XLM>}M>NW;vJGGP<-f*>XAc zEgWRK0_4G|obUP7I(Mmf-`5q3DeZouGfrC(exA3rgOm*6_%4@>j|;id7h7W^_!%kj zCe{<<=CXF9ni^t2)M5(UOoOR+i>Vje63hC&AHKJrV7H~^I1s9zh07cgzC5#cl4t%I zi9796>ywj@Oc89}!)s?5v+8~;bHe$UW*pD26IL>dzHe0tct{_Nk>|G#22tJ~=%(C2 zwuHh36=NTq4=lw&gIdVPfB7TlEAah@4L@|H53G2;!RpDLcC`uvVUYK6Nm=3G5agQ2 zxe;y5`_@2=tlt&LaFx=nrV37>20P_Uhy>2WYLnMy{A|oAu-`=d{bfYBuyfM4mYI&fO+=g8}Hkz>S^E{VdCdu9_%51 zG-`BPR)SNzU;eEBXV?O`A#;0l2v-Wc`bE)bGwL?$}_{o z%}XpW!6+M*Q^U{nyeLA>roT0U3bz3FO zI>ONnS^8RXL99+{FQkHlcFZqj!VY!;J#?g%P9 z@d8Q_7Bb_;a+VHk*&vd=tsi*74lXnnQo~H#yUCHP3LZ-qbExZ5DQ8|b!EkN-KMN`I ze$<9A=rh+v_(Dto1Y1OaZ;2zmedHQ7cO@DQH&mK6H$|E=&k1LGG1>t&`u_1AXMKo0 z6kVkVs(CJ2nG1bC7zN_+%9a*yl&six5TCV`uo9pS_>vR~us0yrcK;Vc?pYwxp`u*u!)7>YRQMESToC|4x)KcJ3 z9%qF2Kp#wPjGj`%&qaJY6W%<*1YIF~(Q|KI%*T$rzTO=BR%hJw z47y1H>0`rW>d|6&Au}a=!#2MokZaqV*l zOp+;`W{ypN!d_Bgpk!2_Q==y*hjxVQha?`|!)#sg1dMG~0M#fr-GeLtLhL zdt3?^hqnrkSQy-oai6Z!DC@kNc03>Mri2~2kD7eZ zhO$I~1mW&I>?^hz$$b`ZQLR6VtTkGamo!It!io`h&Tzs}Ywkl#4@MSfOp`s9O$2jU zCFj1T$A6X;5?G&g=I_=#=J|*scvuCw4Fo^*3o_W1)j4 zl_ICT0EyahTFxSgaegWuU<5JwiThMC=N9kEpdx9D>+odWp|o~o(n@ak`*D)SK<+J0 zLR$ODj|+2$^pEu0*dfVAI=^i99mrpx?}3~1(7nE&uqfu(kgjGz8){#kTL#ZJ4!yal z*V&_**V)gRN?8|k$5|H(l*bFDS*@8YDZ6TYO~@G}H2Ft`fD`aoUupT^ja&uNWmPX(%>^@Zk^In0qBhNM}dcd{e`q{nS)# zDh)enV&=bUF13#p(>fU{Zb>&067}vYA6*}HlL~RNeBM{3WI_PIKldJgwQPlb zU$z?9SUdjS-@LC|Pqj4SavRaTCn{~-EEI>pulrf) z;wl?cXIK8GcCg+jO2? zVM^|JUlVI&Q@={8mtiLQ!k-NVPORs1YqKn@E`uF3w+E{$PN9ETNiyWY#u&=m2tx!* z8y~QxK_bFqGc0FI-uhQZG~^1(BS*Rg)=!6PsJsS5i%bE z1Y1J=sMNwbqzs913hV)2iDe^zYp~43Ivmgd@dbs3ZDOXm?wqTfN^{^t_0U=z?Mo0M338Kh;%%Zx30|&#Q`EHrtA)ZSPjC49)H;%3ufQLL*pJ9 zviw{+Iq243`8g!cTOXsS7u6*bzpO^sFrYpY-QfUVJ7<;V12Ns4sk$vuw&%||XF#{# zaNZSyyZOZ048D?g>yYh7YG%8g&g{T4dYLfL>A z4SDoW`*&m=OSQL=SKTP7zNZaj-CvvO=s9%1(zDtjvrd?Vyx12J zPV&SDK?OBycy3UtPj?s0y_3|z4=gM&WU?ZoR_ENefgwHG59Wo@Ewc0If2=sH>8h`|Ec_|^&UEj8jjAhe^=;ueA^#UI!nAi)@T z#0^|fa)=U1p>@t|3UM^Yxp%sDK*z{K<_v@Qod_krn6TZYBIR1dS;54pe`25xvj%4m z_vFBj&b_pUkAgO6E;_Yv*!Uo-UNoX0sawg~ME1d9{KknbIB1*io;VTttJ7W-9LjQs zZmxN*m7MNdgh2{@7+;dxf3zPQQHa!-^2=JKZ_c+4A$~mUE4`XrzD?bxLD<9 zXfSQe_*g50q7vODM0p4-D3dt)c3?grU2Rme3a>>RMMeNW`RpNC5H2XjAgk%bVTL%kA! zbmg^xF%lwKkhOQvr?~-FypNt>;&h{oK?PW8Vo5MQGv9(#-zqZAaI(OOh9Jlnr98j( zTb{{ZgE*X1r19Eua?`~KF{fqiRBZa%-4`_7WVP|oSuf75ZI8&~Cu=Q%+?_>15+qB{ zf|xrKgvjGn8w3r>8&y@nj$VTzc>2lM=R7t#;Rc)75x2>V(naz1OXHSLwx_?{^S+H2 zBz`1e?J7d#o^}WqosP{AD0y_Kr!37QYyDih`BM5EoDKvmN8=~CW4P}T4fWdC{R}XA zi%&QwZUK(n062rse+nMVgcgZ53V=vO*m`5ca?~Jg^wrcxuVe?*zTc)(0)(`ABw>p) z)WkR>pTD%!Or%`Z&ZPwGFz%YQ3BqQ4mYp%kj+Dwv$B^GojnnjySKH2H;vza`evU?~ z(eVmK05KK!@We&h-@9Qy1tpUd`$5bLbs9z;Nz z?KhFVfQ5i_F$*(jopzZRB&hAP!|sOt!Sm&quw2qLg2r@lA2WugPJC0HgwPl?g!d6x zlwux|SPU|1C05oS@UdsTwC-zhol?0|(~n4PgHRUY)9uBOl&kn#X5lf4tVYY%as4GR z+(m0~^MVXsWY+9rXQN#y<6obEJi1Tz)|}eoOVrG$GtYHiL;( zf{DFiiJn$J{19%4|7F)bdBGv0P$EQZjX$Ot08d|c065I#-uf?r-v@J$*gz1#VxtkM20+K&k(|9Whyqh+8 zR@0do+K{yHQ%Nf=;3uVoSYwrt0ovL!QmiZmRQ$ETby+8ud&I2ICC6-qU?{XjsPh@n z^F!j|uf0yWyBsM=dG|J9HWlY&CC8~pXxiunFUPLMG+BQBq?I9x>Z~j!RD5}teBM6l z_m@xZIn9x*Kl%1|3wi=VjznT-LxlKFDNCtzXD1DE`V0)efy*d+_&~a15=y}>;K)w* ziLCYJ;eC!EI?R_6-)2iu+IA8j^Uc5bah)E+)?1vz^1F8}2k;&@RGb7PILrHsys_K%a zBr2Q1L3o^Y+!9hMx+mFI2%K`L4k;Uund93cJzXHpV&Fv|>j)~k{{|GE-Pbwi^~#(Y zZT6698-QF3G=YDb!cO3COY@ulE`J!+DIMm{y5#Em?aj9j>L|l%=5^);C}77F z*H6{j6GAyI+^{+eutM62!|oXERjdhEDzep>iM{IFiXqy!;m#-{tvS0kd@{!bjNBTY zVD|gw)1F^PEQ&A9yHXEJWm6JE_$t*g5&%GFKNfH5kzR3Rf^;@pj>4+trG8%G#a1)428;7l~+Fv52&JbQ=DMqhigeVe7Px(=4HHUqujmKSBcjcft)lO#L< zFx>p#?ZM!Fn+}W|9nGvw{$V^=RoAlFVng#<*OAXwGgG0G_+e!1r!L})68Zs6;9DXq zYRkr4RZYF3uJ_B5uQwcgZCvz}`7>Wv)kIT!dlOIl(Bgf*Y$QH1X7bdv=H#v{4J-FY1SThE2p&bCDVR^e!>xP@B{W-N@P#?m?W0(n6Jz;slmVcyNLmf} zj678Fa6MnjeD+xk0DZ4+G&{B3-#T*ye4~Vf-O;&kLW-`YF~yAZNvmyF$vvfbKKyvz zqA|^}kK31+N`oEKnX;jAhvA)J zVv(@@gQ32NXSY#k*fw1Z(M}`&v%?%sh$Er`236*WtwXg<>Tz1VhN+Bju!$tu(Kz6N z0o*PZLc0>n$htz04iQ({K&s9!1sX3b-gAG#C<-A-@P?*IBJZjkdP>`eBVvqPVOZ-F z3KG?r=+dJ`aqAs`UGBTOTk zRz3pfzSu_qo*pGb(H!38A6l;28&wIV-J1F* zEZx^%`ts?>SPVnA4=dAR?(Yw=xl>+?M>9*NxgkQg%gVbFl#F~Sp1x&*4RTS-K)##n zz3Dpq4t@!D50#-&39N5ws~W>r&CaA7hYBu&`~Cxxm)urTD0@F2T_)h5Q}I^a78cdfmy7GvrbhXgHR#@Ch7K#Hf}83 z$X>v+eEA5@*4J5G=ZlwgV+rkshox+QHC0>v%thSRyyIX?xeP?Pu)5)mv}%SrdvrL# z8Y3+U=8-L)c%*CUcb8dN+=dPVqJ~AOJW`^JLNgqtk(7-6WV9>3Toc02pTi&LnT+GO zzmH+u0$F^2tU*^2Aa@X3PKhvXl%quVF}3q}oHw_!j}N#YiFvo$)>uQk)h@nDKn#2U zt;YG#OZyExXg%NJYe`5m$3>uwhp5x$%sz$c05!F%pv)^}F#ARk5+J9*_m!*I>j{?< z>}?544oSfY5*HtqMcO!Fnhcj5WZ-yozE41l(;-0|YSunRf826Un<1CxTe68Us+1{e zGuWq?;WFQFRnZ|u%bqMEQy92|&TY16mSqPbX}jJzCXQribz|9DOip2m@Xlq*fM1X% zS~KLQxVAJcuz4)oig2HDChonS?9DVXth2u3iQ}N~ zkb^|djc)-&`nL4^i%&y+DGQa1KP7ro^3(E+=>d4)go?3*{%S5rNS{Onp9&V5rtV=Z z@Z^64NQ~I#(|RIlh>5$Jo>QbSY!fCU3an31K8nQ5A%b+-FQ1y3XCQysqOM~+R>cHn zE<;jboFNe?I~|ReqGAzeXBtxuC%3$Y)ITW2XC)Z+&abiduy z9(FbVYSG0KnXe-#U_9o1o2QL@>LK87@SxX}NiBSCj-)O%xJ+7yA4x^L@hRegY!AsO zuv$SVGs>7#(bZ%jW2K&PdhQ!vfH`h2UK07FgXjw@{in11&;jd{0YuP|@sklS!x3QGP zrgI&)BrW=;l<4B4!V|aT2LxZ9rmRL;T=_Q?EEn;Kx{5&O@+sPs;r1yCOSaGsJ7&uz zM}{NFK?3i?7O#<#y0UgX=OB0wR|B?OJp;2StD0k+NGpvx$kt+taW@xr`@vhU$&|!l zAU3DtwCoeOJpez3Q`IdTREoh>DtANlxFN2>EQ2nlub<@tcy=T6!nAozg?#h+WW%tb z2S`Ysf$0HB00{sXk^eD${ozHS*hNJ= zhXMfnzJ5DBD49B0>09fWSvt@<{t=|HwKfTnlM#jgfb-ip4lgbyr0{;P0{}n(&|vSO z?w5f>000aiC#58;t)XhFCTXOtW~HZMYpmmJuH$O1ZE0d;Wo2z;<78v+Y;Nb}XlZO~ zWA9>TWAEVX;OOq+>fz>S@9N^}u(zK>x_#@1dcg{y}j;p>h7DM7x`k!h*%;W2TsaS5q$DVZ4wF_|gxscGr{ak<|Ui-Y5{Bh$+w z(tjqTNs(Q~xuszN)mPHov*H ztgW@QrlzL4uBE!Urnaf2rLMZQskWuLC9R@6v#K|}cDkfxG_Ps4wxzqaW2mLAyQQ!PE3u)77=T`|>LJ3Y|;ez>(Z-nu^7an{wc zIo;9I)7#ZM)HgIT+}}MkFf=;UJ2Eob-8BS-1-Nm#y1Bc&eY(1Lan?U@J~6#N+r2e6c)B{ewX$$I zIB+#Sbv-?Pv#@Zxwz0dpa=ZmR++Mla1>SA0UmmSL?gJk-SD#N-Ua!}7c6PS*PWBG= zw+~Ja_jV3;&rc3_PfkuY_Aa&$ua3@c&o9n*FCOPOl&Dwzlv04=;~*ug;Di zcDEn)4j&J9ACHe7&aUn+cWy3EUv74vuTS0{POh%5uWlc1AD*6XuHSDjk2kNcuO6Wi z`Tzi8jJOcLlIzlG2BPh<3f{m#2UvfWbBi<7?!-6#MJz|E?PfbGQHs+9_$7MhMrYb( z>Ji*ncOM4(ruYC2rFsE|xzUf?fzz5^;vydv2203FN!iJ|V$K`;Q)VN0^$@V9#Hkd% zwl-QY4q4;7+rKVE?y}XRah|;F6j_sWcs`Atx7|Ot@g5oJk}eqq%%=AT2ICTd^4?e0h=_c)N2g! zy+qwe$tabv19;xK+*^_^ea6k5(9X}~Gl4p=gs=d4II#00R!<&iNPP1w1*^q{qAnki zdP&j%dAPX8uU)OX28+`2-kS-k2f1*2n_V%Q=PpxVoUnHF85jsro>+OZ+cM}_so!t6 zY9Y`D>wKjW|c_UOusoX8ccr2;C zuBpWky=K(gYq^;@3U8_LNffH%GV9i+vaLY-WzM7Mka_+Luz>^f?RMiXjWzvoupo`K z-M;Ur!YS*z9BKpXxbkg?`_vG^R0BQcd5wrD*tY8@~Tgt9x1GYDtvATU%*(H z8yk*?`Nn?3_6G&q&DEoyX~xc{WY)!_$D6ll_T$;{VTHN^xZCI=63QCdOcO`k?R%JnktC;MFTqcXvrIt~DX0D22-eZa*3li>#aOa8a8X&=aivLM%xEUrDsF+4+Q4u67HFh3JjoiU z5U$Z2^xfaL(7&rwFFC((MJ#JRLS?76qZ0b$-rtu`appqqJ9E8_)E&~AU~!PM0^*XO z@Qge3skpnmSqsOaU{Cd)M4sqas1iMC3H}ARw0!a-O-3T>w+&|6lNmR?c+7xW(wSD! zu#}fj%6MNdgZdbAzqw09hVbXZ!8+}YPyUgRX}f8|!XtO4B8Wo;z62!cyP`6g z4zkKF^nvDWoq``iW{Wg8;A)Upr0k1=)e?0mMD}C(+I8`k zwzx~Klo`+HIq+)n>d&1@&p#|Sm_Fr|9*s-|lFao7&s|!)yw>v6RS!#*v7m z?0z!8&Gdk2?UW?Ua8%l|y3mm+%nh7J%Z$2`mzVSK(grbh6U&K^ zqyBOzEent86=>pGsoJs5+AUaZ;mv$hJl$5$*$z7+LO9h7B#Qty$r#D&pEtpqssYP( zW@m5LCOaytSw%w(nRQlXV?Ap~^3T&WZhG%z>Yw859e;M%t-~f_SV?DTGP@KS0OGrT%`9ZT+Q2jYYkFK{5)xx6%Q~f%ehVZnH5AYwGq`OzQNJ_|ltK z1s6XjF88yX=)z{9-)0J~SL+47Ktqg!GHQF*v;yqy1*JItOu-cJUP_OfWUYWMmVBs{ zgyeQMgg#4G`-Wssf;#+Rc05%!MP4i~F_B7PY&o{Zj|NjlsZl`dRGms3!#C)Q47IO> zD5?LscVk)ejs=Tg9R_^C9c9fPa#ttk!@=U@6cU^J3OwJ-3Tgfz7x-jmihqS~o!!s5 z+0!leTC4)|Go0Pu#er-1o`Q?V>o`)p!y=R&HX^7{Y%n0$+nEJJZ)6@hQcLO>ik}z=-AA&r}v~{HW$eyn`D%>0{lus%*H8M z)by@WPAOmP@K+N!VzgZmrySD1t0`Dn-;;~tlCq)hIZIEgr!9Lyt^28RS>)Cf&;$pO zJLP)wcsufyuOE8NOs&0GtmgoYcC$nM+{BoAro+R5I(ET{-EM=eIwKDX=G*f=D>aEa z8=qpJKf=9H<3aNZ3(QWRR0X<$vqb+Zw0kXXNs1%ko%GIIVxXs%%snx zAbH}uQ;CTD@&3V-Uzy?<4^?C1ytbCYlKnVPO!eq1x>x*{Sz zS=R}Wo*+}3>C7p!OsS!4UP-uT3QF4TL5EDTC6a;gq;Rot68&R;2p_+mEyA%uFQ$fG0ZZnq^s z@aAEBhDh+zyHYhcHQz}=w|_*QRMwo3!jDKyUnv${(Bus^2K^m^UXi#wX724xU6iOR zX;CjR19u|+RHls?_nS*V&!(>H6?F!u!FHUlZZdpSsaj=|`oP!34Ba;j!^KND#`UU8 z+l!7P%+Z|z;+SBWNS=zlgSc(W=rOl=qUQv=rILmRI`)v+yi;7%f=T95*<&M~aG-T6 z?|ZK|npT{Ev&ta3KrY9;Jrb3j>4xaUCMe$f*&+XYS$UGdagihJ0V?to(&(D^g!4FJ zm6it=Lz$#st)}MdJil&LXsc;D*MBr^Q4WExxI4kjN#a$`?gvYXM^m$P{Gf&NQ&Pu5 zeVnX)Pl0vUh}E0BgU8bN7R$Tpb?9n*?s=Ke2|l5JLrZb2qv~WqUOxb==4yq9?nBx- zwF(4xubuHg`)xx0@@AAfxt7{ee^ubB24{JT9i_!lfI4EcY-1PG_~ul&`hDZ_M6;le zVXTG0QR>FbnR6r-A>>V6VA@S1e*+a08<}yXQ)Jzg*(sa6m*2tR;iLvOluM?gdI&1| zXPBH8tx6XA+$LAC3h&hgKMk99kCyT>L7O@Z;F23SZA;Y+M+hzG~9AdC9m_O@4!zXV+**J=9m#l^K(^d73jXSBg%MjCCP+1Wj%g(U{JOSLKG}xUG-GKYLakkd$vJ;+!sYlhN5gP)r6_%}*?BG9 z^`l8WOllpvC;X;ZXB1j9x=E~R2~6RJ=8o|Njnvpr=j+*FD>>n?j0jjTS)huZIGrfCAln2TL^Y%*3o9bRX2N` z^6k8rB6W?Bi2H{d+7b$L5g!}2*#?ThmFngprp`R1oP!>np&9hc*$yb!iP?lG&S znRy%*8z*&}5jP;7%5`Q8{y0SQ>uxB{#ypL(F->nq^N&*Ibi%lSerRh;nCA~d4yvAs z&8aY9$EE?+R-;zh{X4Vj`9aQH_Hns}Y2G7AhcQustF!gK*`90_w!&s>yRR`@|P8R7WjeNzSvdL)y?ocuPt3E9T;Q1Se{`J~7Lh z1YHFh2O%N`1Z8@+o3ZIu%(b!@O+g}BDPtvy?iWQbp)S>$)S4X+NTe~G50x6fU`9Eyv(%ap3;h(rdlm7_nip4D61{A7=$jU5@h9B|xAWK~(4 z3SBPMu#6ZN%^@YVdgbcRGzGZ<COS=zf9rVr(4!r zHsu?x?{VHae?42?E$y;rM%g>?pOtrWR8K&z<`ybwk{+4Ta6Vr!SdK91AmDajo@ij< zz^nJ@P`CG=^%i1X)|wta+s#Jsl{2wO8kxl#X1a?vWS9H65@4rw0sruq5?f_xs= z7ORfZ^RdaJya@ikY+V0s7yCbtI62?(K0Nwc6T_LHzMoeC#D!&qDg<=>{@$JLAB-X+ zN4?*^bP@3*k!f^jf%je?giK%|)6%HB#k3rmm8qDCoiLG?dt5)TRF6fsdo>kEp(rnI zZohF3?2Ej*nw#%uSP;jrG-VSsA|xr%e=5y*Zhbp4Iy1PWP^G2yv+qVb#i1#mx7FYP zql7nOX7w+wjSG^I%#k35i!thfuZk~996=|UhfDDrzhe(qFyC)iUq%6lxYj>Or~)8C zAg|qwD965f&E0#Q-` znJ;ZZ45Zqu(z(ktojP)pj*@RM6S#p1@Pe1#DZxHIs{{yy(Dz%IpPWjmb>RL7vSGhHS-?yG~vX8QT^hzx9Hkq0Rs#An{ zT~^+>16JmENfMdrlf?j4jOew~6ZH90%gm-~B5v&9A~Zs|icR`bHa4OThdd)94gc$7 z+Dn5voQ1nGvy`sH)`F}Yl3seZVHfLF3a?Ewb_4J$f5uQnq`@yea!#|L`haZMP+U(_ z+{W7)@>kH`$D-A7jjgjF0Dw98AIGA9o$s9dV5swC>TFWLF?b}GoP@@hlKSloFtS%O!>c6A3w2SW-${dS`R&cADVD)6% zdksQcBA@o$$!z8%S|~;6UC_y&7F0k~Uk~-svAc);UC*5N#`L7`_1yPU*OpO8x!#Fk^a488GnKF zugt)|$N9|-{8N5^!~a>b|H2gfd$4~m9t!Ax1^ajA;6IW67%KkNJ^QzL*~7e`x-lvFA@skxzeb z`uPLpkBtB8sQG)E{8JQ|-f6i1chdY%t$!T@evhbsiWbY?jIVN%5briC008OzNA*5L J_p$zt{U2AZhx`Bl literal 0 HcmV?d00001 diff --git a/docs/protocol entities.pdf b/docs/protocol entities.pdf new file mode 100644 index 0000000000000000000000000000000000000000..efda374ad6541cd974b32fd12e2bf4c056573a76 GIT binary patch literal 15512 zcmaib1yr0((k=@yIQ*Hx-tPw#6V(eeKPI%RU;vp~IDqXKKo)uqU}3O1y3Wh zd_22(J8T&PxBX!|K?>Fvo!EY04Mp5i$*yq7iD6*i?iBXeBjQ7JG9al$d$lmvQ_j7M3o^OxVP-r|cH?PLJ4)p|Ai(C|LlxHriuM4{v zzGZrI6yU~3h@tH7V}x?#2*`T>;gvOxK=sWB+3`>Qdf|Y&SEFTi1sj{QgcI7#_A0Gg z-fwMCqF$5y$j|hdfO>g%`hM)`z+KVb3iR>mLFeb1r~klkw9(De9zPLg8sUdXz(Jq< z!IVEAjs08augYG|eh=uL@1BGG_y*Bs4_(itVmzbQbYxf0_jKA`TwI=HE+0#-XNNy_ zZu@1H!d125C`8p4Cg&rf>4xJ2s-g~A+NIm^F9ZkMTP(On1=Q3nKIYJ+{4`CeFRXj`(r}XUJF@utomq=nd}N$RC;djs+3+MjWH}C#_Dv+)4b7jJM_N2iY)eJlzUg zx&oItqoWiqRcJ<6dIn3EMt;L_Y{FA3OqGPShAx+D z!~hFw-Oz8z@Qs{>07o_#?#5e@x9=7n5M6cm_gYde* z5B&Pm^%t~Io*;3ZPqOE-7}Mq>Cq=Hur67Xu4L?kf>}h+%z12hcbtA{wOB^ClFcA?j zY3B=C+wlvT)~tw9rzOP30ilXcJ7Ij;CXj8G%~Y}Ret&E4UDJ+xE4shZPCW87adV;* zefW%6D0Arpg)?w`K+S9SvVE!fPD0>&je5;>;dnsQODKg(+WR8fuZZyVk!U84ML1iY z+3&>9Z`IPDn2do`g%=hGxEB3QswHAnBto?9AY@Ea1@oSzFafygtUC^CM~k<``5X!X70iw*$p6lTH2Z#8vLkB7U9iFFYQ85lyB0Fm^*3@?Ivn z&fPMUd6Q9s$rN_a4j8(;%`8N@@M<% zRzKH8BKn&r-$-iqAp}smZE)&Nz=rR>cLq93V4Hj0^z8PF+tMsm{YiNx$&rkjh*_zD zgNiT#jY1w*&(ijsuV3)ybIOX@;wHLvlmx2sp@CHKK3ZN|x>O=HY{^XAN5AX^8(FQ6 zUNH#|8tmV;@-6%Tq71%KrF)~Bm|a+Do(&rNQA!ZtjU<${hcqVl;HjWW)=5YO4}-ET zwW;N=W^ATE9;n87%Rn~)bw)DM?=?rC0;!t>kueJuT6a;+pGthT(^mD5D+uOI9-=}6 zF(__b%{hz0T!st|TJAr;+=FM;kK6I}5Do5PJ7cwhH-JFVl?iUvlET@BxF4l@S`=#^ zM`qF%E6N;7kdFLV3bikNeniJqXOj`=36Dn!X*V?!dm-b(Q?JTucOrI?ZTc23A14R!uqsJZN5?OV6Ei+^za+ErwKeZz$((AKQ8pJg&>Tcr}rXy4@0h1Gf&5UFNh^E z7_p!3C@e`8=PT!p58^$yD5B^3LFcSxT>MNO;+}|Cxfvcg{TA{DDKrQ>00nlgyydvS z)~*S^^UhM#ns$8E3IDqp=3F++JT~k4>lf;dA1|FKYuVd}?1Crt8Ylz#t!$}=Rt%cC zF+@W;+JoT^Ljznal4PAI=BhjKz0EoB(d=v@lk=@|D$5>QnI<;9QI)~zZrUw)sKK&y zu;Jk*+!rt%osV#N=$bS6|B|UY48_tDZ`u;Xri~fYVo|Ci( z`IO(!4dC=ti}M^$H8onmk8l;HSQts?-C^0;r+7{Vr$^>CohZ+RO+@-}C3k01EiKx8 zPdy#wSu=8t-%r09l3N#37S!8u>WLq!LOGomZ{~`^H7*98D_jfJX=sL8GDAZwh5#Z? z{Pb~PtE~j^Dp7rZooy&YDW`Qj7O9HQ=EqV*SDDGBTkquxLgpEnM#G99A5;(%w9#!M z+7O*^X_*DDjRgvt#>B47x80KAYp%r15rKZ<{$0kCSH)6PS&wi%Mfh6`Ayoa3G?)6zdOB^<3;Xsd_uajmqignQsKsdB*BNHBs%LNr10f|?{o z6)ktI#zHyF5Z+(zF{-Uq^33vt{hZlP1pr$a{(Z87P_KtE!0Q?8m0)7#V1BLsi^=-G zj%sZGkE7b(M>$4fMm9D!mVZCEt+=~-U?|P*^VVJ^lwD<5P5PF}#KJp?2@3i^#psK_ ze~Xr&`>{KBpp3+H5-Au@Px1Yyf?)q2z!M-m!51vd??(meIJf8aar^ro%psk?eX6KI zZpUJ7vi?7-r|zfaDp^G*ynCzmW4ueex60_I+Fzx^asw-bi!?vHhxzEw3{TRB@Wy;+ zGq_*onTlX2JpgEKCRmF|$mjB;CfL9wSo2_xmoSTSGt(j)%orHuOYb<-Q8dXZ$qYZR z8p0AZN1_|wA{cs&Qps0gC9u8QN1)T(R z*beJ%n#a+U(@J$IMmz!skPRcT29l*<>U%NmcE~C(SPZyFHDgU*Z0@y=_i#Ivq*wL#{&epSbb|@1Z~$&tpo_e!{9&6f>ko=*;H( zUlB1X14JgKh-$ZZhA6S=m6M>VdXk$S$$&oq&fdBZ7tk^E!wT>1FLBh@W;b@+}@{f z_=|7bR7V1<&arzYi96?Qi~2X9U8pVxUZ3~}G5S@3KNxqKeGv~xrq4P$DLXjWzn2+% zf|~fF5=l-ovw|{2OS%rCuOCU>Gf-(gN`jD%$=WnrC?b87VSKuCTe^Ic!Zpuyf$xo3T=23 zhY5t+NeNm@-bY92NIL+lYO_yZf5=&zy7;QTJ83HND`YN|mr4atudi2QVyk7Y2Xg^$ zi4cU)hA6I zP%4DtoQ(s{!cR$mY*^|6Mh0*%0f~2Rc_BACKh8kx|RZqhS>jqx=N9Q4> z0vJ^7kyWt5-X_`%&a zX(TJLx#nA6TycU)4Z;fG1Mw4;T@Y|}k~PTvVR2^i4!W6oM_?oVtH)!tuq%% zPieAImG)A3s+CAiLQ%>3?{cZ+rBpwf z+D@td;HW_{C^rEm<|D5xQiz8z&xI=l|DjN-y*Ek-&njiiSUzbJ!5xyI=-O7>`evwW zg15Ho&pNe4rpjzDv!KVkYiDj0e+>3XmSf}_XZv6a{w5+w1^{Cey!}d(tsqY|@+%~w z&Y36y-ZV=!;;l*R#fJ}osUE#AG$@QT!zIXZGH@~Q{x~u{V&}8?oenf5ft~v^AdF~n zSnWx1w}F26ux2ETaqR$}$i|<9{d}bG>sDRb%v66q)YKf1*Dq$nXo%5#GnZgM*5dkU zkr}Pae&6leON*TnT8tbYJ|vN)nujxJ>Dx3L;@{Q#>2ZhiWJj~m^UH8(L`Qx^s#4K;cy|~-IzbC%Tn@|t`V(~e#SAZijX`2cqip-``T-<8b@-s?< zWl0uKRB3$8Fs$Xzgb6dXGLi0h3}MvWkyKHDUG*;g6}pP=nm+kmS;+<7t{y^K9OhtH zvWq>(Pd0Rq!ft(vM$RtLZP&{dETlb2g8pei_}!O91A`vgzxoK0HY&QQaaE=A zUEgZ#qQ&Id#FPW0QxlI|HfF~76nDp>LQZ1SF!xT$paB~Po$szi(o27A)Om@}&1G$dc3<<*=JS)yXK}LlII-tvtZ>GT z@9r!}M|dXUb(9Q%`QsAp%wT(_GIl1|)q=SyeU2Ye!pWerA|RNibvNsg`m%z#zd4&_ zB41i1#DIjIvT%+i$o^^6nV9j?52BY8{My^1H}DnaEXW_1Am!?QcP; zZ<6D5g8ba)p|SIqhdxg%>mG5rhNs`Z8;sTovHLA*6?LIj%`EOSlhTp+s{7Ph44Of6-cm05?*QRV=J&%5z-5Q75Y7ZDL&cwT?c9wbm!bj;mP%gAs3#V=7FRs(+ z&_H_sJ4r*Oz-uKWva*3)Z$RIa>;BD{9==1`ZdU9!be@{aB-&0kLUkAT^Yx96?ydvv zf@2agEfwwFfKeZ8OiW~O?^R60jWhx!{y&so>MRP~vY+cK>-J(?kt&j!U2X9WRh9dYw<{bUv2zhg-XibIjJR=gus za7VTn^F`tukAcp@FX;D;!SB!i#UX^K*^cLazY7A- zS4J|dJdm*$nfFSEemnMzL(p-#>5umSJ=cu4)NKvB_uKPbc=)7Bm60h;;*?U%L~mlj z+j6s{@e7H8wLZ&=6Ze3PkjUTAry7p_^8A!G>NEP@WXvbzy~%*j+vOqfm*F^!2zyiF z?54rf9BT5n@|Iz8jYJ6=VIDNn@~}+B^J*Y^t9!7 z>&Ko%xjaVd3oepm4?*8%*BDJd{9)&>bxYrCI;b`hCm$&E&u2@pShnj^cR!ytr!bCa zWU^dWntQk9bR^hZtIwkP33Gw&qb0v!7^pPRk@^J}+d%;KxCW9XBt(YVDea*=h5MQA_ z^V|orSXl%AW8yA!a;ABVF&M5CXuCIcJT!Alccb>%lU}sFhUnn~UIU{CI20ZI_V~pU z`#xXDzGzm8sYIow#uwl7YZ-WfVdwcKg=m}h zS0vtDaJ5uE;9B(uJ}jgmdg~KyCR)e$@z8PCDX5i@1U$XDPL=YT#3|OcCLRbfbPi$t zF4xD5NC9p8h(dsJcev%MJp`PQvGx7vBys}Pn=Cme_bqVbrFM_8xp2*~)WBH#s=17A zTP>95#jmmxYEF_LdSV}muFK@Tg`fOb63hC$et;6F0N6=KD#hYw@~#<`gVf>Uh7f6s zQNS^1e!f0@@rSZVal>lx7?oxocVg#?=Y~182U8#=j^4XZ5!WIZkC}{2jJYvp4-111o^MgLrn3F|xZ*VKrqhO%gsx)!~NxgiRO zZlm?$3L%mIcy*uMGfay^WMts6A9-W&tE5q3uzzmXpfw_TY#XiG8crGHzfrPvoMVW57~E;u{3BUaLMlSVL!xi5@pD zHy%5n9R~j;=Z(=f(eE6sasxTybC+Kw0-lS(vP|Z{DN;~#S1w}` zC%P@MQkZQkMtrdpyLfu(lmIKZQKee3?@ovndI~lIf!?T(t)5UqL&Lyj^6cWdZ0nqn zg%95VxJ=^M42!-w<1SJx!*KYdlApVgV(O$8+|^Nde}4EqXAmX!Np2mkoruQ^c(=jL zpLW)T==H~+X!d?XnV;oOkEMs=&jv`CC}*D+qjea?{s}mOV#S|!+eN+D__G7VUjY5b z6nYfJ_~}e7jpe3w0Huox05{4nYddexeT=6q?0>k%o@jWuY)1%I@CUpK^EV}=|6ZFdjew3Su8 z={cuMCIGB8GGJwhTADRDdIGrZmO3d3m$|uXT*#{*qEmC07(j<-X?N`O1@rDDw2~da z?>y(Yif(ZwO1?ZucX*0q%BdfOd) zE7g=koYLdgtlWfseDa4KpL;^uiTA|CdTe(_)-XcXYmqK8)gH^Wk0;m@&$5oFFdFb( zx8AfyJ=MqkQ*|}jdL=`3d3|Puy;Ji7otaL(n{kvl`bxHI$rdpd8BHwT%=C!@gc9;q0Ma zGGUS(uhf)K9ifz40dLkf=j#tMU2ePu@BtaK{(!ZdZTIzE@wFP@#6BNbl&;118^$o!|pNRfS_sw+=ZYn zUJIfW7E}}+>(fXdl&+BcNMQANrKh_T-;BdbP4xQ#(@i9fmX$1VIusMt)quB^AraaK zS0WGf%xO%r(G^CTrEv%vcZca0seR4Q2&Y0wB~~h&cCOWr z_&*XetTmu*pKR79pZo*EqJ`1RmL(DlYm>(>q$xBT(G6(pk&QIhVRz0PNo$2{6ajcJz4pb&wQhq@8`Xqx-Y&c zdc$9R8+ej8eG(YEJ?*P(ASxXH^&UxT+9#-1D{NxWHAR2w5Rhvj_jtK`=Uv;l)$$2% zZF=rF}r^*7{?&r-i#QQ8czIvN!GUug;UI#<8FT>4f! zG0Vd=+8Uffh?Lv!8K-mUHL8Bkb}o=k#ZHzbyARduX}kXz!7D;$4W}hIW_NweF=8#g z=?|TDmdK^k2g0jIY{9I?CHdG-piX~BSd{+2+Tny=lSFLj2SATYg4*C64O1LFPRHq~ z=yo7R8H-L5-|>ufu*K7~CvUJ|N9Yfzt|5rjohkJ|GME{e+KDX|78ddbT=`KIQlg+B$aL>Zxw~e%n^!BVQY7wrNBw8U3?Zq=(^*I}O z;&WTcYft!T^Fk4y%+~1@)#kW9+0-4e2K_p4SI^)ieyMQG@xbV{^fGCBOlraGbg%1b z!d?@KU2}aHeZJ|kDRXV(;ai@03LWkl-QZdIi93uCoQ@#@4b#lqVK`~88ABR9xADyM z20A}_Mv@ENK*{bbA-4gKqTN637T;>Jgj^KWETuOw#rS+@C!*hRo6F;n5z`*5yP9dO z6YqSPYQ2l~KCQt1slTQDVmLWoD{l^qtcdZ#%5ayaX>TqDRG8Fbk-X*Lw%X0;1u-w^$rQt}k@QQG^!|oA0;mxgYsd5U`RT#ccCO4meYxP$ z`iDir0C+g3U-6T8{IGhAt}Z9EsA}xOdT+m&>D9B7EQ@7|~F&YGj~?O(4$X9v7O-Ot}8ky}zCaJBkE zmj)TDCd?h8yL2>2`1HJ$!Z1QmddscpCA-Q$>ZCDzDe|EW(#1-G{Lc}QK=9|U6YL)%^TZa|^TAM#opy?(- zWkc1N7tJWOXhDGvR6Yf~%c}*2qVLwwWKBM0d`29lDrRvCH?x7&| zgki_6Oz9cfa)snz2D)r-qSKa9UbaD1lYn;_xzVc!P}KFjPi*j~-qyQby9nK)!HF@< z-`-}F%pW0EX}SV7Rynoz9dab|5a)>6iRP~6>GJM$N*avn@)pk_&j!!Vbj0UAw46;< zbhZ_tjTXfeEv4UaW&KoG=?kL(N?Ohd`^RV3koR#jpH+DIbBeVhnz#kLRi+599Nh*B zPZ%DA%AgN#UrwB9PttfSg3E1w!~O0+jGgzVwO(lGbg3`fzh9T&`e|;k<_8-sL9J74 z`;$Y#HZeNINM^zWRwvnrQDZpTrw6RTh)D#TG3@waR#{;c*@ubjvd{k6u^p9PtiD%< ziUD1mfpCPv^&qGV#TDC`P^BQ1`h7*jn_t%tch*GC%^5`S`K%g?8D+`s=jSuDi9EU< zqtB-*e2*ttNRgoU+M^xP1bgQ)0K-~Si|fXqMhaS{=g#%M7B{R-LaT$7=$S3v)3a+N zM()}l8`e4r9>YuG3l3Cbp6$#C?>_i*xeg%&6f}{vlk4w7FezJSyjMA*r#GKa67x$u z?H455T<|%IJam=Xia%+9?zJ3C$nv9vV@D^}^c32P4;9c#X9H}06~Qbc`Y;-lalO#)qSAX1doZjU-o3BeSHBSg4!a&Y~;=eb#=)LVUhXqn5&@Vc#S=N^( z6PPx7W`X-stqC&D=MA{6T?$O>AD2G#>1#?6ALXj26TZi(5fk)F*x~5dM+LkCxyB)` zyfsFf-emF}!_G~v4y7GGsz;RQUYCW(5t!!s84zG05JJKoIOV531l0?hj_@>=MVOAk zamh&Y}s67i$-%{ZCo;g4y7(6{+tD@+v>)v7tc^1n*J z-{=lo=Z-wjyj+Vxdw9`_2#1M5Nx0QrE$2d>uw>kAeDleC+ef+0k z%e4oHcgs~X&TDNJwbn;X%|t;RC>B1=I#1=1I@X>Oqm8!=Pfw}kysZxHv65WF@IS4z zs~i@x%MfW*%Gzbn{cP~PneS?-+J_COiLHN z2H4(d)FLZWAyn)}7@EiinJ}g0kDVCqO9c_G-x$J^>)2gMGwYap39Jo2ZGM*+Lv<;O zap+LWA#CTpzp__Rj{CgS;>~Xrl(44SxFPLxXn@4 z$hX5|50#lj)c`cWPwLgc`R0~E{lVY=eDZRbg-XmH$@GH+wCqQRp901oYkoeRjxx_g zt{9bHtf1Uo7OoA{v?8;xVvjLfd-5bsFgCM3aDLt!&{%c7>mPA`vN}!~F;AfBOZJr* zW9m91SiZH>)l^%-zsr4`(a|~jbC_dbUFcdLB(Or!_5L6(lq@x{d%GKh-P{IODk*1S zLHH;LLsf*I{%hW^ZVa4+xB7s2#dW%;n=^F)j{u&q!jDfdMia2R80!i@Zp=egGvDG- zHwD}fiP_HI35BT7gqBHs&1*<-k{{4}KovVuWl*Qd3gF1X-VC7VLr9nPE#In9SMWiY zIM2hN`tcYWmx1ngvBsD7QhM2{-FG9?bh&?x4t1?*{VpW|rD{{-!?I9#AZo+oW%adC zc@+C9bve-ixG{ZC?>nz_PL~h*ee_DLV^`ZDBHB`0b>%^SpxWaFqFT=BN8r9K+yh~+ zL(scs*^5lwVR5nnG7Sl*eJNqlWom?mTd{Qx>=RxKdWV?H=PB)`J-l|M;zv5+C#3fq z{0k)QHv>N}j${RxH7^muTu~`!ITnNm^Lxa$uV=W7S7Qh-j8N5Gq&?dME zaI_;cQF9qJl1QC={VM?3ZFqiWTydZzwdZBImD>`e_U}xYG%pl)c#ud=O)kXgV`a71 zJ9FQja#dQoaj6pfU(RUemZ+*v9oJ7ihp*t3KE6d5Y)h`b}oe z;$q+lyBXI;4nHRBCgBdluR=}xbe@6DK&pij;mp37xMA7dCi8juiM;c{pxyl3^W9o4 zyow88T`Tgob+CbBm6;=wcv7G>$|0;q)))1oz@24cd~%n^kc=UU%_sJl;?0argqNV+ zvPS7@jj6(?P^-8Ty%n7+^DCWw23;T(Gf!GnhK)gIU$3D-ylu`o(r{y@cnw7zS(`PQ zG_92J2=qvOa(h*a39BkO%>)k<#+<0*oN;gMxf>l%hfP4v{G0K4(%U092dM4<*5K>O zm=x7y5lNj7wD$A6Wva=21AMpssQs?tG&A)?pAfnaEAflrM9%C!3GIGyOy9Z%+J)emx?cU-Rx|1lg#T+@lgv7(x z zZ)S!JI!yh@EYcMqxwI3^90jrk#*oOEl?@GmOw;KDp4&SHDoeG~^mla6~$k+FhtKeq?4QoI|F9hNHbLi_eec z&~Kze0s~8;q>V``(3k0hP)9FGU}#FJ;7tFvql#?f{D%bv7+fne$hj=P6tB3rxHIHa zkxdBFJOZ4RiCL3)vV^oEbCn8aA>L%@T1tK|yptuGzmgJ%F~(QLootwp5V_814*QP5 zU5f6&kAA4RRm5p(*xv&{U@*N}6&W+mlms~qIXboR6V~S{mahbgBGrOmfi8?`kDTmU zk*~FbWJWS6pJWiTJVK&48E1)w!j`tjhqEe4$~96SFBS zh_c6s^Ol4^ic{#n$GBa(va4Vr?GtDPJUbxBFFH4s%%+FU8FNU#}0V>q`|!bDaC7L`k#)ROgxiBzTw)x5%+d`7PY zOrBRd?G~PXbC#8o$^DEH~OSCmgJpyXV#{}Q&>MdrsengJWLU; zhnq4Q4cx71W`2vP70fE2S4&3=3aMIUxAf()2bc+Ow5QnR#raK7?HNSEazzY^64ZVt zo-uKh>Ovi~)Ra)FRHMcZqB4Z1&Yk_?;_N6DGpDDSWTzHVRO6-?_1S6!|MeR##cEqAqa9HO%Cd5X?XQsmI>znw&q@RYpE~EEE zw~BuN@(4FKA-jaySj3Tv`h08iTjrr|u9lkU%#0UOS@NGSsxz~bw!0;%sM_pI)9@v> z4A&qtSB<=e-=UNOCyVdNh5j++=)^!9Y81ak9S&o#55Gifje!>8qYkXBymg5RCb-4j zIy>&THHksY`M`&^7EFm|5^pVb)riDlN?GIFk@1;WOE<}hu>11NV1RfmIa?sZ8%yhe zQ)~M+E>qnpgfTtEspxU~UeR6V9AV9a_t)iIc?eH_`Iq}5s)0+earEBGD0=!&F112t zXBTQ zeOJ+Yq(OYS^;##{&N{xN#|AtMiMj6D9;Q)0AAoWA00J}4ZW^NZO(<&iAv|!1$THmX z4mJxNmT6eqL zt0?b1=8u<7I0YK(1>?|QY7GoLH&{Ov zUW#-)<{b~dAChIY(fv~_ifOa4RD_x2E=W(B#WMdQE`RL1*{rbmL0Ti&66zLKxm-iE z_cjxMBv}osbe|{*zqHdY7el>5_hcEfXV(p7cjrN+JG5A)>aO}V0!~QQyT|s zNUjXzRYuPe%pfT6`p`<5>Vxg{989gP6!om^0k63<#`eT45CYOrP|(^%gPxUznV6m# z$V|-03LLJ8C!sffdB>pdjqhQ!z=Zw>2Fd<&qfSvYHZ^0+6BO% z=m54-5RyTAZoJ2XJ-e~%@XFffQ0~)5TlLbaM`xa9x{dsk zjBf|)C)JO}IGQ+5;wzpdx3;bAqnC-?-0cOQ%r#gW46a;{c8OLNc4Dq8@HWpImI?I- z+kI}Ae#b@EQb_P4oiI7KBBt{rD(?_x=<<5ifu$fJ%QhWhtK8F8}Z5JexI^;KF z->$b~xRV?pZ;y8$&}skj^Es6Aj()d0|Jh(IrX5r!{aCOP)Bet%+*@hrOa4HY$>#AR zuIr4BQ1I4g6scW&bUwG+TcpvcFuFTW=yESpAKzmXYU|nqG$K&o>F>$)2vJY1{G672NQb@c2*!UJ3Biu6Qr=Rvi+;P zzOyqi5i>!`zxa>^@Jj!)E#&4h;IF#B`L8q^BaoPxnVFaaQvSW}mH#U5mG@fzO277p zlz-BH$$i!LTK`&D|4ZLL_5PC&k@XM#5Sg#~Ugz;DPwOA6?0?oh@oQL605E*DRkU26Za_8`OiSC$=!k@yw;|Ey>Hw|WTR#D8^w$dt3QHc$jRXfQw$_ZYr{T^zLj zeM$dYufOair)Laikkhk!jS?)cIv5nd_STMe24H()#@EIQ4ANjjQ@z*F^Ex6{PS(#% z?5wPuKvq^pMh-?|4i?7G92}hNY|QNJoUBY7S`4Cg){Zui+(1Q$S3rW8&8u(&R|X+P zNH}sbH2^D!3NnZjJ3u^!kB>nJGIWS;d*aumLWO^eJ&gaBWhi9r_&PyIRKp@0cK#1*uZ0wK%d0~RQGc)r26)PPy z{xM@!HFb!Jzh_1a)cPkte~szi2lNQb{be3ky{7m}ui z_8P>0seOI@d#3-6!++}#(t|{MYh%cmj3GAq%Vq!uSsSpGfWhm&@sBAGGrZ2h%F)8& zA0I%7Y*|MK3sb9CyZ(jse}MLHc>+R^d`-yK^fz2AEI=ST1fy5T*x4a4LEOvG(E$9f zdLc+1C!|2y{M8NuDGLNgu{vam5hEb$*aAQKBG1mpkUK{j5_|JK3C%=o`_Ffua( zA?y0T`o0E+|KhPg!291kW{8>ovo8x|`~6=$)>m`>S38I${uhtq-{