From d34db0e4e0c7fd9057545148829e13d990cb4d53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20V=C3=B6rg?= <voerg@users.noreply.github.com>
Date: Mon, 8 Dec 2025 15:53:15 +0100
Subject: [PATCH 1/2] Hi Cairo, Please integrate the Scale4Edge.json at the
 Unified Access Page.

---
 ips/Scale4Edge.json | 64 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)
 create mode 100644 ips/Scale4Edge.json

diff --git a/ips/Scale4Edge.json b/ips/Scale4Edge.json
new file mode 100644
index 0000000..21a6da7
--- /dev/null
+++ b/ips/Scale4Edge.json
@@ -0,0 +1,64 @@
+[
+  {
+    "Project": "Scale4Edge",
+    "Name": "UPEC: Formal Security Verification",
+    "URL": "https://github.com/RPTU-EIS/symbolic-pmp; https://github.com/RPTU-EIS/upec-boom-verification-suite",
+    "License": "",
+    "Status": "Date of Availability 2025-04-27",
+    "Description": "Unique Program Execution Checking (UPEC) is a method for formally verifying the security of hardware at the RTL. UPEC checks whether confidential data in the system can be stolen by an attacker (user program) for any programs that can be executed on the hardware. UPEC detects all confidentiality violations that are made possible by so-called transient execution side channels of the microarchitecture. Spectre and Meltdown are well-known examples of this class of vulnerabilities. In addition, UPEC also uncovers all confidentiality vulnerabilities that can arise due to design errors (“HW bugs”), which easily occur when implementing protection mechanisms.  In Phase 1 of the Scale4Edge project, the security analysis focuses primarily on cores ranging from smaller in-order cores to larger out-of-order processors. The focus is on transient execution side channels. In Phase 2, UPEC will be extended to entire SoCs. SoCs pose different security challenges than processor cores, including secure system integration, functional design flaws, and system integrity violations.",
+    "WI": [],
+    "Partners": [
+      "RPTU"
+    ],
+    "Comment": "Image Speculative program execution can enable side channel Figure: Speculative program execution can enable side channel  Unique Program Execution Checking (UPEC) is a method for formally verifying the security of hardware at the RTL. UPEC checks whether confidential data in the system can be stolen by an attacker (user program) for any programs that can be executed on the hardware. UPEC detects all confidentiality violations that are made possible by so-called transient execution side channels of the microarchitecture. Spectre and Meltdown are well-known examples of this class of vulnerabilities. In addition, UPEC also uncovers all confidentiality vulnerabilities that can arise due to design errors (“HW bugs”), which easily occur when implementing protection mechanisms.  In Phase 1 of the Scale4Edge project, the security analysis focuses primarily on cores ranging from smaller in-order cores to larger out-of-order processors. The focus is on transient execution side channels. In Phase 2, UPEC will be extended to entire SoCs. SoCs pose different security challenges than processor cores, including secure system integration, functional design flaws, and system integrity violations.  Links Verification IP used for UPEC verification UPEC verificaiton suite for the BOOM processor Visibility Publicly available! ISA Compliance Not Applicable Status Planned Date of Availability 2025-04-27 Contact RPTU Kaiserslautern-Landau Wolfgang Kunz Gottlieb-Daimler-Straße 47 67663 Kaiserslautern Deutschland  Contact Email wolfgang.kunz@rptu.de Contact Phone +49 631 205 2603 Asset Reference Formale Security Analyse (UPEC) Target TRL at the end of phase 1 TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle Target TRL at the end of phase 2 TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle Component is required for safety critical systems Nein Category Formal Functional Security Verification",
+    "Category": [
+      "Formal Functional Security Verification"
+    ]
+  },
+  {
+    "Project": "Scale4Edge",
+    "Name": "Moonlight",
+    "URL": "https://scale4edge-new.edacentrum.de/node/112",
+    "License": "Send an email to eyck@minres.com",
+    "Status": "Date of Availability 2025-07-31",
+    "Description": "Moonlight is a subsystem around a TGC core developed by MINRES. The Good Core (TGC) [1] is a highly flexible, scalable and expandable RISC-V processor core and the TGC variant to be used in the subsystem is configurable.  Moonlight contains a configurable APB3 subsystem with a customizable number of different peripherals, e.g., GPIO, UART, Timer, SPI, I2S Receiver, DMA.  It features an AMBA-compatible high-speed bus connecting a memory system, a CPU, and an APB bridge. As optional additions, application-specific components as well as bridges to other bus systems can be integrated.  [1] https://scale4edge-new.edacentrum.de/node/112",
+    "WI": [],
+    "Partners": [
+      "MINRES"
+    ],
+    "Comment": "Image Moonlight Moonlight is a subsystem around a TGC core developed by MINRES. The Good Core (TGC) [1] is a highly flexible, scalable and expandable RISC-V processor core and the TGC variant to be used in the subsystem is configurable.  Moonlight contains a configurable APB3 subsystem with a customizable number of different peripherals, e.g., GPIO, UART, Timer, SPI, I2S Receiver, DMA.  It features an AMBA-compatible high-speed bus connecting a memory system, a CPU, and an APB bridge. As optional additions, application-specific components as well as bridges to other bus systems can be integrated.  [1] https://scale4edge-new.edacentrum.de/node/112  Visibility Publicly available! License Send an email to eyck@minres.com  ISA Compliance Not Applicable Status In progress Date of Availability 2025-07-31 Contact MINRES Eyck Jentzsch Keltenhof 2 85579 Neubiberg Deutschland  Contact Email eyck@minres.com Asset Reference TGC Cores Target TRL at the end of phase 1 TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle Target TRL at the end of phase 2 TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle Component is required for safety critical systems Nein Category RISC-V Subsystem",
+    "Category": [
+      "RISC-V Subsystem"
+    ]
+  },
+  {
+    "Project": "Scale4Edge",
+    "Name": "QTA - QEMU Timing Analyzer",
+    "URL": "https://scale4edge-new.edacentrum.de/ait-and-stackanalyzer-risc-v",
+    "License": "The source code of the QTA plugin is freely available with the front end for AbsInT aiT file import at github under: https://github.com/hni-sct/qemu-qta.",
+    "Status": "Date of Availability 2023-08-31",
+    "Description": "The QEMU Timing Analyzer (QTA) is a QEMU plugin which extends QEMU for the time annotated execution of binary programs. QTA has been tested only for RISC-V and TriCore. As the implementation extends QEMU through TCG plugin API it should be compatible with any other ISA and all future QEMU versions . QTA comes with a frontend that can import output files from AbsInt aiT WCET analysis.",
+    "WI": [],
+    "Partners": [
+      "Paderborn University / Heinz Nixdorf Institut"
+    ],
+    "Comment": "The QEMU Timing Analyzer (QTA) is a QEMU plugin which extends QEMU for the time annotated execution of binary programs. QTA has been tested only for RISC-V and TriCore. As the implementation extends QEMU through TCG plugin API it should be compatible with any other ISA and all future QEMU versions . QTA comes with a frontend that can import output files from AbsInt aiT WCET analysis.  Links QTA on github Visibility Publicly available! License The source code of the QTA plugin is freely available with the front end for AbsInT aiT file import at github under: https://github.com/hni-sct/qemu-qta.  ISA Compliance Not Applicable Status Available Date of Availability 2023-08-31 Contact Paderborn University / Heinz Nixdorf Institut Wolfgang Mueller Fürstenallee 11 33106 Paderborn Deutschland  Contact Email wolfgang@acm.org Asset Reference aiT and StackAnalyzer for RISC-V Target TRL at the end of phase 1 TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform Target TRL at the end of phase 2 TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform Component is required for safety critical systems Nein",
+    "Category": []
+  },
+  {
+    "Project": "Scale4Edge",
+    "Name": "muRISCV-NN",
+    "URL": "https://github.com/tum-ei-eda/muriscv-nn",
+    "License": "Apache-2.0 license",
+    "Status": "Date of Availability 2022-06-01",
+    "Description": "We introduce muRISCV-NN, an open-source compute library for embedded and microcontroller class systems. muRISCV-NN targets to provide an open-source, and vendor-agnostic compute library targeting all RISC-V-compliant platforms for supplying a HW/SW interface between industry-standard deep learning libraries and emerging ultra-low-power compute platforms. Forked from ARM’s CMSIS-NN library, muRISCV-NN provides optimized scalar kernels written in plain C as an efficient and highly portable baseline. Additionally, we provide hand-optimized vectorized kernels employing either the V or P extensions. muRISCV-NN is designed to be lightweight and modular, and is implemented as a static library that can be linked to the application software and accessed through a single header file. Furthermore, muRISCV-NN is bit-accurate to CMSIS-NN and can, thus, be used as a drop-in replacement with only minor changes to the compilation flow. This makes its use with higher-level frameworks completely transparent and enables a seamless transition from ARM-based systems to RISC-V. As a proof of concept, we provide full integration support with both TensorFlow Lite for Microcontrollers and microTVM. We demonstrate the effectiveness of muRISCV-NN on the MLPerf Tiny benchmark, observing up to a 9x speedup and 5x EDP reduction compared to the plain C-Version of CMSIS-NN across all four benchmarks.",
+    "WI": [],
+    "Partners": [
+      "Technical University of Munich"
+    ],
+    "Comment": "Image muRISCV-NN Logo We introduce muRISCV-NN, an open-source compute library for embedded and microcontroller class systems. muRISCV-NN targets to provide an open-source, and vendor-agnostic compute library targeting all RISC-V-compliant platforms for supplying a HW/SW interface between industry-standard deep learning libraries and emerging ultra-low-power compute platforms. Forked from ARM’s CMSIS-NN library, muRISCV-NN provides optimized scalar kernels written in plain C as an efficient and highly portable baseline. Additionally, we provide hand-optimized vectorized kernels employing either the V or P extensions. muRISCV-NN is designed to be lightweight and modular, and is implemented as a static library that can be linked to the application software and accessed through a single header file. Furthermore, muRISCV-NN is bit-accurate to CMSIS-NN and can, thus, be used as a drop-in replacement with only minor changes to the compilation flow. This makes its use with higher-level frameworks completely transparent and enables a seamless transition from ARM-based systems to RISC-V. As a proof of concept, we provide full integration support with both TensorFlow Lite for Microcontrollers and microTVM. We demonstrate the effectiveness of muRISCV-NN on the MLPerf Tiny benchmark, observing up to a 9x speedup and 5x EDP reduction compared to the plain C-Version of CMSIS-NN across all four benchmarks.  Links Open-Source Repository Visibility Publicly available! ISA Compliance RISC-V for Low Power SoC RV32I - Base Integer, 32-bit RV64I - Base Integer, 64-bit P - Packed-SIMD Instructions V - Vector Operations Status Available Date of Availability 2022-06-01 Contact Technical University of Munich Philipp van Kempen Arcisstr. 21 80333 München Deutschland  Contact Email philipp.van-kempen@tum.de Target TRL at the end of phase 1 TRL3: Nachweis der Funktionsfähigkeit --> Plattform ohne Parametrisierbarkeit Target TRL at the end of phase 2 TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung Component is required for safety critical systems Nein Category Software Library",
+    "Category": [
+      "Software Library"
+    ]
+  }
+]
\ No newline at end of file

From c660b135cfee7f2760c2cc16547c8f661cc45f45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20V=C3=B6rg?= <voerg@users.noreply.github.com>
Date: Mon, 8 Dec 2025 16:21:17 +0100
Subject: [PATCH 2/2] Hi Cairo, please add the Scale4Edge logo

---
 images/Scale4Edge-logo.png | Bin 0 -> 21801 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 images/Scale4Edge-logo.png

diff --git a/images/Scale4Edge-logo.png b/images/Scale4Edge-logo.png
new file mode 100644
index 0000000000000000000000000000000000000000..abd14cdf1451e4332a7a60e1335c8fba1b170159
GIT binary patch
literal 21801
zcmd?Q^;ebA8ZEq$?vzex>F(|Z0VzQ@jdV9iBPk#tT?$A`DJ9+A(y?g-q#N$yobQJ-
zzA^4!aQ7HnaIkq<?~3`%XU_S4)Kpi%L?cCmKp>b(in6aD5I9!weHaQ7_;-z@dmDT~
zby75Ng+S2ppWbkg^h{z11Wm(6Mn+T9+R@F?)!NaCT1iHR+R4Sy(#FmL0`Z#9(zepk
z-X#>fTt1UliTv<c#qrg16zW&f(H{sB7+%t#;wVSb<jp<TYR8q6Lm=zRjf9Vj`w;V7
zixndZ?GN$>O@3TRL1fgx?V4|a?M(CK*6>5!toU}>X;#fBavKUpiXx8|-v^BE(v-NX
zA-!EaYa8s6L1=VN5FC^ma~jusS~$p6fT$?Ti#Fun5IC<%bQDONT1FcudBh|3o^;w9
zxDTOlZEgvIDkvWaAd)_D(uEL7dAJW*Ul_C@xd@PVgJz~Mh$b849b@3uB;-TZRhlmx
z#OO24bGY0D2sOS%q%6c*1X4EoI!X?r&j}&0ROu3e{9%J|D(P7&LaKg3+D35Dt05>D
z5KgVgFlGpXFXUYxEv*+MGz~%^f1)RP%u<1~{SwSnTD52cose9R5el0#vYsA0CDVu!
z5eor7^cgf=lD)$_jf6Xh7kl+|2m;AXcn<FN^xkU(t72q?Kdv6@E!$oz(&GzLQ`p1i
zXsMGVSTVPN@ds9p8qyCUNFVGU^63u|tWD5!-7ljptFa~PAi2BqdZ$iLb0e4csbOwz
zb7SL=a+kCbbU@Gl!K&kJo8G<Mb%5yI<@xIGb-EyK;~)iutJRL7Gu3b8qlu`Yri)wg
z3U@!zAMYq8Uvw#%Ht4@3fN9}5$H}J0oN|AA@liUFxto6C(R_V{^%h=yg%48oUL4Lh
zfvwos4E{oe5l7#xZT%7gIcaiipJGCR|6m=mHtP9!Byq2hOAq;Asg&ppftbkBvFi-f
zNc5sWAhNkZFRP@;&f1At+mOiH5f|Ih@80o;O4D_9NaIMOnSUU6dB<E9EX@=?Tt)Hn
z9mkX;1#g>{b$F5!7JG;8FDx-9>>DUbb~{sZ5GsOH9|}H{W<C<mG)kW~4uvQ!?24vc
z5dklnj=DdRK<kA{0-qw+t0*06T}6r$F_&jT5pU!h6GZwT+`)I@%?ezfgQ~T}rZDPc
z8j1x-L*?_)$IRWh(&GtpGsawMNyTFL^R~xIt+D6h#btUq+jfYNdAjU4*?T&re+aUo
zCYcTXcu|H?+Cy6Px(vSQ<GI=B4^ITVAh|YFegscxYAB_YqQ0uW`X9w&YH~VW+<8<1
zRQOP>4#pQr#VWN7jkwoc#HQR_5&DX(v@>||_#8OCkuqHZba)?SxEUKhJyZJeRc8Wk
zLVm*G740tT_Y7V|Qre{cd2`!pWTDTj)GU2r8(ABj8$26i8#E_IXj!I`&R?&z*O^`o
zyjLdK#M$KCM6&q8Eu~wK{%WZ>PY0JT-cY(cul`k~RzxvAuY0=Ca0sE2%D3|T<VjL%
zBI`?=${n{x+@)kn_0%!FiNRfkozxxpGfxc6@aG}DkycD38N|rMRwSOpm0wf~NhYI7
zdUZGjxc0wnr(vf#>gvC&f9dx;VE`>zIhi4u>?McJ_maYr<q~w=Q{6$G`0pm#{uT1N
zJle4Ds8cDWx+Phf``TpMR^LU6BTB4_9d#tW1{mCbL^9}9?bML@s+IfWEv&hR8r_Vf
z#*3B47PB<mJ&3Q1;m7ctpU2ClFZUEp(PAav^Mqu0lzH@OUY&lnlt6}kalXoQQ%Buq
zDoQ;Kh*~B%VqRw^E96ye;IepQTauERqF<_5s#U76-@;#UP?S~JBG+Va8-yj*tIYU@
zQNb#H1Tkw{dro_)2(5@vO-%T_g1yA{8(ChHtY@o3(czcu-zFcjRUM0#y<4_#$o)C)
zb?)tNip~`<^pR>X=#UmLMu<hb`J5d^DL8r;j<sZrJ0)elL6f1WYoQ4Z<Dv!A^0D&R
zF*ZGKV01A19{ZjG1|$X=1{JkEwZrsRY7K?Vg(9jVs=dQQ!}-HAX?z)CT(jKU8QU4N
z87n{E8G0GA))&|RvQVntFf24UtZ#M*GZZrTrmt&gTq9qeRZc(CRNhpCThySQq+Xgm
zW7S!8T;E^+{U=G)<{zYmihBEcf2fryk=4)ciq6BNmL&g1|JZvmWXy;;tWpX?iU8MI
z7Xsne!prF+nTHbo-DfGg99H_HIHP}fVD<Qe%w0BF+8L7yRzy|}t|6z9(H~WU2ia4_
z*)zy`mik&Yl-<sqjn{l8&a*OVGCB^57b*|=4{Z)37ITJpbC|OYcwEOi`(#$NHpeB<
zbCNl2SIPo3WHf@T>b7Y)%s3MC%4e&7e)BB3gdP!zUx>Tpz{Fvq0?XXX25*N1+J5%^
z9MtG^%zhiTA`?jaX#VK)I1VZLKo4gH|1n4^$mrSam5(1yYn+7eg2hGk+<{a~ZiCcw
zsrcaX;LY}O8tcBlpUP=2x4(=ejM!j>X$I`fj3Gm}pwXQH7>r>NVS3>baZZu?q~lzv
ze4gWrGOjDKH?k?R%NbT&8bXz9%6u=yOW5Cw&I>g1HcIrcTN(^a>u2dJ*{P5VvA?X~
zcd+}ta(8eVv7WV#4)Z1Y!qI2!<efLtaTZoY_?;b(RX9abHBw#h^FJw^m&JrJ^e6b9
z^l@n39TXi_FF3~e$0Ps9ym?8fexmqN%_s41LNlK?T{q7+*3E`c#_yk+RWVhUGK8}U
z(><u|xy6KAxIz*WJ~>O5(5NNVTkTnGS$YhXS%g(TbUQ@<<e*GO?zgS^REB84hE^|K
zxT9mpH2V^{+R8%DvUT|5fKW<lHp}qAP|d)?CxOhPoW}#a4!pI*`fuSXdTbQ>TP<bp
zg{noJy%*46&k<R|Un7-?{)(!9X+Nz|dZ3qD5zxZmqh=dq(moK}UI%BpkFJZh8Royg
zID25Mq0eEkQU|>W&mt3l{xPb8V1X$0dEg(WMXyb=2*-iew8hW0-%Gn1%ttLJEO)n-
z*|LqWQc6;{Qn4H`=jLlMS6<g1oL|T-aHI}1Ei{GH%QO_UivDW0DC!>>7Lm~Ts&l4u
zqr-nVu~Y}0y>b{oB=c>);Qc$jVAOnhFW&!qK^IO}ZQ63$;#TRl=2D{KW6ADS%B{U|
zxw^gcK`;CS{5>))R{d<l)HKC}n9i&C8J2wotX`_$4_QZ^Y?%C*y0Mu(>$Fa?-W$7@
zs4JJ0n8NcOF}`JM$dgna6jl@*@1@gE(&aO>({GJTjT$wE#K&j$mVNFN7O1c@c|{Gp
zl}~m0ZRU4_CzGsBMq{#)v-|_tuNU7f<k$Odn~kiz$96nw#Bp1jkb8{Y7HJk4d2{m1
z?WB5P6JPI_UV5eQTl+n?J<*4xNsZp7%%=2;hBvkihdwQJzLuA}WZ42EOJ^<K$AphF
z)7e5|OD(59j+fn+=PQIu0WOU9BZEzIo{Wd(%^J;b&m<3|=46&4rX`FX7XKVA2EK3e
z%sm}nRJcS63mJV#IFHAcL5xp}9}LF~-_I5l7ZO^RaJk>TE0P&CA7#iUddPnmtRN!f
z2)LTwpB)+hGM<-ulA6?N@AvI~uWg^Ca-pZAhw^v77Y~=o+3VYbcF#pmilc%RY>f>+
z>OiJP>+2uq+G9nxNhC>0j|lKzPVdZk*cJfaq&8E0r3Qic&_f^}LLiXqNAPtQ0&(Yr
zK=$52Ai`fD5F*FKx83p(h_a57tdx$|{NF539i8o&h(M*omhUfLzWc~E+|@-_=vgqX
zkMEnx&x>gD>;=k%?-7&Qr)5@xAD3vVQ0vKv?-(*fW3?F@eu3nYu|pr&R$3Y&>as1+
z;78K@vrki6F42RjC8eaKj#nV=xJ=*$)zSp7j{Mx*+)z3211Z$#VDQ2tL_|cSXGH@q
zWqkth`dsz@`}BW5{y(4o@5lf5)BnBrf3E$%7yr+-|M%kmz4rfQD0qbbuME^nr=zi5
zT<w)7lE8ZnsdNWy=S0M=k6Xo_>6lt&xS?F(tJiE&Suo!nXclDFisn~9G&RcGh?GRh
ze<6C3iSMJqcTDL1)T8bSgYEAk*KJlKDv%`X4q8Gh!kKy?CA4d+H*83~wv@8qN{9~-
zgBf;|0)ClHb2zOS+|UFvnwWV6@D~NMPs0P`T@w*yof&W#(`C}v5Tv@~`>_6ovJN8J
z7rn|A|AAdH;lzaAoXdJ9rQ!@pPhzEx`~z{$7wSSST#YCTX39p=YDP^L-THJS@SZkw
z+=x1gFPz$x_KK#ITAee5^F7b}s8tZz8N3$_%lLvD+<iXj8G1>r6NT6iY^P8!H^ceN
zWaqgi)k^e?8LG8dN^u%YNi(@ulDH1F!y3M?#(2DTn~e8p2@Se|ghDHjFVv40d-xXf
z?q}?$!a1o#OJwK<LnO@RlSRYoHlcW91!3N%6O)cbf@X4f!Mz))a3x{Esq&gxUg-_W
zy!yAj8N*gXgPP527PrnHsl4r+(@i7183b*-8KG<A$erddWRH27RG#HAoq5ysonGXE
zEBNfI!;to`{!L{|Vz)dS?q8r$stKcZfj7iLf~ADU20Xa4y^+B_C2k}kHT|IV@pqxh
z4(!d0a%(Q>9?X|!a2`?WO88%JN(famUcR6i3T^+FEyT(X)bH`Zl8*nnMUTWE9&a8+
zBX5;kMPhA1jvIZZ$dff5AdYTdG<lf6??Tg9k&+8D#ghHegClP*?^?}=kU&NqxrpFh
zA(DRK2k)GZ=p8TbAbDz{;?zQv>s?8Y0JWtVJ%xb9zsf76UTTHUN6;=FcmZxoezq=T
zr}@o?kwHXo456{F^>H<+RAhU<H7ks6`nkOs3cE4q_6i!5A?bmAEEHS8As_Wduo_+T
zJ<e2^GHg-iR6AGZMU94X!<~;D$r${_mdoRyXI0k!T=h^Cs!NEfYd|2(v7L9S++MKx
z9t@mND$|<3)n`dtf*IZa<4WND$E*9<9KH^01GzCwlfG%*#(Xl34}#+u10hoJs;{5M
zq}6fbi1*r?cYgFRur_m0ay!|tSc5Ls!a&`O-`h{_?%|Zp^eaceAJW(k(=V!$Et7v0
z#2fQN<xr#XW&)F{lxfETJR}+`Qgip;k9WG36KCn6jrs5*y=m=k2TLy7T9r;bOeEn}
zhXfV-J^uXv8+>%=w2L6Z(rlD-X<ArD$6ka&SDV_hdn8P)^}EUAsL?>8q-pKj^w4ub
z1wC-DBON7TN~pG)`kB!?M3dtjWi!&xee@ao+RR@sqr-L{TdU$i^G>A+9jfB;B213Q
z&Z;%?iwfPyZTES73T|f$($V7RSR0QKBJowJ26y(>LZ1g4O*AG@8J59zEZ;}MZE-2<
z$1Cfvdyz6{e>l?GzFM9Hrv>&)96e_Xku{9d1z#sZ<~wf6Y9nEV*j%Sz;iR#)cwUBy
zGY8)$Y`XVSoKG0qEnd%@*T_w2JR3FcU%s(cEF3z5KDUa@7GFGfB04_WB)>R1>(tR`
z>!!OQz}ewb+jlBD9w2-V7y3NZXqffvw9;m6Pg`tAIm@9jocJC2^sa5=SyyBS-c0U+
zIU0Q#G%VTtV|W%-Fjez9S={X1n9nx0I@fT~)a-$mUPpE2jONi@`wxbAA-D;*2%+Gr
zx=&vh9!F84iJG6id8EhbA(d*LO{D8zH@PsB&NLTqfzC3j+1(nHG*TQb$99U8_!P~#
z%mroT47iF>kIt3DdG=KsgIyiU*|YisrL^t^>HXs1FXrM7wTE-$RZ@qON|=Iy7?_sd
z<%S_|KX*TL-3KhOu=;aa``}>4Rx~3k$Z5Pp^EY`#aMN4@PWL7>Vf(<l?%pkZIkLl)
zoB}U}X@t1BZPR+$O0H+piOxVW)B3`)Ww5tHIKtQL!@<A$lJ-rrfZ6H9T`>%M+QovM
zitlajGBrCIW%P&pU*q%;2k6?KD<e+YO|*i;gBsqC5NuPZ!5PDdqpIy64CM~Gv#L>g
ztf&dx{~|bkCo;XJ3E=zDDzy997{#QG`(Nklq|k?tReS(bePS)HO{tbNBi<2f{30tj
zMo21DP@MeRnoRKr(O_$2t=}nFbQZpvl?cTQgDR=YbZpiQ^}e}uXWPUZQjwqINg)<f
zU^d6k^F{6OEpF?h%RVlOE#8+cZA~iye7gmK!wv8H12R_dHU|F_rXrlF-!%@7JZCQd
zmS8PJ%qtoZoY!|6D%k%l(M=?BU9Iid0HRgK1pqyq(T(q_on;xCu5q6Xb#ufR!|cUn
z9sJ(vX)+L45D`GIH2tk}LPjF09-nzNqCD)y3OJOpjXb~F#Ssm{X@9{DmKmf>I&i5n
z;5|)>4Zjjkq0iS}tc4E)=f=ciE`l2*-r2p6p;f=&RNBwqN+T(4_@KOakOj!!G23DY
z=9e*~P++KTl2M;fJ216SWGLC9LE59uLVsh<;ghAHbau_{546&syLdNVvtzw2H;^|n
zt+`0SRqix=89B5!h`L=Nel~C1igtsgGQ1c$IIZz5Fy>{~wKUECJ!?NVdNcJ3K-zM)
zZ~wWZiZeC1C{8yisLdK^gPt^?-r>kQ&`F$D)!~FzHmP;_pmfX(ncDj{<k<K)VsKhF
z%9c+LN_d#Cf005f{cH06<(PXN!o+<Xjy#!W2Pwg8$9n^C8*}5aZYW4<dQHWL4gY))
zmYi7Ik4>C3wO0A+H#K)2!>ekQz<Q}PuHZ(AYJf^W<NK!LWwfk{jUYf)nEVp+*%W1~
zhI($QD=HhZ%$8oc?+Fn=;p5!5>64^~Ylww&bmRA3#r!++!U!Di3`|s%s0pr3I$tau
z@lvzGpkZ<q91Z~(9WNDn!^jmAf65S>UA3~6U7XHYOXP&b4a#W}cnw>n?>!EYA8wHz
zAUkq~Tc2DtzR@KWlK=efqLqeKZNkSIdJs(4O*o+=a<W2IRD~6h4>RTWAsbnfU)sIh
zz!0t^h%2uPNS@od5ISDaxDOP8GDpKxNAU!)F6h=&nPSpJ@gZ@n`ktHy5_IHK$@N~d
z*1qnNPJFL{S_*T41HYaRb7`N%WT!GNB8&6C!d`iY0aoV~T@+tH5YZL9m(<`9y;t{&
zihifkKER<(H18R9MeTz}JgB<~vvh0j%|l^ubI|v9JA0qf*+%j2gWs=1e?QQMC2t4K
z40r+5twU2GuocANV4;cPqAQBPW-iN4FVNgL3@Ty8o8U!O*3Z(59yiv;0=p3#gO&p9
z)Q<G&$j3lxNPV;9zhFJ#0oNs^kBdq(?4Wv6$1LAn;>~=h1=SWwd@2IxbvTb<6nvgA
z9+pznuo+QG3G1`+<l~)2!{7>AWCb<sQ$c`J+d7qxy`!`TXb&FyNX{x94@Y>fvl+os
zS(nF<WmUZp2m*wmx$TH1^3Ok~j(ojbm>*Ubs-<;#<hM{c90WtGFiBlp_<+6v+42IG
zbjo(lG)2zgA{<(_9-bI?l=|VAlZ(mS$_u{C-q`sh8Bl@pDtBMd_0NDke0Ph=@{aje
z(25MskHfXl<lUHynlx*+=$q)!=cu~g1ao*>?@{L*<XPyS#$2!c-ORT9?KgqLhv2J&
z?F>VUuT1|KbiS<x{-`=rKwPq3Z0R8V41R5@cbz7RDys@CPd~EWKjl}3*i2=V^7K=T
z7gFR_(x|pLN+oPxNz^rX8v^~~9KIGfGgi&)Js0Zr4Khob{aGrwjDAs7ub#vm)4Spd
z&kd0C%}SU-@IUua_sr1_%q@xrdcMsa+vX2|V!;!=o2=?c-2Np)U>3P$ZVM_kSjrDf
zDR-U~vwkQqW+YsoAMuCBYOUCx&TTiTB!QJE^>;RauD>Oqn6cIT;$Nz`JppzgF6k<S
zQ$f3lrMYlW5(&s6P3t8I%pgi99=tw7G(=Xk0!x=DD!RC_hw0TpE(vG{obmY)?iiqk
z<?$J1)85D{;<V61@d3UtP9>uTW>p~x#0@F@urdEC^AG+v$8Qz=2H)J5(bB!$<h7Ks
z4GQ|}vOG@rskz=quOm${sMT|&h|N#}`d&KSrAp$|6Lu7<;e>**IaI0V-@ge*f|eso
znA0QV+0v-<hA>&8r(YTbQ8khVe_;y@s^XW?S`A|u^#(;tZMlHUh+1h5EBok$Vq!TB
z%G=AGFnYierKSq4_WrI^Sbb5Q;xr}I0H7tr5)I!M+P}kwBS$u5eRg$&w&X<K&YPhM
z=p9Pqj}a;`@3?FcGT8+34$`-CF$*0f%nFX3LW=}C1(nAyK&#-1K6q;s2~%yuHsF&7
zg_3X9@dw3hpff@5ZIfNxcC%gF>`x&uMM~fdH@W%|vg6Czc_}5@Avy=o$)Ku$`&_3(
zrwG{D>pmZ$`sLb8^wp_(YZJV;otj&tVOQ+)J=lg1>aG*7Q3^1}0%&e+O!@`{8sJn`
zHjvmSyLg)0sE~+Ej*RqA%8WG$ZvfZpHwL@mAP96LQX7S--OdcQ`&knI)~-3!w!KD%
z*Stmsx2`#s-fmxIS5mv3TSBjH(yH%8sE3{C6iN$7pvm&N_jX7^9gVNPCRglnGo7^j
z2E;EuhX8TekpAqpQUVtc$gcBb>Us6TJNgdOF*nrg#|b)z)yvX`2NixN_>}iyu$p%@
ztewZv7p^4MB5A?(N&T8Re<CPvwA@Sv6l}Zgp&wzx)PruMqu53*U)#?o#onyQ*#Lqq
zM4p2vq?Ub}pK&p?G_!HKwD7bE<Q*UqUYqymr6mL{u|(qm?57UUZc-V84P>dEbk7XY
zZ9{M%xf5Zh#{9jm4p_5}#}D%HLfHT@h>oA7?D94S@-dY$lRtJlViT2;uN*BWQvMP8
zcJIeOuU@nggarLIFG*a37#xYo5rwa+H*<71mbCvf)bBCdwZ<Dxg`3nPV1on2*uD?j
z;JiM+?G`oe@=k$~6&gb$dt4jH`}eNchZ@&SAL{H!NT9-#nT;1(9wfL-kZ8{0X3UoT
zYWtr$+Y&%+-swlrf(0TGxgYYHDF~9pKi2B2kj&)>gI_PPl}#xAdzKPZvz_siY^fE?
zY+=aS6cnDG++94k0%wFyeZYU>8HoXz;$D)DCqFi5&36E$=mS-~rIKs)IsU{@)+J*Z
zoeF?pM*fCT=gOLlev9;7eARSzDTd30)_CYw8BpO-XJ%~t&()8p)(|VNlyz}=lI%sa
zjhpO!G|H!0mICvO00y}q)TgdkItEhQRq^4-mbFSiEd-@?N#o*94M4jjiN-RGb@Ikj
z@s)k6gUjQ~jJor0{Neqw>lb{Dr#CxzfI{SZESzN{^<KUV)yfb+r{x!2%Cr`*t{Qj&
zdJoFIBxcPV#Tmtg@4U5Hsw75$$Ed*$6Bc@kl{-J~xohA~ljShXt1~?Eb#PN^^l@j!
zK9~Cq|FOlkwgdeJ?u1+bG-gt_a~QQb!;+rv%sv_H3AANV#NfVZM%`y&Uc;9au3j0V
zywi-twI4U!sbWZA#~XbkrhBpB#yR9`H|%%H1Xd?#gL}!#x45sd@0o6{X2a$6_XZI9
zxIKfZ8ZDIy_N|_ml~3M~6#D#xx&1p8cq%4msP*TzYUk=To>4Fx4j?;(SF;u_6Em1J
zrEO_D030bSQKromB}Un7mt=~%A2Uq*P*K|Li3&<9hE{WbYOF)fQRUJ_b)wWH{TJS)
zre%pGYjQ5)4Aw!L7Jv&`Hg5M*nmF}aLN<k`o#>@PbEFez6xJtSw7)tlTl0T>_eGVO
z^o=;6PmbQo3HxxMcr=z^$)r0x8UUWfy&Hgx?lNoz52(IO#~xHC|7U>Y>t@^k{Q1a~
zkalfw{v$2YH4dS~8q}w)stP7oR%1xwtm(^CU|^}ruk4ob<;h}{^*aC#$~zc#)Te3n
za;6Ecr;|_W#1EYb<eX^34mn1D3^6{of87OywPo!}AgS;cYtVE69#y3=5ZUKT@=kN6
zhWOlI0gd{6$>{MNf0%{%HBtBvtZUyP`GhfB?x3f;*!#OI%!2avF<Eq!LZTGGaJI@2
zE8^3+yIeqLKI=t<=nDRuoUkCb5Uwt@2lw)4jm%{<J3TNIaN@LCqrV^Q!IT2is_2;c
zjTT0}=51<nex?tS5!i5Iit-zCW`}P%-*yV|k9y-;E)l&Pe!BDPOGrJwZ#%X@UG2z&
zJr+1dG05dy1rqwGF3~Wd%HTTtn{uruSP|G$FNhDMII!Xw%Y275y~cUZa9N2B);+M5
z0zN$u+^Y(wDgzEUI(mGK0X?R~u~hsfyWwW2CacwVDIrpTDT4ZgD3>QNKWdq~kH%a!
z!h#4yq<BZCYr${}u1&`9<JD18<5xl<{0YT18Qun&);~bqn~A^&ln4!MKfuI1$6|YI
zk`a~^BLL0x$*FF;B?0o6IkHFI{Tl|rcw47rfLP*pFV?YV+w5iZ+7qQzsQ(!#P%G0S
zzk8_~A=uTOW+kA{a*Ld|=kRp)CnD{4T>`QTUvri6Ga9A2IB-*}pz8>j;mx0-423Bq
zcE_t~-y5(F5*@wOCy4{Fw8rR-FFazEw?8jcOOEmI!Q%Qw^h4WhBsn6u|FdYAjZvV@
z^MZZDAK|z&eZ}#NpkF;!J8vus&>_6B&Ov)P!Ec}ANqv{D0cDB4GqJMwSIQSpxk^P<
zNk4qI2-FC0wBsXhyk0bxV!;?%(e4*ZcWfI&$<D3DdmDl)_K|5~=1e<zbMEjvt?%yN
z2C{MSWLEj?C;+t#*Z<CT=hr7pt+Nz?{l8Y@yYj*XUSA%)bGiOW@@JHJd-Co?WTwcp
zo6ko1Y1F=!E!ckr*T_zk*Hnm6u3)zE-P5l!>h2!fBj<@tfksWj)t_*_1l)nv&gr|3
zSCkmigKL_7uAZ%3)qX$JY$tZwv_opF4r#P9j|C0F@eNr_$2$eX0rOetczJ>-;fDFt
zgA_(Odpc4}@!ed{(!?yAw&m_#EdAu=tuRofBW7r9Jr33r1iiWvltLr8g!eBN6j2iA
zcXkhF_P^VE%aavkY*yCY2a25v;ouzIXKp4V5hbiQox)9N+~Fw+N5y%&co?wb(CV??
z3UCvEg!F}7_(saw%JG81gv)tzI=um>pAQ^i{MN@}F)1Aba!DP>tL@frB<iQSn_6aH
zwvvn<g`sNHKm|+M@II92t9~;R6UuAWEAMV`S0q53yz`x%e%3e*oL$3b2H^$tpanY?
zG_@3jp3h{-acpzngt^sbsr!GQxzXjn*XnAE>^KR}??XPY!p=Q4rSvIL84qCaC-lAD
z?@&m{=?B$H72g=BATIIMbT~`1*m<X~D1|vT<4yEWM6rRWlFNF6IP0htd7(9PkU+Sw
z6?<9@&tBPw^((jT1ri{iZP>=}Qh!JRISiq*5D{kIOpM)sKcKkteCOBa_$~9&Zq*v4
zR?!m(=QQIE62~1w6wllQPzMjTvA_jL2cBtwJuB%Nbxx#u%IrVX%UFs`^tzA-^atw-
zHevw|&-3nw9*7JU3SIj~%}!{Wgox#ZTLp^j-Y$5&Gzj@@nkSx(aDLq4>1xUW^wAHn
z8tP9DoZ&k#<LQ^#0aAQY0>m;-endU)#v+k3QD6GOU;r3}(}^jA!QcRj*BzA)VLItw
z*3U{kp^oCp?Bt|;q@6rF?izCHc;UN7RB+&S(@N?Y=p76dJp9qUpVdK1YHUoSq4|nR
zWy;p+Avf;x^oD{*{EVIV!{rtodI2~P<Hp8O6(zI<M6YeV2~e+frp+94+FKZnr8>#V
zJu`=i<Q*Sg8RLc=mUNnvsP`$mnXr@pv41JOU6)AH_<mr_h0aen4UY>t<>;hyx+!wf
ztxw2t@qM7+_YQ!_dVHl%R!70SoyQH06g3s`TP<9}XUGAS5B}KgRQmeJZ@_wml<<=8
z4TLg!!wsVC7@3SwG8Nu*t#&XrU=<0hGkt)HW*655s7)J^Ji6Sbfts%TJ7T8b$K{v@
zH_603)>~c2yIHnPl)B*7N4F$vx7*C(I-hTO2Rc#ew`mx~%Ctq?!wipg9i&k?33+63
zv|bM?r^#{;n#po``|oi9md1Rq32d@-<Ko#3GTmZ_a=je)Zh+V`Ugq8VF#vrU`6gxi
zNCoMVtkN^K3az<+seO-jr%d=vHfg(=ps}6Fbj*BR69bF=SNw~muLbA&>q7xt_$`Yp
zms%=<ZcdWIKoXbIS`~|^b2qFkB#4kemgqE>ZW5jKclT7AlN3o#-jI_>5IyT+2ocBH
z!@q4iH~69?K+MzFaJl-d`TGM^2>NhLd$$9dttvRFVu`#W(PZvc<A#)&N{wPyG%RfL
zJasQP>cyY9pM|9O#`^A#f(5oH{pYW9(!l0`UWIRh-wTX!^Z!Dq9bmCA{1qsMMPJ7c
zPDMf28a01Vse}Zt=({_$-t|PG^?FvetVKa<wIk>Wq1di*aHT=s8@M8R|Fgxf#rcwm
zb_VSwnqTDJ`Qz2MZ*)6N?HdZZbB{??hdh(UfGmTpy#u8LC#$Km??;KmuWK33VaEF|
z-VC>-#eZJ}UwSXnvu<(K=7>n9C{tieRMz?E@~`^~{-SX!VnwEUS5T}>LXdLu4hPVT
z9ZPaK$4>9s&+>i>0u$G2w!y!iL_YrOOX1s}2InHnY&K5!td+~V_b&AZ8QhHtBavKv
z=y&3krG*$-vnui&WdTy>IR3%!7wsy-c$c7Jo#yKr1!>h>){O|0ekUC3vaTY~Gs1r|
zuk%h_;GVi>e^JzfZS35qO31z`lij-Q8s6XaR({?XI&l{1(>rHHW-Q^Fvi*zgutfMI
z;il_%Wy5du*uAXfmEP(v^J*q#62_vZ%o486TNWqJ0=-lW$UlH%1q23#!Msmad!Egm
zSEsgzY3wBNjDPAKDFKJ)vlb%YHp)KWS4laz@CVF&yzVuJXY7fR?_-B@O%BVbhs^%C
zesO${nC{Wp14(SF?dr#w+S^hzsjeHL{GDM9*Ly-~0;^!)9RQv#p92#b{q1pUD@Gc!
zq!a%xO=H(ah~VUPZ@1_xO@Lqbsz^R1ajPj`!i-EA96o;eH9gc3KLI2^{_q*QfVdsl
z`y8|jXLitBXVU}EiZ<|-)7WT3%*;U7BPq1*GeX|E^)t|riRx`%nY7f8W^z%7%g>Gu
zcBAsrIyd(><qIbL+z@JNb#%GqPPY;Np5b@Dp@mZFB=6}i1Q=L8Fp6Z48D?n3-jOii
zqo!=uUdaFCzyt1zKyA+8%^R(qpC4e?<;E?rzdWk;*q)fthb1T0#TtM86Jgf}T8%y5
znHmx%H@LQWCEU)RIp=rRG=KPpBkLFxY4@gh6x+a}v);eJ*cD?BA0z3bL|vBp{Z7hP
zkF$<Fm~m6cK0w%~sRW8338#&ZMC|*oe4lP7tM>7!q^@ol`=It{hH;_TZV_i;VD|y5
zXreX%h1WRPLR_vJTpE~c0g12{NVx*+*bJRY?C&JdTjeLS8*sWwT34!0J5Sv@o#Blx
z@jn6`UE!LhbX%E+ydB#FRW3ooM<{h{upuUecI^}>)sJIz%G^Iy9*LAnVlhF-i9f7F
z2r5s+Oq71{Kmm<1r_AYZd#V|c-+CfZ-~Wc7vh-4vZ;k`*7ue66aaWomd0WuFS)dp&
zhBhS<2&o_52hjN3t|<**9!cFyWqv=*7Rc1%#WnsiWxIJY0#h_sP+QStxqwgGjUkK1
z?ozkAyk~qSk{q`LK66E5qb(S^HeHJ)=Nk9<eV62Uud7n6o$h0bmu~P1zR_7{-ss~^
zDZs`INw9Sdrb5sMb*M1ryINKC0aKt>`eD$Pt9B;?V+t!&;AAU&po^Jr*40|Y^o}F@
zdh00(%uRQTXID}z)atyqzuGsG80@(Mjr8Ss8cS9Br-J=7c>msP{CaJW{zTa=O}1~?
z0u+dUP!8XgjrEpFFYMmqAXLh_CU#4JChso^?@|tsYDaKWN_d|=b$A=Tzd;N3XfSwx
zq7X9J`w=wp#hyM?Kw{Ujy(gX1A9rAQ|FabdxPf3kEPos<+f5LMfEwD-r<MT7+L2i(
zeVG(h>mEDwdt9hY$^n{9<9+&kImdatykW@X4{)NqKoJfFavZ1>!9yJLh&JH`4&~=8
z+_44x>FipdtK{fCU2p`3FVJ;9z|PrpEVO<xmn#Sq;N5*nwsw0&OC+!@j;D`-d5ucw
z{)ACr&3caeNOgr5g^q`R`Z_O((?~k(Tb|2`8oK91i~!yDtFvdAvhxo5MCIgs0DFVv
znaf{xzX%5^*tiQFc?Yo!ATg2#cvpmjeo?`BE%zhvD1*=n)`jO$Z?OM`r1;umIBENX
z&UmnOMri2d8`<t39_z*tjPwegNu8rOiStZw?6SZ-+Ph=bs9R$Qn^EMqZ^Bdr^ci#Z
z$|VHG+Kzb*jto4JTHK4qjRFY)w~GC~^dMX?et^DynNvH9HsHD#xrh09BbR>oFSdj=
zvH8J5%eq|E%L$sc7h)q$0_MIwcUL?BN`WB_wi%dr_+6xQ&z>F7#5f11$?PA~DI!PR
z(A#)?`YMuJCrSzwnNJo?`7pm35x|z;t2qbGqLdbrA6RjN9rtKjer`)a`qnI8rOMtC
zMedk^1E8H0n6-5}l{0>m&>LCqs~`zUa!2Kv8}A|KagRqVG!?DC8scTYW@(0<Twcsp
zga={{`t7l$Y)1cfqos(D=v~EOz|Ty3ngb6W6~3O_euR97UJ+HLk^>0^wlaX$zqA6e
z?oAnP<W$elZF7O9Y*R=(KWZV}7}zTfF5_}zeWKBKp1opW&}4mJbs?imh-fl~1}IxF
zRrPzWLDQ%nZ!sY60l)w6JgCt&H&`g0vmr1cM|~(CqXA&F?0_o9*r@Z);`R`K;?vOr
zDq`J}#YhKc#X?vnyM_#CR2J!>-JB#EQ$j<g9+`uFjZJ$fUQ!a01h#HQ`VpN^(moKm
z0a>7q)Ni#7eUo`hm_j!kP?0}|%%;$h12|CrtNp3T&#LJZ!xgdh%wi#hDpQ87^R%Pq
zUiO@i@&<q7Gdf5Y6Q|Zwz7k3dfONtlv1ZNn94>a!j=iA96etF(H>?;AB0q@s@Rgn{
z>;3Ux$V4gM#lce2#0iAuj}ZZP_mZA9ykC;=hN*b@jP=RSd1|jg8p2&<xqPfPw2d=c
zaZ0FJd)g59ezZOF1!zNLI$kBqOX5_c0cP>kjcxfai1L+(VWRFUkH=K(M}UDqOja*f
zxQC0Z--P6o#n98)Tre!@egk6&rnch)i4B>K^=sBp(OC+L)RQp}hWj*txOM5vgJYln
zIWd{fRXlAifHipbgN!mN0tJf*lNXPGyeu+`te#x>KbH_F(w9luM6(IU7p|m|9bDs7
zoH!Wsc=<f4Sq!Mv>BdKA;<h@rf*a|ti&!VGjV*!%=D2uP(1FnBY3(Pb77u_{mu=W7
zGoR^SIBO?rqPgwAXMrC|cun=8KsOJr{zC<PWCX1YMW`GZP{E(Y&H6btZ->D6u*r`Q
zHD>3A%O<aCxhH6@)@)mnk>T^0{sprRCJ&v7rG5k@;wg%eZmD6ZoQfcseQ-fIXu7Ay
z*7^6A@b#&9X#+(n+8BqWn6}m9YglCaNo0L$TH#G7(}?+Rx@kgyn>1>klCyPqZnK})
zk@f|36gqyFEdLv&dVXzUNPl`{BoGNq<4C~xCKuGd#qR$46jDEF^HbmrrK0{#E?FGB
zgd5+y#<w;3dxNQ?I~+IIaX}gV6fID*9c)}4qn36qygL=aPpY&C%y7zp#=h{eWfVx0
zk>$)LyGXzn@PFOpP^D4OR7k!wZDB3ZL^XU{4<aK^wJp*#wtr>-aT%;mb8qdJo1_`l
zOO`ND3F30=xUmv-$YjF%z1V_%<(30zY)v(mnB8jPq}+Ltz!ma-u05M#)PB0Rh41EW
zZwBPHr%eI2i1BS|J(+u8zX%O<(rj#xh@X!lrN)<1=`GJX?L*ZlUHRh-^(QbGQS$kv
zfCeu5NN>IT6LUcNZRC1P9@9zK-3N4l-e7BGzS-t1jbTL}qjJ8ig3k8Jfwn>e;O<zb
zFqU(^cV<sf%&}KKbX$ROL&yO>cHcuPdmB#bk74mZzLQEn?QE6w>s;r{RBLr!h292u
zO~UKMjwm{#HXx?AVH-vG^j>PVp2|!$`GxvyU-ohjGpd9K8t&p_;2TRP9#%DPD*hRh
zf-gB?D%N0-(IrI%MUz0NiDq;O(>q&)!28f_&!f51ide(Xjkb(np#fx#tVMn}zFhFI
zTqrJFji=Tm?!ia#j?0kR{wC^{ITt^oa=p_SfMPt0m49#7gI>4rwm{(Tjd>S>7BKi_
zhkJ?w!6EdU)>RWfHySK(bZzaJKk;J+papD?T=5hXcMH**Yh6u(o7|q&FfG(*hp#e<
z6L#fIyU!nYO2ki8^`@Z*I;r9d&NSQ1PdTR-{Hmr4%@xEKGy>E<07<b2)+Js1>-(_T
zBBaNgXYs%a+!f>HYG}raAM%|YmyRuX?OuaP30EU(WGh=I$s#%(3t+%Z{CvQVVMY;)
z`s2xoOr&%Qkgi^VO9ZZg($5IGX(WFj%X@Gm4!n>6iJ?B;w9Y&nS$o4Gt=~`1tF?FB
zi6#!6O+8p)wH*7~!r)^s*XKv+21*llo-3(Up<GBH%|j{pb_@wz0PIGZQRk2sEBN_>
z__aB6*isukR$lEacnTFQlRyH;4{#77KAVf3$JeAlg_p4QE@ZIfvG$Q|fi*R#`TmwF
zxYhIgM{jOW0eYPXP=<i^F}5K_HKEE_{d<2yT=7*uECsled8{Y2*cBUk2?pl?ZHpyD
zKH8r)Di0$6Qz$>*cLgS2CpA!k$9FCeefCFkb6iR87g<1<iAKcEh5fOh-)zKvScD0?
zey5^u0p7dfwiK-7(M@S^7?e8!NT`eK;1*aXNq~3SM;04M5j-{>^u*k61XF9#wvcWK
zv}$(eR=QCw!J&*RI56i<^D|T`R4itJDFso)QuXrY<deo$z2_J61wH{B2%qIus7fvz
z(}B_|=?L@Y{pE+z*dIDRjmKbQRGXttyU$%on9%Z@cg(#U!5&mTVk?Azof4(L2kD{T
z6o41{P{@ROS8eewwq{dN&~P9hNYyb6@s4fB#=Ho#p16YID`NfCnXma4#avUX*f;VI
zWbx>3%j#|MRg<<C2Y{(qt=$g+aQdXoFlC1$&1!(S)*ubYT%C#yy6jbH579uA5wL2@
z4EXA1Zl-5iS&?EH0iBEej?KpE+{{ei?VAhgPxTn6S+_vt38_zFUPUhdmru5Pm#1b3
z^xjax@fTnB-=i81<^#R<o1A{5EJ*xaljj_@9p89Fg29gM+%O}o*^XD8%0!x~wV@lr
z*%a~sOv{6rvUe$^Y%Geni*zXwezHiMR8ku7aB0k_br-eWk3Lx|a=Jm7RDHw--2~!>
zcc2k)sh>$rSvvU>NrP$|=bC0Mk}T~ajCoM>D%-~C`b)WmkKZG0na*tkz$2#U`=Xkk
zqdTT!@}y9;06I?9^T<Lm*EiRBr2s(GQaC8kg8zOPY)&5@z5mKIwamXYOJ*<IGI@(I
zX<A~Kz5n}l_GY7OcAagS=z=|XpYt~yMt@5iL2{$bI!uVl@eW$S2hBnDYr<>xPoRHI
zv1(w~-SYKc=oCLcQ^SQ%bVCNjGvIUg=)%uLd((@2&=5CPBwH8m;cPS<t|D?EOSny&
z1A9U_mX`IDIZ$!Zb10S4DTvpVu^*0zx5y5e!-?c`cYw7Jd3Z`E4KZ=UW0Ji<65nFq
z^@wpt1xpxE$uR-H_E00^*s$AxmD*cjgY;8e*%oMhu)X6%HV{odZTsW`39{v{_OEu)
z@ZUY?pR5k%bKR8%naUz>ac5|wq+lOIsr~#1LeN=;u>iERp<gY70&BPUO1k2pI4(4Z
zsu~YO0LL?};eZ~{RJWuL`as#Nd!wQ-Eu<abSa|2?RuyI;hXW{I2E2Eec_9afF-@k~
zk%jL20!`#%q)*W$P2_wi=xO_q9;F5WhwK1mJ`jY}&{%AV06_x;;RyrYEet_?Z*Ae5
zAIJw?(j`wF<`ASa-_@%L{S$vK_W&4ep3SJh>J0~ygctor10_hxBs58-jcC6wf2$=i
zz{jdIaM7@b?>lbnFIzcsSWY->tDn?QNEvQM1!oqSt~LsSi}+;I37kwPVp^>*<En#Y
zgpfj`DS#8l87ao?5&@5~pnt%dw#@+wFn%E8=p0!kZes$LR^0`&w7*}a2NaQw5gcs)
z*?sUQTjt#F{|)*tmIB)v@g{``2qW6e8?`6;qMy6rHsHO84V9l!4=$<AOg{IDtz0;c
zQ-tL=C18zbn%m5K2xIOI$O6SJjJFf@oSiC&sFu9iPOmm=PUB))I4OLlz<KfyKaVg8
zLnH0yEuCE0D@t?ZH#6gWwJcQno$nn*lDO(h_c(<sQ*uEk6S=OM%LELVh36-%dcdWX
z@jS;pS)HYG4QyN^X0z3o*r+8(lNxN7to@7-14g1=GegXq_Ak=Zi4|a(0btm|w?U!w
zC~wi7gLgB4DIo+%D8j-GUvdenX;jGzQZ@x?5KE9;_~;LIxlE!RCh&B)hg}bjWm`^>
zGvi#5vxxu)?>CG4R*&Icc)elby`24Xe#9b?EwMlVq%+_!MI@$}fUgo}tzJ)wlfpK4
zC$Wq$?E6zH@jbdy6z11kiX1z)$CJ!LM#85g(YdkyB9BwG<3gGnFQZXjzbhpW7u$~0
zunkgJo|3TpH&VPs^A(m~RIg-I2#@bM8jI|5fDnu+HiZ9JT$A&St34UGb-#W`zXVC%
z4g_4X0>rib2u4$xT53}npmW%N=JZkd!s%l68N6#bT_%lJda;ej3YgBWKMl#oKO1x*
zCGHUh^jkHJX+*zN|KaLj1!OM6cZhUw1;VCfTXWwdlza?W=3Af5eqAncsX(8)v;CIp
zrU4YeU}(vs*=(Im<(V_3q`uWeZbc0JsE6tb+-^Ycn$ij!kn-RSwt_TfM25vHZ3u=r
zCuqPxPZmc1D%|!H0Cq&J%&7n>AqYMPQ~OcqY>rzqM}H_0MO*h@nE7<=do%Be3h15p
z3J6|cN|+h^F6J7{g!0DWFn*aYjb{Y8VU&#qUl3_P+|0uPE^K?fKmKt4jQL}A60-)-
zC?kYU*r6y5O0OtS%|YxmnslY9UpBwrOg)YBy(=+^6>axwI+N7d7AGj)Oj2Ev81i<%
z?){;*W+3xYdZeNMLmr4T5(_&I({Z4!|BkE;0p9k<o~5^kwjvGjqJl4$5$qYY$DC=9
zTQIjluzTgJGtH9uGp%h-l?g*i9;xgWvV5;e4IpMelyH@|Ta$z3&MbTxAI{r}+noCx
z2tX7j`e`G;TS76|Qr~76Z3sH?8!h^FO980Aqtxkgx%q=$3JZuBff-UVwI1l?rdN4M
z5cb;@Nr7}7fi%7OHzLP7<~dZpadIH$kI8WOf_^+HiS}>G@*@gM)=+2Sws+8e6Q|zf
zl=rF)aZ%r8=-&_Mpv+N^Iy3sl6J24D-|Q+m7;gLm9*B6?ZP^1Klaoy&{D!x0A8h3G
zLNW!0wVC%0NDz4-#SOslUHWc;<>09T*lUrGp_L<pVF)4o$6FyND(RM1%N{ON8*@!G
zgH98E)gD{w0OOw=lc;ALijxQJ$Jgw!6+h-B<KIoV-EIgS=G5mXgRYhKYHfdPgDb)=
zo}wCULe(lVX{a6D@Ij{q=37)J7V2Qtm?~wAi$1;fi3^AWvgwwb80qZo%i=Q3G5QkP
z1R5bgy#QHNO-i)zzisMIl*6R$6(E$sL{&o}LQ$e+pqhNz{u?f8CGhJZdXf)Q_9<uA
z>-!)MNGgC<paLZZZXM7hb)AYz^=z~ERre=k^DaHufWs=JGS><ZfQB3CDbnf@lK&_0
z>|;T7nXv|te1|J*0&geY(H!I?N(Cl;b@-Wd;0YQjl!GGeCk^hYExZ&Fp0S?0F7-@j
z``i3kq8=vAZ^#16{=UE!{hdua(?RgiQ)<VM(I%YsD$h3jIUxXh?-~nXM~gAHz;9%6
z^rTDT63kIWEgUFs6)ptg1%iN<_Bl)(NO@8OR?SMb2613J&)g&%f{>0Ipcx?Q?}$EV
z1qY}q=#nHe&2hVke`IvSTQ(ATNdcKbt1RzZeV11F_vO*MPrCbn8;m!5vVg^=j^UGs
zRcO#eG2Skqcg!X=H48O)&KR}~IWFEOQ;i1Bsi;xDl}WTzKvEa>cGDls!vTHEQ(@uk
z>;C)5^whR85c4kG5~cJbNRw;SXc68@FphfoN@c?;p3lLh{s4~n=o!CpmzoqN0iw83
zZJiF3cozq=B8N+7Q;P$&V^$icVV51+U$X=t0de85T++Tl5gh&!0uY+*b6so$iAzbN
zYMxGTx@_;?hj97~&PF|RM4_E2_{K|qVyDM@ctg;fyZN~4<-gy@IdN^UZ+J@av4Dce
z<zGQFD!?lESiaBZ?e~rVipSHF%7L;9XOm6=W^8=*giGk^qd*Wqp!7?JFy2XTmIX_s
zRsa*l)GnR2pyyr%5$^mkPil<`_^4+&<LIUR_xoOj*Pq|=O2D0=6n=lG%oKBlmvxrc
z7UtLzW1ed@!;rAPwyYl}BlWD^=@FI<8C1{%l4Z_cD0w$%32+z<e%TJ@(sTSZ&j+z0
zR+E1x8ledp57VnB;5iZ`Aig|Xr;D}%)_{clNv0>TuL6pTo_BhQwgb}_L;^+)2^{af
z0)`uhE(AQ$(2G-Kpko;4*z?GIXEXi)Et3JV&wIQc;<6MvBeCA&YplCms<!jD7|@vZ
zA*7$9mpt-X8Rx5Yp%t2h$dV~FzCH)_yQDRl$a|1mQcr(N7Ij{#1s6_~yMONBumWBK
z(!{t3G^LhPA}u*X#5=<MAiG#q|9k4y(Un87VEdW9!H5G&L7%n;2pN8&Gr}}a*nhMS
z?FRW4P}&VaGD&9^DBL|rRtI2U>mY{KVZ>reGkX4k)pnKugqfA?bulqOY<l5v*vFx*
z`gw<Sr&YS>HWtOvbf(?CM^f)B3C27Mqw4*4BN-qI*1qnMO4+TAfr>)AW~+yaE?k>i
z2e)q6^ZTnk*sPbE+?84;?IM83GZI(GbD(K6lJ^c+uHiTOFLa)BCH+}=n`$cx3u<Qg
zDQI$PER^lqt2B8)6IBod6{WoUR|mShP-?g7K{d)1I^e?J^>8wXtjsuMR8)8ZG3+?=
zR(%ln6?i;%67-VZXC3Q^_wTqn(uXwVynx!M46<~kAb=r|_<YZ><VS1|E=ayzyo`ni
zu_7!AJ@j!OQRnv{#>8fL8l!stpU}C*^}2@ph2vYRg(0T*f9~aw7A)nJmf|kIsGjyq
zVBJb#5#;lO^p-wxowxk<H@`FIN?;HNxJ2++dso%Jiq6BrE%cGi>MWZVjxe|ejju(u
z{fZ!nw!6$mvN=;p9oIa`-B0-v6Wmgp1h<`2V1R?aCvg0%b!G6_;N2*9j%ho({vJ38
z;|cTjlM6>mVkBOewhL$Mfc%&TjGbsaM>KhSMS&WY--Zv`P2dyW-lFWs1$(&2NQyk=
zC_z<^O74dH^wmzm^@JZ}#N;LvcI5bQ1_P@OEGPEKEjMS6?*2)FLGqN@Px{ImMfes~
zfrm{BVA6!b>{|~tK>FBLxVaCZ@J!<s3$_tYdzYTn)GA}FAire75c*dzeIL&IHzTNb
zm}7>Qwj~PSA%Umtw%VJVqeO4G6%pXirn&kN9XdE&@4N%iFr%XeE2KvKD%L^|*E>Rs
z$RyU^4iXv1l_SyK1w<*JYmaSeWi5y=IgeVFOu9zxvfe|pFsK+5Vc*CFb9=_0*~x~B
z4+3PR>EmZtB!6porb=WSb=Y_SRYCyIge2d1O+*MF@>xryqJlIHC?k`$<t8>1LKc#N
z#dX8fmve*{L1b5TDRNl6>MCBzz_?vdob@g~Ghgi?CRejLx-3@!kJC`^ky}pl75!1Q
zQ?Cp1THyy-TH5`K2l)=4D#MO<ecZ-<Q(ra?CT)MV@J6vc1o2Ptw&ck}3S!gNd>g5x
zz!OY5-*8vPV%-AB-S5QgB+8_zsvQGCdK__C8w@8Q)~|9OQ;a~KD&$5swjCV-1R(st
zQw;vVhuI06Hugt|dRBS)rSQgBHGP@(_8*x?fc~_{i)#`<+d!)so?~=%<*A2$vp4!s
z1G*99-T3d(FP<`f2I?Yn9;Pdy;wH}<Z3o7kX~>LqBgQk|o4o=8FtW|S<)1M6VK;eO
zISi1A&HZ`EyJ1jK2m*rf4@b(BqW?<ihCSq5)5T<!QdSl0K>s;F(cyC#$uzPdA+2w$
zr$T8xeh+QrV>%Iy;AaLJ=kRVgjM8Xmk)`a_$=N}v+|F+goQ~pQ2RE6l-iupgWmgv?
z(0+_A!0Uo%kVY(kVujS@%Qg#4+Cb5N-stnDV~X3Jz%+^75I*%UgVtehM57e^)StEs
zI9%hvuvuIIK@=5X_C!95gOJQ6>?c|v)a1So{3J8cbsu`rSUl-=7+_YCn!xQYc;O2C
zDH`i6?!vraF4p)4;&{SQ4*xn}pJ(7b$d?ek>sg*=1=t_=nJnPB1M~t%?;tO8II|K3
z&>?4k`Z{;?zC1=|5Ma{lt`AhzXdsk~9Kw$a*cDJvzgsWf(~ldHD7c)B=e~?5IWE3A
z+@l3)8rE?i-Z&sM(t$89!qYP=O%)VA=asmG-k(YUw`qW6ZyzIY>_i~A;2J(2qn8#2
z|8))ELN?Yz0}FJi1W@&BP{A2xOBF^BPCjwSXYfFowTKM=@n6^*c@UxTY0#raF{+7x
z3SQv$P|q#t68~6E%?wT~kCkU*J^w-X6odSe$BkC*9Z41n1qTqL7q_Di)8r|3@64RD
zA&s?hO$k~isq9u{K={Dpa~hQkT>E$pl;18D*`-5Hk@Y}MLVbVRSOz%qCw+zU_&bHE
z1rhG#KxzTn-F?oRRyk&DKeXXKsZ-4eO`tJ>DZ~PbU9K?sjYh>$eq?(=BIU!UxQ~J0
zG&kRP>45-4NJ_|tv@I}E-+?43urS{(49jLM85#UNsI21|X8b8eT3DRM+Y)Cxc<j4B
zE?C~Ne#J^xGW)o%kh00kH)-cWHh9u~0VM4(W8H5Y7tWP3iKeHiC@Kj*k*ncF`oq>-
z(=-4dIsgwf&=AK9T85KB>vGh?8o9IW4E%*D2239Vk7ZsXPGa^vIJbr!)3Vu&{S;LI
zsZ-PcQ^%QxL)~z3xG02-orXs#p_*(_S+a(_h>~T(WQy>pEEOY+#!kW$&j`(kL?I?3
zJJBLcku6(jrqGz|WEu0Gab54n_mdB<%Z&ee&hOm!SvM7g6s+k!;C(dA!RTHbP@%7t
zv@xT1AO(Ee(pRMc_6e0J#phq=?T4t}*ric{T?yl7{K1q(GjnVgPhbph=0+Qg;5PQI
zghUFe%m=X2|5VBf-T~2KJFo@2cUhjJbDI*Bs>x}uc{fse;kC=q4DPVFoN2wuBqXgN
z^#a>3%t$5m*PXPOU-swRq0ZrfcMW#IM*tBAgZOC!9Kis0%t~=1E3|$y?8Wm_P=Enp
zPh=+i{-psE-n(V3QZFQ4dYygwt?kvr!A-;dxO_{X|HQ2BJ?F>I^0$x&Q>(iCgbK@)
z%f7C=35&0ix$jHHcG`ilm8ZOzv8)WFcf&K(a(Fg2ztmx`B~rbcRKffqYD(xA_plh#
zG$pK9wmrCe2=1rsx<h#;vc5V_+gP~he`j{0D~}BH%y!@*He`E74o%?UWyn?>61cB%
z6#!x4YFc*2&(!el2PfCW4xs|NNX0pIBQ-TkUZ^xv{1|Vk%je4QEZtX0debV8H*JeG
zz+bwSwI{TaD)=<N3M<XvhzjJgM<Xd$b&N7!a+h5@Q5IM}#pRxH)|P(fvG&I=4=ZkG
zJ^%--YV_%oH{9VqM+++a^%^TKIKF)ni#hu<?9?+rLU{nL*VFkl&HG`ZR;$9Hl)^)9
z3tHB0^uf+7t90OUfupbnUONj83>*o;#FAHhM{p9Esg*Db<b|l5*rQ8T@w`r2rgeUz
zk_5hS3#xbtu}B?Cqkn&0ni44){ay``cFJ^xG0ZEN%{oK?x}?v1kp-6EqDvznxE(nr
z=$TDYqArqg%z6p$>$f@fSkLqI0l2COjgjAGA5JzvNXvzvJPg!A!>7UHEU7iWQQurk
zHL9Z67tPw80Jd>PhMB+bLJk9c=njt@1Ympc<S|~*XJkM%@w6Q3JnK!8q9AH<a|*fp
zhHVOKc^A}dBq)s6cZ@SIV(*Z-Sr`J)k-h>xW3z-0W(`uoJeN&7PD6=I>=HL{^!?))
zNMa2^K4*wNP5cC}SM&bf%M{e59ndXHYu2j^W|A+`JpHnJq!Z;K{}8GW=M_9Sb~s>I
zUY8;Ul@=#gzF8&_rEX^Vi!|D3Os*+D7TN(wzsB5o_G<{;1fu*EWzf)Phg3bxk+Iq5
z<a}wrj;ci6fU6yWlf@Wh$1mF*@-iU(C*Z1^#SbeU_$SFCX4mt3XK*W!fec#5hz!_}
zu{zRrVtmARJ(qy4(bSsW=rk9%33-X1;6>Wp2FFTFwsh4w81f~74Y|4|kFlNj<fMDr
z0ER@PT0{UIgz$-=cDcm|LZC#?>mko+pSYD`?i&p<rHe<7*T*s%HC^k17*<AqcwQ0B
zKro#a;VT-K4Q{?ZdDyS6q1XEs`%Ce+RTd{{4dfta_>g;0^lN4<I=@&da)rOD-@fGP
z-hyy_F~n)yv}<QfoQUo%^<LbXN*UlQe{X@zcSOcT|B$C|IH?_ImU{pXQ=zC^2cB@$
zeW;;}S{Y{IH1h}J4XAX`!bW;1Ab_%G&X-5I&s28pD$>hDO@Xbb**$j&5QO%u;l{Hb
zLk;IXRAzKh;qp<0sxS-gq!9oBe!=H_Ye!(JZ6Wr8_#vCNrs_|}h1I6g>YG+=rs+6U
zKRS-uPg_&jFGeeKxdoc?HFyHn3@@-S3nb`nNX|)74S7i6RFJp|6Py<NNb=@R5CUn-
za=~yl<BCMh8WjMaX*lNwt(9SspDTl(gp46aibs~`tt*)wNf#N845W*}5jyVkYteVz
znDif2#<IR#*q;1G2d7nx`wbh9{lHYDW?W6Rf5MD?rzV%I6B`8K2jEn~i~c2sXnHKf
zId_4}fvcJQ9jE&B{TyaYqhrEv6dtAnM=i=(IZUg;CUs8>n3y5jMA<ndB4EOtIe%@R
zMR`~zZD9l<TN*qC(FBq$dklUsI8u~<Sc7xZlCz*`!^8q0MnWwgnqKPyn>g*;L+YEV
zIe#W_it48+X?8;pM)*9#@yhSj3?I4uYDb`}Aw%3e2u92a_i8zxDmX?bzbym>u!z%X
z`9oQLbyA@!78PL_^dz^x9#facdL<oe9z}1WAs_;9u_)X<ptjFL7rI(dGsVLmwdYX+
zMsiR>`)akfwhXxOsJdmijwA)$gX`PxcibDo`Xcqy#Ue);IG5V3bLg>sXUlNqKm4TK
z(X~wo%#w7JL>(8<1keFP&n*CrGsYVpO()v+H|_?G@TO_b=QU_MZUXCG`f))|KB)jQ
zbpG$B7kI@SdalNac|qPScet7OdvvZYw~3)u!hSFSH_nVdE4_pGql#)PzM4F~s)EEJ
zH@3lAfLW7%y%b8`ln|)LMvvV1VL%!u){#y0sQm;9SSEGJS<jis)B&f4E!Yo&r~iBU
zIK`1465A-X%iI8*LGa0ay34uqJe}9xVjKKk*sOT(@_JNP7BpVFesz1>Lg=)1fxoAq
zyVIGigk_Ez1wM##Lg2>`W2>s5zcO~BOV$~n4uMnC{*AViHH!iAE`4>JL6$VT9s$RI
zGrW=Wi&5^IES2cHTYNG3Jz}|~Mir}0RU}}GBjIS+ivM|h>5RD#S`#)XXkA)~1x|-&
ze&f_+)uZI)1@xA-d9NCnAn>x=QYavZ<!BG^!#f<TH{%C4*u{FDD_dWo8h_8T{pRo`
z-?Np$X5!{BUEd8IYYu9$OO%@-pQL4MklnE-E${1H#sVpvn(xU63BJ(@WYCEidN!w{
zlzNA391T!|`1xoTU7Z)83i&Gv*N(o8zX}iiQV-w$;fwJQ9s}gm2P{J7X~~%Nf5caF
zL0Gualg&z{^nuaH^?ipOxO$LW@_EP5ZqC=8Dn*PGY`640g5YV`4^W$fa2Yc9<N-~k
zRAw6tjFKIl;ON0{5ndoiz-hWKcSpPDLu#kJYXa0+KztFvgwB<2F;^(Ihw7MDbvC5T
z&YJ+?oMn@M3r`7Kv^5~m<ed1nl9dPody{oQgs7Z^S`|@xXhdZ4l#K58V@U#Q#pCgh
z0o)lMSEOrrNa+Ht#&cVeuM8P}fb%<4A--+|QlQb-Ol+f#aP{^VA4JcbBU#0)(e<Hb
z|69@lRy=H^M=)yn5<-1j15R=7R*uvifj4Z=v7O}&$J2R0*J0nm{s=J&R*OsPWlDZr
zIf?>V7b>6}>_jXFM)&wf6=uGgaEk9vw~Z$ySyn?wXhB}QB`;I>Wp+GTqE58=8BAJq
z4aqd2lF`eY?@p!>e$tul$3CXm=K%~{@wN#GT486upIl*rbnC*3A^0+2to%Cq{tWuJ
zq}@7LG0*5bOK07OsG5ZX^L0k>CRGGIjEfOechg^Om$Ng!?USJiUi+t5?t-PL;h(m`
zIw}*XGKg?V2ff|7P6vP;;cN*BCQmTeHQf%S@kX|4)I9zHmX2ap#O9CYL6!te>NrU)
z$uYqeAkiz5eL~9ob(;#P6Uqr2d&?;<Gs46pP*}0wG|xw%`dK#3{Htt<zHE=BlxC<m
zxgzrgV&YZMMUoX$23AhX?r&yOD8qXVonl}PXI5Fc=VWyKM;asIoJVz*RaKZu&H$Zo
z`&Il~<*aL>4=!Xa6@KAUM(`K~d!@K3CvbP-RZ^{(orh88u+C${!im7yF~O4J^Ert=
z#kF;pS#)!^haLv49rl{cu82B3QrG#k7fzd7Kx8h8Yu+Up0nht2ImZc`ny!<%-&P}i
zm=opM*Bet#Y3^>YJ`USWOln5A1M;@D2IFe;7loqQC@qWLKn-*e1!lKea(QiP8F2uD
z$h9jo*!E5@V<t=V6QN@=0WQYqL0On5l{m3CxLG+e-y9-_Ma%B#pOv!wa)a^p>4xC_
zx1QU}SyK@%gY{1B{j2$MhK>D^`BU-P7r4F?i^p%!@4ro+H-l?0?y*eb$19n?XmVb6
z0JYt&iqqa9!eE=(8FLT2Wh-2%{4Hp~LPH;cJ1_iFpS;O;jLQ2(7!PGaLOu%V;@)rQ
zzisP-46xq+_Fl(YKQ9j{O7$+Zfo$$H1y!&+c~u;6=jw;v$M>|nd29`~NkMXG+7er(
zcu))!|7e*CrP#?Ax{)P?CN^`Cj(^k=Z*RVM?lbi)wHWpUKt+4&coqKdw{vTf(9;Dd
zY_05ICsO#sz>ke6)Vp|0LLDYHp_u@#9s1z&Mloq6h@q{IoOOMb!Fc^=!D#z%<P2Q&
zL}THGWna}|nTmo=``dg_bi!Ok6~urr4`uXviRsdKGDXJfyKG0+wOi}Ox!Uj6!Z4iy
z@B+@++7d#P#DYO9=`wl{CZZu;o1Rg(S^GFIiNE}e7BKAvF!1Vw{8u6Q`a(<^q-m-q
zdnO{$KO<|Sz(fQ{IGZs&`tw9h7`a2>qP`=vP3Zh%u-SmKxg<AAtBlf@azKIo6!DQw
zroebk{;XQG!a(M=SQk+>0<C<^89$lHjEK7*A~URi<Zs~OC~ua^_k+gW^Ru3)3t(xZ
z!(T#s4kUi%GomZPyj6ark=E$EwUmh+Z!1Ok-?pazvwvx$bS|8Gn^oUTN>fPQ9@s^-
O&BFBT=@MhNi2nkTVtpq7

literal 0
HcmV?d00001