From 40546bb31cf51df02dcf72bffc3b4ccfd7c9e7c4 Mon Sep 17 00:00:00 2001
From: John Walter Munene Njeru
<104344424+john-walter-munene@users.noreply.github.com>
Date: Sat, 10 Jan 2026 15:04:41 +0300
Subject: [PATCH 1/2] On adding new article:
---
...g-the-potential-of-djed-powered-by-coti.md | 150 ++++++++++++++++++
...t Djed powered by COTI is open source.webp | Bin 0 -> 14502 bytes
...en and allows open-source development.webp | Bin 0 -> 17560 bytes
...owered by COTI is fully decentralized.webp | Bin 0 -> 14668 bytes
...r-collateralized and not algorithmic..webp | Bin 0 -> 12148 bytes
public/images/COTI's Operational Fee.webp | Bin 0 -> 27506 bytes
...r minting and redemption transactions.webp | Bin 0 -> 15674 bytes
...d stablecoins are different from Djed.webp | Bin 0 -> 38510 bytes
...Djed is algorithmic and crypto-backed.webp | Bin 0 -> 17482 bytes
public/images/UI of Djed powered by COTI.webp | Bin 0 -> 24758 bytes
10 files changed, 150 insertions(+)
create mode 100644 public/articles/unleashing-the-potential-of-djed-powered-by-coti.md
create mode 100644 public/images/COTI again falsely claiming that Djed powered by COTI is open source.webp
create mode 100644 public/images/COTI falsely claiming that Djed powered by COTI is community-driven and allows open-source development.webp
create mode 100644 public/images/COTI falsely claiming that Djed powered by COTI is fully decentralized.webp
create mode 100644 public/images/COTI wrongly referring to Djed as over-collateralized and not algorithmic..webp
create mode 100644 public/images/COTI's Operational Fee.webp
create mode 100644 public/images/High minimum amounts for minting and redemption transactions.webp
create mode 100644 public/images/Related Work section, discussing how crypto-collateralized stablecoins are different from Djed.webp
create mode 100644 public/images/Title of Djed's paper, clearly stating that Djed is algorithmic and crypto-backed.webp
create mode 100644 public/images/UI of Djed powered by COTI.webp
diff --git a/public/articles/unleashing-the-potential-of-djed-powered-by-coti.md b/public/articles/unleashing-the-potential-of-djed-powered-by-coti.md
new file mode 100644
index 0000000..f5a9df1
--- /dev/null
+++ b/public/articles/unleashing-the-potential-of-djed-powered-by-coti.md
@@ -0,0 +1,150 @@
+---
+title: "Unleashing the Potential of Djed Powered by COTI"
+author: "Zahnentferner"
+date: "2025-01-31"
+image: "/images/UI of Djed powered by COTI.webp"
+excerpt: "AIn-depth analysis of Djed powered by COTI, its design, limitations, and opportunities to unlock its full potential within Cardano’s ecosystem."
+---
+
+# Unleashing the Potential of Djed Powered by COTI
+
+_This article is part of a series of two articles covering both [Djed powered by COTI](https://djed.xyz/) and Milkomeda [Djed Osiris](https://milkomeda.djed.one/). These two articles have been funded by the Cardano Community through Catalyst. They are part of the deliverables of the [Djed Alliance Ecosystem Boost](https://cardano.ideascale.com/c/idea/112645/) project. The articles are written by Zahnentferner, founder of the Djed Alliance and one of the 5 engineers who were part of original R&D team that led to the Djed Stablecoin Protocols._
+
+As one of the 5 engineers who worked on the R&D of Djed's first implementation (SigmaUSD on Ergo) before I even named the protocol "Djed", as the main author of the two Djed stablecoin papers, and as the founder of the Djed Alliance, I would like all Djed-based or Djed-inspired stablecoins to succeed.
+
+Nothing is ever perfect. Success comes not from "faking until you make it", not from "failing often and failing fast", but from methodically identifying opportunities for improvement and seeking them with perseverance. This is one reason why I founded The Stable Order, an organization that continues to do R&D of stability-related protocols, including new versions of Djed.
+
+In this article, I will discuss some shortcomings of Djed powered by COTI. The intention is not to spread FUD. (This would be against my own interests.) The intention is to pinpoint what is holding back this Djed deployment from further success. I have already done this for SigmaUSD (cf. [this video](https://www.youtube.com/watch?v=yTgapwydOW0&t=225s)) and the Ergo community has taken that into account in different directions (Dexy and Gluon), and it is only fair to do that for other Djed deployments as well. I hope that COTI will make good use of the feedback given here in order to unleash the full potential of its Djed-based stablecoin on Cardano.
+
+ ...
+
+But first, what is Djed powered by COTI?
+
+
+
+ UI of Djed powered by COTI
+
+
+This deployment of Djed relies on an implementation of the Minimal version of Djed in Plutus by Dr. Jean-Frederic Etienne, one of the authors of the Djed papers, who was responsible for the bounded model checking of the stability theorems. For reasons that are, to the best of my knowledge, not publicly known, the implementation had to depart from Djed's original aim of being an autonomous stablecoin. Aspects such as transactions batching, the oracle and contract updates are centrally controlled by a single entity: COTI.
+
+Of the 4 live deployments of Djed today, at the time of writing (~2024–05–17) [Update on 2025–01–31: there are now 5 live deployments], Djed powered by COTI is the largest Djed-based stablecoin by absolute TVL. It is also the top 6 of 15 projects by TVL as tracked by DeFi Llama (and it is almost tied to the projects at the 4th and 5th places). It has 6% of Cardano's total TVL. By such metrics, Djed powered by COTI is definitely a success.
+
+(Note: TVL is an imperfect way of measuring success, but that's a topic for another day.)
+
+Yet, its TVL as a percentage of Cardano's market cap is only ~0.09%, about 20 times lower than SigmaUSD's (1.89%), 15 times lower than Milkomeda Djed Osiris's (1.36%)and 352 times lower than Zephyr's (31.70%), at the time of research. Imagine how good it would be for Cardano if it had a stablecoin with even just 3% of Cardano's market cap in TVL… So, what is holding back Djed powered by COTI from taking that spot?
+
+ ...
+
+## Centralization
+
+As mentioned above, COTI controls the oracle, the transaction batcher and the upgrades to the contract. COTI essentially operates the stablecoin. Even though Djed was designed to be 100% autonomous (which literally and etymologically means "self-ruling"), this particular implementation is ruled by, operated by, COTI. The main advantage of an algorithmic (crypto-backed or crypto-collateralized) stablecoin based on smart contracts, in comparison with a fiat-backed stablecoin, is to not have to depend on an operator. And for the sake of this advantage, users are even willing to accept disadvantages such as capital inefficiency or higher minting and redemption fees. But, in the case of Djed powered by COTI, the disadvantages of fiat-backed and crypto-backed stablecoins are combined.
+
+Like in a fiat-backed stablecoin, whose operator could run away with all the reserve, COTI can in principle upgrade the contract and give itself the right to move all the reserve to its own addresses. Like in a fiat-backed stablecoin, whose operator could prevent users from minting and redeeming, COTI could do the same by stopping the operation of the oracle and of the transaction batcher. COTI is also capable of knowing oracle prices in advance and may use this to its advantage. And COTI could even manipulate the oracle price to its advantage.
+
+Even if one trusts COTI not to do the malicious actions described above, there is the possibility of COTI being hacked by malicious actors who would. So, centralization also results in a loss of security. Without a centralized operator, there would be no operator who could get hacked.
+
+## Closed and Unavailable Source Code
+
+The implementation is not open-source (in the sense of being licensed through an open-source license). Worse yet, the source code is not even available for inspection. Therefore, users cannot do their own research to know whether they trust the smart contract that they are planning to interact with. They cannot know whether it is really an implementation of Djed, for instance. They cannot know whether there are discrepancies between the abstract Djed Stablecoin Protocol and this particular deployment. They must believe that the contract does what COTI claims it does. Even if one trusts COTI, it is natural to wonder: what is the point of using smart contracts at all then?
+
+## Transparency
+
+Instead of being transparent about the issues above, COTI either avoids these issues or deliberately claims the opposite of the truth. For example, as shown in the screenshots below, COTI's FAQ claims that Djed powered by COTI is decentralized and open-source.
+
+
+
+ COTI falsely claiming that Djed powered by COTI is fully decentralized
+
+
+
+
+ COTI falsely claiming that Djed powered by COTI is community-driven and allows open-source development
+
+
+
+
+ COTI again falsely claiming that Djed powered by COTI is open source
+
+
+## Technical Misconceptions in the Documentation
+
+COTI's FAQ is full of technical misconceptions and misunderstandings about the Djed Stablecoin Protocol itself. For example, COTI refers to Djed as "an overcollateralized stablecoin and not an algorithmic stablecoin".
+
+
+
+ COTI wrongly referring to Djed as over-collateralized and not algorithmic.
+
+
+But the title of Djed's paper states that Djed is algorithmic and the "Related Work" section of the paper explains how a crypto-backed stablecoin protocol, like Djed, differs from crypto-collateralized stablecoin protocols.
+
+
+
+ Title of Djed's paper, clearly stating that Djed is algorithmic and crypto-backed
+
+
+
+
+ "Related Work" section, discussing how crypto-collateralized stablecoins are different from Djed
+
+
+Learn more:
+
+- [Demistifying Algorithmic Stablecoins](https://medium.com/djed-alliance/demystifying-algorithmic-stablecoins-4392e3b42b0e).
+- [Crypto-backed versus Crypto-Collateralized Stablecoins](https://viewpoints.stability.nexus/a/collateralized-vs-backed-stablecoins-holders-perspective/).
+
+## Outdated Djed Version
+
+By the time Djed powered by COTI was launched, based on the Minimal version of the Djed Stablecoin Protocol, SigmaUSD had already been running for more than two years based on the same version. Despite SigmaUSD's success, those two years gave us many ideas for improvements, which led to the Osiris and Shu versions of Djed, to Dexy, to Gluon…
+
+So, whereas the Minimal version of Djed is fine, it is already not the best version available out there and this was already known back when Djed powered by COTI was launched.
+
+## Rent-Seeking Fee and Free-Riding
+
+Another consequence of having an operator for a protocol deployment that was designed to be operator-free is that this operator will have operational expenses that will need to be paid somehow. So, not only users get the disadvantages of centralization, but also have to pay more for these disadvantages.
+
+COTI funds its operations with an "operational fee [that] is a mix of 100 ADA + 25% of delegation rewards". These fees are not part of the original Djed Stablecoin Protocol.
+
+
+
+ COTI's Operational Fee
+
+
+A 25% fee on delegation rewards is a lot! If users need to choose between keeping their ADA in their own wallet earning 100% of staking rewards and depositing their ADA in a centrally controlled contract and receiving only 75% of staking rewards, why should they choose the latter? Clearly, this is a barrier for adoption by the Cardano community.
+
+Furthermore, COTI explains that “both [fees] are converted into $COTI in the market and funneled into COTI’s Treasury”.
+
+This means that COTI is consistently dumping ADA and pumping its own token, which is the native currency of a blockchain that is not Cardano. Why should Cardano users embrace a stablecoin that is deliberately and systematically harming the price of ADA? This is a clear case of rent-seeking.
+
+And, given that the Cardano community and The Stable Order do not benefit from these fees, despite their contributions to the Djed Stablecoin Protocol, this can also be considered a case of free-riding.
+
+## Apparent Disregard for Financial Inclusion and Permissionlessness
+
+A key use case for stablecoins is financial inclusion: to give everyone, without the need for permission, access to a stable currency, no matter where they live and how rich or poor they are.
+
+As someone who grew up in the "third world" with high inflation and who now has to deal with the consequences of sanctions, financial inclusion and permissionlessness are key value propositions that attracted me to work full-time in the crypto space and that I continue to regard highly.
+
+COTI's frontend for Djed powered by COTI restricts users from some countries. And, because COTI is the only centralized transaction batcher, such users can't even interact directly with the contract without using COTI's frontend.
+
+Moreover, COTI imposes quite high minimum amounts to mint and redeem stablecoins and reservecoins. This effectively limits access to the contract only to wealthier users. Poorer users must resort to buying and selling stablecoins and reservecoins in secondary markets.
+
+
+
+ High minimum amounts for minting and redemption transactions
+
+
+It pains me to see that a protocol that we designed to be financially inclusive and permissionless has been deployed in ways that are contrary to these ideals. But, beyond ideals, such restrictions also hinder and hold back adoption of Djed powered by COTI on Cardano.
+
+ ...
+
+## Conclusions
+
+The good news is that many of the issues described above should be easy to solve. Or, when this is not the case, it should be at least easy to give a clear and convincing explanation to the Cardano community.
+
+Many cardano community members have raised exactly some of these issues in various forums and they remain unanswered by COTI. The Cardano community has now funded a Catalyst project where one of the deliverables is this article. Hopefully this article, written by an influential Djed contributor funded by the Cardano community, will lead COTI to listen and trigger improvements in Djed powered by COTI and bring even more success and adoption for Djed powered by COTI. Such improvements would also be beneficial for the reputation of the Djed Stablecoin Protocol as a whole and for Djed-based stablecoins that are part of the Djed Alliance.
\ No newline at end of file
diff --git a/public/images/COTI again falsely claiming that Djed powered by COTI is open source.webp b/public/images/COTI again falsely claiming that Djed powered by COTI is open source.webp
new file mode 100644
index 0000000000000000000000000000000000000000..002029040a8432adf60a15045e77c73dc5ace8cf
GIT binary patch
literal 14502
zcmYMbb8sfW(mnjdcCtw}wr$%^Hg>YHZQJI?wyh_&ZQC0=zrFXpUwvKG)2F(+&Q#6J
zA2X+Gl%>SQb2tG2bunQ@HAPMhSO5S3{m*AW0rVh%e;L9a4gdi80FVtrJqyYJ!tcVF
zDn(jIMqQXx(XNOXVPgA%lFUwV5)*8y_ENiU_u%e##K6!0HVG_+Km8thwEApa#C#Me
z$-UMu%Uz#YLvr^U7jPHY;u92T@GE@G`7XTlc-OoHIU0J8xh?-9`SQD#Xi+bN`u>91
z$^Q2L#@;}B${p3``Nnw_xD;3enhDguTO98+W{dZTJ>lH=t@+sr^!VQU?0wOE$GR!_xHQ+#kbk+)dTQJ{~9>!4dO@p<@Kfi?)M7(&_DG1
z{;d7R{KovSd;MNhu*%K+4*kyf;`y|@vRkFNV>r#d^y~UA_&)gZ`~GJgwclSmel~vZ
z@3~(w$0
zn!1oaRLC`ZF&Ati31SE)QbBT`~cFdMAb`g5c+UDgUU
z%WVjN-NLA(Q9aV$!POEd3(EKovlXS|k@lX1C_3_NuSH?FJ;-6hh?dwr#Eq*+g!yi+
zKJp+>AzMY;`1u0#K_)9hSnFDZAaN4{I%uQ;v@T?}P_IwRT{MHU+(>i;twQSBwK*UY
z7`~+vWpQWcBxl1v$+C7EFOm>0*vw_ZA2XZCx}olR&gJkSL=4!=>q4qEDs0FWQ-@;V
zfroOon8n;YkN5N0c<&+IaC461*p^Jc4j1e|G5VFdu^^MS?3AK#ssO^Rs7(w9WYmNq
zZx#Z@NccI^OkS6{)Y$dfaHpw5zvQ2;L-9x-TKttGtJIqD_;T=UUE`Qj6HP9u48vY;
zG%TQ2d`Y>YkbZ?a%5R+_Xs7h(!1Kb-ZMV-!B%(aO-H{2-Cau5Q{Cut)q`+}nq@1rN
z5Mgzo+{4K;POYJt<)LHWUv6kThtDt!5=RR8s4xBjX;TG{Sdq=>GGT_ZHDlp|qC$>g
zH*zs#Cc>XpWi3$ve#U=SX)UBe!4v*_Ef;gS)oz9NYkmd*F^)OJ%v6*^VDIXrG!IZilIF=E0y}#@B=?T$sLK~qSSrgkx
zKn(8WOY#}Vzskq+`oziF8!ENXIARSZI%K7ZD*704!w6@$-vg=tI2>ZdK#6n_1G`t8
zfTu>>46ITZU2$g7cvdY!)e$5Cte3e9d^RiI`n_A`?|wfmi8$l|Nz-vG^V`1r(mrh=
zy1zb!19EE3og6s
z77Wbia{*a0iu@FBS|>9}XDX#FH!pbjV1x=#gZu3^aBAzzUPeh1N+qDAy53MO>urER
z9zM-&?d)`ty8iGU1rU|x;Pm`XG2KFwhk?L`+Pg@wYAJJ~3etKMo+pF5Wr~fW=Y^Lg
ztXaH|3?(fsIwV8w)%Hd;Tz2EZ1<}tKibgG{X|4{ottJoRUT5hq@rqk!$folwIOQ2Q
zs=T5kCS!#FL$vsfQp%Dfda2vwSrI-a4#{6h=|M(b!3cG!W^AojbC8f!pH3oA8J#ao
zQCSQNjs^Ccho&-IN*fAzQ@cT*5D-+iZtfJ{UeJM5(il#8wX=5rQ$Lq$|BW2w4D7S?b$Z?+G7AGLP!fF^H+@8<@rCkD?kqAYQWHxkvCD$azBNSWPin7xZ1~7j<9k(>2#?|jyr}Ode{pP
zS=whX=l&G?CK9KfQK=+<3@*y9R$nI<_Q8xVXX^8{J8wwm9$?AqLP)Tc0iDO%5YEaq
ztao7&@Q3zr7kQOc#dLs>RQO4_rHU3B;6>9w@
z-oz2XEX+6Ya*P>5B1JVfo644_%Q(JWFvLzbrM2VvIVgO78OCH3q;O$Of&1#FY>LF1$F;P!!Tv
zcALdoLinc3{S(=n@#oIDH#5;65jOv`d1-Sj{O^oA(?hPakaM{T!<>3XA_$@Teao$u
z+GDsO^^N6=p>EkO><;Nt4DZ4WbS^K8BA{Cyul>10m}jMKHSvKJbE+QvA5x#1>|I06
z4|}}Ymoc<+FAO?v6G57s?t268n0fs2f#IWvW>57iPbSxg9MIS8A8a|YQ9aeGe1f9$
ziSjGk6Fkqax`o*f`%f?__T@gB_L2|dH>
z-u6IG?Ilc629k;hQvL16p1TC7UmDcs`m@s>9uTU$g*=#u!&cKRv+-)EJ+oiY;LO5Q
zpST#-cBTRnu814sV@sPx0#tpH`Y0+iTC}6`EWDvS?1|ccfcj1VrW8ZU
z{<8sIN^G0cf+*d|orsqtHd)i-q`ii$31QsWz#$|-)p&x`C33R33E1f_a*Cu8X`tn%
zh@}&Kxt$4Y+ni(^63UxR=fdzwBi6<#RgN8hBYZK78k60@&50d|E5qnwtiu~~6m?Ww
zRM`^!PH9Y>2?S;meh}8dua%T-knXiAcEwg(IS2*FpsXqw+l9o8Eq-J{^(vp`5(neo
zQ*I99ap}yzp`zw0Irt8(qL|Zc5
z5dRR_#HixH-GQ#5tR%CuvbFi^V_{`|Es}CU+^batTjcGUCZ*dMMcEKGqY6iEu4$J7
z$Gf*ltEV6kdrlCrFcv|vt$&`aR;fp|5_?Nuh)!wPdkmMP`6T)GH*9vWs$HJ6U8|b5
zc;xd$(C<**?z@B#YY=z?^Ba@;jH4af0qsdz^V^y$nLYnw>CIQ3muJZWihN%X(fczH
zoPwX@{Q}*^;)~)YrNhM@0b$OMYHW89y^vb$@ss-bGx|V@v|?sp%<{DRS#3E?&hv5#
zAry~+94UHOEtZO<%kEf{`yAg&tWHY#JzsSv-d|J~!x~2Nd@aUW)`uQ^i2$iTZwp2S
z=9;$0V&u#2ZWK7^ub&o(5JZSta;64S>OE0Gu2cE5XzrJAJvPV?C2%?Jz#41@#snVX
zo+BqOQ(r2Gg9E=LoH-NQ&M|CVJPAw+omAv=eL}#p-~%nYh9hT^K?Q2F?>ZX_@xJjJUM`EciHYQEii9(sms58aQj?G^^xHm3
zprZ|pRq~VvuS2MrjwS@HBfZPfR{0jYv5c(poqV(dw_03(-*D~(-sM5kW1??-_#57g
z_*_la|fsWzAx9+xsbNy0Tmt|NPt2!0xwnN7-G>Y9fUHY;Aw~An9BL_jL
z`FhR?HkbFE$-rBKS-9XdQN=%z@3#&IzGFi(#D}=Pr;^GeM{uhxCbwPL^4#EG<2e8Z
z?#nK#;yr<>9#VB62=A$%rFgQ45E?w&by;Hdgu0Urp5Q*z!`auQM$5@+8rc@bwg#0K
zp|}n``qUXAbRC#~gBRnQR5>ZySWr|Yv2?v_GG14rh|i&Lc~qBMY$p}GmcW_{@m7{L
zb-bBb=YVWDnjg(&59G%^oTU=O5-ZZ6_vURj>*
zNK__=B|a46gdEqwhX=my$3xo(Mu;Ncv1epNRwnVyOiTW4zKMj>ry
zt=Xiy9{l(^JD899mUt3q_Gg<@cw9*^HGE2`Ax=RxkKUb>!!UO8Ku9k6fDt}$+A-Ul
zxZF1rC}M7iaAj!l5+AhsCbJ|7l|vacj6=2PKD&@1BtFh8yX_OdyFd~@-b%8hiA4?b
zGxa)n^S9>anoyBCBPUpY^I~#Nvcy&{^C{xpRgm?oL)ShQ0Kh4g*G$@jR=2(cSgp6o
zi&a7UStJ?m?=HK+#THV*;{Ju&6@ib-L5Mt<&u)JrblEGU2DSA?vqU$ki;lzy3OsKW
zmL-Pg_5NAIo|wz-=ydyvd(JnaeICh+9!wicKkP|u3O*8lvV
z^;zurV*dpf{k9$^0|XUkF{atrUnbfxhz~RcAK20EsF&mXS^zpA>wXEMhS_TCdO4(waq25DMj1I!@aqH#w7P$W{RZ9Czw^65%-0LGdYUeG#+_;QVq!?O
z#_wHn7r<)ZUxCpHO+Ag;dO~c^H{HxI8W50PZL#wy;)tQxpS(39CCd*i*j1CiV}a*T
zC49T1MewWxB3xbHN8}3xZi90(nxNPaU9z$$2a7;ROO9yW&cUrSzqqfmZ-|D{)+I5$
z-e+~1nDui23S1N%U~vom0)E?L-ByLR4K9(x8hz&7hDr!89~4A~T>%dRrVnb`-%;
z8U-=;liX$8knE@>py=LCgTqd(mS31A@rCjSEzj0w%(>_*JcOI5w#f((dgryr^YapF
zK}=cE?>e>nkFWApuY?DjICW?feT9{cyOE$w=?}gnY-qt+NyAMIG9mbO9?z~__f5Oo
z#dnl27hd>n9T+u7a!!a;)H3J2zQH@F=3|E4&%stGuKB>daHm3G$wUHV^?nu$pTSPz
z^txV@zcp|&DnrYi$MJCiHp?e!iyt<|{kMPmZ)BHe|@kswE2igaETzy2!G;zWGJ
zU@rJ^Y`IjtYE-jN>KXBwI2WCpmFn)|s*r`;L}a8c312nIi~V8m!#Ov90Tct9#KZx4
z9s}?XdbN`&0g6?7ulfyQhvU&9>CwAzj<@iVy`#>6HX*JVeH~pb&pmtAAcnf6J5xUQ
zV!Nc_W2er2O_~J6#3Q~*o9emAfSX&Tl5oI8ID>Xlj0vkAu>m+yN_h}o&SabHs}@oN
z>9^MCWFJ{6`+)kp(}hq7wEv#?ym4BV;z^zQYo7;YmrzI7?cJy+b@=UXYmQT~-yQ6~
zRTX~hfLp6!$(9-Hvr}w_!peCgKFdaqJc4xPAwjXHIuDcsM>sfp$?fy)z>P89RM;*<
z2>YlNv7Wo4B@Jr8IH()XtG$oO#FtJYabmo!Iwdkc)+B+!#+N~+@-D`zee%(?ziPv!
zdKq@FJ6qI*4hm){tmt;gseHPZc+d;npZi5b@IhQ@WZL1@a!~o>FPZeAJ9(s!_
z>RJIv-JX38-G<__>he}Rj5}kv+gPE$OW9K}&!;Nhg_5eQbJyExEw*_+8BTBIx4XbO
z;&tIv&t*k}RZ8rnJ$`Z{SNzs*Tdq>7ktv2i&~9jA$y2qu)ds;R3ANHXb8|}+tq~GC
zHE(G{mguVjGC@;;%&PFi!1MZTJ;)9ee-TQivK2fo8YuuO79O=fG-nzs-nLD(YyB%7
zp)lkhSG6bTUR*sREW_`U`gHK0Rv~|jS=cgy^^g)`M6e6AOU0>0GRjXM?b01jbj1MA
zQiORrobG>EKNKa)b^n?&bjziD)uuqi7aW>j^vUo*?5#c+f0ev`-jmWwM?B7H@*oBJ
z8=I%!W_B1A8q~HPdEICuu~O1n_f7bMCkxNhIp0AgFOj8RDD=7hptXyt1ifK`yYtUr
z;2WY@Lat(a5MH!raZ{dv5wm-u))#20Z+uK6`9Y^%J~On9jsyd`=2RvQsU^Z)*5J(@
zAb^-UQ!!VGqSSq0fsa?wb^SEwJdEWo*332z8#etiXmO_rfxfDn2NQ_06x6>KlIWjN
zSt1q3`EKv>p-#@N5DpIaPKLV>ESd+V#^D}R$MjFX{kdQMw~2#c((my>fY4MIcLnc>
z$Xz_nrV4JIQi#TYJhH0=05v8yUGs|TW^D}idSry$T*@y}!+m5m)5Q+Wd=v`N1^m^R
z3C@Ok=f$aUiPUCut=~Ol6J`8Ovb8nj?!t}*_ub~p#`saHpWDwycx|rO>JSTEwrnKo
zp%dw6vb@D4+Eaf;b%dViF-gFVzUd4qn`tzsqmL2^aq@WCg_{6Sxc|q$T7V<;DRWC3F*M4<0z-bJqpH-UVa!lu$xJT4;7^Bd%
zYSc&9V~Xp5r|}}##h_etTsu3Bx164}P25-}QN#O9`MKL@N2otJLyeiUX%5xCxQ&`%
zbKGs=|FKodNmn_)2ZC5_nIY}IHA{~bV05k6*@XK-RaRRQux5cSkZF+TRf`pH#wIJO
zH*hfsqdTmffTkh$Y(mc8i}$Su{lqY0kvmN4rED=#lZJ$|nY{#W9YRUCrkUt!6V=@C}qH
zup|&)TJos~Qjkk=YP;lJS$l*0DExHMx?n4x5(*gAl0m-pLEp9sa}56YY3|!SIrgo{
z<)4W7aqf>TMZu>{zqo3Aw`?SLX)VF^(@)?G9`XMB&9*j0he`vR{T|}t3Jp*kt6)}<
zHiO-JiPLJKmH{XmzQXr*I6PQ<%A1xfY)9QSF4^I!929tl-E*KNg}JcUUB@qbEeF&j
zS!;+=@0Pk37g|L-Ky%TJ5j$qK?hE9h7@Ify?X
zDQ6?(q09^XB@^^B(&4gc7(){ake(t26tNkp@QWn5ug;Cd2|~jHhC@;FrIf9H!kTl8
zCFdSEb=UydJ@?#+vQ59EtKKT=|K$E9SDXKlTw>2iBPekR=K5@dzc81h6l~z*+sCRB
zyk#!bOtV|v5epw$lx!?drc{fv(zPS`lj`0w&u95hn*(~DGsmBq!X;1GkyKK+oT3eO
z$gejlFA)a*9&Nha!HXt7u4F18J?PwjO4_L$;43=A(t0s%
zh>ak7ePDTj$Tv0RYkAX)wdm!-uDH}0^T5VhrBb7
zO8}XXXCv^W>{AV~3^O&-DIM4N%!3ujT%8{;A?`RV%wsAr{0@>liV0)dN=OW0z^e}d
zis@HsuQD%Vkv;yHCAZtYNza0W*9TfqITd18rbNR?Z}oOSR}!#U`*RxN^*<^N00Pnf
zrw*-OkoQVUjuNMY|Bsb~7=thAMdDg%7(^7p09cxzsu*VyT`@ViaroEk0<_KOk)ZTi
zq1glmC2i0XMqP%NeuH+Cw*Bpu59n*eljtRPlc^$FoaMa;wPKMxe}vw@Z)L6xr`Rjh
zg_3BwA){t5RD%apCRXoQ$I+?NdYcKQx*11pi^Uo3WPig*^#`;udl|DH9Q9b6W_h`2r6B?W;*oKz#4I2If;NuH1uU1u&lWA#p>{9W
zrEbbwkLQ7B?1bwUuy&B;+hMj?=xVfojznZul{xWW=t{k-R(r8H%sLn#51U?Wu;*0v
zs9FVF`&wfUn8q9)KNeo_s*QB7bP8zKLH8pF@+haH6jMl+7}$*g(WSJ96yJbTySI6@CDju
zj`?Hr48%&7^@E(6(Q(!`g>`-uB27xKjf}@NJ5t@l0)jF*w%NK6Vcdg>FravCln@_@_w($
zV~bIN%_*BXXKFi1-h*lipX=hnOFc&JNPu!sgV2XxF$8kpgV=#@0=?OmY~eYxUd*n9
zhUARgVrA^W_TBhW(o53D1Y;U5SulP@L0_2CHuKpMfxE{d
zQEe(_sH3()z-W9f;4wg=E@F9HcONXREHRoi4jZp>vTE#O=kz&vmZMwMWUn!onN&FE
zLOPPKYHsl4Cm)0VDQE5?ZV%D;Q+`(vZSo76D&gLGsSAWb7RS(zKrM{2$)_t&OMbu3
zTx4)wg+a)du`o`^m<&;+VHoTsZZ_gKDe;Xb`5!DNQwCkjf=CkuW>v(^ik|vUcsj~QtU6B
z0R>h%sS^$MN!fczK7!l)*8WeWtNFG>0Rl3^w57pptq22kUn>y4+UG#OErLfvN;}NF
zzU}U%kYU#hakA8|N0Myvo9cVjJH1z3NyeC%!6zAQVN4Hz>w^lSk!i-Iyp>Kw$)YH
z26sg1ScGGNnyJNT_Q4bQF&QkR>eQSi4$>7#*QQ?rKWYK>hVMH&?J;sZn)@(4Y
zGhJ(yeH+}7DsAa^u^%+jl-C|LVF$CjE;ai?B7dag7n(7}jZm9zOY__q0id{U0m+Oj
zWCb&p6s>4Gqrz`S5Dq5_pfmW<9IogjNk~Tv^Jpfa>i`6r)m0Zt0hf_s!3ko~(e1EGH`9vjLnowwF&;1S7_3Q)>BS;NRd_QMR{1ggwcIsc-0e
zN~VJA(*;cSDFFX%Ob#3U)r7b#veDe(aHGu6TO|A&4dkIHg7uMTh5TaM`=vi@&Ds12
zgZ2}ZH_X-`ov%!>AJOuiVn*T$x#vVJ)Ahd68{o|ZPfl0Bo`x@PtMP)g#SVNPf=14Z
z{#^PYlkeayqd^kMgd9tT2y3@)=@)LUrk|gK%Q6-fl0m(vJYIl()4Ca^QIqK5Gq|MW
zw>Ldn?0iDA5KE^gAEk=_P{isq^
zM=L3+ozXH9t3gTW9>SBwbLAKrk%A3^+$kRum8Tsu3SU-@eE0AlUUY7uNrPFPf=<3h
zG7LWTY%trdIcA!>x=-ORAiu^yLRX~3daa{HDp-ai9PL34_Jjx~(`Fmsb>vt-b#tKL
zoQjIT#Iim#rcYGaOewr)ISqI*8=$Fwu#Mhot&?>!{(ZA8LxV@Az^4~;;`gAL`>C=A
z0b}_Ra{^oX(aII$1+=&4Ckmn6XTk}--*qNiXDz>J@F)d5x?tt(=0Vz4
zFN3F96)35%l$ds_pseO@T+OXq^G42e0&Z<9*&Y;sc*1uFmx_b-Z`yHdC(HeALCQ%c
zrjtYYAS!mQaMQ7`zadb_?2p@wt^_YIo=QMkLcv&ZZ2BG147Yr6c}6ckmLyTtvR7V0
zPJwYoN|qx76k`Or4jp(2Gg>YA_Q>8>vVBX_ynkB@a?s`b!<#1V!JrPv{nks=V%jPm
z)Fw>bFRVRaDjJ<3zIlgH={;xdKy=?eA#b#p9nU^fazY7WPHFMlA-+EiJ-hz4yKDRA
z2!9IaGQ+bs`*Vmo(VfI~hYUUQhWO^l!aq~*TyF%;tQd>}Q3L7^yl@}V)TI4NUUk#4
zVwsB_MY6z+Rh`o?Ow&xq`i-Q$GiArP?;aMYA-cZc870G%~OiiRLR
z#EbMf^oIT*dKY|#lywNHZXkK`e+wg96gO3qZ$>e8eq9);#%}D`wv^r%=i2$s@2&Am+25$6JGMl51LPf@A
zL}@?!{c+8m-h{rdtj}Xo_^_;JI)R6fI&$|4_I7yp9O<{QB2Gw`seRx*J8T7`W&!qR8
zuh3KsT-KszXknZ>iB
z3^fvm>G*|^siOA*EgRn6$+K{(4`u92uRAS@?aXu-sx*cx{BP64@2gRvB456U100n+
zZiwAU3>r>_jn}2*GH7>7a^pu@D1+im-RIaM^pU9_!ebc>R|f2%mjPakb5NIE?tePd
zyr-NME~5mLx&|Rb57Sd1C^9TNhMdERvK+bPLTT}wUgjcOXE#}n8>;1iP!j<
zFMunqsnT)YGpvYi86}(Wks#BB&d^5IV*f&N6@Lku+n_D)QOG022MJ?W^z<*JxZQ8z^cR%(
zpwL+f60ehFcTHHi%av=1p^B@HM@0%<&D}z(1C7I%m5vsU$jMB+4w)o7x1x3f-`~2M
zOnVp!ZTz0rAgZfN)rqwPx~jU1f`tQ!O$@Asn`olum+d>-88bo?2^j`ic9@&i#~43>
zxOh4Wl=nE~N04bzz?qC|EP^
z&u#QF3g%Y$G0mq_12b(LJ8J8GKM%vVDKSxRb}BpwO{RcPYQw2}GI~32g08>X%0Bjg
zrYSdLv1TldFd*R9P@`W!*y)untxvN3A{@qMuZde#BselNW%6pUCTAA;{M)S#20Im$
zM%UW63c7C9FWE%c%=3KT4+G;&-u^$h|nCzz(M!Ka6
zGx(v<{HaPA!R7Fe0a;Sy*%bJ(&2ztLcIRMxMUv%4oZfDvoi&rb;(BN?Ir+U4#f}t+
zA}nO&O%upK@tsP+mA_H#Slpv9ItE-7Y=NR9+SU?{wN@wIIq1o++mFK9W~m3&S;7gw
zkbR{>yaBWoGH?!&72L0wXchO6iJBg&Buu!`vK2R*YOT-rN9`Iq~N0
zX?k3Hwguz6U#TkxUbH!nvMU%rlE?JtBY6wblcq;uRiJf%b9J6Hk)!y%+Ua2bV!ZuY
z6$o~Sv`OA2O|dAJay$69TGcC>Wa_iZRR@(==l6G&5tUu+cp#r(en|<1uV+k39OAoP
z78%E04P?$~4AkiMdwa(X6LXIzeVe+u`xLQ`R_aX?g7sJET2;LonedsU7h?`WhWMWR
z`muHVYT%e(?mYrl?l;!_;y*&vlXSrhRt__Eqg#Kb1v5wdoh5oS>*p(TTRY3r)+(}u
z^3}xSCFgYk)}WyAYv3p|>%f46##X9O7TxMW|6(b1C~$xReA*oY(#G!XQ7WVmy*Kz(
zf`KWF{7%06e}B*Kd=x)2Zu2IbFBtxN%DVo>lTB9H{5$1S`cdFFvSSigmV6v_YGM++
z9OKt1qqv%rdUcIKEwetPdIXmv@|VzZMRNkUbTfYgrYE>QpM!i$Ovjl^lQFUbXQ_+m
zqj?kY`Kp9CT2$}Fuw*38{{1}&TVuYjvP^@n9biYrzN0g9nE)HI%gIk^5{8c1wJkhb
z4xfKBZTAO7fu__p;^h_{lnrXT`-`1ME480Eyq#!AQmJtbq$Ke|(fP{s)QqVQF}mw5
z%20KGFiw9ts}YSn6;jKi5jw$$OWyNQ_#>@OUzc3KqQl%f~MatPyWxVAhegJ
zyqn~L1f4#lZS1{61i}jIW(JqAToXqEwsSdgr=bYE*7I{5eU^}CQ)5vR8b#TO$I-2t
zEq(&rDIPclQ5BrHm7Q8Y)2;XBeaFSjEz#Uw+bWSf3gTM{k1}j_jn;;KVEzj+Nc^;t
zyHx$-bEz$;p!n8lZ%W|89N>t^htvC?%-OoRc400f^e0D2OQ30zR;xmb87UE|!V}_G
zbpS0QuiHx*Dox?mm51hK)tIk!YJ6|(CmIIYQKTrnoIW}hOOKD#^t^2Y;*vIX)TzBK
zS>IoS?sdX+BJU9XHIx>HmCY{{MZf>cRd?!;}yhC!!jh$vM7XzaeBmN)u*f6c^I
zq~TjLlkLYF-)=8P#RP;%oqP_H4%p@Xsn8lK+o?7CevFWg72DQBt;
zk5`pr38WF)vrAKSScfZ7qc(l025b!p7~VM*m{r?FR(?bXuq2QqgAM
z1I<26-bzq?sAOz{mVUWO>R!kaqDH$rALof~9Y_$}_AHi3r!!-D@fHSSjYwF(yG4+9busOIyfs}GE(A4W60<%dsT+X|(8pPYOx|%uyclZZ}W*{Lh+(K;%D5M4M+_r(V*Ndej_oGKnF
zAD2c235EU9`mzk7wRsik8sw2<%-s2)d!|iFu_sQa16C^((d-U6#v||mL1URLAjjf-
zI=uo}E(-gu|F#u|tAo=8KPlgD|AmW3LyuKd5IN~nX0(0djuj;Bx-Bx>c=%HEP`X3y
znr|IdP94eA*fWUCWpYVm64t&$qNj!ddCt#?Db1N(BC;bk>FR`cwxk#ML*hL$6heS$
zBM11AcKg9wC}8bH8cGm>qS%gp=O@>+_wk(p2}8+pEA
zC~hpR$|5zvU?r)=KRGWS_juW)!F;oYmM;^6?a08Lh;(<44d^+8&rkQ*`dJqvDVpLrGw(!
zs8hbibrdHn$rSq@-^{#S6Oh>>Hu8VeCg${u!^WTo@55s%B#{rJiGjX%%tE<#6F@jW
zhS{5N4(|o&GPJ1S8t2MpR7v2?zt-^hZJJ=&T@K^gNW836*X#TkteIzr|FK{+H)x?4
zw)EDx-0F)&-N2xgPPf>5yn3u?;-efI*u|wSO+;kIl&_ZNSbg?{MEwz`=5=-%HZr^E
zB=cp1hbt|oJdOsztm+?zdtmu5nGe4oY$l#(0qsZ2C+!kY!Jh!gTb$Z>x|t$@b<~dLWhmp=G&dAArVENIgFhQ3
znHD8Gsc{lT7f^dgizn4-S=1qM#na5<-99J3FcOw;4rQdR(X|c1;`3s&+P|q_Ym(JA
zYFiTf;%PbEvtdp2YNW}6ki2f_T|JVm66G*w9nM~s;hpLT@5#lhbdSo
zj_y^5gXfc`YOWq%KSYLeND-ob1%DUyr<>GVOy9N7X9@`J5@prNSyk6q-TC5p2uTx-
zr=n4rg+xNvE-}nF%gky;xyGNy-Kq;om7IEDXnlBT5A(tih9DA~JTw0FNBmSiti&qw
z?5^^mS1i)eBX1ZvLBOMs6+|K+#YbSGBY1$W5|L2rbUjN!%-hY3>JxX$zcs`IlG!s}
z?j|^p3Xd&J;R=|5tc5LPZLP~qX>s6$vyG7U7}e&LnlXkU`ZoU1LJh0-nIc4nNf
zf-@aw`0~py4hxD8kHt);}jZmR@(mRkd$aMvj>x2a3jLQ%qJ10KC|st+DU1Cf!b6c
zmzH>LE~k%b8?JiV4-s?<_!{B!?9cKsYeuqL=sPU;d2VAHbTtn^Haj^FT0X}9Gg~k-
zd{t?kL+j@a>COxsYoyr?Gf%w5gxYlG&RTc!rqaW0um4&|L1_~kDb!nkb;vs)Gfl%%rDZNiv-
zj>8s)4CuG0gOyQcnHbStOtLB#tEi;|2T_5$tU<8ce
zETWsUD^{azZc5Ve2;e6b70n4L5%yi6BGNj$K20UtpS_i&x8i)_-GLujsl}KBaG_8uPC^scn0y4U7Nfv8<*9J=NPhsAh4&BI`&-vs<>*0B{g@j_3
z7nPbepw?FS=#W$(c;O0_4UmcBO|@@evgdSN`xz)g_Q@&g8RKnCuFM5`c1P{cunf4n
zOzgH`Bmdc;h(zh&$ZRVyqm|g4*t4dwIk(WG-i<5N1Uy%m$8JEOryT~fq7P0Dgb}mO
zvMWJFS;}Ddc2P~6d#rj~7?yJNmDq2z@Wp78{&f=aZE
zu2cG+n!$Lu`}%h2(S2xeL$tAZF2GK7Yri8*%R_2EQGKh*Ch9y2!Br&{kX
z7cHV^LmMtbf>t-CuYJ39&k^5nyxzjBlXLU_f^}Bl-=HIw@mw!+yN}wE-8ojcC3lsL
zEDery>2f2YgN>14{%YAfJfZh(z{`KNEMNIZvag=Aoi3Ds9r+H$x}5yBF-v-}&`5DX~HR
zLq&dEDh=zqnS;IWY<1Q=_+OL!H~xp`|BH|SKs*!x{9lHVnTZi3;r}qmKL$YF
i|MEmtByy^#kPeAuZu~yC=BN#^lU?8X-tD^={44VDmN%PbC(({}f9raz
z^9224^VRjU`;+QF_5=3!-Y5R&?Z3UBKo8rWTL1gL#$JFQvYxXa_`h$y7(c!L*ZtA=
zmH&I{0sq&6chP^|{}_B7{_puI=U?MrB>h|Z|LnK*-)T(I_3x;^$iB&a+x!piKlbmM
zpS=Hr{{`Zo#;@W2;=VzDBmOo0&-{
ze%t;N_E-1+{+H1IoPS#X6aEMHNBqD4|G*F8-_JkB|AYO_{{#R3{_om9>;GCjl>Wc|
zhyMS#7xF*opW*+$f1&?-{wM$c{~yJ#;s56Uc>g>5RqaFbAMc;>|Hpr;{i*u|{!9HE
z{kQjD^WXh{(0~8`|M#K)-`h9tH~-IcPuPF{pSt9C|2o`v`<&R8`^Xm94SDu?60NIO
zqeuVu2bl5yZ*>zt>v+0pK3rGsSgHL@%dT?EE4S!V5YMg?`BMFnWZ{RN6r_gK3rGs
zJInhJxrv(Z*a}_%%V#IjF>_Tu$25i316nPx$S)+D9|&eVf!_
z1YssEImKE%rqkQ)US1nL%M6W#zsBkGzfCfdMuIu1#9nomhc0E!*Mra2843-$+gi3<
zb|6M8(B{iWBOc6C=`U!0Tf~KWc|@Q_0$g0aDm%$3}Kx}9Uf2s8y3&c_zSL%KVxljxbhLfox*BSMI;bT
zy-vz!qRwP=FE#@f_BeIc!bdE|jMjvMz(g33(#su`eC(PJHc+S*p#Bvs!OKTZ5_EUk
z9>1(oM}2q|-$R&5V47Vn@voLD-~W>_=s)Qbh!rv7cF<+RoUXlVf*Zy>v;r1jmM!?_
zyS)hzCp5VUz4f3@dXJX<6TbTB$p|G{HjK9Q=EmEdwVEPV)Y2EHI_}qs#vd&vp0g(s
z{!tpJ@kKhRR@d3zgQX(l;7w3@p@Rtf&tt%KK{;;*OrN1~8Bqfy4m)mgb?j}q$-cmpR3N-tG?x@rq9rpUe!jucnK(?eZeAAcEDy8
z=Fz4xe3gd+wIzfIZ39*mDl3hF_Iw`>DG>Kl;YDJ!JO{e#u~eUdU8X;yFZc2)Abh6+~nqR|CZBi?miYBmg}%
zoHWB~sw&Wj|3Lrl%McoEz;nbE*1QW?3{+{0`}W&j7~=b+lP@-S`q;OS6xZ?Q&FogC_~>t{L&9Vp^pc`u=X%=LE*
z3U<&+Tja)ttmd#2nV>KV4XnJcDBgGfpS;Hdn40d&@i(+ae?)EpyBfBe=tR$05i=#r
ze6!6SiTnCF2aS+w6+R+7I|{We@s=AmlwOVU7XO_~Pv4085jzlCtxWM$Ao}w7^E#Yp
zZj!M;vAA0)6;10%`qxs*wHLr|Ntms8Rz6+cxjl2r{TA9;QLyHq>$&GM_)6*F$ZcO@z1^NwLWTzN7-MVX@DED^BBRE
zB0|s>HU=)=xREQQz^W8S3toz3heKJ&|D~ZF;Tg~q>30InvM#QfIcQ%{n(veRu)J@%
z^Gxp4$Yk){6jUXYXa}qsAdR;l^A~q+e?%097`v6ciK;Gkd=h#GgH$}CjcfkF+K?Rn1^_1!cD3_{z#+}{kR;df}o$E3c!2ikyR0s=HohL
z@0mp|b6D-l7e5lY!JKeM0)ayn;BmVN&F!U6=Yqf9hcnzd5n{t(jQIttq9B%gWS+u~
z8vMal1A;$$XJhw?W39WKOH>E5s(>klAjx?+FqP<$Re&aUU^6b=*aNS(E%{{X;^>7@
z@ITU8ZB$#7{6~C~-wZg0?FG6m09#nqVvqm;01KBSdGb_6D=%FsZg
zDeE;eHV~oigg#bO)+}A|{r|TF9alTWmp#0ErT#Wjd_cTgj|E^c%XE{RlOqm`SS9WR
z`o)>KwKgp{bYEY~gHl)iDBUbB`r&i6fo^EOD)7{}V_Qx;T9iAEZ%26s06hbO
zy!{#yts_|Y>)(QoUm=POzhVdQi;v6Br5ccDvJCM9=e0RwwLB}{d}dEjJP_<{Q9qlv
zuJb}TJ;H!-85n@(JlQ;)MjxB()D0Gn_jy7Ipg_!-fO=3Bnv97$71i1J4VeN?gwCzNUHXjb;>P2
z>OPB&B#LNGm`MY^>YyupRP^XJPzxSKs6f5~?ZrfDXr-jtd(9np3-{%R?$m<7fL7=8
z&+u9_VEB2eD53$)J?mB3<+Jw6Uhk6;4;D|3%f4!5#Dndf{b}YPqe;O~XSt~sBXFoQ
zw()y~o&=32Am7dj11#=8dDX3DhNOH1bwtOJ`O~tfqyg%!iu^khCYlWTO)`gZ?EezW
zV+*!Z-X@;n=i0KSOL7DfJ-Cs{31oES-WNZ4jr9je2#b(m1eoOf{DmFS43nD#kce&t
zr410z6|9#(;)rUgST7~OjYHUNO_?}a(_tLId9KDBM>d`r6p8~ed3WUsRd&>Nyet56
zp&DquTnvN{#ue4oiWl;{k!3>Sy@8&7=VMA5X42Y|{
zKppC4$jg)%3%-Mu?^7dKIDh~EjARim!fMVez@Q%jRY$ZBfCRyY&`tqU9c=YN*x=Uq
zoAqx4=J<`I!4%-5zGfBvgfWlB)5;O*h_BVVn=igm`eqzZgpb^4GX!WCst^8O%#i%E
zoPi?Z1ii+AG@<4&Y^F_h-8Plh6_?-0xyX=C8&9{rydVgk9Aja)C)`0Li6C{y0w8jz-L+o!q=vG=?{2d}k{aBsre3dh`pZ&9vyy7I_xmLnR&$K$T5GOZChUYIb<@?|*M~4jV
zY3g(QM%Nr{ZE@s{5;A(p7Y{0H`cxBkUjdJOOl91_;a>Gj@PcLb$zN6VPB#^ptXi~bMnC&_PsGl
zicC^slN6bt8p7H;mfmYa1FwTQ>1M?$-U7K$NW`JMV21|?;vHAP#1#pP!iqqB6%~tG
zy;KKMTQS@fH+8*Cnh1GsN1?)~u#s~4xBcOmg_#1!z{H4vCUspZE(2cI%12*zj4xb|+@cVpNQS#$
zJBbTGVP(A`ZIzRC5O`~45nZNSAAY$&IrWB^AlGPG*tvS@;(@;2G0#!zTQgsAxqVe^
z9~B0RhOlvbkj