From 363cc6ead5cf4df20759797fe46b5dc29b3886e9 Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Fri, 20 Apr 2018 15:32:40 +0200 Subject: [PATCH] A Machine-Independent MDL. --- doc/SYS.18.01.mss | Bin 0 -> 33261 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/SYS.18.01.mss diff --git a/doc/SYS.18.01.mss b/doc/SYS.18.01.mss new file mode 100644 index 0000000000000000000000000000000000000000..42d6385e00d70fa3e35f91afe2ea320ee6729c36 GIT binary patch literal 33261 zcmeHw`F9(~u`VTV)L61C+eu_!CvNNchTsiIEnecQP&5G$Bq5OmNq|~n+2Q~gl4AiF z1OteolXLyAzwfK+o&}(m_?>&s`@uT41kChOU3*nmH&%N7)1WXI4TC{69L;+xo#0v6 z4ho&B(hjKW?J52K#nzj*`CR)fQ^9~5f+xL6(r{?lRwjl%voD3)62W^NYC zK{qdo$Nm6qm)5&c%kLV6cNv%n+M_V)FEx(?vsK$N_ru|6j0Se0%N||~ z1LO05(;xR*!O%p9W)Q`3*y`fpU@(k;6rg+*nPIRH_6FU6*dnrl8WZ)sXZ|pZ#<4+D z&?b(C@!!k{6Gr{Ow2z}W=$pf6h(|z7M=^;{7_SXZ7-16cnFXt-_&39Gzt0JL1H2xM zv2fG&yWOB8ivZToB-8vNmy^J3Fp1yyyU`JW!*ru#e`H4B-M%>qN5^Kzk1;BEOWzPb z=n~)+u;BN-kmw%_gAwKh{B7`DNEjSUMIm_FY8Ypl;Y)8Ek4!7@PKM!VWRVa6bign? z3Pzq??V>EI9d!bL)$O8(ISTs05UA;xLx_;zS>Cr!ff9>mixCfCS4@HU<^n8`!y=pY zqjA5DL3&{?KAkU`lj9JxyGa~aSU(84=y@ez2g3{^EJ;z~_f2UKb-U35$1aeH!E>K1 zFfVJDxyd}yfbfFT{4TKKkufrOG5M)X!4Y$RYaYw!bIA#I(J$gs7G-5Qp#5$fv2A|1 zq732QO^s9ZNY4PM14f>OlrqzbKz__S2`2^EVK8CBi2MA^8Lo72_7OQdz33lTMo7sGi#dumPs z;Z7_}v_(K+4@ajS7YK=^#y9b4JPLY%D;$|Vq3B1H0qK)r5`l4b-eASSpPgN{xDNR^f1orOw$wMvOsC9x&n8zhy=JxJK~A%_rc zFsukY01dj&pxb%;6voaQS8e2&^#$-TSJf=*;a2#PI=>BS> zN$|D#cnG_tnhp=W?89Kx2I`ySPM|O-8ko;h(}l9YpkW`+dLmQQ$iCAS3#n!5`y-6b z6~-g;Q?yS9!yI`gv#PpCL=$WIx1RDi zmqmWdoNJ!T&3C$j14IX z`abQGOaW!%1Ol%-Kr!?OVTTKJ)(V{<#=gj4Fghhho%{hqr7n#5_=rRdlA%0EQ9C>g z+e!n>KWDovWbig8oQ{`$SUYs@VwowRWFYU`>o>o-{^hOfUw&g+kP3?nSV_{Whp~W` zn&=p39RVGX0c`+qj({9<47O^K*}3xP5bQP;G&GMngasvwVMU^KRmGFT=LW;D2LXE) z%!yE-EB!XxFMS)&IaC0il*MUF$KYJSaE7VGsExrm!+1nl~t@J@g!4{i7-lIzr1&SjepNU z%CJ7_*9iJY)}C1{)}wG?5Fq%FxH=3@h#)(b$&Dpi3OtkL6`7_3a3i#n=J z!Z^ljYLk;=vegiyl~$dtwD!*n4#A!w#7|^dteMUq_3?x~8qK}h_PRoG4EMT6Rb{bS zYSy=|*UOu=M$=QZJuyDf2h;=fjE6}nwL)qdq7cD;@H9t$OQ^S`pW|S(lyTf|Eq;yB z=tpLpQVxZHz-d(jdj&5ne#W z%SzR8fpPHLPgTbNEA3&}qA8dh00fg~hjjN&*aA{b)eaUFmyvpPOkW3FfuJjr2tZ7F zzZ2iKfz^^4ErcW&R>CFwc7Y;)8|aY_3(;`F=>aeUqM@V{cpV}#(Q%oIfuRJ@s1yKh zKtWUJ1-?WH&SOtr!#Dvoet#rhs)qs3oE$6ZP`!hS#6~wb67n)ui|1{~0wrQsF=@PZ zU~#oKR@0+U@ah%H-D=Qz1$)_pKON!%qw6 zi=LLafi0Y%!C0tOqYnxw;pRfxfhw?Uf{moHXP2XXCz<$AxK@0*BMpzSki0C5DOOe2 zJPr_Kfp9&jYp)x^Vv??4Cq$~rEMx}BBrFBcM-r>if!SUIx_z^MzglV5_sFqXH_mTG zV-+%ITqs%+lL_m@F68jMozi->S$@62{7we~4=0eR5#vAeLlA(zk%Upu-R0W$D%k+k z5~~Ug0=b4W0``ZTTQwnC#`D(pN?TRi8U%!|Ju>nPPWaw>!@fC731dD^G0{m4jLvS+ zPo=g1d(jQx_*6=pn|9EZR$+^#d7hxlb0`Fe1A`lI&2UT?L%7QGs;|`#oj_}dR3TbGVrZZ;Z3!w`9KEE6OoP-Y~4DFMQ zCn=2~M5hW@63HBxxv{AER1;8SJi$K37ER9)$Vf#)HYh4jsAHidPK5(cMWe=nM?tbi zLl*+S1SWzgv&bMO0JC!lCnAKp_>s^N$jw0t)w~j^zWL^>1-jE1?60@vlNv)tL@HBg zHKbRMDT9BEL(qe~i~xa4*;(CLxOqcxLhE#0sWtFJ;w3j3G|0$@vK8h|tfL3VvzMAZ zehYtwAJoKP<^k9ZJbm*ULU;39y8RSSh7+fhI0C>~MT@h$|1n;IMm2w$02U z?39oJQ>pr%w|tZ^K#CwRk&aNaT%2$m({mc*Z~`|Ft<~AXF!dqYddhhyey-|-N| zGR5mSQjrKOk&Wr~nnFhFVS3@`;}A@*6!ZkZPSEc9niaIp6m*c#14{!S3_RvFkH`TI zqwx@_EFA$;A42mm1*=v?mI{Kt{xyeDCNl6TRHSvYoDw_$CkXpHxBOf7)YWhG1oaV-j&Sa!$Fz^^D|;!Y6c zaVpWk)**l@nDCB3;Q+z*5H4F1x|iU@iVn2?gQrmn6}}6X#Gg(P9h*Y92N=jGk;FJ zP*ZmaZ0ae8)ZC;*7$KtqccPVbolIe8zpM~$L^6D>trVW+-B zomPXh)9Ju=M|}~h9H*65@8a!G*i*<*HBs3X=a~4!ha3Xd7T7^Pw@y9Z<|R_MEkhRI zj^8F|ZVG%LTOTS1mWynKOqJ`iJsjR@`{Sj&H_O(>RE6Ty3955)Z9=RWBvVIJaXUEYn>grw!BgsUn zRNw^|&aTwJTVbtv&u-w@eX5S=0IES48V)m#oiSIZIm0e!+F+{1r{&Vobl-)rz?(q+ zQWB059)#HXi$L(`3%}1j(ADAWR%O53Jf0~BqpzQLWLC4*u0S_$ENUZ}Dc) zeBSRIK+Vs`qfixs4`u}tEj{tjp{pcAy*M2vgfq;EoSiLmcE^S>D*23NZ-t=!@ zdV8hCU4o@&!AZIO)zjXx_wJ?ljQz7jl$VzItuS|hzYhxL2EUmv4&)#6Hxl(=)SEdl zZBd-7^cy^VdtjD!e%IJQ%k6r7*<72!C;ZQU@Yf7R`rLe07>wiN&qv2^n&YS)B3wO? zyb!Y5^>;4KqUFkgF&j%eyBErrt`2s0ue@`vYmV0DqJP!#=kj|G>Rb2f>-DXbCvTsB z>y0OGoV$AY-20#Y{#QC0*Sz-SO z|JU%f9{Kgl+qFCEZ(V(3=f7{C#=+0kxBu|=o8|JGYcn(LqmzF=pSvC(%?19G;h)Z5 zZ5(zkci#B)!n3Pi-C8+Vo|&JSdH?*MXJ!iLznPga=f9qrxqAL9KKl}Xz40wxy!lVO zc=Km`eG83m%&y|uYz5C|%V>PzJYHNlH#0MP5r4gZ@l!mz_#9u~zm0ZRMrd~>#39EuPv;IVmOfmc!Kd?ITwJ~Q{R$yixb*cWGkp8THut?^@;yI|@#*6Oe7dyfeS7u7kNoub z-4E`a?qH7hw%psx?|c6f&wPhDF8|s4Wi}}C(~|eg`M6CNy?-@-2LfEZ(z|$Vw@xa2@bS#KZ)d&$Qh)pN8wP&Ez;77% z4FmsQV?c7@D5OIM7ZGV{ZZ^Sdsf ziM5di4{$@dV~cdbA^kteW@;}N1ZJGwzEpbn!&CLlu_Z!hoLlQ7RuN!BT2uOQ2ro5R z0<*kf+hv)t#bI|Dym6m}Dkv3dNoQ2M#Mm^IXoC6im|H1N`_TzXt>6pVU?7vY1k4PY z!%U6}AwkJ{?=GudkQ~G&Qb~`9Z^|`&Rg3WQwdlji$ zBfgAGfDhQ)X4J|Y$wWeZhe+uOIFb~|8AxUiDKTJk4xA}`L?E0Ex-nERMEjnZ z8}}^==JGP5xrn`LbAN9ed;ZP+oy{s@No3I^B%7BwT;fa{gG)51m5L~p8pt}cqa%Yd z&2f87CMZ?yvRN0%#YxQSctxK48dh<9=;`PMWR7C&CMRV)lfr^3TjfrfQ9ChqckCjR z&yc~UAGIM^S2@&k(^{b@=-zy0?^Q@N$+c}As%#- zg!LrMh)SWw=p-^nwo}`6lJqw>TNh#!l?}Y920~IW+Tpm{MRDHXbb1W167wh-l@d$s zffgGgm8BvBq>4@hpSsH9Tt)*!l%r^be3(Bldz$dhW;TT3vHi`kT~fJZE~JqmlCtbX zTZ=g$M0n4Ydvn}5om1XVdW)V;rB8dtW>_eIPlDd{{6PMd5rVG)Jk_VNKBtEjs0ClbQ(0&cU9Kz0=_yb!F4I$vG1sa}AQBXEp3l3+6u1x(@8Vk2%N0D?UfP|ex6g`w)*)lh=njiz69Fdw3 z^`6M8%PujtKroW^c%m-NFTlvxP@udLyDBKVb*h$tX7CGDL9El$;F~N81djkp{UIrz zgE9i6&{0HXG!F&<1r=-^qpG*ZnE;p?xE<7yA%n=8GVB01>J{z-*P0u`Fs#>#95=gu z;K~>kaWOdY!17mlo_ZGC)E{?O!Jb$Hu!*#K2oIBhT*lUfmQT+Chg^p(WeQ`se9+=( ze$c_FP*2Q~AGjjm>@rKh;aob9Ilzosf$X)qsA%X(A{T@VNrG68LjY6k!4zpVhcjUT zI6W=#RwX~kQkfu;zjh$7h!ARQTg|mu$zpHhFEgXm_xE@Hw70rff)E^(?ndL)(q^|8-}`$fZkE=(+Gkk7Zs~r%^TrPwrf_9- zXS3Y+)SI8bidx8{+An3it!Cb?mm7b?+nrL`4E|Vo7+m^d_s!PqJM-6S+uM6P#m^fU z#s9Q4(<)ql>(g4};r)lES_wZ2hPzKTQ2cavUyN@2X{n^rwL-X0A z$1VTiCm*!JA8I?>M~`P#S6ZKcc7C(=z%-%mD?ed_ad*$e?Z#abhrv(n(bE7xzFm2{ zRcHgb^Y zm5zQIj*%W825Y6`hdba0?SZP3`;XU5 zbGLCgk$e(l7iU_9xLay5X8GET5Qtov{9VS1amSTqAo+t zoVb?QNraAun2A>`PB#56YF91P)o5XTa$M0$vMDXE(nBc{=%EsZ=8xm(L0=zI08V~5&<0%FVsNU?KK>m3kM9QgAUJ9*+Oh7f=2l> z_t|K3)KdTwsInrnv)>f`I@5_ZW`4JFX|-C}R7Yr?AG2O&2^QqI7r>~=K;@^SlMwnU zw+jlO>32C3D>cQr+7CTw;TBW;9BB-@KT1@&=Z3W_Zcon{PA~!y*Tre4P^XqEODZ|= z1IyHD9g-m&C=9EV?C`O)3PORj)`Es{Lzfk9>yC0dqTPvPjSur4BnsCD6NiA1U&Ob} z@>aUft3FuF+6PXXMP==J9X6M~5fnA7D8@sz3{P?peD$2sMy(2}(Q(ehlG++b8ov5Y zb-U#6pT5+wefSQ^8D83e#gi)n@kl~yYodqo3-y$NBW z-Nt4i|AEQgDebul_P6on!|J>SMUX?-NEF+-((-Zqlv~%VBL^|T8bY4|u?a}Z*tvbW z5Hfp^fk1qOazUJga?z8ot^hqPMpxlN9Vw&0&yfiVF$c_FG-QPVH=K`k%MoH5qhh?r zdQHs+X#t=rq|v^i2$7--~tA^ThkL85QP{vR$UBAD3;i-qO5Ji^JX(R z>jRFbD^PkGVW~PW=cH>UF+b=6sCed)0VamGl=C!|Wyy`2*mzWwswl=jfL~ftK4mCd z>zO??;=uKEeU2e8x#mcCo|Xf_w}*0*!xktjfq%xslA2n9SIdMUoEYFoUA{)?epRHI zYP7ybKPDpr4qA#P3#VfVWf0_(%~Y;5-l2!sokb&V5 z9R*%IZdn&4D9t$y;FppHn2y0J_Ae}Oa)Jo)nya^b=0~&>2M|yJ<0+Bq+1hQk-mwvdyZsk*t zsmbvT^;nbMI9UoN*Sa9!Q`}h~j`R>~MJ~{z9(V)GM=lLY*N>{ z^Sa_j(g!6?m~vz(yqwJu3&F|sWCY(6c09qtBL zhE+pW^=S#xgx159wzWN8Vq-8q#;F`@HGQ1c;)=aE8USF%SyTdXbT~r!3at0kD7gSq z8MNh-JvDvmA#x&1z)(*11(CEkOvDwc1xyPeN}GW&td2%Ln$kzDj%d(^y&7r4P}qpt zo)43jO2%rlVYHw*BYNsQkcRHC2|yNmL*wcKm>VLwUw)m@1tb=#C6P$50Vupvn~w#F zWG{eJOn|4F^qQ#p;t>F07~mP_%MjHiZJ-o6ESHo4(Uh7sock;x$Uxym;5A*pT7vt^ zF-rN`7!bwT_8<;0k!Du}{KO-3w$)lXVRyF}qtUc1M%}S#FqM-2h~uPlfD@}qvNoj- z-N=eCeOmfPYjB9ABN2vFAkT92kTr!JW~${n4I54^;|u{j2$TbZvxo(_P2z5ds2(Zo5cpv~W)MyH`nE{i`%xO*#$WEW;R6Z7Q z)HJ0eNjm{zaR@2g&qM>{4`L#zkMdY|{+~;#rE1?a0-UEx@}*k!mO6PTfLkN4fQu?x zBZbC#tO2vhS*(@T63g0_S01C97CzZ+{GT)e3&{-v@H|m1lVvD0W_e7E!#j+9SzHHu zh&dwbnyWV>A_PJ~Cn2O43t{UBxmryQWQK)6(>>GY0NS~m6Xkfq4z4a)Ob%C3-_b=# z(b*YGsP9azAQ~*I(6eICm24(ue42UZx|o{>Y@$dYe-m|WU<+HI2H0%{thhf?A&8FP z6coz4vuw%ub{V$5+N}dVe`Xy*j^fKm<8~1lGvrXo3cg8DMI6B5TI>xU*&#b$sYi!7 zTaVYIrlODNPH4H)3N+jq+CnwK>yy+7on(T9E@BB?4-Xt7Cp7G4)spZSxN-@tH}@u% zesh^?7vOFmqJS&Nd6n>hl1`ITz|Uj-sU?I^%PKZ_v~EvvvOsxq(!C6-ggd5})+B-i zSy`=P{Q=zmey|jYvdVNg^IPFCj3-tZ5LS z$Hs61*cM4sSOKi$UmOJR`Q7FWPb3o3kf&XErl5O@vFey-$W)HpdSdj9n+;!RJheN* z-U%cjJCLAB)hXzj7pn3&>~^TOh4`{4yE)E>bL>AS96X^(#am8L7ke-i*hCd~W@oRy zPJ`Y-%3!BjYTBqs{GX(%1iN>&`*2X}+YL1paN)osy5kNW5w3+nlI`~Cm2H*oK}M7T zl9f&A+r`C2Fi`Ryr=+s_#4R0wDr<7ZDzdCt5gV2j+5yXSgnJ#~Wc^tyPiK%kkvUkQ zA-2VyVr_y-DJpb5FI0dHZ1<|?;#7Qcro}208K35vK+MtIWyy8apVPnr9*OHI{&Exr^4r$w>uM1+N=axlh%orYR;g#|?jfph>SNhFa>ZINPV z(ff7kLisAYG)h8oCFf=2)`{dfy=C$Qg}|vjaoSayf#!4tfR{LTJ~8~9CcfHzS*I5$ ztC5`7gLg~;=>&&9vJaqFeg{(Uo?R;)XNe-zi<;mdtxw6WZb}2bY&k$hrdURGwu@Lr zYME&9sOP}`;_Y*(Hod`R=m}YS3XgC_9{A^h( zeb~^V#hM(2EX%YgeQGV;-QRMWfJfBxLcWje47?Ny0dQ`QvSU~|%?|lxXI=|}O-p7) zk(Xgg%oCk~?|Qb$vM0nIF!qoR8!qP@LUB1r4ibCMfY-0iI6!2V^$O_ zicz@~J|}kF4GynRI;V{6Vs4@iMdGWz(iw`!W7>~a4~@&Y!yzSCk>^id_T?=VaJ!(Es+x)_}Edx zKv*HRNw9gr1E@%Nsf9Xg*)WgwN=|=q(NhyINxQT3*Grn`wAY#KQh~$9qa1GJ4FRa5 zB+HVklwb2kiO(mEv)zNS8p>T12Hv-}{SZ5hIHs7!m!NogGsp3H0H?p@q+v_)OE4-H zz$8#hH_7h9A`~_bNhe;DIgTW>`^wvP`!koZFApe@ZNI;*l zEJ$J{ZR_-et#Xl3I`Dv`e=gGlOzl-&z^0-rI+}U|FV5l#tB`Gr92;2en?ojeS@N=( zy)iU9#pP83R`!(knffbxVbK{De19anLT4H8jgsSm7dq}6NcYCFpOxVruB=|Zi#uf| z)kP{fuizl3O7tEoT^G$UuaM)0HjaGDl@gkTRfPAq^=)}kes=PUBxNSuE{$awp>{UY-fTJ*9}zWT_0H*XJA*K zD~mZcrZR@7$#x(ey)o-VPojv8bB>90LF1fx6aXGfw_74FBmhf}E%904fSCzU;2hKV zSx_dJqq1?|af=r98kNy$ZL;Oq$ASTzoU41Y)Eu8eshaa|$`rzQ+;SFzjBiAKvp@v4ZU z;qLG=k~Mt+W3s3^%a|5_OMG6|7Zmk8i}2;y6D6eL7p%v=w7MjXYNbZ0pn`C78O7?tyZZgsvfESocT%rX zfcC;=%Hp)7Y-(}SOS08$lCz{|pYw+8%m3Xay*_uoN_FDO&75PIM0N>v1vhM#!%Wgn z(L?4yo3p%#DHSCRbAx4~z1(p7S%PH($P~78aI5n<_M*9T<;)o_yTMi!i+m>G%W77Rjqqn0RViVpCev?@vh0+jY@P=vI@oE>LVVit zg%j=NCYt2WbO3?PPIVR`)0Qus>Q{5?mK2m&^Da*Kzsa+Nn?-N0B1O_Jhm<__;k)Tz zzXl5g;#Z?#52>G+PE#tG3@9xwob=)}NE%lPuw~p1`)XjhENPir`=m}mt5hbO76Amd zo$gRNh>&xV!>h=C%EIAust95yYXR6Uy9LGX6SWE%+}qa1mpfN+ zhc|s|4oU5V1S>MppoorRbab_cU7obf53hSUsC<{JknKra6s6)=mKOZeJ#=T3 z;hr-C%&$`^U{rjk)1`|^S1rL!wI9o+>XHqVvP;~yC&v-9XNzU$DF>0hjXlYPNtOtI zS+FM8ji7Zs%M=qk)7Ds|T!|`L+%(G!493KXXT8eStywa)TGNZQ%f|6-+qSZiou2wF0b@CBrV2Tsf!gU)`?onzF=)H;$!snah? z8%2ri&qUZZt_M$!uQAz(EJ5m7a1w6!Wo}e(CF9AjGw5+~z5APKcL+Y^DFp-lC+Fwt z=5L#u9GkcO_eXO@?}mJ1L8LoiM^|zo#@(f_JLs+X+t|a`AACT5&{lCk31MOQxgT35 zD%JRfzjDXnTi)*{X+eGHvW1Y%CKizb;A)X2?`~76JU1YLiJT_LmR_(9!|U)!DQaA) z5{VIayC_QV7d_)SEt-q!wWcrS{@yZ`DHqS4DIM1$9wkkIdywpZ(0lau02>X$U&^Ybu=Z?v&15OF6P z;?-kBg*&f@>#tqn2bxuTzo9xQI$Dj;{t zQ!9hc#2h$ulEgVHhZ9ObO0Awtpg62$P{LLZU#nGh_f=vjWN@b@(mBq6Yp*`VpcAd~ zj5ocpv@X9D*fmK8D~)BG^NW?~uZLt2m5+j_!i~x_6T{TuLoI#6j~qdO z#AMJe;&fshO!-FlUlWccG|V%n1J^0)REA#-soPi49nCE0EaiH!l&|o<2gvgCrH1_I zp_~{(xD)hvbr~u6~UM>zs*Y|i2k8XlVZG+46NE3u3&JhskJ@>OVa9yGIwVPfj z##vp8$czV!o?0lN#fcuQ*xn~b4$_heYy&6pL~Is{<}W(p9VlCbE1VSL!+XbX8V%q) z@nrHQe@4l@!}b^&%8wPnt42gI$9rP%17XUsSenH2F@iLFmU2?WDmpF#GI;z5YruHe z9LI4o`F%B8fq`vb2d*6@28IX@XG}veTfZodqWqKvkk0E5yh89?j%9)r%rxw!cJhn$Qq@noBQwJNP9u)U^O_Ea^e6h2Umx4T4nbPlw7u@q`9| zTYs2`a_q5`yG$Gt{XJZImea{fcwr4_2+`Egxq@)_+r6As^*ermFe6^*)WE$EI502w z7{X_g6r%h#TFMYfS_MBrh3j+Ntx&l1QpU%<9aQk{awZg97Y!1MN!gXq3+WiWD$06P ze#dV~tpHOasUxAjJPyyckO0O#>WS4uO&Bx6O8^(e)~LMQS>ti<)y>a`VQ#bMNrn#AEE%o}w z%n_dKa~y|ZCms8O?k!1Q2w)b5WVQvviSW~f_@yoWk-~^%1bM`#dbmIdo`R9m!X5>3 zvOon(-aW+6I7`_c@p8h;0mziZbkKpXz#rAX%>vyHFAGTOeG|8usN>CDytzgaTw1Ik zCzP#J!!FxPEi~GHEt24BkNpa+y{zJb)raY7mNJAP25<5&q?!^W=;5*SyBr=ixgi`~ zfZyh$?~ud1GdT#$a=sG^-7?vqNGfeMs>@Tve~l?E6j?5CP=IyJEd?R_`UQh>$(hx< zL0-yY{|;_m0;p^X5z;I<{uj{utGInyuk7I$pm2>1j)$({021yVf#u6CX#8LDnf$7 z@XjE!ouM%K{en{c!ji=CNcn?jfu(X*Sy+C#u!Iy7!C{*_le%EZ@r!_H86Rt#_>-)Q h`6V4pL`~!*%YIhlD0qNJ#&LQm(@@j3sS!x#`@fh!vZeq4 literal 0 HcmV?d00001 -- 2.31.1