From 2e23507662c99f767138c32d3066ed4abf673db3 Mon Sep 17 00:00:00 2001
From: Fabio Madge <fmadge@amazon.com>
Date: Thu, 17 Oct 2024 22:46:54 +0200
Subject: [PATCH] update doos

---
 .../binaries/DafnyStandardLibraries-cs.doo    | Bin 1539 -> 1540 bytes
 .../binaries/DafnyStandardLibraries-go.doo    | Bin 1560 -> 1561 bytes
 .../binaries/DafnyStandardLibraries-java.doo  | Bin 1530 -> 1531 bytes
 .../binaries/DafnyStandardLibraries-js.doo    | Bin 2048 -> 2049 bytes
 .../DafnyStandardLibraries-notarget.doo       | Bin 1519 -> 1520 bytes
 .../binaries/DafnyStandardLibraries-py.doo    | Bin 1526 -> 1527 bytes
 .../binaries/DafnyStandardLibraries.doo       | Bin 57233 -> 57234 bytes
 7 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo
index 8d3d20da486875700188c6493ccfca56147e8afe..31247ec268bad4f811798cb852824e6e1ab9e68e 100644
GIT binary patch
delta 536
zcmZqXY2m34@MdNaVPIh3U|72~FmhRies(J(1A`Vb0|PHmG&eCXGcC2aM6V=2Hzzmf
z;5uPLo;}~S=T-T;R?6)7AU?-o#V7AMvE4@^-?Wt7zyA2mw6|h~b2qxrlWY&tn<x}l
zw^&28?&qf>oB4J!{ESNHtG`@+`8hLji%PS;$OLUyr<e6_wqNh9xMf*yGq=C}ed;Q<
zm;KC3Le}x+g>1Uz(z2w2o!PHR?$xf{=^w%ZB_@4tUEQ$$|GGHG85I==4zkUabt-(f
z>qOZa^%@?9<4SV9CNF(_W|{Y$t}S(DQC#tvbJn6=hxC$Vy<ZfCMm-n4<D)$*z?FTK
zNx`-nGuE{S7*%$-)aNs8vR`Wb>!q5awPf;<tM?Y&o>9a3;t$6s@z-&4`vgv1)v<5d
zQ1h(ZWNy$SJ&v9WL8TivzCXFksB!tNwX*xUHux!&E&uAvmCq?F?stUa(VJ6NvjRWO
zzO`(Tarh2hQF(sJ9g&ut#cb{}v+7@c@C#p<xZ(PZ5AnS3_`m2ZKl^Np!#ck?GZ^E$
z-|W>BT(e(b#pL4tJx{-$oY!<JCHBLG<ySA*y$L(5{AyiGYJ`DF_Q|Rr{deS1qHOaX
z#<R?v@VJ{iiPgv+#G52;`EMmK7LW2XFt7t-5(btuZUDw_K~a8sQDSa@H!B-Rf(Zx<
KfOH)zhz9`abK~;>

delta 535
zcmZqSY38X9@MdNaVPIh3VA$3e5Lxs^B)Wx>fkBIzfq@q&nwyxHnU-2yqF0iio0A*l
z*mv82XU}ud?mMC;Z{@09>Q`k2vcz<5>hzj2eafsK-@R|Hd@Qo}+yv%xJkFZaJvjC2
z1Ez58uc@}2=Rd!%onhj0+h0|`s-h%xPd?yged0ASz^eZD<I`?7Z|B(0KX?4_d85$g
zFV`7^w8GiVwIXwsoPzc=GpalCm)^Z=T(Me%=j6{rp$D$lhp$)gv9WoO(0q<>p+$LY
ziuE;NJGKeQg8go@O4QWON*{l^Z<k_|z?GjYzJalc(>M01mh9A8`<XLunW*oIMa-d6
z7SVRIo5CJ22*oU_H)p&#|B~$AvdI(X_830O%D<TFvyY{uj^$@}>3TnRj;C4E<Q*gI
zHZOWPMX1~{p=H{t?%rDeYg0LGuI9b{5!+D8w9$HPeo%$?iyZ|@ZUX7y*Dm%<x_`w?
zbnebWxhsEEoH%gyl;;d%i$@p!1h<#(;^J-Id#r80`40OFo9CF#zP!ucsxXPIMt9Tq
zT`n8`IW6!zXZvZ|b@gg4t;wYao#%%+|K1R-+rMJB(6q#Z7uKl0erR7Lj}l{>_cESk
z=7dMx<jJf?_8{IQam#-zfsuHWpMilL7?Cirq;WkkdJBs3(~A;w1H4(;KoU$qSOBDJ
HSwTDiqQ%_%

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo
index b7a7ceeeb432fd0db8932b614dad48085b29d0c1..d87a74d7883a26c828817294f977097c4f3c307c 100644
GIT binary patch
delta 514
zcmbQiGn1!2z?+#xgn@y9gJH|oz{q74`q{0F3=CS#3=F(L(cHwm%(T?v61|fA+??E?
zgX@G1dG>tQo>%4XS}C*RgZLbW6`#E4#C9KveA7~P|N7%M)82{|&fVxfPqIBoZ=z6K
z-C_;Vx}TqlZ06g^@G~l%ul{oR<>$=AEh^3WA``S-onF?z*?zsZ;+AE-&D{R>_o=Jc
zUiLFD30cRN7qaP=OUsf9c4ogOxmUY(r+)|wl$i9nb#=q~|Lfu$XH--iILJ0v)~WE_
zt`lWz)N6PYjw{Lan!NP!nPuL0y0+ArMRCPv&RL6g9nwpd^?p$l8ueWGj*s@N09W=^
zCI#DS%vjeRU{u-RQlHPX$$qKzua|0y){@CbuHIX8dqxfCi$5Hn#9znF?Gre4RmZ+*
zL(Q{tles~U^f-Dh1eI>w`2OTBqsHa8*2?bZ+Tf>9w*0FvS3ak#xZe?uM{iD9%?kW9
z`_{5W#^F13MdkS=cSKrp7PGm_%&LF&!7qGa;)d%tKE(6B<Nu<w{Oq$W4(t5p%wUY~
zezR9kaLs;!6_bnm_dNZ2a$eJ^l-Lg!mS4SK_a^ML@~d?%sSySy*(a-h^xu(3iL%Xm
y7#}fn!sBl8a#kZ|AaC*=R%yizz?dv3%1<v!%nk5nWdp`10}~Jy0O`rBARYkR<>3ba

delta 513
zcmbQqGlQo-z?+#xgn@y9gW*VHKxEMuk?0mi1_mu=1_oZBXl`O&W?E`-iC#&5Zcc8H
zW8ZB9o;}Y+yYGmayp^kZsb7^9$P&}Jsncu9^eMA`eD}V&^0CO?a}$`)@i=Qv_u$m8
z517KWzoy!9p8x#5c7}=1ZGTn$s)~}(J^6r}^@-QS0IT}nk59YVyq#k||J?Dz=Z!*}
zzg%Yw(h6rc*NV(lathkh%&6|jUwZeham8v4o|8Whg&w$GAHH6}$HwMCLi0Jkg%;(p
zDc0A7?bs$H3--IsDp6BAD}DUwzFmq<0#|;r_y)!%PT$z4TC!7X?Pt!sWum?-7BPoP
zSw!2-ZVG$AAQZEx-kkB~{7bTb%O+2l+hh1BEB|7y&pwutI+mZ^rR)9NIi6-slXr};
z+q~%I6rpm*gqCTmx_fK=uTAB&xtjO(M{GkW(?;vH`9T%lFLo3txe26)U%S{d>HZZn
z(YZSh<*xiuapJ()Q=T)7EgoI?6Wm_Di;K5;@3FT1<~!^!Y@TB_`|>V(tHLC<8r@Cb
zce!l%=d{4@ob9J+*VU`Jv?iAxbe<pP{Ch*RZvTqiLemltURb00`k{T1JW7mh-plxi
vnG+s$lUJ}BF#~y%@3KlOt_MbBK~a8sQDSa@H!B-3IvJRNumDI;Vg>O4L0sA_

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo
index 45bfa768a27e7f3e6e54d22ae109d8ebcab92dcf..c8c50e38ade8c2fb475e92c0ba325ba2feedfb55 100644
GIT binary patch
delta 493
zcmV<J0TTZD3;PRyP)h>@6aWAK2mr6OQCX&VFKdMX001fj000dD003=aZfRy^b963r
zZ*6RCQo*hhF$}!-E1r5!MR^>!@E4pwsPapkU5mt7?1XmT*W>J#?G|yJu}7X6hf*$)
z5?+3zC>4JB@^U<%J{%7LBF}sD)9LeRVYDQJFBFg~MMCL+?6=pAc-lFCJe`k+?`5h6
z>5l`XRIUzgRI=Jcgrs-}15Sb->bkpU@K#Y6lJkYDfUp0qUO||6c)-C1ogG4P?z+f!
ztS5X7AjcvejWp>@Oqw^2%YAi21R<#N37Vq1!Y*SSOXzY{TIUnoOe>mDMF*-haJGCl
z1+BmVB)CL>ZvwJEr91lRCLuc+W5m_oqT85!3F!O?@)zq~osJO7)hs`PuzcosG@Vl7
zE(na!QgyMh@5#C{fv4K79lr{&P9S!t^-T(I2^|+s#0cW-$~u}+@|)VGqBB>xEfpUR
z8Ms+F33CQV9GZXX@J?5uVX)WO@Lvt?5A-aj&E~W~u1=ho0bh&ky)F@~zYwUCbC0~`
z^~s)s%4A*e(5KbVKI~S@BkHb%WmqsYYsq@}kK7+nO9KQH000080I#)Cv%CSs0|~FS
jQCX&VFKdO9i3KtPueDK=z6Bcru#?&a8U}R*00000*0SE5

delta 492
zcmey({foOkz?+#xgn@y9gJD-=KxEMuk?0mi1_mu=1_oZBXl`O&W?E`-iC#&5Zcc8H
zW8ZB9o;}Y+yYGmayp^kZsb7^9$P&}Jsncu9^eMA`eD}V&^0CO?a}$`)@i=Qv_u$m8
z517KWzoy!9p8x#5c7}=1ZGTn$s)~}(J^6r}^@-QS0IT}nk59YVyq#k||J?Dz=Z!*}
zzg%Yw(h6rc*NV(lathkh%&6|jUwZeham8v4o|8Whg&w$GAHH6}$HwMCLi0Jkg%;(p
zDc0A7?bs$H3--IsDp6BAD}DUwzFmq<0#|;r_y)!%PT$z4TC!7X?Pt!sWum?-7BPoP
zSw!2-ZVG$AAQZEx-kkB~{7bTb%O+2l+hh1BEB|7y&pwutI+mZ^rR)9NIi6-slXr};
z+q~%I6rpm*gqCTmx_fK=uTAB&xtjO(M{GkW(?;vH`9T%lFLo3txe26)U%S{d>HZZn
z(YZSh<*xiuapJ()Q=T)7EgoI?6Wm_Di;K5;@3FT1<~!^!Y@TB_`|>V(tHLC<8r@Cb
zce!l%=d{4@ob9J+*VU`Jv?iAxbe<pP{Ch*RZvTqiLemltURb00`k{T1JW7mh-phD|
gnG+s$le<`rn1Q^>`&p$K*H6C9D#cd93XDev0KX#Ft^fc4

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo
index a51707bb6cd0487ebbf0fa45ac3e10c1eefd28db..15dcd2b943d28b5a6a9453a9af2c397820e872cb 100644
GIT binary patch
delta 515
zcmZn=XcVXq@MdNaVPIh3VA!}dFmhRies(J(1A`Vb0|PHmG&eCXGcC2aM6V=2Hzzmf
z;5uPLo;}~S=T-T;R?6)7AU?-o#V7AMvE4@^-?Wt7zyA2mw6|h~b2qxrlWY&tn<x}l
zw^&28?&qf>oB4J!{ESNHtG`@+`8hLji%PS;$OLUyr<e6_wqNh9xMf*yGq=C}ed;Q<
zm;KC3Le}x+g>1Uz(z2w2o!PHR?$xf{=^w%ZB_@4tUEQ$$|GGHG85I==4zkUabt-(f
z>qOZa^%@?9<4SV9CNF(_W|{Y$t}S(DQC#tvbJn6=hxC$Vy<ZfCMm-n4<D)$*z?FTK
zNx`-nGuE{S7*%$-)aNs8vR`Wb>!q5awPf;<tM?Y&o>9a3;t$6s@z-&4`vgv1)v<5d
zQ1h(ZWNy$SJ&v9WL8TivzCXFksB!tNwX*xUHux!&E&uAvmCq?F?stUa(VJ6NvjRWO
zzO`(Tarh2hQF(sJ9g&ut#cb{}v+7@c@C#p<xZ(PZ5AnS3_`m2ZKl^Np!#ck?GZ^E$
z-|W>BT(e(b#pL4tJx{-$oY!<JCHBLG<ySA*y$L(5{AyiGYJ`DF_Q|Rr{deS1qHOaX
u##5}E@VJ}Y&u%0S;w{+H^LH651H)4p1_pLuOv1pD#toAnuuHL3g9QP23*wRh

delta 514
zcmZn^Xb`9m@MdNaVPIh3U^vhi5Lxs^B)Wx>fkBIzfq@q&nwyxHnU-2yqF0iio0A*l
z*mv82XU}ud?mMC;Z{@09>Q`k2vcz<5>hzj2eafsK-@R|Hd@Qo}+yv%xJkFZaJvjC2
z1Ez58uc@}2=Rd!%onhj0+h0|`s-h%xPd?yged0ASz^eZD<I`?7Z|B(0KX?4_d85$g
zFV`7^w8GiVwIXwsoPzc=GpalCm)^Z=T(Me%=j6{rp$D$lhp$)gv9WoO(0q<>p+$LY
ziuE;NJGKeQg8go@O4QWON*{l^Z<k_|z?GjYzJalc(>M01mh9A8`<XLunW*oIMa-d6
z7SVRIo5CJ22*oU_H)p&#|B~$AvdI(X_830O%D<TFvyY{uj^$@}>3TnRj;C4E<Q*gI
zHZOWPMX1~{p=H{t?%rDeYg0LGuI9b{5!+D8w9$HPeo%$?iyZ|@ZUX7y*Dm%<x_`w?
zbnebWxhsEEoH%gyl;;d%i$@p!1h<#(;^J-Id#r80`40OFo9CF#zP!ucsxXPIMt9Tq
zT`n8`IW6!zXZvZ|b@gg4t;wYao#%%+|K1R-+rMJB(6q#Z7uKl0erR7Lj}l{>_cESh
s<%CDw<O%FX@*v)VEj@piu`)0`m0@6D2Sy|eENNUn`60U$TNPLk0MjVjvj6}9

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo
index 84aafd4cbd28272ffff14c976854a2197990968d..eb6e551c01251804fb0f5ebcd0afdd9fdb7ca557 100644
GIT binary patch
delta 515
zcmaFQ{einaz?+#xgn@y9gJJd7z{q74`q{0F3=CS#3=F(L(cHwm%(T?v61|fA+??E?
zgX@G1dG>tQo>%4XS}C*RgZLbW6`#E4#C9KveA7~P|N7%M)82{|&fVxfPqIBoZ=z6K
z-C_;Vx}TqlZ06g^@G~l%ul{oR<>$=AEh^3WA``S-onF?z*?zsZ;+AE-&D{R>_o=Jc
zUiLFD30cRN7qaP=OUsf9c4ogOxmUY(r+)|wl$i9nb#=q~|Lfu$XH--iILJ0v)~WE_
zt`lWz)N6PYjw{Lan!NP!nPuL0y0+ArMRCPv&RL6g9nwpd^?p$l8ueWGj*s@N09W=^
zCI#DS%vjeRU{u-RQlHPX$$qKzua|0y){@CbuHIX8dqxfCi$5Hn#9znF?Gre4RmZ+*
zL(Q{tles~U^f-Dh1eI>w`2OTBqsHa8*2?bZ+Tf>9w*0FvS3ak#xZe?uM{iD9%?kW9
z`_{5W#^F13MdkS=cSKrp7PGm_%&LF&!7qGa;)d%tKE(6B<Nu<w{Oq$W4(t5p%wUY~
zezR9kaLs;!6_bnm_dNZ2a$eJ^l-Lg!mS4SK_a^ML@~d?%sSySy*(a-h^xu(3iL%Xm
v7<V#r!sBjo9jlQ%h^M>m?Te|vSS;XUU|<KvBn&KR+%Wk(s}x%nD@X(Y@KoYI

delta 514
zcmeys{hqr%z?+#xgn@y9gJFGRKxEMuk?0mi1_mu=1_oZBXl`O&W?E`-iC#&5Zcc8H
zW8ZB9o;}Y+yYGmayp^kZsb7^9$P&}Jsncu9^eMA`eD}V&^0CO?a}$`)@i=Qv_u$m8
z517KWzoy!9p8x#5c7}=1ZGTn$s)~}(J^6r}^@-QS0IT}nk59YVyq#k||J?Dz=Z!*}
zzg%Yw(h6rc*NV(lathkh%&6|jUwZeham8v4o|8Whg&w$GAHH6}$HwMCLi0Jkg%;(p
zDc0A7?bs$H3--IsDp6BAD}DUwzFmq<0#|;r_y)!%PT$z4TC!7X?Pt!sWum?-7BPoP
zSw!2-ZVG$AAQZEx-kkB~{7bTb%O+2l+hh1BEB|7y&pwutI+mZ^rR)9NIi6-slXr};
z+q~%I6rpm*gqCTmx_fK=uTAB&xtjO(M{GkW(?;vH`9T%lFLo3txe26)U%S{d>HZZn
z(YZSh<*xiuapJ()Q=T)7EgoI?6Wm_Di;K5;@3FT1<~!^!Y@TB_`|>V(tHLC<8r@Cb
zce!l%=d{4@ob9J+*VU`Jv?iAxbe<pP{Ch*RZvTqiLemltURb00`k{T1JW7mh-pja?
snG+s$lj~WH<Uu^$b#Grx1x8{49|HqBFd|`KN#pv-7g(j(GFd?)04_k=Gynhq

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo
index f30761650d2aec4da80ef5ae268045bc4d254057..f44d53da924afb4d68d8eb9585a91bb74f8c4b0a 100644
GIT binary patch
delta 514
zcmeyy{hhl$z?+#xgn@y9gJIj&z{q74`q{0F3=CS#3=F(L(cHwm%(T?v61|fA+??E?
zgX@G1dG>tQo>%4XS}C*RgZLbW6`#E4#C9KveA7~P|N7%M)82{|&fVxfPqIBoZ=z6K
z-C_;Vx}TqlZ06g^@G~l%ul{oR<>$=AEh^3WA``S-onF?z*?zsZ;+AE-&D{R>_o=Jc
zUiLFD30cRN7qaP=OUsf9c4ogOxmUY(r+)|wl$i9nb#=q~|Lfu$XH--iILJ0v)~WE_
zt`lWz)N6PYjw{Lan!NP!nPuL0y0+ArMRCPv&RL6g9nwpd^?p$l8ueWGj*s@N09W=^
zCI#DS%vjeRU{u-RQlHPX$$qKzua|0y){@CbuHIX8dqxfCi$5Hn#9znF?Gre4RmZ+*
zL(Q{tles~U^f-Dh1eI>w`2OTBqsHa8*2?bZ+Tf>9w*0FvS3ak#xZe?uM{iD9%?kW9
z`_{5W#^F13MdkS=cSKrp7PGm_%&LF&!7qGa;)d%tKE(6B<Nu<w{Oq$W4(t5p%wUY~
zezR9kaLs;!6_bnm_dNZ2a$eJ^l-Lg!mS4SK_a^ML@~d?%sSySy*(a-h^xu(3iL%Xm
y7!NRW!sBjoE2|MRkT-c3tF+<<U`!Si<);@V<_37PvH|0hfe8o;fOH`%hz9^ef#E>_

delta 513
zcmey){f)amz?+#xgn@y9gW*JDKxEMuk?0mi1_mu=1_oZBXl`O&W?E`-iC#&5Zcc8H
zW8ZB9o;}Y+yYGmayp^kZsb7^9$P&}Jsncu9^eMA`eD}V&^0CO?a}$`)@i=Qv_u$m8
z517KWzoy!9p8x#5c7}=1ZGTn$s)~}(J^6r}^@-QS0IT}nk59YVyq#k||J?Dz=Z!*}
zzg%Yw(h6rc*NV(lathkh%&6|jUwZeham8v4o|8Whg&w$GAHH6}$HwMCLi0Jkg%;(p
zDc0A7?bs$H3--IsDp6BAD}DUwzFmq<0#|;r_y)!%PT$z4TC!7X?Pt!sWum?-7BPoP
zSw!2-ZVG$AAQZEx-kkB~{7bTb%O+2l+hh1BEB|7y&pwutI+mZ^rR)9NIi6-slXr};
z+q~%I6rpm*gqCTmx_fK=uTAB&xtjO(M{GkW(?;vH`9T%lFLo3txe26)U%S{d>HZZn
z(YZSh<*xiuapJ()Q=T)7EgoI?6Wm_Di;K5;@3FT1<~!^!Y@TB_`|>V(tHLC<8r@Cb
zce!l%=d{4@ob9J+*VU`Jv?iAxbe<pP{Ch*RZvTqiLemltURb00`k{T1JW7mh-phD^
vnG+s$liOI0n1Q^>yIG|b*8?N6peR4RC^0v{o0Sb1oeWGsSOBC8SV24htWnx-

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
index 16a2ebe97340106ee6dddabc7cc173fb9ad9026b..44716b7ba7425da6a1a7b6dd5bdc2f176467038f 100644
GIT binary patch
delta 516
zcmbQZpLx=L=K26{W)=|!1_lm>6<Y%%pQ>BGX<=kw&|zj^;0222Cgx?Pr52aymE`B<
z<OUsFCv3>G=ezd2Z}YmC*!BLfstc_8Bb0t!sqouP&bObwTHM`q*RF7`WWP;vd(gRw
zLi6euYlznU{ADz!Prl8$;lydVzcqh~_83M@I+)INVye=@lKOAIm-kl8vaGe4*LJwy
zD7^X0bH*SoarSVnNMAuk&3gwMHZN%3b?%+yo-mQNCp8bX9=!g2k()!fpWkA}g_}wu
z)8BRHoUS_5&R{9_F=I(&deWsmg)#3IODl0W&h@__a#gfU@^y&Q_SKiH=0C`ayV#>;
z6|i*T=C7MAGg$c)4ysnwi%$5fWqVQIocrb}3FUPk^Y-<goZfKGU*Z3Tc~@VuER50l
zw3y>{`p@QP!CrSn8wI0Q>6v}o8yTMVA*6cC!`Te4d6KGc?e%<Uy72L#P6@|3xsmGJ
zUUkK{V@e)!UBBJg?#z}~HmAk1S()#w{oN0K;R_45T)**QJKJ~ms%@9ktk&9R3#p48
zxUTej&33M9@f=r9E)Bo;=~v46O+IBja=T;J?q64y{ftxeekZH*X5*WR|DJyrM~Sh`
xyBTBda>Ao-vci2Mc@Xan_oR;&cNrK`YFHWAfe{G<OB&ZtF1#<r#&aJe0synM=N<q6

delta 536
zcmbQVpLybb=K26{W)=|!1_lm>)r|p>=WZmvZDwR(&|zj^;0222Cgx?Pr52aymE`B<
z<OVtR-8SIa^IVkszNpDvxvH1?Rat>7F`b(_y{343`TqI6^wE_<vAySb*ykuZYd-hj
zJYOF;g=>FJwWQy1|HFz7Pg48qEbDCVN$8$@V9ff&Yhr*^{qM)6%Jb6v=Jzju_+j&z
zs|tTh8>XB(dT^>&Sg?ynSGmChofiw&ZLVfpFWRbT8NY+;$FIUKOoxs<X692X*~W2n
z>2Iamo92B`bm()nk;=R_bB0O2%=F(c+Blp7o(r3}mbS(ovzmJ0?W!&3)OXAZH(A`p
z7n1oT=Wh;QR3o!TLFc`CmX!To{$FmNb=qchtRs8R?EK_UstY~~pRiw(UTWp2A>RE*
z<It~2k+aLE?9gUX-Vzd<^QL<9x-$<}e#<yq&Uj7o$hR%klMh8Z9d8vjY_hn$$xm#`
zpJ&^4zBnYhZo4plJI|dr7M#Uw?lQCLcRifD&gpT+`i&3krS8bTxal|h<(74Jo^v7?
z;=A8$zNZyYuNa^{J+AWf>&dpKjcyuNyeZoHZ`ZB0Gu1=>D2VZ#J(tq{WBz?>lnC3r
zhcV_ZCp_jRE8aJ<2l3u;Px@$amw_RrhLwRG7>_Wpq;VZEb_<H~(~A;w1H4(;KoU$q
LSOBEC?}K;%NnYzl