From 5edbcf3fcbb1c44ed9d759c90faf969b34839699 Mon Sep 17 00:00:00 2001 From: Elena Botoeva Date: Mon, 6 Jul 2020 16:29:32 +0100 Subject: [PATCH] vcas networks in keras format. Explanation for choosing acceleration --- benchmarks/VCAS/Specifications.txt | 4 ++-- .../VertCAS_noResp_pra01_v9_20HU_200.nnet.h5 | Bin 0 -> 38312 bytes .../VertCAS_noResp_pra02_v9_20HU_200.nnet.h5 | Bin 0 -> 38336 bytes .../VertCAS_noResp_pra03_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra04_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra05_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra06_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra07_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra08_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes .../VertCAS_noResp_pra09_v9_20HU_200.nnet.h5 | Bin 0 -> 38544 bytes benchmarks/VCAS/planeDynamics.m | 18 +++++++++++++++--- 11 files changed, 17 insertions(+), 5 deletions(-) create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra01_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra02_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra03_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra04_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra05_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra06_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra07_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra08_v9_20HU_200.nnet.h5 create mode 100644 benchmarks/VCAS/h5_networks/VertCAS_noResp_pra09_v9_20HU_200.nnet.h5 diff --git a/benchmarks/VCAS/Specifications.txt b/benchmarks/VCAS/Specifications.txt index 49e0b13..ea86a33 100644 --- a/benchmarks/VCAS/Specifications.txt +++ b/benchmarks/VCAS/Specifications.txt @@ -1,6 +1,6 @@ The set of initial states considered is as follows: -h(0)∈[−133,−129], h0_dot(0)∈{−19.5,−22.5,−25.5,−28.5},τ(0) = 25 and adv(0) = COC +h(0)∈[−133,−129], h0_dot(0)∈{−19.5,−22.5,−25.5,−28.5}, τ(0) = 25 and adv(0) = COC -Run for K = {1,...,8} steps. +Run for K = {1,...,10} steps. Safety property: |Vertical separation| > 100 ft at all times. diff --git a/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra01_v9_20HU_200.nnet.h5 b/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra01_v9_20HU_200.nnet.h5 new file mode 100644 index 0000000000000000000000000000000000000000..324deb46f8c0b2b17a601fb97a41421bf697b706 GIT binary patch literal 38312 zcmeHQ30#fK`#&NQl?WwEWl2d=NjfvnNoWxY*&->TQmIsSN>WNmS(BY)mn%zWW{zEy zWQ{CYvWx6H|8qL;d+&8zKfinb+@E{(emu~k!Rh1L8xeML; zbn7ONa`N@_DR<04Ik|jG~%oER5&hIk4zQ6$)#3Nk6a(a#{`Y^ z8zpP(YjP#2Ntw9%kN4Zw?s5jl zAsi!@@a4l~PAoklIlHYb*eh*OX5Y1?ZlEm)@S5Ng>KWt}=p&m=1cG|fMrzB-tH@dt z2x?XQ{+5pL2^#C;*}j76H9X8O!YfQVA$Ycz)6Es>=5o4)BHcnxw^XEC%IO^x=^f;B zs|vd8hxbQE9XW~D@2?Epi9;8c9u+;|++5x(fuLf3lJc0Fnw!d`;HO#nMnND5llF5= z=*WOElV*M!Q7OeB zz%R(hE3|@1I_BPfUNSzeDd~C;BwdL7q*qJ(>^IRTR9dFklm1?zeqKStefkcUvILD% z=+js!RVHD3Q(4opiCos`NUtDIuZRlX5q@LCLjAnMWfmqYl8QQVOlY92nz24UBcvo* z-=<8F=4HZtMHqLV&@p2_6`|r%t|y^BqrwBE^2&Q6SDL)qKP;)xlwa5c&p#~X>Xe#+ zv6*e zmqz!SnNNpG^Z6H>&zDB`o0*T*SInoAbXxzkvC5tE-?;Vhm@-9B5!1>dwJ*hQe7wh} zeB39G?gWCXd|=2ED${?32Kx4L=_*4`ILJ?6&EX;Za4X^?|B6n3hfaJ8{8py=-|*Z2 zKdvnIWe(U;=<}CwH9=E3Baf?n?Y_(~135o$KMKuMX8+|H;PG1?zvr!O7>Dcg-RFS0 z3XE1pbL0#DVk)1ves{OhR9+E3Z?)#~j%IRtYrY+%z{lksK~A^j`T8jEad}4$m*)FB z%=c5iI4+;*&sX$gr#ud>*GMj>EjMnprFYuoIJjB`4lci=_8Sl`!@*@^&Ew!aKFp`w zc(;=yeKux%UbgSCsTdR9Qa;rWf4`VFlqv%G$W>92k1UTfYjKx-p4YCpR8y}Rx98Cl zG*l5ZoW}7hOM4@$Nl8gwp$y}f9aXE8x2QM~l*<$Dw=TCb%C0$I&Co+2;0E{;uJ4!m z(tVBGX7V=g=*!cu&C{99<$NmNPt?kqe_#zL&eM9FtSa34&5O?aE1&26RqlNPfi++7 zU#5!t%N3m6^7Sd&@qbzEPsb+LqtdVULCa14vkG`WPv-V>|C#&eDb3WbDq2?GfzCKR zQ<XG+e`8H&mlA7@K)8-wa4RTdYM!{(+>W{K%b+0*cq%&X2) zJi7lVn&;D1{O*1NI`<-ykYo!wy6=7BkzfUVqnnZR%ow)Pp=-_-t)*m2=V(@Ru?BIw zHIuEfZ_liRDXe+VboSQ0A+vm;%!>Oiq&=5~GXGx7nCY<@%=zvtc6&?;Gwv9|Huu^> z7ccB&V<$>rTjP2Nq534|G)lk#*sE>d@S$7Bmal zLgyS9M$WmqP%>po&PqCwE;U(84;(#$wM8eyzRz3Gnu$$GR28$#yi#JG)^##$L(drVTan11ANvh!CKM$rkwIRmVZpz{ZZAJArT*RI1l3=W_CZz9M zPS!tdO9R_3rKeB6C0#Ecfu#f1i8t<8i*=pqia@^&+ilYlNAGn9vHu?AR9zK4ucL-* zm9-Wn**7GXOSjViXA7+9--b8{itv)yCU|hm)?kzO08c6Kppp>{CGB)Zfsy4ztW%oA zat2q$I*XiftLuTVtHw@zGEW8cYxYMf0~1(_mQx_0MHKj1_k#eDrl`}Bp}=;=ArTJ2 z19i4zqlHzdPLMK8?d(4&@rPU zEMAcW_k*=y!X}{C*DB+a5Ys|T&U&&c=~E+X!0CCA60?{8>_;GHwkpSu^Hq#_oTkz z8z3b-67CpAAsx49s6A&2nYY3PguNoryTIjebLs$CzOf8{s1*ip3j4v>cFEvb5P&9b z918vxy`W3EI;|Vgpi{L+X{7eX%V^cWdf2<;b<%ENH@r*Nl#cGAO3RP#K_B{^MA1Gc ziT26@Qs;&{>7IWcY2{>)ZugF$gT+Z`+T_#d_68l?<#05+e@lrC3{_^i5vx(ryT15- zrYbD!a1^P{+A1k5YYC>hmuYJJGL})kjm|wA$b4h(2wO}W#?E!#gT|L_V90kFdnG!I zFVBmIRiz@@dax1Jn$(&ah~|>}>q^mTaU+^iZ-{VbbbDG{(+8P&TVt((E$INwYE%cG zLS1??BJnH~yWQS|vKQ<|y=!%+-QGhxTn#@$R<5!Ezni_F zw%$eI9-R!fck4d5y?(l6hWB8$-M$ITaUCqVJn0Tgy5%alX4{%2RhuYjIXH%Cx|Ol} z8-?uSKo!=LRK<_&8?a0D>yhy%qKIEL^ysS0 zqIXx;@m&F(+o~x$-#?Kqm9(IdBUBl+slj}@cR+T-l(BK*IiYrw4!CaOQBgnC zFX4cDD`IqkAd(YE9$yN+_#EfoEq7&mKb8g*<4ZpN@a61?mzIzFKJ^N|^v|a}ex-=_ z{f485?FrZfFyn%_*{}YpOd7NFZqwaQqG>tUG+75W*8S( z^LqQk#wv;bS`8@r4{vRm@<)Sz?YA69HLqBcWJJebOa9sk??1lsN0tR~TzlUJ|20>@ zf6d$Rc#<4F{#@qI*XPz1Og#R}ughOb|N44u)=DmoE%zk2Joou}?fbdV-;we~{8#=6 zxZqAldE;N3Uotz%`6}m^?>JaLaMg#ecyZLjUPb_w)7S2aW%@`{9wCX;j94KaY?6m7XfD zFZ}%D%h?fMCqM6h>J@zHpHKPyYiot)IR5AHpPjrf|8@LlFX!j=_UAQGdBs0j1B(9h zYy8*w(_YErKZ|c4|B2-7#BuF?oA}Q{A^x-Yf#bh&N4W<6A@N@qxwLn>$_~?4SW{=ePsj1`*||A5BapV zpEtK`s1r;c*a?SupP-ouXK?nrWDrh1mgB$w1&Z}ggNY3_@FdOSbjADDc!H`HR$Z+l zdfPn$pKd=6G8}Kga_j&>eX6i$mI6sPo9#Hf$`RK4nKItHFpZUK<-o&eFqBDk4dzp0vTGM>Nzbh85jID7F74h&D;4wb43O9+<-h`7ebvIN-h z{PFPW(L-U}GckT*X9HKN&VZ!A)#%ug3U{h%-Pzz7m)@~)M<)n{A`R-z**9?!UlSAedC6eC8Gtudjy11w5VYDU7 z3|~^JFC4o`AA9tFhxQz3MV_^)Pt!}vNo(zcWR*c(6gOxOdel;dc6z}|!M#EEyg$UA`9KWZ?&4Jo640PiOHhhR zEi|Qv4c6RxnDklxk=*;GDrQ~|B+W8Mc)2tRjefI=?21}IVoTJhxMwPv)?Wh;tm}{F zb@i! zZVE7KJ>796kBsVFKt^Tji7foaqs14Nv%o_I;O62?wGAvpfpguM(=V&3!O-JK5*LM? zFZ89(SGp5-Vkrr_;s^}_d*K(Jw{gnxM7Y!51|~IB#f6W1;~67f!@fNs;{2g6@DtUp z;JRcwdSF&vbno^Q*rxjecP29-uSXWNxwZyhIAOq&G7ci~!`_lt>4!++9+BjjtFq+E zjmeVTg2kliUI*eEx&WWQw-CA9w3O`h?I(Fu<|+(Im?`Q|Lr>ECQcsEP%2pzWtsmIy zD3K(p`f0X5Hk1t;ECQV-W^~DxSeV~>G|cd64DItx$pals=XC0hSJWI%-yI5oGj4~d zgRLH|H7g!(ZYX`mMO_oRnOw)~wi?1cQ3B*n(Piy|qM6CaFc?47n0g&vgVWph02}2& zaJ*C(4^z(~);;pUb!LN{jPPu{``BsR^v+~*$G@tmW&=YwnKvH#x7`C;Tl>Jq5j&AZ z?=W`Cb~?S+b0${S*p0fM(S_Msjo`q}80!7DE7goIuz5I4Aaa>~Qe1mMH#GL*GMHdE zksK*5f}t^8!SfO!CeyCag?+}snP)rD+1pB@BgJE2n)ygP*CCi3il_mvN2Y@MjXikv zoY&-*^D>f|aS#Lvh^AFnhP$3hpjRG=(rUef$WzI1BcuwP8)yfiy>`H}p2b+~-2e(| zn_!JLn{dpt?nHfb8obTx1&f7MY^K}zpfv_vX``16p7t}R$RY|huhM`6warO%y_2|# z)-TYu)nOb`ZyHf$Q83P|E;O5-2J_Y0z=uT*VC@NOI)NJFz(F(Nj`4n+QBz1$2W}=g z?KeZUls5FD&1tl=$Q#$cxCJdX)fPSKHwiRDssd?|1id1ULYGrS*r(1q{Iu{CX+9%X zV*2D7niw1{>EojUj7TU}9?PMu*~TQ9uTvyeU+wh^8`(S_6X3LqEn$6lE? zaD1*So#hb?$u5p?Y<&~BD)2)Q?b4B{+cJqwyULvl5GAu_31myFw{Nmy(fR?WCB z>1e-HXr^z5u6Q|-R`K&`e3PE^pztQyp3{Mum^zqq{YeZ?uX{=i$ z5zmfjMMeZqp!*i3;?d_`(}oLOPzf?4o&$8r>E40j?0_cBf5l>&QMEZ0UA>0k+FUwS z&yCDiQzca&pCx+URmkqEPsI+?n~~|OmXVysYf1W>Nc6Jw8nN{V!mdfp$cD*UG*T@N zY1G%j(J|Jv|3+IB&@qAZ+Px5GYFg!F`?ew{-KEcVNsqB zU;6$lFHdDE*MK6v>{{`)=r3!B_jBz*U*`E4OO|DCgs4Gt+3g1wGQ3qgSE&cEfG94akHO-M2GyJt3?6;t+%kw2^pN+=Vyk_u*iU3B7H(n)&qU zBI=x8gHE_jxOLf z#|_4NpToUtlnP(`vIr4_))nub*?I1V3HnW7*yduiA$5W{rC=K*KkQBOr-XvN!E8vH z^MXFzxENl}ONToH&!Fy8XMn?vy%1qt3>I-?SZmb_k|Vc8G^WT2mj^b&N=0W$?fLGMM%Scqp67_j z1P^g!t^9fh4V7rcf(&9k@4f!M&Fo z(Ivt2&>r1QAQ|x#x;dnQea-2xZS++XT4qB_hNR%lv-*M2y=Sn$M>K2++=e&x+X!hB zJs_lQHQc}@2CPeFh@a*OaM`w0bg^JF+7aw+6B>M%oH{5Z&1YUF0s)9k@AaZVEz(ep z)he`2h&6@;4SMs%Nc#HOK+=5G9-E^s8aPb6olI#OhhDw5q2!GbbS%-5zT39nYy}i{9nW&p9%K83>%gRK7q&!@0O~#0LrOm@ zdNf(gyq%{(Y6o+X_saefi?!M4;o~N_X5u#Rj#|#x%&VZ@ZiuLgiXVXyYsmp|04!13 z$2MEurBgT77d_Hd-utndQ1sFu9t=CrBFS+&Y|Yi9xPOs8^{jnUY%oVi^q-i}>c@fLpQJV z6<*Nvpf3$lpuSae2x%TkoCjYb32Vngt0Pe&w@v=6`V&Iq1^J|1_85{oq$V`ibcbGE zF>r296HvZb2x}4onQ3kWOm3)5dz;;WIjd6X?IY{J@xvwI%HRhi#MO|#KR*M?-(9Ef zCS?G6i{RW0U15XiUUZdF0_2f~sBevZ&^0gt+#1(l+roB2#x74V=-7oQ%|D-0t6pQQ zB0LK(n%1Kc1K5ZdMeGH=kMc5^xoQ}pm7>(J>LOuY7zq<$IpR|^Xk+3 ziHWdk%4~Q!$cLC8t^rjt=1KAGczEwWmGz0$ATKTS>3j1`P^ntN!jBw-v3>_Z{k0u! zaeM>~&e{NpEv_+p(4sf4rh#dr{Y;$R2PBI#q3!&R)UZb+t21FWOkVPV2!tKk^h9+u z=w=g)om8Rk!UuR<`!afSPY_cJtVV*@eLy#sH^=?U+leAVHp0|(MmS($E6LsTkNAP~ z9oX#~(}n9}LZz5}XSgumip?H<1Y49u3s+QofYg*T#B&<{*8}!pVt2ad<6f4Ue3ku-Yv#YH&wn4j9QlvN zm-R-=M?I1o{7QWJ-{b|~zAuXLB_Ds}Dtu>+kNdtAzRcrNir;nnyYSjCy|F^`;&fn+Y{m79o_=~9=SEwNf=C042 zCO_fpFXZy&QF1zOpRc(8Tf_4yexFc}tIw8uZ+d=i{Dl{*{l*^Upi;^Ti4U z{74ax_T}nZ!L46>eYsrzPN1A2lHf-GmYt8=VRo! z`a0>etS`uj!?yTgt>)O@HJ^o~%w+C$idmQ3l}vIk5Knt+gC>n0#V#>zLeVvN9}vC`}&PnWL@Mvp-EpQ@xFxBXh2kb8e4~;q>L80c-~CZf3XuT8T%HU zf47B9?s-()TFD;2d-M_w`EUnCl?f@zFrwpC!gHKvyP=n_3doHk7sf}18* zg<}>jG-_0DTDn7Bc+9FCJ2{4dQ%V#*9c>Qh)1$%sVHkithL zs+_J)ZhPv}>&@($ZT5}yM#eyNdsUHL z$tawjw;FdUs7s5FuOkp%8=f4QN>b0H5;OB5$V0aVdcEF5FO9wx_t8&r>*PSYLAK*(h+cUxk<3NWYyJd6o2#-Xet1LPn4 zf)ol`qfxmAG_P5tFd}vkUVN(t&AxeFY?C;MXe^&AZrIfcr9NCrI{o5-yp;k`nX(xw zOI5=mRqhCfy*0&;8{8E4_gawSnO+ZT#oA%FvuDxFyjDVw3)1IXuN0sVePitL_`P_A z+d1^!X(bwvWlaUm7LtTjn@F3TsYJ~vnYIw_Mf%M~K*tHT_(sECuml(4!k6mQy%)1d zJg*KXFGHo;Yf$tW5fraTrW3Dh#xIkH!DPc$w9}Sg zT+%l?=k$!rP;$@~UYi`mrW*_K-iSreC~Y!Hs#k}KqV(yI(xx``-nGP08?5Lkk6f|W z#|~g{y%i3$F^4B*ZDE#UYufI_BJsXAEpYJhRruzx{*XE#g&wiLiXHS8fb#e#y5_-f zbYglkQK}tGTCTi-YI{!-o>{IvFfq@Jw$O8> zk21E=(wAG<(ntoKP7Y;G&t^(SKk7>)Yi0`{%xi*O@{4hDo;o$Oek{Jba|Wu`@g+LH zyBE8%r3e-~IzecBQ!re+mo2+8iR?ggSZR?4bUnBh`dv!d=&m~K>m zfGQo|`W}n&vZSXr)yB!!;%qwAG^XwvE+DxbDqdZ^DzMcJAbarw@uMSZxQ*>i6gPe? zzP779E(~o*}@z%qu(ZFNn;((E>rT4(@p=8UmLcdpHa>>>i`JbGPh`1V^F|ir-9^U{T z+h>C3?Cpx~9EuWFXUl|3@6HyUuN};WG(O8zHP1+F*G`1UB}-wB<64q2NmC?BbOvkI zK$7UO9jay_Fp}P9!iDYV*#V7dLAwH*W-~+Zt5-&JbDk$@SbT;UI2DU`hpfPcl9tfB zS2d_-tPM35G-tZ|Yg2cJvvhHkDt;Lu1oJy1*lA5OIM`wcB&ytEFS3?($|rMj+%{^k zLPK+U`MAX=-~9VYm(YK7xBosIz3?B6qx*9BLL@iZl{or8+U&o(@QU#zAAi*0?1&eD zkNbFBjHmzAl*g|W@xK2#j?Uq5$y~?2hR>+P%NcpS{Z)NbUiZ(`fTI7@;kx0ffafZ{ z7vT8+>@M#=ium!j!GEn3@L#KMhX2;&`mM#KeEzS0r*YA2c~yl8Bd_4F8??X}MyK_jBu+iX}gH-tOou60RX4^`G=1wYQx>bMs13(K3d1xLp@!4nc%@ zo71qO&7?~F7Gc^WAsVjJTfCvc265=EC+MKlbK)*;OC8Kz$@1GSXnC~=HqojUoG#x^ ztL%xl$?)#W!aU-rdp8M-xLz0EJPa700nuuM0vhBxKvZ3q;?f>V;E+u=SXe~Eh0XCe zBmD#@@683(mC-P$&tYh;b&=L=cn=Cbtblth>xy<;9i=BL62c&#{J6fP0DRxYA zqSbre5nJS_;GG|Opi|p^L8ezih5MVT<3sHcE+rCX-mj4A)qY1i#@A-)f#)D~-d6g2 zxCNb)&_I+~audH;(gI(;=|IJuGDwleBAa(B1;XkRlxTEaXF8~{5z4!5PXmPJ^v(`# znykHuTo`qbN)1$M;7@4aYxpl8NAl@k Yk0{f+{L~Bd#~Qlr{hmO* zvNEp@Pow&l`&Y$Y`AelKT%61IWpCuzFqRE7tx1_&bY^OPWDq{7FlSRlF|A1hh@c}`BBO}7a ziJV?KaRk3J)MWKlR| zNn_vQYl)heh^~O4Ql`Y$0fko^$xb5sce|ggT}mIzli~1KB0ag0g~B-$I})!A~6v;IZ10go=Wxq zpF{tE(C`2sJ87!l@Q9!&zXE?ZKTz4cIl=kjdOCA#&|r}&b{2Ld%~Kzv{yV{_536zvaz(W>>v)gX;!*X;PE2F z{TvfEB6!SrX-({M&a0k3#7UElhX?zGhgVC^*wN6~BVb%)KxjmeU$C*cp|Ny65~oi# zmWWnD5dN9K$3{X@E%aB8HFj z2?`w>8Q~K?(r>IJ%R4kOIN02<{Sa}!f5gPX>p%}CIy6v^JII{-!Cl4FLZc-$8a%8 zXrN4=!o{f)4y`REO-m+nNuwkDLVf(As%ia$!Xv_hhDAygOp+yLb;Ovk5J@%R0RjHv zBuU?=Z7!fUcnU6k!fSU_N8u$W(IPozSVR{N_t)shN|nCSDXxon+c zH4yheJWLTRuN#E81XO;SSw0vwOB)_5&Ka)rV7#0v5Y5Z$VeOu-1 zztTXh`bZ7oSJj|eD}OcTAErKbUm4x+ralf|X`ohp{tN2!waMYTsgJc)t^WLnSFf+l z4&P6ItZVh>Kde7rogTiQ0#)yoe`SNkEnp7f{a4M_YIo0nuHS79aUnclIx2{(IoJ64C#R z-~M@AS!%;9up`s=uik4u2VZ&^5&eOkif`Leh^ z*L@b4tHx+0X>MG`9}K1QmLe~jEuTAGdc)0Ix7avuhBW=N67+X~5$# zGIVU*4W#K#99>@-IyUac;@7?`-N=zO=@QuZj!`VZ|5L!>;D$}43^=jlrYe5YCYg`q z#Avq!2bVrk`xywA;NTLOayU4L4|5?q-tDAFpCgM(+qIMIc^s={{dq)c^qhNM%qfZ- zPdXxU^3svzaAqC0)R*zb)kQT84XXL)@eFy5lzELfbx;)dMpBc!ytG0|-z1lUTv^NN z8(x_-VE=2eE2E^$r8=#L@ObRN)u8(8B42y1QDh)(^P!P6{MJ03(Lze6{MWHsTk}6y z0^s(V`Z0KCiDaT-C8ypSdPveK2P!9O=s|K3zBB$eW*+3m?wB3%j?9`t2novs4mpW1RaplA?Bpa>i z?nju?UHoao!qKjw?xZr&g%s>)L78=SsQr^ojLQfQytJSQ9~fm$Uu5@St~z@o``E?E ztbLa7l&uAE?O%z`FHk`f=p=%C=YaO=baG437DqE?J1cupHh zw$PR2=*8VsCu$wBcyt!EFD>L>Nbo}T-KU|)g047=W|C$m#Ym@)0W|2`78)12qS>Wa zQKf$~>M_0*)UW6V#)mXOqr?O(Ej$U$4+cZ^cESf2c9U(Ieo(KMJxp2k3YoP~hcljI zK8NnmOkuc)Rleqh#R;JC7Ek=S@1m1^cG(DpMVrS2}`f|7&RG1ydBiWhIo1 ze@|Li&7r21HyGEF{qU-=9t|Gc3shR~1COOq5TM^2tQ`E&)_XI-V9p2_x2QXO@Y)YC z5u4DY+ZMvX4j)iY!#B+S!j9Evxv8l*K&K+bzF65Jw@ z=6;Yv(T8XAr}uh-Z0JPXbZ`<1jonPMqmQ81Hja?Is3}psn~3F-n>a>2ODD%KnUHQ4 zNt7J#j~;DEAp??T(B>PA$n4ghUNkxmY6w`b7$v*1}_Ge z9Pa~3?k7lT=Zj?g?O}|XNdbA*>M417Hi4Fhts&DE)}cWOGw9+r-O17OIgHE0Wu*RW zWg25Tle|&AO{N%P(ojcD)wA~5xX-++I>!m$x4(&$FSI5wPXD6Xk%PY|x zV>=psoFX&DArNVx0gDr|(Ox}$v`A4AObW~)bxLnkm>vt`lV0&xoV&sV)yrVqKHS9T z-gGB%shViKPoVm9+{Fe+#h9D5uM*PWBWCnpe2?LAKKUD*K}5^}(P{ba~dOoKbmwa{ek z4`8`u5o|8Mfi&m$gk5F|f{+MZQE}yB5SkXl(7eTPSZzCK&bNS5D^`Nf^Fpv{mjScR z4uf|iWR9S;uRvaTJ|LO}6KPhbB)s*Sl`y%@f@U7jfP{A%uyMmRbfHv_X(-nm?gJ4{F`P+G zv^vV?{S1BLF zqb(lbyyF`gSAHlq4vwY!Ztf@9>H{EZS0q|^E|DhBPlB?5bTYx^5N%_hL^E`J(aGCM z!jZ%C@pNiIt%nCNg$Fm#Sws&GbQ;ezudELRidK+d--I;&DHb=HHkRUTBDCT1CN#Hz zpw`$Ql&ln?)3H{}%b`ojwQ1d8sA@5qdSVDXK3I&br*r_FNkiyxzs9ilKqj-f{s0uw zV==nep%^!_=tO2T)uT3bKxo`647{3D5bNYw!jn-8kal4Jv8-Ch-&)WNCiT~XyuD2GJNkIj+8#`uL08bE-aL5NWIvOZvOaI< z97nRWLr2Ep2oKpez0KdTDuq#Lca8CVI+HQKpvi0);>*}voPdtDsD}m(tB>Rz<&l}I zkU!nb6e-oyMH}WsGuM}-I=1tv%OBAwkoDZ9dz>%*OR4|I`LUc|$%P8y9hYRU`uqLK zTdkxm_O7wH`qH1AP$U2Ej(iOV%&+#*d7tqWsej4)>N(E8oA288{#g=`^)EU9Visqmb*HyEm;U#{09f47YPOo6ZBza6Eu zK4g!Ye`|ipV2_vA&M$vvH2%G1W#<<|wkygqfbL(8|FU|^?E{Kr^!VQ^;lGyiFYsT- z|J@#E=LzgSg`0my zvUMW!w8c{-1-4|L5=z_W#P=3n!LV&2$l?^+4Hr~&A2OQD-IHALTl~0%B zpbv4RaJV~v#0V2ueyAnP)7!$d)a-~n(^?b1dmH$Ij_RNu;*E|J8^G>D9(gYJ9-XXE zhswYVlq9euX&YVh`pjt~YN6e4kVQ6lY}8Kvwe-u(kxAFTvG$GsjDdPw2TOobJXz2K84p!*t zNSxkXC5+7ocz-?(nyMMnn-4rtvSxR5<#iH&y{;bFU(^;|8JhwAGnBTAnUhDd#$-xPt4}y5Xgie8i z-kSyr`pi-mHCfPHB%Br`_~4i-sz@orcENK6y|(9zdJWkqQdV#kwFoW6jr^L6melPe z+M19j8a{ocKx(aowI>Bf) zT8)DT3()(sx^QJlD_BVmGiHn_jJjHe)|(wga~H&+jn_?4UpFAkWrKkgb z?O&E48K>w|rqnfi28Y@S`^i5>U}|3$mx4Gq#^FmKpx^ zIf^>q4c%Pa@~+M{f%k1^0dIXKvneBp99Bvuvl=L(4TiZ)cK3nc>aUJ^j$nvg`x)?P z`(gM{m`pmV3gD`%Ju2F32g_3vh%i|mvi9>K?QlENQf(P5R$mT`S4Uh(b-?~(J>)V| z-O*#2CQR$;P3#|qkw>{55zkfwjP-2bB=eln@=HNI4xYz*U&ruUx4(hvl#ge+PHqNH z1Jm&=R~5Kx*9zPZ+(+0%gq7c)$Gt{(v72j^i2ADB$KE3j>n*U#LCf_$5hdAshAa~Bn$bDu8wLhNo7H#U^n zEIw`n({ZTbq0Idzcq&J&+Mnz#ph)YSvN);?UehanT@Oegc46vgN0yul^C6KPtx z87W@)z!V-eBOPqx(Y@n6kYi*=_(`KTp7YQU`iX47MSCH01Llx<4dyv+OdCe_GFwoW z39ZONwd*AKrYbX|N)763T0!7xU)<+R26Mqf1(l6lLEe|C!sbE~WVB5ctdk4z9dBjO zp7ILyyv?BgvA6g`-y9_=zAj`%)fPNwKqo=exOlX)Q%{J1rBn;q@2Y)7dXF z{aAz<-2npYPS-?p`Xz|!+STFfSArGME-0XN7-QS=2=)p}MlX|gqsGn(aB0{8Xb`y)6~$yT8?^_*rTh1pEz|At z-n3YS3fuXic+<}4g=Zl;tZ19(SUv##ls+1H4Aenc0prnS-6T{GMG5m2=H?AaUyK6U z>XG2e%{bGn8@}<$PB>2U2%746Px#8~6^c2k0B+8T!XARHBtz3SPn33yRNU9OT2sE z2do@7i8xMbipN0$3VV2$iHW!y z@x`5&_(gj46LStn`$c;7lTc|o`^7bJ`CsH$KS5{n+0zm=@~aE6`Rv!%BTlshMT4dMa^uIcUmN@&5|Fjy#%#Z>ylM(S)=oG*cdAMDn`4|^l(FlM z2HT!0&-a_}p=yd-;m+-G@1JrZ$EOSsZEf`nBwETOXQ4G&{&K%yT1~*ckNUN9NL>0K zKab?)Bjx0ug-3sD{?HgI<+^tMsHsOkN=$bCFl0MEmR(mkIsDZ)a}j%rkDHgi_8nM` zpW09=0a={ctNN?aUzZMN=Y|8nPV*z?Y(E^tPimI{{jB>zv#wK+(8f?$#aN(DgS0{G z)=37oCxHKbSJ+jzKJ?nUi!AD;MGgq}GgIY^`&Me@ZO`0#wH1 zDXvrL`Ow+K?v{}5h-yHH=M!etgp<^{@iyj8k%B1Eqk(9ag)Yq7P#|33s=?fDyOET5 z-4QC~?x4*p%bBoBCA#w79xUIrigwgo%xE;*N)DG#r@_nXi>9m~j9(`qbGH3cI@v3k zzhRJ}XhpjgB8%91;u9&2K8}IbtA0rB8RG4TEg5-!7w_d0_9A-%jm-_Y`shm!o5_;xi!OJ z&6EDnH_sDJ1lI+kGZPzhbAYD--gNB)1K>Z9N2>xCpegkn@e8$v(6rBPJkIDOGyR%6 z=-xbqRynBPAv1gAHMy0I&Iz^2;G*`>Wp!sz${PVr8}s04`2yiXod}p#qyjs_J)ni= z8G35B07mI(ku$ft!rXl-{IMq{fVe!JdbESU`($roR^F5}+u2v}Q)&wwo;(^tZ`eac z`vUqrv$de*zKhu0R8=r7>>NqmuOvvat|W2gasq4|OLi=GCb7I_SbN5KtbA+%*!S!O z(e;CIYR~pevFai6B+wf7f0YbzL5o1!VjXn5_yp{&9GJoPECn5>YypFr0T8%Sk*+^| z9(=AbWbME(IR1VOvp7f@jW4Uf&z>dY$;*@R(c>}9;K}dtE{6+_q3)ITyWDp0HRoqB zpN2IhNekS`rve6@+R&KHzM+bS1-xcF2UIe7`llST)Eu#vQ5rU%x`JAz2GZRJ-%?{^ z4f0safaGSC(_RxJ@R$?>QNvqpMQbLtgbWXL8n{{?3v3-|h%8o~GVJR(B zyoNuFcMwfn(hv^`TTVVGEQE&gdQiDS7ca>4A^jU%A_}~%*tB&U810e^;g?5(u*)gv zdt(j1h1PYbI+-QNbGLwjqIv?mripOETLY=6U4sKpwlg6SCs1)^DV%K=1BoNIF}yQb z*x}rBQnfvgIn=C<;HQ0$AVF(1)SWB@(`zQkq^PlA>SGVlL)}MU*6lcMbFV&VwRR@p zT?O*$azuCIEVx<`4qcshFoTb^!Gjlkz)i08hqg@$9WQQN1n;bE0ZxsAmrgEZeoPt@ zK5jnJS9nQEU$lk5t|D~i@oeVJzK%@Z)qc&q01;r@oV~t); zIA+rcVd<4H-0qk?QOI{i6E?19HZ-4$ZUon5?{rY2gB9%No&hSAit&#=p0J`#qg7iT+j`^_v9+1 zJ>@FpMGgmp;yF0sY#hqHDqvdQ=mV8>MV@xo&Tx5rB#e6h1RZ)&<~XSRLMA@51a(-> zBjp#p!QZJrWR02!{@3dXMd#wN(fAi=)zEC}IHW7^%c9Au>qnTj>uxbC&l!Tgjl1w& z&z+=0%2KGWaUU%>D45ZmmWF;!lCkLVfbKWG?OD}ziySYfk#6)zc**%n*+@EgR^wN z3+lB+7m7zOr6qk!#CBpSVphFo#?@8CKC^s;`vdz5N0&B5LxoZN2(p3s_^}ar>upP3 z*L7gB%T_U0Y^`y_#*NU;JL~Y4qnq*e1zVZNIWEZY#Zg@8*%ry)ddmM1*UbM?pTG1Q zrJgkBr*i%w7yfZSG5TMPGnPJ-#s*xlJlI{Cp;XT?EA6y936XZ`ZJx(Ick>dy9L}lBrAvSgp*s# z;^fxVN-Erc7Eb=P_jaSlNx4mx{+ty1`)FUEuYDt>^ql^FH$|$g=wBfL+4Mb|V$?7r3M{QVB02*f@32Olt&+Wn-Gc*$JS?Wf5uV~3XNER{@{471o8Y%2EAZ0fh{)+-d z{4BtOU($?+^By)qvoc-L{fG@Xde}X(?R+JA%y&eXKbIVc=uMQ?O+kWNn$YV-A}%RW zp$v|Plh-_Gmoft=d~Jq}1gmkco{3EQ3ls8ULo^uEJdN26qxrgE8?9=4(9RYeOpCFu~^$I(m zR|eDRb`aWV71NL@r;j_HrzPTCcN z8}2%X8$W%4yO-#rv%^o@UsvjgW5#tvixNywg_#$wvp|{Lb-azYcG2{|0UzbQJf?w!?$Ny;%N%8AB|O^6E;L^w0~**2)@!6i(>OM9fFZ%Mjp7?bhO1U>z_GzpG(LMnUX%(&hHccS_MIuh`uN zexWHCKeq!+%{j}I;N5tU*Ijry@-lw?&Xh!LCFokJE#QH7QQgEN!np2}Xzsm*WTN5{ zU@jjgd+%G2(4a2#nX)T-fAR`Z6*R<6Y(DW%G{MYqrHN$2WKA+=-5g<1)2;a*`)=?L9+`{Jj%~%9O)*Du4J}Edz8%Q8cLVY1G9whp91@m4nThRI%9A#OyQ62H z_9ByzE8sr%5qZ721)N*C3ns@0G0y5|;L_CR&|)S-E@`I2?uHv+#q3JxYN`uu6WWm@ z1NuUjHT#9V0~?dHPixUpi{o&pi8czja{*3xsDU3Z895J|EQ)WWMJk3LavX3y32pbu zr>4n>s0Giap&y#lO=8S_{SHlLaobifp1elOyee^QLIGawaF6NkI}`eJn}JjN%zzV* z64B$5PSktSG03L-k^8e4d?GXp4N{&%w47 zC33M$54Ca%0k7M9Y&q~e*4KTFKlKoQ$8%IFnY>aHd&cX)sLKZAwDD@Xv1~UQqTdt^ zX*dD=&isV$trNiT5lu*lhaVP}2uP1c=FFx0b%ZxJCezg@ni9X$c*C(}w2S#5(G0Kt zw1sXTTJ<0SPWX3YG!}G1MZQ^(w&gYMtD#Eu>R6++%!weM+eKiiqAijeRiAF74bifp zSDACWFOW^6ui;c38?rP^m6`Zlfka=+<=+?~623I*$rKpzh)eq?!s4Ctg;~mO%%Zmb z_@Z+=;^h1aKYP~}jXkeHCTVJso1{#HEQaK2OmoZSAXJZj7RJ0&1%KOCO!%jyx= ztFOHm;KUL9&XBVoS)BVj;lMVsIIzuk#)0dx{pFs2bMZg^9DGNdw8~T5(eLW$m+xDR z{GF2ibL3ycfn(=N>&=)a4Zn4+dgKBrUF|&c=f>mTT3U9VF=RVZ#Oe>%ufG}x_GR^! z+YiX)3SW^PBIPi|7n)$LZ&dz(!kOncD++r#wb z@@4e(hh^04=|Z|MolnE$I%AKW^Web7aOl449iASnMaxFlfrfJGqI_N;^V~BZJEy$N zTU@2hj(H;*Yl*` zjc3H>ff=1qphW$*H=+?e{FnyU<%xOd5~jt;PkE6be!B>4+WGqs*Tu6J5 zq4Y}lKw3xsI;DXfX!C0!^wD5HI$-%~8s9&f%q`T!p)F4F+nCFfRt6sk9Wjpt>DZy> z9(Cy$HFIimTb`;;oJI9x){rg@K9bfmJJT`EFJY&uLHs<|kNl4hdy$Kq7cx&bSfZCx z$1!m)(uFfj?8)jJ0Wowv!6aGi#oc3g=%;{qp=I1<99;^i?pkM(GqsZ0)nX&Dg|lRh zNqcIwX%rO~Etpp&gY%QkfunVRL(5V=00-WB`FK$jbM z(PDSe%*0(}U`Z_Y(o5UdzsGrOenOwT9@&ocA5kBzw?EAojE)xeIogH!v8}nb_q7tJ ql|Zcoe!B#|g#&YbBp3d1e=?u_elz>Cuq=yT`jZoWJM(`5<^KUT`nw|l literal 0 HcmV?d00001 diff --git a/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra03_v9_20HU_200.nnet.h5 b/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra03_v9_20HU_200.nnet.h5 new file mode 100644 index 0000000000000000000000000000000000000000..19adf587ac26bce7fbfef07f552755752a06bc5a GIT binary patch literal 38544 zcmeHw2UrwI^Y;?PfS{mA6fglIB0-Uzu0b(iz=SA@iX;U^GA0yJ1i^@yz;FhPU=|hF z?jA58=A3iHj9FBaZqobXQeZbx-|vW;VsGLnqA|1~o*o zkA{XwRis^cDEzD7KdB4lEka$O59JS(_%fL<*DK2pltk(x8La`|uFdyvsv>V_z@ON+ zPsffTDW}lCQ1YjJ?m**nL)F2*$pUU2+x3#^>%}WA_){_OXM!z8g#`qL_>2h*9v&1O zC2bV^(nVnSgJm7wUlskjmdH&SE3*D;i*!XAqLG1-zEM7-10$n?!$PI)`qF`AktF+* z%OLk$K^`?}yY#fmkF2eh$c67uqq09gU;mMTp#k6Rr!sK)eq^TjRW8lSe&qJ>4+|X@ zJX|)|_vFgZlrr)C$wTzZ^+48#?4u;AR;iaT4?4~$%1-_$Ac10`ux$ViHQw!%wJPv`lSq+Gw{6XMowpqwFS z5YNaL0)40~h^3!+-fwG(iupLKB@KfHq7dJ4fssC;zM}$VtBFXYBOOE*B1%effooQ_ zibO&g5EvR2=+nx+vf0-^I(W2iv~)%AY1N9SIDAF1<0+0`QS5n2>#rydJf+Q76i1%o zR7sJpKl1o>)0fw`%8SqcJG=JmUa1Km=5nn>qRRD2%4KI`XCo6?SZ3uH3L;UoRL`); zVIg5-Z)&genJ; zhr;hVLZx5+F6C!)pvuMIPjw*2DhK)}uR!10lz!X_)Vj)n{>cvXtqtbKIZ&G_2l^*F z(6=_2ALl?$-*KR}(u=S!N2|Jq{tGXG22Y$QPuD7QT-o8b@;M>@6G|ZuoM`}??> z$V6@|0ayFp_cB4|a(=;o{sL214e=9MK)`Q#IQBD6JCw)u1yKcHPN)m(i;K|k2TS?7 zrTTe14I6m}Lcg|ry_c=Lorgn3+RT@HPJG=9M|z5YgA4euPzv+iQjYXF z+kS44UG6yZvmzVwTkDhjd*ez_Up9`&LdGmoQkKuKfH&(_wu(ew*BexxTF0~@f30IG z($f&>P2&00q*}>(QdX9CD8u??9~Gst#+3)6XYzvoUzgt@W#?Q}Z8lgW;wSnGu0OBx zt?xHZG?b6|%uHT>Z@u2yNY1D6=ZRX?^G|F6#r4{hmsOkJ#|6=auodb;)XJkzBofwB zf&RTx@j7!o@3%sKihlgP{{F3WxgC{1?|Ws||F;7-0 zl|e(S`f;lbTd;vQ+pu0vUD%6FwzIQxF0clBL#VB0f7b712Fp6CySN@W zN#3}4)1+*F>fXbhZt8~UyJ44!-#9a}EJ~d`J<@@WQ>#li&Z~_Ec}*i@huYFO=N^5Rp%rsK2IesWg;5W zwTL(j*~et4%w~%G?&8=ZZ*XDH$z=SVJ!tCD=~&giIl0qf5%cJF3Z*>*p=f4vqSa<4 znTvZ6y^hC;tJf%WBuA6RFOQ(APt(NR+`HpZXEvaww}YU`mLy0yU5zPCRfaKhy~rC^ zBN(mc1|2WgLh~NJQT#8%;9lcbD5*ydjvcy^#5KsHni3 zbTAH9IBC7lfuL`OV7$P!AUOHk+REZY4<46?p33|3z~%2;hnLbr9C*AifoUMFa9qyqURen3}iD8V}&N2r}Vl8Kz1 zh;$|bG^q9#E%nfc`(t{MFv}7&|DrZrbDP6hIbo)ISy#quW)0}r4d8NXBZx{+B5{2* zVY-P0B+Y6MwNmz@e4D9IsP$H?GDIDQ$Em^gQ(YM5wFXq1vxG6|#X{MKCXiB62VImq7ZvC1LYlqCL%b*x`*rOAXBymQo;=LQgNDXA--*v9^#E>U6@n}3f&biap-YH<^wHH(tmLvD;orqhQh@1S_m(y~4Pjy;Mrg0~A zQ6@8wx|4g*P`fclW@vE|tV_BqA59+>ou<|)D%kpEKPb8x0usxPaH_%%B5x$31CmBC zqS<_0r=JcqNwtF#hgi@o9}5mUTOq$?R!|s`!I&;Q%5=QH4No{*gGk(tpaWe)z_Z?B zv~*cN?AmWPs^w+H9ckvuhMnuhwcV}HmHXyPhFxh48$QHydy=BKN!?G=VgpXHiDuDd z-9~X`v+5LNxxMB-SgMjWnW|jUrgoh4Mg-2ZG!gO+Oy_0~-$hh*^ntQuCweo^1?_uk zNR}JDre;qQ@l@+>aCydk5@)K59_;p^gG86erh4wQ_pUT1#hEZ01}|eyXRJXp3{PR7 zV-8%OQ@6?a5ge>*IgpHaT@M^CM8nm7E%H0Oufw)Xd5Hptw?=B0y@1mlht01Igr4Ff zXnRFCitwF>R?nWzl+0`Zv(8RNBQ4G%rcN~MYUYmibe9H9nljYZ-iF+90u&D4$?R!K z;MAvP(5!wLX*8ub=y;^#^acsg#_1%A)!xGlYd9XQ$s11^w@e}vW5zQ%&I8~``z2`T zfMDiO$zf)KWq10q>mp)Xs*4M**^nj9EF7eX#C5hYeZHUx>A&eYF59vW9da_0%x|~| z?W;KpX{@+~H|O0ZTyZ@zFJT^;d^ie5nyzCE0yd&`jk`fmQD^jILR9{0^A2dhbz6ET zKZS-Zolg%fyN%0Yyh+-seK=RWKCK?=K#x_#(po<6nF~>kP`h)dN&9MQ9BHi=~6XOm!d0(O5x-XLKZemK0Fs&dPLoj5}qO0_ZEYCDJ>8g2t|@NeXA`13SkI z?ggad1?Lyj4cDg7{yQtgAE!xu;(a_h*T#ijSYiQl5(Y7YZH-ZD4I7kv(U2y(*gzb5 z&xo>BsIT8(5;^%*{+#I*D5!=LI?zLh96RNMH^wYO8foWIe*SHA>Sk}~T~HsIJJ!dg z?Sn~ALj$rx(~4M3tA;C@IitSiEcvA%i^H+s4di!-MXbLsk5$I6^|7v+i#?o=0>cOT6>y_kX;o#=}0E_s5tE4Lu}r*@O@ z_BYXQuWp3|VO-$Xucuip+Y`Z}K!5QQ(;{<6xq z?z1cAGxd005_x_p`sV$df0@8l1O1d1P|Pod{3D$ABSB~(@B1<;1nM6z1sqEe_xlx3 zm)#HDK%|Ic)iGsxWXDD1P*dbk!2?OcI`Fk5+Fv(GTfP-P8V+*ybpEXG;WOcUVlCM1 zcL%F#{Kr~AF@EH`l1Q{wen;_Vy?Hp5_b!?L$v-ZiIsVvz5I^CqwP;&P~a~qzl8%|kl#HnDwE$4 z&OdkY?dPd-+sehQT4(-}Y5VC0QCw$Cc?lcv`;Q>-pN#`=<^5JzzZCsgkfW;n(gKP& zut@wRU9l#_`HIgwh9bwmv;NoRfn#~3{>v-gulJL&|I>;1)^+R&{`>KGUb?D0@P9f@ zKmFi}`-`ytjOG1EP(WDszl;ij`o~M*I#%(%j{kKYsNG(!OFFO8_wvB8o#c#y-Tt^G zs?PX3TR<^>ggh{}-IrSNc_4ok_2cruv8;TYbbh=alm|L0=7EkseIBUMMQ(||M;>^? zmG=*R{rKKGQ_xw?U$xHgcKeqVitCIiufHkpKY}^_>^v}+_gmq5K+%r{IjYJpEufeO zYV`h+u2>V|d_8|XqDcR@){RZ9*iSWrVd{{^_(a?l&>r*zO84tQ<|YFu>1P4GdMeIQ`xeCA$51m{w>!ozBw(05ZHk$IzEuBJu!=$HljYKb=Ven znqQYIyxE&OI_L&{8S$FVeDjPJZ#zq3Te)x>y)4+Y@r}5GAx*gQ!9B?9U}Mg%UrWv_ zbrI9?LdBZQsFC?*r zTcpRCaKD8K%(&hcF3i|XoEMIvwr-0-`K%9``tMjRit zA}=Q)G>tJvZ$70mN-+(@DW*HH(fh$T!HUC1T638*nftJDqz>&J;t9LgIg&(g8#oHn zAV%34TDdNPoolXv$*jG2$BrOazD$|)Y3d0}uctyz*$~`Ea|sj{t%1=aQ()dle`vQW z1j2XLW?PRhK!b0ovPFS~cwWoyjq(D!%yu3iE9lAIvzud?BhY>RakyPeLIMY@`37( zjmVK_%faVqHay6;1(P*tpsKVAY>*Xn>|~8%kCx+Zp>3J1-G0F}&zKYChjmH7(w)ro z3+Hh78-nloE)zct?8+3isEL%*^+?o|*2wPtXxziHl*!Coi?i(Zh#LnOl7t2tq=nfQ zIxJg-Iofc$IM-YWB(*)EN8WUB&`O0TwcA3_j#c#1vJNOAw3L~@x+dB=EfGZJWmwge z!nAjOz}47_Zay9jmIG`+O*ae5dNpN#aZQ2TnB9z4?n3Z?oP#z8l%V2P$++ied&tSU zi>8`JkoH^0)9W{9!~2O^aO|21xu-r41;3h#UKLKEJ?E-GL|RkG>8Hv??l)uAGV8OR z*WWRSD>ImK}xRlfvosR#WNn-Ifwv>kf=( zTqcfe!Qmxa8<1M%b#QNXskqyDWiq8Z#sQD?$$^Wn@awMnMC0ul>_@Tl@LA88s4G*M zRufy|CA!*VtcE{6>6(o9Bo3m-&s)Q~5l8SCZEw&%)STJ|JqPaxA7QX#LwMY~jBI&2 z7OCfoXzk%P@M3&Cyj`r1POokZtM{tFtP}R!hixliNQ>QYvl>V17Ca$2x0`~kq!~6H zHw_*?c0}!Jt^}_v3D{Z}iVGICCnG}wNz_Y3FTd4*pn-j0V&VrTYxE)}(9sxbwckg| z@1%oT>n+mz>E6?W8;hXT>89*sB^xqil?khU(VPvKXTjba+K5d)XTXM7PeY&l)Y&N! z&*(!9T{cA3hV6H%2GVpiVcCy*Y?HZ~oaq@$c1eFTHvhE&9Z;^!t?u1|+n8;RcHS(b zx0Ghl@OJgN7f&6yW^YXCl>lAn(!4%5GhdmVcT{b=fz& zl(-z_o}7i%5}5yfAUmog77RX|Viq4+0iu!>k~=Q;_J-Q#;;Gb1Mw+P)j< zcB4XK!MwoXCOTvXYm2T%Ucy?nZXh-1&3NxZSDf6S2L4q2G|nBNK_b*t>9T1@#d{sM zN&L!ON!H$YrsnyIz{mpV|~bV!;womiuOs}4vW*HFXD zZcaem{f9|f3~tBZbB_7pmo1!=+!$PP!;qQtHVlc$Qigk~OVc(TL#ihAaa~a#te12% z|H)Px=FFXQ`FcB3QE#SPqITH{E@n2x!;AMYmqneKcDdV$|Cpv&c3p5hye;!+VhZt1 zQ?IQ5ldcv1Ivm)or`&E|B3^$N95~riE`2;d`BgYDZ-}bmcP*fpUkdq0eBUqGg}m>} zsQ8lSkJJPlxQu_`tHBic+5c-CI5|l!hkyeMItlVBK4$@@K==*A$qq{93Oa#xlA z4hty8v4BUrd3~urk4MYjSSTe4aqaRY+kadW;zFaJ{1gj*ydQ)|w^qcXTmSTUbhwY) z5TostS%o(SeL%_epo@Cs#0zN zMVvXj@@>-JwvG_zP6NKp^KYaW)YE0B_MU`8)V*N!fl|0Mx*kEzGid+zdbHbCC)Vyz z6qmmG7Q~*rghwW6p?-Nz?78i!xK4IW)~mInBym?Q+BYPEF&W4*i)+5cx{I>m_M2zS z6>J8t+z-Kt03G)2mOBs=vk3J3uELUgno#?VI!q{dfd_Z@!fvaL!Lh{=yh&#_*oIAI zs;?;p-Hd2*=ImW)cC8K!JpYeC?PY0wLk$rlLP?qayY*4lV zM#dyCw#7%7gi%xJitcWxAJv)HnB4%3&)*?b@`*o>hwOu=ZOn<_;Lnx*=$V?&RGvLyM#g0 z9pNa$rWSknmvZpD>Pq!1YOv4imczidHOQk=P4b5xJqR^7r89G`$3idbLgsY6a&SMn z3-@=qi58-I+^$wi%Iyo7s;es+*hBg`1qwTq`RSoAnOYwjuQLp?i$d zwLREEdl&uqK>Dnjc0ZIczXm?&or0^K2*dB1SYuUB6|^C1lni|np`o^WyLG}t7WCO+;?3pBE5J^ibswc!aoDDa9zH{%S> zo;r&xDaw^BaGOpy*482|*Ze}Y@~`7e=`+cvMg@bG>tV<_RUsbmwk7m(d!`Fq;`7^@}ZL zZXAl+0$ooY5|h1&kkoS$`rz#cjuTFU&7F&ob@n`Rf4LdpSO-uYZ-nmHr7+P_-1>PI z$$!2)6sGB}7H@dH7IKo0G7pLlp?)v>a%{0je(r)iMh~pf-X_+hzuS_wI_GC%&BfNJ z`legVn{m&Xd(+=CyUa?R4~_<=^~B!T)^j;twy_!FKDH#0@82`q)~ldPmufI|yw2dB zN0-5oU^TQ+sVjIKtI3Ts*MPSV8?xhK7P6{`>eGNnDKOW~kXmM`kV#&5nWgnZ=!4i7 zOi9O?p^Ro3Qo}0nlnEVcIAGm*}a!&vvib z0j7D>~aX%=9y7H-GY=fB-cA(VZrSNQxF6*~pA8D|zmSnA^A1P>@NOPTfVpEM6)M0K4 zlaj8?UTfN)?AxKs4wxQIgEy%lyIIZ2tzr+Vv!o^UuX&KuAVFw0Ys^haeZ_6hTZ~*t zTe|O4e*Q+sbIuFB7t=PLX*lMz5?Rpgy0}!N#U=N7&OGSkMb8X%rvJu0^Pi;iUxzcN z|E+Ommyz;WkLM@93TOT&MZu5PMKQk=@{jup?_m@2z8{SK{$CEMV!3NPmhxqjFubi z=fcUq_55yngk0KO`Oi#!_xatiF>-#5?|McR!#~jiitDv0ujB>Ze*~TXY&<=j_gi88 zQuJd%j;iuY3n=301#w@}6>CDA4-HqO{JZOy-5YZ$rwgHMlqpv?p#gjDt}fWVS0jz4 zu7i)S8qy}4qo7M%b<#@u{yF87WsIFU;@+Q3hJ9N^?CTp{a0jiG%*L6!U{srxaH`SD z{1rY;^2={8bw00RBtE4h!5cOd;Di^hWxeK zOof3n0*U7AWk{!ecTza3FIeTZMd6D^(IdNFA{dem-4Bdmny%DGOZtt6o^!LIyfh6j z*g1=~HY4B>kjX4m2S{zP1N0B2Fky4TkWrITl4Se|j!NH$wWiKXax5uc{GwZZygeWZ z&fTsJ9?317(>?9cp(pn-+3OCuElknHX1466daof-BbhZT&Yac@yZ!u1i*J$V= z5tQA$0QVnWz$*;0xhoGFkuwuM(yW~;V7K2o==$OzD=DSv4t(t`=-@;8PQow10iYY z6I>y^FSYcrC5(z`izmccz`IuJ)Y~NJy(H$m1%NxX)a@B zpDY=Z8OtqhlnKuB3*n;4DtyMGF@|cRq0nh7SPV2lHpWrR(8fC0=GIUgJJ=TGjI2f0 z&S%iZ%USqQ?*S6iMje?@2a)*I3_Ef#OOt4T5*cq(hV$;&lNO_tB^Rq*WSZDpkXL7P z(U9}A#n<;Iz`U?G(0c53Vj7ERL6cN)sJ)XZzjFb~_O^t``s(2CZiq`pU7^{ji*Vj3 zA1=XuEW8=C3#OfDLzKjJp5e(!sLXVc|^3-kSxs!=7@pJV~WxEH<$uvNgLzvcff|D{|4eyxaq{~-L@NfEzx z`oZ{hbzW~>z7*>J{re~5XUV%dq5NBue*K(S&~M3q`ti5$Yp-Pa&|~@a<9q9j(@Z&k z)jIR1PuWj7fZ{r1%1fEf`;Q>>pN(JJ@_sAq-->=L$Wc{(X#qw2I)1^Ibj6ww=cdyX zDgW+z=*pLHu5W#MeEB^(GR}ydYaP$kyM9j=p#CK=SP z^%2spc>(c$t&7A(^~nATn}D&iwuGjcPOA28q=?98NzMRlDosf>avAJYK;~k{mvu-pQ z2h!K)4M8_>q!Qh*WdALYiluBn!gN<5bTA#&4S*QFYnMR4*4hsordf&pvP=4SuPM zDy+L>pP}c7edcx2WolD;VV@IT^~jIvk4~oJJvPvYEk?AlW^H&DJ#oxTw%4ozUwr=+qf(8d(|BZa;&+r+eKt*wkDb$pU1dcRp8x6^Kja>fs$HtZeeY3Alt2- zkjV#2>eM2au3Eeu=I*4l8xs%cRWAN8HVC$Q-G)H@#jJ1jLj;Kz6YUL@Y?_71IxhoM zvUUyKacUp!y08%q*{V$~8(Y!?`Kh$S(;Y^Y5!v-o zozye>g?V74Nd_wo#UJW7LprUu<7RX1v1@JvlK#Fe={>71+N-=ltea}gi29{S{596# z21T981P^mE>Ae=(R7;oaaXe4Lx;!P<8YPiku0aHK+CY!nu(Zdn2-^O921%U;bhwoR zU2hacC%2zP?TmDZ@AV!ua@`qnWTH9snRJSDonS+?!u3dKX#iu_wx0AIG=(^6!Clp+ z5Y@Hh+HUp`vj5NNd_L~&+}qdpe*fy^Oef@&GX7~k8 z4v35pHnMi<%rgARQkAh+NxN3$xCwnl)W0&PEk}+s)i2y9!fU!;ctl`mh_JoAaA1)q ziT=bgh%J|ur=_r6cv!>M5_2zE~SQk#QK;N z8sZ-~Sv1(!(}+I#B^rT9I;XUwbo-k;lw;#RBmcDWO-0NRoE8X_T0r&hSeKxqi#X`mNg- zF+;#OhLI^)y0^%Qg`Zf)ZWTGjj2|ir-9U>I@JtjaJX$#Ez*&CbLYm}MM)-sW`h-mK8$L$Wq%wU9 z?LasK;W9-sva*u?jv$gmQhP36+^ezFUu^2v)e`!ji02PX;#VG#2E+Y=q746NtgjoL zwPh0{G#ilE75>l=8tn29Dc_p`**CGg-_C%nni!$kfc_N*&6YBzGxgy7ZEc@N?N?a zEZ*FcWU^;sTCK@ ze>LU|DLSS~rt^3Xhgs-GTz_4qsp}hM`rVm`UQPSoa}zhezZ#%lvc zRu$$v&Wg^uEn8>3R_uKo4jWHd`qxUyedbQaZrT1M?f7f`{it-Y9;LsW_v+35vnE(S zPiOXZ|C#&8q3UEz612Nk0`)m!m zy>|k#G6Ja8{6%!!s+%abd^<{!RipY>wRs(9O2fCAeNeG$e-w3IhWc&ajqWXK14C#w z+GVRno`vzjEzk`POuGwW=S1R>5B37%`dYm4%?e!i<|qiv^#OBp<8VvY6wvdOCfQNi zniymi;SRf3fuk2(iKVOwtQ=AZdOkS{hQ@gygTs1gQf)1q&oe`}9Uq}+1z)sH#SO{j zT;ivV*+|dS3_*1XE0L#eF*#nh81}A+LQyG8k=?_NDEwUqT4S>UB}}XUj~7WJ@3GY| zc4J3W`SV_)^#`KbJ85PG}|=TGR~89lGGKrbCfqKQ?C zsOQ#gWLv+L$a}aV@kzK2hkPi8(6L$%8k8=B_a~*` z&z&g9H9tblo^{20oVG)3AdTYYUO=73Jpm~j7n10>uKYmhLa;lo9T?;zjm;AsU~ZWc zo_IZ#9>3OwpjPW(O`Q&EKf(%CJ%Z4_x&|&TI8NVoON55EO_1~TS1_}p67@9Pg9UQ) z;MR>}h@m&d`2h~7SFagdy_3CA(aS0l(qk3faIz1`nPdqQbv5C|lFRT>aYwZ7z7q0Z zoj|r2Rl$r+_u-u54#Z~n9`fm^A?kK-Dzt-BowPS~LSC|~V3}_|@W!Tqhm8Usq{O1cX#zv_f8>79k0j>aR`dQHSD9)>1e^hFiM zad2SzETEHNPYYs-P-VaI$ozCHemCzUx*i-3PHyl=vvCqEpErWz_{pocCmR;EX57180{F=&#UjKJAqH>x>x3@(eIaFlL8y0)w>k~18O zre1B2xObPKD`)SL#G{F1>0KR|G!OWWm9hap}Fr+A>M9#i2u3l7QdQw|Q+{DP~Kp22{WF6d%p zA9Rs7A0>TALB{%H(L06lsJDeWx-+<(gty&KU6W3sR_Z&D?sOhGy7mgni;zN<%FEEy zjZfi2AWs1eMumIj;PkK|NF{h0G*Gw*`<|0RryiC!z$#8j#wCz zimhX*+l4%Ay=@76dvrgRyuKZunSAK?b22}IHw|bG3WlgfDX=)W3ZI`X zO(uC6BF`sx@g3FqKx;`$oC9P*jI}-ru8Vc@_}Cu@jMl)ty8Oc3th1IItKkA~KIjKu zc|bV1vp>J(_Tj*2gDT81Nx;9|-LUs1|C(Ql^FKD9W%Ek5Y$4oniT0|0KA)^H7LPmR zx5IOOpHH%gLL;`nt=i8a&zCHYC5ij}il>Y2ht}dq;#jH%JOTCE+7?W7Ddi%q{nj8PM8j$oK@mYz(*)P7+_shJ+_$qTZv9Oi(C+9C5f9?zG zKVjm#kU1-u@xBcXY;7rl0}C5iM2VHNDZl#9I52yDZmRs>&)W_rV#%D@CmI^6zdvsW zuoL)O%BFDO${yn3>+Qwm*Wyf`_zra@_WdoQHxKe1X+Sd07%;MFG3Osv)V~@B-p|-A z8^0v&n3bcsY^(uE9GJsxOqZ;&`-x4=engV~qt^evJTRI;>KpHPe}6uS{y$xcruMOA z%=PhDM!M!a@c(p~zWc!?&o6BJiDvAGod6s68+!#y{qrTekCnWy9 zukFvG`-mA?z5RJjG#~L#)_|n{uz6sfOXFEFc_5RueY-p`nkOD7of+>N<$+d`d7#yI zp9jkI6Kmq1kq6%D#n=ZEKfV@c3i^uqo8t_lw;!yKj57wz{0$iUVb$?h=Ye^Q-Lm@u zNjqlcXf7LTKr#=M8`_vIS!4ZtC$k@sr2nXO>mqAno{|e*WITrVrh5>rRyru>$$T)< zL>JHObQ2b4CqXjv2)w(f99Eu?g}i=Ac&yu47;S8dayLGP!?rKR)8f*=`&SxVFIhbl z5~d43XU`$r`T5Xki7xTDa}N%AHyLuA6k$(ZFJ$m!BfR!}KU|dl2(}!X$vte!2G}@S-KY!k7uHE@-aMe{sJg38a@cv9C++AizlCP?wjeAe$#N9opZR0gW&1 z<#$jXLL9rkfyS%#$fJ+<;k)2vq}7_2;8jQwJQ!&US7{xCu5U`T9D)c9eM5^Yv`o)PGq`Ai-OK=^95UXT@ehB zjujMq&VlELX_8ZE_i4!e(?GLoBCk`fI?uZYmz+wyOyWX% zD(J$pa=6S^m+YF~3M!u54J)s#+5T;ew2{9)d+uDr9-V zDR8d-1e}*B)SseI5A%ZQiJ$7>v#T{gp|?Dm_m~G~1&@IFdR+28{xYcO*#T5(4)3L?$kjU##oiZ3Lks!>H0GGl&40g@7&J6*Rv(c9wdvT z&1;~pqcrk!t;8Nv<8d%x8P{HfG(NtNw4*oM(-_I2}8Q);g48&U&JSGbno$a3f#w1e6A%S z_quSa-@k`5rS{U~Rmu3_*zItAD;`*HY=t>o6i3KF}e7{;iL!n-rAiN)i5 z9GjXB?;ZL8AHC8dR?4#Y>`gVKeMbw|jt+)Tt&S4!wFDd*mjvacOp$WDJo?$k3A#@R z<7*E{AhrPkB)NpZ-h_kf^V^byAt(6vy*EQslO@pi>>0kN(IVhe*cu&}kOu5MWl`24z34##!RRZ;%yMa&QD&9!%O}r(=n*^8MrwIzxIMC_>kKCRSA(;2R zmB2oyJ$zidnY*_l5^p%*fm5RL@UYibaEn%Nymy!i88hlQNdMf8wBDzVO{e++T}>x= z-(V;9tb3ThX~+1xK%B}F4<#&PF^a8N#T|4MRi@?>LnrOqBEx7NU zROpgx1&>~S4euGd!Zg1PurgUQKXghAUhm)myIj^n<-KH39(5!GkMO~+E}!6-Yy054 zyWu$cv>QBPl!RXiD*5x;_a#eR<&Z_Y7#OvFB~Y03(8*uj8#_*_hp!Z>_%90V-~@vO z(0G_m$gIjQ

M72&ut?Wo$ zm|t`fDnG9Seg_g@iHbDQBrExeS+DWMIVX>fAEHmoCvJky8|A@Ij%Hk%3}LaKJ!o~# z5RP+rg@cc7At&Ex<72(g!d|xf;JFfA zi$BzWWPZu!AF&>d+1b3Wu~#(a`7<>Z2d-xx_|jS+KKlO}2Tq6=%faHn?3`G6C7(0= zyX5^EPIPOWSWy!%z1^K>|c#D z7q=3R#Kxtj-Ve*l(_D%*Ac-@FHM~u_Y3;Cn?l8J(o*$92a;OKMIcqb2sDBq&vN;Bq z^wxo${S9Fsjvm`Y2NwSH3~yf%g?+BJ zgWkiWVBmfknBCDE%%3d_^tZfodK3A{anmhnk}SIoXrF?_TgH@^e^`N_6uJDej7Xm7 znV-44^mx8Tih{h7M5ML96Eb@F1f)$^N863i;~l#C2!z|cLiRfGXzt~Q*zU|?^x`St zy_B&=TQw{Q(BPuyWDKcV?nuTjc}Y{+YjI28g@O@2+5-O<3rO!TF8ba12)A?KtNoIN0Bm)W*B*tTKSRYM`pn@`tD>`g%WD#vywpf2Vy_WY?Q z+TLXb+GD#CeO@KYvme5Ndp8&%ej9Ierw>XVJex>WcSm)m zD*=72D145x20SYoj}la^k-J+D{88fuyg5n*m8X}Xw&$)O@0Pjw`#tOtS)z#c^k@s; z$*)D71;%Lnr(Pi1r5tUMy-AK|??ZQ1zvO#M=^!$}hJS3EAF>QS2}6vAa4iRDqZ4Wt zw3mYh8nF5Xu}E+O0n`!Oe{O@EN{182UeBR(bt}}j7tNmo+QP%D6_M1FXqYcE4ZJc9 zaJrajM@%}J!HuYZ>lC#ONV!*G{VSf>b%HaI^_9ov@f*P9E%G2Gtv{48tOkd=-vr8Y zJCoj?Cve0vOL%zn5%AN5?KtV@t|Y^>kOnD^w0JgoaHbDVJU9}aKX9GC?3anJ9Q31a_Q(sK zU3-O&IX($ZpWT(*iZetVdpzfBn*lOqL3i?@ z$b=VH@e~z@a*0Kv5xRXt8)lXlp|r6b$S9egu)~0C)aUvzIDA|xSW$lk&A)9%DnjRj zZZ_LcKL05><)y&uIk^}t>y?g2PqYAQCufn&?j+{6bbXSo4Yy(hr7hc5{G*b=Cl zSdpT{v%oR;CQg{}jO+LF0Jt)G1CB9X&u^1?3{1YsApn)(7jre?=M%bkpqwm}9rPG~ z*6$4Wj?4n4RnBB`t28)cv@VS3uYz8=?*nONnRtxROcuW*B}l$w9JD{zj+_F)i5FX<{mtKtvv3ht53<)wX1k< zGq+WGE&UX>h0UFP;-ypvj!ynhsAfhFu%vd%Ff`sU!F!~ z{mGeS_>-j=SCHkfc3Q?uFH4wIz(*mc+OPQ+3=1NX~O zAwy>8fS0`0AU1p(_FdVEtSB>p%1@7Q1J=91i1pV%;*IY3wy!F&QTPP1B8u^&gq`4C zKsIn%y&1Gt(1MAFmEe(!OF;eY0d(u|7CcXKoh)6Kg4QeV1)zT>;$2iAx+_cJ!g@>k zT+0@Atm+OwZ=8v}&C@}B*Hut=Oeb{BDFU{suK>4>y@3N`Pvd#2j^yKPV}APZO#Eq6 zBG4_eAZKgFf{xi;;hsyfBx;O3d3|dhnC;yc+IY;$KU2xW$(q~o)OHS}wPzvMWW^r9 zUGft91e=l6#opMur~+?^*nm3j)j{>)kJq4%LRL z%c{_%tfOH1jj=$N(2yb$5CMx&s z$PU*M?zBD&`Mdf&1CDNY@E~9YYhp&?(O$}Avfl`h2{hoa&bMIf^5y)`mWPDzUh_u} zvND~xNjKraYGvsBQw0*l^Px=J)nw%*9i$;>kDOAHP(;_2=)sj@q+j;|mE11HAFK4y zMOi-a8N3M_bPNT39nO>1FDJoC#v^FQt$9RSd7eP6_a3Y{MUK=>NvE+12}EA14Kddy z#Q5U^78U8Q;J-k3t=eosj8p&UBk z`~)&+XFTSo1v;ptp-b4(v(9;Qd!4fL^Z%5yk%LocGU(HBPdJ&nD`ALNeQwtrF~KKbrbw_ z#(q>3@PS|1XEu59Y#D6R>LduXKZxpV2-{9!NU8@HA}#j?1h%&(*IrM= zv!qt>pPs3~p}7-4jbdA_5!S;C*Nxz&oYN;!4~@x^{T<1Q?zK2$As62N^ouf%}8OKyzOUX!lx!3~sT6PusuDPwn#<9>0}^eC?FT!EI8wvZEXx^gI9^ zNp?jU)_l02gC5dtA&p#A70}R`g)mEb3v$;CM?2c75c}#bROv$*ojl@KUrc~V!owb$oyV}?Hl8dDvBv(*bMSL(%=xzdA7EzIFt!W=Md zNPoWZXjzgTJsk(RDv(fE4lZxh!-eunP+`PE?vmoeeCz%lVf4>h@Lrw~FV$?SV9hQw z-m_yV4YHhjIi@%krpA zUuSZco~MetTL^kgG$HNv>;>yJM)4xd2~~?*h^iJB^YN^Y$a2IIFxn{}l+O_!b3&6> zI9--5aSTABce)OHy%Ji*96+ZN+n~i}Gr+{m+epDjidUU&K&A`!;gy~H(K_oTh@-oK zewrdf))XcSZtS?seZAQQZ`xWDi%&_xDf6E){oGCjDEL{{A_!fZvk;^6yRI z*P{}|Lq{|5<7;uoAz94d9B2OWCHpQ1kc=}1jFjn&{jfs+)%dj~W4G-2ThfkMIhxDH z8j!@VV^bT`C2Opo8!VQj{Mhw1(>rkm397_Bvy|In(SAH<qqmcby5nqws06U|3!^@o=~TQxz~xg9zt&0)v1GZC|!7K z8dbI*3(pp~&`X?~cx2C`v>-m7oS0ld9=lu7f&(L|+SH*m)KG@xxs~B6m7_qd;5>L1 zum@ONmgZKkmLoBa(&Wmtj&S6GV%ptggW&Ffwu0cLHDs{tL$t814jOhuig)F(HtH6% z0db_$@ZJ6&@dPP8xLfRqTiSJo3l?PpbB(FQ>9Rht%GV^(FD}w)4lhY@yf0C2(*+f5 z=uP(YYzxa~tjDL9tt9Uav}sgSA~(`?j3E2E2g*9~6Mb104p+M6;+fIQQO%T9^wQS1 zIC)3dv9^n)aKFi21l3mK(8E+~!LEXN#HF9A;NbyB0pG`7(5hlR)XB|+9r8{c%g{bS z4%a9lJgaF&;o!7ZA&8E>3}}p6G2OeN1u{Ly zp~=^6=ves#U{_*5%QUTkeC$PXKe7t9cTk~iZxs^hz7fkDBr4i1(HguVP4w)nK ziR_T$L+Rx=@!bG(RO!5t?3U_Jqe~yqwQE|?f}WpfijfjcI(~>&*x1t9S9{QePq*^r z_V%Q$7tDw5NeAg9aT(px1%Dd{-ChbfxeOa6cuLKP7N3ny5aXzInI`Zn)5rdh|GeQu0z@i_#l#m+uO6 zz~Cg<5qA}zBlYDVHY=dSyA>yf!Ba1r5Uj8+HC)(^<)hO z?1BA!x_0GBIJy40l0EEe2P$71>c0G&G~m&-lecuf1KCM)_Ef~$8K;Y|h=9OQzX^dM zLBY{cl19!hT{(t7STOcpeg8k@nw^r^{2}jR}nOkMbKI7#S535iV(ODj8Vn zNzy-=3^L2*ADKQz zMud+F36c)>ExDFyN|@OGWG-4W9!UF;eiV4h)$`)kf%EIi1~NK3X`all6>IhD+-5TV zSoW}Zsq!SB&9b8I|36#

    )T9V3^WZ(4%vi-N=}q$GJeTQg8b&tUl#BwWAd{qM#rX zSiQQH$K%R?!0@O*Kf8|A&Hf{!L&p0@OCo}wT?dxp_#28HOL6)Q#h#@&|AykgQe1vR z=_sSv+g4K~@ki#r9!+KSY+3R3zq?!Sp4Bs9-CQ;+9}(t)B^PF88wDOO zS~Aaw$WfsY6J%Ynr*mF){E#%onU4(hkBX|+oH^gryl>#Rn85Jp5dTo~wx;H?cqD0$ zGncAX$`JLH!LOr~rCRY(63P(yuDVE7TuU#kTB>`9j`R-+_a6}|?LIm(CQ#Dp2>? zB`xNmA>o1kk=0C+MIRC3FXdy0lAI92C1;`#$pd$ZN0DSNEzZ^;etvWwj*!C*}DallX;4s=>&>&=~XI8|(jI zbdI%*P-j3gSNL5+sJ6@BrTl0HR2>ZdR0DFVGoXKR1hTJXdB0x-a;{~Bx(M`-h(Hdt zEbsR-AeUN3s578{gaOsIE&gr>WN-To19FjU!fK9Iw}<`Ks@4wYGeY z%m28N%LCcNdFQx9k!z?c|CSo)>(#r96ggobKb|v-hj7a)kB|H?a1C(yEepqf#c7ALxIQ<1 z4w&QWTzqlm8vbA@i(5)x$5XM9b-?v&%htVZW$iKuRdPLssmbTe)(3*D{p&n@YVx_V z_2K)l?4^zm)KHb}QSe0Ei&W7Za*WY>+WL4D~sJS!=ok<@cGJS-a)>legn<_4jY3%k-%D^}JWv_J7v|=jR#hzV3hL z{`XL4K!9*b>5wn<&U`(uKL7u>fD{_6Di%6ENXThr^s@^Kst~D+MVtrz0-|b4Kvw zCZlDz2Dy5v(By|z1#nW!B1a#8Iy)Z+9&s?`)FLgGbw#67w}=RQ3__aq}^<=~*fh zINOBI-BpOt$Xh7YWi{RETZ9$|-9)EutV6fPenFx9LgcZg0V?0cLn$j)GwY1a$Rx$d z=&a~HJe_1fhQusH5N|4I=c@qA^&6ot@pqXWGY`OgehLgsEvE|uCb*wC1FK@s zK+}2qfEcF11igh2dNLb?3)bh~*WCd~bP4Q^4WN@YoPy-^2YAzvjj(*nU~+!f4tSzE z1g=*3K=U47$o^n6c(G+DbeuL6!Xosc_vx;X-P{hos8~Sv&Wg~xT_a}tUR}`Jn?)Y9 zd_s=s`;)^#w#0B_1Mq#d3Xi!AFfqI(T7Nu?U*3Eno?LkvM~f%oR;H8DycQZnb;w=Z zvPyxBtAB|ZxL=VCi&K7`)bPP`^xCS$(5 z6K&S;VZNO010I$i5jE@ngJh{)0PqOcxu^MX8naE(YzcjuqoL>#*b5n^9!xT`hp(B zb;m$vZ3CW2waN&xoSoq3xo$8q%bGNG)`ldT4lsI*1Na*{!u$umVCdBvY#VolD?0!x zZ+FDoRP@2ldNf(zGn!EK9739QB&Ba2A>~0s1yz$P&qsd-Nue52dr(0$TYL6|YtTtpjfO8fpz{ z$8$-H=~GfVE+N0|8gFLo9t7#0o0*`%59soed{DG{i1?;@;(~r#A*AUt7+07H+1v79 z=fzxDQPKwVBId##%`B**6Y}3DZHFP2Gaz?C0!^Rl18!M8u5uo!I)1`mMjecl{4Tx|(wcvsPq ziIGP0P9O?cf!((Xp=f+PGI#wBqD9q7kb?@DeX%vT#5X02?$(3Z75j;xNI;#ZKSm}8 zl@WAOq*ap_lZUbCWX)g$l%A-Z(T=Q7oeuRsOoQ7&_vy=Z(?Gei4@`FJ1If*M0`VCIL78!2SkeKQlIajJ zRGaL-ngAu|#h}(}1m(xffOQ|eNcm4wpsnjctaLmPBE2*q=dLwGmaZpi;(p+v-$QZ+ zum<;WUU13H5^TOSg6EU{U~z9hc)HUayAMzWC(Y}4PRAR>a#v&GUUrQ?y^IHiYZfu$ zoW}6{kqe_6dzKz~ttGS{=1JD|(MJ5V8PFymmT9cr5al_qqo(G3RI$03w0X(HIR+o` z)Q>4>VaI*QYjOcS|JVfyj8bSP7gO}%(PKi!*+G}1zOeL!5jA)=3gSJ4aOX^Yi1RXp z(oi#~IH(L}gN*fXQF{B4L?=rJgl~?cRvSJrjaMg=`-vtneV-vYnzaS(f2RryL>u^ryAY%>V>DF} zw4jZ1JJOD0{Fo(AlyHvHK72Cp9vaiA6ZG1vMj~{y#J57-z)H;${Kxi!(K?GE_X!_d zkS@w`41;~!KcJ$G4bX+Yx-hScim;?*TdEhG2>cg@#O+Qw>U=?onNTT!Lu(cAJnd$9 z)ujYvNNx+_^=^o)_a_o1ku|>8uq(P?)JtTc`cxFrE>&QlI4l2H=w`vD)28_jmFh4} ze>b{xO989wKZu|5Uy1r@9THh6x<<`DAGe*|^@n9-jBxe3C;HYOwufmD=#Y zA~sWxXC;y4m%Li<=lshAt{dow)PQ_`$>kqoSv%r{=JLLpUcpiSc*)^d^0?nGc)Ij{ zXak-+j@8Ii$RazgJO_22!xt7v;^M$>CDHzElcc3K|50&}v1hPHeG8u%%O=*G-hOwm zy2gL32IT!mc2?r?vh8b5nT1njcN0rUoIknNWcxqYIR6>jL3T(QJKlG~fgR;>V8`|x zqQr?%9tY+L zYSQIv+-cZyf!dvAbID+*^sPKFwwsKR)7u}{MBNd8 zXAQ{v50?k#cB(lmHV-iZ!{>o2o-$4RJ@UZYZmfN< z@#9-@=AgTbzb?+Odi$3Z@^QwLoxdq-Kb$)L>^v}+wOejKAaBQ<9Cc+)4anz#Dt&6w zbk`u5d21e|#4Lx*8?(`ie%e&Qc0TMdNQTRM=7C{lHQhC=saisI)tMw3&%_Tt7}N|>~_ zQDW2cD&h?NG_mJuFY$|lcd+RC5Txg`gldkPC06yyp-p1~#XCtGbi>e{S*S*d@`*P5 z#6y?Sm@0S4y(9_{yvdficIF+TC(^K%`&Bd{*b46J41oT+LQrYGm4wYxfqkcRV9pj@ zsJL|x8QtB9?6!2nS~>*tcLVsy1Bp9u;m0;42V zcox(FBDU+1OWk&W@?1Zn(|#Hp>E0g<&W{40%*~)snF^lCbLk~*JrGaLMY^SXVcvm2 zu*D5={)W~?3j+}{dIrVJEX)^&H{Z<6i8Ci!mW!Fji`|(|2b^%a<4LA$%??I9Tp$`5Q)^WAIwXe4J&8NcaLK@zpYceNP?o;p1A8cgc?E zPSS+W>XziGZ6><*`T?_EpaQ3L`Z6W`D8kAHu&mKk__QtnuCGnTQ_fGs1I}53_4NsG zX@3V;)}|N@Q$5b)K070rdp%n?C&P_QXg6KlgV`sH(_JMV&{UsXDVQPNliv{?d^A(M zX5%UeZL|1BaISb|BO;tX-c=kLdrWNpiHb9iCyEu`ri&k3T#sM4AH?;m_JQ{02xi!o zB&zm$5geQ0MnA>o;WkF|X-oq%a{T^WYV%+yJzsA%9jiW{=7lbX>BC|{W2Y+BESN$K zy7Z%W?bca#{P(MPY!AHjnL%J|6g(eO!qK6C5F3vexT6AajECw!gF zgOBlj(1pUeG{HTPIa{$D!U_ZEOCLkp?|3#$nEo2ROg)8<6*nY3W`|>sN$$iq#E2=# z`^fAwe24ie`HYj{9l@2JZluSg2YE(u0y0UXE7AQJ&&=H44r}r;Ug>Q?;@SgaJg<~_ zX?#Y|BX}szbg#g?_%O2LSxOtQ9MY!Oz547EV6;Ca6g@@n*9aNIw zamx`yOn=J5l}5SOla_s^Y3z0hP7^<*)O2a7sYrrPYqtSRwF~sJU~m+nnM?{BlJyA zhSI`x(u52|%}2*U#(I6YJiak(+Ea>*wH@=lcg@Xzpk9UIdPn4^&Gkl48=pXh7bhTk zMFo!+`Z7&=$B8-&8NdW?d&t}$*$j>M~KptlvTm3fa+O@;^x$~gf zdH#)*8)MI4?eOaYuP$QjCBcI(b-ym+nIi;l=++C*l< zX$$zo)k7HWx#baA5lF=HLXtuT;es<B?D*!2~yQ%%y;_&RoUZ zAE!*HlRwVbV@`hVn?Q?Ghv6ZyNATH%G;s3vrla*r$n*(MC_dW(+U2N;7X|t-8iR7E z+uHVceVY~dcAh@+FEAEo@|V&UyYDj>6ja6ahNcPnYW{>RbO#8+-?k+w503~mo7p1m zZpvu+c1O}adkR)Fav&?aH52Xc|Apb}4H0!pUB|4jb7D$&AHc3>>XWfz@ zO-Q-YVXVG=2lGTpf-k35xh$N%Pq3%-5i?`|Vt9YPiaEc_n0kcHq>t4oERH^c?e1s8 z+vb3;pD-f{RU%wkISV=rKM&?J^ii`t3Q$_+LPUXfc}!&pjq9U}mDQC=gjNc~VOM(H z&X!(Y^qw~S*;?{!;wSpEu@CmxxQI@lJ)7C%ZiP3`Yl9}}G!h>jK9zbsY)vdLS&Bd2 zR7an?4IwRrTVY*vIlkOB8T%N`A#NxPjPJF9VT#AlP^BicDE25+`FIjuy|r*&;kl@A z%Uqn=w*p0Om=DuR)PH`Y~bM7&M~CS+r8L0a7E=VB6hDVx@kSCTSOeOIS1V@Zk~Y_vV^FvD6Gb zRUAeSKHCTdhR@+xN5ChOA|PSVWagNoC%K?uKs1NP3no6DjD1EbqO9UftdMq`U*fPG zAK0sf#s-_B=S}wrp3e-yH+u4j-aWPas~dZgyf8oJ#L!eG__P)oe5(nH+|mNozj7>h zNVbY_)`7<8b-5uL@oom3I#&v-UCLp?>O^{1kr5lwm2fGu4|8f+8BCg?$@sej@SkUg zP-}w?VBO>$beeb+U-*0gtX|*chiv&Qh(XK1<+L(c^yCWu;@Xs`m~Mccg+pP4RvB6l zS4EiilKR_d-1Y5l&ApJMuOB2PHnxhZysLP*${k31aTLDK5+g3p=nU|Gl&Jn6)-+^J3H($F#m zq02BcA?el(>z;oHLg(g4Yn?aoXrdytm~M?n7@cB7@$O;;FD>DfIeqA)P!Tkl(MYIv z^*XHDTfpd$w!-nLh4`IyI{)FG4q&`JNC-P!geAOzOmOE9kTs_rihDO()Oh6svN!*= zAgy~Nq{We9qRJ7yH1Y#o_Np7SoBWA7e!Ph5E$&9gJDkBQ;?>cx^9xb05Cw7c z(00`O@GIQ@qpA3Xa{<2DZ#L6UF#!_NO_ z?PT86=oG3pwh@!>b)8NvXegwK5yJF~8zJ1o1I?@)0NXa1GBL|}sA7!0ILA95+E=A8 zjXW0Nc4bM>;NV5<|N0!`ZM+wBRI_p9$~0^`wT(F0cs~qo??|t9&=FRSYbKmfc@YLB zSK|D3uVA@~5gBHuN=)wFLI(%y2}hQ_gO9q;a6#&OXz}d2C`%{DMJ;~@ym?=bJXpjh zurvVO>$eC(u8$Xu9_B~vQg4t3?N7k_%#I{r@HQxlFT{33oyoYZdSrHHBKW+>gPfdw zjOyDgG$_}RdEXNZd=>^`b7~kjc3&GpW2@XvyGN9 za(er-*Q>7oA4>!B{$s$3XT|;=6DKW;@3K!1{{Qbcmf;G@JkCzfvDa%jKb60J!`Wvg z`+GJVpZxm^tyqCQ*ymX}KKbWcJyY zt|IsQRs-4VsT|+SL|F&g>~$ixyKfd8PA)&rcf!eCho+*9;VT*aE6oErU1VpTQLLVJ9fmK2T`KxBp%2#HnSD7Oj z_QqM1&d(W)br3~^k6vhdKVaH^&x(m+Qi?~44-U=05V@P&j++5bha6> zPb^`cwQECSu9Pr6RWyiYc|FqdZ48sA7lc=5q~UDE$;^JkGA8}>bf)2PAv(Qg432t^ zMU@X)k@$!ng4;fpDC?;K>h7tAj_h<|+FsN}h2_hbeF+^2xwBI6^58)x)vGx+yKX`F zK8j>p?<07=>I;EJo(j>3Z$&CAALAx(p5xa(ag3#?412{Z5M_(;V)MX8c<%*EdhX*I za%$27@tAoB@Y>*HI&yp_Qs{Yzc5ZP79f`=pe#0Hft|7YO8MD-I_vg0a?NQt5muJev z-XaqHY<*L-;LHrP<$ws4-83bB`#&Mi#FMnJO&}PC8o~q{4SG6HMNpX262-OC=ZEbZ zKt{CICxg5eLRZb7z|k}kS{l!QU9*ctE2GyEl@Vw0{9V1k)yo;$o}Pf`E2U8NVOb)oy8BMvRO1xg! z(F0d>NZ7IwB*iNpX`fGIye-4Y*u`svXOAoi?j6P9Rqe%Z8fDPSWzXor%5t1Oxh=$LH6x;F8nk`tZhoeAYo`64C{%g~!L9WT zg)T4Kz}ulsU}K&(`qU*AwdofG>mqJ2XM@W`%ctC=ciyFwS>>g)YjK8n$&#IdQL9&= z;wMXS_(T!eu=W_7`FSDcZQBdb89~KiRpACWfx_m^f~&LVz;5wA2-_MdE?VA)++HQo zz0p3%IXap)jaCyP&pqH9>wwlRxdNk|4+`Fe?LZYfp5S?RJ}`@VSfP}8fbN7o#?5Yd zkdu}UIJn0t9Bf>L^{5poZ=-;2tT=&H5*$gyho+>vS-Hsj@dvyjl84$B-OeA(Q)XPfhKCv(q)go6?qKZB!MW zDR=>9o}BT zdI|NJ^(~$-R;o6n_|#KoZfXHObw`QVUdYBqg`csb*J6C~Sa4ofB0!J!t;7)mW32x8 zswn!63GxcI76?0Apk2;lDN7Zxo%$?hvU?8ny;+PCOr9{-2bz+Lvs8s`XD>vvhy4V& z`Bij4M~}RN88jj3H9q@u7?Yfq2n9Z~@g4sY;9rt22#Rh*rq(}77Nj)6@65EB@*RHA zeD@>#Wba7&w&fL?er1~Q$Z9>Ijgzi$RFb|}-FF#%^E8iNFoEEUvsdGk)2%3ZaDo1$ zl??&M8PHn35*H?x!IYaoM&B@kfHUjioq2!K90nt2&kuB9|K8AH_gYxEyNYbS^#Juh z>_*M!?4u?h?+C_k65vU9u0XF2>Ov-Q6_|e%0qW{S#9)awS}zf(t!p6cq`y(LG{p`N zF(_xmTa{4KT2+#MUUCh<+YudT*Oerd%weh)t1+vZoEPnRYQ@-Zyv=+zQbQxgs-TP8 zhBDg=R|(!#Y!rQ&+=Og@YK<=%Z$)dNW({-{{`?>>9}{b&Ez z;pwG+YdpP}z27#TUGh3S{qJx4f94G2^Gh!OaAxnL=EmmozVC&nbN#Y7Bl~tJ9`BbQ zjg$P8uY`%Ee|`VmujzKb(7(PH;n#HOtL^0PQ~fnv`idlZob%UosZcUH_bc1K;Gml& zv>*BNt@|`zrpTn{*84}EOPy@rUjy=f&s_(wmBXWJvwzqBP$Uk&mdC%p4}NWLD~Df8 z8ouxQCso;b>#`+R|Ign)89z_f)j7pqtMs?ei3R_f{HK4f4Zj{ZOEz>Y8$Z4kXPoEC z`0L`#pT1;2+sDY;F(*e|SyKb@_;q}GO}c!I^K;Xg z@|1sf-Ho?~T6TFwSC5aST_^V>wlAB}oSZC@d9sXb*pWsS4mO}73D6W{lPBQa=)<@_ zJ;GFMG)IqP`;c|buQHO~p+Fy&Efx9gd40`(iM|)JYuRARj>%+{dPvpUrk0^bL6MSk@AGr=R z=Ub>K5XV!w&@&?yO|xACt1mdAL~T8EKeRvLo8Ez=Dyl-qfJo-)dm%pKV1|O$%oDtb zh+#&Y7?17lEo9EAWHPzaR*RZjs1fDmZHTGIdq%0U5@&pTg6|g$5p*+rh_5*-qtK2y zxUkrTE-QaV+VtB*Uw2NRPo4C|%PZP3ErchiN_0!QwwDckrqEr`Slb>B>+zuT&=6{* zlOf2*F7SF-SMfFrC)!}8Dg9{Bn4SnvMxEMyrblUC#`DTrY96$o^d}0$wa+yY)&3lb zXy_z<$DE}aF_z-^1Z&z|-9j9?=m`qlRYLvWVB#~fit4;A!^OjFF}}P7f6%#&)qM<6 z{lWx6`5+Ut#9+TDVvQ?agBPQW^T)~92`%Y?$@fV`%q~)C(3VEOWWZweOq!E&g|3`y zicIcxCB`~MOs|0*i03>Z+3s#lhF>!xm)8KXv+0J`?pjV9Rw82R`;0i<%AkiDE<{fo zMv-G#?Wth%T)MJhbRC}d?+#~mv#--Yod*7Z2EK(~b9p3J{^$8*5&QmW_UCO`8GoBk M#{L26zd!5$0HKST(EtDd literal 0 HcmV?d00001 diff --git a/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra06_v9_20HU_200.nnet.h5 b/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra06_v9_20HU_200.nnet.h5 new file mode 100644 index 0000000000000000000000000000000000000000..dfc922259519c94b869f26da2a368bf64b05a24e GIT binary patch literal 38544 zcmeHw2UrwI^Yz(ZLKyP=|bXQkb)lB`SXExrwW9K>= zjWq1m$+eGcz5}^Q^Y&E2*%_~kals?}$NEh0 z4;&Q`9wu$%?b3y3_>-kJXRnHOttoJq`iiXox`KuRHNhDFP~R}0NdM5Vz~CThyS{W_ znJ3BqFrw2qXC>rd{YRpWuI57|daP^)rY{5tS{{aRH{=O!(X`*n>k`gOj6 zoIi>?EJmh0>1U(7sQ&*i*8uO=!#Kyt=jNLfEB~S-^$HnD(azEb%IRqwzmk;ew|u`w*K_2>=l@;YdiSWD3FqeWSqTJ{@kz>MXJcn08=eod@(Trl zAY3}n;Lwp{gD1$l;!fv+%J?B|nq)G3tZ!IYrRGeWjZ8fJ$4B@Fg$MeMHL)@>k;fxx z`y>;YYGn*zpBa1{Wh|A750g^76}##vQ}Gvi;U?ckMh*}44Gi-28!PKRJT$^z+T`aO zK0LrDFeoG<+$Su+H$+DA4vH8%*2>6!h?G7eJi4;YL^?6waCBen;(B zAY6unYfBH|ac~|V=1YFPTg#C?XC9Vr(^_`9E=mj=)^TEKsT; zUtu0^ZdlnW5d6NbS9z$mQ8VsZ$4H>7CeWS6@vBH@CF`k14S9z$tY7v~R(jo{@{8b! zyx{)V=gyF_V=mP+8zK;J3tfflud96N{>F)B@-d$n%ge9D>zw9tKDED2)astUV+|opE$%$di_W_(U+2A6?tKCQA5VGu*Gk3f%#EDg^8G2=@z?tMQR#9$*7$thdu{dq z*97n9Y20<)|DXHEp*G9tB|783M1-CnW#TR$*|c|sqL%s=5ZkN~+t6YX3s6ZAWm_AF zE*|MAvX9wLKfGKhdF`R(GPqSHdLADmIdDA-JfcstnkD@tr)|?kHo}gqtA8O~S{ z&FBUrOUvQv+3mDuv*r-g%pGrAI+i7xFJY~1g{)xxb-Z-iOm=&G2RyXLTJX%A0z>PK z#G3a^*~D8S*z9G;>>@iby(Kk4n7Eh;4$Wh!b1zU=%@M5AbQ|V<%%26`sKF*(>A zhOp4F){Kp+$r4fnFt-W4lr;z+ zixl8v9`A*%d!EEwpPfO^yJwN{KTW}=LT}WqC<_h!Xm5Ic`MkIo#AL1!(E z={-Tg74JDK)_GRC`+RtS)|UJqEvNxCbuO zj)0p_8TOjd1x$A#HW%rI$Ob8GaYH+BywfX0KvJ z^MfJxqYE9`I1VrWxdY5zHh`X-7z0BaT1#ou$f;9eY)Xex(E&|JIXMtAwUZ(5p$MC% z1k;O;=0f@OI%r2yAwFb++2G{5Z2i1L=!3>h6uHL%>K=R`?69H?ZJ3}9`_vy&gI>Y- z)6d1QWN8fuOf+Va)KN$!*Mqor%7lcv*#(x8!SJ^B6`VbMCRFUygw`8Iz)x@Wa9E$F zwEmbjz#4e4Tjed0u*uJmHD(EPn*I?dHYp)q{;JR?p+D_V{s7NIkW&b5P7m zOBfKT4d$owp{?a4xK?J&>g6?ssY+K1j~P_pihc`GtVc)sX;1@jseg_N^Y01wm(_wX zp?95CQ}VHPV^^@d6$LZ%&WTgEjHYd0&w#;oyV2P%C!r(D%vsm)O#0rWP`IVa>}x>7W8?`@)2V7Gud#s3-izY6BJb zqd1EOK#P@G;PQR|8MG#h-ticVZk`;BKSd-Xtxa#xnzVVe%(X5#y!$4arB{H?XGXH% zk`U~8=s3=Jvztuxu1WNCwxZ^48}UMCb@Dz&n;JHe2&e7NL^aa=h2s~Pq7agTj$A2d zzhm4M;r;A~D8$S+p8OXU-GZ{r9A)R^I1NxyI zd?&czbvyY0UyC#O?d5#capwQHApg+A72}K%HxE7T{KHS{uf~CMIJ@QJm!ci>a#WX9 zHK2$C3xrkaiZ$NP)4A&rMf#6g|NHX5C=RKwdd2(u^GVeIbSb`c9eaYiKOVzLSDgp` zPnYStA6)VL!pEN|&W`vA@NvJYSMbz7U-H+niu*eL*Lk2;2l-smxG8<@`YfumoRQbt zpVvh75&vWjDEbed2j;t0ofVe{e$Ebge{!kH_8-@H|A`XG4@u+3`$l=7y<#3{|J~<- zYF*`;_-EvS*WI|K=HkcK;>?~da{lT#!|Ck@D-`355jTG$&VG1x{MC72K4-Ul{8F@I zUXJRrss54Vp&o^?{BZ~ANwT`wsQQK&9q#J7h?@qhY&2S!1i!wvS!`G46 zq=(q6X9YUomPN#8^uRU03_JEP#9JH+h(Yc{dZfjDtQGzoPueg9?|vjk9iPpj-aGe@ zIsrkn(L!TbYiK7rKB5JUKNc#|*gOgasH%%riRy|;<5|QQ#!5g^K>BQ2!e%~ACN@qY zQT@PXB7LKakU44x+u|vNevX4hr%Go#dpF#I?wdG(-vJH0#!Lk)mUW=_7ugGcT33YI z5H;Gx4dD$rCLr!0f)~1(`0ks0l6a^K%|D!t`=%eqxi7ll{6=H(jgTDLr(+)3@zPB) z`dzLhPCtoQKeCcszjzL;*NB~)&YvprFtR5LQi}>#-|8UoQ7dArox4elrmhxVYW$Q| zOqwfc_$Wd0I&m8u@3l-)KJO|LEi^-6*Ei$ib7Ijmt5m9)KLtk&-bnWzutel!8M@W~ z6^guKM2p5>B*$Uru0u;#V5QB5RB$>C+j!)o8p-~6+tL2ed1XJ`ar#ZN+Wiih82SkN zOhLF?TnSal4a0NByr2hDH1N>qOX#(wn)A_|ljK6KCV4Y`3_TgR0q3?YA_bwUu)FbE zGAY}XR`?79eb3o=;|e2s_o6mEIjsq%$WzQSGZ)FZpb#v%KUL!jKG6_)mgJEI#yn}EZ(-r0S)Vqa6d zu%#isxbqZtTd9mc`pw3B?`V>s=eEudJZpksu^w#5Ta4|G_|VZE){&@A>A2juBR==( z4GQgW9yObI1h23*#RjF*Y0(`6JlZ0Y-t04n4JvKHrtCX|CdFz=T3nn;4^~Wcc2r7% zWk;98Hn%*oz0(S!=a$6`hD5Lyoo-R9<&8vx$B$?6zo@g(<_745{T4Jn+!XA>e1Qy* z?jz_^fQPtm5l^uT!D5XpG(E5uJsI5-7Bme9OI5&Il6Ih{86#+e;TLhUz!Nz7>I7Qz zS!b;6VaF0&Y^nF+DU!8GMv^80t5|8~cu97r<78%_RHj{C>7lg!i{CTSgi6T`(%p=Qy$hm&Gu5!m zzUJio!a;PdMhb3xW_F?Iav|C@CGs3~wnxYp0 zo5;^Kb!m%TLbT+9E!|(#4G-+nf@buJ5T8)*jGyIoz!SFG(`ovn&`Lu!;d`GE=9GO$ZBfB~=V~*3wM6W3 zd=VX?)17us*@A6)Wss)q9EsSrmX4a3O_y#POnd`PagWS;0Q-g5Zq;riIWK^u&^stt zTMayKXwWjHm6G{N@sdENJb1Oatt7?g4x~iZ7Pr$0kyK1Gp;M!@>D@$o$zu-{$<6r# zB=aijqQ?4*nW<{Lq}R?#lBiAs(TMV7$-*g5r2fAWwY(xkHr`pn%=A+7Oz()Wsb^oI z>IF0EJk$^=)p5ZMyxtMPn73qkZxcFxg$AWT+L(mZp*HRo^ln}Wdh~K95*T1%jg%r% zdbkc+`Thu*v_}(KDUZSjM~=ctw*qMSaqs+(tppI9x&}4d-GWZ)+8hpFYywHi$>>=9 zc(f-{z;3Ufhhul|!mVHFgVzB>7pSM=Pp?wM;rCM{8Ltc_wOy}DJQJcNPM3@&2Fnsr z&(?3)N8=8(-8FOR9xh+WF3WI9-PcKyp_wVDeFsO_!-3Dy= z*sidhwhD6Txe}jNx5H&MTf&L_CwP8`BZXn}mQlO?)5%)X`-NslZK>TUSLCzn3NBr! zLa=`x-czrPcn?JQRhcb*72XK4BUh2UA?JzHxsk%%Y1eQsO96g4Qj;ikUV(M$FfK3}j3`@i#~op+XsLvmK2+1ieUS0*-vha+3G-#Yv&k_C-Ro2zr*t;MF4NZ2;qFUmsaFGZ z?csi6v?x;?_2e{mN{l1J-7Uz!?K3@%pFWz;T{(>0>wpsK$XgMN}7m zr~$?NlFvV4`c-A;^S-KHQI+S<)OZ~0HTS@mUab7+|1}OAH(M?Tj|1~_;^kF*&hYP& z_iH%O^}%vU`Ss)Ft}cHJ4Ji6Ck4L)?tU7-VkN$j@nfGg#s%-ypjrR++{_;c2x$(Xc z9^FHV<0Jk_OK1By6vNafq4zpNeJ&z%N+nde8OG_}U)f>#zP+dY7sePxUFTb&YT z^sgoCV^oXIn6gIfmpcvxs`elU?;Fw1qqR_RfS$PBV;gF(Eu^Id6VbCdmbBia&g67m zQjp%v6)))9iv{gXg5Z2_(V#v1K>8f2C|6woi7Q@!zE=~{^ro{&vg;0ma)aNm!Vm3_>S8PcqTC0-nx zj2Z>6lgw}cQQ?Wb;tLV+^!%HH;GyCMJ=1MPUK<~fxOzQUouY+IQXqj|r|U^9R5C=H zmn2HC(pA!Pt+7aHYAU%HsR7Xu^T}cx6KZwAn6@>S(3LOVu(G3NVD>T&F8iH>d94#* z$!1M57~O)aPWrHRaT1)`-~d-ASizMUW6+IveNje(pW&t0k|y2!fOg(=7ekY)WOd0l zNlffo@S8OW)(lexi-|cm_V+NC`R}vk+ReJP*!>sgjxL zZq#V#1klq;LU*F`+3XWY`mArdP_yJJGCrMzPFt@k1Y9WgS-ehc7+Vi#t6Ec4Lklvy z(j`&oj9DHS{j!L)e|!!1u6^5+B;kcF8tRjTns)>|{6zN(PNKE_yKgM@O6LIjgRoKJ3 z8+6-QQ{<6rDSG|MRWwfDfxd#3FhJueOigltymL3uMl%yCa5RFMQxBs@ozz6TTwjq| zZ;m4}crkTXK2360Cg3uo43x69G2Po)U9>!V0-Sib23j4+g1x&#g*J(g;e2T%98xwG zHLt%Pu4?wgzO$F(77NBB@0|@r-Zp(v?d3P9MP4X*9^Zu2BaLvBUOZ}RTL-(j-zCfD z1_+77qC@> z_p;;meQCTo4c|_OMK|+h;j6&Qz(6CuPhS#sj_6}g>1O%MYvwtkmZDVKpiZN zLyK0y=s63Z=Hclua&{d!dZ!J(Ralp1R6Hh$lkZ5MO?AZy5B5@FQ+E{FQv8)&zCYp_ z^`AB8zYk|l`$yxCn(SLY+*PQ!3CSE!Y-{qd#`oBMSD#sOS z33xj_!QHRn{Z#S(4R4>Xx!<$l`4rz@XwC`j&OOh{^C>>x>dx`?;r2W8e2V*@1312P z1^h@6myYB3_HgGfzQ221T}|Qltp;-UQ+d88Gvpm;arcS1?!H>^IJx3D-v}pnP{hd{ zzI&Wpy7Qy*^L^puUwVEwZMwRjyBA?H(*7uElNFbyciYa?#{7dZRj)$v#3 z=^>om^6^X2j(It%%c>es#MAdotx8v{@qRumM3M4i*Ix{O#^O^}u!O?}FwzVnhuY&bVYtvr}3k*E!1$#IhNh4oQxZ!DnhU7 zO16GH(Y}`18WgcRL;BvoDA+iD4#X6Egfmlx&?KPg_%rp+>v92q^zSn$*pOW(Q4a$kJqj z^J|Ngw`;=3$!p<&LlC>vwot6nw-y}NvVo^IwM4XH6Z$y|v%)5Y=#5xcRIs`!)_Y_u zS~`3wQw9-yaA-^P+l#@>WGn5R^+NpA${6aU?S_a66pWVEg_VDVfwuw+R$qk4854g zK0f*h`pz5yS2o8`;iqgSwtN6*I*Qn$ZK@~U-qv?~jw&Pk>s)8x5q@-QwmMi__;$5>Jy^%k%{JCm7LlogJy zKbZACVknA>U5aniY0nzJZz|gDx|PJ&QWMQ&h({xdprb7^4C+FmK_61F_$&&|JuLRS(f|)sZ-Xb+UnT6c?j|VOsH1*mtQHO)GK-_Yh@xF*lC<{N4>FPp%JFPOgSbtr#%c z;f{TOiO1VByTF5hktDIil?olD?~FW?h}Z9Wjs*)DBn;>Zeiw`(OZyT{zEwa@y;~1& zR`rF_!b`c!!DuM)^`)H8PKG@acDswc>gFtIXtZ}g`ygl8L$?)Pe z=6#@e{ZPovSP#J$4#4a&Uc}ZSg^hZ-4%@9>gK9iWhi(=z@N>~Ta0&LuE*Cqpxu1kk zR^mnj6MZ2eq8oj#-VM*Rc#MXOo(alBv!RXJ5jcA9F1G04432m5P-syB5Wj`E$+>ny z4R=eJy0<2qrBaKH+h1Q)Z1)k$4ChKt-nqwgf}-KTtNWzpKqpD;wp=VJ)Q~Wy%6cnD zvi&n&p=`hDpu2k)X@2Du^J~46evs}rZm_%=JDFWfPpV|XyPWlG(S2Qs<*6XNIii(l zZL>_K8?1-Q?$#3REf~r0%1IFKf<@O?JjJtYd*ah;7~9$5A#wCN2Pr8Q63HGv`Yy|n z+7@-hR@OJk=ntwSdPEu7@xC7Re9{R!1gt_1Hx03hj|nXvZH0p7*2m2o>(RMaJ`(54 z(ha>QTI2o=ON5;b4Div7K>e?eD_lG#RAg(p6VIkzc+LA?(5PodlB+eQvnE4d39qEw zgVdW#Nb51N?Dn+AqLkFZVE-nPX}4=2QgV0%E%%NWwOe3FN_MKUX)Whb^&Usi=>3bx zKsP7)=-duE{x#a(IZgR_OAg|(>Ngr3;PPZNh< zdq1665^#<{VU!+MjAH z+Dg2d=;IufG?eu;t?=23n<&{~uJCQ@e)0K2eVP+I51rMTi*_9g#P4pJ;OI%4QKpL) zZm=yCojZCR4V$_W-Jjq~O77i80~?l--u`Add*&h1vE-?+XkiS}EDZbC?PLDYt_J=- zJpJB38c)B#?YE8L45S)Q|Is|<&&^jczvS}|CvG1#-y5IzeJebj@0Y_FIrL5-`1MEQ zq(9{=W#Z_c-+%X8y6hEb9R2fq5q?W|`j!59pXzVvvR9)i;+(&s+uQz1=YD1TR~&Ss zl=eM;zJ@D3Nsvp=ulM&nmulI*y#^Hhp1%)ZtAIyy{_#8eclj?x;_+)m{QDc>*N%$# zwc|I&uhqGEH{?pb{@=fUGA2>p)rlIvRq5}a6ASn)`7i(eCH#6|oP6jgE`EG1&N$7J z^H;~2zkJEQ%K;SQj1ebg8fQPe(0?_4ZOhp$e;uP}$GjZXWmOF*;@2@ts?rr}yq_D* zQKbCX^_AyySf|$ZY^K&m<}mbU)_3L+);&Lk_DqjM$#WO7#%Je~79BjmJLkO=XDh|G z$C%OvuczXY+}ccQNKHxIsT=UF2Bt7;hk$KZRL-*Ac(I`LSyWSX11pK@$I8O%OYYgH zqap8VNDMu8w>XAN1$M(QWxoZ6l^C*mah)N%=| zta}EQSa*QB&o4mMD!+Q@U{~JVEE#(IQ`RndOouyixTV8!?dkLZ)O_4^(t24F=!^+-h3uK({~?f z?QKlgn2MzG>PYT7^v5By)XDS*mq6F-CMkZ@m>zm)h6hhG#&u(JQEI1D;RQD%vEAYz zbmW8{j@`GOYG>)Q18d4LyRrj(^-JlfGwZ-H+eZ|oydHn77sE1Lo8Y-B1+?$%#_U2D zGuA-sG<`d%D;r%ngR-kvX#c70*^&H1%*~imv$sc>Z`LuI*SH2dvi=mQQGXVjp5pqrKPR^a+;%~)*WVOE|O%`($U=y}O< zux@S&dXsms6SYFf`U)MU-EtD~s#Sz_`V3?}8$F~`YNz1ax!duO9mA-f^-wk4p z+!vpYo==BrWw3hc_1LK!H&_PqXA6{O(tXZET+r?sb$mLLSP#~dzB|SMMQR^L9hHxu zUa!ugF`M#9uTzszK^Q?xVzZG^UOahl+YAg;-B?=wM0CAqH0|D82eRr%ur_I}VR@pu zq~Yex`0PXqSAy!R7l2DO3IL-M42+Bd-gsa zLKK-ZWGb0wGV{N;dyeXx zXQ#e>c|uOEf39Q?`_h5jmxhKfzmf(V`t}+sny)K6Y0jRGv3ADkB5<;|Pk`q%AAeuJ z@GxN`XP34d!+%(+vi2%z*NQv`p|6PgSLU_g$?+!ngnET}PW1^5^Pe0fY;PkRSma5f zKd}sA%jM*e5w;5ttNn=D6nVC6e{!|`jq@5m$tTGBoBh-}F58bt6~D`+RNIeOALAzn zP4M>>4fZX$Rw@aZ*#5*WS~nhu`Vf7jcui{O#jOM9*KcISbav7_v0qEq>(>SC#QYKL zVbLPx2|qdFqT&BPTmzh6k7XUBfSvEMSn(Grp;w4Vl6IEqDyFBg{8B=$Kk{*Y>)Y5AX^LtJR#2wU*9spO7g&LE-*h0Xp5Zbj0yU*giu? zq*@U}*cS#*3lU4L;=_a#cge2$h*VrpFXGAfsO=#<)XP7}Yg~Y+`|!{yKEh7Nd4-Sn z^Yjl2o)YdE=I0eGBDn`m2?*$>)x$$b_YR+4+omI&m{)iYQ_(0>g8aipa+n$mE5EO( zutg`pKgh=`w3bP@=;QpoM11T}!V^M}@J!?{JX$zu|45%uAx&~BE?%MjUP0r1hL0Dr z1o=u#DoofalF-CZG_)v^iw2$G73AqPwU*c0KP)`df7}$2g^5T)Q723e4HR_~=Hufn zY!b~aDoR)v3HJ?Q+QT?~{$&x!%($Kr8Y0j?A_AG! zv%G(u0o8YsY%rjIgaMgLB*__&m2eYQ*IXO+&_8esQ6!a{yLOBN5|mRAxV`CCr%2MGOF;I|^x|Bm1O z|8Zrp@3O#-gbwP%)p#Amj2y1^t?M#=I%0m#ek6uzsQ$w>z~Q$n9Qy^Q9n0eS-1IqM zj;nL=#g=RM4@+^}YW!t9IYV&=T))O_eWnv`M5Er~?zq))mZ2j0omfF{LoBE*yKaiSu`CX*REvX)uc-YFgo|)+RpB8V z4$k4jT* z_13kAs%mMndmSyFx*Sh^Hp?#~oRz32X=!nXBCKEZX(aVVxAqI~skmVOtFdQD(J_}B zclO}%*oCgc_5CXKUEe6v6p#5-TU>rCUhn8A=9Bw=qBivW6Kg;+UTd+ks<7vAPIS&~ zxjN^yV(;VexOmFZzg0@^GjmwG<@%Gf<8Sr%tJ1}Kl>Tzwd(-V-Yl8FhGW=ni{C$ye%mjfwv(|nYF0f7If2bVBUv=G?e;zjTUCzlKxLC1_f7$XKKTUl(zuMiA zDX_iFgxmEXdp6iIHX#Pg$?J#7q-QaVVU-V4bW9q0G;WI)y2Qbu%o1|2;u3N??EqP? znt*}3H!Mg~BeOTOWX?R3p|4-vjTKIZKviKenfQ*!+}kCGX7($^iIFWZ6}Jyu3eJOJ z+bAMCH;xp(wI^%$uSN;Zj->y^RisP!7_w4rIvF0JLRLswkfrwwh;}hW`YoAGw#ll} zZ!cItX!c6t(W5`9+OV3e9i>CG>?}yBZWHRrs-1Y>I6m4}d6Cu#%cp}jDUrVK)oix- z9HGV@?Im#a7)M2xt*2feok6u=c2R?UYUo7$79`(yGP?To3bGDDXv8=_lrZcQ>ONf& zW?2M6flLOpchiN1Zt{?SU_DN|>PqC6Nx`Oyw*t**Z)jt1$7YJV8rVuPsGzYe3@ot& zui=?igDU!h($Gi9aWs#4?Q(kfMP#c z99o!&Ut1ece)k5zYSk22W^xhrHEIOD-Cog;*H+Mq<6}_OfC{7?UPc9{o+!Re1-QiV0FIyI40dgU$(*b0`D150P(|;$ zBI<(*8eVvx((JAbXXD#IV5kFGZ0drOl=~vfS5jn*Yam`PWslnDX~F}G4Y09tA$&Uh z8o6mHAV=wC_|&{hL?wPFDh_a?W`(Q+yOL;{r!)_#$EYITv)bUn@W8iH4L_`D3e&?P zz%I!dZ95xJMNM;uj+YepXH7$4{5f;byIulqz0Y7{oebRQO?za0^fnboIf2F)4J31Y z6@+ZghtBV2Lb9|1d^j@>po(^${~?+PoUH&1W2VpUi-9>-3=XX(5W( z+mAYaIEqw1P=hchL$vLMCp^mHQBk*2(2mV#(X=-M;mPDOlr>xpn}+s;lWl#$YF{zB zW0-G!$~PD$t}B6k_9akoXB2ccYyxEuJ?W1vdlS9nA$W0EiM3|=O?cgXGhOBX7Im=C zM>C&B!pHc@AZwCKxjm1DyS@`)z{(aNRoWAq9F)OHNp8&GSBr_&vd`4p2?I&O;YD=P zj_c6q@k%I4dQL^%O(*@E%A&Y!eIS2846LfK#>!(|@WJ7Yu+03CU!F8 zdP|ZMHc!)o+v7?|qT?*8n?8@Z9efm}4H^N%92@b?Q@Y@lThh^?@`Lo{#mUI`v;uff z)dS0!>NucgDm6(biu&+*2P{(RO!@ZsNPFe%LeVcD!PB_qkWt(OI_r1Adp0$O^@{Bo zspN@xd)hGkUiTu5dzWT?AYuZ}aFHingA^e=Lj^v_soE^m9tAT7WP_#M2|P%_0l)ls z4%zQYg6r=GLZk){N;C^_v%v}IqT?wt1xZ1Urz`ba;tr_k@KUhiiL=CPgsYI5A#sg#6_T{nhJBfs({ks52$_PD7?M*7WC}-IXuN>28>u%N#N~A(kJ0E`*GXNFajQ4vf8LB3K#@Wb((QK}Umo zJAn8sQm+&!$u!4Jv&sam z0xIbgouz1f-wSBWt)=K{wjs(sxRe??%?b@ETMCa>>A}bdb^1>GX~4|Xfp~j$Fm2}v zGOH3$Z}%aj*Zx3Uy<-sso~fjpTIzy)19pcpO^(BN^eoAyVOC(aVJ?=*$J&LXbyJ=G={P7 zdtgP`i!d5(g03r8P`$T}!urK?>Bb}dL1)1bP}-b?j^rr7^2>`T^UVj*Jv(2bku|B- z2HU)qrKYJUK&)SyjcGtTn@mMMD!gO_ulE$wGBqA}n|3UnwcTv+7Tx-m-p563Xb}pmmH2I ziTnMIr;F}~Zq1X#u~fDAEV5(EGgIK1eP)3qE)IMxiOSba!j}5{N6t*lp2i;aEqo@J zO{_V+{pny0jsI8;NcxZXtiHrxp??D z;ycgT=Pv4ho~l56w>ca8eu(G|gZxAqkc=~0tZc2nL=liiQ}Ywll%`s4Dz2o|ZYyW{=(d=l|LRepW@*fRF|cr+_rLmv1) zU8bLYaLMxv7k?sHJK`q5#r?Wo!BPM7lH12h-q-QJ&I46?i|3NYPU%~DV1&Jxk<;6M zu8D>t{>~bZ^q-|_QA%FZ^fAd{lxqYafa2~FIGs#87+4HTCDwW>iFJyU;%5l+MII^N5wu>v63sYt46U4?f$n=J zU{{AH)JcpyA)YZ{?&bYxa`<&hxl*`^fC!gn_?KADk zqvO_s)5X0B94bORizkCu(I_~wPy-ZFjZpk;YwLkpo#;Lu=_pTWF3!8P6{Te86C-LO znlbnkp@$B@ofq^)Aqg$P&!jhnY_HOtgX3*B^e?A<4!uL^dvwYCg(1*_$w5w6Zc<*k zns~-jhKhMP9>twrkKXn5$6;k%aQ^F$)H;4<5vgl5C8S3>YAL`k2T`(-EpgR>`A&RBuV6^BrX!7(L z^!2f$r{`TF{vmtG?D@Tk^RoGn7C>Ruk*Sb;M2=ZB9D&Z^J!IqXi=)d3Om4~^zFb}o|Kn>#{+$&Tc<7N9%wxA$=1qJKzu(diq>WlHnm%sG z9MH~W^zuB&NJwVls@E_B#w0S*I}_>8`HL8x8*`b&=LwAYBPXcPZ^gfRDsTV12#N`e zyG=9wccH~@0+iC@302s=DL*ay7`^rCS?Jh$J-Yd#1GXK~8lJyxF4(Oj56w0mr1nOq z!S>x0j2|BaBW}I4*;!pfJ+UmJ^bZdeRAiqJEEwGq>m0jEd8=Qb@;AMq=k7a7y`L6E z$-h2MZyD=MCmBoQ&Xb(!6HPU7_ub9W!fU&zvSzcWPKSHpyhs)Lv`l+Ox%3En)W3|l z6y*v&K3EhPpgb|4MM#jq~M4|d;Qik5~9KtskE<5Rl1 zsGH_46s6f5mE5qxBSHw(V=6*3*UM68P5NQYg{vu#2fgSw{rN~!UICA|*##Y!yGHp` zb;JAYby4;7VEW?b?l?Q64^8^qq~`?Rpoe#Df+qVk-yfWJ07YpphpZ2uDd$h-B;>6b z-EQ*n z+t-km{zWuq0D{Qt<*=-B93{Q7H$8f=92&cv2l{h2Q_2&KfEp|d-qo@6>RBnMi}OX~ zbT*r)weo@T7dx%H1^c10fF%Okp@v|x_bDprtN=5XB%|vsdy&2Bd1$=de9~)#4P~bM z3Jr;kMHjQ;u>8nYNTcm}YSZS4cyX&-A|qXz{ZZy%y|Gxk!BhhnJqucYvAZYs$BW@FSU_x}!w-zLA>&58gbRkg{FX;PsIx#Wp^>I!}SH{Uc zn6W78%=Ao@VOE}+g(t1FWUlyIFft3Gh+L>8AkWGvtP*!&lzmMSZK^;6rK%b z%67MaNu4!7Ipm6fR9&Q3jC@Span-gyH>4xp7H?<`H}}$yo*kq| zlo5J&l^Q+3r5RG1+5tOk_oCBAwWnWa_Qc861MuvA`{_<*J@Br^gkG5078mJvzz;pT z<4^Kd;L^VZXeq9Ovhq-YH`RqW=Dk4KD}!v_9+0P;_Vu9eKk$d#VoR+4+!9mx1-R6lFM$2ACh__r4*1*$-}!AX?8!V<+5=%dHV zx+u592-+pEJIZAaBYl^PRLNrlv~FHi?Y%Jtian6>%rn;N@7_~#gPzf?JvxvTO*QBo z)t-eD{N?DKr_`{_^BTJOT}%3(womwRIIx4GSa)?1ufGcp96v%VeKczT4LC5Xh=$@% zH6WQ^a`{KJb6s{W@2l$-b$R}i8ixbFVITNv9V-)Ah`x!tvE%q*D<=PF{-VlN)l?k#!VD*?Kfr4l-P z18Mzm4bj#qB{8FW3A8&rBR=L{HjR>Z5$V}?NzkNXf&8mJaANHpqBPwNEA&%j?u6#T z{Pl8-ppz0@L>4t-*S@D;~hVs@5M$r|}@~=vJt{ zb&g)#p8=&RXEa5n3$>#7Dc+m8kGQAZ#$7jfflmBc6ic;*uJ{6y!dj5PGlVfJ3!t5@ zH@wqrhx~TV1!Lt@D48`6f*3`(>lr1uYIGe>HW~%bp1-7vLKnf6`4pM`dJIeu+#+49 zwv&4sx6&%>qABKVV+cvzE{JhQ{#^5P&d?gu>G+dEIoM%NoV@dGoPHo zNq00*>mCJE&P;;Vk=wZc^LAvykmh`wPXZF|Q3fkMXEN9Nn%ERgKZJHVjwOP9rcm1J zo=r>Y70jZZ3P$cgP-$?s&nO zO%-siSrTOLy9nuL)`LTYDo$^b183)@fmDZXRIo=PJoAl)k-Oi5jQS!7%IXK3TY166 z`HqmJeH5nlbO!$CC^+CT71qvajr!#uM6S1`$+|IxXwUT|a9o^7cUx;t-jD1F&D|%^ zH&4r=Ee?A~MJE%;7mURxa2mYc3QUV*A=qKtUhJk~&jebSz>?Wd;GwfK{b1{F%$S-7 z=&;-{(ql+7=J4l!==>dP2pQo|-d`fr@+&SxT``-q?4V1w23o_elbO(W_FeRT=OsAj z*$kHSEI`gnt>9?4_h?k=e!6k41~hHErZDSeB04dpDN>l(38zH$BM&EiL??1LQ%TK7 zQ>A8Isg0j~AOHYv?6-iJxhv3drw8Z;Nrj^q7Qwz<^Fh5l1Hvf*I83Dv*^})Lmp{2-qZ}iMNzNi|3rE3x zx%-0Fv-b*|E9B6p_tMz0Wd&7@u}$WQ?ezGY8hCfCIZ{6L(dMAJ8jfmig|9!+Mt7ea zr8TFT$0-BerA;RCU5nsD)d6^5y&IhD+JfFS zd#tUU4!#9aWR}G|=yY6-e_Bcz-EH2KwC$D$-3jiOclFudW8$P`@m=;Q(f>cbE5;R?@Hjgy zW3Sh6ekytWhO^H%?C;rde3I`k)Mo{DU?t`FB%g0}VEKl!_d9cZlJ`IRv3!{l_>m+o z9nbO|V9#G%e|OosoW$>2xw6+&IliZJ#2u)x*NNEfzFBZMx#T#15l(I*iIbcB^f>u} zsbZ!5TsV1s&+n#%h@~wM|IE}kpWls`BIcL-re!oR{1Y`G8Lze2NtUzr!_E17DIj_a|zf5U;s6vo(K?*#n}gH-qjiYYL4HTH@Fd?fILJug2v*#{3qC zHwjWZUM1y^JL1u>l{$?!khLY(;p)2muw{-q_MK%8@7*k}krFDB8mudYF!j~Btrd--VNJ!$;<_;S#)kEc2)WYE`^jDYr9mT-O8dq^E} znSTCA3Ho+f1$}E0N!YW`ka4>Uqq;i+NAxv@5VtbMEuDw8$_$w9O7qbi=`QH}$3UEr zV+&V%t`k^!>EI*gPE1Yu7_{jQf`yKgu=H9_SfHl`Z)E3TzvM&E?Lq-KyEeu%=TF7S zx0l1?Vn6yrf+8r~l%gheT|?4N?zizNQi0;pFX=n>(%2_;1K#Ac8mD*bkIAECN^@dY zxbfT-43F)FSI>;WZ0;dAFyXC%P+OaSpbed8QKy@YqGXlj08XAmNe-u}r282#b@3z^nh-^PQx3%;C9zQ4 zhlg)TZ56)ja6K}7wwJ12_Ljcpq5;=UC=89dV9nLx<0gx2F61SXcY6ji zi&fSTm7V*EcHT)cr;QO`f3`b+?VVSZz`F7f$IPF|u*-DDXws1-W% zl)|4BUJ^QF8qS@51WsQnptJ*z(Np?L)6ex=;w|>guufvWP3XX7^wQ}C)FaK7SUo`- zkDu6xKGD$tYnrt}X^FT;<{d?j)hdklVF=hUn z9=jphdm-3Vb_KeLAGADr6RkNr8cG}6Q3aoL5H+ALOs&vD;7s&dw5S5*S38R1~7ZwP(@ik}|l` zIgyH75(Tn_vS853O!$7iDA=jFU*KD4A@r%!#IZ6NzfvDTKQ+;Z{W87q`pgG{^N+eg z>Z3|*bd3+r>xbdDuk3(1e;F+bSOMMoSU_pYB?vsel?)8aAR{o3uXD!|4-Pzxat2?kH-3Q)BDLUN*k{4f=Y}X)<<3K zV+E%cU!oHRO5x^>g6IQb=jctw(R6vpbNY?lE&9=o3$zB+8`Fwzl#kCmdSF&#JYLy@ zzS!tm;px45Xx}JcR%cH{4{z#Gov%s3-OKZd$*f3J>e>PoH}WDH*%4MH)8oj-ISFXz zkiI0OLlAzQ&3~P|4YwVB2yU5j4vY zUe~&W>@+&T<~N#<=(&;JvmqWP_e&#rt7xQWt%uJk41wipI>;bnFr76)6OdhN&@`$N zUO)1{S05jz7e}h0)rN~GYlF_%^HC0M*Z&Ny68&6oxt%Y)BC>>T_uB`$?`;+Ip|`Eg z(UFRHdZWcur0`lzo3+i+k&^=udGVAsxZ!{_Z|I@}I}~Bir12ypM2Ek0M*+z>+7mQ= zFXQ_r2ZYzQ4EUKFH1OtfIT$|u3hv$53vbl#NUa&Z1?LLx(t3T(apzOA_;YF|x!cka zQV$NM-&`NS+}tt~8;ug+IGcVT?=XWb(Qgk@>Wy*7btxp>FOI%pq{qC7IfRs*V^G2S z7|O25QuxluPc*-}BMuC{MOUp)r*vH05GpgWu8i*sqmR1cr2N&Oyx;=mq_04-J$v$t zG~4sTyo*Tkkp6h=$g`Bg+Z5(j(I!+=6HBRdYytE87znIYdmxP)x1iF#jUZKf8!Y{h zP5s(u&%gide;l5E_iv4-m$UcVMzc%afT#ccZU1}DKr+AN@()Y)K5A}kF7NxR@N}+U z_Pqw|+st^p-+wet_*1?@CYEl=@&A!7`sr(y{^h+0f250EZO7u6#(#Fa=oLvUokb7p zj&J@uo&A;V-*M0!uEU?S{ML1Vrwhe`bL;(+PNPAr@1y}qzvr$47)#*MtbcrE|F-|7 zTpWHaiGTk^__e7der@^}TBxT`YhKdSWW=fwQ}NdE5M>%*^I zaX{`NlLVs`k+L*OlZXY9Q$DAAuWnB$O z;@8nBb?K5d&d;^xOHzLA`i<2To;z>_xzk#OJRWU{bw~vAP?bW{lXer=gbY&VdV_9x zR29zfg2<@1ErrjMZy>m64v}9YO>SIq#7{mgBi5s5klr2jiQLoxQnb~SNSEKhHet<( zL2r2yvw0|byrU`h?r2K{{pTZ%fQ3kQtt_~ok%E`FE4BXc8+zuNW^m366Ph_eH`47w zwn&*FsSOWM)s7ULxJM6OZrD$f(~jVv*%3IW-C0yTQVm8e+z8zYeTd5O4bWwo6*!LE z4!RGc@#ju$pzLWiHukxJTcoUp=<_k;!Y6?BGvc5ka-Q&AB$r8CZZ2G|oJF&8(e5Z-044P}Q=My7NE| zHObLHXO<{Ys`FK;u33$k>3PLu@E~8(F>@SI%c>yV)>xDFBZm{;SuM$EHv~hv&Ld04 zM3Dulie$scM&xLXJe*FlAQ{sB8 z=PeZe_RJPA^Y1}k8(pUMl$)X_mnTyrifgE1myu{?M-?Q!x|m+}dJDDfhB7rKWIk3H za}G~ka)dNmnL>)UpCTuW)ERo4k?3zn(U;u{>5H!q+Z>*Gj<%b#hR)h3jdz6Q z!p3JKP_OQK%+z5osjBYNNYzVi#(ef-a?Nc5%)~u$$IFk=vpFwts{tp_l8k(!{#2GZ zTD+9nexD{M^?k8*em)s`#DNHJ@Wxr|WJyt&9=R#Eh1j;2M^E3C&`t`SP<3@KdF(lg zUize(vW+xD6PRYy+v=_KhMukHwBefc#Rr=xuY~MxyoL7H_VtF@H)x*2$72QKZsh$)K!R3K7|5$&w`s>7H|L zLnzx2CRxJRvP8DB4gY()pN|>W`1{WHYvyNWy02HAd(QKG&Uwyrp65BA=lxmkT<=bu z8)z772xK31bwOQ$R?S!b-+S(}Xqmi)uk-X_+!rOTOytU~%JMHt0#$*GX2`W`as8Xs zkvAA}2lngZr z6M{oWg~UWl8+p6*;2Hj4sm%XBuSD-E!6C4#79WXvPDmpYGT-t6V z9a!c`vOl>Da?9oAQIWPw53Bje+B5|oTz~2{{S6Nc8WS8o;*0&%I4;+ZOclS%)u5&y zxjup-!bgUVk`4AHxmGlgGI9OMUG(F4AnQZ+Q4*-t%!^+K-mhP(%IVys1#-Vu{;Xf; zn#lPla)-sslqdacl^3=D|KS?o{dySZ7`fbh7fqLcQIdLvjHGC1>;2^PG>%_M%Jo}5 z-fz7J$r(b1aEx5R(}&5NSo(?Q>{e4y$oZkB)C~*;VS$r^qXNPM#|F!yi9nzu9Yp3L zN=kBp>({gj1bjInI6OKyz{#Da4#%}h8qm(NNdsEJQfu6FkA>}4YJVOD;k zAP~ez=NS<-GAv?(yen=y7u3WLY13r$ps>K`=o-zLyPKK!4IUR893B%I7-nv3W-gCM z()P*bGS$i$qCYSMxXM^+6dx_63|8!_lT5{*>4lrTql_FA6&M;GI6O?&eN0qru(WA- zU`$X*KxlYmY)n9ONMNLlG&npqEX>x-(O*g*5i_Z#&0IRMz!=ANvTkC-Lt|uev~!SF zeqB*%i+NaRcyM4;4U=@yhld8r__(2@8$!5rCkmAwEuC~|TyT_>rZ|-Wfl;A>;X%QD zgQP6sqZB3;Ep3%a*w$V)v@DX#1|1m~9uPRbhId40bWBv}@K~9J$w*RBM@B@Am30#x z96UnWB%9lmDbl)3xGxAZC^#x2`ePAl4&`PN6+9|7Oe(K@CUT|8yZv2Cjiy3lCI$R1 zmFrV#2htfxmnnvmm6!Arf=m)c?REIzULQ;S!KQv)Evf&>cz(wue&vyAFe*4K*8KOz z`VWlG=`$nL8j#!-e%BCc?DBUh-+lqvFbttQ8n zef?ZM$LD{1$>)LG;es=KqR2PYmVZkP^zGTJlMFfGAU}aChllXXtB8;MEhqUG2>mti zTbb&A#c%(2Tv_hBpTlo|A6FAJlPinI)xLCHCd6FM&)d&mpz7Koz99|p_$>#=e!yvm zakxG&Di6%@bw0j$@C|>kl*g^QAI4L+mv_MT>%i509pvpC94gR4AM?3#bw7}|f0##~ zkNG^f`mlcT_KEUB5Fhd}-&U?(IGSVl#tR+?H#3$C>cOp>reGL{gEy$b!R1%feg(p1 zIJma-5FQ8T@nOE?*Sn1z>2v2{X~#CQ(;atiRb*p+E92vV4Vk zyji!VRUr7ZZdh}uwwWn+u45)JP!||Xsivy%0stSs+PhV{!nb(CIO)O-7uisQh8ydujXs*97n9 zY210;|DXHcLoLu~BZ`?)4Z12CqQhbfQMX<5*s_*+LZ7s`qTY>LiQexF5$Ea75Vak+ zLHIVZlV}*)ExKYKFPgbVJr7$R5!GGjBAVu~RWvifK=kIjcA}Q2^Jvwyp=|oXxoo3* z1EzT_?cmF%=EAhj{-jUdLzusHuK2xwBi5l?JA|jbrj6RV3CB1!!VC9|7Dt{|XB#Uw zQPb)Q60QSmM4cj<)X9$>f8)oLgVwOZVoMg?uqT_@bgf&1EyoTXJan0A8r~PW80^OD z`X;!Y*l>oP517L$p1D$_zrwwNaU3ctd__e9BlfOgEE6RAv#T%E@wPkO_|m~?G=QpL zhsXQrq4=HRJ{|!$%wYyD*rHB4-dTwwrfHK$U6&!#&@=R*#we`vdbaq+oP#LeunD$5 zph2w%*FkaHJ7Nu15AJw~pk9&yywkUNu3}(e>n{Zs1LXF!zocK zr(qA3A;oGp-Zt|t>KEPxx1H(^g&pS7_CxBz)4FPOSxXJLHSIf`VyX>6PZ#5YM{lsP zQ(dUcuz`qmEg|woYx*qWBo12WPB*RGNVZ!WLG%bc@QJ&KhZlO#k#k;R)m01W#p1r; z&MqcxdLj4sYTlT1T}`yt?+F1~hqCoTxtf$u#_$2SC>@MzWLSg>R_va%)E ztN$USJ6;=NZ|opGmgC*G84w)gX$u1_U2$AlQ`lUh4}Q&@VEpzg7>-jsvvGTH$TNZR zP%YSUR$APse>&21>Jz=&6M`)s*KTDlD9pCO~A&H-!iPIh*$5VFJk))TDumLu! zMAw6!3iIPkSoDwy*i_e0vchUQX+HcFxo+^35aCl4=_f%~L#j~6iM?p2M~>7b(3bW~ zG9eBdtnmBG`uJ?Sp~91H%2=ms8|u5~2+?gbi?BAk$XI6wx_C`v8n@V-+!>+)1*axK z-6m>K>M;l=+a=-6-HpN8uMp*YZ-`%y`T;ix^MWe3L>$=96ZCr)n~@e|rna&}W0 znm_jx&U|PC%@^y#{>f`mmd{2Su&OEiWVDdkOx}SFo?tp>&M?+%_j78$;5m((`vm_G z9l!$hS7MvCrtsV`m_0XCVF8Z5V&#!dNsf9vPO8%nUwO8JS&UiZ7JFwcQk~Zm`%N>( z6I)*=hUc~*bn_=PLc8L?{Ry4KM`!EMW9}o7^N)*B_)|0b@VONlpQ%i*heZf8DrTbU zRqx4nRuyDGfHE!W6+@<+8V)M!PT;W%kAj_rFI3;wgwwtS5HCh>_Qw$*$&8>+axX&q z=$Y81^8&oBX9?Ui+5xMb_A#@xo85G+dj&euxOT~)3(u9V1eU$)*KFLO7Bs=p=*J41L}bk}~SiF~Q1UIJAf?$(Rd0&$kjiUAYAhye1IYq$XgW zR$V~XUkxmRTEf-J{kY}QcQ|dv5p?uTZ|s^e9p5SmfH|)=NS@>|6qc0_rP}_urR1sm z$$3xFmG!ESrY6MSDW#U!&ljzz9lX3r5n~?d_<@DbC zzF1A|GHxt+&5ROHiiH`?z}fl;%I>leJDzQeRF_qtE2~>mH`O9?ph-iz@a1cAqN5G{ zVWyCFZMA?*IK3Xt@v)-1b1=k5@KwvYte z4PBfXCz)XsASv73Q*tOVRB|%ss^~@czLLlNA|>`W2S{4@WQxRH>?Mn*W{OtfO`^27 zmXdYbM@xP($(3|lq)qFe^_STFxLY)~zpCW@STmZf?hNbSH-p>5Z9#ag5lE^m>Fd=^ zASL1i_IjZTtKX;4B)@%lP--&u+0cOcw6cT+jdY+-oS5qUU_n!cTELYT#q{%R(jXyNXjw%&#`UE+oO zk5HUiER>k!4khXXJHz8E9ynIgk5-mmBh>-QIIrX$uJH83>L~~CS&t#GnKp+AA8Tkb zy(8E?TjZWm(FknflTl0OQXw9$3su_+@RCV`aIxB9@$$vTaj~!xJy_@gMFIz!CD4c5 z76=f#iswG=1TV7Ek!h7V1l6;F#A;1A@Y08-EZ2jC&IR=QXK(1TdB?E$ycNtG4LCMA zL)?2qOIXzLAXV$w6yBGr(6t^H(fSFc=%~9EKB9aLr5d`E+`jA3PzP5u(^nTc>Yu`e z3GGnRI>k7<)lYc&&VA^h^<(t(aUEz`nk$|+#UJ@6Ucmdx9kG$9T%4eF3oUPa4xN2? zfh=j4Og7$Dp>}sp3p0B(#>qKtP{C&y4=9lvPkI!fMypk{LNYA)r=c<1^ zpDb@FAJ_M{!wWvmCwWBSBeuV+^11u$3b{-@o|8nLUkW~ZKj&X2aP2_fqy`l8OFsXI zS;)#ic!r_1!s53abs@bPCNXGi=5__+VESMbz7Uh?O$iuZN=U*~~Zp7Ob* zaZ~zI9yqbHoRQbtAJ;_f5r1b5DEbed2j+J8cvf5<$el%fy*zNDNIp&)H{Msu1DzG~ zK<95h4^;0e*Tml=54_%yvkxwQd@0W4caihg#u-j;|FS|c&X{rYH{HpUHh+Vdj6rzta)ofvyX%EuPb!x|v|3=L9xW+Tqypx{#2X2|3N)VZ&8V&?cp0IPtr~xG`OT>wI4gQTqGQ z^7w7&vQYx5M!n!_%zE5coJ!Un=l~i+OUcj~$uPKo6LLP+1qw7Kz|*sh;bnuXsF!&k zXgJQ3uD&)5)|Vk@GD{bPH=BUf@U}3xX)snYY)vy&RAFZ0&M?t_3we}v4@Ymgk7ka` zz>V{hpqai8tiSAwbt~Kk?F?QrVUVdweZ&)s(3!C**s55RRM4Zv}cqoDDvWwx5hD*wD z!kJ6BXJ9OhKhhntPaZ=7UbC^+fStHqLIPG<=tJ|Dw1?@*1E|&6C~$uJS{%FMDRx*h z5_{o`r~xx0XQe!qxK zIK4q^v0^8ivF^3_>fO&-zRP>wzBNWeb}b0=a_VCdfE2|)2P-E-Mw)O21-KNX01i6cm4o+ z)@%*4I==+9ihj;Utw~_b7KAXneRtUDJ}Jzpn}12v+qVnbm)+jb6UXU{ma^Y4p11Y(X1ic4lY~cA;f`iOIt? zY}C09Y}T+BcJ7dd@DX>AI#B~2zTOO@ z9}-;VxmY~s!ff%BGdi$su06Qf^`)o#c*3Zjjj?iP7bw$-#pU{!@Zk~0u>aCcJm-cE ztT;DIlH1#wI$Kjok#dG)UH<_R&%H|}JK8U2uBEe?u;3bQet(&y{rGgrGuefVpd-pm#dlLb&*Zzo`4_3 zh7X!RiRx8kkkA1JzI=`KTaUn|4U4f~p$VM59Yv;$OC}vk0E_yX!V^_J4)0lemgss>&dDGr7UKaU1ftTa?)b;NF}RcS5ezM!;C;ibar-&WSm}@@g!J>GOXu{5 zZk|cB<%3GxqwO5<+-nB0w+d0}2uydJZI0L8awHKawCMxs&3>1(FOsRJUlMcg$LL|h zWKvOlPy8&p4)y4ugGUe3!|(T-)0cZ(anNlK;q^sEV%^<3NNE%-VwoHPi)%EfTD5>O<_`>0@|5oMh^1W9vRA zaEs~7aNzq3)GR2J4!xd6tuKkO-{ul=!X!iHc5ogZQ*uaH^*x3@@0Q~2;$rHc-99gL zZ3U`ld=4+M>XYYKY(fn89TY!nY)8g#C&W^_Et@Un@rtk{v+A@UtIj`i>(=TJTBg?Z z!+kJLYJIS^t)OGw)}T!K+%tRJlfmuZQ;>hiXT=(8|51#J@xzRpT_U%y@RR+sappo*`AB?R`rP|r zd3kC}xds$*=E$12Nq=5Dyq~)c{5;RUk)qP08?0$jDvar{8Pv_kz>n5;^m30hI6nV- z7$=~x#}W;p%Ss*xjiL`C%a$wQ(CMx7dtEsAVBv;zX~e{46Y)*B%RkG^x?~vB)-h zChET?k65^A(BXs6pv<1s-DqSVY&xQpwJ2?YCNpD^<*RLM-w`Y_>0m7RS#3I9I;yki zR*V(B=DUa;_DN#duJ(35V~wGg#=8zaJccaUGC1=R={&eETyh+;N{ zQooQNu%UlA1h+3_w&!+3G|>=scUd9DQSET6gRPW$!eQ^bb{k9e0tn$*bv%@KC&o=n~p^gQ{0VBY}pmoE!qs73ig51$aYv~ z^>K(?x)knQwxuCkSCQP!*U$lfJK7~CfZ1x^fEh<`3zvu1A(w9D!Y2Eh=x#>S~ z3x>t%$kwnM>1DP9-s3E2Zu%VUjcAIS-&?|3FK8fnHFBZIVf|xP_ohG+r!oco6rM@r zGBa5C;NzrA`4-eGSdBJ0-yC^9oGH2Q@e{j)g2+#^I?=W2KcfpRD)5+j?a`g%XP8#j zGB#V8!H{N|tpCyuw8Np<^!2*$h}X0;?Ao??mJ^VIb`KgzCpXY|?{w*i2~XJK)+-sCoe%Tp9AF)f_GJ#k*3!!-ONdh92{z{G zOm=PWK~f@!M@|8n$VGh{x|_^E&C8K3xs*zdZi%O9Z%f#;G6~L3vc}5>8$-BZDjX^-_H-U6aj_(jpZ$_0po}d{@D=YJexby10uM zT||ca#N>EKElRiUV<#MT!MVylWLm@{a`llHtn{8qG+MqS88NSkj^%39c3=m5rk6U} z6IX={++L$0_3x4WU5}8TjXM#~+%+ie%r105y*q7+bf{$dbJTibFp3+HLQYwoL|)s= z+>CaG1${HPBdv-lmE zK#Iu3d>gu;dsAXDxd08)drK0VsM6&d8=-!WMKo(n9bx;d3&PP$+-U1Po$(VFE$s8y zQKHwOSUmswHSBZRPP9K^72D)w17Q`L!7OAI9eY`czI+X$H0mu%*>&0d)ZiEBT;uvQ z);(I7t?`T*)fvN#9%EX?EZv^04G;-$trRIY9YXatxk1HB0W@%Y$WAvI1%exvqA-=Q zaCFT9(%QHQ^e%IO*-Q=LC0)?>H}{b$y-TF|Ko1rWkO`fw^s!#)CE?My70BM?B^;h& zP17iXr9G^n>`@jS?(i6z4hVtWLw7>&1FpE?oM6bkF$4$2c?w;stn!{E^d+rF4W#x> z{HdPu9!RObjf@&{HLtLKSI`w5W%n%Ki1SES2oH%86`eTFv^@5*y4zeuqdT^tk94ZU zjh;*vJ&B(x8eL^Z+xRx7LvGI{wgc9ZV^5RW!`FI}xyNm&-lO{Xn%)YLc@u9oZmu^G zCLe%RyOzVixd~u+znqP-8Vbp~I*X!)yWx6$b%EI*#)mhm<5O=N(R}Z<$j-18-gZe@ zv_4#2)UUuE4{`?bcu_kD$v(t}XpV8eFn&H9@Q;TdUmb*z-QF>$?nfZ(k%=hh>S<&( zWG0@y>pbl6@TSjxRHJuG^=X;cX%uVLMzrU(fvCP|d)jJzBGGW~>i%!sGyh3*{_Ak& zw7)gZ>@h~Z>hav-*W%3oBro{-b5YDM`TV0?;XQ18-uJa}X2tiu{Z+W_=kC`pjF9V? z$C8?G{hkfar}+LtD^6f6dE#wCO(wTuF5f4hlY!Fvbv+;9$j76h;YJ5|IxG`LS*?YG1qpyc6Trhg zlUQxsjLf#b6(?0KA$3Nj3%3?^!9@#JBh|DOZqb*GaJ9QNu5Qwpco$wKJDQr4l$}e+ z29uxAgJM0rerj_(tRxuio@s%1UN0v3d*{JZ?*p{3!ycGbnn&i>wWkeVOs2*c`qJwG z+i+r|U1Dc{U3_=(c09PX577zhLuU^(1efbNEa8+jpi|j6MHB+1apOU9a2njUR1%qI z^kY-9>xqu{`vGZtpF_vGPa(P2Y_P~J1(f@#;mZqmBZ;Oe-0hD+=ez?8-?9_*0yd(1 zD_7uN7FkfWY6U*H_MG^3&_bBDXDprEPJ-+Fh?!}-e1fN~Bu~$sLmDGBX}E6_mU$?P zw9=~-yFMC9oJJmJqlc`ZLqkiMa7$N~?!TKh7*|)axQiK^bo(_`(v4>CY&%0|HFeRM z^AB*E(OIO_UP$Ag9$>RH?5XLxMUWS;U7VE`Mi#HmVO=scAaCS6rk%u~Y`|+!y6(q( z0?S}->Ns|%vDm$St^w>$O@sW=nRL~$w(#@BHDa?6GqRyW9&CPH4>vWL3Ac66k!HoO zh^4(69NSQU_q1IOjrLCj*5f^0+hRDF4ciBAf7uSsmXC2mi5PmPZ-Dg16F~ZgKXEsM z@7z-!+u;FGb@AS_WoUC~KI}E@Mkn;kL;>~hLuI>cb|Y>9oY|Q`SFhhd+wbTKomW)g zC+QY2!*CH??l~BHotuiru9%K2M|tC;)h%h%(49zNVUIdpFrtG;XOm%9O3>k@#YDIH zJ`$4cg_n!mX+>^xTw&aTu6Z#^tg>?zk_;0IJ?Gir0fOmh<0M;A^`K!abxkYL59JMT z|2I(d8@)m6lnFkhRYqtJ3o`Cb7qE2jXL+_&uyTS4j9? zj(QS^Z|SaqUW*E0W@S7xv)T3Sg>9A^PeU6w(En*gf5Td@Bx-oT==QCdH5YVOjJ&R_C`Ogh^R{W7~N zt$S~^IN-D`PS|8bH(xU#g>RIJbB3evNYq22$1lp%f5JBOqPq_+3%s4HF~u2&oi(RH zk5=b}7QRGE$%feQ-hE=zdofwPK^;5K8;|q+j*)_e`gq)V57MXKL*d>O$2F*Ca0=la;;f+pTE=RBG_KnIs- z7YR>ZZ-%#wR3Um7cA$4w4M=*2e&`i)#(J@v@}^IJBhD>rF3h|2Hh0Zl3!L3sgS>oj zQylb0M3tD3PMFXTZ!F%3wzgPBPHCPc+9x`o+dnKox~ChmjLuf@^Ez+3u&Wj|yr)97 zW_i$6=r%2xa6w%1`miu4?q_Vg$xL$iZGC+2KqJXDm!quJ{&CW07~(-qeUjLB!Xy!pqWHRojx&n6_cp4r(N@soB*pvD5TxoTZ6Ykm43f=47g&q_ALR9TG zks;4kxI13!K+Lz)bDNf$M4~qv;kFA^Y30;bR5!<(>iOl9i-+b2b5ty_=l8#e&y>cA z58ZEu-3IE?_jn>n-)BiPihgqM5-OmEJ*}uuwL0n@w1v1IE+fXxmk4{*D<-R@{k8UW zpz%JDDAdmquWnd`<_~L(OFZr&;SDdEpVdip!y}7nDR&mJ{oW+tSUo&%VH?)m^&C3* zLnT&;xJk0!IFiFU7lcZO3?Sn96Xw57O;k7bK5n=oPP}S-I`p8A@XpXO44z2}Pow|4 z_tL-P?EgAEz5H*Dr(fjmw~gl(xfW0VJ6ii+C$nOH$>$%g+6_|Q@&Crj{f0oM!%)Yz)6n&;k^jIrMv!0|8Sq`Z|SmEqbcH?zo9!h{7RQ~ zRrBHXu$6E4M$0c<2dJDU7o1=3Z*&^9V*N=PQ1pBLI)H-$9?kj3C-(30U&_Vf*NXV} zSHiDd74d7=uZ&;UvySbbJ)Nap-@%@TC9}}J7id9NG%FfVO)Ikn*jddL zT*9^4%}8a@-GXM2cu5sZLsXcteqUI3Yc@RYx0Sv5t}`3h?id@`!+)vQI!nX zU`cb$i&)-zdp4wpH(r(GjCW<+biaAE3U%9{CN#L>gI{}l(TVAc#E(N7(86^sa00rL zS9LWAO;is;L0jVUaxUkR=7;8@Tt98-dAHC-)=>B{P!`xOnp{=iWW?d zjAcW+D#JX~m3ge&N$L$dPtcTP5+S-zp5_e{E0wF#oU7Jo>ZYB9?Mg+bPCjI1NvYsw z{g9SUG=ukoEIOmi24)R0Vl%y4!E~BUr@CCtdtEe5*zqMIOO}rz1EMu(((Ie!mWMRa z{8w(mB$I5^XxTF4d*VJhJ(r@`t19?dXD<@gyaL@l*aj~Y9U}*u#uAH)WLOiT#&#$> zLvQ(6hsx=ut8;92x`V+q`3xrkbJK5OHO~r*+nQ95^Fs16%OugY+ zGXHG~gKS+^UVlD*j~cLp8;=O9{O7WNw>Q_$zE%UZ8mQI4f3ATq;n#c~$(R3qK3T}U Wf13MwTTaAJ^T~<-x$u7i=l=ta+k+DT literal 0 HcmV?d00001 diff --git a/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra09_v9_20HU_200.nnet.h5 b/benchmarks/VCAS/h5_networks/VertCAS_noResp_pra09_v9_20HU_200.nnet.h5 new file mode 100644 index 0000000000000000000000000000000000000000..82d42504078b1acce9b303e499a5c7df6767c2ea GIT binary patch literal 38544 zcmeHw2Ut``_xFM{5u_*z0t$%IqzNdncg|u#K~XFi8%PrcMLiGSa`U(9O~_IY4-=A1io=G=46o%6eM@1}V4 z?WeBVL6s-@sHpH1c$$r0xqt83&$1QL7Ou|G1K2NeY`Ksvx5`Vu$nlhT5}GdCuF3Xq z)I!>z%O2=6%-x+Q=H&Y4O7^f19jJV0X#VnV(twA1uOX88j$$Xx*;5&7XPhpkM2-&$ z_m2w+n;04!BW~pE(v4&IgQXU0ud;Tn#`6&SilqP6ytX_Q-sF(zz!?AOA<;2mkrCo{ zJ@LR2Pm=seWsq7fCy%1IU3^&MN7AOob7T8cY3wg3FnDrE#Q0D4)9AQtKN3~^BA0q& zKT>@JM@CEtnVyIX`a-trHZzRQxNU*yDIAtA}y+4@mZdN#{1C+7M! zALq9oW26kBzAPhKaP$C)6N^6ytlg^d%2+>C6T5*fFFbH&NVI=M;FJ(aG~w~uhzF6l zh@6~M;8u;TJRVn$4~d8g@pp7-Yz_>L4VxYqD~<^Mj`mWDlihD9-C2tLZzv8drTcFv zjx5FDHxwt9;@C(L#~-Qxdgw{(MbhHK|Necvy&7l2y18^#JYHjb5_5I8>24$GiVL&S zg#wQkE1qX$^n~!pIB8ex<($_TKg3P5O@hM%V`3ULXX0vPGCXAJw2+9{u)uJWZbl~3 zcqDG0Z6Z;vgdyewgTIS}rBU%QV#-+AuKG$;{E=RylXquU5!1rMyBRt7iRt5GXEwH(h$j{p>(E^?%Cv~EScx3n z?ZlN|&ZxM>Bs?r4Brv*>Nqo|S!U83H>`>whLWKBA6ed1eJn67mA<<%*>{PxAj1CKo z2o4z@EM|$AC^M-TajQf^dmG8nl1MHYbV6W+f8g{+-tl2EvC&~c(n=#cPf zCcihVLs+|Nn7isqeDDj*JdIhO6;9N*Os^?Nj$$;7HY8iE6*E&YL_A0#gU$gv*;#o<0l9!iuD8c$ApB8fUrj1{CwbFw9ugzW| zCC6M-F!ST_*c07^>+@AUc7LOylXT2lV`=%RcwN+4%BS-AL~ZW*3)X;ayf$KG)nu>Z zoamg}a&^vYrQXNmaq*O+f2x#SXKrQfmg`T}jz87kzm+c4qx^^KUVXR!TN9k0XS3_N z|C{^YLsh&n4)fk;GLy7_W(N6YGe1=SAei&CrQmwM!-BhSi-Z>b^)PjtCA@!Zh9V9w z5Y&H{Ex5^RA^5pRxFGM%Tjs`-MS_7vdjy#`lLcx$yP&h0Px-M!ff-yA$IPDAmq~hW zO+^=H(H8^T!m_GD;puO)DKbM;m^FYIXW0Xuo{uNrZh1-WEpQ_mPnY6{bu~iAHr;6T zwl37;r7BZj+Nv~qcxSr4vOAsTYDaB0wZe{T&FS0sYe`UCml9wmQ!U5&RMkd_&dHok z_AY);vcuJAn+cY*%DOcjdhjKQ{eCt&%~;Uevu){5Jiw~;7s<<+kI6T^?-JK+bD`DT zcvNBThtHorCp6Msf!5b{W&+Z_BiBo6(U#bA{Gh=?@=eMR<{Kd;EBfR!yGATVm)f;J z>pI;hFGIg!PM#eud@a`zEithoJ(&`r()51ly!Ljya@=&LQ`Qa~7_36J=Ez}pQw=hk zKZ99#%E~o+?@ghr<4WP8s1#<~3k2Tr2K91N zQtNF2x3+0Qv6~_?ls}Gm?^*(RrvM#p$bsAT<7k7%OH{Gj1=eV5f^N1V1Zu1#UJFx5 zh@L#O8+sniJoy6op0b5CT8eP{a64r9?HHKiGZId(*F-&2ec}75BVg}sH?X?a9|l4{ z$O(3V0#768dCLPvgjs=y-Z`?t%AWSUsSOzggP>~O5V(B97aY1fLsqpmc^tM<6t`iq zsHnt+thJ~T+0Py!icD@N@^Y9a%3L6K&}dw;=vwLzB3@*P$h90q2Rfe;^e-0)7OfvG zvRSrBbTG?Dl=*6kXyw)jk@5GIG(vLn4JWRlJy~W`f)VA z+6T3tupFkZGe_ObG1#PEA_LBp6ZZ{H(E8p@muu_wk=;vxL%AvFVc`b+m3lOs7;Fod zyRKst4~9a<`_XV{i2#Ia)FH2{B{cA@V3rF{RJ}z59`*ee@ps;4iZ5J6ILjTjxXp*o z-O@qJWe^-6zZ|k-j$rM8JY1DEhuK=jAh$l{_<^ArCMsW-_Q^iSsNP?TZwFQ48uzoz zz_`o!+ZP2`A@?0)yH1O^RJJ5(H!VnOe@!&$N+#dp*;S^{`ZD9wCIu33KTs>9@UvJArH)?Kxpi+y*J{mytzU~c$Y3dl?Sj|jr z(HfL3ccK>wKzxrMU@jfIB2+k~$M`M%7JZkHi;PD;Lf`t8qdb+Ckn(0Y>C`_1L{WZZ z#qfQRRS3 z$Y9|$Z0l428`k?kMpsAj>Z`u6CLj}a`ED7KAMXrLjf;`;ieRX;^rnY+sc^`p4=IW^ zM;n(5V4Cqulx02}mh6}Vt72-=6}2J2_aD!nc=-luSGpfLjOmDtQwJltnzMCkHO6}~aW9Cf#<7S5ZPj-K?(Vn%iFfG!zrpxuU1u)S9(41X90_JfO= zO@TpVQ@Am$Zlj3!5p4y_XbxrC?WPAGtb+rtjG(LjQhKA$3Aj6O6!rEir+CFC(R+n; zqFpyVsC|uz$aJro$X+d!7O%NXdG7iocXkzeEUH1rFUXU!NhRp*ycV!7rYGbos>0%y za?oi_2WSzKgUaCmV%9%KH-8u?{7E6GbnE5)XiU&Ogr1o}`_k@U7^?>>2c+Qr)rt_j zwfn zj};`qxDL7QwLw2>B{E}Gt5D(0i>Pi%FsvMv0+F@uu;P&kytFI8o~fP5l8e`INrxP! z`h7Q1@#V2_BJDX?IF_PQd%B36NiwuOX)Fr7wS*2|O_BckJ<$32MyNKVFm>l4_%Z4w z==r2U+=A;c*xR{uX?_Pdv|SMn4{L+ug0Ay-MDbxti#Vtv_E75Sg^t_wg0&T6;i6Rl zVyu_Kg^|YOrQdR5_~RH*f7=F7tuZL~Y7gZFqhQJCc1VqRh3=U-!KCZg@Vz-t(HsqB zFmB-qR-5}nYOFUnwsr@byK)e7c^Fj0yFjW!9oe+ql&(B65N=;+54QH=cw5^JHdwcZ zdOJ6?f8WlYy7{`Ly4`9@8_0XUjo>66MMsgS=c4`n;;m8PD=ji=Sw3EzZh)#4#~^QG zWjJV}0a~Tgh*qaMtcsI~;@1{rbIm-`^_mhcpHj&T$QVhkp4`WT?RFzw`S!%WPZZvG ztBWu;%@T#G9$+(l=^BUIm;6h9Db4@5e3r{Axw3_L#U)v*{_%XWs*7~QAx#!nzs)B( zM4<`WUsm}T9$3a^>ItkQ()^P5(fyo%nZV5heUTcF%`dt9BZ{>nPG~OgYw8so^^cbv zjwOrx{eq`U_CxFPWN|DlBLR!-xbYlY@f_c?KoS=Rek+OQZ=1v|AM+m-M=5(Yd(@}! znJ6}~=JfWvgEcq)V>KY_Khmobk5?q!>HA^cQaF{}O)PHZ{K@SD#~=H``A?K|7cy@d zJKmpz13THt;K1Sr4pHLd{Fq<;-#9RLeg0Va-(R<#yGkW<T7D|d9FXo%XJg-AB6{;6Uyuf5 z=CY{4wo~AE;aM|k%7k_53cEnA9i~CKzf}{TNl3T~h?(6tp=Yg8NrE|$kTocVl{GBx*>pxr`c%WC)S+RK_o3;IUdEg9zbewEo>$D$X42FXeBJGpyeJWrb{}^H-|%;1`uG zMP3H4(SmoQ;m9#La{s|}*n8ItJ0|%-+_vM4!nVH9BF+wWUiN{GYGtM0=>~#(NN1W> zY)$sBGJ^a2@A9`-37}SV5mgg;f=&``4z8&U4y7}efe#SP$byg1FDoc)}C};9#Y;Z(L#|lde zH{~qv{U@$lp2 z5|k0O0e0V$Bk#x90P^fWTZGtP?QfLe$<+JU)9o0t7_$MCnTt$hXG@eiZ47KYX$6AC z$#k4`Pe^Lf-*xsu2HtL%i5eccf`U;;5E%3Y`9u5hgT-y&OhF`lHld1X)Aub}BWFrh z`07BdR}mDJbR?a&+MsWCTfr)y=P17LHGSmP1JaEb;4>)*-t>KkR0qiey%7XgPgJAc z{%@G03ro;f!U=G)zr~|tnR`WBvKSW7)mI}5gUByKTdGItlpE>qT24v(P zLWy^lGo^!LsQ1Y&P_QZ)+CSYT_(qTc=X;qmzCKnEp0$vk>a!2DD(BI$tyaObv=CRJkWb+XWZio?#p!+FWrbJi z0jh@zE$5TWwz@!kyr8^%JS^;KjDL*O2j{w#0;k*#cu?q77$1{`-L5`?Gfv$Ei_JFj zH(WhPXTMeyb zq9g71syA`BoCA+~9$=moe+6T&l@f)Ah$+@?LC3Y$hll$%f%?rjxUjbeY;9#mDm4T! zb>tJW+#?OfZ4e>7uM*+;kE+a&?=oTamSR}3Qcvh*kO-R>wLzYPt|4pRn-Ka!0fi^6 zcU7;P0uE6_pyje0VSrLHiYUv)IwLnj$D>#Iu)8mKclAX3XVoA-h1)pD&KBBN^T^>N zwk7tvpU{TO=468CCVkLDT_jgE0nh!h8hU5fQ5}O76eU^FyVpC4>>?=cX4#v1g};N# zL*LRB#YdpCu$?HSq!TeaSVdd-+RkU07& zb!izwb;bL8Y&TU?c^eO$|3rt{7&ZVurIud1aTvbuag(l@nansQ7g1+?fG$()DeTuv z6P{YQlht-|&@N>;Xg_FAo?i-Kd^*^}ffJqK?v+QhSKmh{qdmoa9=OBI$LT0!%Pn+s z>MS^-sto-8=HuAce0H%Sq)aYF`-d(B1-0mNRj?EfT zdaK=PdT5v*9O<`*nYp}xkF~-{j=MR$OUwn+>~tu7f^g}28}Re?6$Ki!M=_@h?z{?0qtd+o*xgU%x}Qq^E$oe->j=(3!aBk3?4)FPg6Z;kXRKI{<{O+YsZg0CTvr|eL&M!+bBl#&l$js8H%lLth>x47mMQ#U&THXG6$jh}0dG~rbj!lmy z|Fm_&Uxx#GcuRHH6!H4I;J^zIhiyl}o$4h{$A=ETV>`<&rlCGV$jqDo(>q}=)A{r7EZ-#g)8K zO@}=Op%8Br2GzHPM1Korsy6h4BkiVQ`NYAvXn9+@;5%hVEuRhTP4D3InP*)qE?BrG z`)2a*?&wJB?X8G@*bye33eZ^fyG-=UI_%VS9@ZM9NNyU=5ZSNFV8(uJioh7RvY_Xx>{CG8{{gvThdGlMWt)fT@F7~87 zc9cU~XeB7wJO9C;SAmC3%jkKTWA5jht`BI1JrEHRd~!1RXw8*3v^vF!5<06Nm-QPQcv0Mz;HfS?XjP{{1^W@=M zrS?emW-IbA*aoH_>;ln|ShJq`#43RQg^nQCpaOSQ9Z9bw6G-w{hL*cjV#BU` zG0(XxOyiltSN(>AU8$xhDbN-ly=uX@H#jioDiiq3NqMsPr)e-`kpV1fw;k>7y@4ue z<-oS9`)FB>TWK$I0nK=Sn+{v$Oa>-Y;HA7vG%7cOez%~2?o7=`rUku7Kh-Syvv8iU z;le50+CBpG+w`U;1}ACFnMX9wv@MKy<0(GheZcOb7n$tg3w<7JhWpCpxbwzjJll2& zd{s9G+!{8(_D5YnaaMcsedTl@_l`217MCy?JSY12WlPX8h=9R+r_%@dEk#?hq6Jn? z8MI-P99ivDOCv)pNY5fWrYNc>KGV>NUK*}1^5`|6M5pDD^CK7XFT!ZiXg_B%V@8%x zZA><;t&F3IkNjz*M+=cnCkrTBc>pwn%aB`x8u5EON^C#JAkVrtzCC;ZzOru_Ty_*d zx93CQh~HZnIk`RQ8tDcjGTIUS4Dqw+cIT*q!5tK}g(9D`e*7@M(by(~AuHv~h!vGX zR(F>3s}~hALsW({dEfPC62IQew4Gsw^IBVBv;98&!{gM^Kpw@mdU;Ieb9QK6!+wSY z_eQZv#jdUUB%p}bDo~kt2=!X!3uB)x7Z#QILy%o03~gO5G>9hHZ_7|P)q5<&m1Y1k zBg|vdZsd8P5Z%7K5m)Ky3QJ9O$$~BY!Q0P5X7}8`@e2C)p7URaGiU#;ab~y4((|0a zp6+Ix`R{G_pIds_{F2K*s$|~7#^rr~HqI>j-nYLBxBb|D{jx}@#yOn%Q}~QstdyVA z+vh%C&HaB_8j$rL4&OCre~*cimc@5JJdMivlN-nI2TLigpv>d!w1T}~!}TkB|Aw>A zdiM8hI6m3;7n-wjc(6O8IX>CvTRm95A?$u|55!2zPsQsQ)1-VV(xUnQzf1$N@!E);{}tALICXq(JUxoFTP}Xd+A$|bbJOthHX`Wa~$C?`AON z(Zk4yJZFK~6%bBS?MV1qwbl zm>0_^zi!h|GR!PUsD1Dr2=(sb!!J}wh2awHnpsZ$kG9#@#*XC^|sorF1Sy$73krz5Y*OUQMW0mRPiOlvBJ zAnQ4UAg)_JbX{>mnC(7{#4q+FZ<#qv`R3Q9a%PH1^!PCI_31vueN`F0btV?Sy`n4} zI7khZd5vP6P#Qla1RS~OZk?T-SC;U8%u`FS>)<>Yd`ehr$f44CZ6h{M-Jtw zp=+-?9I{hAEZ>L*$tP(@S7&TgKXG9V-Z0NXW3!vqqr~EBDy=X_DBrx-_B9Ah+ zAWzLDFlDE=7IS$;l@j<#Q$a}1v{DHEHa^61W~LVW3}5mG#2O76Bi!z_7F zhZ}AjW#*N7po(ZqR3&!@>)2M}BldD=&_NASGj-FmvP^2l7K@55e9_~Ue8-Vubp zPs>H#5gUYRDJHmGWR8oaK7~$iRdGYE8~J+SX{2h^1yllDm=)cU$gM*f^xUcQ==gde z^zNDh=KbbF%c-5QQ*kxZ{{chfJ**+->PC3=!kV~D3cynydoWYZ2Gt!cV3m9d1kDS8_Rl+#E-Kn2__h-cO;4bLd&^+& z>CWiu#G_cZ_zjNnItEHDe!wcR`ykC~Az8|!V7zSr3NRMZ+|Dfosw6FaE~6C8-LRBR#)gi0#dH;!V%iqwz;_ zk;++r{05Aexa3gcv`<7|B*+Qg?|d#qqn2SiMgfb2Q$=g1Y-08fPbSg5_mf>IkBJ*K z5bS)h7tI7)!CJMKFx(i>nLriP$MF^}UFU$5(=r*4uIWiTYhlof6#g-hNXs{nkd<}{9+@SK^swL9v@U&0hw?!wg@ z4)aHP>63x=h0JY*lQ=_P5nNBI!Lg%WWYW7jyyaOyiS~6zQL(THlqRhvlly9t;;#C{ zYw8P{t8o9)qq=_imjS+Kr^2HH(x&db$EK!-x^Q9!tS?C zV9$3mp8hvC{Ld`DY<|h*AI|JPYHoNg@B6dxbgo}1&dC0bwz%<^AB_|Ll&`qX;*fS6 z|F7wi&8IA#MgN)}F99!E`iFh0zdl~_iX@i)0q6WRUGmB*mM&p!{BU~M$~AnU<)?6^ z+El6F-1+`Or_n6dXVQSI-*fi?>}2rhkJ-Q5e<>G-U(4d(e-eJ}D2rb^{>k`tOLpFE z*^;aO_wS!fSS;-M^GE12 zKc{Aw9<5bI{papxsLhXv*?153Rwa|8ox0E~R?eaetHU9pK15_)0d$|{LeaZmYf<*A zGTKXHFWqnPk}B4B6fL|IE%M(xSG4dIrW-q~BHD(@)-^@-f-P*a5kZYPu?wb>MaBe>`#c(y=SG|m%WU>nv z{-lolhhAge^mi4%q$Hbh*rh>gvRuej4;6GArwT{k3ZSia7t!&{&ePQNA=G@W0}ZXx z7u3|uA+PPMpf+!vsB&@(Qlpo_1gRgG8?zRtM-rQqcgLkD9jjz?o+ClMH{fG(m z5p`fv&bz>lZKvpReLJDv<#J@zSBoH>eQ3a{BpTYQ3f)h9$CSQ0K=%$$qmKlwMC(pz zh>o7DBhJ2A^mVEfhvx43kyO5aW zb)seV=3>0w5Z(^1gShqY=rE-ibXaf*9c-P+AJ8TQeS2sl^s_J^{d|(pkyi4s*xdm} zeH%_YuOCKVS8C#?;{CeW#6T2kS^x*`+KFDOy{3CcM$(N-N7I8Vi^*Aw?fiUe3vzE! zF)mgdj7OGiM?3ON$%J{zbokjfu(!cpG=H=?nq`J$v-&lKpW zPTuH_f)c%vDNq01-rPL