From b711215f113d8f74d19792d21b1949683dad655d Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Thu, 14 May 2026 12:56:13 -0400 Subject: [PATCH] =?UTF-8?q?docs:=20pagers=20=E2=80=94=20rename=20'not=20gr?= =?UTF-8?q?ounded'=20=E2=86=92=20'ungrounded'=20(agreed=20label=20set:=20g?= =?UTF-8?q?rounded=20/=20partly=20grounded=20/=20ungrounded)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 'not grounded' was a drift from the agreed three-label vocabulary. Single-word labels are cleaner in tables, diagrams, and prose. --- docs/_source/arborist-one-pager.rst | 4 +- docs/_source/arborist-two-pager.rst | 2 +- docs/diagrams/pager-arch-stack.dot | 2 +- docs/diagrams/pager-arch-stack.png | Bin 39183 -> 40673 bytes docs/diagrams/pager-arch-stack.svg | 68 +++++++++++++------------- docs/diagrams/pager-verifier-flow.dot | 2 +- docs/diagrams/pager-verifier-flow.png | Bin 63278 -> 63229 bytes docs/diagrams/pager-verifier-flow.svg | 12 ++--- 8 files changed, 45 insertions(+), 45 deletions(-) diff --git a/docs/_source/arborist-one-pager.rst b/docs/_source/arborist-one-pager.rst index 293e994..22aa316 100644 --- a/docs/_source/arborist-one-pager.rst +++ b/docs/_source/arborist-one-pager.rst @@ -14,8 +14,8 @@ model embroidered it. **arborist closes that gap.** Every answer is verified against its source *after* the language model finishes, by a mechanical checker — not by another AI grading the first one. The checker labels each answer **grounded** (every claim was found in the -source), **partly grounded** (some claims, not all), or **not -grounded**. The label travels with the answer and is stored in a +source), **partly grounded** (some claims, not all), or +**ungrounded**. The label travels with the answer and is stored in a tamper-evident chain back to the source bytes. **Fabricated citations become impossible.** When the model answers, it diff --git a/docs/_source/arborist-two-pager.rst b/docs/_source/arborist-two-pager.rst index b9e48e3..8bb0605 100644 --- a/docs/_source/arborist-two-pager.rst +++ b/docs/_source/arborist-two-pager.rst @@ -69,7 +69,7 @@ After generation, the verifier runs. Four mechanical strategies (exact-quote match, line-span match, named-entity proximity, paraphrase coverage) try in sequence to confirm each claim against the cited chunks. The output is a single label per answer: **grounded** -(every claim verifies), **partly grounded**, or **not grounded**. +(every claim verifies), **partly grounded**, or **ungrounded**. There is no "high confidence" middle ground — confidence labels are soft signals in disguise. The verifier names what it can prove and what it cannot. diff --git a/docs/diagrams/pager-arch-stack.dot b/docs/diagrams/pager-arch-stack.dot index d6e960c..0d77a41 100644 --- a/docs/diagrams/pager-arch-stack.dot +++ b/docs/diagrams/pager-arch-stack.dot @@ -12,7 +12,7 @@ digraph arch_stack { surface [label="Ingested documents\n(Wikipedia · HTML · TeX · git · claim-packs)\nchunked → hashed → full-text-indexed", fillcolor="#e9f3ff"] core [label="Derived layers\n(summaries, indices, distillations)\nhash-bound back to source chunks", fillcolor="#dff5e7"] - cache [label="Answer cache\nverified Q&A · grounded / partly / not grounded\ncryptographic chain back to source bytes", fillcolor="#fff3d6"] + cache [label="Answer cache\nverified Q&A · grounded / partly grounded / ungrounded\ncryptographic chain back to source bytes", fillcolor="#fff3d6"] audit [label="Audit chain\nevery write appends a hash-linked row;\na single tampered record breaks the chain", fillcolor="#fde7e9", shape=note] diff --git a/docs/diagrams/pager-arch-stack.png b/docs/diagrams/pager-arch-stack.png index c77867981db99741de5e0abc8afe7dc1226f78f1..cbb01c1433eff96c5f64f7541bee138565bd54f5 100644 GIT binary patch literal 40673 zcmY&=1yq(z)a^q`DM$!NcXxMpcZZ}%3epV%64Kq00#Z`ap>zt;-7Vb$cliGQu5~ZE zmI%D>%$zx~_de$#Tvb`-Im&Ak2!fu=$x5n25NrSh!B`@}g0Gy9jLd+45X}^1B%#Nr zKe?^N2@pgI$w`W7dSo7Cxf^215%kg^3nh*TAR*D`$|jK$VZ)x z+%D0r){!ir3;HTs^Cq7zLiVVYQZ)W5=HhfqJvl&>_U!&x=DWb%kYje%!Ow${k>D@t zB@k?&C@Dr?N6=R$&IV)NR1`^N7jjp&5X zp0+1zl2=-Aeto(4zwZe4dCum=&%fAXiWfiz-V=7$yXkZ1|7@Js{cvyOXV@o7^`jS+ zUrXoS@0cnX5kaKfWMl_hpH2R_h%jH?wjO5_Pts^f++v*Lp)EhHPLXvwFwi0LNSe@Z z&M7^b%~gi`ioUeWjaZn|dy0_`IXv}a@2saM>h=%AFqAWpAXL)&)`@wq-eUX@^BVVQgNzwdH- zXi#I_IGdW`&7x;$s9p3eH^8plkHru#CTDje%7>}!>yr&iyA>#r;2}{ZBO^&WMI+yP zczb&UPfx3wYGmXiVZTz_ugmXuNTH5_KSOS(7F%W(?0l;?H7bpb>X?|!(Ha&71#g>6 zZEdk~L|Dpcr-=ln`bUUouLYS7_4Mf>QB_e<^FOq>y>zhu{ta0j^>)|SHKFn zIxi581hHEZJOz}Eli#d9zedA@4UBrrzSK56Jesq;y1T|3LQ3y-@t0_>!gh5v4xMDY zEm=$ZK+xxFMH?{`n~_s#Zu9=6=K|PuQ6`4bur)%Pk$Uz0%y0(bl(D+8)y~^?pY_lq zDXCq@<(a18+t{qn2Ltz~vt6$G&eC4*^=30S2b1lQ%y{dIDjXiev6{3K7)nc1%c4Jh zUc~(VY!UWjbH__ocv$@39~WD`6jlT-G+v~$odL6EOn*DP{OUSizZXT6;Y33i_A{>E zV!M&ifxVfRUs^cg?y}YCF7)%k0i#}fwj#B^PckDtIV|+m(eAC?J83tq>8UmqucDHQ z7f=;DS61tX{t6MEepxxaj0}T}3<^tH?1=LDZ>|0$B5mI2HSgVCHQ5tcmTw|%7{eBl2cKOnDG0gXNx-koA%(BMeSmmeG~(JXDrWVDZL`DV!S zuClZQqzn3p2*xXv_1&Vu(-jEHGRlGieip0Pi&QQ5j~E+i;jmDC>^9qfz2|KK!!8>D z^K|isT@H(!;~8IRuO8_%9hjL{f2;W)A;0Wd_w@8^YHE7hoSxy|)>}eK6V_=uz(8-) zJix%9JJ)NNI&=CUaC@x%iX^);8!aEUC9$8471Z*Gz$ zA_{_qt)-R}j>=b>4@G18-}MI@9Fb9w6kVJOmT9TT-dI|>0W6yW_bj! z2^zi`Iesm6-x{!_LzX*Uo@6~J|He)%Ebn_$`laM$mAIO+FbCVNn!5VswjdvVnovf) ztb#l&v|wa7H#cw7Eg2&9fHIex_Z1%Et$XZXwBEkb(*wqmdl{!SIq7L~7H4*@m9HCs zhRKR{gdjm08wg59hCJn>uy^#lILPsjK?y0XzIXKv4LtU!KF^W=D@@D~90*iU0}LTV z5GCNVAJ9`xu~21gahV;bLHq0Cl_GdOUH&_V{e{YMrNW_($_v(~LJ%tk<4Yd6bA1i& z=Dm)}au6k2MM>Eq`ufZ2>gldKM##nC^F!kM)S$KL!pkz6XL#4IF+obec4GU?yfGbE z^2r+pEY!#PrL2tMVRzzS)YF6P%dSRNEKcZzal2o3^5yp4WG&ZA1APPZ9N|qq-_Vg% zwu5NcN2`RohS~@}LK8is^5XI{Iu`edJuXgxVJ0RSaTV|3)ROW-DVFuKhROyCibuoN z(3lil$m!nr`YJDv$#$CTS?FR584JU{h4rYZf5{PSI)aKG=YP@YVO^(*MoHOD51;^<<``=9M+d>ad8b@in(90sug?><}-4Tv^&@m@>a~s z$}TSUWnlb(er$qSTQP66=oM}`VwCu?^9)XB$e{6`x0>40bfsTA0S2k)S5n54jW%u+W0@yg%L$sk?CHA^&TWrsNf$iN^c4 zP^yqh0G(vuQG3k(%=;N3j0EY=Kudz)*o{h1EujEVroLVKnmfE}0&f`J_RyWdW5>uC z8~=vKam2|v85>uI4+Z~KqLy}Bw944TZ?PAd?`+*~PYX-x-TJ0EbeQjcG-641<0aA# z^v6v6QB?GEuy=T1-q$ejZq6#STszywa{Vx|+-75AU)S(mT%LWVxRd=ebCagm*u-XX zVhYs)azjlmJT!E1T;<}PvHdrkH*AslymWSR!7_#Q$Cr{5E6HC8$4CY0^hvkE8LsSN zBWDkJeWup%Mm?1@n9>cR)CtoL^IklAo$CUtMWLb4#XskGuQWu7;!}f*jG#=xk%*gsF8R;W$ShUnMZyDYO7lra~KReWD_tS)!^68REunxv)0M(o8;nW>E{-RR7MraO^BFgFwm6M);cFw zK1px>!Cw8lWIlH_OvH7B5X$cE%Ft!0c+xklc)p7#2d_uoESb2mt48Gxn%b1F^u`c{ zy&(4oAvjC7tF2;SFwf}UPSf9SQ;iIM+R!s6H&BW~;BlB4G!HviakPwL$7vs`7s zleB?DSZ?1WgaVOL(aD)aCS={yT5h`NR37|WA01Oji8`l#y{lwV())YhR&%C1w5X?d zG^deYxw@ftuEm-sPEy|EVW@L1R6DBEuaclo6;H^h;-CLf+TdV+Qew*gbNI8*=_kSa#nikv`IK*Jn(9vrO|1JZot`u*k&|OF7vO|ER{evE^UlXeanXNEa0D*`PHG zDufW?!l!dv;^1JTNU1$MZYE)Gz(7=%g*{j_&NB*kH~@jhlA*_IzY4n>eO|6qHXSwb z8Vo7cDD z;c8twLo>6vGM!$x!{0;#+L@xCqW#Y=*Ly(ex}vrCuDZq=pptvvEhi6b4nP5JY#)V>s3PGJ;H^iU&2<#J3Bce$DiDS zWT3*>138x(t)im5yu6Y?Kp!jYC%#H1@A6NV*`DV_Sy^c4HFuOpEDbQAybhH);zdyU_SXCSP6!~)NN3%)G zd-IEUD)FEoS}($Hn_|ZHqxmS(taA}Y}`w+ zb$y9?_}M@5uv$LPfqTu($wjo-h}zvxSY&L~zw9l3Ah@8IRXnFu?~`(|d(rHE^^^JR z?1ap_`LM8$@$Gsz)*T(R9uypW_mdeOcJ*Vk`%w_{_vv%|_O~*4F(#aj*~v}P2HqKo zA3t6V>3MV8Z#`apRzX9|FDWXj;D2`_Xkytk&7c5%J{YGTSWh_G`j{Edm|mKRlbcgihuY+~%r&Q7MqTMyuu_e&1mHsg`Fa&#;J zbjvkI9y0)f);Bn)5azH(HuMZF&?$i|1%1Xd8Xa0$9VTm3E^u5KNN?g#UQ=@ulV*&Z zuEcuTL$cV|tn!U*8!i-p2Mi>c%tmLv&CS7Wn-V&<>V+xTKs0!(P-%@rySq{0r=q%G z(f1kf64@hDVwj&HyrfUmeiil!&QSy<;IarR$*op|kSX=dH-xF=tkt7T<-Qg0qUPM3 z9P}%19WC3@8E)lRQpq9#SkXe#>2$5TAQ2bNarM`Y%XtZDC^HMkGe=1Jw;LxX=Y^%n zvlWxFpvJKCvaKcj$BP_vg(omC4Ic;t!4_&@KU)6A6uF3bJ%=k$xTc|#2(mpk{ zMErv_K=I3mc^th+38FR=YyfNx!Wd}=?dklYVr8Je`W^Jp`pzB%~neh zmO1TyzRAf}oZWBc+ghnLhyb0|(KS5a_y4=J-fKgpW4Exf)lRxSm;(6M#i4!WLgQk2 zeg2m(4F1bItscK)*31gj6T1LBxUjP~ZW*FwX1FkJ+3C8lJ$OA%Q3H6Dj0(H37jq9WCxv1u=7Ve0qACDI9EQ z+<#+Y=~j{Y_3d>?a(Jqc@oFU6;=Z;tshyb1VxAED8(p898yW2V~`x>gx7s=_pck+>(<8 zbPYz|yIYrN10QG);&z&OCB^5N#b!PiDIZ&DB`wWM_;)d(xNo}Epgtnv)0n(G1`>`Q zU*Gg00XL>(cd3g=zO6=L0!iVwh4Vv!Q=CGl`;;e)Y%octDNkt;~ zoX1hw1O-SS$NiDGA486h^a?|@G-Hnr_L`jT^(8bYAW=!()Z~Puz_gK(TAcTv&(Bf( z{y~sMi?7D?Sk)hQnD0i0Q622-T@#6krRnKPwo{~Z`qjDzC?b!|YHCJCM(s<ln?=WF_EH1vtO}T!U zk>1pV^MD!`56mI#@RycpZOjg2-nxs6jOhv~Om!Hj$L8JX*-7h=kAaav^Sj?>78J&^ zeapQx++=};_u22vcfS(%OQYmw*8MwL9yZFPqN0o^C$}st6jNy;SJ1sw84(~B5Xr|o zs{gz=u#a$z&kD~zLzd8Q9En@l>c=(Qsb;L53}|R%_a81!))danT=(_!G=JvIGocp|)tlw!_BI{lVCPu3u9PAsDAb#hi@s3#?* zqobo{L+4u*wp14)hIfx8OiYLl*xZ@5z8*s3RSVDjgk*1oJTMT*2;XcOGX! z!8gLl?s1WN&DeXDdQ(JRP6IU~1V~lQV(7s@T^kV+)uxmNXzi`NZJF)cSW*nUgDXt} z1(^%kdZ5nS>P0Gf7*3BlU2NFQ-412COC?wR%^`Fbbn}yD8@Z{B$_g=lk`mZwJk!!{ zR(}6Hz@;;nu_ZTPUbbqssJ;#|j6L4g2^n|7-2}zqout?E+dBnJ=pJWo0(F zSEr@)TV}E!rNxPYf-)CO#0Ye^WX$>w=JV@wC33dwN{foh$`s^`1H}uSDxMdT$)lWN zqZH^m6rG-%p1Ry+p^CYkwQ>ZUgb3YfdSHMpYKVY#QxO|7e`O^lD7@n8D|AZKhx0?>0SO8NUcRQ1(Q zH@Z>7+z;TP+PVglCfC94-*JV$8WQ=$HvjqX$jBhvSL^4&orJTEk)+hz_R*t@XSkV% zM7&24XhQG^|M~I6UjmMaFrfsOr*e%bkf5YQv$wt*x&{oO7P|z|1Cula$1P zJH+!R<15=c%{T9V2Zx~pd2q9ZoK5XFg@8Mge#51&c5+0XnVnfs!4D5#a|#KzH-f_d z%w`U#A}Q9)E^1xV4fKI#&6b*L&DWneyQOI`53JzCO9*0bdNAXx{zGJDRMaeI@vcVk ztE5C}k!TU`9aeVZjVJR+N=Zf^F0HqFX=xj0mws3O;M4N0_5PX2_Kx zwrTpdh0QyCb>oM+Tv94(ZB0qa^OY}+gDIQ7_xx_>fON_MiS=2-vzppv4f_Ma?nb*8 zqjSLZkn+s_qTaLQ@Y2ySkG#>b*de1;VdFjWIQTa-!oJgA`3*hr2H+@%E;(USV!{z1 zgJ#yEh5z{?;I?ogu*bKAg1N7)&F)442fi*$ti#E}r=}q#s=Lxnz|#q&H^b(kV-Mk2E~u)4zxL zQkxgi@+c@_Y2sr}Bu z!^1f4EuCC=1smvu@`RQ}$F6T%JBIxOKX+T8A!42J8fS`%WO`4CY66(sYSQv*`=*NHm?))A=O3Xsdyfil6 z<(VzhXW9ceg`QrTAF3fTDj)(L57a=!7Y+4f2@@p^Mqy%NGB!5eI@D!+753B9 z%Pab0*qS8y$=%fvHVOjhj;sRsmOA)ndYa-fPPOFE6PU})4Ae&6_5ZJTaIb7{&x9!s z{OH4n4|s?_z}v+1-rd~TynX8=w-OMak)d!0qz=8Mkc!I6Vo&7YPD*O(c-aD&@n`t7 zD~xYJKh-2wwqRjlK_y2xDJe-#RyK-&=S6U56p6^gVzYZKyDp=)w)WJ|pKvj~E^2$C zr@Iq0w|B>`uC82MT(7o)%baj8AU!dW9uc^^%TT}d^ zy0b0L!^ufHI+zv-4BzT?QA$E3j)?K}N~B^{+QfhV{&`>h&Ej{ZXJS$k6*YB=?g1Ag zE-ns1u7cga|L-gSuzX)wCx~+?tHSDq`SEdeZS7E>BL8Q|Fp=Hl235KTS4YeJ7S8@< zA!yJO(u3X2PESvdAraZy*r=_mEBX3WF@xKFD3vYPe~%qAfX8uZ$es*>RCRS{mX@N` zNm*FX<+RmIOjM{7*znN6I^vb3r2yO%0k^HKJ+CsMw%cHx@fQI-7}n#h;f$c5pp*4p zaA7Zz;O8!X{rZJYBK)n}S<1kGfDdDJs@%Z5C+hd~^wG}FOtX7sbMqYty!pAg z7exHEuKQC>P5fTAAVj62`TZY!WMpKVoLC{#&4HvoMjAvaxK&{=P4VvCJO6(t&rZ`6 zsVQv5CM2+a_VyN6Rn3&bh zjTX-{VV~=jjg7>(I5K8tVj`l}_v<}dTU%pes*tFGLB_Xlc2-uvFw`#nEiHm@aKY8) zz4`_QD(Reb0s_qi1(b}8XwcZ7Ka?yik0&uN>)8z}t3E^ug8D_x|?cXBhhC=4N1E zAmbSoYix2dH8r){_3@hx^{&A|@bWuwUJ#uke*b2=yEl726P#@go9n29v&+i%&CK9| zzHNoW+qZbc#DBN9abLaK+TQL}%}Ptt^YilqslnO#6u1RQ-3I#l*&_aJR>Q9gpw>EK zoBEoX{pxno*tVx0p@pP|zW(j*L@~%tpj146{v5E87mlv#wAdg|&oS<#aag~`!-Jr$ zp)?m@7#Ei_;ItgpBe{v#*w_U;co-N?Cu>q195wDoOWobwY??H*v~S8rK5#~g@Xe#3(IJQg@y)Ju$YR<=wz9W<8s^Li{NB$54d9L&UAFU5EJRgR z#|8)YfsxzV+8AwX>+7YhOv!R4#>Znvf$rJg-`972bA#~gnU0p$`>z(JpFVx+8yVTs zK8)>zUZmxsgW;jq&d$ytZIP3cx7G)=p#GVg1Mcj-(g7nSC1ueJDtKO=nW$($Kma5! zM@B}5ii+wLOo_P*t_#$BM#td6{(g|xZ?3Op<>cfP6wZ#1J-odsSVq_lurM&HYHNR) zRsa3_7Zf2%%zof8F}*btg2%v-OUlY9c#ugcu%5cO?3rYk;UOU*=DpFI^%&8|S64I` zNWIZS>-DjLD`Q_IMgYmz$!QKzr2feh7mEKMA4UVi4d5j?!oCBeqd>Q(r>7Tc{VCYt zb8||?$$7ri>V34-x?Z0gm|IpBsYuO1^UgxX$_nTqJp)M$cUm|W0Z$!xd~HrHuFZ{& z7Jw|OtJRd1N9N}Ab#zkP7(7@h$jIViV_C(W56MQe`5r4}H8pD+8`C7o-xJr61(WOg3N#W3*+TE%_iqzZN+x|DF-IJ3zFI>WyL8${DLi`^^Njo6Hp(mh; z|5{U9+wboma?>@1f-r$sYGdPRtR0>KUT&?iAl%9a|QANsG6X>dwF?b(I{hM zVXfCQ_lbh>vUj$&jpeZ8DNo=wR!j*T8(0$f~y)c82&k~J|IaBKkR%D#T>!0ngjZEZnNB98-gx~#NxKi0Yx3al6K!aZeT1$Y8QhMq>!+%-mb2N;bC78rE6L7^w!2^*H#MSZ@?wmkJi@3>1iH*e)@xR;&#s(L`5tx;DJW@ zojo2`<)}W}uJ*&lC5uU$VXK#xs%llv9yw;XBzd*FN*0(NgdmUvoS4Q}Vdh`5hKQeB zT==G+Q?lKXN3{WDGPBO(sBL!MT`Z^K<1+e%5Q00AP*HifxGoy$k#tOn0w~DIFAwM4|Nc@oD3gO@MCxK9 z{zZ)tmWgKAURL`peqJ9j8ccpD%lQx5p+K1SSZs2nE+Sw>TZ5_<^`o&9}8$lNawS<%xfl7F~;cDf`(huS+G{ z@`IbJy&+ZyOr)dBqaNzbLw<8tQ3z)2zLj*^Rvsp2$cy zP_*|2C9Y^j@6Vs9;#MF3%U>^mXY4nazj~}MZ{w8^4S3YJOhGQH`GuUvB{E*6Yj<0A zwRP!&T7#vfg&nW4{9{;;OJ3`D&p74!WLW(72;7rt&BV>P*T`n%Sy@ICMf&}Na*u6p zFN5cb`&opxE42s;EiB(?s_Vx+9?IM%WWd7ytAz{=rkzCi)g1q&rZyMHU4+gMbyc`R z5OzpxTu0|RZm@)MQeq<7F~44H9Naq6HK;(mgjP3svxaJLtFKZjq`aC1&d$#83HG8V z)zO>1a$W_%K-ef$9Gk=Db$Q!+s0&D)6bSlb1Jr!=hE3&J@WLwl^CfKRN( z8WK1VDFX$cu?zzl-E%1Rm~+@OqOd$ku4{r55*1fZ4=%@tNa^_UOPd_dLM{7(gmoF+ zy3KL~UZOWQ`7uWw2v5XWo+Chlp2=zk(^Z!1>~oyS@6G?%oQ|8cin#vW8u2ZD;B%4C z)!n)8ZE-+sqhE?d8j>A50)Y-i#up%2E~;7P35F{K>?HQGwxhA+&%7C(4~!qkMC-;O5$+S{KX>Qw)&N zmhWqmSx~Z0`ki*+7|2p$Hk?w6h4MV&!)$MDxw*OR?c2C0Jhxb}v87lF_u!o9j&@Vf zHddbdqswwIckd9Bb-0=t?*!t<-0`@n%Jxdf@%pARBflI>DmJ2?Xt#__`>XR*qEE9Dq>Io)mSvx)D9?C8e=5cgDze9O zE5m`cC(O+fs@FKcfr2|F4*|jh@V|{cH9Ol_k1xphEI9Wp=cN-6B_L5fxo8D5QbSTf z_O`n6`=elkjm-iZf{UJ*lhlTy+$ucF+LWw2En{VUaYIE_Rns|51_FhIN(8AsW(HIW zVc{kF<_EVbuAio?=A4sYlkNvXmIaj(7+5e6?@YR!g51|q+Obh?kGRWM;fXsl^QrQ3 z5k~?(4{N)NeIm~rb5Q@t(ACwwgn__pq-=FxDve0Qz!>_MMNg|O9gyRm%SU{N0!~kz z0WCFYnEL(uWUU(&U|~JIS(64te8hh=P(yt^EHoqJ9gL>XRk7H>$x{#mFut{nLQCvQ zp>3Q%Lxq{Usi)M%hsq>rME=+B=tHCm7=vYqAR<^etX)t^D-`=~tEsG0eE|1D<`F2aY>A6(l(LxG|su@d*8Cz8} zL?&*GhBeaqtN)Nd_6Yxqh#xUYg&%%`8UNXED?u0LHa-X{wMcOJ}mk55c! z$jEF@gHYL=oSIV37QDed1bu9P)zNe>&14@>a;^f778*IcFYVsByud{e1CLp(z)<7? z@@?Fa81HT4?Ni^kSZ zuEl;xQy1X=kKlW+40H=`@8*bzfy#`o^^-myqCVCCWMtS~cYucB;o$)%YG#=u0*IX8 z2Y!G#u~4(e#UpZisqNlK=;Cbk)kglu#1B8VBnx2;N1>c9u zl*tPyl$Z+}pL^S^V}~Z@f)8kd6%`e=4Tt^+g2X^k3YT1~%m{MAtw3A}8)Y`W@ocoS zdzWp>zb|Ho86u7VZTQ}_nIH8>j}SjwA@ZJm_==fRWUH9kj?C7>1!ik<U3W6#>TM8ZMk=1wrBj;pu5p~IjKtA z7iFatk)PzhI=;=!73guwQ{D-gZ)eJ2prRW&pvAWdPoAoO#wI5cF<4Oet5^WcFqt>G zG3e{+zD+I@I<5QGvS&B5ILWZ3@F|kat%zTjlCm%NI`6#_~gY3ci{ z{Q64D9MN9zAwyN)S-;n0OO}y?T1hj?&h4lxFR(bwR37%&wsH8kKq$GJ*5X%oq_HjW z5;4IB5(>&wSD_N9g?Z=KuQX#D}`^?PT1&MgJgsuWo2KNjbBu5!=oPeWLGYoJ~{Xm z%G~g5aSS{pANJXjeFh%br%d%{CO@Umg$g|zQOv6Q=q3?0t9G;O7scho=X4-$Z}juC zKy^NiqSSY42&!0&E^5az);6v)Ka!(_gE8wJa!>}lUyFApdCV;=tEcEz{dc*)B>m}= ze5wVfn3!?sW`$CxjG~>Dh>GWZdG3t;NNIQAJl+66%|`;x%JXme<7EO14OC;3_zbo#GQz~aqZj1;?NLZlUZ!Ncnkxs2A z=6H5qBkAIl@p)_6h>j0@n4hCOo$r<;HaH@N>--NUC#Mvn+CWF9&*FQ+yn1r_AVVpr z40E)v?zQX_$Jc2@SSIRRpZgyQgW`65SO4<~iyOE#bghFZh4EkM_*X zTS1-yE1zX%OH9FJAzj{04H)=L>gYJDgz|5)nEc~?Gpa6)g z&y9x|_m$%jzGwhH7(thOhF+pck3Ks3DDHL@OVZoA(`<9)wzuV6w!@<|Z92 zqgW`{xH_g#Icj&&_jti1`NH<OW9NYq$4JtwDf#T)soqKl-k6sRB&dz#Nt=lV}F zfAB%5g_r}k8Maodmvl!Pxj;qV_x{~qM%Gp#9%sx$~^nxM@4iJk|S(^$i7s`Ie3PT zEGDSSErZh3pckfz5;FI2ROVWyGqhaeJ3Ov64~TMI1Dn)ezA&RmR`xM1&Fja>U%sL1 zi+3^l`g)A0)~sp*9vu5n6fH~T*CP8bk3*Weh>_jNTL0Q@3OAD=$WqD^%;ux3=;+|u z>u9)KIa23dm#efqhklS`eG=XPj|zTkk(X18R-|@B=X-B)L~>O@BJ#uA{CG>$m8;hE zZp@_QmnkbilbP*=#>Q$y#5bvnpR7OTJe7tX;(Y^t0Rhl|y$5}hzmek7#H~Kh={lwt zM=V!=`&T6DXtJE&-w=P|6~p%2kbcztd*3Vg{9=j4Kf+8yRkfpY>cDQs$kCl7a(*@=D28yp9l6m7E4)C9;F6YZfE?KbJTzCNRL$@EcPbBoxbN&hWQr*| zQbk#ARPg;HwMitf7UL_0 zFRCL(O@kFx0Z@B>*3E3B`_^c7^g^$I=VfSVL>Igf6BN*t4r2T@Xac^L@^*?g7WmJP z_6gFnTRrOhtuZ1(!L21^w@Yp@fkKdV*9c(3JikD*Y=Ls8f3XlKw#_6-pV<2|MKQ#( zgR3Y^1AFTiX#}?`aj;jePE7B+W{^alYC)9H)V9z4ZCzPenM!g%D4K{Det zD8fNLx%TZI?_$cPBY^H=SFQ+poM8GFh&AzMKmDZ0BZkfIc=VJmxN36DZ5$HQvu8*A zZ0JFnB3`)db(}2%v^ctcs~|f1S+$&59{KyLkuk&)Yn6lJQzL{xK_0om&-Bb_4zqV)S`O4U$eY5MZiuO0|At75i}N>!QE_ zL5*=8L*WtzcA58zb}fhYLrcDWz872O8|D77e2f6|xZm8u5m>j&Nnroeppc730(MbXcNzFIXoX^UjtAkk!#k zrx&wr$=r+Y7w|qKH+@KW%POkif_-RYpiis~Pbc@DKmm*JMVOg}zP#C&N&*oQl2?%@ z&KbA8P2F7{WZ;`*WUo{VrOV2`8M5o>$yJnR>1wKHXWnl8>o-amM%(FrcHKlku%}L| zDQG-4ZQWCSp8@JA<*#n}L3(7fyqcnUimSX`H4UvUQ`W77bMJHg>~B#U;wJ9G!p4lR z*4b-El52v+uN-ThXqZiOn@XdvuhBwBu-< z&wldshP=xI>`hDzMp^)`W3<=W+=iT*I%uuIFEW#-}7LHM%C1Pg2&Y$@e_oW_B{|y&I@do{}U7(sT(u z!`IL1X24GZ>fP2_pT)3*gjV^yf<~o|IMK~x*lGa0VqvLV+JyUiaNu*k69+z81m`!V zTJu2%<;M?Q@x0!eccj4)aT(|yBVEtYN!n#qn)n=|Zab!pH4Ib=)#G+|9fIor?<@el zCjDfu2rUDR$ertX2g9z*3&Q4=J&WMe75|5|W!rZI#ET@K3d7?Xl*aa7_iyL9qk&DF zG28^WxVYr!=flCl#nqMF#)76JXh~F>v}ZRQC8K^s6I?Kih;KIJZM^FfNm;V6dQSx< z$P&Gnz)i#ZoDz@iA9q=FETeZ_XAZ}bFLLdBNbaBjK>?tJpfSD-SQb6g38I&r2ea1z z>!t2;d{R3wTol{M8?=*~>EB#ggze0GKv{_F3c z7$O@hbd?HtoZA7>YaJ>h`{Bb3*lOKcocz!RXarxp*tH`-7=H+`g|3&!s@5|jL4FBo zN$DqGCN+eYW>TZ_CpG`6>eU%cPz6X{F#H*jjij7LQo94(~Glj^Un}o*qVXFVl z_fARst?0lO-;oNN$|XN}rO^ZO1bga?T$ZY#gYk%gbl^*R4=6x4*Sm!;ly*}NIDZD3 z%4TL}KIFUeC+Nqpur&%(|`b(b3VPwP(i0&-RADem^Y*tSoKrrpoXP9}*>Zo#DMh__m;~ zuYGYkEaQuM6)PcPB4}@K%TsqY+p?}}sima3pb^|p43+>`#cE2z5ksz-bE+dGnGeTE zMF)5GSI=EfR_efBI+3?Z`pl3t+W0bz)%L3wtzqh@5q4fMvRGqGV}qjZ!Y)RcoX4I6 zwk~&#_V$ONw~Li!0nYmPyaaB&U~iilF*r$F-sm|l88xK_z<`c1Sxw@Olp8B);D7;I zy{6Ng>}i75tBAJ62qZOa*gh=v?na;3O)YoT&rM)BXt}<-z!v0G0RepRlr*;Ur@wRu zEG+m%BbX)m^O{+~X%hY>J{TG2mr_5TWCMUkGZU_!&q`4zq_CtD{rJFq>e`K&6Wq)E zccBSIukiBxCgb(H0pL2dUD-87PhW(p4r6f4&x?r!-QM>mFE3d0F2yMSADYfPp6mDf z|1TjVBN<7Eke!j8y|R;?mF&F<*(*DHuZ$4co2={|nHkwKv$x;z{(gS%Ki;?A-g&*A zAadRI#xmI!-r#<;sdH#u6wyRtPwN{0?R!S*mJ4n?ib1rL7#ojv0YS z+_85x^R7KTAl09Xv}a6q+FXi-!h@z$SDerxd1K3ruivvOa9^E?u(+z+o~~XO2~yT0 z4C%1V6qamL>!&`RUml4*b{~KT7!?(TK*Z5m1mafj@H-@LdubIQ5ZsTf8o~)JpD`sr zL%bcn6#;#X-7c^V&?NcS6PC9e@?p(>bLjQjOKDtK<35uM7;5M%Z;oh;Y?*TXyY*oP z_2iU{rU8NYA>g{rV}1wE9SOk@->1hNrvtovX6Y#mCge_Ll)#h=MXk8#WMk!zB4t~Hylq&`z031 zQ2g}dM+{V}U7Cj#mGL~)&3D~l7*!G0kLB1A_MKpWGY3f~-szkn1MOz& zJ@`2~#^L4pEc6j}M=T1aW2x_2l6fAEw+Me8*-f|jW` z+w&!zJZ?@?eRIZBp2M)HxcCP4YmeTCJEMir#43UhPY^ z@zLll)oh{Pp`w206jpH60Wv%&EyyX^FAXo@WKm4V(<--zCN#j`s{#M0q{I=L#(JQ5k;Li0ZlV^(fjpZ(m+IxCZe5cna1Dn!C@|) zuj-=X(`;ZW8TOwcCjLFLTXmbWE&q3mtAASfJsp-INC;dBGX}0?1j75(AnqPoY%x3? z)O|Xqq8e3h|L^*!@xjcko0@0*x>E}FwZ)EZZW-F?wiDMc3R5?>crAkoWS-Do2F?_F zO+LK|8gSF=E&%{;t@7Xik_q6)!QtTz-7?Y4jnVtd@vJcq(ACUqwWI7i1>ImR@rc)9o8vF!((-uxVzstc$;Uer#tKp;?j&=Fo9eq3$sM;^-W zOeY8bt>tV)ioFgj&!R>&w|Ae-`uf$KrMrv`Xf=d=ZYT<)rQNkxWeFO!J$t0z^E%Fz z+fTImpv&!1&o(I|NyuxWI=fWcEG4{ejqdU6BTsQ%N;-ui;B9y3TYtiVV71|~zp=SV zPtPn`o$)PKOHo5~+Ht2vKju7cGl_G2y7Jq1+e`W;*g5K&gAGT;mH5&P!A%d;J^|tU z$kh7*%&=Wb$!mLdKs-Zq84p}Apnok?;<(s)P}x0xJl_@h1hTUP&e+52Vc&GDugJ6C zdpWCs^yLswd3^T#^jA{scgA#QN*ER!^-DNVjr7UV{Iu@;WAi8SUwT;+Y!ZoeyoijC zo~_{o%-*c@{ST zSWn#s94Z-@zFx$nMo`)6XBiCmH;epnd4R^_lKk-XbnOx~h!j9jIuTTuydMNHtZ7hp|Z6 z1eXATp*uNHfAtF7B6|CO{aO1ixGUm=Ku`#Kp9-+EJdkzcQ&d(~*R_6xgEL?~%b04L zWVy8ki4U5SRSb0eeBj%XQIk_Wd#>@{YQM%y z{7U&#BmTqI-|8`S+=|SUp~wGHRMqAtXdnu_~D?B^W;9@}|QU07u%;+u)cd+&dv?Qk;0_mJqw#4wBkw-L! zO-43)mK;0{mbs^Xbtl2y=k*i5r*{=$uQ%=c22Em8kw$qy^qw+32R;1_@H{kB(o{)N zQC&@hj}JI@Nir)M@x|MO9ZpX`L)Fxd=eINF;`$eZbCHZ--3$y5Bv_%kv*>R^GN_Av z&1Aw=x^h`OJ=lFNp~?AYv^Lq?1Bb3h?p>`i>K*qyv|D-s%f)Z0?Ei1CTG0J0JICMY zJWxVaRaHw%3-G^~80F)fb01)zfLkhjQz`utJ*_PBPKc)>$Mff7-?Zy3$1%_}+2fw! zW0R0kXTOk_=C}WM1Mp z7^naaWxrCJGcn_m41Iih;lj3BT2xsHs}J^46e)mIfGA=TGJcBRxjGc-n)f?Y(m_J< z?&?BQ_Oef}4_L-bg_?%#0vf4_Jm=K|%w`rAS`iX)?_YR$5%qlz^Fk|o{c^6=DJeEI z6n2|7t6N`V2A;y67IOZL*Ujy;*3UOTn7bnb+kpT9)i8Y_fdc1tM!!951G}8=5#XfH zQ<0?CoGc-YpnxR~vaHsJJt`7%GJ%%(XS!HHRA`{P2n_s^<-2vp^r=OG>)As(28O2h zk?(d`+S~0<9d=@22jFff;|)1X?&eHP)IN3_altq<^VUoF3++$pJM@&&w0RQ~-74S4 zJ>-N+QR~GSsZj9m5lCs?L%EwB8&2(fe91D~$gqix$;|lg!t=vKD%g}IvSS7&^4O=P zMeg$q4qHxA#Zy-;b_lw~ahnW1c9Q(TNJf?xM|j3w?=6tI_|zSEZ+OE;KsPq{u=Njz ze=8pknDdmS`k5$$jzFBp0s$`gzow=h;^E;vdK42A)7Rad$txnRC@dkSUZS~(oS|vxan{$~&hb()JR%}~ zrqqkQ1G+K&VP(YUv}i+-n-TxiHKbV0p`$f&EU!|(=~NKcQn zYSn#Wxjgu#XWDfDfp7l(+q1XZ+&mnM{lM#L3E(~f0Rfa-NXaE5v$Gy!g&N`E;Vex^ zZ>cyrIoa9mXB%9AnA{9UJzEFg7v*sD{#yn}-M70*Hv>Q&UspwnW+bPsz#kIXU7lUz+?K z%?IZPY;5e*MmhAebWjKEuMR@%ErMJ@kR1)tw-J3Bj(E!i9)7V5YE|pHrD!i8W?TKP zVKwZ*7Z+~_60KFR5Schp78?hL2oJBUs>%qyP|yp$&<_{hReVLo^BMdUb%l%lRR!R) zUS4v3;&<6w>Wm7UQq(ox8nnC3p1BI?WB|$;IZ?n}+`k`PQ^O5EcZ~(ZL6AN? z(`iVU@%Cc&VSkIbvcEX7wFq~k2VDwK(?CA2xeHtShTS)C#?RQuK)yXM2)Hu9I2K978X6jn#xGcUBfFRQoVTf{sZ05AUrf}X;6cMeNQkJV z1`n||(coeaSZZ=7KS*kH8s7g|SYUJ7oCqO$2CbE2^%uZh4-XH+VCS!D_YM`w1o{xr z24Z63Qa-{LApSrHEEeSn$~o=8)^v3_-))2|DZGHX#1%0yF{8n>%gb|TUER5WfZL$L z!Tz#>j*SicetcwP%dF1#54AA#p!Y_BPekMlq$5lmAQ*0Wzfx6&ODMhfM8Yp105nFR z9eKgeKlA(dhw*RP6SyVtLX8a!cK`iTG_QA9$E&RR=5nw$+~{@;12O=MBmmdU%Ia$F z`YQg@r`@wdb9h|PAD5u+?dcgvuPh5lrv&^~=l3w6wL+ zupa){R^J8nR6sz$pSD0zwBM2~)Fuet!1(y%gY^-3XWri4Fgf8;PnMx)1`46zMjE`J z-Z-YV*K6-xUB79R=hoDm%(wW$xJJ(esTe$(>FMbvx8rb;%po10T!6`O(9xT9#z#jP zwd<6%v>pk1_4W0EY^RRAwzif@qihM3VpmsJqh_qSO&*oy<@GN6H1blEk=(WmH&UA4 zO`daIT_C8z(46%cKf80sAMgJCeYjfFkz6dY7YQ?e9E7B$d%C;x`+e;*o@F8sbxW`d z0m=IliO~1gSN!s&YQ;KI($btwHyrAs-{8Jd@ zpc(Od_2$jPss)&FAb=_zhe!lSIsTnx2obHVtcWJqw@0B0F*A76ScD1hL=rCON)+<9!kdl&^Qb5{Va*FI>!y*kH+D7G&VF$;eQMY z0+PzK>2pqwp`9JuR!M$L48EJ28^q1cB50Ezea^_32bs#vM69d?P>GuwWDCI4-xEQ( zrMEVe3CfkX73L78Pr@ciV3vXA<=3xYmB;DlK37Q0!pK980Hnh0YQca9B^qdrvi{|P zw4}k~($&z=P)jSNzMfCyBVge6_R#l?dP&8WxVf}s@b;}2?!xNoj!hOk<|dmzB2G?6 z@TN+q5`^`(^=n46k{7J!43lhW^_80A28Zbda2hM(^K6x&qg>|j?{*T~3ySKT4| z3CF)!LY{V~dxj9!K-3H4;3yrGUtraWdi(a&)YLl}&}NK|jy@zIDXoT&^!N9NrKg9q$(;lHav>apFc&a4U*v{ zT0-A=z+^lj=)RZtZFmIDx5|zBK~j*wX_@r>`&BBRGw}T4=j*$F+Tc-DTTI%4AjqN{ z1WMMwYxLm84<}7cO(7)c+i5~^0JP8-g>)l30umAuP_01h=j;W&jRo}n-oBk*TT6(H z)H5~)`GVQIcV*Ud0+4`#IuRPie_{+OY6T}b5V!H)-^D^aM4`B%?NgnCx>47C0Vg)Ryd`_FV z`1loNWt6z+TQXGIrt$;UW2>`#B&hen%@6gfX=t0(#jF2aDsz^ zNO>Ld_~^+W!^fPpAisdwbmz_;cxjv1C=RH1TW@*Ag5K+fF9)e1gW5Mxdxj4q*J#J3 zrZ!s5)WPg2RxkCb=MNU4fdQ`?{0SZI!CF(21{wqyYd{IZ`aCi+ zqM=#q=l28j8X#*Jm@-2{r;L2R*b!D($S5PzE5IeL=Jx2(qs#fZk4TujZxMC=z*T}$ z6#nt|Z->iPSJ{G!80O#$r%iQL74D3s)zx&6XjN4?L4Gsgm*h^0hK82iwOJ3VZbtn} zX=w>bNsyws{%Q3Gb?zs=)J9m5?&0B4K7G2nyi5(U&utrZWZroJEHcqs86>uLcH7g{ z3c9+UAen%*5VU!qM|@Q8`|u+~A6Uc-3k!FjKHRX++fVoUjy~XpwB`glA(-u;;DYGx zuo{Fi1A>A6wzjPF!<)Zw&JBzE8U`p6;WF3&+bb*MwO_eg-$rZ$FZFDBvCHQ6?=Qk= zcZG27-Md!{(o7gf4In;iY=oITNqTQ>Un2ZbkYP27`@M@}6d{F>j~^5G-KuhPS0Fz! zVV^~Yk;n}<`-O*>7jRz{RaIECXsD=4_)BeJyJkyCA>#BA@z>hL|PeYgri^ z4NY!Fh7c^lKYx}b=g!~us)T3l)xSO0w6ngR|M|1s>Od+igz)_W0kSk-a&o9?Xr!g3 zdAYfp^~XTGh5evJ1BAPv!vV1<=v*dAF{kkf2u{z>$AA4gJv%#!pu=;!ohZx9$Y^0{ z8T;weTEDM14>vcc=VCy392r*0$;kRsG;Gq{xb)RxCA_}8Y(MeXa0D7@A>`v z0tOiT#Z7EKx_1i;NB3z!_AHyi9hs;#kl_jW>cMl$$hB1nggb*R-FjS;vvv)YacSWx zJ}HlVv;QFu91YlN>&pI4uND`-))ff$__X(2%5b6td|_o1*_Lt4ug(s?f_4g`y37I! z|6SgS}Ah-8@cs2lI9=MOzF`svz0fe$7ilCBz;=ha1~XdtW!&Ss9>$lD|HM0XvE zA(PyMaI*6cp&#PSA-^;oZyk92h?a>t^A+u~U@y6tm;z^|J&E9<%)l!1=n>tMjomb4 z{5T^Ieqx)=nXlFS4-7HZzZ$eL`iFMkz(DQh;G@*~Mhozr1shd0}IS{(L)XvY;2 zd#6BTSIC<)NMOP=m6f#`*FURAUMHZ+rou@V)XTB_aP=e6QIqp6=G^!9my|rIVrHb~ zR-f6WaWqf<^q>1pNQS6B3&V)$xsJ28(r|dc)-HR&cd(V7vfsBC*10NT;KCJw_#f;WD_hiWxMXloL{P?4 zi{HL`rdL!)%KOd9LU*~ZO28Y1lC9Bi>kt2~dh|%SB#llC<>i0j82T3T3IhYvdZN~J z@uwqX;$y!o-E_U~foKl2S5{be9mr1tA3DUt(gKpn*ze}0f|Ce}?B@ob0=}ufyHN6j z7RDP6=lpY&)k0`TdiL)pthv4)L@HG8NOlf%LX%~!j=+krvN98S9`B!HkX@W!Z+Ce? zV3rE46U*btP;J(Z{PNOF+q$B~?@aYQ9x?nMKf+oI$!buHa2QrtWcBvs-$X&r3w#PH zIwr@}seYN3)qGSt!DWl%NhqyuC5^ZB5SA-=?Ce zYYbx2zG6109U;Ow>AuX+Y$0Y@V~%ImUYK9n)dH7N?*nFO(c6vkZb7)b&KC|#MQ)im zt#{=*9{Z*I&h2+d5SVN?o#^^=Q+zDd+6+9}(QO<)E_Ru~gp7MNk-54!;M;5k83~o+ zhTX@C!q8vuNiKK?Nd;rCId+DV#W3ik{DvYM(U6@_+3#;9d49;VMy}d9pX=CSHT?%G zS~;N$Dq5O)wIMPW4wuMU&w7ZcazN6gx`Wd=XVHcEza&F*u516s%iWbr@@iXM@yED? z-`FdeXTpF-3oa3L=4zYk1CT#UTE>u*6ePChPckpzaZXlzb9fJ*JsQ& zoAfuyEz{WtIf8tO^wkN!AQwY@PAw|M(#o=MVQ~{Vp*OCNk4!pNoaYEvTKv+kWuLA)p6v7KHxOlTpN<1$Q>gL`lk?r z8T@UprP?Rx+J5>?}DM*+i~>rD-8GB{i9s>Iuy)!jzGJ&CJ`W zsek-vf25tO!{a{OZTaT?T54{tMEoQ>@7=7+Z(Dq1xHY|=EeDfwVPX1AvV`BXM7CC2RZ!qc!f4r6(Gz+!GC8}iLzQFb*;i+GwvcVA^n>~b-`y;JI^y*i$&1&5O|{325;{`0 zD`N2t&*pgV7Lt#Q{&GFOBCXFt@FNX)30KoHGfSY;(b7Ap+s)@O7OS&+)>afgcRC&K zo;mGkH^)?SQBpwjjJwJ!F4E7X?_8JXyPmS6JGp4$Uw`k!s?+V)JQ`Q+Jd8 zASc7V&mynXyQ}k?k}N?B--rLK~A6Fy_*y8>^}SCa&m!TR6u}>m$J6` z-ozO}PCh4QEcw?ig?IIt?xXvJ%O;$9tuaCEs358~VztL`Jz8+tAS{9sF)B7*?qirW zb>tL&!Xm%*mJh+-sifNy0eybMvx!+P*V8q>n!6x@KNeQrG*QY@l*mdn^}CV=4d}P< z{OdL$U9@#{;c9d&EJtVO>o>Z6+d>loPV~|O9s?w^P}hKS+Jec*!au?tFYtFaou_zRDauGh&BLhw4k^ z^Xfdaf+Y1soLxGWEUUocgvI_oT_dnQ0oxTQCiQN&p$a`iBV}15974jueTwsl-+j&C zol%|Fr^ogB>rWGQyujQB=MguH``LkDH|^aCbV<bqn2Xor7f5T6}Jk&f|n@?vtR? ze&Tog1l3mn3lef6HT5YC%_$A**=pYz@4H%5co-C;M$J5HqVu{>5s0k%o^AJ_Nh{ylvg;_BbyJz z(v$tX*KHB^yHEgvth@EaQ z$|Qd1Tl<=0JcB_|L2yAT32&rEW_eO_@;wo#n`WvphKe9vYP^*wD^Oy8{rQ(nDNoor zZ87zJm}fdeftt!}(H}=7_J3O3E}YBj)|boV+o-(^KT2(4kD~)4=CYgqhWFeP0q-4j z3bM5D^wryqO5|7iXlK!WX#c3i+rz&p<;x@`Cy|Q_UR)g}!@^Kolv7c7x9VczN|Y1Z z=^<~@#B@B}dhv)3lh$$=F0Vb6`rs?wmtt#Qpg#3OWZtGx?rl!(;^80Er zy4+$ec{2uXjQNVre*Lm992lDL9ljNOW?R<4<19LOjx*lUBbqQtnU&Qc>)(zl{*TpG zB{o*Q{8jqr4pVyxrY98CrW~^??}m69hi}VPseFOv8JHu0DYTR1at2y6EWZQ`pWjs; zKv^$dQten-86Db5I!&&wp_6#V=#qPRaIl&`At`x`=JDa!yKdp@D3Ni*ZN1__GORs~ zGNah>pU-$|=@g=Al0yYc^wYB@{hXi8;V&%@rgLu8T>lw}%RW0=P9FTMvj3(3vp|N+ zk;#zYS5C%5E%k)-2&U}Dgv7Xnclo9cM(BjY8@nR2$qQ!b{+~$^}v^$86S4! zuoEqL^mrWag+=>|s&`p#W_?W7yDy>nMNol>nfA>}?QVzvR|oT#9%sKr+SWEB=l9YL z6`h~tzTth&!RaVD(f4B{zlYDUz2;J}t(b-L#gugCiJpP1xQ5F-^Yy=gIBM}GBY%U@ zm6MiajpR;A!5h@^Wy;`ll|*!)q=iy}jsF7u}}DX9Fz*f`2#u zdcqAh{Fx~F>!$6?Zj@yiAxgK|0df!&-3WW5Kcw zwRH0Z4j^Ut{PZG1HkGyUTb0xFnP=QL-BOPY3BMufxymY6qb;;`+>O8SZp>v>9Y%K<3cnW3RO~&AK(((ry~d%a z@c6o8pj1EOX)WmbZ`|{}!}Oyj!-@k(vjTI-^Fo!?wnmw~yb-XV74K$cD{H;>Ia8Ha z%&g2ggqHv#9i2j$A~UmXT7Kar(N>N!2a{v$y|xko0*dT!MH*_Fni`6elTlEvX$d&~ z>6-P0sDW_@V<^oN9*D)x|(`KVxPZ`HKD?`IrK5X->%Epy-xiL~`_*8JjX zdD>gPvENWw7Eeg}24cG$|7AL=%c)%!7Lz>||1~iLUD3tGwpoFXAL%Z1n)`x{##ZoN zM?tLxWvl2VYb9HJTx`o^WyOye(R$=JNt$(!O1y_@Z884!eqnxV&A>q4Cc0Dg%*f1; znVHU(ZJyTANSAA?7KIc<9~UStI*WnMi%#-Qt#X=!4k=E5bh z(z#P=Thcc7NPZVRGn8vbTueORYxo*W2Bcdzli@Abq`<+?!@mV)imZx$LxWL2{h946 zup9zuahOiht{+n-@!}e-pAkUHQ}DGYIx^bjj3pD(_+=l7C7Y_K+z{WtwxUDN#Z87#a!R;9QgCW-F*VGC?ig|e zU4HjSUtcAmS6%nNf($EOv|MW{rpYO#8Cczi;dmf-i5l|v%KZL1TiuF-Lsvs+&vpZ zCVtYtn(#dJ?eANWkS>agtSIvH`m}9w zDJ+Wi#1H>Aoh$PJ>;+qxnJJUyzVKXLAhzfK=ez}(wvUKU8s_SdCFNAlwDlWliK(vN z4=A#8bGGMS)Yj%}sEfVtt|Q<)T3m|7mk1-B$qf(|z3s-B@`RFJgeJN(A$+F7je)b_ zNl^o*j?Iy=Q+vf7j@+nyXx_@kb-D6JMM#09u<^5LB zaDnq$`yJlG=o6vpep{bn#^Mv>Ume$^Q%{Stg{p1Wdb%$huC1upJriMp{=2aO#wH2H zj}GWR;XsAMyo4NHL+tc+^{Pfqq4xIQQP;RP`qz{7?hRS|(CJ7Kc<6+)J6*Rr(pgwu z&FpB#w6c#h*Wdz@5*u(B)5gLrA=dJ_-RPgSF&ecH)q2rNK`#nTJ(5pvG-n!&!jqq; z&3HS=lVjBzf0PNO-z&kB1$?hkkd9403TNqpOzEAu`|6 z>)D(qMObZ1;eJU-9x`@l49_?ix`;cdE2|jhB*op{Qf}*$^q+eO4p);|Pt)1hpa8ZY z-K5G{4-IvH7{5z%8N1rbQ<2^wDR{BFqOD>`5J&DDI;qZhk1dPPBx2Zm&5k7LO>(C= zKkfOy5&aemDN{O$dI>X2_q|7LPuKF%_t49eahq}VEEumBGg_Ok zFzNC;Yk15a4^Gx@5EgRVQze{E<(07u%2nFDbcstjUQRv^J^kK0rr+DN>{0rQ3sc~I zL&4|0*)TrUsg6N%!FGWkLAdaKm#ZytX5^s#1;5l}`|pjR zOZ%|9_Xbf>t0|U*;-3l$DZPJG`t@=Q*FD!qmnwf{j{glL?yyf4I&M#_=a6Aa~30yXxGgsn)F-blZo4 z!)iI^l8K7uiyzdkKb4g1W=ln*psZ0X-f~BU&W)9K7?!D(S#GYie)i|W7c?AXz4Jx} zyiTW^?E=#usB>~Ul9EF?xLSHXbsHRG40K*bSl~>kC~4b2I~b^3(}Y-nP65T;KW&M? z%E~z_xQE!hS4s@_enZN~>+G9fc={8JEcEIuF9q55?5Y=9OM?i;2Xw#NPM)1`4c0e2 zfs+4oL8cQmeN1$8v>2rekITGrD=oc5kvHyCjRk3L z!Fg+kz!RoLXLh?j9b?2c=7sUE0JwzdLI0o;?mkZylRw43ax4EeeGP@SP^|1H@$gepz^@;FepM3l4dk*5cni+O zGxR;r#L&SGQcj!cV(PnRf7Z%)NDXm-d%+74)QweK5s8(KHWkSib=MjBrF5)U`JFzK zqk=c7>az=-Pltc>$DL5V+N@k?s0UMkgPKN2gAIKq34y%1vYLvZ+kwG$nZG)kFD@Rz zeU*o7=x$&IM^xW07wYNCMN#0sBSW;$)VwBiAw^PPZvM(mSE623Qz;tv++>XMnc1y% z9+?%QrR64BIcp^nkHz^9|7_+9e|`V&#+BpLg0H!*sn-S}w9JUe$zf3(&^;+{i}Dd^ zT2>cF*E3axI@wgPgO}n+QBH-U^>v-9G6kIYQu|E&cV0o^Lu(VmTmjdSo+cCf8J2<~ zehr@5x!Imx0wThA!uU_!OPs`d_e5a!X-`K+eSUYxpOWEvu4;|uM|;E_R;w^5V({Cprt1)LJTb$EQ0jb*yez&=$8p%Lg|RSBBI^n(3P1$$e2&+DY| zTq=)6mTMI~yP~6_uxo8Ys&oCgx;odub|FDTe1`DNYkb6NCkCZVoYR=Lda4*D>h|7T zgEg9C@U>6F#W6wC-e>c5)ATyqG%-rU2A7>`$B0g`_^0HrZOljtUu3(#`3M%_bF+l; zd8S``dwOkcY+?wnj}@g9Sw&t7OCeP%i1&#lz0h#s0gz3TBFnFa8)kGsb_Kq-P_ul= z)ClL0V=}w_Rx1H|CMpBb$lTJ-diJhn238%KkBViN$#}_fg;dBrk>2Y!93qxf(H!#| zt%@B(mRkcJYWGCw6w=-LJL+X`ongU-+DyA`nSNhm-Z#T@6H8M|E3=iwYmRQAKgT{3 zySj_-=zDqujaUBzr5q*Jk4rhHLnC=(VWe++`J2GZ zKi+4M0bBL;P5p+YO1Af>-|a7%_-x(yAJvnSQ`sUW2=hK+^pue=)#Pd=C8`GD@ZzeZvOLt?u(Tc`a~(0O}yX?Q}9h@c`@EOUyWdr_}@*6wTqQr z|22swjBs{%kU#9?Wg8eKszwyfrjk6i-RgV@MZ~GgDexwJ*7yh7kTKWw!cH{~Kpwk~ zXI*_PjmMXl7gJdW?a$Bpt#unG$gWnl@~>Ox)+@!`@8O6P)R8Z5f?nT#X#UvmDE;n15?kBA z(9f}!Z?(0{;;;Wkh6qD?o`+i4F|AccRMu=LFXz~=+LY=yr{Kc0RX9L~b>-$CQP}Y4 z=mDNQ=1?mSZlRf|MEwd8e$Cr6i*r`aj=0=MkNox0(;o?Q3+vkROkhAC9xSwAFZZzEd@@@uptoP(2UDXkgKuz(^{xe zzAFR%!ynEL;P~1Iw~UqTP4b)KNdnj&*ap$&8>#(}hqxXdFlt*bSHt6+?E% zhOVj`IBLo%Y3qM4Hx}36snoy}gDbVR`c!D7?k{?E02vmJ1Xy~9I8I|69Jp+Qzw9UU1N6dc-feKyl> zBrU8XP~V1>K@{|zgl9yrE-}%?hNXN&40wfKqoYD-zj1^Bjq}OPHF{%4PmYsbzWk%J zG-84j8?iY)I^nSE>Cp=&88vV9#NKn`D4^XpR9aqLg=89kO*ZV-86kWf4)Jr7R}1CF zPK%o>3dxm2h6B~VpKXStBdUV1BFL;wT&^b8!Fll!k6pG>TmE;?Yi1@UEDVw}r1!9$ zTjA&D2get9^qd)Rx%lkM5-FKudLW%B-MZ};)w%$^H7;hY^OJ4gFJD#xyQ#OK)Kpeh zR#W4$Gnmfj5>7{kT+$b;xB=qIn4e$Drh-OEY-HQ=(lUzp2J6 z*zkl=um!;?dC7EaZmSmwBo825YTvZLNV{vh29XR~`4jm-ZctGC0Z0oFpT0p?od2jn zFk1o*R*Nqh`~KYx1k~jeu$2xzrElN9H8Kh??7fYE4r?>H%f(44)HEV5m6X_7ScV1$ z!e{Ow4ROH(Mw~o>jE1vZQ`wn#(MEtVwk`(Wy0K33S` zs_QodtR@&;!nWaekISCzA;j7*$j}hGUw{xWFf;@usUrq(rT!usRTh(g9l#Fz!~+sU zBVh^>GU6%*s7c@-Oq3SE9tgU#X>iDJ*Cz@9x~$F2-s!);6aq_I_^)mQwt8fwLKN@- z@1piG;+opp$Z%$qWKn3E#PkI zVC+B{-3@-fusI$Y6tsTYe1=3B38q?B78Z<;A2)BSBN*VhBHo69ckM`{L{CdgOM5#3 z9^S(I{LsGQA#zYq5OjNGjp$L_ZxBbsn2nuXRAi)S`KOQ&86ly^%*+G7e#J5=9y$UR z06J6-cJ{2scI-14=tzh{_^iqgr*=~wK7d@Lrwh{1bbwQFnD?Qnt*tHOw!2!6P5<4V zA%GeA#lX`6(nm#0TjR37G7#fe9zHTc-4tx6!H#xzR)B&+7&v7ZAB>EQoSaVW!32zRs>#?j*Tnp;&-;pIB5X_f z5D1~BcSc4lJ3CE4RQ-J-MMy}mC%wk=e+sIfq)+5A2eX-8#Pc{^0cVYoMpV_#5IJEF<{<99Mk+H5j1U)4x_w$_zn0j;-!g= zKvV%I$O2Efq@)J?XlGsoAWMpix97;jgKZf=KZD!qLWACJFinrv#-z&5KEW-+f(48a zM2<4pc+G;m7*T@7DK&N@;MtsP+g6|O1yEQ_3_d^>tn0mW!3qDrzjU8H+Tc(hjx+>t za;m}%ef_!tQ4>ym(94x#!Ts;YOc12Nh!+q?c!IZYU|t)MIVfcdI_6?Hqe;=dh znMC!qw3HRVveHsppeb4Y+|F3|{oS3fULQIpyviynFqQ%AEY8jb{Ihx6rtafQDmYiT zv9xr!txZ%`HWZjC9TW+GN=t!S3=Ith2;?f}s<9YQ&RVc02m5qbLncUN)WEjeGdw2*uG}jVJ`3iexP$}%*EdLx+WPuB zFlIo&1_O?v0Lv1vXb?PaPFJuWEV>Esq!3#HNCok<8X4z@sKw_>nC6ahmQqr5X#(d> zoQO+VZEZ_i#Xsj<#S4q?K0j&eqWY=pc?mdsfWY&Pn;lAzk%@^K;2fKqg<|!dR9y@X zb_}EmJucy+MIh4Z>ZU@BeQ#Yl1%=$;k6n|Ki8J?DZ|3sVKA52AD}C{}NT{{#y>1|6 z^iFm{98d^)#%#|XId}cS1UML8*7oH!uPCSko&m2O{ZxU*#!eeM>;WrY6cS?S=}e95 zu<@^Vl9HVevH*E3=X>-5hKU!h2rO+95)#mQu77|>!%Wc)BM6}#A9Y}{9h%R{IR-FS zqswgRED14!A5JupPZ!Wu7u($HM_+SiReP3Jd*2lpK8M!cgP8k)$m*JS2a5V~ea~iV zh=_@64SNZlI(=Yk0Ws9-kJ;n_0PX7cJlekK-QHMCi#0EW^cPVFjG5*e-(_WZZ2fAn z6V{^|`_n51h4c+9Ry?`iLyULc{;lWCco*Kl?K+6E@CL{QTs(&6GdIHxGx+THy6o59 zKJYzS$9GmJCQgHs@U&&9@Sw%#&eC=Nt_c;MDIlWvX?VkvSt4gj4|IejasHBoM}CTt zmUERTEau`YA07Mk#p8^Q{mGTyU6HQQ*1DV=9u7L&Ni*`ztiOK?0*530QRkMI2%hrD z-N!rQz_PPf8u3l&vep&s?dsB)43CeD6-7_Q5>Qpqh&*6y@f>vW`;^?7LLsVRLobZJ zY+&5pE~b~xOT7qGC7lu&5as_t^Mzs&YGicE~GfRyS-KZ(i;O2ix(x zi?Yj*m@S7Mg(#YjSd!N?~h**SPtuP(2{nu<9Q1qfL;$EGBf= zoDblTS#^^iyoxzJQ>knGm7qzXRuUmntX;-ACMPG)$k?a*ywh@P&wuo5efMB`_%Ipa zhZiNEKVR&fDiP{e+}Uq>;s=zZh3p~nrISir{L`lbiJZf{)a%4qa_j{t6!=aIKYCvB zQLk(0>0S9~Fsm`A=_zB#cc0&L4m*(eAvVLnaK2vcmV9c`zwlXPGiz0WJYwuM2Cq}e z=4!;pdakXau%w41_e9Vxo!sAF2fPt=m3}=`>N^_nrqLknxFNBYCp{{SI+UG#qTaqd z)&I{%{Q9ZO+zTxlQtXM5KOTQ7oJdm5y1k{O-x&1=cwSsy!tnzzG)P(QJiKcHxm^_7 zoiES)%lJO&bhfw_W@nGaYDS_{@T*Yk-5Zt+DlQ3XzS3!;{I|YnyiN?&L{_CTA(Qs< z{xPQ?96FGb@BPqQ=w!Dx+xzA7(br?c>@{}mQP9GYr5UuTijRpBa5*xQ9c}ct|1ChI zs=u1#=vXNzEu$O|CWKDBe%CpXb)#5ry7Yk!eST39aTb4{c?;eg)3qqNifT;qgFL`} zJx;WK8cEtnL;C+<{cidSuYLTSo*!qafWiP zDy@9Vq<_)S;G2DNfrHk+n-cQNbHS!L|9;@?2m0oR(qhV+iVF;zS}svV-5c?ywn4?u zD;#h|B$1EFkLIE^mBY$)xr;zmWAg^@6~O9$!`sq=A*l z4;Kxs^S8fD+m0V_;ynzsl~om5weNH5>h4fbQBn2f4L0X5iJO6A_GE*2Z%NbwUet(| z@y{ZZFH5}@F?(g{nDJL<^^kUR>mN11%tX&L#)zP2=o!B_#5tshyI1hHPgczAdMDP* z?^8hBK*_xV^_>vhpQArv70xfD?VNm;GG-NV8uzFRLJ292!d9wi={y`BZYr6cbkff&PrehJc8OffnnXGroI5W@KqX&5u~jFXNWKeQ+TSxl`|s zeBRaSnvxw;@pGO+2Q%(f?-wfm=*Zafm_!POr*K48OXr}VRjZhi{nuh$yV6@gUR7KY z%Tr(6x&>onRUtiNcCyiapVu;8f`lq7Dyt(j7A79a2aDBNU-Zn|l&nj8E_{LA=oI!0 znix{~S!hS3ye`-qM|sCyfwW&6Tn<}D%qecTRvuoq!t$+va@`Y#DpT^5IFyPdf>>M; zK<5GQ-wa>oy3rwqyrgP9tP`Z5q&#bK_co8~zuw&rTgYg^$$HXGP4)FF{XG#MACcAK z84d1f4*HAm+$t+=%dLA6le*mY z5IU5EgmB&Z0u-rRTPf==v5OCmdd^OSO?N*{(YJy1S5B{3;)Wb-1T?KdS1Vw7}%*{e5 z5RXgcs$EcOu~MQc29XpJxcwuH&aPlBp2*vcilT(viH4i|wWOM1gXj6hy1syihrSY6 zeD!b+A}Nv3Gaq@FO5Jn%7K+<*enfpRm1FqTz2wSk_+~jcKhhhG%D~dlYYijef~tIi zw96XuL1ZF_X3y>3)sz;|n9@Jua8!V*1aH+M=@IFR0qC2Y$n9);{lSCudE@)iN}sJW zTX_i$E_&(ky?5^xCN81c3cN{&9cF4U?n@Tr3(CA#)>JAN-1V#6LfN!S8aHB)|6jPltc4WK<0hL zO0g$%8rEx-k>=caYxbIezZSc!X2fyt6VpUU4SwwP4DT$K=Y^B*jSP(ve=cmL4Whuo z88l0mgY1lso{@#MJXR+f=k zb9W@v?HaoFEY?h%hQ!Ofly+naJ*r!@aj?A4k1J)&dWNdEbfS0NEk9Bk>FSOz`vXa+ zb9=VI<4>Pdj<6`M$YeSjm$lZ&?@_T!hjT#zBsb@V50TQ^cH5)>N;D}Tr(X4m;CI7| zV7kle#KOT->b_iIsP4l#$JEOpdG|FcIp#q~L`bIg-qEiRuSULy9)l>(%dLsyBD6gJf-b3^`VD>9At-nr(LdBKo5;K|)-z4Q`GJZ< zrMbOa81g#R!kM9591=?d$kC|bs(!rWu#j3il#%E#Nj(x{bp&R+ORlz%%w;(w(} z266PC&!$KX{vdqTxOpHvTocHL3bbMXJ(?~Y`<)i z&V2Pvi+e_hYT#H$xc*W79XRkNDJ@A^P1BrjR#-(l`fQ!tr~|9kl|pcbMC7Hctd^W; z@9$v#=(iBK7nT<>8(sgUle*m#q5gj@U3WN}@ApnWcI~1z)oRtORkReiqrcyO$#o^y`@YZfKIh!$KIh!0U0sjA zlf=(pWl0qktj`^x{a}qzsloysIVdZCx#DDDr$+#34Vb!yS~e_C7l%eytYRn(XJxFz z_g6PZ3ikQ(M49MGu3{8+mpw%1@{c|rG2yGO){E|P`_HCU|D7=2x6$VbKW;Lyv9(QZ zZvN$r;)+k$C-=o19TilhTqzjY;z~r-62q0eV+u!yOSAJzwdH(!lD97$Ufxj$fJv3gyy*e2%t!(v zJiLCmD~k%0Onj=ZH%wF6QS>s zT&*{UmYP@4LdxNF<$Ua~RtJhp88X)-@l%%tFL2ff)but7chbwg0l~N16wCLT)sZ11 zx4&i$u(^w3nw9-i#B!c4*9h?qbNKSU0E?&Sa?Yl%Yff`Bti|Q2;-OacQUuX0lyn8( z)}xK-*#F()KP21nFgT27cWMwd&-G@F@L0z*=m&T`8vAZM0Kggein=Zz9r5BKl|md& zWYO^2YG|f1`Ptc3b<~1mh+)_4(De6b0gQd2yqJJyCAoGP>C+@1Mx`UO;Alzv3Ki>4j=SjpO){L;cb~EbK?d_9pPA*~q;fmZz zghO8v+q>S6KUXlZR5p`}*TfdccIeF>@40lM%yaWB(g%)lvo2gJo4cPc?ca*6fF?;k z2pK*E?H~|dAYtc<7uVoUao^ey6jFX4ht?+yb*!;+VT=W@DyJ+WBQ^)7MR|YUyf61oCPwc* z`?M|F7Wp-!y388&qCC8(UD$;*J?v*(LQ}ljKir<}&6dh-I6K$)+`m`cPHBVE zw>TP#Cqn%=n$83cyi|3~GyW_xj$QRTIvRDg5O(BT{sIFX4wHrvLp9ymvcD%02UPJK|a2#Pt(v7n$DSYn^|R|_fwg9wua`LtIfUHF?Sg1 zUj_b<7;JjjWt@9)WHv62P=;0U{;QEBx@3gifBsUKwYxB9i#36g1S7rh_D)R6=qN2| zj?%b0=aQ6qCFS4-^G!_;Ze9epf=NcMD4()gqJD}lFWfHq`B*i7wE7-6)Q(5rmQI2c zph#ru+T`f>cl+CaJG^^9)Jv775a}OcTeI9Cd>wfHk7RGGfl9ppgk45O%CCaCFwo$E zT%-Mpj*^yjx>}QV8%4cHDG6f5sb*Du{R&R}uKkTEE_q9rI8kP1 z{VUcoFupXE-l)hs)II%sqQiP#HqTo28YQYJi-4X&(>YCW9ak0j!+sZL725Tm)7HZM z=^84!zh-_VqTf%<1=xTQI5GIrs1rRaareZEc*SdmQ9TbFf@BJY>aE@r&RuvCc7$XJ-x*T*-stCd zK$&G2&*FI6Ja`ragGZ_7!*}YLd4T0vFywrG%U3juCO(&SAt1JiA2mJdCe1D`O@&mZpq&*ECGhZ-;Nw@fHaF0_wP`1kgugafZ~-&E~_ z(Bj|0PWap(A$>QYy<7iZtOqIY1Y@|gY-HPivV9(XlxQhmW_E$~!T|rxRNNztCoz#2 z-^SpqoM>L}jOr+CcR4d&LdMZ8ijyOTQ^|@7Nnra`C$!pAe)|_O}*uu7FBHOX&8@tGXguk5)n-4yz;w< z?$qr8Z9Fx3HVChFTLk{&k{L1b8Fe4C_1HWQ_6Q(Z*O44Wijea1w*~cyZ}YD|(E(9| z97PmV9JiZ?=Az7!(}BLqEiA3KTGbdkfcBOEFZA`QprUW6p`i(~a&SAhL&MVY{V!)Z zP#H%{yH$`ipWit))M^a9SCkPrIxvt~P(u7^A4A2cpH}t7)QYyZj_oguLRM(jcSjn|dP){6E(Z#v}lziyIOM&Eznf0?cX zo_~>>hgImU^eKDR5G+;@U8DGx=^!BmelY(YAXAUZD)$IL{-O8R{d%g)e&#q!l{fB; zHfKzd0oL=Ck$rsHu4-sCDcJX(k{GD$Q%p|9I#_2Web}jJJ49B~FuD&&mWxQahwXTY zvynTSl*zk*(Dd#z2;@7Bl>Xi}oyH-6TaQDFAJUCm-Z{QR<*ouU!jK6Hp(RIM#1p3h z87u!L0E4_Y!&E<;A$H?yyim|nOj_!;w76|oxA*UKOIJ$jBAOEh?GK zg<)D(Gk+XS(gu=ANYlmBkYxf}rcjfiqWf+m5}4a$wDH=aZPkJ1}m`DjfgU;O+bQoK;k z@l69-<6^zZl1uRZW7pXg6PHydzI5um z$ucF+&9v!v1B|p0uxPUO2*dLws##y5gb?}#w;>xgWIU%Pe0R%y@MuT6>w>CEU7;fv8*bpTGd??ia z+{7D$U!DFL#UwtpvvJ9lciIl?zY6}~ma}6pAT5X3RexLpzRo(u13c>r6HGSx7cq((#D+R>-Dgo6;(O2W&Jcdhxvh?&R^GV|QE&9e)NcfH0EL-S#_ovz=x~-59i$m4TD~%|;r1 z1u>A|ID{>ekg*GohyXKU2hDS`O}KrL8+wAu;d-bOR$o_Zdljec(OL?QbuJ+Egl$yY zAg#c3=h|RX<<+$&wPSfb+?mAkf1CTvBl*NsUHz8Y0|SFfMUhjMGp0rx%$^)4Z6zR< zP^Ubofx#({G7pa$>2KBDN5-pF`LpxQw$cHTGS}(eoExNP6Venz;h*AaDv(qSkHdT- zqx-}(^9$|$kIEOypaGQvl=MC2J2<9i{XDr0w*E)2nG6iAca8mHfnETeDM;u5a?$5- zIg}5Ira)U;5l5=pBWKmm|?vc_&#@85c{w0uW#^jDU~ z@HHt()Z}bfg?=Xk$qWbY|MLCYh|v^sV)LF*|BsS9XS(Pp&Kh&}|5lpYzA8zl@UX${ zaa%@c!qMVCVg*ys9cw_uT1qAY}xTeM%TX3>r**!C}tx2q4R{}XFSx(LrAZC%K@aOc- zx+th)f|QSj$_S|}+EI~j4{%D%&~eatfgU`t<^z@I3F{s1o}M7L27x%w+t@=ZrOa_& zT_AIQmXJD2w*j3;pnG>sv3@$Xkpi;K2CzJXob}bO_tTYpE`J$d<`W}N`gl$iWbHxO z4h;y&zq_%YUG%76Y%KNGnr`+8IzK<(oCunR6zbfj@M|0p3l*TZ0`9U8BX^PQ;^^p4 zWak_c80+^2!K*5qUkkZ47O1yh08Y2Oy8Qh?kkeS^1uZk7MZp4%S=D#&+7 zz`CuLM7=zj!XM*gnL6M+0j+XRVV2ZMrRnAh?{X|(szN<1ICLKcub!N5v#fy4jIjl` z*f7yi!r9kmyMu1G%`jpur!Dw+s3?OkwT7RMZ9Uv!ZzSgVk)Aw+^O&G>Zs$SB=o&qF zgy`DxIuF}Bj!q`mi0jmlfT_L>C*O&mE+wU6H$t1zEIA4zBj6zvehIeE>xer_Wu~Pr zE~^U8;=UPwS57m}9gX*Ry@I05cQc~{fC7l7^Li& zT8KY)DTFCCcL@h0)+QJbyoYa1wLr)qA0e8+Ctv^a?;{x<r$?B4*T9Qvu4ej*@h}9NWOSZ@En4m7t&HEEC1w!(M_B88;I-l@5#A7q&8z8WOyqd{)FT7egXN64qmc2+{KBqc4%Ho*1bee$Hg zTp4rB$utsI6JsnwdalCsg_cxGIqzy^>XBt;xHo~yUl`iHTN97Vco^lViNBwlU-n=% zVaFFHMMr{X=j?LSf#6~Ng-P3<6|f4 z6cpds*ocITe4&L3XLs@m6|S|l^>DeR|9_w1y?#wYNqL?!2nIlX20j|d&~szfU#|xb z>c+PZJI%?-+31V(x;-!c@&!po+T8~A--82V|L)Ihd*86zEY!}-Xe1c1M!o}cGhxjs z&pBNmYa`~smoo-Kz~blO?d@OvH~hc({m$=~L!82chh4)%npdiHMI^i8(^+}@2KKmt)w<#yIuto>=rpD>h_>n<+N%)Bb= za9w_(GsmSSNj$io4R!hyDkx+M@Y2zR-mZwJ^npc~H{$y$%7}D3w<=4`{awjtv(zOj zl*1Du_ITLoJ?lOaZ<8|isUYZPnqkp#J?;M7!K{~eb3aw6IG!nZc7C4c4g22$QD+Z> zM!)h7_jPw$4X($XI;vAqZJy~|^@s<3Hs|4`up4GzU|DXh@;t$$Lq>*#ZG3#hrsHpe z5#a;{sl>%^E0x*UNQBI1xVaAAx?({Fre?PM9_&7BjBT!9M z<@NLq_Ge8Kv5lQwG7b)6(LNOB{V1e_gWwV1YdJY}2@8>q&!$3rjyb=# zzCMj+QD0-`J2WQ2wYBM!vB}4@CT}V2(KLQ)I?QF0H{Vd-{&@VA!?=`MQ$uq~lL!O* zV%z^=2ZMA8A@iSIy+n89SCdpl`5Jzf{&r&_qteD|_M&n2mT2+9#l`qAc*CBDJa$JQ zxvTbDc&_p0S>fl^@Bl6wGaU25;1^=#Cr;i0DMhqU_P64y;wFT7HC4^z6MEmg0&1vp zXvBJKlFI9;L0v(jZ=t(;p&OP?lswkjd{n^wwxZ+mZz0+kqeygFAS&vyH8B12#Hg{c zmT2O!rz^)^Z?y4%qt#a{c{xYF=6_+Q9eeJ23lYA226e94GvF{Di2r>dAIVm+p~<2j zu*nL2%4-Y?{!V|oFwhAN3PX@_kAn&Ojh6%4X?nALvCKE1lzkNe|@qXV+v{m%I#9C>$lYpVc&nCjyEt!*bEndi^(Pz!RZ!>WsO zzQ-AQqap^Xv;Z4K45VXbFxF#@m0EH+A2?a|O1fbZeoIGBXPDGS8c6uhv81xDmERL& zrF-*V2W+3?C!ksF@Ar@hz4W{P_^lzjpjqNz-<|zygh?(x8bvI704(gKh6b*k{#E*0 zq9!ia#|8CZb*V3*+zqv?uSn^b*FM@fU7iX#Et`iUp};`|sRU^{?|-SQrTh(`L2qtu zK|p|~mH*;>nc!$eW%3c`pG)q(0xpUC97)c}KJQTpxX;kiy`|Qih+UTO)2Ds6qq(N> zR0ETQOS;^us!)}K%}gIIjzUGp3@(ox?V&q2qKpjGk`zm0uTzoZYWdfRSXg)~_D|!3 z@nb7aeeZRec@%d0+-N#{+!%Q9s3MV%&sZ|K{r+AGt@_+cQOARo1~gcs>iq}QJ|f!h zP7b<6yPa2p`MGVw6crBpHY6=A&1fhELp^@3{H&TXoEpGL1sE9V>Zl;{3|c-e}GCpxx>lE^ZhJS_ayJ{&vsDJ@w03T?F2y z2c4&c#3V$hv8A!r%~>fdH1x~iQlqrIHUe~fwMM~_k-<@24RAtVTuftjdJ|`pqPM6- zA{4@>6ke1Yu!k1RL`XZ3dBkt{-45M7Je1%1b1#Yh!+IpRf1Bzr9L)NE;Q!wn?4@`s z`r6aMCWM75A}|&txF9ojc(>Uu`*${z(BSurEA)ZNfN(Con0C0bF;5r}SO!=?T-#}E zJg8{u77?*k&4@|7Raxoq%ZNMecw7{x?vRidcVQ9znY&53-S9x5HV$SS22eQNkg;c`ibTtiSL(ZAbu7&1)dBICe z4n-C$(dt<`I+7Z8gzFoo(UDlVE)7w4XLz2{_4#pO;=XA^Uyb>z_{MiA72M;^-JS|Kjo9-4z6}e{D6~j>@J8 z5%L*Cgnpk~yYSa*&dyBsKNB34`6gwG*hZu&rZ!#wa5tKsp6!>D(f?eAG$IUGS8vPqs>rkKkG4RgDil-){6182;Jltetq6@9Y zJ!P@uU-4_Ml~jy4&U#k#7&$EnZEi3HC4<&$BjDJ^TRNlDPBrW*4_ zfGgXF{?0FJ8+lu=+XP{-*p1REQQ{?DO(r3fm_FHk0`%ZDH+JyO* zL-YVl2#WIuJ$vS1|Lus7g{7_U<>}Tb0!nNa1PL1m3oA<_pNvKd4&~p&#wOHWp@w zdpuNsRvW;^@Op?nA6I?v=X?%mPu*zPT4%ERLczX`D)sOs}GR96*;j<^@QK|<_W%YkoXFY8vd>?Ll(a@Oqtl5caXU>nw1J8TeIW3ou=)p?d!RIzksONq)joz`lWT^|T|4_FP7zk})G7WPrhD7n_X3GG5beI ziSMh66}Kn+^$k&JDd6^O<2|n|W>?8Hr`6R^&(9&N+}e&KwIB;r*qi8K8b$f5456{H zKC?*^M#QsSSyx$EE9+|?lajj6p9`9A>*4NVaTyQAqXBD-Zn;aGn0O=ErN-x*8AcK0G@x8)tXQwB(*YHP-lZ7fnJEq`R@bAzFXQBNNMyE#Dux zU&tA}SZAf__v5oLVw~62Aq?!#DH~6cjW0+jEUDazlBy+bxq5(pS@n%P=ro)>-36f| z2IBJ?1r;>+t$Vb8SBu`rKKR`A=_el_h{e;+&dw{*o{n1;Q(qczI1;e1@+c|)G>>a& zsKGpLGgU9Ba}3v<$!%7yCZ6jB95nSWo~7peVJ^lG{s*6{ zL(BBnw>N64QYe|JsTr8sCKf}oqS3;8Jsag$2^(d^wC4JZ;#x}&*gFuy98b&s+R%rE zEpl6@AFT~mqA3%I!2QE@F>$e!LE%sd9hP5YcUy1HkfzgsSrjbHKhV;}Cd5n-vju3= zaO_Lp`sMBHCnhE6?(NesQTxTne><*0y2DP0=V%Vn_&hh^EA#(! z28Mt1b?*04;xKTWrAXF1kF&KN047d42*yga8LjB)=Z7{OGh-+8x9Uzu0asJMLx8m# z20Ce$x5~&6UL%=5Hi@;do=j}n-2Rp~rd?1#d`8ppcbjvjfqq9)s>AY7@3`I12k&1B z-HqrE1LGRc^sIe_Bl+oFga|2mFls2qq~Zq>_d@bb?sbp|=EPzCORIk1>FEtUuRnKo zag*$ArDdd7iHUcrt$&BA{gKCmY|i=K9iOf^ufc9{VXbxf`Eq!ruVYRnMEGaqrW;zWoDp%lpL;@BrwyeC@>g2+niMgUpaU_i5lA|u6{1GGb~$gNeK&Zg$()~i*RUPSIHj3tCbf$$5^c$%Bj z(&D3>n_~`MAX~(E4p$HeX}3{EvRvU5F>=&TPWxtFl9JheP^{RV11&otS;Ck(&s%ML z_nn6kMxJmRv8UTg1P~DKqp+}iJ~W!u?caN#9!=ZWTCllRF8ZCC=!y31PpjR{ABNhk zlBN}zi-Y5MW_#1)q%5qUzj7B5Z8oORaQJkd*x_(==jbQLx|jSfiPBkro%r1}Z@u`2yw`iS z$F24(-G~I)XBMhUs{^#XXX;=e+u&8>Ic4iX30_MqkSK0HE9beMrIWNuyNr5iCK`(^ zLUG7Jm{p1Y`itMeE)Z5CB?dRK*0C=xwfq z3sy3@-Ke~rJFM)PMcy zJ{r(T=zigW0Q51xa-Hae(#JRk3M%p4=cz(7JzUt{@kt2)tU_5zgrA#JQPw@tS`0A6 zBqr&%xg(z%I<2`8$um{pbKv!vYrgIQ=I0tM`M0xPsH9_4A(Qo|^HSsKxb}`{RX;|z zwRd%SjJ8lNyrdlk!-p*5CkS#oT>AES+f&0fa3pT|e&MEs4DcW!x2@_gG4_ZQ`*fyM z;sXBmH#4Jsf2g5PMPHD5&q9Oo$Ho#8x8zV?bUa+cK<;N`W$jfC#T6u{O?i#*Jr{l( zadF?RtQyMo!nK5fl7Wqav*LCBMVR!wjcF<)oi<*`SaLsdax$ls*rcdpb!k#%_Snh) za=zTQ`l;EG@k3>0RTJIK-$mlO(bPZWjFi*HqAT7~C1n*KswPP2=$Pns1&4|9#TkQr z5>vEhCn{~0`F@x{5Ub~=l<(Vi;P`+ZXt2DG@TO&?tesfor>71!^meUdJD{yMp+HcI zdjEKJgu^^GsiIOrPQGPo3d1iNONQD{vkw>jZ*z{SA_a%`5snw|Hr@QCC_S0=6HXtO zIiE?2dw9In*Js30U7eHqFge%BdVc@8Ci!W;)oYg4=CAgYE?2ph^i4*N#5pcMEwO+< z1ksih{V=K;7)K8v&)vr#Fqw_VWzna4OgE#eD5XS4>NPc;-hX*j&cxYWRN;O6+Z~8O z_lk@3RG*)`^EORP+}+(}7=~g=c(81$)qK@xU(hjCbQ)DnCp#r<`Z-YK`uA2QzWD_~ zZ%p62RZX5cLQr)zNkCYfijJ3;k8y575WM{VTX#uGQ8r0kQ3~!wWF+@kMq#Pbz^#%A z(#FZ)X{YhbIBl2qQxaSF1PX{C_sp&Gihx>byBfunUrKGpTe+n$KWx7-4xWv`2Qtga zptS$fqKdA@<#=d3qefn7kuZ7ecS}oJp;+u+zs`GO1VSiL;i(WlXT0WS(>=@VO;bOV|$efsr$a9;@j?YdiLhmFB$^;VHw%17RQ_GLqX`%WmHs&p&@fr z6zWDAep+RIq@iRL6+b^WZZ`27R75AEaeZWm6N|SiSC35x)<>PUN_qHXw3Tm<(A4YA$6V4$e#g6>C zi_s8H3OLc>P_uKk!i5FI4=rImYeAobyan6-Z4d3h;8#T_$27jW#@d6E@SX7fD2i?7 zQY%r5FDXSk#Xfhq<=PpEX(i>~PkH#>>uc24w`XD-(i#F8{z&(}-&pyRc6ogMS8WS% z@va6tX~mo$V&Z|(#Az+w+P3ff%j+-CG%Jqb?|)|Np>EWaL~2V`F{kzB);n!b19`yh z>GSMZI)G0T2inO9^aKx!nPo!5;}%x68@ye)TV-F&(0+e*n4jxA|hkS=(j$c6gZ9?UfRF5nTzuHYGK!#+n+ZO{CE} z*<_|n?&xpsY0~k1JA3tR&c9FGf!6VZKg>eM7dsfnU=xXn0uD}wQ`*7db-1**w>J=G z{>heiw~-kc8K>3Nl7X)BRX0tTys2Ex!MRw({O|4ROLPFE2760VqM_(yucoY0&HBc4 zLdvzkMbI>fNQRtPFejcv5}7 zFUo!Ep9wdt{c0~fe>Decg4fYRf_yYWcFpms2A$+)q8O$@QZiE65sLq}tF8TZ_zWLN zoU>Q)Ox)S$G#baBE^UHR3DD5cpzOLboAivx_>717z>vnWaGbi64OlqX`cnNK8!~jH z65$RuBok8F>qnaz5h1W4YPim(m@Q8^QjV#a zY(SY|NrO$Q%Yc=Kn3xbPDkLO1IT^P zdy2p5iO~m+ztz=U+~1u2{=lzm)?2B?NJ6rj&g+C#G$I*H4(fL2yHoB0D>E~$-9gBx z!|4JZ)h#Vv_tz(?1#oCR*RJv$Kneq#QB|5kqf->(i}a;gX}*!ILtQd5vht#J9$sGFgjq52*tJ$8QBgRmTw~Uhxw*OW@^YBTXZW=L%qI9X zSSuz5#Kq$Kt9uNJ^=QdC+h zCo4NVI0%fBlk49L2MfzY18kR;f`Tou61ZY}1MnpicP~Ml@X^7+Z+UEH@gZ7_T-4MO zqN2t;qt%aNow-Q&M3&qv9PiAbakCwT)fgL6Jr0p@bPTmF#8Fx>OcrApQBY7&QBjeVm6e&fV$d?- zvNv6P3g}E{=qs8S+=pjCgB=?)<4JrDeYCO3N6KzrBnF}sd6q%d9N6<*0h*WiBAqqB z(msCbSxZPrXe`TlrjX8KXlnYaf-gKQjE|2`>G|fLKjg3kNO8?T0{vev009B8Wk-=< zN>&$_i&zRtdRp3np`n-ceh8#(i2n>1{T+4u+1VKt6%{@+PU6?E_#`AO(GhrTM#D)=16Jg*UkaVRe%qvZ`?mdLqn`oHe0X?xXz20bY87Z> z!NI{kvk<;o=aVF9%)57*nzJo#N6fm7==k{m-0c>&tE($2DhdGs;pfkv5)u-?K;dBx zK_@{1?7MgG1|reUsbHY~D55lWQyDciEPr7DWF?vv1-hII%`R3>P8=?JARK~{6a2rD z!)O}!(Q*s!jXfA(KtyBuC-f`NC_0sQT1TjB%^ueI_~e942YkO!?yHf30VxYhbgz+* zk56Po1P=qmPD={vRplxlK9Ib6<+T0-9Jzvk-y@-iQF1WwN(_wHg9Gc$zhT%6t_O4e z{TrqxCX-WBgC>sJ+Fw6?f~w;Xe5BdGGP1DvZ4O{;ieiT5efx$%LZS#x?(`HM0U<3l zwW!3(&Te~qyP~*QT3Xt{*;!3R#nRT+_vSPo9FWQywS1?(PDG40<}co6{}X+c+uo*RNl1A^?TA(SGe$iDp?@nW%^eaOih6 zT9p7GLqnxSL_~aj+W`y(1&KL2I$B!NZ&3^HeH<|;YHH9!@MlE;Mj2#ve0nM)Bh%c{ zVr6AD)xx0)3gXw-*R+qlh=_;;1OyO7LXvfJwoSt8NXf~09xe1JOot3*`wm#Ib$gd^ZesmP(KlDi;Kg2@#4i0EdB^98{2%njgFGi z1aJy1%}HDk4XbNvc!_b?gF62%)P*k+fKZ1LD>X7a?DcqmQ>d7A+sK>{8X8(sV&&!4 zlAgYF`F9aaD8jqExR{QSkq{jnoZlz?$?k3uEv*zxC1vH4ou9ee<5`6VQZK-1BqU6O zz#NOL=;3iwtXjCYyQ}d}HeTs8pfa}#US4-##Hpz%9UYxFZ{7gVL0nAy2D~zp&xM|XB5+aU_D7X*e|kp7 z#l?j-qar0Hex{E|Ff+(w;kymLmy}FRPPTjBbock0fBg8-#DtQbe#l0-V`6!^4WJE! zW;x+o@07*&xA1^SVTP7^`4J$e5M6Vs@wH6=w$R#p}ukG*48@W0BkJ>IitA@9=K(1EcA z1Ozme1;CM7L|iOl<>%!=5HNZ$+ygBNdu1m-HW~U$jsd4R`+(&dHU|d>RK%VMOagZ2 zf2?lz#cGG2-}N!sLvwA6KYU0}aY;$dp>Jr z5qVi7UkLr<5S|6u*}uC2p8*dAu?oOz>4yk^R4yo?W>9c=43<7a&d|XjhmVu5Acmq2(_jWxw zAiMPTDj26aQ@?(Jkn=SuX=Z7uw7lHb+Pbu?Y}7^>JqbkhlHy`zRnppm{efr5GXiDXwjIoyK z7A#EK6Ard^p*eWu;Jz`a0V8&;Kbj=#?egF2lUH!ORErZ6q;z!i;Y6WgMyjf>aK|ag z(m&@*_dY`-F4bwMuc|VL0YL3*KBeFg7qYb~w8SPz=1hxQoA}IP^S& z4|yRsg%>JzdT|lyb-{jll8A6-_A-weG!BaW{PolOY_C2nCn7gj6hx{g_2~)F%C)0M z@CpZ~B{dEXFjinHG5?ou+EICxdS!opA>CV-T-)%|PherMBCtKAX~yM3Oy_q-cr z$|60fH7OI-2`9OhgpBpAbHig=W6zpBu$6&x(iQ_&JPZsBcP=h#gY-TCfG>&ooOefv zbxK0v7?A?HgUdqPNCe#WmRxL6@OdVMx;VMc(Xlanov(B~w09@-W$%ig^YS*~bC{jq zcA2xWvHdp^E7HQ^A~=8s`xQo>WS%1TD>4rLLW8wdZNs&3K*E}sp25Bo6_w}RynkG5 zugyH+kRQKH*Bs$)5~KG~)iT3rF#{ zisRR(=i=QY`#6H((jzR_--<~0-!8vXI^HH4=l#&pOVhr;vqNadL%`c`xVQJ#c|9(= zFg&Ur5hA5~Bgn=4rgK(LUL6BE-n&?=xLMU?yp(YD1JmSvlOasGAeU)iDG=P;CvSC6 zLEP*8r2OZjIa`-IW83fA^U_Uj5;nYuz_O;yavUhTsPSNLR0@L7&=mC42fJo;mEYm` z;07Jq3iQmdsUqQ{%B5Lu?U~eAsvAi3(GX{L)p?hcmNIgV6LL*tMuKDj&d{omYjW0n;&+v@LrH+_+08(8e2dGbh3LWTgU zzkN(A&A5MSzU6bLZ*;WRarc{dk3hbxjaVQ`oIVEt|Cn}V*TVdfsD$gMFw-O8m%8`IA)dpH)W z^i$VclvLahFqap6Qk?r!2h;MT`x#4i{5qi3zP9E|r0jAXQ;Za4yXQmS=sXuSv#DP8 z2T(sW8Vd0nJA{GK`P?4H9?X${a#N?hhJpTgHZ3UV@R--vlt)pkY@CWa!6uKH7G2Km zGN9$^`$(bAl9WYaJ;v!EK@&=mA8(<)iJd-iK0 z#~|-+Dnnqm{wDa^>zLH2phVES&!ZB<@yx&M7d*f@s1p^JpG`Toq~VdDtjDNI|4?DT z3c&;4lM#OWKn|Cj3Yv{&J?1O7owy#WP!pge3$V5d|_x*d=q6leE(uc7= zfK93@D#?gP+erjSqTo#Q+kCCe1s!Jnv*OK89Va#IBo61QVYP7+laoWTvZ7TopM~^n zAVZ&I&9C793T^B)<JOTS%L=WY@mbBQuHlZD1VLW4N)gu|4ANBoO1fmRwVno=zx0EVQB& ztz$`w+Jr+uM@9E`aOBHr=$&)_k&w&>nl{N*Wqk#{>k7TCn~GJMB~^9hN+)ft>o$0Z zl$qMnl9T$6y39xkmLxw4Dx$HSG0qu16*Y5j*Gzgf%gejrFej%r-9q^)Bk{_BRyhX? zgoo|BDEJn>#UDZ~uBQ`Eu1`%vW1dFQE!hp_v(L%kf`Rx`6q^bHIAO%s)aQyvq)#Wq z^IGEK2#~P4xWB9sDJp6F;H<5<=UA$Yk2*4Rd@e3BF#3!u>6Ox@yp%#sstGJKLGZ2F z_gBEwwjEA#f>opv0>rbRy@cwe`(FQMys2$qQM8{0+neDndM)w1TY2*Smemz^slG7p z{`b=FHWoI<;%DjeV=ZWp8D|%ZJIX>Vc|L03ZG6O8fPcEO*02 z2845R7^Cm&?SlZX|M5f2!omU&dWGH~R105eV?aT5PL`9>jay+I|KcSJ-$d?J2kEfH< zk>MmC+y0eVt-9s&m-V?%daS4^k(E|HoDT<0j&mE#v~}m=WG18-7&x219f`5Au}#>u zK?1G{LnfN>VG_@g0;>J?TJ85qkl>=GYBkDd1SfNlDh_>rPa)d&*N?GqrPl285f7Xm zBy2J_A2HrEXgAr?a^jb@WMOA4p?%RgGHpLw-}y7w_ibAK_Z)lYRWl3>GO}-3(I#v5 zjr+K0K4Z7Hd~{{GHB;Tz_iA_2u(0=Ev6(mW@^PP_bL~d{cE? z(ZkF(dz9W8l%MnS^Sw!}?_{GNW?I_Xu@eb-T&u?S=02H;RrPk35DA=5K|5%m=|opg zkJs^aYGoy8YCbp!GQ$uhE-$DuKhZ3Iy8j6p>)2S+ZdmuQL&XrG%|AY?KF7M;nSVL! z??|VP)U9>DCv{C{KbTut?uUmB!)iS8j&(m+J-Y3&htiQa_wfsPTsAl6br0M1tR~w| z^%obFYB%{FmBVe5XSJHhu4E&$t$Mc2{z{8I2|c{G57K=36}KIqo2J6}NL zc;JL?;Xvxb#8j3!T=fY|^ZJU8Vjw0s?GU+qjO&#gYRs&3@vizW7mNl4is6@Ae|%6D z2nPCxhl`uvn)|q%y>D{&@88W`jPcugc{IQCr*6{WHb=2IHV#ur&;%``(Ztx|cIS{6 z>g-zH7c$@a8Pbe#DJ7%g9dI%ilZMtRSl}SDcD&KGF_$RoearHgTcnAw8iqTzzfWX^ zl&(IkZ4>kODXuRsKOcm&Nt!tYV>&ybKAQH`W(VZ0*7mxxhq(`AnKcFE`^}h0Kenqv z=XnvjMFOS@=an@KqusFphU^+xJ?`w5eBWy}g?VDC#38;RKRy;bMi-81fh`bS;TKr!;VhNpBB zpfzp0kemu>_B``%2&swOf>&Ifp8OFxwQr3(lJCHHV%mq(=?KhZWt4joXf_Obp zaQ(v#oH`5?5ODvVVp=z&ly2Prr*n99ocC=Z%f$=%fz&XKc)6nFde5`Rso`txMJ}d% z!o#GQ`i;U0&nAB5#gwY@ByDbX0cOR_{@jnbtgX*Fe@g=4U0oeJq~}5xi@nj%OGQ~k z_a7N4D*SLLAt2;_Pk!3=y{MF}{#>iw)y+a%UBof9yh_&D8dHUFU3sK_nP&8$b!xIE zR18x%0~UCn#8)-3(60dZKN`;t&-PgD6I>DVbr{TR1pjPqIbqSyA8~Zb7FZ0=F3GiE z*MB;xaUY@?hW$fHS(w4&l&F2S+WM3Le%t$Kw_Je>b3JF)PUxVjA204}Mxhla)24)& zjo!v11#ZEZuE^J{Z%0M<-6YKt%#sRv`QW zSnnj_G_~9(0D&gYd|g9ZU3NaaKu0MiF?ONpNY2@seJeiAFgiNDc|=Ju+VZOl#gM~p ztf3HuD1?V<2IL^1sx0Ba?lM?sMegoe%Ci!CZArizQK3SOj)F$P;Tg4{h2LOzFFSSN zcHEBKG!IChUT9e#+Fh?^qZMzi-C>|D>^CHsJumvBazc06oMg<+XLAc35=`MJvRVN# zF5Ezr8FA5h8TIou{@peE%Mc38P=%T#_Gw*ZZBXBMBNEuH5|U&h^- z)_c6Cs*T1^kdSE@9pgP+FT>{01rm|XiysGb!^^vSqtE{bbq>`9&=) zU%%}LB`nT=300<=>}@spu8!3?R;$qdvvdjfV_Mf4=VxX*vcunvNIq0Gu)#qiX&aUs ztp+QEnjjSfWQ4XvEKZ8jilzgupE>>QElrQDw8vT1ZymN#m3XB06lxiSG+9sE_3;}f zoAJMg-Mj?~q`z?J-@@oI)!6E`SqSxPtnZn;y1Ay}utDnag@j4rB$hh@aa&51qvJC@*kU1x)*pC}|k zTc7*{!|C4Yw7;D~X~(9aEMzNXewe~F!|mkfy!2PNzAR1N508(zxR-={iqwICQ=qowOTs3PM20EQ(v`tOlpWGf=@*G# ze-r=8aW+1R8m=UP&d@_Jp9Ua`vj)P@FqqC6t$-NIt?_HHHPCZ1q%M}k<{ zr~k#JW3|%O>R>r)2KxJ}1C$G^V=Ku-O^tXd%DsJbdeG4SDX#jt>INI?qU<}hbD=v` zP(p>EXc~a69Q)i+=UmY5t_>|gJ*FWvT0zb`db**+Bz0IQ>H)jj=?ULlQg#%B9$XdC zVnqB(B5GiD&!bp1t)$wF=je76^=A7CnS+hM*yu-Ni>KOf62^-^sP^>tgSDUUQh>ux*+Jh5p3*5rE$X9@zG5TxSuF(ZZNh!ETnT&jM9hUs+r9Cg}E!o*^$I zj*kA#hp8d@?-2BTC=7!1iHU)hJ3qZNdA8g``_LB)!i|7CVYs8CXosDLcwJaExLAP7 zXaDC%7t@v9gNyU(AH7A`Hhi~?ZkbJ`1o5i>=r6= z7(2Xw5<(ELzFInsZI;hWr)iP8+l$q{CsR8?dDG_{{g3d_JuP#ztUIpj1y7y1jE!DT z+q0in#A0{j<{LAX@7}@alpq6P!M%y!uu2Ov)OmML(Cjk;{58>EMrQpce!r;K>}Ae} zMn%o3ab0*s(5F90i7A?N;DW6M)>Z(y=iiarNQ$=Qi8;co>%-&BNLqr^=V9nVR#4}D z-W8C5G6dV}x4KeT$MC#Z>+GFn@g z`l;7Q$kZ2fYx-bgPvVBsvMCa+Sibo+yR_0j*-gp&rY-QMnjqL%QV^BD#bACWXp>V? zC%pXdFhsfHN3U4cN{2A7VY9ngL*Y^L&%W}*DI#!vYva{wU46Zmm)v6IMP+dFX-M=u zpc%{xGt-73E|t-w1ucCsV2C6eD$BU1<{e2hu}!$;f@AZ_Yb=_u|1+1xHHJbx=RUuf z;&-2L#{AdGWKMhY^zpmtS^2W(M*!;$rb9dyw^wS@=F52 zui~vtGt-fA%}#BdUffw}-cBy%4JExd%O*@Fu6wZoGeNSswFNYK6lCNVT9Gki@V2w% zdI{Ws=7YWp+6GPKP6Jkoy6HNJBBqloCH0%5s(+>WUK9c6+BXaQd|=tzBd#FBjdB$F zwWItV(YT2Dr}3vTsTV^v+CZTIcuV&he94B9=C?ghLP|Be%42)Y_04sqR>XE`vCa$& z4hBwjRXXX9fg4pFRhzB2rtkF6{}N^N=3@h`;VFHQe}3u9dvD+<#V2@}p^S`-JNtqU z(`#iwy#XxIbW0s`-H2oPAa-8dQlh8?=%(SJ8}pu!xV{3=t^Osl;k_f7yryBxc{*-c z@HTp(w1vC07IdMeF#3}!am()aVyb~oG_FeZGP2T)Dctc{S&G7+Ru_#I_O{N%#e=}a zk)A)F=<9-f-@bi4jJ&>{^IvpcarvD-4=+k1DcczYWIWJ#rM$Kc=p7oGtzPzO-y4)z zdBDshf^+%#TClcEudF}VSiNxw3J%-t@KKmzN~KWK%P8gN2fYl<)9Q&5AB!d;Xdz)Q z$?b;_mU2WA1D=-Qu=feJV!X_#wGTtA#L)SY7y66J`^?PDo!%5sXw4Gxvo$j6b|@LC zudfHyGdjBZig{5)?2d}nl<21da~4e156cn<_|H-nni0XxP~AZg8COuaK|(+7`{e#R z(LSA`khz6#K3f+(1JII%=Duw-L?al{%>w&`W>2+6Mbr%#VMUUMK2Yi;7V;&;!~0U& z()I2+3QA8;54ZJP=Wr83ASoOgH*W4abMp9KeuqoT_ntVKlUkaZ4S|a}$kfK*;9sdu zhWRFhtO~q2X1@&-nqgY6hle1fc5fQG3sLX&mV`N_1fwMt{)lH#|KQNjVAFr|9SzOojWQYgu(#1+VP>1c|L>ilj^H{-D|MW#T^9L62R zPigk-Iud~9azF*QsAynxv`i>KbutAMy!?KIprV4VGH~TzA6(){VKc6+tGlD%p^Cha zv>*5cGc_lSenR`l3~ytY*r#g1s0|0plP25E<%L`=+4BSVU@0jn9-zo2Evzwuo*XSk zoPw%vW5;sFfun!v0Lvfcmz&fgVXW4wK={0ZyrZY*6Tvn2lEHjeFZt!sTYTvH=H{Ez zA0_jYf~q1-Al*6YAjmfIEy7Nd?cHmp5buz z-K)}>qwlN4!6IR?oFMwXLswB`Hp~&xizv}g-6nt6>K)5{F{4kYL9qS`+_6odAnmk! zGYEguC%RLYh#N_TS5xq94s@;N)2>*ohRNVvBFjXM@U1n7gQ}sfZaS!5_yq8q8v}7* zgJx8}o@>WT*-C(u#E$CH;}gU1x7 zojgaHKliSP79)sr)j?Px^q$pDr}G!6#`*q*V|rPFc4e96T(_9SNTvL~qdMpPOP@vo ztNZiE=S;8qvk~1aE(6P+e^;pm?WG>0D_zTq1??O5{h(ERP|5+V3$`Vn&O?EI3J(u# zO;2xG@D}eP7VvKL&>y94(V#^U{KpiLqw=Fn1JneCRL--s!S(8>%b6+Kq9Khh>n&@!_wNay&I$7HKu%7s4p1~Q`^<9s`57c7^Tnd*;k-8QBtgV2QlzRZ z2eG#*lxdp=9!r!FOAs|9OX~;+C;Z!V0C`#}u}k%&RrtGCPE}rv7 zkd?l6Kt@3ZFt^nBP}G@q?Y z=vnw8W+b%hkIDgrMu1n)Cr}~uEvs%Wh?1i&DQ0aK5#FE^cZdXnXp00}O<4}i|7Hhu zR&|KtFGyfk|ZyA+U_kDj~gn*I?A|NSJQj#Lw z9nuW~0@5Je0@7X5pnxD!0@5YY(p}O>ha#QN;{N{rFCNFhVO(*}K0DT4>oe!xK2z4~ z*Fg37jE+{3r#$0Ij5EKeA(<;uA6+ovZ|}CQ z@Ce;H7yCAzId#l{p&SU_PF?Zu^~=^7gD?Fw?*eh9QDo7Uym)1TcH3j1iln!F5M zLZK|niS~rH-KP9w8S!t5Rz&lZLSHeKeh%KulNBywU8ruMtpCb{%b%TfTfq-A!EZke z6@P?;7|h5bA~7z@{_h@KJfrXb-#u(9*Cy4guIyC!?w&HfzSa)nD)-T{a49M%9_Twq zyRl`+>o8gMtWQi(cXC}GqJACqLT2DZ^pxd;mOGmjNu~FL-*!-RsnA7L?!c|ELsH24 zFxpjwpUf4e`c6s`%HPC9L|>caEG;*IzF7S650CI;J4O+`(H*VT3LB&os2j$UdC)0 zrI+s;k8@U$p1k<)lD)H@7T*1Ye|EF|f;1hnX0efX64d2WQ&W9(#P6~*wG3vtDP##= zdM-{xcOSdEO+Fnoet_(E!bD5OmoF@0&|&(8>&+)5cT)4FXFC`;n7*6K%?xX;`1%>w z8aYxIf+ZJ?d!`o;SDvRa9L3Y?3VHP^$|~4dTULF0xlvnoj%&!t%>}iX79)odGuA=| z**yMdk~ws|+ziwlnlFUE&vg`isbhJzH}jK5aNXne5@+?dOddz(|B9x6yZ@bRrk)`T zT@!3K^!Jn}U^dV}c%WL+<94%cdzm?xedb?wv|Wi$s`y3v+P1_9W-MTn3_6-m6He8o zrC-LS+;x7HfB~DA=&bh2YS*Y|qyj2(8LPEyseUcnld;mdnx&vKPH!FPH0N<4s4O7g z(!Z1Jg$Zjz1&K26$E?ZPz21!lU7%>*yosQ|{op50YuMEbZw3meyltg3~YHq4*b*Bc=1fx zG1P;f_g#CV;D(nddn54*iJ(14`NO=xSK*A+#*tmeWMv;kDo0 zo~jUAvK3422ts=OY;ApOtJ(WJDp<)rJMtK|dPpMx3I#oqXg7si*Bp-T8Q?JheA(;b z$U%%uPM*2DYio1;7aAL$xBORzxu39q0HkK3-=j>x3iPMcbqZA;lNmG zDJ?5Yes9f)0QjIkCqBMdq{F@k7oXpSgh&Igq^I{QdRWI>^%>-XAthE>E!M1tvEmvm zPuqMQQ)$}ifbAVT(ozjz*7d0)ZT&=RP5)=*oVK<$fOCdDiRKHs@R0rR2nk&lMeSu} zpWpTd3}tIKzc!U5e#tqWqUy#=%7=BDM<6%wOH z(aXQY=9cgr;R@dcE)HPi9)FGPpobbtduOLFcrXFq^C{4eiV*b&3l#nW0|RrUqJe$O z)1D$^$G8hs69BXm#3@BP)M(iFf?v1@5H`v@4H0D>+nCkH@TX({TYE{xizl8<76D>5?r2xxpkfrXwPY4w;04_c_W z$H97RNJvO=F>`gLa1aXc+GuyvxNWjCrNs@*UqL}_YHE7g=j4x{=P)JdGTijo*cgXd z@7p9HDpI7mB_v{T-~{jAPlSd(Qvgn0{E@@a_SE_D-o((yL)RcID!9~{>1oNxP1kA; z!h+&r8w(3!He=N4Kw*#DprFKh1bgR+V%^Tx)`bl=$gt4H0~ZWDDaW55l%&9ynEnBS zA7LLKK~gm_5+K4N!f1wl7rJpc`rl1d_P4 zl(kPCpNX)iwbcdp~mtTfaO1HL@m5V-g=*wmKGncDk_Rx!B>@&lXDx@KRg_BpPP-X?8}#*t*t1C znEyXbEd#NfNhhGF0Nw+z&22ONZu`x@)jkNWo^f%FjgMPeS;@)Ds$|nVeypacNj>Bt zWoBk3D(VmJX`s`fprAl3EVYOK{{0&^PJrhDFHR46d^i59xkgXmw{dWAMz?;BJhOR< z2Q|o~q_vHWg6!-cHq5U>!omR8gRN5TF_42@lIu{vLKr6DoE#ItrJbC<#l|Yz*f1j&Cd*7fX%QM0CR*}GmG(Zvf_)8; zzN#gu*0Xh$wY9|hE{=|l9v-}{3ILVDwz~i4PY^=AK;?d$Dj=irFNCFYK-hdBzytGTIZZGAnAbO&8U+^(*!-ek4_SPX#ZXbc1yECVb# z2k;9-&sJ6&)k}Zfh>24U4xHFi^fWYRDJfqV8XD^AGCq0~myr>fpj~F%4&A5gRe3|h z1rYG`=fH_J`(9_t(+(uFEd%HEiXAec7O!8ob#}&guYiz6M5HAzkJicEZmt2kn;Tql z-x>^O03)Tn*i+Ke(&SV>G&LEBie^_;z1Nn3wHmY~RHfJRbKXH*WkpDc%t6n+4;b9M zA@su{;z%OGFYpNJCnehF1YEv8XahKY5>Mny$XfzN!i2oxLMIHa?#r^wU+FPSNXQJm z=YOcD*w1&YyI#4Pujzh!Jp@npHY#$ZzR3rG7XJMC^Y-mqe}Ci-Nn~vNKiQAkjB|5y zmzI{~6%=-Mb_|=m7#=?s=S>O^@9FE?fw$t*%41+-XRw(B)zq8-Tlk!ZClku$Cx1-< z2?Xhaj!qbporOhcIWrbo#p|K$g@u=xnBi&9?0BC)k2S3y=6fPK?t{y@a@|-U|R=LID$_HS}BhZtWQLXq?DD}U}mYQne6T^$jJ$?-feLIN6zmC zc70$I2;KNL0`PR0DS*occ~NvH&~JDYBFk%QQuE{465((^kn(T>d5@i)-Px|RoE$)y zwvcErF`;G;Jn?^IOo58Ey7&4seSHT#3>*UkgRj^DK{zH#XjGr)1%0oWSXg$qw|{}I zgqJM3Gn$BPX}Z$t$B!RcOz(v$VJL=&gy5ArI6FCcogYOCQ^NcMy*RPPcpyA1#9}1R z-NOUwZ;zIFv&C4RJer`AQEpI6PEEbxvWIUiEiWsxJh_*1xt8S%WB-KrFOWF8?@EKEJsySGddz7oyXzPl#_+U1}w>n0G-axl7+Wdef!4mbD^cL z-`LbNH!`9sB0@z=8$@I?KvQ62`?elU#QLoxd}u@zlK+`STgcsbT7~Ia$2G`|NqZI+ ze)$5qVixUkaS-05fUsdknEbQ<1U8RLcuap107Zd#`~LlV7(wjH z1_pBgt3Q1jqeXHDE)--KVHH@|*udD7X%$sf9W{BMgRbfH^i+VKKQ%4w_sWXP&h)3E zBI}ngDOp(N9J@1zo-i^}-?sX^LxPHp|8$K>Gw2a@kVB_8tvx1p787ChR^S%MHN}tXJ^%kSUN^D5|L?3@Hm=qWT61TLS>v zJ36W+DVet>e1eBshV90UR>pkb_lJt0udffDo2e54o;dzwgvhov%3~ z(7=2??k#bCFJ7=V7;X4?~HRfgIG%ooqt*gl%L4aWG9?P_EB2~XBK<`))j5nwL2 z4cKX%lmyujaq=@nYdm-SXRM{?=5BhL+Z_+9OZR#RWyjk-B1Q`uo8E+NtN}(dmx|xhm9Neh*}&5W?-NqIBZJ+2hKv+}&P6 z9wEVE{9_$)3-pxpkq>8A>+3!GOr4k_7HeN2{dLOURodCF4d>tamCa!oCMSDPkp4H- z@}Y}u$M+FxZW#LxXC1e!1S%Rmj}02!Vuu!m#Zb9Tm=<8aa(L+Mb6(BCid4-|9E51zGj!ftb-T-FeY@qyot8GNw3LBU0z&G#wc`3&Cv(R z=aq)K#P7?8ROI0eD+IqoY37@}#4JX;3aUn4{6s}KIlHv;hd*Iqiqlm4>ge);W_36_ zPKpYu+%VaNQ76h5^}bqpg@oWzA9F38buol=c&@PCiN?ZV?3bJ(Gp%Eb2`6k?f|XVC z$N81jl~$V;*wqy-kEo0mi_u+ebt^5}!|vDBt!R1_D66X{CM1xKe*e&d;`^Sx9`qUz z)i}>Qdt~T^hY*%=e-~7uVQI{cKm@lI8-Dxg9VFLZz1Q9h4Y!sq@aCR26W>-(N-I)D zueAwvHXk1^qB~HKfq3Kmndt637S((0gF^e}dD|5dO4*bho1K#JsLmtOGu2DFUH5MR zWspLl2=cSDvx@dQ=+zn6?kju+7Czrb<2`Zh&}SdByogC_p0|7U;DM&0>&{gqo>csX z_MYIln!4e>(B5)c&Gli=l9^}!Q09jU*FA%2%@hdbYaEu*SRcQB0du99>-muljv`K} z>0AWPyIOjN=#zsZFv03*FN}@O3~Ud4NTh^@;OWZ{80a5s>9aVfVY|Vb*D8BwX4dvx zJ^t=JTDe6>m*2x*-RauOz5Oe~sm0BSPEALnph%+-C^Nl}%>TG37kfzVkXO zz6l%c#d?qBUFNPCJ8eUBz0RUL0WD0r&2L(l#y)-e1nRp89CQ*V=*m+9-e;p7Erf#0 z^1JgTrUR{+Bq?c>h6jkZGPFS^W1T|2M2dR$RrwFwkylyLH8u27uXyhx-gYii%zN_8 zIO5Pfc;Jz8TiL;d1xNZJ8sd*Z?Yj=QG?KK;K!Mx5-hX=+-x7%6L&B#DY_t?AVEG(iY=Tp9d$xCaCx*W1*gs-?bY7UBD z5HkNm6H5qyf#|)`?0*WQL{&#E`$H}U;xkieo4tMdb5h~-vAH=#{;j3O-*@j3=4ttF zP7dMc%ipOdvoto%Oik8P))AaI-}@&?Z>o`ys5_~3H$OZy{O_Or1CpJY(TMhn#&3tt zT+Ws6-UYIelJbz2e5%#fQxTQd>mBNQ4sDxXTS5IJ6Lw1V%zxIoA~Ne;wvE4Uh+WC) zKXCe1t;F`spvsn}?DAnyjeAWblRQ2?zGkUG-@4WZ5%htMwD3w#+NpjOb7m4ziK?g%RVt|{JJF=KA+#%cbm#fwTtS& zE1NQY#68h(a5Pg*R$JnBzK^ZLJvtZkd-*&qq`V@B1DbHSb{gM_Rz9=FadsSfC2l&e zs2q_%qe5S@HSaCNhaz6fjp_R>NhOI%?->fCvT69M9_P~=%IpWA7@NQwcdx|J(7&YOIp$5F7jT?VNn8wE!56n)8F;0QrpNiA!AQqIj#! zH#Ow?djtg579Tezu-Z0XW)tQS5)!WN?q1bb`VaX%#oBnO=5^u4{-)dm?MwhY=jZ8> z00#}w%lgjSum4$Sz;d}TA6z(Y`;UfY-0|(_i}Z%iop+y@sAsJ9=Y5h#2y2>aI=Q`a zFe+=vZfFcQv0vcQLA&{s%f3Q2(h^-O|ES@vyGpwP2U9gcC#1Rx>W8n?XQ30gvFHyr z>!TpNuH!BRFKslr)?UJdE1fTG+(?P_xYum4}c^9-G^w zReYiQpXLB+-jy32<>Rh(tx43KJ}p<*V+asHrH39@hGk3%+a7Kc$`I4 z<~L7TAAZC%2lUN0%!6zVn_`c66ASKK9~`xgRrsMW_%)%C<8J7T8XVUPpVhrtz4!Oy zUJHmou_5OB2|u=veq_!yddOKk#>Ay@-P(^l$ZfHtJJUSLucjzXzfCHA`(SLs&7W1j zM_PtDL$r>ta^jLDrio;e1jlx#m8aQzY-;K@VqtZayg@-Y;10Km^{wd6EPgky(;)S( z$+t|Fi$7^3ugTW@3+_;i{yFn|@8*wEYX0~-e~fs+V6ah`plAHNA<8%LaCiA70S;n) z6AZ)t{5iO~plD0iI_bgLWME(^D{uJW5XIpjYc93cvwpHPA2?jjZZ=K`zjqyAb`F3= z-q7HX_?%Cd+wsOur|FhA0x{8lYlB!G@7~?BgCi3;$BGR#M`xS9I-$zH%4OKjhwldC zUj9E8VEU}CgV49R__g7_a#z4G*j~Q->PPkuJA+RyuCB#@Xedxi z3(6SSc$}B&ou!XjCp$gQNH#Y)REA>~iOoIxi3_sjdk722xODCm z(K9PW$h`hsD)lAsWRy%cL$#3jHiJyhhN_)@)5m8rSsito_%Jq|otYqzvOSuf%$|5&NyfJ~y6t+ouu8Kq zzZ9S1A0E_J1nNt9cD{V4Ajj|hq(Nx{;YrSQfD922vvb4}waMnyXr|zb(Cqi@@{7Hi z7o(e`0&c2|6>aNoxvXfjGSbq$sa%-cCPkQ;k!6WRu31H zuYD1Sv}0S>r)AF@Os-FLeSPVaiyRM9hf+U`j83Y>qzNf{du6#Gk>D&$5$P6`6x~Zo zplnK1Ra@WP^uhD0E+_*9A^l@cORUqUiUhF+q^ct-nq+(=7AXkC=5#7^U*Dngp|}3N z$?7?urvCt$fb-Tqwg?r{u%n1B-Fc=B5rXp4+0v#ji%XZA(r`*TuDgrwZq4p4G(gHm zluMh)-O5AfaLjP9FW?Xwofv1dkZe5+k-Jy%B2J`4oTed!&yfdlDi`J%y0y!~$gp)> z@^R0?Rr47b<`$&~1OyzEBo;MT4>((W0iCAwbcG1^|1LhnAeuz>8v^nCmirQcyTmPP z#;V16$c;Sr_|sJ>KRm#VdbcG!%vwUjprmRQcY^@^86Enw{G+O)gOz8VUe!rS31qnZ zw;=bu+TrYq|G>)DlDy$_`J8uzCwcrI2GfI@W|MJ&JMO|gVJhsy3(dF(T|awlCTod_ zm6N7Ru+tl|k;$V=3%Vi7_zjo+e7*6-STSKR^u6?KI_M}+$ z@sp#o1}uXP2{@L27&gahQ%f=Uo}Li9&yG#qKjt_4lWl2d1w~P?2(eqv>`b_yG+drt zkeKo=A$Lid26m=xLNM#XZZ<*RGcDC&)&6DyZ$=q^mQK$?<+CRHbRX>L1s`o&47AHL z^|jH^Afxo-^9jO6%hkncSiqWOS%g7PTrKxgtzEO)AT+igKJAvAw9FjNSz2f@_RP^A zmvuG1hX;KhQE?Gn{bx@eJz+Pym=xSW=9GuPuF81%FhTzZ#l>Ch;;ckUMfO9#Ur+He+jV36iQPZ^Z2IK)zzA! zu9bzvN{8@_bBB|Cvu27x7d@V#@m? z9V@Gyr{|2D!XZk2)cX1sm0Z+>TD3#+(AX3+Gh>DEvZX2`hdWKXuOqiHEeQ#I#K|=? zMIzf19S`2N>TKg|Nwbb${QR6O-E`lD%>9BBik!@)I^D1m*7~j!p-pS(VTuD5OK@+%^+6~W-{pQsSszjiB!$Lv^4S3qr zUN*7ijYoT#3{V6?c*MVG!aiY7rq?NI^|K`BJfClxoj0b*Xy|M3_s~YEH_dB$zE1T@ zRzsO~H*P54p8;+Qm)Lm5Pu-MbXL~@1+~2$|WhH~ZKTX%uYm=(b#t07*;CyeV#r64jb#*nq zXSr|@#vFSf8s-IJk=O+t5M4jbe8DZ^Ukl0P2c0)KhCe~aNIzav0$*Q58B%G zA-jIECsp$H?e}jf9MTkPj{;Pl69_%I6#O}A`S5oIFCG-+0YHJ0TO;coHb!V;+I`1; zGu`J63Vrmf%!X@?Z#s4M>GEJbyp_ps$1&89w`q5UIp1!@&7`BRqISVi`f_Br5+dRu z0}|!AXgzbs`iO*sY{Ni7a=EI~xd?eyrV~?v7S8q2_Mo~mbKFcV%ZH8bi4dB3Tq{G) z&-nJ(eRat6Sr-+eBiaPRdCT@N+7%wGtm-N~^|aqI@V1#fHOYU*Y8b8Za5P)AAo6E< zSc)V!9vBK2dBZXSg{>zPL(Run^@j@GVg8Ktj56 zn~+ii36cgRZ`Nuna^jOG{Zk>zXG;l{w#5{SXRsnH`ZH6lucBiamhzW?!{ik)Klz?u z>+kIA+DoM1)c;a1wGS>aWN73m@tS2;?f-5?b|o!;yfftdzcn-3tkkUdn7Ixg%OIC_SF5+)G9cSw+TcuTpXr3HQXn$ zLi`p!sK+T}{F2!msy=a*HtqRwgg>ml%4FyL&CS{2$F2yjMQ6-a`dGmwWab!sRKwY! zxUaHq6+6a#W}cV|1p~JN`(&tN$SbI*+(QVLQKJwu3y>N6(As$GL%CB$E24qcoYzy*75Q z%{XDvOk!Q)o#s=)j~7T{q4c5hDAiMegx9|v&ubS{2K%|V)2^?7)6>)cC9#S#yfap# zuN;~jOy1u=%pU8BDYdxSWPOg?$5`Pa4A*CKRkk$VAIbd;fuqE?3B-ThLTzH4vdU=G zrMR|$f#K*kWbi_7Z#HPMFfczkjX8}f;ym~%a=P$QSi8{NCdXH!prEw)!SywU79JmL zo^M=#P!KC-*XzzQA|J0;?2!?a7U?CK*xxd&6A8}C3qIbZWXRbB`z*a*zpAr@UVpYr zwtZ>wMbKicjyZQZNtLmfPWyT7bwgrOA=vtU`3zzFE8=_v;`gWDmou?H_wOM4Q8Hd% z+bGM|1d`wXVDPY#%NLX+m3(4Cj{EUT_XLtWM%c4i{EtXJxKN_01m~X4eBRMfP{$^Z z9_YRjxv+TiZ%LiSc6VuB;+0&s=FQ_Hnb_2xSJ&dPXkg896=e2>de+K|lU!eyJrFZ&EWf6Dj%-J(E>lLUTHZFAI_N4BNS zrXLcxRU~THDBIN&uVuP))s+kKidh(0J6l?mCE^OJ%NvjpA3o$FJo0#RsQf~T8c5Ls zsF-7PelRC|eqkx5q62wQN}(gq;qi%#Edjgb@=9?3+R}J2x8kdc`T-p0!qEKD?gNMuX)b!&nhC+piw-GDPFdux#C>OJagJIbCq|iH)&6O`7 zw$#=a*29R6zTV5pFm3--cGq{WZsM}wGDQ=CSXfyZP5HdWKTz55t%2fsozL2}tY=18 zL%+NXYgeCC-F1p0SF?*J1m^a!6LLl1q^8%9A zxdX^J!I-rkg{8_LM}wf-rBt>Tf8UyXuklLOM2vbv=_;k9qJ$p+QqN~G<+ex?}Efd8^IQA}AViv6y(&GB-@*>5oo z8RgKN9O|8ifm#nB1M30>mgml!YASl!V^~{FB|SZzTV<10*Q>Kx^S+PpFqD-t<$hi? zhR=r)qc-s1h#_IhswMbHW_C?;Ots?7UB*a}KCD?OPd-vg{^KTn% zZN9QKH#SYpINbRctfWc)OZ<$M=|KB}=W%bVOI4=d)kJjG!-piVrv?qK19rLlD~d^J z(}QjdWEg}n^*2{% zM<>4>w~6%nDm61%GnHoHPM3`{Bbf_{@cz1*U7I<$0QMJ36Iu;@Tb!?^ua95LPzO$#l zrQ1Y~I+Dnao-Dy$Bc~cA$LBZzhZ!RriP_%^tZ$^hY zghS-;!wyys*^hE$eIC>+WT@+?{aClB3<(t%icB|O1BQo?Kzz$S94f51%7A% zZm{FvICVSGW7;-sZ+hj#gV*LpwnLVG^}NiiCCpSVNgz68VR6IsyG%9+b`WpRxXEtECx~i}BCw%Cx2wrQOq`1OjA4jhFWHbyqqhFR~Bxwf#&tL|lo9wu+i+OL(bm2P}BbH+z9e z7_ZNTn~>s{pFKTbMAi{WP2q)U{2Z>_2#UlXKYmOK@E;x-2C_lDGcqETdn#RI1~(Br@>!Kx4}`r;yS{a#w9FLrp6=)fx@iO}DB7a3-9q+*lc>O(4jE`MQXF#|8}H3g26zOLowr1KaSTF& zDf2+l;N|Td%Z-JINl!1z&j(Q8==|7DG8jG_8_smXt9Wf;5u2C@uDWdu5T=2v=HccT zIu0owK0efC@Y=pXXp72*3DzO);Sb_zvB867b9Wa93rkHyLlBxzN(vpN)dU6XoxzK- zefe($4r(?X00DUT+KnF0uCC9f+Q8cu#sIK}QQ+dp#DrxavQZ5@A&_z3s&jtp1>SUB z=t=<10%)T`8VNb%q=batv}dfev}WrlCIDm{LFE{n(SVhUh`RN^&v%^qYJ}2WXh2Fz z3KdOwS}rawVifluN-HS*UR}*&3&v~{y=lYV_U>*ONy#AVM-Lt(y?rYzD*6Kqh>7mq zFDxuAy}mfDfcD-fmV$w4hUK4(`QX7sDwmaXvkm0M0cbHXHty}~15RH~PFgx9Cg$zH zVj0cN?T!3}3_ug;63E$%-+lP7065F}v??1b>mJ}nmpIfwI59Iv9^48)1H023soAwC`PkyAn`lbdm{(|{gv)8E#D2Lz_gpVKD;1mXtDGCe{PB_-ZKRF>Qi((4p z70iQmU;qm(0r#tDQw+BRC8w9?%kC>bj3% z4}cKNGGGl0GQg~?`N3^u)FD{B0w@U`|17jfgcAbK)#Uy!$XWyJD4{ABG9WdO{yg3q zNl{S|3K{@M%{6*fmzS$3DA>?H3i{B3n#P84V=hh$4z++ngRvkT9lEJZSPttPxNm;< zLxD{(9L_4_u+;V;uv^-GvfJp^%@gr}X#&XCLbx*%6Y!`KP4DmQ%!k>Q)TwN3JsgTz zpxptFy@P-M_cUhG%FZOrcp>*I;%C$S7=^ zp_>2`*mVGAg>Ign@Q)g5YF?LT>MAO6PRwBGySobm@kBXCQbJsuQj-iD3oD932t2j( za&lVH1n$Sj$Ad(TnTd&r41-hrW=Ists;IC7{Rc+MkT(Q^3`i=(0)SNDfd*wvkaOrO zD1h_UEo~s7wPD;zOVfk-CqPl){|lH>*N7Uxhe@%qr&pJJ8*v1NPn+RZz~>pnW?*kE z*@=vOH~Es-UrX1;r3%1u7)gNRGMKp$3&QMSJKt0cUC8^)>E?xGZgyDyS~DMT{n8(*`kDsFT0H6tHcUMwJ`{3nr^ zQM|sE0m6@k#sO}LK(F0=IM>aGPj+Ssct(*6oUIR0hoN{0{*5je5}{$J{%|o zFnn5a@>8H!NbcMW&no}c#ns-FcnJMdQ}1-9`Uj!hjQD!UMO2iPF+6z!boWD`xpP|m zKD7LIiDEF9!?S`n!C-_!kefQ*A%*?39o;A=epEP(AGO8c+z!KbJ~=y+{alXh>TfxjIb94ske z0ZZ@4|L9QvyK!PZ>_0om9O`!V8rcpuvEF+D^!gReu*0BnWLeQ)L4_ zqY+V`gy6pax;4Oh^WcFztAr9zOMrWWyZ|6{`0p&}TG(~l+uJuBqom~O@84{^gdyr1 z8yny-%FW3Mb^If+>@_tuhTgoiv(xuR={3x`B;tS*0&Eo(67qsrz$|as8sCx8S;0m| zhJpP3C6YwHC4!gw{{5=%1Z$R{gS4LfHgsOVUL&GHXyHMxm)6yRkmdCJm}2JW zqQZVd){O(jUrSoSd2G>}Pjn9r;-5=!cGDEM%26fi}Y zHd!fYiRLg=hk%mSI>y3Y+S*Ho*F0aw@q@QOqO9~ zQ^n{5kEp4Sx2IaywFaT-veTd)E?JoBj#mOd(|hqAmd3n9<22Dk8Tj<+@uA%;t{n$U zMouwtj=PK*N6ZCy0cbk;d`$WQ?ZpMD6 zROZJAt~@RMQBgI?T|ef9Okb@q73cSK{X{~PpzA~RP)<%}U#Oe{@pNKD*FE8hEEVGI zMML_#WcpVl>-BHTU%6Yzcv(Y+YnDE7sEQ-Q?erw1A~lr+-#A-VE?lZ0qAG2ptq%x( z9`B`?$l`$a{qs~3bEbLTZfRw2W@(KjZexafxg`z#8hyn!CaJ1heWawY9UcPi&W*Rx z@(5K!165~OEh`nueCWp?i+?*`V54qypi@kL+24Y>I7K9m4rA>a*7z%GI$|;m)q1bR zQH^0@p0=VH|4oh6kmoQz z@9cCWxJo04Y-b1YR+SFN`#e>GX;EKt`Zs2N$o)#A-^N+(|L*KNj;O@trEF3N)Xa4J zS{Mm-rI85CwB;B;Bi(Rreqos=pJn;REiUf;-`TpJ`T6Firp%$T7YNTMqE0Wt1Dqkp z{?LUe2gQijMML#5%_mWE31q}U2jlJVkS6)d5G>@~O9@m7$>#Tz4W^07E;M1@x?GKINj6&PRrNRP}o94wOr- zG~~nFQ1?Z}`2bGn``AzPEc#T}Wmn2rm?0Nhu>5E}P)^f!{vRCY(Nr?7Wf&PB|8HhM zwwz2vyS%ox`-OS$_Va%@89bPX@5Z|MDeG1niZ%C0!PuHz*<|z^@zEL!I<@}nzN0UF zw94#M2|N{L9&uDa)`;5HRvJ%A{ZLZJg;4s*G z3VB}?UB~+GOD0^37VKmm2B^g2!Sr9T%hTQ(j8kmb49yl3U~V!ftgfK}?$rY+)o+LV zz9RV0&6kAr>dw$40-F(tJ&uuwn_CS@CzK=YZEgC$_+ustx}zdSqHSy@>@Mc8Xf zRxBY9LfsEjP<8|VWY2INZ%FDu+m zEnmqv-0q%oTvcX5HSLDU!t#2QN%!!0MnPD3(4=MQWL+8|EIZtDR;M%1Tpu!9*%_so zZ%WTT<6A0#jNts{BpFQ>{mlr0P+*>gh#Ow^zx#Y$+Px?*Ej`)alJcC-v=gT@vmVd1Z9lFD}q=vjX+EKoMyf6Q1a%=RXM zrl&^^39-K))~0>uj;xlom6*4_vpNlsh!&3{55*3$!j_gEHO2>H-2unyz;eT`9pSLb zS^OQY=e^q61Cw7Z9bivW5gCX((DA|V49@gOE?Yj;Hm6iJqoykj>0E{b&qGwdFfztG zke&%jx4EeQ>OUXleQ|+|K+tI(ul+4Jr8%rWqG+Uex`sb*baha~c%^^0w?6eS-DG zfb6w(*-^`Tk3Qw(&x6Z$e0=M=a2L>tuRlC_@`NBk60j~pvzMBEIz=)ONwc5KfL!hY9c=PSmq(xFl7PrbBBEb8HSB5kq0>B0}1Yrk^P2XGIx6AX1IlI+B~TFxR4?t z^__G#;}awVTs-)X6O;A$-oyd)OoW)F-?2bHxh~YHcwS<#za#g4DJ1sqQ0&sZxJc|n z1VTjQW7=^hlkQWxCrhDuRknZ~oL6tudEn<0rKziH^kyx8&bNCiYwG0SVC3}bByr(I zu5h76Rm%i2gr%T4jm7yrdgm@7;d8I0ZQiWF=kv`Bk!n$qVKMJxiwiGDIHVJ30s|$G z`){2xWopJGahRp+80$HKC;U|_lJv!dZ7}oSHlw-?wWs7v||wU~!Jso^SRJjl!C5@MhiTK9)M_sd2JiS0>l$BGW#Y*% zqDoN&!u|O?zOf-?8m;H6NUWc6xdV}XU$fe!*psbIOvJ3!#6hXGxn9PxO&aR`ti0LB zC;lQVI%~eGt>NRx%V+oqJrq5rPr21zN2$-6F?9Re4#68vcRAoqCIa}fLdF-*c zqz2JHP}ai63hIH^kf-2$@s;>tjiJy#sV9Y$84q-Hb(yf8i}Gj4_?%;h97G0vpPF-^ zfpQ3M`SMBEv5PA^SM`sVPs@e|V6uxne}#v72uv2_jUd#BR#jD!@tFEG>U42H!?;EK zbb=mr2;-_y7*Ca`ph&dg5=8`W=Ozj*`0hxzLz)4LKaMZKG~~!g>yQz6E_*J@i>26U zu6R-gUGho_G9DZCrW3_mNu7ljlqf&qX6xwc$esLZu=F7w5ZV4AeEg%u*V7kIpT|*D zOjSx-B2mZV0SJY$efaj~>NE^AEUhg?c*X4=5_MUNv-In-{sK9Q{N#^dJkRfr#PG#v z(b}3CTU32%_lywv2CqdmGY`vwA2LZFF^9c$oLEU;$Vj*>9)z~NBN}GN5^BQb@%XUQ z{G46Xzw{QVfW7@5_i!j{rqH2KxzNHo($aE=Q?H988y36q(!Eo6@QfD?hTwLfo4oye8SrA{g=V#9;od?!2P&kCIK{zBW+1>D z_bfSCJCon#PwTlnHNGQ4*r5M7=#1AyHT+w`<5zbOlmds9JMwgh@AtAQmt}ZERKv1@+^I?tS&K(ijLH&cVN_(d)hsC(pnz@!C%?(XbgkVvE4(Glq2v-Tri4x z?y~P+;MXy?lcs10$BIvG+{j!>Z}TXX#^B`!FY7EkhtQzI?ES&4xX>dbWyT4cVY2*_ zzutLGepERo8#fs%u@zG|6qHsv)5%w4q!3Y55F-%Z z2mBkp{JeudS_)?!;obA9#17YAs(A0j`$iu&;0O920|0@vJ8I zGaiDHmbN7Cqp4YUa?9iU36g*I{|3%BR&IS)MhKfqxbGLDURNY-Oh$bCpb-r7U8jv-%lX5#<1)jJ9}r$%c;Ui{#Wpm%vSBA_GrelJkQAV z0}9mWR^{FTS_T?{v5sAj!CT`t9Z-UK9nvN#vA(_uT2(4L_tTRDIz>e}@5lxP-+1d+ zmPW6PudZx7G|lO59taoWd)FxPi(03Vsi88}~n4nw-QQvcd-{xNArUQ)noW4HFtPyil3IWEHOfKpscPD)?Z6Qe3z zB^ZG~r<>4bapW%1U#*@qUmQ-<7%@ArW2ApRx$edgt;5S1=0WaIu0$4TG2HdROHY}5 z)@mj9n$pHbD>R8-+jQ$Wb;hmlcI_?wT4>Q1X^;=VNadviabTn^}5pL;) ze9yFL;@Bnw1?YR`2O7`nNZDd+P%u7XnhzT&*V*?NKI zW->C*$bUk2;b_dwn3~=))dz=M34!n49aG$1pLckLzqLm$m3HT%z@&}SLY6vl;EZBp ziWN=d@A4B`77?3~MoGmZ+D?R?AJN8L0K+*BZS>i6;Pn@&OK9hDEsn=$uyit?nTWdoa~vnN3zN18Dk z!+HzxJ=?U9v!X!myG> z0(}{4jW2hZSQJ@cky06EA7vNI-r`bJX*4^1!pc0==-j$_=+o?b-&(I?8%}i?m5h>{ zVv)tEY7(8g!@Mzg=G0~(6EEo?5k{ezppYXq_m2WqAfM#T$8w4s4vyP5Q6&PGS?*n{D1%Qqv)Dt5!Z7>TNdpk^Fmx>j-)ob{9cNBu~-{QJ@9u( zGT#Z4?Hcnv=+$jAGGZ{BJ3A5N;AQ7OY{fOc{ytdWGU}4D)vyIfBfdmIkTKO=ey14{l4$>Jn!>fP9P$8gDw8O zQkeKd(MuI8@C3aQvA43;#|~v<6}mGT=*p8yj0j{fh=IJpfJIUOyT2FbUGR|Dm7d_< z+1bS|{9BS)riar+(o!pCjioP1iG_Y+sES-r;4Ca(JHD!wrQXrHpghzeLY)XGd4z(x@k;&ZUGAHz@P@xokE)#<(Qp??$g5Bk zdt=I)q~?ybB)dZ8>%`>~hyLit3bz9?^{M0ZY7nVl*8zTOYSSlwc^mDi^ zBO++rrm~y?7b{%&=H#Q(PXKhxI+Ud*+h5-;X8#4>*vFSSEyn7%J|k0T1T3pV_hoy2 zd+plr_Z*7fWD9 z!#VtzOd#_1R&o}97(6rO=A!u&Y%bgbSUAujFw=;Q-K~M7=jfgGZ4tM9>o_x$dB*v; z^Oi<7$qCsZjn4|Zt_aK+c=Bn!8*xE>ntwQ@IINMOg-K&xpKKpC_Utr9w0D|Zh9wDD zNh#WEV{L=$Ndo{VdxrfQz8}G|TT)KE>CiYLeT#C7Vk&MVZ&zz-VGQ2yC@A=I)dX62 z_Nmh)`GhZv%P{3eOjfq~7Fiu)A{1ATicdYFZ}06=^F46pyVd}iQy^=3$H4;k#l*4q znRyrH4>d@h58fbzkl1zk^;3%X;^X=jm5Ru-vnS0+vOxayz9;;gE`RwlHZGG8TPj_h zF=~9X`dFeFX?Hu?kR{4a$gP-=XghA-Hlv#l84sP4n7B>R1d}(@ia%2j)uIjfz z=PH_DB-n!q2Hf2j=A`m5)z_1gFX6{olZ{xckxx-|{I-?Ii4#gN4Wg?vlp+>BLp%jB zZbphrDVTIs2)W{I8b)RJy8YD~LgG21Avc|j+ZYF0uxH@^OTy|$)~i1rd; zt*l zB1%t`o^SIgEq}dtx6vC{&zM?r4`Pd zlM^N=XN^?plGx^*1o+{oar@Al8&7lp2+DY~Jj9`DrnvCo)blBFlqh4QC<5Az4N=;Z zI&W@$i)maC-;=>n9}?TniYUsoaFy*p2u!%EBdZqg?M>Y<2ev-v@hJJCgWqn6eMK96 zbz}*sM8^2W-h&F!*#v7|rb>4#bzaIP=I){cKQ>5F1sPaYg!zwz3tt~-WTCs%_ zzh!snkY2Lbm#Wkelfke&L!-w*+i8F#lXGXoe<-&w7un8KIrQI%5_IvVhvMRuzDZeH z?vqEEk0X72)Rb#PwJ{+(onivl8RVX|bu6~@o9%vAcbRK6pQdzP;!L$dj-NKnBE%&m zpd)_umiF%abhsY$pDw-4ksuBU25a|=3|&vHqzU(Fq@0$z*&Hqiq@-?ESLMGs>OD-{QydLw4N*d2#A`^yQwVe%?zy zTPQ<6xzp9EZu|XzzJH$l;|@FTM{4%_JXw7ohPWP#g_?#&{%l%-4L@yA3U{C7l7?54 z`km%rKzwda`9CDxVPBb=Z1o(-2=A6#K6x!!$tzbnZF1?NQ&d341RYHzy&E+D*8X@^ zmcs za%eS?b%p;r7#Pp0_1S?RZWEi}fXt4IhijRJ-)LQKy7j<=zshW6JTr;vwR5bW;bXkf z)2=JoAN-NevzU&}CBbzNs9Q0z8Isu%7n6|y1Zj5))gl!0#;KO7ZR{s+T3QsY!;FT8 zeBV!4`*&vbC;0~lIxgFjV@NyKM$&T9aSm|c!{iWRCP8gYuFq0HB7~3#Cpn)IOg{BRNCY!DH6ic%*gQw_)X){6WMO(`B3U%pqT3j_xD#65D|J?T- z3JWi{KU!`(Cq#RZr)$r3D97UN-IYJycTe!1;Ev)`xwE&X9|FZ}amHB|iLq^8a$DHJ z7290~e7Cq}soP+dIZ0-2Uda*WrWqS&Y&LRrjhG$7vR$Ud?EC3z9|}GAFyjoT>j&F~dSKK%w=W&C!JaNKTGZ>w{lD@nZ9z$}CZ|G%xVAo2=J4iDFEm>6hbucqWS`E2Xi z1}X51)3p%Ve(#krJh8FtGZ_CFwo$sT7anl(5{K0KQdMZPRV`E3%2@yVC#HR z_EIK+NurJ?34*~_4`0f+Ca*U$C$U0O91{B{gD=U%XSg%$V#i{8IPv)lh6(tjM)1p~ zG7N39vXq-kdQ)D{18NpOw~2=oyXKz-7L?(E>;6)hqvIFoR~*ty%K%A4p5iGII9e#6 zm_IdReRDCUTk(&JOp)c3*H|j^>ioRqHO*hPOjX#HF_Xt{y^jLZ-*aD%V>!#szn-BN zGGzlFBj&WHR^0h#*ac>U1g9-&(>U>#A8STu3TpaWY%8~4RRtmtbjNUmwRKs}UMqjs z#5!wYljsl;Rw2@X$($3SLXwjbM<~-y!`(IK#wS|0Z+ke!vVj3lcalI|z}${c6FWFG zFh(xE0OO~u-UmvB)~8QPZ_nM31^mf?0p^ba+1e8DzO8;yqtNBPXzUTw4;8OM_k} zFsNRI7UDthZUHj*)-7TDuLPlIp98j77qwST)9KNU$8L8%X>T_wv>oAH8x&bUsJju&lrg~0wjq5VY=%Hv*A?K)g2lz z1aM^IS1x~1JT&32hq`BpaCQ?IFY~`KA}rTz-^=` vqw@{eUphUG&cBZ21z;2c!Y6pqlU)wy=Bvlij9L;9@GvpFWKi+DQ{;aE@XZyj diff --git a/docs/diagrams/pager-arch-stack.svg b/docs/diagrams/pager-arch-stack.svg index 627ba76..bd38adf 100644 --- a/docs/diagrams/pager-arch-stack.svg +++ b/docs/diagrams/pager-arch-stack.svg @@ -4,77 +4,77 @@ - + arch_stack - + surface - -Ingested documents -(Wikipedia · HTML · TeX · git · claim-packs) -chunked → hashed → full-text-indexed + +Ingested documents +(Wikipedia · HTML · TeX · git · claim-packs) +chunked → hashed → full-text-indexed core - -Derived layers -(summaries, indices, distillations) -hash-bound back to source chunks + +Derived layers +(summaries, indices, distillations) +hash-bound back to source chunks surface->core - - -distill + + +distill audit - - - -Audit chain -every write appends a hash-linked row; -a single tampered record breaks the chain + + + +Audit chain +every write appends a hash-linked row; +a single tampered record breaks the chain surface->audit - - + + cache - -Answer cache -verified Q&A · grounded / partly / not grounded -cryptographic chain back to source bytes + +Answer cache +verified Q&A · grounded / partly grounded / ungrounded +cryptographic chain back to source bytes core->cache - - -verify → cache + + +verify → cache core->audit - - + + cache->audit - - -every write + + +every write diff --git a/docs/diagrams/pager-verifier-flow.dot b/docs/diagrams/pager-verifier-flow.dot index e751b97..8cc6b62 100644 --- a/docs/diagrams/pager-verifier-flow.dot +++ b/docs/diagrams/pager-verifier-flow.dot @@ -18,7 +18,7 @@ digraph verifier_flow { label_grounded [label="grounded\nevery claim verifies", fillcolor="#28a745", fontcolor="white"] label_partial [label="partly grounded\nsome verify, some don't", fillcolor="#ffc107"] - label_ungrounded [label="not grounded\nnone verify", fillcolor="#dc3545", fontcolor="white"] + label_ungrounded [label="ungrounded\nnone verify", fillcolor="#dc3545", fontcolor="white"] audit [label="Audit chain\n+ answer cache\n(reproducible, replayable)", fillcolor="#fde7e9", shape=note] diff --git a/docs/diagrams/pager-verifier-flow.png b/docs/diagrams/pager-verifier-flow.png index b0f38935f4513129ba5dbfae4e40076b2c9275ba..daeddb780b0e0a8a61ab275398562929da6888a5 100644 GIT binary patch delta 11463 zcmZ8{by$>J_qK?_K|n;LOGkl&bT=4CgGx6j0>aQW#K41~(jeU+QUU_f-5mqc&CuO7 z3^DUPoO9mu^L+acuDOP1X0N^CzVEg66zt$$ZsY!p?*@l#8b%YRQ5r6M*+HFKU#3s`?7LQ%VvB>!Fr-g=fr(2QM{EypB(GXS4WvvD7 zHADhG*PgB=p!@ioWM{GFCKSi@-86RK`wNbh-b8EYLhbP^5e0x1fX3Q8hZ`f>VSF2y@H=AvDe&}G*P2`fTE9R(&gicYodroYZ)hQn^6T5)1Be{a>7Y<*{ z&W0cwFs(avHF5m*3iV^6<-5(4hf-Z*d-^3dA}oLk^NLG=y}4a_>E$4f#MuS;A-Fg&TFbVAa!&*L*zcRfT@R9>D;=@gyGx;t5~uE{|hZnEZBhzl%pw1?8`6(l5I!@6q;=iA*(HBV^mND;X?e<!pQc;Qb3rb1l~B!3(5l8 zU$)$Ylz;`4g1G*WAq9T&`tD1*Yz1Hs&7noXj){2O^q>?vG*F;RSsYRagNLVhF3p%w zyVwF4(VwyI&YQU0FboTSbq=dCEi%Hk0KY^3LekaEjn94Q`2~`1QC<{A0W^3&Gp*2O ze`jtQ?t0)_PbW0{Yc3%*O&FQ3h(6eSSyh64rB^~`ytG$TE54{xQ=*%%3Dg_%$9j3< zO@P7j^dQbKoH^?~KjXujv0rYmqFmMq)E(;T3J5btWLw8(1=9#cg*3Es!}scrcGXVl zUq8$Jd>6L#WrjK^Xu_%;p>7xSfRt5C)M>5p%Y)}s=*A%{^gPsZp=LMsE+gYhb@h9jW3qg^9Y_)T1Af*V>d;UYRmily z!5#{g_NFC~%4^s9XlEvofy^9G{p*owHmcy0~R#CK+>iKGc8(GD#}PNl96uaL@kK zyr_tT;0B|08=>SRcwhPPdV`yr+f+g%To<=gKHHO4v()d_CD z*|`XFTdx|E6Sq$S*5aajUH6kO9IL9-B>1s9md6{T9hPNxX<=U`=bZ_oXWsGd?^Slh zqem5g7*zQ5CAOS8ztSK^lUT!nx&~_elz}}`&qKU9Gbi)ucBya};KXuFE_ZOyI5UbnUEd!?y zT~^sSS#!ERj@Hg^P=Xond9mN&wDv270XE&wwYjpm>amV}8KiH^P-)9eGA(qvK^cP+ zCdC(7#*?Vs;3W}_v3JpSBd4M1uC!mI60%83PxqG-Id011qo;qmr9QZ;bM&o^Nw-0q zTU6BB-`^jQvmhiS#GRW{9sB7Dp@XAi ze8ZljzP>(~`@i6029{IgY?@QhlXt*M0A+vwMY5&Sx10hnZPf zbE~Viu)YO{ybAB!1+n9G6QL8=?ps1EiFi7D$)xnedw>5DF#DKF0HIM91Iiq zJjS1LE^IKm_B7fzheGu-!khv#^+jy=O>3Ok1ZvEN0)BW?NXY8hC9Q3BmhK5R4Hs6- z8AVhVHa6=OPoCGX+EXaG94ZN$-`a9rP)L^Dn&I?F;bup{@D&o}1h<)i0v>4Yn}kghg1oPJ@gE9Zx* zOy3{#(2lOu^jQg#!A|dJ_&mS%$6ledH^6j4Kdxq6&~UQbRe{*fOsV<~$ONVXD_VrB zKi_x3XMsaUvs(1^bVj=NKqje4%{9aAIt5{dm+6UgB^pM}`>uCG8PhF>4vI9s%DvF4 zb9Wvs2+7haOex(E{+LN>?MUk(ox3e^)jZvgKkqfaDW-X>D_HDe&nEO{5R7foZL0v{k^iN^IEr>8uJxvW2q&x8UcZw9fn$=bLFYA z^>qvQ1)AL*Rf&6r9Jbh$WMal8T`d5#zI zGsIvcKIn}7MLsnE8UmJYN;oXcwDT(|TpTJn<$`HH8cS_hprd@0owV4P)=-)6?8mmk z&dR1KJHNgzKUHo`&)eWXUihZvv(>}_TeNSk1GFQp_IzHvcf}`f{YA#oWvK;ig$qr0 z?pmr&l><|{Y?up}_#nsfcSz+-%Td&iRY&_K3N{O>yNoE>k8Xu*X`d3yWV)KI7F5Qt`Np2-P@k&G& zW1~RP$#Ajkn2JRF#RWhuSj{ZXD|ZeiF+WDvB!Nv$I}a4a(au2Xkh#kICa|bw9R0SUug-$hp3PVGXeG4XS0u(RYVwV< zHJd9}+(m29)|sPNc%AM*#n=;G-a+)q`ORP|K~W>z3x|IFD05Z?#PqcO4y{m>rN(o& zWwg*W|M!zV*$k=OK|`tYCoahrGr2S5$h@*mt%a>6rGA^sTbHxs*;PiKz1}#uc7U_9 zbLR!b!P>{iN4r7t^J*%Pf|ZnrB#|;`J<1_l8%38xwy)iXd~%%oMVeJB9#lxdk?puD zN5K*LO(l8oT;~d`y14|zUr0+AyzNaVncLirwf*sYOyyMTRwH6&Mvy``T{KKwAY8`M zC5BMK<0Qky)!Hx~O;>_U*2;AR!s=k+kw&gb7HY^=#P&sMTIhDo9sMeW576@y8aapV zwvtvQW-{CUBm@|epZlv+gM(@o)8DCwjNpll3ekkqQZ~IN>iKt{*}c;6@jV#hvdZr< ztw~A{Xg+0HAsH<&>Z)>-ziDWTX<(l4pO3{VU*gM1DM**ZSWOm(?~?!*vGo%8D`K*x z+!LOj7upRAT3+X#d{Z#%wxqiL2~2)YM@1W zb~c$4WaQm~K6C*eO$fUIT??wGeqOuzwY$^$^O`A9UZ82Uvf4nuZexAD?VwF+uciIH z3#N$JoW*>nVV5)k;1B$BnD0txsU9{qd9J3`j3t+2Wv(%J?hzy@skAak%57?H7o3`J z=Y4WqLz>@-#`P_TD|y7OSM^Z}Gu_mY3fJCn43ZnDs;b)WW-H{j9R8D8CFx232b7vv zEgtTf6LU|;hj*ccx)25-Js+?Qn$6_;Qv+XO4 zE^2vZ>nTmK$&t#Np+ZB|%4{or$$Gh<2fD`VJcLp`PpB1RWr_eSj%){M73a+xr$d>F zTAzt&Wl%daV9l40sicU@j};iK4`vb?R67Clj>@LRsFek0*e9ynI zx+<%!P4(u@8+0E8%K~~Bgk?15d^euQ1doA%q0|;RJ9;DEsKJYsg))5esjI877;LB2 zvMeH2tCFvV7!TLb(D36Y;L|{{Y15*PbjDGsm4F{)eNRNl@`qdtM`MaPK&C%U?BYE|>z^PO7!$Ve|It{(;A67;;g zS9MTUVPrP?L+9hikHU|9{iA+(dtbAu*%p-TxRdkh*|TS^=i5L9j+~OxJ4Av2yIy(l z75d0BdPdF78Bdl$Wx>9EZ6uEpY$9)~utS!gf=}^K5xHzjYhREmY0DdlaAZp($fP%L(N(~6NB#zlv=1k9zF~R4$d&BajC4V6c)|(k9uw7g=Qik zAkez_(fpqOEkDira1NPr0zYe;6XY$|;s_T=ZlqQ9&Ktu4IwfX2m&ZBcmlv(iY|S4+ zuK#qoR5+U@m-m|z+iRz_6&4Kz<;W*v-uNs1I~Tx`V!SeU_8tVdx& zGGy8NujoM<*9Ow#g=`s8d)>n3)6XIk5*EPbT(w;%UsLjQ$r>+g4dIOg`}wZxt`fi; znQj8gBXv129i(Ms4o3BCNhv8i(w_UdULKF_qfo2ST83#)ees413=%ne?EcI#;Y06Q4U z0U3LOj{|P#f6)*2h~EK?Jc`S6RJL0Ut=mqQ78QI|BGaWH+dqmC*qUw1=nDI}K9=gb zo*5g*ZxQjAkn5BJ)is}4FI9UmweN(L8Mq<4L3NaAPt5*)2cro$)%(E=g7EP0qm7ZE z(R@71j|-@b(~M+R(+K)liq*B{_Z0o;*CS9Cu7J>vREE)rTT>nF4BpH|{;2Yeg-S<>dC6$!` zC8B|Wf!;)+FmOLIDyq)y3Z%-rcaLUjVA<}+8=+SY1DocbuwBFE=H~Z9S;PX+(bkCx zbi~+bj+!6%m`Ry#k#7Dp{1D-^F}z+p79=-e`qOY-+K`kq$BqaOH@!V9O(#f?j{Zf# z!zr(sZkAoRwA*=+35bE>=UYGtSa(D)7|GXkO>gw)>h>It6cFO7D z4)^r*4Dh^I0@x`Oi}E{XYhYZjU%#%bsv0OUf4MQ7qsH$1BI5|inP-JS&}+VWtn$mp z9igYEt{{6{b&@qMI}5E{WEmN2!7sxD8$lKVqyQR0E4e&9y@48-t#0Z2`8Dk;uzChY z4UJw+1#6gDR5Sq$^Zd$+OroH*74a`KM8f)RA0(4qLSn{6(pF!e4vX#w_6`r(9AefWbjhiODQC z(5Vj|JO~YCb(rbu=~)Ept+lOFI${9^iD!tRs~E1|HsB3JMtz zzd?BDc*iRungGJl?{gu8* z!h^%%U=m1o6Z~!o5csE{;Ar`oBZ#e!SXjsy7;KZ{uP-~ickc@8{#vXu;DBUnyr>2I0`LIfCJFo&Z=v4hwnzqW5+N%~&iWb@CKs0| zWNUl-UC=*Oj;nUg&Y519XHMIbBLn+@^pfbe&)I)F9Q-RsAnJL>&r^>3F8JCt3PXA6 zr|LXBR|)2@tPsi|p^&K%y*6I-5Ug*f%~5c6WGO6~C0E3gh=8AOSI|kg-veD~XU9E1 zKM(q!?CxEkf%i^M(xg>=->>rQpQRdzsk+?G)yR`m29yyMm)2JqaB@zT!ln}qQ|N7*^yTj$M$TzjXBVJ5us1tMxPGI$`?&W)@O@#wNkpWPVj%f3r2 zQJ1r@6`0+%o&fEMUe@M#w7hblWk!>z)?dtg%q&mR8=v=(md<}Txv&OwL_oiom+@lN0dd<$?E_!!P3n!R zqrQIq`Zn1Fi@E$^SeF3i_Nx*z<&Dw&yb|FT8NI5%hm|fcB%~}KqhI5~0dmyVOigTU zPg1@GHI@X}$w6w9MWOU2H7e0)_N0LCO*8ofPe^`X>e-FT zasloBlTzJ$-6mGZ^5?(R!`~-fPMWaF0@WjE3Qfrbd}1>xIeGu+XldxBR3?DM+%yCS z%|tZ9U!2)A54^^e`B5iaUE``meesS}QadCI$;uaJ=bE`%gE_3a zOu)QVRaOSI`CkC!KT&zJ_{;pHP%*iPlrXgLx^*b;}If6>fv^$FR z;&9RM@653C%9{i!;W~<%2=6*BZae@gi9(e`8O4%t3xUm8-JQ+Xoj=yK9UX)*<4dZA zsOJY3J5vqGadA}ORQ(AYF21v~qn@jtqg@PkU>dr4od5U_q`^Mx+1mKW8oA&c5}Z2S zk7mYl$AGCUKJtku-i^b#OH>J% zIRwPS&fusfTs7@?R2Hdt+ZG6|7h+`%i03oomaJrc+E<`eH=C(ROk`8=ZddG!?ey{I zN$tafP7x=nYpcKRDB*a$+n)4oYP%UbS@ts{Gu(rJKEhe~1CFp30c3U8L|awWK8N-; zpvfkJzsPC8Rm&W6MC1_0fZMn>AL^)0%$?eAERaYaaqd9GOx8Cqz*AlQg$yMWa}*32 zsY%Mt9Z5S+LBK(YO2jBRy>kxo+QZ+06fJ(g!-`Z?qy0jqCRn z$QT+U5@Z$@)voPP1HTA&canuA=XHEif$NGcf}C#zx=!5)10oHt1ub8M$l!h;V{C;z z;c~dm*fzKEY%u$9e`k~jsaZg|!KC8;;cFLJm!bkQhdXW;VSNj>e*QG9lJIapl4^Q} zyRzEOeT98cvm?rChk#^G>?etcU)WnG*y2`)k>P>I%1ky}G|(Q_o)G_uiGv>WS)Uhg zn4@ETy=yrAaY05*B7X9v@2T-9J9w~+=KsL@b-e?G5D3Q$7LPGuLBxH1r?V4&r=%or zyE*PLrb%b2XU@vgz$VJ)knDUZbY1A6nt8jbJUE#L}k5Hq7X2Yin4fFp?4 zDXune$+bQD@kHj~t}|=~f=F!9F!TG@C@LKMp^WvE}MR=mj%9JiLI5VIG|q`npcL z?EiSx@CH{t480C7A#1c;-okgZyTu;YwYJ?>RTwi4-d)u{$Ny4fk(WO~V0Y3YvXrdc z3|pgTikX6)J{bf~m*I|g8{aPXdZaF>ivT;`uUk4VJhQ=vzX0fSmBCTlR+t@7vq>%k zO}(as_fYC$&vynD=pQBfdo`=S@<8n{jag--`N0B)D^`}iIR43rj1$>^r1JE`HL9c} zyMostTN3Ao1}5@~EJ7IVCLapIiE~av=+RN52!BT7V-;vY{FW!aUA|U!t3%E3A50$o zK>fwOs_J3#v4sdww=M-rNO#}SKo**=UydV_=WMq_%84m_3BDGePn#KAIC3f*v2 z7A0Meq6$t=n>*!({u#z8*ao0X&69R8f-FjvP+^1`rVz*Wxp&p)Cb#O&w{y+I9;@_~ zqqL-#+_Qg2gPYMQDYui1NVT=y7hg+jbbV*zTN=~`DHxIkiGE-|5?ug{%0IP+H@@*0EFF=VSe0Z`287uJ< z!yCk0UXqbksr-LOZO)bTrAI9>U}#q#KSlS&IEB3rW^LR};C**dN?q7_LZw8RSYV@U z)2!}a!j|vm_U__<)-YLYT+`^f@K|o>l=87W)?Te^WoPh#kqyefJ?=3YSnY|e_j+h( zAolj?jCt=K%sSPIR&><7)Ot1> zFLUzYc~W9SCGgJi{Or~7cI^JfFa=m&`!ycF(9_sn)QX>WgxVjM7xZwvqxN)XNBGW~ ze6&{foxMi6n#}-zxu?IUrd*m1Z;7y=`*ji7&;`D)l+1vUin3>PQp4>CGLLZ=1Dgx` zVwY`JJ3wWc)Bz)Ew_lx3&>H6IKWzeZ?5~f}uUcvd?@v1gr!b)V3TyT2rcZB#-mXan z@nU~xSLN)h#Hd{@hqDpbb^!|na+CUp?$B>!^?*aa@=MK5H4x;B5EJA4IN;yZ^-+Lj zOmGRzBpM{VdjcidQ=y=C%l0D8z}4BZqxlmdJ=ncuw2FxQb#eGl$Dpn+Bc%0A5*{*a z3hk6|CtCgT`1CftH@ekA^_!-MXbQ-ZxW9YKzeSsuS7g7p=k#dvgKVB2@G}9C0dEM5 zvWjal;km z-BL@R4WH9jHnu?ofcgzSMs#V#Uc}8w;)`Hk~Mh1?=H}cA>(>_e^b}?+ovMk^l0N>pRg4R`Q zBg~4+w;|{$Q|*%C!km@O6opOHGUO*N!uk!8TvtpF zR8kQr-Nv;Vdl37`BD2Y>F`sH#QsAV>nzIEjMKxZp8JUAIMLS#f5^F`h22$Vsok1M$ z?w682Ob^Kv-SK3Amn14GDWB29>lZrhp^dB=w^&jW4NrxhOK14-{(VLKPo$%a`qDJ) zp~K#dvh8n=j_xnlM1v&z{iI1LDHqSEwm?@Sx8H*iwStf{D2fRVN!+Iw^|oZJ3vC)1 z*>Pt!V$4OjQKn+**>uwms*k&%s?pDvSxJrLeb_kb{DrE&Unndbm%z7fc@^Fg_U*MsuTI8D{IMmwG_6 z8g0j)^zIY5)KNkpmg)%?ZhX@2uHhg1NxPV|(R-WaIcPv=3S?@Dcus-|m3G8~e1FnZEJRXA}>Wc3B1 zhN`^OiRBA34|$Q5=6<7864UYq)YdT1^g4Mj+8^8;Nf?>Tu@C0p zLjs4WWKgv|nFJCT_jZQJiSVY%t}xKf{sEKa$VmM$1mg1_P$g=Z?4zSf$GL!Ez((=BsL``pS%(gWm!hOHGRvctt>abBn zVVscl3w}=L7W*879>J9viHIazpy&!fYU-QbL7bPX^Wd?Z9LqJ!!diKO9?~XLaW9cJ z@2t*<4+GT3)YYUjz70@cji>)vz{A@9`ITC%Eu%XAxTa=MyVBgo%b>_$@g8z1ZeJTV*M!OucQ0OJC930*) zFj8}$ggaj8MeYNLs^Nbo4NuW$XV z=jJ~!iHTw7MmCn0u75#KxqymsoPI1JQgO1HaerepoUcT(2?P{yx}rMPs;}k=)g09* ztcr+Y>d84;(+-|B1hEXPAnHLO8%|XOKl{gXGu1RNcfxN6cl)k^FN3ZT+!eh z<4SEWl7Xrx$E)7nHd4d+)Cf1&g$KZgc+)34U-RC0i}mD8R(jb{Y^oz z;5o|ATugPULcRCXL08c4+9b;v*4|@}fs6zrx-*PiU3r-9k+M!X{YNo?n}1FXBbgfN zk3QA!GU93iDNTH;q8tc8ht<<&E8si=>RNZ)&83op%%?O#HH(iaqA%PeF56!p+RjCp zZ%-@RJcEE4Kj&^@pc*T?>QVRoc>9ff|9$Iik{i=f*VAJuS&{kds&%bN?05MF-%plW z{B6hY=nP^C6_L~CZ1OR5l#jR4ET9jFuKn{?WCLRpm&7NL`5SmJq2L{xB)Auzj@Y)| zJi!-G8-ReMk_n!bQGf^(_QD!D!Jx1EYR|hy2(|Mw^7Z|&-`{|wB9Gj2+#jt_>yB7H zJzAG(U&)UPqZHp9X4vdYZXQA;ms?L!sELw>7bA?zbn`=RKlm$)|L%W7Ny*7yG(YRN78DS9i@vxJsowS>sslf-BGf(bYiVZ8PXV0SMM)h?ts^Sq^tsG4OfHre-`)V zB}%@rIimsfO@nv2KR1J{768OUwT!?apb9uF{}0K66Y3Trq*qUFMr5ty)|d1}e|ne9 z?7h?ZI`Pvv-)R7Q85;T!qPkI_4u^1e5>02sZlK!xZN&ABc z3&yOsDVc~$JZ|^fx8bdO;kOjouI}6aSsC8o?029L#@N|8*Pzk7#z^He>K;Sv!Kdmr zKmN3wIdwiW*2ruyLq0V05oF=jztRIVyORk>2JfA^`ju8%NTlYNZKY&xejc1?;O)b+ zW?1_J$jIJX&T*|5b4;Q@Bp&wt&;hsn>n@|^_t_Xks}wrMnc}%Z9m8Q1S`$f@UwdIO zxAQ{7T&q?|B{UQ^(_O4B$GiGdiVys?N=|Eb_8@o<7Jqa!L_`Y+68ZLNk(1*5?)>m) zfni}Rj~@pfZ;lo@P6?_ciN3IOuTD2HsF>E*-#gsToJR=RLlXu6{WV~Wzg&F!Z-8?Z zk|@2&_gBA8_`lW7@p~SF?`KR){61E@da|2?#W+0u`TxcA>Xm*F79Sq4^wvLX#r+z% Nbo1h4taWs=L+aiwenJ05%J^B)Pj zzy-C~v(2t#5hsX7{vjN;&HLHcs{rLN#&# z$v#8kqkTO`tUp+rJN`fTyzK@Lg-J>PVwSva6duAd$5JTqy<0(2(tAvjVJye>rf@84 z7fpdWm7LZV&h_PnstwXU%La!%hdi;<*qD3u%I%9Vg|gk9_Tcb3KMmQZ&0}jz1%U_S zg>AnEZ8p!o9sNZ1D!o9GN)BnWgAxzEnZko`jk+Q;HVBZ-{qR9CO~GJ2iD$b8*vHgQ zZtuOr@SCWcM`JseE}AU^_7(yQVf-d@+l7|PycE$|G`TwKaeQbYanUcAVTki0jsVC<;l=`ld578M}6gqi$$)2upEWjt59 z=6tnK7>v(!*j|4bW99NaYxL7bT^Omd=il)3h!qEL_@L4fvBRv{WV?%H?%o|J-)A`i4BDi=k~fNDPsXkZ|nk zj;3nau4T550y~@{G`V+Rp!M{f-KHT7R`dI(wX2l$k6~)P>y-&K61-eH0+HIM_HEkl zXKK_J*vVj5?tORmj9)aq0E@e)_T4dHxLc;W3B6NDjWi2or#|NNiEeBO4GXXC%71KxVq8f~8*2^?KRl}KQZ=#f|(=|2Aq zCAV!~crIk>JY@Mi>hovLXHrtmvQ0j>T(+|UN*S*=zXtxI&4)D z#|5XfbpCyFd7?}S;}&@1<=ycBBZ6I33v%m&~^^cJ%NjsmYyh4M&`=MJy};{ zUbUR~CBmq*6>i-6DNV1+Hap_gPGi#jhl+7F8~0b-^ZV5Nqdfw=xAERLYs66snc6k> z&<-(TZPOLaAVLhHak)7Ytbu2y9iySRfi6AF1q?BcY;GB z$C|JyM2QXtyzybKb{%ZZb`n`VvYU;`al+3?B+>?Rbs;n{a`4`6t#KneKmb-_(wbdy zahkyymGmV5IHbQWx%f)>$yDCla@nFfR`(~7P3p)NuICPla100QH+=@YrHZYxVza3n z0fG`7e-!Ly-$v2R8PC+lEt>)`vv(YvoW$KM@|HvO70n-bczBpa63CNzK{UME!Wqnd zRcErHTV)l*GX#8d2f%#RTGjGvm@L&79d0LTECEaVA?-id`K^Sltp)cP+Q^g3YR$~w zwiN309&<9#ebudV;kbhDgwhT)1T4_=HIHYn-mBn?yfg4IW(QyIFNwzy%GTMN)99lG zye_zQ?@L^@z1P;)KW&ZVm|mT3Wk*Oz!AG|TV&jAmN%OMB$`1En*5y9lG|!zObYR?p z>Gh>01W5IV6Wzi{8&lKJ-J}A%0i7=P&y@I&r3VS#L4*SK+v5am(JS{a9$QtAC05>|IXXU; ziKMWz*O%}8wV68dgNN}t$yKyD`c@r4BOwdU<%uQ{F-G&i*$zW}cg_aK9J?fq$!^=Y zpSY`{E2(Z9dwzUEJ%H)v6bXsZ>&O;L$r7@nffQi-29@|S_Y7QX8 zoXL_4%?4moM6vr5XXA8tthwf0QCu8Q_7&sTLbZwgn?f!6r=sJF1EFOZ7!edOGy7zj zjON1XM0*#9N03RDUE`eM&X}Fp&~Rt?w7I{zt)jq)4tlmyCL;XtEB%Djf{wZf=7hM z19_}%_Lu?vby{V(c{6~zz<;>#n3JeZhOrFzJz@QQ+i+uj-DofJC)fKf zN43f6R|1||T8w`Tg{|%98}jf>N=ROYl)t>})fhW>Zkc46ygOlJc(O1?tw&v&J?X6K z2^V)zpi3W+-HI%{-qQ1*N<;L6m?AP6z24-T{p?vExt4NUXTLUW9!Ab14-{m+{k2`D zSz+;h7OO7-;6eJzgkm}yC$C*+g`dtTwN%Er5hK_^AFo4N?Q_EFalZZ9;!i^9fjBce z2glKF*+7Ds7ag}joy*=~Cw0!!;^xN`qz==yD%wHI&jZ;^=?Uk0X3ssaDIyJ9RZT!~ z5XWbekVg-NLe(idNmD>*uU*(~@!Ov}b;fN_0~x@@rXSk-3l~bphUbsCF-RdaOJ|hq zdWVlFk|>7KteG_0v(U--Z7F2JNc<+N$<=Dfo5W1aE3Af4Y-XH(`yDnMo;>Edy5oP_ z*O46H=7zK9m*zu1INDG7*wt>OuSV?fxIBJy9qty-8B&8x|0%rVDvB33M2ZAnlw}&8 zXC4MLBLyw{yW7!Q9;3NAZ=sOaa2P!H(E#q6@C~E}zeQV4WYec?Pd7~7j%$ru4p+0t zM8IF{Xzk&CSbc2*4HSNp+$dY6=y{DUTcV z^=w~Q}pH#H-r6<7IdGLBF?T2CVvHJuX)l}_n!Vp0kb zq$sGezd44E7hvX%mH6lM0l!hH2U^lE6=`EcZ+M=k7U3jOB!%k3W&r~3GOB|ojCdi% zUfpE%csGoo^!%7K``&4LlJJLjDMk1$<>xuE+jjoNv%2!zr2#~sRJIl|?B0Sp{{+z+o@?mMfGA^Y5 za2TT~!%?;f9T0H@don9;(L(j{Va=`V&OIf9Z+uZbQi)s`i1*F04AppGoX<`#G8(~j zaj>hTFNxQ9;7FV_ z=`IKJSdb_=hASZRWnS|RK=oBY(eO!d@HUE{O3p~U5Hb`xMhUVE8^2d*n%_065X?;c zz3k61I(~j)K|w(@92{9CB_*5oC+WactutFk7^$g!7>{rW*j1X*(a?Oslg(cqI#ZyB zvO5}fZZi;t9>IsHvCa(NqgB3N@ZCI7e`ui84OPY3WnXh^Gcy@i63ut4fd){ID}ML+ z_-&MdUAH`Uypu6KVd$4Wj9sS`S@Apj3te5Zr-qGTr>9Q2njHslC8@~AffAF`(=Dy7 zNK{l*C|E(ju;p{Nv#Ga7y_`)(N6YQS#l_+ajoxtOK|Y)5Q3nS)4?N}=g*SCBg`?{h z@>I9?TD{*nj{0~8Mva8%09MsVDv{5WrVsrwn5;a8?R7e+uHE4MEZSw@47@b_HVQ%hdEW4Y=4%jevg!@p@Jp-JIa+~KRmAUshJzW+<*D#8$ z##pOsYZDldpkwSX80>U^Zf5jZFd4z?*RR|b;Rb>E=Dpt!Pfk{jE2W$XV#}Y<(ILGV{%$3q zuRnYi9UP1X=69)ZV!pM`uAkSLf-XM@?1#-_#njo2T(9mGbsmUH5S;D=fIDF@bWkd) z2-D7pv|Jz;O~2O3ud0f_zM)|#N0mA*F)>ky6*{JFJzf9?UpIatSc(oUPy&;L3z7_T z{gq`VrAc~|AOLnWUNa&@R8T-)US7tfrp94oV>7d`NYBm9ZQFT-h(JL}3B|>Q=;_Vqswhfz;3Wt_ z9vZDam(BF^fPjF-Yq+6l%V>1hpFiB749Z_|5~9=snkY<}uq2HZ9VaWSiJJiS7gADY zbXrs;!eG^=1Gt)9Mg5TWSJlW_C4^ zQh)IRL90O9556<8GF#(#)gYi~<${ikh=z=Kx;=)0&!l1o0zGB%OC@*#U&ZN{%DFp= z({~zXX5iRG@facC!tzWa3;_L-!o3}NDR}3PXB$WRs73V0r*;>oBdSOHbq5JTc;F4i zNMsBxwgh6JVPLeThacsLIatk+U?q z`}ttI9diJv1+s&+6&)FTbw#TEkPh z@juk^?;6#kEo=iL{3>bP@BD@*tm7D)Lb#cDp?GmLdB-=RbupSY7+aV zV2+gq@>mCG6hTQBIc@V8$0n#@czAfYWMrRPgK$=s14HHHm08XcfefirvnYiuwMo`N zko8VCr;tECm#ng#Q=$w78Och{$468pML6W}(EeeQLPBIO^9TlnPr@1zrYo#p-_6B$ zAwQg$kTCG#!i|7{0Gyh{^E4&$G}GUWWaEam%S`n3^hmh534k|4^R?TGh8H?U#P>kl z4+{Wa3Q=Fad|c^_e29SO`Mxwrxk*V$gCH5Wd3u^o78~1t`0&hGDIJ9ty!oM_p)1Cm z!oosO)T&dqJlx^GOI@&Bm*Y<|Ea%6q`_07%%jaZHTf@>~*JY|dM7j9+`JFY>Jy^uV zew49?o0|t#=q~E`P2Qit`h_Jo3_7HpL?=l%LBqR`* zS5~0J#6e+UnDuAV)^E5If>{HxR3A?8&q`5aNo=R!%{Wpvc0mzrWe{**> zVF*aOxKuVDS2Z>^7FSk2t%`_^B~H)Cp#9oi?69Vw6wjR{bDW)(Ma#&Dvb6i00IsU&R0$ZJ#Fn^5K(O%9qAudIxH6&8{|)L)mz*C%6N3h>c+;( zYWLSG6iX+k=TdagTGxXJ(4cCbnIYE)os;oV1yxnq44H6HO&~x(y#x~0#Zf2q()PCQ z+M8$3o?QS-LDaaF*8IN~J{LNO%O~)D9-z-g8XSBV@;3m4=y-VvJ0mDZ4({W>eM6R&l|9{?AqKBWBILvjPElbt zGnK}>lO-1$MXvpQeMaxzg#cjgj6tmyLw4U0PVTl7&W~IB7H76_^{}K;62}@={zd17 zu?31FLM(W04yUeBOWdNK)|y#Nia#oyd12RTeAb^hV>u+n#l^$JlM@m?Q^H(mU@&qb zA|iWN*PxsnrrEhUV`F1=(-k~uOwj+gTe+WO%K%7T0w7?qsf2^Oy5tB53DX=m{@6P> zJX9>m+|42qX}G$DM1FpL+GQ441nAO%9WV1V9~495)iOr4BFB*!G0thpJLHk4-xUZ6 z4Wok0L#lAkXdcfap)Br<{T!-yKe3{g1uY6zR&-D>fdS;Zbf}e*iY#7|f8f9WEKMA< zw{KStms%e-12()*AXZ~N3PBr?f`a0K(S2^OVs!Yy__hXNwXR_hAATxB?SNIkXp_-u zaAIUaIyo?qr7NF2IvF4lur~@kc$KGF?Yu*zTV>lX!w4ON{eP7}AIoX@Yfvk8+}M3|>G96kXK z)w&@QTTVg@OiU}|g?ho^;nF51bf9l>cfD}m(%hW(T>~Hb3hVEphIb8TDL%6vXSaNw zfUeI;6bja9i8;_q^uSWU4M<$zoJ=q~Dy_XYgivWxmhf4rLJ8HVeJ)Wu+6e=6XG!>N zlkR2<^{VW*hM%;xx6^WR;*5`vKXi-3L*KeO&yesBpphE!caA;GK&=hddyv-8!a;cC z8T>gveQKnbLmtC^2C0E#!sr?IW$<3wj?XZH5?z6}i` zpo-bu-Az?v=CWTD_Y$_F!oJ1(Ov%x($QV6#3}~p?3`qpV+TDeSJ(8~Wf}`*5?I}}+ z1n0{9gOC5hLp3uq(+DItHD&@7Q3!>j z1oE#~InUPqJ{c`?D?au#dp~RN6YlW&`QhabPT17}L&4S6jumNQaPBW)N$AnP*8tz( z0bjr3gGyLu>pJxF=fi2XBBRs>jY57HLh8^=Q7SV%es|gW_|+s+KsjTLG$jaCilZZk%bWGF$0nVf%EqP(p}@w|@IeU_`8utraw}{hF0)l4&1MH<~Un0gih3+pv(XNFmgj zjZX0#t=4*-uO^Cl=p1JD7mGI9XIqb*XKjM@lTvG3saYI}(hoh@A>vell*0mjHX;sR_c6C1owdoviL-RZ@(c*uhsoXHmcIjzomKx zSK*0Vd|B$`$>TPY$pJTnV{st&fbj)Qv^aANjq^O-s)}l{)gfJcl+5x40agJNAY& zQsou=)NHYW?)#a)&-hqy6$D{REGw3!)}BtZdT97B-b@8m^SF?WhIGq}u?^4!BAL0i zp-@YB*+{BDIT|U|nq>9!koT){hGj4Ag&cQm(SSA+ZKrcY zNN_TR5$~c7SSfyBTpX9Um^);~25Tq_1 zziMTVEs9AgDOS6$W#r!KWLat8x`$PmhRdwYZWdhI)G)OCdz zIKIh@{miZ8X4@45e!V=$19$az`{0Gh%gftC6G^>)@Ui7gK12Kk+(W=HnG{DhzPB*=REAA9)~t=x!3?JZQkx)d587pK=Zy zCID-=J(&;)+Yg`O&5<%~QFwA4xCdrpp2uHaF0(pwf>Y%`YW`m>r;ZdA8;hD3eJ!dL zzz7$Gi0>{3e6;3=cRpHQ$DLt2-9UiU;?;&e8N2bk)B-U$`oZfI3JiJ@; zTM9z-?DV2f2~cJl=%6KV-n1>Eo6T?2FSD9_lhFfb?U7)Ru=QC>$O0cHlAb>pjQ=hx zh?9^$RyoY?WAAJAZ{M-40c!u1amfaRG~5~{I(TQfV9nK3xH(HbDXQ{I^a51!{fc*j zxrP;QUv|!YDwovr-zo57%zedo0wHl6?#GuTzBpd7yCH1oJ&p zWDp$J&hq7c+U5%(^c7p;qP(HS=3`!a-9ypxOV-sNLP-A-sxDwt!y_Hu{jJ2Dc(&0H zJLr5teEvvI4p!k``9-ngj;HFW7`1!!Tbg$h=!i!PHPk~^(N{}!)$DqZiI~u+22Kj; z_$e;CbriM*zplw@EJ4&rt$He`I?{i<_J3ilnf|fqSH_{1SIJ6#XlzhHHuNTzu(s}!745q<8q-~sH4I>U0tb$~V}C840S4lCmx{#{lc>iVpCm@Ru=A)n zU;Js#keQ&Tv+6QB(5pofQo#m&gA$Pz2MuJ;1_HgV{!r@IO%YOS)tcA(?)R; zC0s(K?J*xLB)ALmw{+6nSp5-!0@23WMJoA;UmibI-DE~sdLEc4Knk9T_wU+NPyPl7 z=`LJ6IO5@hqX_>Dng92LHS{0H@V~!X`N9EQJ8i7}$jpg_32Gj@UjhAbkhmHF$sBe1 zt#BNrxTxUG?!VOzR2>T!29ubs@xQA8JM4rV5&gmHyUhD?tlAa{{A_wU4~M^HiA5V8*j4&nMZBy=@cY%S*;?{PfIg2gH(fdt26@VV`wxf|&3DJYjf*$u3A+#e1og*3 zA3jd+zA<}07YJq-W#aQLLGk5)y_{}^uS$j=>lGb0Fprd+pZXFWz|FEsA0$4VMUT90 z!CdWu54K7fbq|?5cMcB`teK5_|8IgAYEEMPi%E0kAzaqeBrMeI`S!Q6?izpvfS7oX z8MK@Cv-k$lum90-gw4<<+z5?>BdWqv44IpStjGYdBy?nD zhpaADzKcIfWR7qOxW=YEXk(cS!;xA!Xbcdidsds$B@@xH^IAf5m>Oi1XzgxXHvm^kXKMs-cCITP*{znh|w_=}2 zkPD)(;78qgqd7$0MtnOL3;dOe%jb7@WxZ<%KylHc1iXnHu&JcSIj^IioANOfCbYVE zr5?d8l>EEKQ66g;%DQYKtWsTK$@44({ZhlKTa?eT;7}NlGFTu$?L*4j=-! z%?@z*Ya0h;B3dQ|G6Cw3H)82&jgD25)!WrD=6Vuo!cT*V5)ee*(yR--yanayz z7FCc5Ll7Mu%>wUq=k>rx*GB*N$NvI5UycTkcH=;X7P5&x_HdxZzA}7+!$UL>6jfN? zi#X~DamIcC&84cUK*sh9X5Y2nZ=*dgkjr(ZB8%8qCH9BD7H`6x;@ut30$b|?@zzuJ zuS~~%=9%lMLR-kI!hUh$hD0@pr6;-Ond#J>w-l6MfP(e3bG6kwnwa#Fa!-T87z3S^ zWp&VB?hFzQUPx+T+O%}M&fxk_%t&){$=zKvU~vgk&QA&yND3vMyz<>q?#_JqAOf({ zvL2buH7wS8gfu&wFrfxh?)LU2deY%d?^1x_>+mPErhPdnG2Xy7tW{8`>1|^m3MvBg z2pzJqEH-eT7?<{jt3L#BPSzFVrpu*{3u^+Eqh<3HB_e^Qr=0M2samM>D|JI29^OO8T&cg=^=`N-rML!q9y z^RtdkkHD&B+R`dX5E3yx-@pcR43z{&1e|+O19d1YqST$ zjfb^DY~TZ(;Tmf#8e2Mh&LP1{;hz6kL;vc3UI^%l%k}iXa4;UTpx4q`|E>=r;5qyC z*)X++QX*PO10{FWE_bcLbQQVL<$IjTFl-1i;_U}{Mb$1OuigejXIhl)HnYh`svk3* zG0YCI_yr8dt~x;0pxqc$pKN&kSOT=p_vQ@?;nX#1QK3&&#a_`@fZG5<{$^w{-}wg5 z)|af3QXSsNg0*8;7x6QaV4hpHM$S{^mHfmR1JxL%x9i*0^to(5F+oghvqhny# zA0n`mV?`u-KKBn&CvwbF@H74iG?z4`L`FzaUavm zPto5J_Y~5C;-3$O`e?%TyMy`^09WkAfS3?7fdU*9Fk8kf)@*XR9_fok)`RP7WO)XwTIubTLWkLY3OUgR+Aq+n0D|Pj<5uq%?n&{4JTqrKF|PKpRziZ3-%i zF00X*2G}QEi-D4+b?Rc^_OCP?wo`&08Sz7wVusjt$(rb4ggu|r*~N7!JGERmN#!A8y=IBCt4M$N|{;x z-Hmx^LPA0;$Lb$3vLqeJn5u%CAtU-48~D2^z4)r`fXjIs(A4OprOSujTw(uTz}1nK zx3@nJG~FOBFwC_SZLxsgHsob~rSBVS!kK2b&=@D|UJ5>4gpQH?Ee@@G4HA#Y#(nC@ zXgO-rGqPq!KjbE?S%-4nT?rBhO|NKb5`g~VKh{FW|9Ui7|DzD_+l0oGgJ~CgT~Kys zyP!tCa3#u+eEIxZNOMVS6a$J%vM83S>Qj9sDOJ9w?-c*-5f4X(NYU+LV@WSoe{ehM zcvPTTgY_pO@80CN6xVH!9i4J-a+e_;#sB|s(CLL@=i%yyZGLv;iAN|RN?Cl1G z4pM4yVFwHCwb!n+<;A~S+J6`yuXf|2*Zii3@>2Yr5hz4FXM~o40U1N=5;?ZW00>OX z;`Qh%80u+3M=ud%K;#=zDnt`9vlvzsi?+-P)?+Kg#HD~2Yr!W^|$5x&%Y>Q8r9`VKDgBXTdz9q Z5dwX7%lx{W6d~Y}msXMbC1LdO{{i*7&oBT0 diff --git a/docs/diagrams/pager-verifier-flow.svg b/docs/diagrams/pager-verifier-flow.svg index 138e050..f5f3958 100644 --- a/docs/diagrams/pager-verifier-flow.svg +++ b/docs/diagrams/pager-verifier-flow.svg @@ -106,15 +106,15 @@ label_ungrounded - -not grounded + +ungrounded none verify verifier->label_ungrounded - - + + @@ -141,8 +141,8 @@ label_ungrounded->audit - - + +