From 1c29bde25257cb0c6c66950dcb2f60adecff76fb Mon Sep 17 00:00:00 2001 From: Stephen Scott Date: Fri, 17 Jul 2020 14:20:23 -0400 Subject: [PATCH] Updated AHRS verification --- .../AHRS_voter_Verify_replacement.dvo | Bin 69438 -> 69438 bytes .../AHRS_voter_Verify_replacement.mdl | 129 +++++++++++------- .../AHRS_voter_Verify_sldvdata.mat | Bin 7098 -> 7101 bytes .../sldv_output/AHRS_voter_Verify/Result.PNG | Bin 63263 -> 39352 bytes .../AHRS_voter_Verify/ps_results.pscp | Bin 544768 -> 544768 bytes ..._1.txt => sldv_log_2020_7_17_14_19_25.txt} | 12 +- .../unit/AHRS_voter/AHRS_voter_New.slx | Bin 47770 -> 47841 bytes .../unit/Heli_inner_loop_Verify.mdl | 10 +- 8 files changed, 93 insertions(+), 58 deletions(-) rename src/verification/sldv_output/AHRS_voter_Verify/{sldv_log_2020_7_16_13_22_1.txt => sldv_log_2020_7_17_14_19_25.txt} (78%) diff --git a/src/verification/sldv_output/AHRS_voter_Verify/AHRS_voter_Verify_replacement.dvo b/src/verification/sldv_output/AHRS_voter_Verify/AHRS_voter_Verify_replacement.dvo index dec045af8af497f3957fb92cfd55fe9779158abe..ee5c7c51fc6632ebda018bfb0c9594e20ee35151 100644 GIT binary patch delta 1200 zcmV;h1W)_Eo&>(01h5@{C`U0G#}OS*eh6jU^lqB}G`I8a(>lThj;vzFGBP2JAx-tJ zoXE~Uzq3Vuh6DjYlgxt{8hMNw3ii>)1=N`TRbXV0zu*U>(eVqntXM{3EGU!A%14qgXqi3rJghVq7Js4`T30lm8Wrpt?_V(NtwUpM zeShxxbCK=`@IHslgi$c{kI?EeMsg_&e~;UXa|IW^#OjRQCA+Nz*+@RiCyCbbS^17@ zR?Hp<1J%EkrJk6)++I}>nYEUU+KKIePf6H>2MN3773F&4d2QE-SA+FEih`p0)YdoH zPWM$&nL3FhRXr^$;)Z<6I6C;mc*jT1*)%)e;@wo zVz&nMSWg3_Zyy0uU?ca^YKxU=bA!I1T^qXu#ths_Pwl9%!OV)WmS-~5oP9xw*toc5^}Qxc zX?y82IbIWANC&{0Cx}A2wn+t9e-TQGP@wtAP^Bemy}uMHq>kZ4a~3SOi#-+MU#nF_ zpSB<2yb2AG{GAEU{^v53y^h%)zfE*UaT_lF?KVhJH)R>2v0Gy6zbnh)S@JPzy9v3G z3WRF{6cX~Oqrx+ho7TFuohXEZEQt;3=X zvn5r2GKs-Rf4B7)kP(}pv^#r^509P+H?IPLSwjtG?f(;gI$YsIzH?0_G+3gv(PEKz zJl4G)hg^I+TkW60IFbmAUMyzNP#goPxBidj`koiYz-8@6p{Zg2Z?l$~GLBWet9Szt z1C%R;JOGdRCWc)UErEG1lN>Siof0ba;oYiJ(01h5@{C`K_F#}OS*eh6jU^lqE~G`I8a(>lThj;vzGGBP2JAx-tJ zoXE~UzOzMth6DjXlgxt{8hDHv3ii>)1=N`TRbXV0zu*RSB7jY=Bmhl0L(F+mk9e}k!nYEUU+KK6#Lt@pm2nV#NIpKP_O=|qSK#=ZShQW^Km6~|7 zNB&NGgfiQA9ZDV-#flEy8UdrkV#!Fx(MJ)+F&p)wP&lB|Xexdkh@L%e^$Ev zWBz!cCoXHt6kaM)R|m`CX45akCZ8T4u+p-l@CVATp~hV*1fKM%{gU#C&sSo8Dsh4q znd(k;9(ZeOEdo$-m{5CUFrfF0125(q^)UNJJo<~u+Nk#M+Aem$oisn(r`ga7j{OZu zMN|F_1rIGjJ1d8|G>{vm-$5mQe^yGnYny}8G~Fy?rj-dI_S&g4Kq?En_$oE-0h>m8 zpY=SbkW@L$QwT z743E@CL%4s->{+0PJ<->NVy54frhIaKQNO%g?}iTtVJWD%I(2XpwLHte?M%8Nuh?v z1k${g_Y1%&I7;sZu%{lBQeC3azfWWtfuAI*LdEw>ofc(~DgB}WdLuYtz{}Vs-}>W! zagx;!XWQ!SVtWl(AW4YeV$jcyfS<({_mOM2_i{Wt%RG*0OrboB^*6`eQc~j-@IfkB zDPECj-+AI*8+2h6Y2{=_e|r)uNTjRTraGk);~(Vb%3wYDqe4(C;bu7MHTeVrCLS1~g@6aZpuq~pGq9i? z;Wz-_L?FYZsx1sxEyuSmszgr^p~%F3+9qmv?IaR~FR0oH29!DbK__u1p|)3QI~AW1!4f4(PZ)`?(NDHU z4vWq#@Ni))Pu}v$LV-x9T3QaH2yYVBFgv)5Bs0x+`imXl7c#W#a43Z|0>{}2B zT8l!B94E;67rka~EtwruniVSFfEsw9sj8W8!$y8_Iucj_g4Ws=b7wG_-@hTdb" LastModifiedBy "super" ModifiedDateFormat "%" - LastModifiedDate "Thu Jul 16 13:21:01 2020" - RTWModifiedTimeStamp 516806461 + LastModifiedDate "Fri Jul 17 14:18:32 2020" + RTWModifiedTimeStamp 516896311 ModelVersionFormat "1.%" SampleTimeColors off SampleTimeAnnotations off @@ -245,7 +278,7 @@ Model { TryForcingSFcnDF off Object { $PropName "DataLoggingOverride" - $ObjectID 9 + $ObjectID 12 $ClassName "Simulink.SimulationData.ModelLoggingInfo" model_ "AHRS_voter_Verify_replacement" overrideMode_ [0.0] @@ -290,7 +323,7 @@ Model { Type "Handle" Dimension 1 Simulink.ConfigSet { - $ObjectID 10 + $ObjectID 13 Version "20.0.1" DisabledProps [] Description "" @@ -298,7 +331,7 @@ Model { Type "Handle" Dimension 11 Simulink.SolverCC { - $ObjectID 11 + $ObjectID 14 Version "20.0.1" DisabledProps [] Description "" @@ -341,7 +374,7 @@ Model { ODENIntegrationMethod "ode3" } Simulink.DataIOCC { - $ObjectID 12 + $ObjectID 15 Version "20.0.1" DisabledProps [] Description "" @@ -383,7 +416,7 @@ Model { LoggingIntervals "[-inf, inf]" } Simulink.OptimizationCC { - $ObjectID 13 + $ObjectID 16 Version "20.0.1" DisabledProps [] Description "" @@ -444,7 +477,7 @@ Model { EfficientTunableParamExpr on } Simulink.DebuggingCC { - $ObjectID 14 + $ObjectID 17 Version "20.0.1" DisabledProps [] Description "" @@ -560,7 +593,7 @@ Model { ArithmeticOperatorsInVariantConditions "none" } Simulink.HardwareCC { - $ObjectID 15 + $ObjectID 18 Version "20.0.1" DisabledProps [] Description "" @@ -610,7 +643,7 @@ Model { HardwareBoardFeatureSet "EmbeddedCoderHSP" } Simulink.ModelReferenceCC { - $ObjectID 16 + $ObjectID 19 Version "20.0.1" DisabledProps [] Description "" @@ -630,7 +663,7 @@ Model { SupportModelReferenceSimTargetCustomCode off } Simulink.SFSimCC { - $ObjectID 17 + $ObjectID 20 Version "20.0.1" DisabledProps [] Description "" @@ -665,7 +698,7 @@ Model { } Simulink.RTWCC { $BackupClass "Simulink.RTWCC" - $ObjectID 18 + $ObjectID 21 Version "20.0.1" DisabledProps [] Description "Embedded Coder" @@ -734,7 +767,7 @@ Model { Type "Handle" Dimension 2 Simulink.CodeAppCC { - $ObjectID 19 + $ObjectID 22 Version "20.0.1" DisabledProps [] Description "" @@ -792,7 +825,7 @@ Model { } Simulink.ERTTargetCC { $BackupClass "Simulink.TargetCC" - $ObjectID 20 + $ObjectID 23 Version "20.0.1" DisabledProps [] Description "" @@ -961,7 +994,7 @@ Model { } } SlCovCC.ConfigComp { - $ObjectID 21 + $ObjectID 24 Version "20.0.1" DisabledProps [] Description "Simulink Coverage Configuration Component" @@ -1002,7 +1035,7 @@ Model { CovMcdcMode "Masking" } hdlcoderui.hdlcc { - $ObjectID 22 + $ObjectID 25 Version "20.0.1" DisabledProps [] Description "HDL Coder custom configuration component" @@ -1017,7 +1050,7 @@ Model { HDLCActiveTab "0" } Sldv.ConfigComp { - $ObjectID 23 + $ObjectID 26 Version "20.0.1" DisabledProps [] Description "Design Verifier Custom Configuration Component" @@ -1123,11 +1156,11 @@ Model { } Simulink.ConfigSet { $PropName "ActiveConfigurationSet" - $ObjectID 10 + $ObjectID 13 } Object { $PropName "DataTransfer" - $ObjectID 24 + $ObjectID 27 $ClassName "Simulink.GlobalDataTransfer" DefaultTransitionBetweenSyncTasks "Ensure deterministic transfer (maximum delay)" DefaultTransitionBetweenAsyncTasks "Ensure data integrity only" @@ -1445,7 +1478,7 @@ Model { } System { Name "AHRS_voter_Verify_replacement" - Location [30, 394, 1010, 1136] + Location [259, 505, 1239, 1247] Open off PortBlocksUseCompactNotation off SetExecutionDomain off @@ -1508,7 +1541,7 @@ Model { RequestExecContextInheritance off Object { $PropName "MaskObject" - $ObjectID 25 + $ObjectID 28 $ClassName "Simulink.Mask" Type "VerificationSubsystem" Help "helpview(fullfile(docroot,'toolbox','sldv','sldv.map'),'verificationsubsystem')" @@ -1520,7 +1553,7 @@ Model { } System { Name "Verification Subsystem" - Location [676, 102, 1656, 844] + Location [30, 23, 1010, 765] Open off PortBlocksUseCompactNotation off SetExecutionDomain off @@ -1589,7 +1622,7 @@ Model { ContentPreviewEnabled on Object { $PropName "MaskObject" - $ObjectID 26 + $ObjectID 29 $ClassName "Simulink.Mask" Type "Sldv ModelReference(Model name:AHRS_voter_Original) Replacement" Description "Replacement for the Model Reference block that references the model AHRS_voter_Original. If Mod" @@ -1598,7 +1631,7 @@ Model { Type "Simulink.MaskParameter" Dimension 4 Object { - $ObjectID 27 + $ObjectID 30 Type "edit" Name "ModelName" Prompt "ModelName" @@ -1608,7 +1641,7 @@ Model { Enabled "off" } Object { - $ObjectID 28 + $ObjectID 31 Type "edit" Name "ParameterArgumentNames" Prompt "ParameterArgumentNames" @@ -1618,7 +1651,7 @@ Model { Enabled "off" } Object { - $ObjectID 29 + $ObjectID 32 Type "edit" Name "ParameterArgumentValuesAsString" Prompt "ParameterArgumentValuesAsString" @@ -1628,7 +1661,7 @@ Model { Enabled "off" } Object { - $ObjectID 30 + $ObjectID 33 Type "edit" Name "SimulationMode" Prompt "SimulationMode" @@ -1700,7 +1733,7 @@ Model { ContentPreviewEnabled on Object { $PropName "MaskObject" - $ObjectID 31 + $ObjectID 34 $ClassName "Simulink.Mask" Type "Sldv ModelReference(Model name:AHRS_voter) Replacement" Description "Replacement for the Model Reference block that references the model AHRS_voter. If Model arguments are" @@ -1709,7 +1742,7 @@ Model { Type "Simulink.MaskParameter" Dimension 4 Object { - $ObjectID 32 + $ObjectID 35 Type "edit" Name "ModelName" Prompt "ModelName" @@ -1719,7 +1752,7 @@ Model { Enabled "off" } Object { - $ObjectID 33 + $ObjectID 36 Type "edit" Name "ParameterArgumentNames" Prompt "ParameterArgumentNames" @@ -1729,7 +1762,7 @@ Model { Enabled "off" } Object { - $ObjectID 34 + $ObjectID 37 Type "edit" Name "ParameterArgumentValuesAsString" Prompt "ParameterArgumentValuesAsString" @@ -1739,7 +1772,7 @@ Model { Enabled "off" } Object { - $ObjectID 35 + $ObjectID 38 Type "edit" Name "SimulationMode" Prompt "SimulationMode" @@ -3187,7 +3220,7 @@ Model { ContentPreviewEnabled on Object { $PropName "MaskObject" - $ObjectID 36 + $ObjectID 39 $ClassName "Simulink.Mask" Type "Sldv ModelReference(Model name:AHRS_voter_New) Replacement" Description "Replacement for the Model Reference block that references the model AHRS_voter_New. If Model ar" @@ -3196,7 +3229,7 @@ Model { Type "Simulink.MaskParameter" Dimension 4 Object { - $ObjectID 37 + $ObjectID 40 Type "edit" Name "ModelName" Prompt "ModelName" @@ -3206,7 +3239,7 @@ Model { Enabled "off" } Object { - $ObjectID 38 + $ObjectID 41 Type "edit" Name "ParameterArgumentNames" Prompt "ParameterArgumentNames" @@ -3216,7 +3249,7 @@ Model { Enabled "off" } Object { - $ObjectID 39 + $ObjectID 42 Type "edit" Name "ParameterArgumentValuesAsString" Prompt "ParameterArgumentValuesAsString" @@ -3226,7 +3259,7 @@ Model { Enabled "off" } Object { - $ObjectID 40 + $ObjectID 43 Type "edit" Name "SimulationMode" Prompt "SimulationMode" @@ -3301,7 +3334,7 @@ Model { ContentPreviewEnabled on System { Name "AHRS_voter" - Location [953, 0, 1927, 1047] + Location [30, 23, 1010, 765] Open off PortBlocksUseCompactNotation off SetExecutionDomain off @@ -4357,6 +4390,8 @@ Model { SID "1:90" Position [1370, 700, 1475, 720] ZOrder 75 + OutMin "-180" + OutMax "180" PortDimensions "5" ArgumentName "voted_fb" } diff --git a/src/verification/sldv_output/AHRS_voter_Verify/AHRS_voter_Verify_sldvdata.mat b/src/verification/sldv_output/AHRS_voter_Verify/AHRS_voter_Verify_sldvdata.mat index 7c310f7f5d9af8f744325ee1af5d3d282b45bd64..ec80549081828cb128a27cac0e104c2f836da56a 100644 GIT binary patch delta 3093 zcmV+w4C?c`H@!EIG#Ey5X&_2PyXV z>_+H}O`ac{JbQWa(&cj($EGHxCP?4?4fOdreN-=9UMVRvBp>S)qd2>;P+6&(MiKmA z#Zr?OF0N?bTxpZbe{3@fwG|50RTTza7_9WUwZCQ6PnU7LWjU$eo8LcLe7(Z;2^@@p z5`>u;&OS+gP(bDT%8v9jScAI6f=B!YE1h$Z?xOMoO1ivUmMd@Rf zpr-~*Sy-dgH3P7w9cA9`8By>&U#;75=I3N z4rtkT^LlYU#|A5LtAU0E(1J4m@=qqW z`<%Au!=kTD&>Gd`R;mU%bOL=HT<{}1GyTyffr@?5s5a{D>ZW+RCjL1;UKG9gL3JZg zo(I<0T4yZOSeUu_{bJVuJ=wS&Ml>P%_nFPeO(k}pNaYT2|4``3=jx(UV96QUS)3 zn*)6TC6gHhLjhWoT?8}%?vs)PI{~wk&IFzUHXW001si`eGtu>*>)nxYl{4VFFTJL1 z>SX_972R5Nnl898sj|zvYEiX3rK4>lePf6l!9aJVR^i!hgdUqkSC1MeTzpBveZH54 zlcCw)lK3d_apB8uld{pO7E47`zD6D!aKwwbda+4?Kd0kJ!HuB*84~Fob2HD-2KB0l z-wWs&5xswR{aqqG8=uR}oqeC!&6s3IMf$$*f=JKwJsBN)Mf$F|k1^>;?kuEZKV#C7 zyaSPrgKXC!EQc8%!E%)GF%iF8B=}{Pr8$o?ra4dW7`lhQD$+aCYZ=+sGkA>0kX>(x z^xf=D#$?x9jLEi>jLF8g8IzswFeZCXF(&=*iu8Xy={?3|`}>T^_7517?WY-&{U0(W z9^;IO#~H@NV}dd9m}E>mrWg~Cvy6$yM~sQbImX1}JY(WJY(Xwz?e8LGA6E{GbXMz#>CZNOk9^36W3+N#Pud~xh2wv z;+DRnJnY_^zjx=~%lGES@63&-ahy}X4nIWSqul#PaHlvuw6*UNs$Soe+;ETFu%NFp z&tkrfzJDC+k&Ek@j}K=~MyCOtA}5~-?~Q-#Ka#Vb>Q`nY-I6*bs7pM0qxT1j@2&bH zVk#@Fy4B6akZJe*?;QE#_`jZd)j&WxaG3nM>kr( z-Q51o;UBL5e)rp}Tb2K-`NzGV9{l;~cJ$L$*Yj!1ZI}4jZgT&Y_4{9L>vEgm+aZ_kHyE{m&&mE^qA>OXV|zLQ;MU34f|J%LJNO z)u8ZegcQxcwN0#ERW>urYkF)8`Mmxnwt87#(Z(>Z*Nm2pDEs|bT4yeI4kZ6i#P-fMWvrbh4>;6aHDf@rhH@HRHI)1#)@!}u#`X#|;k4T5d& ztJdj`p<9&L8im#UD&EGY?cowDG%7BcP%FX@M{McpkhJcShIe(ff_)Hq9U~o9-ywQj zfamTGbXe!>ehB*S`+pPAx$j)A;8V8IWx|%d?8G#IwX$xIhT7iGLGw@|Mm;&sg7ofy zXmw{snm?Bv<`!X%ZH2Bux9@id&JPKP%f39Puq>$1W9UYO(gIg1oL_82r3w+9mUE}G z@=8GMT2}Hk4@V_+o5Ne|Kd4xYCoCjkRbdg?)7T3>wN`7R6{OFbIOQ>OD zmvZg52N3D~Wq(()yBlOTO1%m2;kM4))|vmk&U}|}xE%BQ3)|%Dtu;5PUc{jng;)27 z)Dv6_i^r#+lSf>3(i`8{WM=7&jh9lZsZ}MpmP>Bt(xM)HdeA?=PWW*B=k;HJb6&3z z&}x)rJD%4((Gtgwo>)7moU{|7BNpt280|dj?EfXeqJJudhX$efDlbolbMlGKpvYoj z-!HiT{&Uw^Cgt^Hr1Rw|X`Q*8*G=Y3wC^&{Bz-RTub14j=<`Z+;3vRRfL<8y#u*bX zFQf5p5p>RHF>F4$RHWysISF?z2sf9Cv@W9g@q+ZC#A6ga*`EJ7Zg5_vMwXYU0p>OO zyiCW)%M^5^brJ1m@-jWLyi5-;uj}OH9{{u66ovwS3U}kCOd3~Q70{$r+SZCr+#rP9 zTy$tVyoj9pu%Fk` z?CA9!?QfL#7CQYj7%6*8&Jhh}-98f#&oI^aV*|fsIZ8;;|Hq{B4%!@@9kdRer;k$SmuPczE^s|`w?5mb zsmK;p+{L?G=*9EH(TJ18Cl zH6wT`d>+CVOw*ivoF+#ULSUjFTq%doXAt8F3^~btl(5S_yWk~9jM=18S;&Kw!Wj+= zug?QGVVCoW3CEQ(B!?iJVG0HZ(82fz__`1*SFaP2oD)sEj4s7Df*P*2hcV|D9?z(M z$qX`{VGYkKi$~eAXC&}a7C`LbD2n+N3A2BpO%% zZr?koy6?^R{;Bh4y#3xkbo~#-d*5@Ey~Y0=XP-mGnCpQ`J@(Pxb+>VK_1W?6nsMto jm+gFJKUVz?zc23f5`9^u_q*;P`VD0RR^VW>V;NThTdq3Z delta 3080 zcmV+j4EOWBH@Y{FG#FH9bs$Q0Y#=cBwe{i|B^k(_VniI__H`^(Wq~v2)|KCq zfvsH9QE;Wx(YDSuN8=XOz5+AQJe4RaR|med-Ly%>L+m!BP2wi_npJn7{aC&j-kkk$ z`-nKm^<^ycvIRW~`z9%bK~wpe5leOpj6k-$q@f0$BTZ<58$|RHf4gQyYS+jByAnI- zIl%S8Y|U70s{s5}w8XA=GCapO(6^&U-wrV`b|I3R+(2$;&JL>U&;x&yJYLGlQ+=r! zj@}5J(TR(r6X&l?T)uK)a`fEzxpC5We*=AfP9N1vS5`{O49UlO#VF1$EL2vircnex zSh3W^rO6fTn=5T{f0=DYp|(Pyx~js!3xkzDxAwQJ`sp%`wJay~d-MB8i?3I>K8}Mi zP=YWM!`Uav4+^M!U)hnK25V54Sn!D7V5M^|(p^-3KuMREi+nM-)4+IkfTru$yC{9k z67*AmD<3-V%A5=F2 z<#}L@u60I3S&f;S-!FCz(36eZVMLRnf1lZm+~vgXld0T6?jOqhQ(sfMmIHBpFWHSr zI+h7&((~X%swd5>xL(T5Pvd{ylaAk=8~@#&yuE4LEiCs?@IICwvHXVR-ky_315yFn zlbQp40VIH1Umt}lg$L40y-6wZ3P>D)6>!QpX=R`ag{S*#+P2x zHg&RpvWjjkI!zbcm{i&2UA3rMp3>2_k-jm+jbNa=QmgQ6H$soiqN_)Z6E41_;6C5W z!pYF=Z%KR<__*+8w@KM(Rg0w}Dqkay4LIV(T)o(&z@O7`q~J!-{|t%rj=7m}E`|dqn!a@PbIs^t~A!`$YP#xSuiUNbW48;{apQ zk-P(ujzetMVJt@&AH{Nv@o^EqTO{~pmZdpQFs37!!{RjEToZ#>C?iW8yK%n0Q=fOgyfz4?o6omD`EaCya^H zr;LfyHO9p0I%DEgU`(8*7!#)=W8zfexyo3kxt;jUFeZMpjEUbIW8!y%G4cD1G4ZP~ zCVo}M#BZK|G4WeqOdJ;(6W7lf6W1DJ;%YD^u1k!G>oQ~FdXu@_66r&6OW#o*cJIyK zyYuhm`*P!V=El=F&Z%FAAENJ3?)@XUQ=A#v+II<6uWw3jxJPbS&{vsfG2cetKaTgv z#r4d`hqI@m(|}HqQ_qC=M)n`g*-!PW(~@pUof6c4B_6%e`vb-IR{fFjLH0w-6XkU* zXUDN*T|9b&(W`iMK|=xP~t z{r1{c<^O8_aqp)Ge}1|h{j}BfeA;r`C4RP>+`nc0{+HXj+-APZ(tYnq-g}Pp$i?;S zIZtOctwmoYHfhIp$*+xgAI|YUoa5c(uOrWj_kZ2~Lpl2oiN5&OyFVJToXH#dnZ@ph~kypovut3coi0-7jUL ztv3>$A1+v?>Wh@xsG{f(i%LogeRK76FlO2FGKv8mi*xIF)_{{=(c-zqFX-! z{B{#9yTj^#{aP3-9v*t~1-mQ}3BJ}96s$FjGQ>xvQ>al(+_wuW27!5KzOgYrR%wm( z<=eWgUe=elG0f@}qh%w?em|1dnaf@Ih2@m=72yrbpIV3?Taq7JL4K?`KS)z4GIXV2 zm#n5mVPj3OTsh=B;@Gn>?{Usp@m2a(k=(qZ{MqO}}6cXyz}I$!r= z(0|{5AA`<)=W+?x*+v%$TlS(8(*#zExHTGY zU$VO&WH(B^3GiWDXU28rf3Gt?Bpfcs{Qkl=`Fd;3ZK@Y>=tbex?2vlGURXRn0i8VJ zvXkEU#wIsc-r9I2wVqm6lIct;nOPU-XrJ%(&#zNHT>p9fSKyr2YXr0!W!aABHBYp} zv7;wej!LKPgy@JlyCFt9k2?E*39zVtO5w3VXtvDDli{3vqBAJ6SlIUq?!W)s^#PNz zdNR`a@{F|3T+Zqyb0*q%nWvIIm;2XC?pgGCB|7jEU?o5=jCYfa3741Ac()8X=d&C( zpG+#!bJc=`yAXt%Nkv*0(foKpdV|E{u+MRW^D;HEyi5%+uhHjaI!0cmBdv=NXt$G> z>5=7SdVqOdColg3v*8qm0)L9c&A2I(#uZluG-;K#wW1R@2q8B)Yt0-xBu=%x!5(QZ z!@FQ7PU@JlbX6y)=E_OV@%g@UdcN371LdPF=My;_##Ccl&Ko&9dVNRx8|A%)PCpGs z%HEQ5M1xtk&jiFXOf~-4z;9XkI#xbq@8*xc9AoW;zAL^1gRfIlzkeg2nk(W~&DYYn zo`GvEz&$f?uC_lMe;$4Rm?qty^Zp;y@H8ttP1I+H8Sd7=H5TChN1a`?IXV~ldgyL_ zo};SH$}V+|5>oX4G3mU6Hb-X%twZPOqty8&+8mt=To2u?&o-*+tn5-}F$IBh-)(!& zx3ldMAI&#OYx1MhO6yi%=v}KGk|f}(Wq9{2US$u8%HDff&-cHcd;0h7jpnV}_YSJ=d-J`2>iijR zzxNMa|3mTK_Z($!@ju7e=TI@`dZ1E|ee`$TZCqV_cD%c0+`7(XJD=H)RlmdUi+jC9 WUl!^8u6u}n0|fY*;9|388CL>OKPJ8a diff --git a/src/verification/sldv_output/AHRS_voter_Verify/Result.PNG b/src/verification/sldv_output/AHRS_voter_Verify/Result.PNG index aafc2cc280f602c8f80c45fe62d62a1ce0babaad..855cd2cc9232f9c341b17e9e607e407a9d56f8f7 100644 GIT binary patch literal 39352 zcmdSBWmKHavNntk1O^K>c+lVs1lQmMx8O2Bu;9U+Ft`SSy9G#q;1b;3-8Hxdci!RI zd!28ev-di--uK7%V-{5LI_GIBY^u#-E{h^freaowT>M!m*to_y(3gAd}reC_G)Q%dOI9fvc7R<_fY z8m!HY1-;K!ToOnGQbTADmm6gJ0i$4?)? zVZgbFCxH)$^N&^NEh`=tDOabPa)REscv$3uttGm(C)=66R4go!04VHT+((kxO@bI| z1jMxSi#LG50F%Ka_C3S5Z3c3q<|`QL8P_EK^Ge;l?k#J>P-z(@rJg3wtCOo0-woKO z=bK!j{o}oRkxgYx%|IM|r3a)Ri z&Oje`&3+-q&&M&2t69re@j>Sov1Y@GK64ceJZjKlSGaNVj!VHN|5_cM6?Rzz&BOMe z?`t+U3J25TiY^74|8NX$@;OUoG;4eckJ>z)cB7a`dnz-h`Sg($kCZq<6bkt63;)RS zI_vkKIO>rImVtASQ7_xR{l@V^{up`}guYgqdBl*0hDOWAD)5s^3s>+HKR)m4g<0*M z8Y6Gb4|2h=(=!T*%NTx#kLSxR{w|rn7N2xWQjZe^3N(^EjuW0L?bXeO``^EL=pFzk zZch@q-|F-bY%;U4(|vb%&@;AD z5SNiy`M}`2K$1NA(_{@(v1I%lA|ILPzM|dabjF`xk}^|0muS}TzCdv? zZuceiGRMZn$tltjCM%{|@Z^oQ^JpWM<4qXfXoeNCTrxk#xh!Adu4ez@N1=sAowBdy z1N<62stJ5QQgy8NzWcj~XgIf3WVo-)_0!B;jJBuNYmBFDvyixq@BO}>zx`Tb`~BQ!)$+O(^>VfqoZZo{|1+G3^(S?a!Utq4im!9ag;=vcLt<^(h?EUcCcdf~aD zfaNUgagKU*yu$Oqc~RQ($Uy`g=t%G1>FWFXT48~ot|-=gis=wJM?-i3`MX{kN4j>h z!UQ)yZ)L{95o`-nWNlo1U5H!dtL`eY^jFM&9jwH;Z1T>zBnjy!ydNa|q&RLJS&{y& zxFX1lEbrZto!OjDiFsvYr77lBL099TPwqOzx0Lw}@?lkOOZ+>}yNb>C&T4I!pbDR; z{f~+>Q?Uj>t_rF#kSrlg+5w zT9gDk;#y9g^p#5qX@d6cG7GbDRybmi@bYp8%|G6cqaGQGKWV&5smv= zF{#Fz_Q%GMkII6Ep!o!!enNvyT!zsl`k4RWC0a_*e1Bh&D#!QX+T~I+!~Rc2Szm>XtRIp%m_$m8PO8MrAM5 z_vif*fRsNsXpIZ+=+)K{c67Lm-LI{-dEU|C>E$jX>9Idn|h|c zg~V=Z&0X0^39NXKnfDAair>vDG^E$BE<%3SkbiVnn+bz9&TTrM<>f7j3dH_uDsiZ& zT$$-F_0Ki==um^TU`oSgJOZ;HA7JJql9-F*@GU!DSlj|-So!rvw21tOUPSmwdo>P* z{Wm3KJ?lGP`3VAOwzU=EuP>F1aW@F;hF-&r8I_iYl5|OF4NVWfou0IPnIcmjg4&iZ z=lx7GT&4>@aPiml49`bbM4e?6xy%!v)y#A9%6_eUX#S|Jcv-ONe3>Yzk=!)QSKDoy zdt7F_b?$~XobOov^AoVhZ`*>xzhd!{kaGU8dN#duC^P*bb#&M@!B*OI$8WI83i`D| zM8RDbna#6j*hZ*oYe$~2wLzKR zlg|=Yf1Kh-ej(W}!1`0aA&5!yXHrJ3GWibasqYg-o(p3DItB8EwZ7{_70ik+%=hTw zyzx}jE~)t%b`@r+2DO{Z)EjlV`a1Do^~7!XWsc;7DcOY^o#oXxl2^7NXvA4V$WiLeXq-No)$CBib7m`voOqUJI1G}QCYn4!7!PA zK_{VTL92J|Pny!UnSS*VLr*1|YRy6t`{o39lM672dcv9?OK~LA#plwwVmP-#UZM7T zaYbSU*GFNSnaUsN(>)dZ1!%v126HFX)N1oc-#Ho3q0J44>mOL}|GwS|79BdPbSYU1 z&aKbQDlTB1u+7}RXPlL9=@za?my0b>9*%s2n9ZyQ|uC;N}!$8Z_jF`&&>{U6F3EIDtZ(LUYA?`L9A(Pa_Rzc5t5mzlu7kPl_O z_+OX_dnvo^)iXFd`j6m@69gMZ9V7eOb30L@H>!-1DtMAAaTz&nS@dB!^s=sF5M|f^ z-nRw|@bf^}xIQQ7c|dZPl^FOukmE#%0r=~w`fvdBd4PUN5-R%FG)Mo9X@2SvMc`0N z{k2MbwCM=NtlCcuDIFc+zvjGA{=dB3|E0J7*V7oNiGYBx-6@T0x}+8ffo+F@+9mNz z*p}$dS&5uNVSBj8Wm-y^O&?Yf|F8dLxumTQjL4FAf3SWMAhu*H0y!fR*jH62 z|JoE3kVD_EaXBA-pCt$ZqpeoH50w#g1xUNHbgzC~KC$6LEI2GtQgN60$7N6b+UP?@ zc+7?buH>jeVs{YnMP7CG$@VV{;$w~Ss0hN^i~}Q(j#@HhhDAbh@<)2r4Yhl`)IwWN z0$n;Mv1()Z3T8N*_x-OXl}T`w`ZyZy_@njJJhBue=n?MkRlq-l=&ZSpnS6#cE#9-@ zEt4CdqOw6f#1q2T-gVYc@Mp_XinzJ;-O^g++#T><%&Pmu{X02K!K@j2(JEZt*rT?r z!zuEg1<-iNgBS*QC@<|1qLeIwD`Gb6rX$*Ud1>93$0@IP>!=B6@+gf&rIC=iTazvv zWMp`wR<@iZ1LE7tmJ=&{WVDz%4>aT@Ut)Gvy|t%g=Vq`PW16KHGQp%|xS$#)T@0~g zA8;_fN~GV^z|D2d6#v-I*J+a)9EyIWyB*xGSuyhkb{*&X4enwn;!uD=Oo9(kY`j%u zo-2ri^F5|+Cpbw#ROsGozT)xSz1D(XAv+4!-K_uTz(@aklD-4ovq`*y$%h?N^)HBX1Tb^Vl~iXXeCgsZ%>fX zaKJ!ZOa;%B$@5U!N0}T9%HFA2rH>*L33Mc6Gi4btLvw*>1;7s#(3+Nfb-`PC&yzKO z{T`$}??dCUdg4 zvh$Y36ch08(eK)KwxV;UMB0?fw=1KhHwEUbWMGPHZCd)!i`9<^=(r_{kmm!n6=Ih( zv1CU<1_dD;#Q4>@B#IbPf^<{PqLD9pDyD05<2tEl!S(R>g7YTJk^}d0GW^YCBDJij zGae$8%Vs2uPrd&j*r?|R@VNbbV)w}lJE);cYG&IkcQcN^KYvn2+boGbdG~rIM6Fv5p81G{3l~EdVc%CbRW41Lx${g5c%UgUXH4KPtyE6Er(Q5Vj8l_#IxWM@PZ! zQ}vMb8pkbD!b`}f#4ywg&h|HX2>d|n=<%TXB)nq_!)!1jS1wCF6N z?#>=#;~t$5;HCfAPT=S%#oB)LADIOa#3hnAQFuEZP?NuM#n>z6FuAFN=zhC@ykY0I z7~QFpM=|t=%j9Qj2h6$jWFP*)MC^31gI-UYO#8F&I?=s&S8xTne2sJRWI-@ItDBhP z^yME_39AP}8Ya5`5_xssC?M62m$BxN*eY(D?Vvt%wsCX->n&xs8vUg!y;xdyo9e9INXOu+6i+Y_$Ij*)^x=7G=zAB0i_@A5W|CUY8D z5-N7D0y8p3&3;z^wIxU2FP}n|3zE03y~A<}u_TUXA!+URQAQ`s zV>lu|mxI5)Ft>NwHkRPQgi3#hpS3s8-o^(|vtza#@`g+>xFl>!)BrZx-yJNJ6TXh+ z+E@Oi>catQ=;4u&Si`;sVYpz3@6|7(vb;g_oZQuf*=@Xw?42dzh*?VdBUJ#kuUvIT zW);E{6GS5Nc;myoHJBI(iXM*dSUX&UwpZU7jg864B#o0U8<2yEiH%RS&uU(zwuo>4 zki;fk4fboF8aE=-7+%MRqkzsZpdd0IjY_PTwzg3?5PhxZv8J8>A!h4dlBa7Uc!?f zov^5)bIE%AuGFRR{PSMhGidE4_c=>QEVWN%^0CEVrzw3r2_YrceG&B15TaRQnpoCY zM4^|eBpu6uO@ggs2g)y*3lvA;UQG@9d}1q%@u$DuVMDpg7`$#g`YH=aINepte}^`0 zft|S8tAA}@=;gV2t<>AM`Vw}$q38^uAq%|7CT7P2!u}5Z#xO(Y@e$Vzk1U{MuOiR= za7|4H)A_>vFE8t$U=2PuX3Ku_G5_8k=_1W#QMlf!N#x9we%=Enp5oshdA#odn zBvrk5K$kSW#yk|1e8y|u*B%7`lZ7lQ@Z>Gd>qF*nG6HzSo%%Snn?sqcZdU9mtV; zDf8AaVAwzsY#&}9nR5tLnLPH@aByDO<4qF78D_rtK2;*Lss3(0kZN$Zku|ICmDvL z$0*I#-aC#->|_q0KJ-VreH(D82aOA`wAj+d*w`4{pJaD?Ri-@c5QfLP*1bg#?6# zRmIPZ5u{x%9+umiRibe=`0OqAI%Wj8K$f~F*&%Y;5%V^8z;0P5Hj4*f5I1%K^Kp=$ z-;tL4yL>Ky$w(mwxF&@*pTDnLYqwI`ysvM(^sNe5KZ~i zS!@Fg6MI?h?RCMbt1_N*o05NrCKfhbPH8RwVC{T;*RPZW1o7SVfm>>S72{hk5~}#Qlw`h-C(6 zOtHk&wN$K>I4@8VO=R9v;8B$I2{LAR12$US)X$hAZ6{0|IQs6b+lIf1KyJ6td2g)L zt^qKlit+kO99}fyzOU#xaJR1qQ>GXjY%K~&&Cl(J-Oj5|Pb-YZ?Y{qr}F z@)$Y}B2Vfm>^_WNMu|#}yxg&M2bdh%tDmv@H}A)rgKHql0Rpm*c9@sxO@5uZ0%i2K zD8;u!4(G)Y@4qe6i-vD zkSI_*a=QtO%8q-5t&^{~QV6)mA@`TGvVp!)kzp@tbTo0EgF}kuqWhXcrAnevy9?C!OQo9t7p!Gv$7X#*sP}D_k}qzGQ5%R!*?Okea9MEPW!N zm|>23tE4@{g!gUVCn71mzY^QL%;CPL(0~)}NJ=Rn&erb{J-Y9nckoaJC!1W#4N%(_ z;avkmjCVN$9ki<^%wvyET<#QRSk^(O$lj}FPEg;NehWTpB1MCUuFj}xY@!3?+%fd* zO_BB)tBpz+**^!tE7c&x@#(h-YcHI01YCZnCYu9F>7cDAV2Yn{P^v1DqlOfQkK`Xq zR@C3GxBUXmRsqGDBJ9stB7T(kwqD}F42t!iSDfLDNFuJ(f(T)`iX*$Tu9WcmQngaB znCj$<;0?hK|6vhZ>6}kM>6>`dKSk164gn&Ii-^hJY#}HzayWyN&j50;oC3U?Q zy|Av8<9>7wJtM{L0~d(!tGzHEe2cdlia}td$ZFD+B=k?)o*1*47Z*x{;nk)cEPAEz zTQ-E2pR2hw)VGP`;7AqMxS~^){w=t_wZC}$d)$9o{7;m?&#P%j@h*N`Zl;()+8kPt zs^Pr1F8yDDyq(nXDCD4>kQRfUqG`nJQIh$A2F@p)z_fXzEu#Y1O*?35<+qlr?PAcQ z02OW0rnP;*JY)(=Znh^;uV4r&<+XGbf@XG7FEOMzrY~55$Bc;O zPKJWRY5aZ{;*1lpRU}@pV;IqMBQ3nyP8XF&M5GEnF4K8lMP!eRB!V+7%o5Hd=JV_i z`ONgFE%GjQPHrpr(@-tu)SEZm(d2=j6~bDTy%D1Nycz)1ra1iW$hkdx#hRRF1TQY~ zovg*2Q+2(z|5&|2Y`?Xs`un`;BoS2shGT=d*ta%~0dLe&TAR*g4m1+GhOD7t&0V8q zJ@yd~4jewWhT5PXkw6JfJ%4E@?<#K--kPB2iV%F2nmd$hMQ#pJ!I(R>9-?$$?M z*)9OjiwIy8a4&ZY=cSna#GhHW6V%J%%&4|%aSL!EPj2}BsK6pgwX|JNa`?7`y@zLj zJ6D_fP{HH#>_w*mZ88mYc$r8bNbwt-9guK$G3=#gVOw3%;CmD$_sqH7s2@*5^pZXk01$!P zr;kp_4;Sy7<{`yh=52t<`^P#Df0o!4)Y<}{+t#+dUyEDZmG>9g+N z^{#DU30IUh)%ZH>tIJF-eOSL8j0VVs^I#5__VP+le4RgQXgF1b(d|yU)P#t#9{)h| zDnA>(+Gp_N^$7XgXR=^ijsizUVqm}Qf3Aanr>5q$2?Pk7WdkT%2T*f0v8hPTd)j%= zG*zns)c?dPZ8*)_U01}x+ic}gxwtX7fiS@RpX}`Hs!|dx9=1ksnb?0gBjcd~{S1{I zCiiRM9KLUH=8z7|+@LEt>sxSlXw!7-+7fgwec0~dI1k^2H zPC^I9ic~*Z=xkjkx={1?Q{bcgY=80MCBvV6a8?@6-jf%p<@W~gkF?jaE~%0FuSZ@z zp14HVtipIx)Bba=DP!?6A;)E+PEPQvPrNPpvMPA-C_pLt`e6ZoYUv86^)%R9|0~tL zXNH!MF5NdNd(WaB2;?@E#EL`9zl*d#2)B(7l3Nh3cfSv`8X%IH|2Gs%1alNRWU0zz zK^(bduN{}&@8<{o%6v#lrk@Wz`kDKAWQnaywo&e_1rc9@qRK@SyOo}pthU9?6YZUL z!BruQsBF0?2y&C+$J!`gU<=0Z7hvcu-s5QGp@wPU5dfd)*m)@jfPpB+Fw9Ox43uS> zK$ZG!f6$xeiiW!n!e)=4erA;2VZj*822AI#%F81*7^+s&)BZu_j;O{O2f7cD_$C- zo1t@(C+DQ6vYhP^xLz~#w&f%I9EQ|7hu2+~wRNbRglxY%Y4S7yrD&K@Z+4r^T#ym% zgNo^@*a4rn=%s^36c+{V){&Ub_)9O+ok(KC;`V0hyE4<|84I0R8Q5vVGzd#+PcQ6M3 zMu66qL8|6^MEm2BJ=g84MllmF?z=2Y?fX3(3(_?#o-4RGYkoX$;+s*3vWDy;H~e8P znvBrJTgV4$pn(T4@u2uw_7xbb^fy+XBJZEv^nXIc#0O&pT^8hDCbZC!rTXm!%_sG` zl00+s>QNWA7(u&2AOOhvy#*Y13l?DGzSQC)eejNVf_oykpd{}pS6ilBKk@ceeBFgW zRVfHy=cfZvUV?B<8DiVeKSUUhsyaZtq(|OR>1DLxso;AGDNd3{kYu^q!E@;a4WFOwCv&u zgA!Nb?yZnn->(IS3%uLTY{67*!uCA%9c+zM{PMFw5~fXc4u!^rAy3{*7+m4kZ5>Q_ z_zm~|LixwyG{y^9>B`@}aI8=u%S}sM&28~`&{;oXrWX;2+WS!;plOQN8eXmY@79@@ zn~J?w$2{{-HAn5ADhWYw!RRKJ&^!+qTSaqavvc$G%$>MbAJP?zKUS^FTFd%lp-G3G zVPI5vd82x;Kqa(%+IDiv5YoT2ow6+dBTL}+q5RTJY{$3 zX9RM}5<7T2mDD0R?xmAsd3$}uWdw%tUBn#@X74HD7^X2RuM}|{Q%u2^l8M3Di!-wY zKNDRnm>G#auHS8FFR0>4HYq(TJU+SbUSeu(_hmN8snadu349BU~FE2o6`ff zI;Tcw5@H3`*R~Vst_%^A%_t~u9T&i+J+korP&DuG@#VM0kH+Umjxq{-!F4ugV23rI zIXVCag6!&qdvKS!Ui&YyT$O=v^>S^s8>f(Qi@r+A@V?%G0@Ef`iUn&*Pk%mghrX|)^*t|T8zZd`86fUV>LD}Q zoGiTGk;7Y|dKTMyB+V7TjsXlIwS7$4+eLmD&1!qg%x7+pfkzU#7q|zxwZ9`2v@*yr2wPjd|=KXLfI+Z6-hek!|o1|rJs#mOdbv7 z>Gme+v_s45!jw?`^iujNo@3<$xY#qaK`JgF`-rBq2UF5vhGU1zmr#+`oJ9o8kJg>9 z=Af9aC@0rmwZ&TaxMUY%xfAx%@StChr?ytcS{gh*Qp>y$McDsJ6DM37EPf{vfyv92=sLEb{fwG#)W2NrKbN zRK{aarBPd>gfAp*>UA2VQyUatq}w$ETW2!Ng_rgdk9z66RNb!n9G=G}|22cksO`k= zWe2%6d4eSp^(S7J55oe1q0Yb%kQsSfS!`0Tn3SuVn_J;0Xi*!o)D`4h&-q1p2i4lt z2efsC{ntiM=a}@?%utni#n93zl|20Gy9#C)9mo0rKfzoS5iRMV*guu)U&{JT12o zrW>4E{E>Z{!TMAD*xqiEyot=5HKV6(_Yh}m3Q29M-uMm}6mM-C1526NtzjlPD6``c z;?%CH;hhzR9%C(7!~Drb20aWErMg09y|KFAF_UPaJV!t{dH@z_V25;@4iqO!)>)Q% zv;(yi0e{ThxcG*U?#?{R6UsrqdI*3aI$3Vw07-}bM^;LohuZ5pGY2FOVpDB;*_j6r zyMP*v#X;Ak5@WVs;sH}5u`tmzktrEbL>1maq-F3p{1MnAIA`WmuGAd-f&X86$9mRy z&G@xtjWHJIgDk@McJIn^B=~jKK z`T68{nslMr!3T>}u%s;PPA!G~6D0R|`nxN2SN#7|GWx&D&ny@IEyvIJ)Sn?zR-i}p zw{(7C+H>Cezk2w8f+_wd)d2qqH2Ggmqxloq9fCvsEKXQ|PsKLY0mIDSsv~Z2|6cZh zi2-=7U3CinFRLbGGPdV}Si$N^A?SNm3Flm7MuntMb>|dpF`4DnL*j^n{joWSpXl%P zJ@}^+Gz(!1^7Z5I11mV@&7lG1n#KI_S9MKgL_kq-2jz61TtS1#%OJ+2w0y;F_~&xj z-wzvPpa?OL!wwF)P-8GjU&D!wkm0p&Bf0C;`(+8Z~BP;xwL>HjEgk%aKJ#o1Yo+W%IYO^skPL(^d|P+;fu^N z*&SXZEZg2})_X1ZpBUTgL6&lX4O(N}WcYLjt>HsU9EimX51Rm^t!RB^h4EuD9U`H` zg4JJ^sVKZc1w4C+z=TsYv0Z+A95V}lCn>_cX{wv^KN|f~z>{1T1?A_O{@DpQt2u8)e14&zcsrPN|NV(N9YuN{(LS zhQ8<>3VxP@U6f-n!?n8moAq1F2pfI!Y+-{F^hk*d7c~dj@A4z1#tTU7yI({^1Ft{<85-U-upDc$bzL96$?PepGSOH1G@*^& zjycqBSjN7g8Cc@qZ`4||(xu+m*>R>eI$MfntU7rZfjqWT)HUlY2(NkcVKxGiXJUT* z7U^mQYM#GK$je^=_P;x1C&IIedu#kwYr;Xx^PK9ZK3|ZbE^=GJ!$*1tsTXCepQqR@ zE?qj)-*uHp7l8BQ*!Fx}k$5tj-`-NR7)eOlsb{A7Cu$aCCs^6YKP@$y-&cZI7EN{J z-*H3Na6+R*>?FPBk9k}2(9ztSI&~PnqLepb6OW^{kT*o3VA-y>Z+)iUXoW25jpB97 z<~rQl0yxN*Bu+EGT&GNi zkh!5ytKCUYdzuJ2EOczp&A*O~dR5n)*`;8qyUF+G>Q3GKFh-CP?Rk17ZoxM}R%?6x%nX~j`Zg@o@OjoJ z26gWj+0&2Bb+w-YbauQU*S~8yZzWJE-9uaT1z|QN ziq!(V9h81pu|nnU13^W*z7i`&68k{fKI$LHerlni#Eb5zRNdp^tm@|O1`=CpFexhj zi8Onn(lbfh9>a#cw}2ur)B)o>ettxmsaV+%eC%#Fvn~7~bxGn#(w2K;+!s#<%~ojn zEp)eY!jQa#j1;mUQlfz%uv9BPv2fb2^)20jju zn*)L&;f3goLiCCCF&t7Nd9>pmmDK@KY+R=D*eGD2i*pX3rIy9ahiN`#iF=1a-Rg^d z*_U}WZa zJ_V1J(tmVG4KwNQsNn{5xTiQK`o6+6BshPYnZ8wZi#NzG5);#fO|FM9CP0|=Jv)Eb zB{pzT7;5w#g-;}U*e*t}r4c??M^i#niMp|aDYxTV=z2dPR#7PcZ{jy)&KJ=32+p1V zvoBlz+*alTpvFa^22J_=Dpq9bG?90ZrUuC>yNGuD@}=C|mbKrnfY-4yZZmi*iw#|y zpWr7>BQYe-NKY_!KK2__2|W0KMMLCyOAU6T#|(3=5b^&*QTS z^`r`_{X?jZem%H&M)1iDJh)ZVU7CVJ0ZV3nEvWN$U;-q*xw^%NjPJOC3G@nXZn)MZTtOjK1J zIKUDps7@@i!;;V+u5f$-&Nllwe+b zzjCi#*;H^?P^PCT)pf9&X472#6PCmmU-827e$1`6yGMrE!o|MP7845O7SWh4MHmGutgMcYssG4Pf1 zr}uU7d(jFEz8hPcYP0wHY61LUP+yTxt3TrRx-(A1kt4d*yA&zT6ec3?Us#BU{wKRB zByP-`F8ei=oGtuM@Q2$}yT`tNu7@S9LCOTn)dg#@%y;JA=17FcVS%shR#l_`<8}q> zC#RddUUwA57W0qWaX<;cG|f;O>fdWfzXmGll=j zi9G&uVwio&%SdQH`-X-|G3i9t2k=i5xk1hY`CF3R*x}&sm1F(75t8H7e43KVSyLZK z>u=#k-ejyVPvOp%o$%??kL>q{Mcg&)Bk3q!cbjLvPpa}x~d8#@n8-i+3&Fa)>}8J%N_tDiM%rO^#PvShViKmFz9p-`CzXj2*Ho$*!$5BsDrQAwJ z*spq`_E5VKI~8`rJo?!j7Z=wIi!pBpMbIZA3tuOeImn}^vmBtf<_aKCTWxH-@N^jX z*;e;??g9hsRRz47;tRk&r95-N2#T8JLaUDrpyc$K$|!=|(T|B=rb;4i zgturtQ}143Qlo)JEshkNZ$EoRKMed>PRj?^Zo_H-g(jV2oY?-r{&hbGff8` z@$_L9m?t$^taBsRJZe0`yb!ela~v6T-JtWF^fvYq69e_#PkP+bo*q8)e?x@*D+w8?*%&_n>mpgCmyJhkm zq>5Mw-TNb9;B%b76WTpY!sg&>Dt&$H)^1@Dx%tu4Tf_(Rb}~}pa~2#DVQI8zk=oRQ zVCS49bhOF|wXqRFInUTJLg$8Q-tAXgR~OlGbMwiC4fI@jOWOs&%sSR4ThO+w+Y+>qiW z!|Q1)##d>MJyEWyijSF@Nk_3`K0C7?rnvjiDV|3B71q%KdVpfNy>MA>k=P{dnV#-z75}B@}UL0bl11|Q5yzOorhEB z-^d!EIo;vlE+k6%O*Zsuh-}Pmc3giq;X`sqc~#NJOUfCUw$xTb`5s%l6^q=K9F<-N zS7@6igi^lkH?e{Jo4WQ6>F&87BGAJ2Ka!Wr>dm%5mN{P@}iX zLu*=I$_z8&AhjWU+Me`yQzh&xQzWnbh_0img}SQ|d{Qz^T?Ob_Ba`SDZ5cmcXgR9x z&G$M}7gufGzRDXtK+e_)EwB9}YRM zUnCAxY_;&VxDvkfX$d}m{j}aa=1{n+fv6TQ9di%?`9QWo>2oItq%1LCA57owbxR7X zZlYSf8sk{}@-2TOn5T=!DvEORO5K`F`6a8f`8w8w0nBdup60jl3K7J7>)uG?Pws*x zi33CNSI0emoe!~mfVhhIB4NDG;0IqRme|I0dVfYB7b;VDkp?RUG?jG*EtJNZEr{_? zJ2{C$`TDfx`@1|i+x>B&pQUwAL|SsLZv*aGL_c)AUM@VZtc#CG-`T(oEiV|-P2#;P zIln|PY2p7)YpRO3sKXM-5J3Cj_vtbAvL|2C?dBS*^H>KO_=e78oKQh!bQGC{1~AV9 zx+-g|X6k?VV!f=@Hpdc68Ue8w;QG@r4tARJGmmXq7Dfgil*QV;Nv@SKh;gN*4~phD z%Q%LUcIVEN+uyc~^<~BqKa;FGv`$WMspJC9Hy(W5 zMW9}vWLO<7gIo{P&~cEjo{k-A@!1g@)A>Z{G=Bztdb=g?2BgHDTO`dck-8Y)Uu{`v zY7xTcJI65a0L8)PMe4VGLHS$Z%WI78Uk=}}Zz8{ymTpeLD$c&Vy~b1~`G~Jpw%@3D zJMIFM>Q^eXurML79tB14TGr`5wBryFC4bLBhAQ7Bk|p77zQPy=2Axk|VWNu8o>2GJ zwE)N(_lzzxIqou%Ek2$|$dngvNJ!y{S&VLn42AV+-?LgeS^3}a&=&jZzC@;>XZUk2 z*)Lc{j~!4rY-qe55vax2BtQjBFE{XbxWwp|RGXhKnT+_lV*zG;QpE^Tw2HCqH&iHs zbcZU|DQ3A-AvuyR=Z3&JI9a*oQMc- zSbGPJ(62;}Y<3WXh^Bw)dFzz!KC!KdgCpVY&Fk+I#Fyv6O4sxsxHfd4ls)|1Xp&+8 zdG&AC_DTzPEs&tF$nZ3%4|V|U66*A~T#AhFA|$2UAer>A z6oXAL&6&^5RpB;CXlayoMw`88$2;?r?FV0nr#<0_qWxgiT%}~+tpavX9S6w;Vh-3s zpUU=|`RYw>s?7Wwto`-O_36FK6D-R>L#6x3^K*f^Pu9qErAjJ62Fl}23}*Qc;XSoa z-A&um0P))Rd07xS8)UYDPG9+{%8w zX+(r#YaO9zSr30pVze*0=fb@AA$0vo))5OIzqUUK33+i{O}9uT(y`~*vY~TI$xNn! z2p-7fwlOimQTu*=V8WSqs1#EL6@t>M88T1&aSUb?J(UVy(& zhua+%J3FX42Lu5+dWPVzL@a5<8;sIB^-OJ6s@X_00l{#(T zQcXJR)t%{eUyvWstK@Qr-TZ1Bf)#84^~2R^Uolu<1m&$>mJ{tP6yk|BM!@nZlt0`J znH5xza27lI=Df$UB(Mb|4Cp~qXk!9-sq_jr)7e}&Tf2Z#gr%~_pCxU|{B!TuUQQCW zB;$VA>Z7$L{i|!JZD}W}wRis7t=(WzmC&48h#(WWE^Di_Up$l%OL09Ba}(!aH!7>5 z1n0rgFwQ%$t+i6Uc+U_$uyJWst&03sX$RUL1q_PY-{i{7m7+9sLrxG~aHwQ2mQ@4> zk)Hj>*r-<)`t{#Vh(NN$Oa(ROY)!wA?v`1eGunk$*K7pBTdWrCAXra&PcqW>zPjDO z@Dk@9DqtL$ZWseYW-`N9Q8s3`U6JOWWv{P$j!)jfPeEk(RTEvM)ysk>m+ZaDkH1~` zJSudqKVo3x?7YBQX)jzpBi0v?UknX{ zyEW1VS-Cl!m;MrtRy~G~ptZY1bmPo(r)ICf|FVzs|8czYAG=5?s@mMje~|$3>DK-E zVFY!+m)ed6E|AhpZe<%Bl!}mA5GtG1X8zS-^*C`4?baApe{c?U%`UZHta@%grL>EM zF?eW3o!QcE=R5GW-;O%2J%mp_wxGFAzCRCm-X>Ic9+>{CfDAL$3j#?h_uG`s5MEC0 z-u-bLEwH6QLqdL4=jIL6Ne?UFccTw%f|`gKEtpczIt%^1LKFT3#a1U9e;qMYWdGf0kMUl)^aPX?4PWS z&24qU4di-MoF=I{T75SZ05z$&%TjyEa+Wqu(kJPbE!>2%(a{elO(l76gxM6ElgTf1T+$7DPU|IzIvLtGapDU!m4umzgIWP$! zj!-N~jAyuO5&Gim8s{6CkFUs#^tN_P&RJ~g6Rf-rWw`lHrB@`eu?i!*Ue*$uq~ZmH z3qc)hNoDJKx(2IYq}k;PZ}UA0Gw+u$0i`!52et^!rIr%8zj)%fZh+7Ez*7qM9)P&p z4T?q;`e)BT3(|)xT3d?L&&`ptl%235MORQx%2n5Ro=6}U3)vq{K|OPVYJRp&YFQ(3Dl`DXliQvE83Xe> zX4Ya)9q~W6P{Gy~dnB=&`Rj*tXbj)}&w9B3pXt7vcwQ+yF#fZ;^L&`E9~}Vl`971R znFaot>G%zAV4WbS0moW6L4klvE3!mmNWtj~kMT+QNx1V&4%OXr6k_3y=9Cb0wf}Xm zs{b%h8>3|R_|2`(x7(9dLETBrZ?yijc{@-~lc0j`$1i;EPGn{tKaK=I zhg+~RQ^Y9JNQ7vC`xWi6BYOP%Dez9-vS>6V@T;ag=-pIH(_=Vd`h z@j$lAudnidzAzqfiG%ROCB^?HZJ!4ZgB43LLV&}$DXWNef)c6MY$-To>-vdyiM(gJ zENcR{A&a?&+UXBEbB#8f+Rc1dp|05bC|m4LHweCJN^{GIC1xV}ispLwI=rZ*nkc_& z<(uxwu6ERObwU%U}23VN_jV%l!#*J99_@Dn|ncU<60 z*!d-Xt^!e7vIkTOuCsw~BDaLU&}hS{^5%4($)lRd+-pDDBW|X?37TlkbZfl1I6#a2 zIzHsuGC(Jdo$3}_tLbGyHEU)n6`XqKH1S-DABC8q9P87Jv;Q|Wi$f#vq%Co(w^<5C zOxrDu`(om-GGR`c?+idIZ?iiV@HMEY#3n&iiW~AsLCRuQS4o4$n*J!IV~|oSmlz*9 zs5H`6S49sp=6T4V85<8OIv3(|KeV4Sv=|(5J=8PSl*4ai&^FMf)R5$~F+Vn&b?yGOYq|HL3^4WYA2=L(~WzqNX+zl5{%q5;3)4_vg!#S8nQvn%Oe4^jhUvHAPykE)p&4czWB?wQ zq9yIiXC`g)mjoN#N)~Bv-XGH?rxQIrAfOoPegRPBZL;ary&^1w4{egyc6lvTZLIR%RRh$ zc27Ki6pZbqE^-vhN6sO-PJjLQ4IxqRb)YfJ4xELI77<=()ATaA=aoLv`$F*39U?I; z8Dhf5hfW=$PlWSl7~ z+=m}szxCf$9|z1kQ3!3r9{TJSB`dhQim2mk1m?PIT%2jLuh6fM*OpSn-(ZZeT@ONj z`9?^RZWq@d@?ugD1A@*E9s$UT(6xjqbEDso52Cx=k#+=6kfUxrQyMBnz4n8%(H=%j7u1)C_B-F*z#LpENLg%6<~Jr0sU&W>q2N^6 zh(ZAhMhht};i1A3W9`7oj7s%4ig7#1P(LuVrA~iW##)@i5nP_&M;I?>Ks5C1`#MkvQZD7;Tj|08 zCHELG4Zc2(fA6E~dH!VpFH*F8VkWjq(LAdbPpBq64&SRVVn=tH$ibG%3XeuZ7v`0; zwWB73)~A|gafd~ogM<=F_07Ubm6VkR{7u+JGct*M<`5%T3HY0!r4}1$Lxch`kTF{n zjg)hXd@gWAdIVK^!9;Vw-#dpk+D6jmAY^z=L0_)+3M|NgefgzS_{0eEXty}uKKER{#n<^h6(4D52raNUcGHEK)GzFi75G(kHegLbU)q%x`bKIg!K zMP2u?{Zu@QOFaBEG6YNr*NqU;H&0813rt&gGuyFA1U_{A@c+%w)2;UE@ht9))#_dy z>2V@W+=Js5t*>0skEHJe+2N*bUpe}ANG}({=rA1Jx-;Mc{MV+kNij z9*^}GDWVRF>XxP*nL~S&dn(q=uO2W17F~PFNdb7_}x3{UaA-1tRqv#pXNUMx#BF`J|6igE>qJ(yh5fM6B- zhy>_ysgbf+=wgQ6Z>43$$y^n)hWA4E-qWI)23#^}{(&6`NFyJ6BzAt-C9eD3aviTT z;~Dme-aQ%%zUZ8n+_5SdeKpA*Z&Y&Lh$|QK==0(leFxDEA@hDX5J1!({Lv(WpyH~D zRRC+|`sXok}sj=@!ga!uMMFK1U*TPxf=6 zu;bY5P~q;&7n1OhroJZ!8Bz!F(N7CT`%0$4WH zEhf8K#xm$y^C!DB?iCU1XW=Xv6Qh;4C2PaA4qF+rV6TC4^@-NMDY?83bzUG($JX~u zG)B9iGw&~1ObEW#`OBCQFKeNUBh`J*OEVFGQbkqDl1_;ymM-A-B_V5c=LA9y(C_A4TH26NVF;b{$O1_N zAG#9F*`7+fn#adF zU=Uf}E;sa+0$KhK?0eC#%9SD>d@T5J;^^plekYlgEpG@<)iSC~3oroHNaNE^32Ho_ z>A1HK=%e~xd3RUN^Jq})MMj4Gwc8%LRx>>kgk6>zBJDH2pRxNlh?~Lz1`GfiGVE${ zV+5Fytl6&BFI1i{jtCM(5kNcZHabi3fV?QGHE?96&%PoT__HliufmGX4gTHTD=6BG z%o_@t|H{AJMUX6e^(}uVLKEP)y1D6X-ZCr9%m}uChrbwJ#^zJkZ2-fTzg_4hVP`x+^$x{>|d4vRbXDj%gysvA>LpZeyu_ZynUZX}=TMTQ&FA zO!2W2hZ?C9U#E$tc%Xuwt^OJ{y$NS*v8l@^k(}e4*JuBvUc~S*559p{E zsA$h+fB;im>$|XXM$h1B&^=Kp& z0%dv$p-1vw8wpYAZn0f3Na+lHq1~5cS6kz_YH)~FH&PB7vh%Ec+fWR@pT6096`+DM zTJK+w!WVTgzKm<1kz%sgC0O&Ecx|nh!&-y|M%8`=a`TLu?J10@VWM*g{y=L6uzJ zW;w;LmU$Od{5P+}Potp2OWWTLo`HVovUI%`pm79?S3W-VE?*wk6To^X#OqC2Nk{N_MGu)`fY zn&n8O`L$e$0>l-R-uc|oQq6I1L`t!mA~f9;=chf>QKX0?*l>V^EoDUmJD8QM3k7|` zcwmlabgHV9?89UWbMXP;VB)FNcOXP{OI>K|KNv*nOI0o~+P|u5OJo3{@Z?_K=hMj0 zoRz-a*lXkzex2&5ln*a16LZN*y$hr?{oUBHgHh}TGziIfHWj!3rg7IpasJNWNm`HM7y)!51qD&Wlu__g%8|Vp47HLI-DG?+D8)5}+-apl`w;Aa||3Kz+=a)+mf}iup&@*=I5{DI-vIK}2 z+&-NAtudj`%E>HS*~if;F=7dXc^5;I3Mo}4YDAh|qE$~;qo)iT={RnoQCQMxCan4W zOW!H$)p9&rR!P1pZ!YCWYyKN&3&R%Q4vHQ6psz>@yhm2b4|Sp-0(^VQYoxp`pIY@9 zAHSCJ=LVy`F=x9N!E?j?dn?pJ{7-)1n-&$nS3y4MvF)M!xymX`lHe7T*Ad()hj9EI zoZBeN6u1HgB_KK<1do4wBFb0H-66JCrBqgm1{EX3AP(AO-&)_u@z)P0b1>sXfn!y( zC7qX}nWxdOg&$VX$UoV!7Ve#L2{;v^0M>8WE-rA5UxeiFV!-O^>aR{7%!K^HW_?bA zxHw`W33mrfNd@voKCl44iv-tW{MGwkzf<}BgotsgK@#^%yCJ>%;7C8>+%o7>ssY~H z7{*Uixd3+8Twhtd!ykZZiPpDN*MNGMU|dkUCO(7SoM~%$0U9g@~(BOg8I3zaPqg+jiZb%|O!l-g0lFxF=c{SrAeY7a;|1RK4RIJj?dR|J zW+J$dJSXl?KJfSK5k2I`MV2a)SCb zDA-zAp|CC3iVwR~Og{>(x3j1!lPuD5d8)60wQB)HV|i+Z{ECZM>YT|{&%uT>lX4l@ z1iG>=B(nWXv|iHeDy{kdG8s6&z_dkCa}Qr8X*O{XLS`N))PoBoZ2xxjcoZl-pa_nW zne!m6FFN}r`{^@i;PtWu(;^obb1l)|D+OCtAPV9g{5*a2EGWq~D;na$sS!*ovdw7K zz{e#_7MY^$pGpLa65?s)26rpV*aDd3AMI}qA>*i3m^h76{RY;32&Y z_@;PTPFcGy&U`33-qX;IdDT^nAGNhQwRs}k)UVh#QP>^F4*$*R%CF}UQC5#x`DAH2 zEzbW4hMqr>`dqg4mhjmm<+^9@$FZgKO47)1@RuXz!WT5TkB~s8zN_JNX)(6FLPtoHV!?j$A3lofEhagK8Cf?^=I4QI* z%;6`9KZ{+YI^&_oF3ur-b;7@R9$9(2JBMlYg+E8`d2yEM+Y;iQ`&VR8hHF_z;Ad=J z(Fds#eo2?2>Q|pI%uD~(z{z!HS*JY14>612#<+9|af328QZ_&JOIIp?9zxKSL?8% zWMdX4;HsuZ|M>gVyD6+1U3e-V6cx8oL;rB7?0 zq0p@nG$}Kh)it%7<>2@96?SOP0>l0aC6^=C=&MudD5h4QhQ+%m+}NH!d0# zB`Ys@^NZX=o~Wou<={)#o2+;sVDXfG67h3*?&E65EQ?=c0gVDx?mhEe)kNLU8P8h2 zfdhJ_FPX)O2e-+GtGtPG-c<^!O=Lho>!6s#HFc-*J6G||NGBP_LX%MGl2W5>#7;Jt z81^0g$%f?~u%_+$M#n*)b@E5EEYjZK;`bCIwQSsPbKSIeyGrn8S&ZwR|BLac|HoVF zC&ky+IHcfo2vlsB_qw(f>+TpI?-%0LJPLbx!^Qf5MUM(1zz*u4kQ8Q9EnMs`p)uUj z0)=AFf2wQ41HTZv1B+Bj&Sb|T+QUGuM3$M?^aO)Ob-S}(05;?3^^OM|82mF=xC(vp zHzF0m`#0#LYrCSK`;Ta2W!Kwll=Q)>2*2n96yAOG(Uoc9YeBGE6>r_@>2N>e{%olo zU@wgD+1tF8L8Xy<$_wpS+^|~U9}RlpQwfjUT{G7=ec2D<;`Zxd!ddEx+%~)mcfWV) z>T#J0Dq;d;+?={OEISl}9Jk1ZzmzC-(5!0s0B!td0GiJD2|tA5$Je0t7RM7jtw{S2 z*+~Z%Jy&dwxjFKayk~%QMceVA7h6=VbLW^K*I8UTH z@MeAQ5P*jX-V3^8tL4ZA-I}7d@MlJl?Owtbe~0rQmU60Eg;W0bip$#Q?af)q_PO){ z^(%+p%%RNV*7>o>K_@280#+*w>7>8^SkV{-FnIj-13v(4_1~^2v*HbhCz{)7tJ#*k8r z)Gc#SJRnwTwBE9Q?Y*3KslfVEG?&a5h$6^>q}cAHbfq3|CInOrij#U5`K1+=s9tcY zJRD(=6BiT!2yAWw7=RK3@J4Q}&TMXFuV+6Z`pRmRd_K4JHx|Sz!6~Av`IKoqeEm7o zm??;7>w3p}Y|HE`VXhW_ZXYuwALV@!Xwt_%Yb$05@m+ikHtzT`vq2W~Xh!OtziFXS zHDLHAO!!5&-Qe;Z5|#?q4|4R3-jtYLKcpM16)Mb5!yddF6xWqgpf}0Bk@xU%?7#c{ zVaW}1Bqe0OTk3nIkC7og;4+#%WWSCz$42jSVe7!7*0U83W?A2@nydu}fGjP*$Iq2HstJgPKgq6QY(H>v5zpz!j#0N3#=_UN9d*~8rrP>j4C#S(F&(WwtLZ2v0AAFzeNsLI>Tlc^B6PK|DB`i;-T-K(z8`y65FF4 z(p?6k-{@KyfsIe0YI9_CDkvBQgO1Z0P8Bd;4UL6#{l>y{AW&4B+ff||$S0s}3VZDy zo8YC#+%AS5cspvPRT2};t1On}6U~G=o7DI{F*p4oL_-#Hb&i3hiN`DE;%dQ!f;Ki= z%OHNAwJ8UsG@BmRlpFkt;Fw+^M${;>uR{9s7GHeNOQS42e%}u`dN9W$1tJ#40I#$g zgaINnIB?;2XfN%MjkwLH2cLTu5-9^VU zMIbGgq_zcyJ#uSRP;gys;*3^nWxtBAuF-B%;^=REvzzinRrB0(y`#*c02=V84&zPi zAgcRut^w@#t>@WRyCZAcwQhX`W9g?)2OA?k?7;}$_N3BR+%+{iQmmcSN&pv>7o%ja92)o(;!xU)izojB00 zQU=|^ek+c`tl9^a?BdLLz)7ZKPy?ujmO1BZ(&fzhrl(UA1Rbge6xqC*wJ88!&*m`-Z_x z7LS$oHi}51gz#Z1uxGg7v>ByTWhd&e5j2B=OLt#wj!3txg(%guM>9nJ$IfMa7zuJJLv`G71pibZe7y@x>bMTopSWq z1?E{kb`C<4Z?ae+$V=fFj)+Zm4a6&AGy1Mh7wJYrw_BfZQ;&19*)3u-OmL~Q{=SmQ zgm8JpmvoUbO%)`4#pwEGu_W^S`}7crzWz**8Uu=q)t|lNp4uK98TtIz!9moj2#(bjRtN;je=_7dOw;3wpRj+ww=!?F?K zRH7{?`7wrx5L3Wxmb^^YyGIJ@|H;!F4=zFL)TZuSY&!IJi$yt5Y3ML$0LduX$7ulV z&+kYU{K!bOI>ox}b&83raHpL*Qn-6v4Jmsp!hO|wZo6H)e-jBtvQe2@Z}B?)*#LtX zl^vCMVCyO4Cr$CVQ)^~K-a>F;ho+S5tE3GDya@mjdy*fN8ved4;HWvR6=mf=Pd5&tDaAyb)&MrRTMltOq*YXF}4N6NRoc1Up4RVWcD_b6L#1STA^Hb47QG6lC5H>&DpB^EbeXUki@4hIV8F zx#?8PLCZCP!1f7&N%#+Vpv3XA$@O=fCpP7;X&F{ z8jYfOLYn2M{^~)I)$=+ycO#H?1wi!K`yW1OeKxEI1xtSM33`JMCJe333*n}0x%(I2 zTiia!{YPdT4r4pd_2bhTz8}Qb&$M!GpD)DYzT2rK#h8LZI(DB$dPD_mMa*Ghr3`S& zitE1U+%_Ns{a6#s%_KW6L!ly1da*>IU6jxJ(MthnP`MG*kCPFdk-cI9%QCT2glMstMelq1JR;_}f@~tS7Ic-YU58 z^~2f=M2(%;?r5lNOwy`T?Y{b{pu*0Nin|61Cts><5+`5tmqM36;9KbO#zT;m__LqI zqG$P}CE9Tv@)Jvl>(PlL4eci7w5cp&L35;$quuHDCzZ)Jj%?4=CSP2zjzSn2ac|`3 z1{lcZp7n+|#TyI7Fcj^p^?&kSmi%6l8e?Q~Da;;w4!iDrVLnstpyklb?!m1QVBn>8 zsFt(Uoaj75;&dSABa1gfO%H?)W}*s@dgv9t!pk%bItk}poJR+e4z`|yL1$i^Aa=WB zoM`cjkH!$C72~u?DN#A2PluX)>j#G+q0$nZt~yz)GY-FB3<|J6p%lPH;me31wA|A> zL2y)W%QqTMgxka*=F?wMpe4|Lk92vU;V&9Ec7)27&!=rpf*&jt=k2&;5PIaGy>*J}FgKE2ewFGWkK{2x)&-H2jn~S#Ihi z7NO)Jf2Mzi7h;Bm`OD;02Nu%7fX!W*R`5B`bV1U_2$RGBrFk$)Zj@=izwDGF$p#@K z;^hWrF*JFB8w@Lz_2U8$7OQpbvSNiz)7aAmXpdA_mZDr8a%QaoAv4L#TzrMB&b`L% zX7{@$V9~Me!uP`DEwmOAKy+_o%`R@4W&B`%JT4QuIj@}lF^Vd<;qa7_M_AXTNyR->sVjL~NHE;lR{^OYLPTE2_ zT-;c0Qr+;V$`KcA!ogO)rIWqotw8&T;Qo=5Zd8#%fs*P|2j+XuR|twVzl%$~X@Mu> zf0v-qA%?bb`0nmll?lbuy{CDLBhB7$Yyy?herCUE>0$I44hU1Sbf-eu0~wC0ff^!l zZG)=n;Q?YaFuE7oLht`cyw#lMi&u#J@@~wY(N$Whd;W&ron}D`=d22gBVaL3oJ%M> zIrZbK^=D6_@0CVDyq zXSQiqjVX{1=#+Q24asTDxu`)`BU__YlhsITE(lMq<*z;EueH!TCpmrO`z1Y@j|~NK zB{|m*srIB0eHak6vzPpaLQXp`8Ep&bKeyX+PqnbF(=6YTpnda3?6)>vp(?aReb5GW zUgv!xl-Vn=PQmqE*?(u*v7#K%!s2qsg(ZnYY^&1&nrn1qIaU^+x) zfgbHLmMs6b$tff9x)fQ+jpd9($)X-12w#fW*`_+ic}f<$%Do~ATd%2Idl6gtz?0Pq z&ri^Olbmg#jkp({Q?P~_kL#%K;xeuCPYCg(U_v?eo=m0p)(YrO@ka|%OU*x?&WQXv zRy-xrAzWm)*hLa|8#O{-K6CTR+gIML*^(G)Wgs!nv;>mQTG?rFhvr5e13T?6 zH!W8IG{+MwWuoM#{m@|#A}(OPL5$ko?(gk34WjCtB{N|>R8Uj4M@O4Ygz2LS7GH~o zvB5@bD~+hCNF(t>{AH$VS7IaF2i#w%1%4>e+-f%HN&!d`3>bQCxqR)Uq~2T&bs-lS zBjTgm`l@YfYLWNtC3>PxB9%p69ZE6jbcQf9{&hg&@@Jo(;b4=o!V_2+bdeo9C?zxE zI%ELo;5h-Ta%&X|w-sSb1tsIH&oeyQ&XFHZ6xH&ihj&y^1JWc2C8YeDlQ1_}p5~kE zG`OPbF&r8z-BpM(WXw@<_9;lh+=!`688A@_&_b?;o4Dc^x{uQLU`}$ASDjmMufh&d zTG_WtbXF;Fw;Dt;KjMUwBo7a}T5OdV{_s4jqORZ-#8xhFg_rzu+>~>e&{t9ryvW3@ zf76PurYLbzP?tWqunt^;Pe4a>c3+d(AZ_Hd8k5#E=4-nnu5^0eCK`L=V&voTJ&9== zdc|9zo@aO|yqMh$D#P7|_jl~7zp0@vF$cyeKDxJ~Z2)ec{I0p_^DUTD5a-ztd#P4G z?rL7rS7(oKLpR^U+b74oq>%ITfSMYPw#s{w$?E?W(~?>(34~Uk$gmDJu}46Zaj#_f zrTb2^b1C;?Uin%oASycGE-C-Q zu<|;%Pj}}XU($xBoTPkvJSfkMbIFoyTkX!_}4vyr?y zQrW46lrg5sce)lm()QaEamt+mlGqN$nmLNbZ;3W%8SF*SwCe&C-K7Z;LMNl~&gv09 z1OcJo5EN6Ps9#lua!OJpT#&B#5XguE7AC3uiG}PscH9NeM&$W$#b}e*a^wdcoyR&9 zJuc)W)>7K5uwO}N8{{f5)Ks(On~`fW)+pt^R-hJY3y9At#u|%g1YDj&DXT?JAAs1$ zchRhSEYMd^2Oz@_B(nDyls2BaWlTP4)g_~LXj*M5y^CUWqk1}XTeVcyD1>_172~LNJ%F8T$D3qgX zEZoM&RKvd75keYWPJ2|Y1)pc}ZB-n#EZ+`~*i%_GafA6qiO%q-q;0F5s^lRowA;2} z7Kv7ovqQ>>3(HuS)m2~OyW->dIhJI0gzKwPxz#(9xD9DvcP7s+p#dMoJMb;C|7Uvq6JFYKYbxWl zFa@S=jI`z@Ifl1C(i-uE&g(!8-q3D`h62!BZa`uh?sb{a2XcPO17^XNn3y<(D)wh~C% zeCLEB&W9fMa90#iK~FMIm8N9GdYc$Ac>a!C2)oMc5xFUi3>LCoM8Xth5Ls#YA=0cp zdRiempcMeL& z?ho5(p=0>Ax}XT>miEF-CH~o!7_1q1X(u%FyU-ve{9Pjok)BW+4E zH`Q$#Tfj;;0jJciX?~)*u8>h?k-nX??f1mJ3C2B&lnt|C;SqxO{BnqCyHzOb(gcle za?gz8*2^RFJrrUWZ$m0sq|Y)@hLg$>8(__ZH#(S--<(3@OjC=EU8@$!)vc-3Hc7b| zFD68-zKp4Uvr~BfongrR1)Ajb&l5bMN85f7<6^d$ZO`M|>N7kpR7+ayXVYC(N&Y(w zwrQukZY2wifp4GLAEFWNF)Y+I5)~g^$u2t@Oqae~eaRFvg?Gk)aX8#6o7ASG)k*B8 zpce=yRoxJZ2D*JL@NK--+`+{7iP%PH@)2ni-kFw9{dGFfp|N??Qd#az?+ZXyOV%zj zXb)qmX4}$%#zAZEGdiq;^6oE#cSPvSIiZIOxi+9+1FJuP08c|wGM1aBNK5iP#r7Ap z4GrFKci-@+WEPF#4ypLMr#{})Tw2f4YaK52cRa9@`PW1P)o}VUP%}|l z`F3E!avCx?+yPTdwliTYZ%m@7oh~2o6&dyodCpy9iA(oOW@O+ogjY087;^Z70ach#)Y|(6aEAOI$7)ZD+{~D>E;}#Ey{%Hjny^5JlD$e>Lki;k*~yrv9n4 zMHJtB#U!EG&=wBY<>m%GlFigkc*lD(;{!H=KhGu*e|f7H(@S@U4G9mj8;%Kg62W-c&0T$5{(}V6?U!Igm7Up z1zAQj%-^_;7~lloa0KaZr;M0^Zr$w5gVO3tV!7bd=r?M<#WmWaIKi-M3Xj>2bcsSa z?XEGK=TGaq#_ojCBt+DzQhg;Z#xB(+%(O=L8HU6_Q=6t+2L9b-?v3#%x&CN^O+j#kR8(;QgnHxF) zw!~?Fg}!O85`z`=m_TX~&tPtsg|ii2KVmx&9+Cnng8bw&WqeQkJKgN zBDbcF7=y8Ck;tU%U)yTzl-9^e*dK$s&Z*g&WfePp(7O%d%25k=(|6S3!bfi|DNyB& za~kkLpPAy<@`!l~xxlddTs<`$DfqOir@da#k6)P|JeaVZrrC3?YOk+})Uyk-b-XLs zV6S{OJFF&6TWrXDShvw6%1Ek;*lkp#L51WQ^4E$9&Za=RN9Np;V&*eY8Q8Q)X7zox zFq>%HDHc|eQ4Q&5N?D6#SmPy?VuiKBbgO$VieZ_6w4B@99b3w$&KXs!vM;rL4daii&X3X4Cg0iBBmoc;gVi$2=zRpjJuS8~+(1fT>_#UO08B`9B$jfV zY%Qs6r-r!gI}DnYYOIKCpNVyYA_a=<}t_4F?g~{L94F>t_i%t zD)cM6#z?H_^ORL1e_r`z)@@B#bqX&Y7NHESIrU>@+&!Z)UQ{c}Oi72&^5RaF0-uT< z6F`HCdp5?g_bBfk1S--dNIa>SgvcV@$RXI#OOF$ubO?E(NxW_~C#FvcDMPLTcK5IW z0@k@;BWq6btQiJ1=_Z>arfnIk&B8GSxrh9NJCn__O{wcsYl$7X<-Tlas;bPc|16b$ za-&8!J&V<~Bq;vUy@>`Ky=z0S1RBgaL!2b&ksEilZ@Vw8n&}->E>fiH(XVZ5;$2C8 z76kuRNqal2We*3xEMylZBN`oR4nO7DY@4Bb9H_7UzGB1z{P#ysU#bK)Ranq!geG}H zxWG-@9LpHNO`UP4HB8%3fVqcQbM7bCfqO^Qx~qUw5o)%Uva zJ}!7>*<`A#<*N;6Axp!*HK4yGWw}M8kpb>PfwKbpqRcc)+Y9U-?P-a#GI|{2z>3c{ zlMqH(r|!gX>nB~)S1f;kmBuBtg2%WBpIeO`R}VSUj){(&w>#rEM5tQBL{%%3N~v@t zspl(+w@b}h3dm&CQRkRUNJ|gl20{r%A@^#RKyq#>>&p{sr#UtXW<ToM&`u80Qvm;)1zG0)H!DEyj`>!GJq5g#H}=%%l7>M%^` zF>aHTErW&G7K>JH=LIP`C%2PbT1~K>m&ZGgMR3%b_seE|`OXSbj)R7ykhYTK8jmYm zu*AFFO})fAL@*iV;k5b?=XA#+HxY8)pJ*IMu0FX=R|l=*JjovE9;^)}@C>1nZX zTq&*t<52ne%SylN+$tWYm2eZiXgQBXQV`o;OA>oBL|A3w{#h9fjKh+Bny6K{yl7%f9b$*{wt~T7c zI7)E7lbm+fyKFV!Auk6OHsn@{jwDO3LM4j_0lx2-vEvb{5)wOl*QDPd^L` z+0$K&nQ+=n=J2l{#d{L0$Y0X9UVKix_%M=E(`cSH3F+ts0!G{;QiHP85O$oRDPb-w z_Dq&(^Aty?HEJ9*aKZW*Yp3t5&n@gCxR=SSEO*1gp2Xt}8qnd_yit1irDkF=D7U(~ z!aNB9k@Tr+PUjl{q?Fux4YiL_k&(QJpw@0t1iUSQH<9ouulhIWkQzIz0V1z2_#x+x zZQ$J5n_EYblM;>hMK>0J+iBtl<<};~7b`CVRlDxpBR_1E06!d|!^C;6 z@}-t?CF&3(vN9@$VSj)Pa30HaQ^$pu4QqO${Ft6Pj~93Ty0v4uY#gT}C~6Rx`*T+_ z=-s!JQ_lO*{`yVUB{akQQiQLR8}^1*|Z- zW3fK|uoPcH;%3|Xq@9E&e_9GZp+D=haNF$7c}yy-E99-LuWsMWYXg7DO3yi95>t&l z#2`$NUS-@PjCTQLvIb~+@(FPP4WKXjr1@ymDon~jxAH+tPN9iKm%&}J)KMNJn2G_@ z2%fUXrQZ;Bik@MrN1K_ec)UciSi%ivuhNqYaT50%SnoX!tgZ~K}l=i!X+TD#6b-|qlPSR(~OKcwwz{#9ekSPdyY z%d;Y~r79L~USzOhcF!GO!$vpK6?nsa1c5w6b>&m^G0! zyo<){^?~F!(!6%U>9r2Cio3J6kFZIa&`P!0rnCL(*_xcxRGSPA!!tLoH==AUW_9bE zehR-y*_+hA)RY4~5Hf9#EmKb`MW;CD87RN5@2pauum@VluQTHvRY>tL4Zi(Y^^R#& zG`#aqYQk;m*v?Er<1>jAK0)Lx$pdGt&4!5%XS6k)dUmbRQ!3t?FE3HoU}H-gy;->& z1iz4bwnvxN&yix3-@stDCR1q5qj_q+JmYJ8eH)9SkKX-Z_-RL;HOu7ot?g;>at+;g zf4wjJ6-T75bT4zEQ`n@StYLmyC1A7D`hH*y$a6mY+jgFeHhPqQ5zUCzEQ>N&TmwTO?a%`5g>B zZ#@)(`Ct{sY~7g6o{yhI@Qj{;zcBCp-hknzY7e);=YF$&l0>paL)_-G_nCRxUZXLO z2uGH&qhzv2t=j?`C8z@d>K|9}*Fi-f?3~om+a||Gx-TgQumGweO6DE^p@QUw# zI`U71z+{JOP+n@l&jLW>+YwjxgA}8*pA@~jA@`sc;sf)qAv~kKZScNhZVSB_igD`i z7XL#%Z3!H5Yz(vvcZ}EXFA*)(kn?DGJT(MQIR=8s!zN@30M|F7v~rL3JRAGWlM$8x zi}>bTgj@$#Nc0EaL;?EXuvWc4y*E8SMi|9fVl5Cfd^$M3<VWPoz&)ie=o@D-dwejt zF+=#1N+7@5232|GrmYrOxP=Y9a!W`Jwb;VdWSX?PavAkxs{pz{w8ul@P-D|1z8yc|=GY<72aGo|A z3;X=XVO{(u?qLMeehq?QN?qA~RpR}rB#X{nuC|(`bNeEBnFI*BzNANszK80 zT4`24s~wh*>xPd4GXW)9Kdb&#B(t0O?`tz5d#!mp!02+r73O7!Sh>jlU_@GW&fw*Y zF07=H^l0%Qp>pW(fEz9W1A<-E?DoreeY>M3_5I{6U(W;I3UJj@be-@;ui*wYIo(jJJ752LmqYUSo$%%^$C8p$u%uw zp`;|6j@ZmFl$t;2p6OZ8W+9r80@=b%Xr^j}>oi-m+}sL3pyKCs3!LDF_G%=) zsGh)#t!qa$ifR*-#vvx=p(?h$t$9dlWaPeA*S^RPeO-H%d0Cu4&kXZw7}VXv0I37T z5FQN`Q|MQb#eF=*UJows2fsZMY6eav2*gc5Djo932T5;}?WUm9w~xs}?s)30<{L}_ zZm#yZ<#6jv;6~uQ?f0qWw*DuE(3`&{-Y2yC3A@IW6PV{(om8kuk9?^1F}VhtnI2jd zaUYik?8&d6Juee6j8v&3PvrtUjFNr86${6_QbY2Nlx+W7gufzqgPV zl&9jupMl`X%KZ?zV9C9V_+-EN49XS*cLMiBs=d*UzEP>uM)$OSjygFf#rVwC^Pyz9tX5@+MT2I{vYPd(* zH-o`cfaq)~3Vey!%+m<~wXTSa;u4Ravldxn=NQ{alwtFd#9XF?C-xX9+VBDA#>mI|@lQglkOR;rm>hsbS?%gU`9 z%9z+(GrC}lLbI~umUMBMTGGO4k!EHmEFp5sWiE3$)9IY^>U=)udHuY2p3if8@&EjP z-wmsQd=zlSfktJXt|Ytq?m(-Rc5d1d&{FEsizcex}*xM`oDX zZhF#5ynastWSgzT^84qwbH%8C$fDyfb(i0K02=5fYTr}q}ozc>s4u4f}zu&%9u%%meR{_R&_u81J z9DmL6q{-W?V;W&L*)PesJ0+z260oQO9m zHHNr|Ft|)BeUKY*&WsQDkpX1SB8gO|W64-4o_?QlQBbUe*|!)YbdORK>9r3Q-M#f_ zD~7`m^O~=-I#)pYc#3uTk@L^B06Pc`6vmj7+LHOboDV7UwivUigR!m&Wh(c9Q4c7@!fr_>Zg`vo$q(?m*0 z$j4OgP}bPurCwI*FZ|4EV|WK8oCfP$S?pTd2srur+UI_im_r?^GODfzp}>#9C6a${ zBb!buz{&R+So_Sx{`>`4K~d&+(P7<@Zs^4?uGup#vlEgePPEj%60`y?YRE>DSz!@* z=_m$(Lc3$MM?|8oZ<)ME{qR;ji{1F3owiE?W!o#=5P7V-Aqb z%kiXL0%Hc_8ARb;NTk2qX?6))_;nb>)KN{vg1|IS~SqVgSw zSf0p{URp8~4*?!^Im9C5mZVekB##otO5GkVuI~hUevwYhHa+iCMlYPu3TihfWVJfn zS4o3fKv&~*yb%ez?;eZ*JZF7XO+OyY#`IM)A*Z^e#+6Z9^xfoSrLSUMBHtO~ehii- zsXKt^Q)7rJNwQU3(Eg*`G@I_4jYS%nPag^NMwc{=kk9&!RcC98_H?O@5<$(D?!W^3 ztli(k6|Hcd7n(Tcuz+n4(9XUy19fHwVno!N1N1bP@TB}mumN|v0&9eG9#+69n$RYx zGUd^LhM~*Nw<+Vw44=;XYMR5Z5+vzY-@DP_1~5%2W+|XF-j&@`^i_zieVYZ765s zHzP#j9hDL#LYrBsK3~(#G`yB&b13q0KPY&^cV~ZJy7dBP!5mOD(;oxw-D{;*+OwVs zy|j(~K5;}GyFL>PN;DY`yVNFERqCb|mxqKLu(7WU2}q+p1~$17&vUgh<8%Mh@5tZ&1qt`Ryga{k;^9JQW2%1zKWqb(cHo+JWg^q#%o!ZVzUx2 zkEZE@nLV7!y7D@#(LtrveLHhFnY<+U;5TyG9CU6r&)V_$hV)Pk2^Mj?F@~qU|Jy)J zn|GbXzn+fJj&-G1U~%1Hrcp2kB4#@8dbs#YjOzcrN{&#|)Tk}|hiHrI%ovA`N<-71 u0DBzxC)cm$FSb2R_tSqf<{pm;SAd81!4Hl)*qHL4EP!1;$%hN!1rGU;)ry17t+# zJB~P*W6(b^E~+x(FUm&A_Mk7|EyWbXUc9J`MSCztfWAg?l+|&0@dC5^_b*JpLy_5w z7gsfJCB@V|4G&w9l<^KI!KuUzOZpr?LSR@oVZU;yvS!iLbq>xon|691dLOoWRC>hD z2}iVohy>kBv~lnygUBk4yMw56c6~hJnVC~ZNVuM)ZiP9=Ikz5361R-B60);`@FwO5h{#Jk<7#S%yqKa-0#tm1_r z+XmivEy)Fnq7*f}uGcCzblhu!J&MVrqUC^jKDmUeun|IeR?1arvM(Vf zCYDuFvQ!k;U25|a4A7==MS4{}Zk$5&ScALkgDKzw#Nv8D?j*m&YmbeEA?c@P>0?g|?2|3!7 zOj5l;2U`JsCwybCuqt1wd~xigCIN!6DD7{s9BsLg%%56ce5E?b`YuR9^Yu`w??T?- z2!Rwhw@9;eL4<;W5(;L4_fdWx!+p9w?AS)9`59XQdei`nAPJVQ3K}J{z6jZJ5 z^t=t7%H8#e!wr@)Z`uouZYL|C8FATaV=NY>$Zkd}i1OGB4pGaebA_VO>%t=27_IwQ z-J~A>Mlcof+-(b^tc);32-csr={)U9S2q(XcrxlS^m-c|`)E{R5wwaGMi}}1v<&1L z`qh64L2K{Mzv2DaVmb;d37c5pz#YXPOZv#b5yGQB!-UeQCNG9!E4 zf}QEhn;T>>QASjoM>>J^_LJo^A$p+^lF7z;E~T{hsu@nQp~{s;^_}^hg@Z9*f#@*! z&S`g+4G;5XF(p*5@H3sayD(ro(_km`4v&>7Y=Fb%5kG}+ab&9PhfGCg)oH()mC@SW zWbC3o#bz+^RbPZy9~`LP{I8jkce8I9OQ~d7a$n986?e`jBcJ`{S*7>h&hT z#^vbISdy5KQ|6YSCgsn(1FU)3evq^CzFv1WS5;s}d5~D|cITTX&*3DxA7^r|oIbw3 zA>9{>1qFSURu0bTduzO@cbQ_Y`mcePHZ2ZSvhv*~k5$okum_-;buY-$(GJ<8fu8mYLUbrj$JvKrOHbXMZ&Ea$qME6&>5tYO-rsQf06lL+E#ukA>@XR)Z;%ChCCm|x|Jkp^Qg3WB+q&As>Ez!v7swcZ#z~#!?9X6n0_fd=rYaL9+f7C@1^=`guQP9;K?PJEDth z073A}(~Aj8Usb^jb5il-1h|BOD1)Wtq z${IDEr=sOjCW>MeY`?W`S>3l7y}9unyFsPbwp^_qK~n>=QoO!aa4GDkp4JcXpMQ@p z07)i6f?G7WiNt<7^_5(__^M>~AaHY(zr8pmz$Nz7a-pPnc;k7{JpSXI?Sj-Y7TSeN z3;|;05p~3zr-DM}?8=lkd*eyc0)^@%-ssnF+b6_f6{IRl4X<%%^O{g_FaWhSvooP6 znpfmRSQJ7XkN4MZV|o=>t}zeKPi%SajG@h?29CuUrDe(K04Bi_zB_XE=fQ7TQ;BnD zZ4)I-r;TUqNHx2j!{nmR0go{6^zF#!#WxjL9jmKbPzTvbC zR~MB#?n9r$OVsqdknY_HmO@8=DOm8g@sdT%&x^6ED-D@JM+5Gh!}azC#N}IEfJC)9 zqinzI(;8GewM6QZFj&`av^#E_w4Vndy;jZP)Ep%}m%p%r_ZNwxQbaM;?lI98GqXtp zZm8MVBC~D<`;2Q?KAIpj+s$1xGR)cAimr;+#D3Q(-ZxC^O-V`ljz+-1z|i2bgNciW zH!(T8AnP7fa#+!Wl_Lo1RSbbw0n}v`a5UW*&mU0>>EQL8e6Z>$(r>Ifwk%AuEoyK( zAY9+raDyU9J0S!%RM}m7y?;F4C$3mIh#sC)GV+&yR|Wt>>-+5!Tkr*2O523{?ZjmnHiXLh#=CV0svDYHL*{T6CyV}ddH`dy9*0t(c{lq=73X|+pWr3ZicC20>~DjvJzOXsSUud{^83bFw~bdZlM#UIDWH6NeP{=ckHn8m>_cb~htt zT->sCGf6CXd{jVafA7`FK5@jU8Z_L3T_7wF)d&=x1>xO;^>9K6ks}>9!r9KXsgx&e zSvpB<)wynx^FEJiZ9R^U89AY?ke;X40B-)j_KGk#&=?~>7ms^)8de*SE1En?Ts%&zd90Dd;sPBYEBv8KU zG{FWgjk|Q4>o(wcV+Ns4pHF% zrTzR>?)>XRES4oh1OKhbK$}lPiyN0NqR$)i+(4JTyWRFXvYPk2l@9wxMaOnnq>VJb z5>1fI-MpZ^xL1mmK_RqnRf~Q*E;Axb?kOkWHl?Vu2*0nL#ki>R<~ohlN_~6QUKTNm zkGaG$G{vP1|B@|-=L|QefGZ?82W}?c@#q9HI-RRM)dx58>sc%f1gP4i|CcMat8~bA zPrp(C?MxHCQ{2n!$3KyyNq# zhqA6p*(qzMoj&42-4;MIt6g_grHvy!Ph7GzE^Db3l9qzQ;ZpsJ?ytw)x9}`AKW4G# z>0W%FDUP!OQ0koH|7%@W89^1?SoZ~W66Q*Ra|;3;&C*)Te9n5SN5}7(k9CRd}iGj=Z8D%S2<>E(I$zCZ_vHk^QSC!5_X@vTSQg$yT zvY(@6;^pA2wX(!+>3p%|zV1o}o&;Wzs=R+kBQ(ArFzd5iY%1qx8? zXsE*~<|XS2y%B71x!{^{MGG`Nm<}g8_)5!?^)K&y;)mG~=Ue#V9@g50=TrIGLcPi@?j!bi~nAU2_x2fa;ky%XfEWZ8SodNq1K z)FO`p1Zg}6`Qz-NHUyNli-4?5afoLSYT*pBt28=Ra>+=p4FZFm^hH;Z0gFCehMJU- z_7Sd}{iVxU&XnQwWw)2`@IPSLxB1E`t7H=!0-biax~%82etcf+TdrvyU#x}gGVwgh zyQ6#i`9b2L7iI%-#^W-i%2j4~l_2;4<*dQim$NIyQ(VQJKIikCe;W=E*VO5J&TDB3 zI*N>OM}rSJd;jQ~F2^7J=LI@hYtq1bHg}Cmza{~wUSEajHGbr?vwG5e{%t@6)DI+M zL)ta?<@u6z8y?e-ZWfmjxp(?FM(zS99Cw*r%k~j!yD(SW5KSkyd}Os3V678id8(wf zecy@Nc6HA0>MtX)Dq=dGmwm_>8e1!~Z>e{3HCCF!a0ILFy%=-;1qAJ>b7?Mg49a09 z=wj41v3Du4ydl>iXKrvpxUgA#={Q^&bSt+K#TsM3+pIUFpPbR(WUPR*c?>U8V4xg{ zGG|`o_Hj`dC7WO=$xGueRPRx+C%fJMTD%hYZCATjtzJLh8nfe0`>|7deg8?c}=u)ImU~=R7~EyY}ivLYZ$s@t87_#N19{| z3(2bpZB??HV$P*Eu9qDJsd`m*IAW>52`gJHy%qCOdyJ=j`^5kBGtkLcmta6HwihMW z{u+C}8)k+@b3Nu*k~vuKaYDQD9-cKVvg=ZMRJmUJ17F?hTyjw#Le!iimn&oR@c}Cb z-GonrpDn8OqDIH&X_1P~>0AHb!AA`>tKideashi5U^e)F8J93Vve<7j36x z>Y{OqCJkrh)yR7r$!C82-C;lYK zcY4sSP#{%4G(zc<=~@gdXQ_XFH98IZA-1me;TGV(2TSGkX(vfi>D+@}BrG*g+#a0h$7VDQwb`oa}CY=r13gxjw;prN1nj++t zo2TZq`OeFDl~wskg17;{s?TJ;?sm36&Dw2go?^<|bC0t36%u zH~DI3UW1_f3YmLtx%+n=7D{g@q^ zM$zczF&6*y5!Qeal(%fIcsc5LP))iJLSR)^@4VZ$;79#!_=zZ71)_kGrdfMc4s~n3bY`9B~=ru@hzLL=b+Ep z+Yd;^z)tdfSrq(&j^8#3Tchzv{V-A~`0CIa-AWy^43)HKX)yP;sI%Yp3an`P)v(^#|x&MKI0yBAkZBcZT}oTYwnYkNy@OoUuP z-&OeRD<1PoB#=V2r#*~oKYqpL&Zi>7C$C_YnlmtKO!9Ja-H%QmcK$dE3ZYpUAD#i( z?pb3M8Vbhs4dgM6irs-mUo%ITg;VpZw(blImKJ)ye~7S&t>7(MXDT_*r`; zy%mzT9}?XXX3GGopy*C|HYnug8OTTqdeFl@ceSLmH^hAkWa{TN zR;4L0n9rW;zbAM*f)a+4`YAl*A`YOljQJ#iwQGZL10^S^p(L1MyNw(qvnRWmEPQQl z6q*z*kq1Mmohyx01=0rH>4Hvt^$sXqn(SKV6EqOI^2lWNkFpWX;2Wk;IA}J*C5nBL{jqVGUQ!1@K7iKP4~#4Co{II9j$Ine4S?)(2N*nf|q>twxK46T%TLs zYM>pX^M_FxEp6IjM0SD(GQeHA9_kEn?iP%UOz(1uuF?B4*o(5SIy?LhIRRlnp$c_8ko(l@#7Y~(u-Uyxc*reh;xr={ zEiJOMBOZU0^_;KF2eFP?Pmwj_v41sjv|2Xfx~R(zbaECN^v3A&=Yc2M|C;dEg7SfY z)@&vRJu%2oi=X^=Wu${`s{^^4-TG4I`YQBJz zUJ&j%O8vlE`v561yVGc-Dl#Mrp|s2l4ex)_F~D9wfY&2^r5{XUGSJ5)f3IC~WI$|> z3MFL=CK^#dP#)Fm66%t)CJ@?lVet=kZO#&YM(;T>dz!FZC5;-AR*YG-oXRXyJNTv| zkZEp^Uhhm&3tbtg!S@$Tce}JOJYPjULyJoB7-J8>S|AEmI)$)OPbOE2U&}(6VGUmy z>rpd9tSZ}Q@U|8(Q$n_+&hu%}C)YdGi|;#kt4NtGMa*_*{u;;zE;L?r|4Qd$QZve& zU_OTR4Zm0?bG+X->s_H|dffTlT%@5e(MNLf9pM?+=+S*B zjHJZ2M_j|tc9rLKZC3;7^ZwVvhncHbZ$EElu9af}M6KlkjDsmA$!jqE>*Z%GxaUe| z%w3F4*{c+trJ}!6<;@dPpz85U27Va2!r9Ql#T)2@YzR@JGtCp)+zhaVZP!~4zo|xG zyF7bg=GYk#ViX=gPZ}Iy%pP>bFt;#*f|<^<)xIG%92Dq;g>z)~ zsn(F?T)-X`usOzkc53TdbolMQtF%C#Giu)7pysy$pSRgcJHwOpVXB<*oKjXryzm70 zt;RW3_a%%&ZGiR$0$@`jyr?^4s08uErFNB7UP!(VChr^BluR?2pvbr?t=KP+ZHG?h z)vyr>@F%OHj7ITKfKN_V`f>cO{bNO#U)Y;Vt|^uy6gq-?LOBdrQq0ai?Z=_W8<^bj zqtBa@+AGaGzT~#X2l(N4(|*uQT(n>KaV=**9OL$+85H1c8%)TAi*_yZnN|n(u@;8r z2z7h9O1h)SO2UPDrbeaHX8`7rDbe)Wc=>p;Au%aR(5bL8FPijF&_Nn?Qb7nrYw8f- zP*jZ3J(I-Ov&t9dM^g-4+kglZNc77K(vP{fN9#B%%HR(6e$-#T2f=;pg`vUV?IP{! zvjkvPkJM}CgmzKp=Abpv8AbNh1rQm}eEA5NnL?`i#NW_WLxcfXP}t3L7CSLOD7Pxm zqum@kA56pUWND*ic3=(OS$hn}fc3CA^P~b7Xh}P;scJCEJsb3Z4;;wMFGHkpM3333Z~lPb zW{wO{;Qp=3KuI{jKGG9iJ2Di*4qIp|E&CBczL;4eTBq{%u`i7G3nt)4@x($Ongk|( zR3Hvz-(*IV<0X)#Y|%;-G(NcG#DN{t|6`QX!^F+AWi1kC&Vt&xsK)` zlAfMknyUdu^fCx7IWWmMkxQjBf1deJGytXWy0j-;pzQbTOa~1wuT^tLzvPB1z3sY9 zAYc1t9bw+0^qT`Fsz*w7$iAD8uvg@mn=%M2Zn^qFN0{R$#ap!Lep)t-rskt{FWn(4 zVSR{*UUGyX*obSNuwWuyjtzBPCC;+}GFN1G%PSRxG&oYzo*AY)q%Y7gdDqZO1A=Nc zpJ{Jp-u~}oQ}=p^=ucy+Bj?+!QFfbHGJ1MNOkrE?3^hf^yIa~dd%wfW4CU7>VpMbS zxa#X*`K+dUp0g(me?icpm?#mk^+@Y?8xgKyQp^z|h_5Ot?#B9=gP?^#sg{HdS6U4| zP&WHxm}M?Bw=J?u82|Df%)VG2dG*`7enOYIo4mEYmx{HlBlV;1pPkY|&cB)R5%tH= z!9b$TiiF#<*4o|n05Jyg0}eb|r~osn|331dDuocxs$I5z_kEGx0-hox>0A*PvMnDx zsp&7Hw_8Y24a@P^x}6x-p{R<6Tgm}uwDtw*JvUVxHPNzCmq}I1a|57mSFPe{WP>>E zn~}^}caTY{9R1cIJW{miKGsU$ocg1X6`Ng0h4cqU)w!;fLLTcx73GeXXiJk=tcUfo zHTr^&^|HFa`y`b=u>d-wlI#kXkX+Lb7)1Kgx`!eqi+&`txbaSO$6SduPQiXVBeKR| zCS>Gcg1kr?-4LUW^eOzF%+*)|NL)i7l*qq#($+3Nm6<#bYxh7k?u;oCvZX6yr$ez@ zGDI)Uk`9*Aic9o{#bcsZDcB)NYoLg2h?HS3&5nRYOfEmR`R-5S#MN#f)I~ao%?EBP zfFh<2IxLvfyQDef-B;8WcfEi}+FM<&y2obZ>H_(miUN^Op~Ia71%6_0!vAKvLeF&( z$uJuo*q;2Z-7^nN<6J$XC71`A#g04wuvFK`kWC+RMP#$B*XyqS&HpLvq52h-e)neJzW9DjpNFvFMPEwnAfSq!IG- zUF+W4gY7SXH1xT~dtr4`bpuPFzSY)564k-Zm$-V2NH~>11>&0i9R!4vfle@!j6|3S zXAlgj_PoJw3N0Z;3>c8C-9R@6iy6=%=?mVSmAUtx+c}>EeY)RHqmX*ll0qX_{P+k< z>xwuEzbyTUILczkf#^6Es#L)1%ER?xgz#2;@c7Cd{xMSKFir!Y-~EFRL~H+-?t`Oi z_owcIK?)c~2Q1J44Ek`U!FD}+sUFErOC|-i6fQFvZx+&7cGpX!M=AwzTo@3;W)!43 z9Y~>G{ei(}V)b3LfLaW-$Saf`E%(5}?+l5{*n3~0!-wd|!%35TR$`XCkFZz%akOSo zOjK}HWLtC8CAWT zc(O$6?MZqCH z7Z#W-Kg$><2V+B%{45XB-yP-6KP?1i`(T05IkNM?>uV?2z|V=f$t6&&qrv?edm<+J zd8Rm<;OgB|+-r)AXv_rR>^co`wF2Tk+jiCkBjc0x&5|a^&j`j{dqM7nUmv5fDUs;$ z6;I0rU)ZpnwwFsl0nq2SdkcCyL`vwBjfK#5UQ0@XAB}YK0^`7XUt=J1y&+wXaRCJk zKI5~Km~P#e8y3#gqh(fDO81)DZfbd}zG^tlO)L+vaBCx206Myt19iCIqb9JRhe>6v z(tCPnUYRp-3bmy@460;@xBpPP;Td&nW$fth#jNA0b3FYX)xJ$8M!jfsD6bx`(YG4! zlSAn9tI%0utL&Yl?zLaIBw6w-%CubN5jjMqfY7^iqJ4rBvS#aAb__>Ehs5VK`(|v* z(ou_dS&xsa5bwM9_m^5tIpVE@j?fdf5Jyu7g*2JlR>Qhz+S*k&bI|7<{k;Jy6BmgH z+R+fd#J6+FXfZt;m+;2*(p}hubfoWBy2U=641#S_HiE!Pg;!sk-GhSrD1RY2yeXOE zRUKI0$nbYGZkPJ}+)DBrxk_ZGxQ){F&^UDbnAZ_vZqnhDN6Uq0(sTwxCZSx)S{&O9 zqYKAjSE=1dtG{F}$QXL)1kgd%{|a!|C{9caLL#|e(%vW*;3Hq19cPSwR6qH)+}U|s zT#>CBvDz5>#yCMwOwp1hjysuP>_u4j#LN()hGm+}!nZSert(mRLVFqwAJR&h8RO2r z>R}+nYFC|PdDg&8yjOThga@Jah!Mo0HrHQngB9%}AwTbfV@$T3oryE=KJF7){i_M$|Dr_G(#<{3jhNQ2%35MK`Y{G_a zR{npw-{0s;HiqBPrANB}pSE02@oq<**rjTKgkEhZz^ukw?{_Rq&Qq(1#yA>G+?)Ws1W>!Q_ zW8=QCrtgNvoy|FZVxoWeD#2^J<=4pVZsDd~uNx`|wy3)C`d=aQq?aAWg6G%%Pp#lZ z%TQQp)F+ID&e~_g6`R^GKgQDt1x4hSy$f?CkHSGh)-C zQ^#1$OSPEHzhksdCqx5uS<3y^%ZPPL8iJ?7>ncpP$KrWKMKV|&ZAoHC!DpX)l?*VX z*8pTg4jyo5`-9j(U87(X+1HYZRh6OQ*+BZR+F?|lI@aB4HKSn2oQjUW5KN-wm*IJ#JfavA|C&Uqaj0vf8uK)V^& z#?zv~6SlWUU5_6bpzD+}PghEEp3&LB6+B;FY|{5if)kpiI9RYF11ugQXrV$-LM`xY z&Aewdyz?sAZjEgRDasju?L~3+wjR5g7yVb-(zu%qHRlp6x=|C>4qnapYa%ojzv z<pOY{|5Dt8WEdA92BM=s&?3!OedD##;e|XVBPY6$y~vHQa9+* zR0zCGipwfWq65HU#Q0iqVXa^yu{m zv!@#-td6>{0ER`XyvU=!r5~o;iy*5i3?1U>L#t^VR3=|1B!;f9&1P-xITO?*Q=HLp>O}cdxW7eL;iNf7L7aEA@;XNyWh; z{!u6@9iF}z`9D93!WOJ2lKQjaQw%`mZqF9+R|P6i{BX$-p8@o{{1o0eWUjH59_lN< zOCq|ED_sOFXUhzv7B8S8!tVz{a7=dGHF@+MBiweNm-BzW<==3lIRLG;`16gfizc8t za%$+`{Xo17nB}2K$M0TqWRb@X3WDJOn)9&qe>c33%D+ar%7Na%{m}=_f3Q=(-T$$9 z%Q+B8Dhtgee?K7i!lbiPzme?aFrw<8lL*HR)OG}Fu_7T?fB5pJHM64rV}oUU z-cWfPyQ|qiOL%B{5F}f(W3*VnyDUN?u?=o?^dthD;Ja3$-ocOsgXo~xgJi%9W{brk zpFtI4Wuzy2P;>(+$8KQ9PZ(q1KG z7h}I0o%CbIh!cCwWZS>Y4?gZVXov>P)-kq_CwwZ_H8BNe!$J4+Y?1o!RocQriu%G` zsxrC?hv}UB66D+28vfd`oC`bEbn^84h*ZeuhHM^OR>1#Jj1dh!YL>3T_1M10n)8%; z12ZP36t!{DvB%d$&;kNdvh;MHN43*rU3pz9W@E_~#W$2;Hi^R>fP%Rq+g(i*8&{Ew z1#523e!wG0_Ng+P_=|bi`ffMYO_CRZ%YKov|COD^d#M5b7^eieZkgO5d2HZ0ZVtB7 zr9cgF^1!fc-&3~Or-bB>df?;G$~7TkSn1q^>(l+|V&B!R{bv8D)Zp(Fwd}@9WE5s? zy$5u$aqoAfp}zaj_Rs#m&(@>;hFs2w444m_7|LdRn(*hY0TTIlg!l4!5Jj~W9c0n? zd%v{3lRkK2`^kd)yXbkkf1hsnxiM^94HEr!_A-4=7tAS8UPHa{3BM;OxY3#aO%g`l!+V$w zn_(ay|BOs*2GyzRP_}Dnl;XwM+P52X?$}H`;L711a_x{~&n7#@GmDs;j_||1_G~T6&Hc@vY{&MS_*24FV|nB~8?FTAU`Z@h~)46B0|1JoS$9 zM_tB1Lex(2Br;*=6wimJQATsgsyX9VI61|CBB(u)`Kv_8fJi>Vop#1v+S=vky4tr=QbVR3WLOEnK1t`MDw$KD~$0Lcpv0 znXGu-rJ|ro2zUKz-OHU-L`Wo-*iGG$*s*2J3k!;R>-Cb%d`V1S;X>x$3}ym=;#9@J z*lXn-qBKAe*sk5m*XtU6Z*LDVb8W;@f=!@}4&>WYEVFb2FgjHXD`%rFNnx^4jbKm#|_(YohMyRC((KRZq68ofT^c*xgKU5lVP#^8HE zh%$7fL(gOr%2JLoVxsMwao!m5Hs8#uHCjjTePnXr1mGZpRDiu@aRrm(x}Dqryn3a{6^k z_x*A}=W9oSb&QdmBphIyVLGxyab1CpIJ2-4nbD|mUL;1-p(&5LB7W0?H)uFN=w7?L zz9yvPL7$d51?4~c&5A@uW*JpU4X#FiW>5DamZ!HD6$w8gNW5gg-0h0S>cn#0;EE~l z_y|qZ3$JAIk?XVH?l|IyV663(4X!1=24wPwt!;#;D2ZL7&0x);vJG>0o+^xOUlXMa z9loV^aIvgmDuU#Thwje?}YtauBYBp=yaUt&vdKT;^5&9tGdJ{ z^ZOFKq{Ry?FT*u2Smrv5#DJrQp>cm7z&z(c@Z9PfO>}JntdFBfds?t-IHK}I+z8u# z3th5SgQQ9;%CfxHp48!IY|cU|GJWs0tg`J*@|a&9VG_9r4G)KKE24a%DAQ9#b@V!$ z5Ut;y<{|!%r%_@8KB7siZEwR0Hlm{anx_~qt@vR3 z2}^jxr!;@3s@Lqu*GH3|3!u~w4Nx?JZ$fMqD|MDgIF78W$t?GR*|-E1A)I)FFw*QB z%6MClx(&?HYArQf^}IEVhR%$M1j5njimP$4=8u~^6l)}PqG9W@RgLaY1`S@T1xk z*~WnU!!f2ZeH!*S2z#dY;=961FHMdEi|68^_?|A#kp)>l-c_geAAu(QxA}5t(|^($ zl{6eQ%URS za~^8ueQYB3irAati*IgNGOdXs|GVf&C^@Ns|A#X?X?F}PhmC?gIJ9+`)^;^eSit2H zOO#JeCBxApRFhF%^()ZA%|Ch7KjHZPL!b)k2CEs({W7T;ZDvQ*-Ie2E6_#q|)Xnk_ zpY)i#X5s-JE+P;5KaBrpG+k&Rqv^Su1ZQ{iksZ}VN_cVXvy_1j-tZDT8hNqj8_uN1 ztN|q26F~H~SjIRXf45*BFZKHB0a%c8io!m<(A56x_fusChEuttqN9z#c6W|$GdknN@YnRED&l*)k-Dvk8xd_DYo?4>3f7SzCBY&xA(b|jfJ2bc z$6J1KnSweQM+PE3K_BXd4RQS`Kb2p?xHG?G3`FVZr-ywtY@_1tDLIF}MhNGoW<^OO zB;?Ws?O$~y;;#*LW_;4n?MVBKaiM9<_msX$z@6l!)~q3wDO(Cr$TK=SU#E60-ov5` zMWyJhRS`4Y?@0|L&MzIexU;_ezK)uZjzuCb66(WCGv3@Jcu3ZwV!3I&yOK3}y7wd& zQd{5U-qk&aq zd$guj$ngCvaq_Zd|7+t>8Vg{a3%Sf137#u6)MZJ_USX68%B57)|M9sRtB#w?b=0T# zhc6V$y9a(Epd&mij`YPOk;?ieh1O5_K_HU^i>h-r&tyxhGsMUK@&IE+9@~yjNbZt1 z5WXd!q=+P9w=8GUpvgnthPn8LXe1J)g(y5NJjds0Xl3ap$}G<__0zQFW~*t?o7ES5 zH7k8-fi8~5HI!4e1#82(WSd(;-A7RU0VgxEIDV+3wwGhccPQ;f#QdeV<4Z2Tn03EF zSoJEqsCZZWxL_Rhl}-`bvX&Gl-{;CAI-CSKJN8Vw@`N$a164l|?D21YsvK=aIYv zzMg1I;?v+js!B|MT9D962;rf#ecQ(<-tssnI@|ys;=Whhl-l;1d+Q}iDq$`~V|nskZFy+WgbCeH|deJ;M36;!k7=l{S$y{MggCAU1w zdFd-0oE;;UG?G>`9~k%Cik=vYG`>6ow_%Dw=XBgm#!QKo6V`=g{7@byto>o(kZz7r zCbxV6gJuj(BrDE?4DJw?{iq;2d20s!i#y4O>W|gRGfk*{6bgOsR{B*lO1@zgceKq> zWPZSExhPZVSQ|^VPyf=LM(dtvEiq%ol0hu+c2!{9XyjVN+Ny_Tn3<+~HLPJQ>XoS> z0m+{2j1mXqAgRq8lhBvEYOF&oB*k~0B( z->vleG}R01n&IJ3)xj?hNJ5o9U&uj^etd#|aF7KX*a8$1fK$peUtgwM;pL5nYHoyx zL!cd;@Qyc%qMnUkqyh0vQLu<6>?;xTXffqleGzqIm9o}&2 zurMp}*6euxsMG42j^%v}RFwykgzU1FJDGb?PN6x5EX@$-lVbK+T&3>Lf1DF4VHkXG zYrL@*sVn>yGMMTBk1m;;*@AAdVvz`fmXZc5k}Oo?zXBmE-Q2OwxG$v#E2$VzF>%I! zd?_><6BxhY*i&(_Em}MNRqp~0yeV+=6xiwSIy&VnH(D&)apUk7V?f|YEM~KX#QQgS z9{$&<5h)rR7pu}S&{IIDX@!3_HLefH4Lq|ada7cGZG2l`4fMtC%e239o-(lkQjm)| z{wk#}S_?_dDodGnA1In+2rVj%<4WspH7h{4P z5}@fKv^M4rGDjyt2QDE$x~zrWkr6YUrR?{N%%lX;&URiSMG3kLb$?gLyK$BqDOT?Q z+W6o=bMWndC1lS)5Rhp6UZA_T9f`+q?2Wr2g)@hm6FZ0M^%?~!FioJOH+|>i45ERW z15ONU8bw_)1#^mgZ14W~fx;2R;6rNp`RP_VVYByrciS|f*_yB-)>V)}`d+x#B@AUX z1!VgPAv|hGdf1V&A&j*z^pe?kbf`D=(k6Vt6Bnz@zT=Wy>r=)rVlT=}8Vh;sspTB( zdKU_ww0FJ5OG3Wh>4A;4w&R|5;CUFDlYQD7261e{_!uH$-JWBTNZl(!WI(0^NKQv^ zD%lHX%sE;4a+j|UzF1lKfwgTrt>=xF4_Ar@#rxQwju*0g0ym3*jLuKmNI`q~4wNC| zb?>rQYm)f{81S<>6-oX1)f)KO>`~^eDL{w2Pjxz8 z`q|qwh#xf%*8A`mmap)yR*?4^;VbnMy2AwLL<(LFHh+7m)sUqhPc@g`SM%(Nbzk^f zQO2yOtqgSmk-H|lAhJCzhQ(zks0^+UI@gji)}_a6D7CHaecZcY>cLV(<^PgWWyNE` zcD$7m5E){y(x9=dJgh=fXiE!I2>Ei+U7`9CmQbh-x}l`{TSRz;5S1xM zt;xfLhUJ5>iTb;&r0Xuk18fi7Ao#O(iGQ}p1nu*0&M{o)#`Hy^yhndKYYK?{CJ%u3a5gEBBo!UGlCD0o)Jh`lweJRkxz; ztUYRyT%S7w7@z&>ddjyYx=38n+=G8=Mh8|5f$PMr79ZvRImaK)0?)P(SY@Ilt+rGh zmFL8dbV=L6v=+U!;zP~nA{m=BE&m6|FJaJ0-_kj49ktuDU8yD zURB@Ch}Y}L#AUPxwXf~XOWicrJ*D%b%CM>1PT^gQKIEP6LfQR0g)R+=++NQn%;-`- z_S=+GVPTXc!v#V+>c%mRRFrmoF#*jf%`C{epyxFMQnG`{t~XSkUc^cKcjAE#D0lMK zeoycF-1QT${_OOZV2i&a`90CEH|cM8pewTh$D#V!@i}4b*IEF*Gz`r(!tty8_1k_Z z&Km|ms~_7RW8tF?j8C1&gCoIxqVek#z`zojx3b>ar|Va%(Ue$#JEQ#C=*`mL%dMil zIaE8+g`6wYm1fWg2H@OqE;Bv)&?8y4y#>~8*;d&yA3|GX5VcdtBGxC68KTq-fC$&Y)}KU z3|}sBD>|Mz1VWlsvje1h1eX@L$VP(nvsL*!3!TyAg;G>*Hg82RFAkb=)(7G}&k~*q zWSn3mwY4hP{jJqSlDh1Q}FNX~?EZX|fN%s188lFX892pl$ zE?7yVU40Nzv`#-rv&^;{)c9HfVuWvl*ktY{>})WS^$~o0eCB3#(OKA-cMFXCvAYWE zq!5T+RgV^DS@zhy4q`u*2;F_wWiI;`q;G){O3rC-@j&ja8R(W<3rbw*u(5TpiIlrQ zusQ4&an)Mvf|l452pSPs&}6h$MJC6NYP5pNl{;&FndGD7CLK(dQw>u=+c7%Oig~z{ z&O+B*NUmODR$G#2BljTZP>w5xbp7<%-E2Z623w^8?JRe-`)7|R>5G?2R%vMv@}HzQ zXLtKV?tEh(iYuM0Xy65AyLYqwl@|s;xl`qo&u3`k%cF3)o<=8+B)kYPSHg}RMTj!( z4s}TlWPUdH9fo@^+NJRvzs#5E*DFGN*t0df8W0t_72*$07-o1Y#k`)vbVV{c-atjn z)-PJSJwv1IKIOgI^X06tY159Zt2j*Smu$Y4Imq_XmomW|tjdhs$lvvdGnPa;Pi^f? zx4#?Q@T|bPZXEMdq6xrve$+|q7?)}|UzK{8tc0yz6`-ovlTX_LC(QBOnSS2e&I=S* zqhL8m*hWB~T$E-635hhKt1y5O!9EZThyXJp+qHYp_XU&99m{Gs#A{7G!bgp|ivgFW zf|3EAPhL@B-{b<+meP&hKFsNMDE`7IE8P!XXp0%HbCL$-X3wP!Fnerk)@b}l-WVpd zzT&HPh%A+#x2R&~-r(D~aGy0&_KuS7EKF-#JBN3eyA~=EJr*h47?`?3X5E6dv{Zuk z&@Z~53f_H6H7XO5mQ?d=G%2>&X=H7hCR`2Z2i})ELSf=x5KoB;Xc~({8j;S))(Jm` z&qkK)mkPuAdWHQ~uc^ym0>@|0@y?7?oSOi6IUuq9<|e}9?YoJdY?7|pj$*iFNY48Y zue6L_@}3A&7_ELVzds>>k4mF0vEKfON~5^eSjM9S0Gf^e=M-T6#A|zfFz?OWY&DaZf2|=AO8Sencb7rL-E*v4>b3L)?kl&rKfJ?j<~bv06h`SfFA1c zxl8t6J~Q33@#f~UOfp}IeHz+;K!E7%VCg(o8M|gV0Qut!ek12IA$JNAzAt^7#lxz* zs3L!7lK745Gc1u!xOZjzAN8JvCC{^QimcQSCpVIhY`J{Fo9=PCvktlUUEPIDb@>%i zR+z^Q2k0K{9~%bos}3DCN2vg9+w>+IYG>41+QD(b8;|J_j?EhTMMs3Hp|#07*f#7t zzsc%(`NPJvuESKV3L$m4X3XX!8yP>|X4KXSzI~zf&zzrFDxVBbY_ZJu_T<4*iK3VtG!S5yf_zO9V>|ske9O~{T8T_)SP5giQm`H0q4gTu@aL|5h(a!4;IY* z1#@&5rTPus>$ylI^nwz(m^Y-+bch+ilB6$=>eX&i@$Y?{ZdaJP{XvL(Ov;P84|Cpi zx#VPzPkoqngy-jm8=8_n4b7Yv9Tcy-NYFo4O{Hy=V4qxbewfGTHbwvX!HbB!ZxZD( zwt5=7u|c2_U0;v6d!&At{e}Tn0Wdp&;(B*EM0!0J1%&cymTB$O{^zT zidv`#*L0?_8}{R1^%ALGTr0Jp*wiR;EbRDQ znLqM|Xz*nq1N|IZqX@U*cABuf%c*!pzreedr{hlv>G^2pwlD^}TPBoPS7xhL49Ed7x*K|ztpyD+2Ay-{=0#(iqsL*S6%SzBpo1RELB2u1B9;Ku;^5!PM`B;s z>c}_Nkh*y{Bofk2K6k%$DDq69vOHB(CENZL1x`Bq)>1U#LnFsphp~z^(1&2Q12(}+Gyz;Wvj)GDqK+q$qZGbf_Bgjd>E(&Ur7U+NO+q8aNoqC5N14e_k8Sv>6Sx?{z@cdkes!@0#L)uXP*e) zK*M{|G*!P(IraD=v1bTX0!t(hhaA#bGNG3|jcaoY!-reL{wwO>Pv#Fh*!Cv6fn)}` zN$JpwFZr+e@-;jgd`$9~Irkj*b8Bi%fe-u^d`nAUiLbopF{XhAFAL629+px*{15it zDk{!y-PR3mg$JlY10+CjcL~8FBtRgz6i$HP8e9vP5CQ}X5S-xdg-hWM!QI_$7yq9* z$((EMb5>jJ?AFf3zNf13eKq7AZ-06pgKufAlnrKCmGaRMQHxXirC9233B+*kkNY0A zsA<2**GWU3(+7CtdbM);`IPyPAR-|h9v}CA@BOT=3S^e3*=~z@Q@yX|oGSYP?d(Xf z1&enOf%XnAYU(QjsE2D082*y=|n9zY+#tYk!l`-SBe!se2m;L=3L{v*P-)0Z} znpo|zi*55&g+eM+)C*{LI(Jj-Ob-U|%mzEkZM%Q*8Lwy}2s7rp+FaK_Q^3QfNe_9o zQQ}Cow&}-XREk&0pbgAEj+ls32fmwkBkiQk#jjCAHlyZ$PDx)ZTQvAMQmvvP`S1C9 z7^aeN-5UR>=yA^eYb21c*V9;-J}|(PS&{5K>Ra0YV}VHc?GTz1G#*bE9kyZ#3yTsM zn)|R{B;0U$NG}=E(&~z}L9$Xz>w1=2N!q8TJ;XbO$^|#Wem;ghrI%KZbk0vl;?CKZ>D2 z1xQ59?>6L~U!v_R{#n4nkslF4Lql=&8eL6LLcEz1YO`cxKWh%6^B98>AK~Y~9+o_L zUCQ0AE>8>B_f08oq<%X|CnkkkVJW1OFwe;5ho+VUQhD7@F=C;!`&P z)3_`s93*h6!19>*(*ElQnySKUe^hf_y*X^#&#Q>28ny=0kP6RQqzR`)WAGcdxEs?p zrL4KzKID)FgZEHnr=_Sel0+p#4%=ITVXKYIhIb?qd8j^54Y1y}I?H;sYEpz=&5#1h z@yeg4mBE6Dac)Dm^*(7C>k*bDk`;*rg2~y(og-4x!EKg(nBK)h%3B+|Up%BtL-y5i8aVQ%F3+yAwxlkaYP(k3_XzhCOmw6%h zo5A9n973o&-ICCe@i3YKe%&GDDtL7gJHSVrk%iy`qR1!UrwS+AbE zxH?69XQeEsX)1=9x7d<8*q1LO|;Roh_m$FKLM7g6pH9PfPQ(G^6<1{`bnRjgd1rR-^pQ z`oqpcVjkR|Q1wBk*^FR=8!lv9g;`O&sC=tFFkD=`y3p4#r7NBllWEGx-?KIkr`R$~ z8Q9x>ToJr(-@|-U-)ptM>lHf26_FSNNq{M7hJ*}@)WY%Q;-XB#l8@2}(nh^P!rk1% z4@^i>f_`#whrwP(C4OhPa4Q*TauV*m@T@qM(|yGvg#0F0e>D3A0!!JA-D5rF2qf;_ zu(k4r?-@O{p3o3?Yx|CF94NxJt?=b8Do(EjYQ+_yw=?`-Bw~MD(ev8eGSlA$!c&=a zgFeaR!jYCObHhPf_7R2wbS7zUEEz`DeEQ{qjdflFQf;j6VGubxuwJ-vl$Vr2V#Ui% zTcd{mVGrHMrnnXvr|4tizRzj+${L~XXnTW_kFfSJIGU&J+P|)5VV$>+mTYg&%}o(b zDIWEKALm(M@l}Xk7_-M>)o_;g>{*hQuo;WC$14pPt~;UtT%jW`>*Z@|n(LVxcv<7) zRQ^+Au$~tDXqS`DY4db8UxCh43M2TBmL)DKz`r(=zrp;`w=bujiN8oOV~S1sZ5hjF zTv^~26f0teZirSak5J}yZRis_QBIg$p$oxzx zg{RUl`kn;vwCuviX3boi$($u_)lbyrNmyei;QIYQ`_h}W_tS)?8gTiBGSDz>a|I1h zD;lo$#x?Hvr)S2wI^8%Cc}Mknjf!;LD+~FqXe+Fp5G#un_%8$d^v3Y{%fetpc%nc^ z=s*mt%DgO_`GMks@0h8uFMRT`IYS7ME{Dk2Ah$rN88i?~+FCQI1#d*AR3`q#2Xx@JMHRh7r^6DDfl$HV29+;lwq5TBoz zNj#tQ<~#gr_1lih&m9`i@?2(`44nWabXbSF9(+ccv{t;A@b&BUiZx)b%wOl$L|FEh z-+CQcny~GNr5P>| zD+$nGI0FI`c%=IY)De4qitLd|=T3UBe%?4Wp7p>xVu0eW8uG)7eFOoCwLwg3mo?2v zR9|k;fM~Dom&#MQh>+ z6)>)`F9IoVQ_rrZkVBTvvmRS|^`thuxpux1MWDsHteI*yZd$g~3?wS?+yYk8)A$*;_nOceLM8OC8c+XF@k~D zkB|7g-OLs%+=q0|+^ED};Opf41)j{@Kgl_~z1fYW83qjO?@FKhUg$Sj#=T*e6oAbq z+koBpdCk2bAB1u;?SFOGLKS-U7yNe?_s8db5Egmf;xb|T?dqt0THvLucZZDO=Ih_4 zQf6_zynVWu{AOm;?(uX_zuT)=D)zH&5468UbFn`uBxdmAUTFa}yo?r*$9Miy+RNvj ze3j)nxTcqa&$I3R?we$J;79Jz2N3z|y;S8oo5=m1Jx;V~IW1wQiuJ{z)aUj2i7K=n z60^yd#kL}65qiM-ib2a~;G=!5LKgdRgS&b&yg<*-nqPcSrt$tLaF|rP`;v%_jrDoO zw;QW>g_fInp_rtK^w!sXfGJs>Q0@1cDaD84KAo9XyGF>LR2(6RK71P?!g(H3boFx| zV6J!R7cNG%`O6x*dP?8sr=H3_`1COJ!^f^>sccVuFd=tN77Q1tla$;nHf`3}_a2G9 zqSypP979^z-Qf z$o}}=kp0l#q9OhLAh=5LOu77K+HW4Eqv-aJ!<0ZtluKy`s| zsL;Cl*7hcLl>~~Nj{D~iZ<|w~2!$W&-keSvYBg-UTB})kY;k>x*9npSp85tP8-AKK;IR%eK&|ak zo%ZgScN6Sc9VNQ^Xl{_ z8)bn0GITU`?n`XerBbmHwlp;OvxTk^2y`RbQWwYyI%MqVcixq`j$xmYOr0YXb>`<8 z$N#3V>P4ozr{K`;K4W%xU>V6i?V5T9Svmi43c5n@|MiO=?$aZEeZy6%8`!Mmu}>P3iV`BD z`hE;EbX4?u9-bue;^*YYRjoP=xQJ_tqHek9Hb#w0k0$V(>p!dSc7j(!@4G1cMX+kH>3VZ*HS9M8z}J|38q z+vPLa>Vv?zlqleuX}I)ZFYUGhsRbp544Ma-TVu!T#;u^ER^9wh|*j$4bwmT_%UeK(kbH?<%@fjuO z+aB@uE=u_+#(9Ea#Kn`0g|vE^f9R#k^WMMpQnyBMhl>p^AV7bIK?Oc)30Vg~3ovFZ<>!yB30zy_73Lx7#8eXAf{MUzs?_eID z*3Zu3TJ#cXNZf-9vIyZqr|%z|)Jp`U|D>IwEVjRb3$bu=^j@`og$aDo(q&{guUp`$ znIaBu7FV^b43&WI!FV2+e=H`%e`D|gRQIiR_($&q*8dlLjT!#Q+o*T6?u!NPD-FW0 zKkvFZ6Yq=p)r-EyYq1Qw-}~X3u-)uYgm{~&A$HXy1(AA4z8;PS z%*5hd;!}yOJYu4yB&+@e%~|2x(|*PB>hBGk{bH#a|H@nBZ`n}bv^+--p4u2jg$2BF zTaFQjKYze1`Te9~Az-&lrss>OD?u_4)vXLG;6JJW5Un0+lev9jA5N#6XFOyRQ+kL4 zRI3CHP}#d~fpZU@l@XW82QiK7SUgi~zO7EqR|bZ8tU5|zQ=w%|=cLO0AWpVlJPV2; zAxY7AmpL@q@>60-} zH+1q*6B%_F%eSTtgY^cR-BpEge9U2O^rgHGEcqAdvep;*YSgr;4X5iswNvR{y4Wgx zVnOA7Pour38O#5L`8%eP?5=$nmOoMpE-3X0wj?S|03n?iCjEzkVJmO5P3Pasf-@#7 z0T}KpctppSlfsG$h{w3$+zBRk!5mVkI!@Ij_Oe8?RS0MxCha<aS;;>YkK-8kkB`M74mG)CQAT&4FF$p0JG_{AA}~d{cq_ zV-zX4^H>Is4n*BEo`c>9i%g<*wShz_+FA8`yoy;KI*m@YKS+LQN)&OQP;1w@`wy=v z+`zO;Wj;7ysMfTCf_4sYGK(>qw{J+@v1JqTX<2UJ*4F z4ej~RD#MHi7q|ngl0rf(lPIIfX-jnbPyNd%PiLR?!_#m4N)nZ$g>Q$W`yG2;{<_$u z{)`*?Oe&r;ma;EI!*M~ev0>VLE1=4&1)}CeHcdh)s#V0|7y3w`vf(G!uWPymQ*Gw9 zYN50t<&&w$$$NCyf)19!(8GeKs^kkH>WY1f0)#mS+O2x8cw9;+4`A%>E=n7xY;R}Y zw)<2*G07MOn*ieLB~95Wb)b>2)rCE7@dXM>$7h-e!;s$25e~gn^?}ZcC2gCa$uu++ z!Nc0?dwvF-SUK*h?75LCUP|Ie{=!v^Nh{ZS64HC?&@Ieu#Sq%5Qe{~YtBU(>GaSC) z(chn}(wCE<>?X@2sPjdAab~sf1D++`L>np5%D(@+${Q@WYkOIv+W9F&;3Yiso(~=% zrB}nC^PjMGN zx4MInofeg|c$%&1{JMjbl(^r5#MTrCa3@c?dBWIw7u!-d&hW^dG(^##lX~T^MLnuuW=WXyT&H33CZ?EJ>=tlZ2*!1#Q2dT8@_LN;C_-kf1fV%r^RV`>N4ZiIk0}rbnB&T4#CeOHthkI0ZJgMubHcZ*o zEhWS?yP7-2!}>!W=0fLwLb?h5%Y2eTl)fo=kz{5~C;V_Hhfei0LI8B52pSz}vJ$<< zFD0Ve`LJ4mPft(6f;etphW zPEqdI3S@GenUkp~fM5TcCiR8=!Wh-%JFdv<8vz1dd%tjfmo2AWfU(_zzVhmS=-IZk zLW~PdXApk5eh#gz#dRuOwREb4Gih=dv04Kl`%Fro6MNPJQRDfSO$w6aZ*Qa%c^w70 ztBamX5IlmzcjV*z%4p^s2mp6T5z5f}(b%RURk5E3$p@ z@yokz-Bk@Li50-J5xC4VN3o!6FJY+iWa&iIgx!@u@KQZxOn0XWQ&b8a2&np?5Zhl& zuKA^0-UT_W8Mf$To>k^#Z!J0*ZR`KD357@q*3?pt&HcpZ+rClpVJ2!wb-V=UDv_x0t59Qw zv`~mp#7(Ft)V$z~$V8_N-$p}5DTyjPyfeN(x0-&q90%P*n4nvF3?6&oJayw((8$&NDJM3&!IGioT_CleZV4%qxDbbDgFA46TH--Yrkuh zwXlm=)`T!aEmCx~K_(&N4+~Zue+r~DMcJy&Nn6d~H&_>%+q%j(QSC(QeT9;MNDAIt zk#z01*FQS|4(R^GTT1nAg5n;d$}H^2Nbo5fM1Vx_X51C=j7^#ko(K^5Xh6P)Kt#-m z;IT5(gs=5DMa0?5&gknpW zF?D&ouJW|AKkg3G{diwOA3%_#yS|MwtnMP9RlzBP`Z;Y$!b%m=fS#fcPUk1sNg}Rc z<`ODH2`!JJQ4rfU2~`Ch`Si*_PLbAVGVRKKzdrKo+0l11lW(m9`dBqmdb(Pte(;!V zZ~5UH+s0a~2YhQlMzj1eKM~yiVtfG2tGGDUKAr-nW4s^GRV-nBG>_&As|^ycS7H#m zb{7MDE=X$AThr z+XeskiO){8H)oW$+v_M)?X2Uc-?q6dqyY@bJba(^X z{q#~_BYw%)l#7WdeWH70lNIDqs)Nk}^P^(dNG#YS-=8@6~yfH*R^mZJ*04Nex12_J;ct`qDfU`o86|RQh+$aIOR;IqEh1HUn?) zdUtw8Le{8vtllxsjk&WB99otw%?~!o`-c5ODmuhN0Ofl9j-W?OM=GBi2{^0baw6>J6vT92^6luXAD&C1JIfs*<31n%Z+^DGb!Lfz=4w=t{ULk? zv(OjUNaPDI;KmNvCx4mA*8yu=SmF7Xd$9hQ$I^!_iyAyn0CKdX&y~-q9_Ah3jvvPW zM0LlodjQT89k9x9UkO45MMV@_%Rz~|&P#*P{ph-B@x;ee^K-6+2sX^MJmWFHlv?br zF^1nv#dn5md62uQ_NV`s(!&JGxa;z4us`)?Ghtgzc+0OTN5 z)SWjmv>Xjh3)T6kaG1-|e?kMt99ud+MGe69_Nr0@%h2#=q0}j}FNP$1IDv)+M!;W^ zgS{_;WX;W4C8`8!Nkd$13M-j<9Yxecd%Yt;O*u};9j|@Sv6hD zlJGt|eMd_e1nm+a?VgT&3Gl}j+*%M3i|R8o|M0|T_F*T-UlSPNk5^m^5f;;uQ2p>E zCrm65GC{R>bnu+p2GHoM8u|KqOQwIOucc;7<;Cvr7 zpA3y8#i!v{t!Jb)`n9)fzv+a1Ev#3%9GW0!?%UBcuTAP?HxV@Km>dyJ?ls!G19S~~ zDdC(wKG=(!USlaW81Fq_Y%98HQD9(hietD=&40mwR#jjD*4BE`C0q0KhKT?tlF(yo z@J6+8m+{8soRn>+6>LE(!+%{iWi=%MH~;djJf#|d2QGmCCn}E@-L?np)>&%Lj}X>f zT$qci>`npbZ*D@5*9x_Usn;w7T$_h z#^VVD;;)fzp_X-FzprL%8+5OSd!vVZQoeRRA_VeJ%a4JbaQ$n#h)w%)*2<4^>c1{F zv)bW--YOeEp)8)Z--Vh47L%fwZ@bC6G#Wh)oX!V#PK1kEz=Q=EsY{fbHR?I#R(f}bTv=2&*32_)V zJ*sz2eH>L%lhz_b%zhKBgVOtR50Li(?9|{B&9h|6r)0u`xQVHa<0ZEa;kYiy zVKB7Bsu~2eAcAT_Ul>e;bt(>gV))rN=Wl@>MK zKtXex*|82sl>p0ww;mtGFCcOq?$PgCtksfcg}}lsU4opx7Rxh8m-sG1-STG6)hTgu z^V@r?k%4c>;`F&>{U=GNfRhMvdYhY*oy4+;m(R}~t+$VQx{29avpHrrZdgPUNs*0b z#rZF`XhjX{q(_s_a4M6PPgH|+stOJ>S%gJ{N#WJW-)carLVSo$Sx#n+%e7C(MX@iVqBj>2ipR9$5u5B3F^g3|cQyxXZeLv6 zUGksjkaGJuf@bjJ@%#-_`H!CG24tXbd2FIF_8!WO{Zv~YrDj)qXK_4e;1{BmIZ$3~ zt^0^V9KA%8+#MP#8%k00s;L^Ot}Q0?sMy_?>wA+=;GoR59z0_HS@?0$+3qq~?Wcr* zq0RQx)xmh#_T-|FD^J~ZqWD_`pH_ILxp(Nl`7b0` zZ8vl@6;Y~Sq?kf3<5N>npv9n-he6K# z9uu=|Qs8HG&nnFl<`!ljG&`nqPQ{5=K{VfL1+IR>bo$|;t$8vIVu-%|vO-LsM$pxJh zEky1`gAj=b4dOiKG;z>`dsdk(es3Mq5rL}+N7{T&p}%bJ7A@?=io)9e!#V1h^0D|w z9T|q`UUYNrhw+5R?eNB=qO&kB%eLR7D9)K#=6;=Kw%gd5s{YE!e{tonDJQ#om~&VQ zT#TN0)eR!Jhtkbuxf`=QpWt|?k8CIhNg{%Yh1p-)vV@>hg|&HY-K++F^C_3;rZm=T zFUvkYy?O9y+yy**?oBv1R{0dYaM#Oc_x!Tj{pR1@R?*i~W#c^60*p>sDOP}I(;M!E z`HzWN+4O5ODK03uG{J8Co;!?i1{@rFliOqRVFW;?LoBPYbvFF*@Kst7Yb_aLP4;)2 z+#u0N^??d}W2tg4n7%NVAxB8eKwh!*ofB|}KcZpsj5e|^i!S4{3{dHL%!ETE0h%AC#0`U5|riqCMx=#VP` zq=BEK-hKSx=#WVEsKVb8VnrVKnyV8vBA;14HB}vfzM8&l0cmrhWwQ)vS|Koou5nLV z@}j_Z=f^pv%%CxnrdVmD^d1s`Ul*{_vl#HQ>)B{~c*iFz0IiSt0Pg`$$>w7{cf%)L zxFVjVr_LQcvd~V$c&mL0OkxOs+UW41Q!lg2Os=YIwo$mU#`yKChF+}=Ki$(%?jJhI z;h$_!gvs7CiXG+) zsW~oE@#0*@CAIqP2_+7$UFcJM-TEMW7xWJumrD~&*uP>(gtQOvm z$<$HkvoFGgWyQt`5QfHYC-s>q)H(*E@G0#AVmLvCRIol5T~DLrRlR=qGo(8lc}4C*<(J%vY||D zsq8ZKWgg{piFWrmGUp|9Va=R_UNfmu=6GpAv|tKqEyWV5Cl8nTN4NW699%|Ny-(6< zMcm0gU34iJzpw7FPJB{yBf2pBh@=uA&?EVbc*R!~sxg*eW@qz7T+s}`n=EJa^%5~- zv`{)Ot|Hc=s*>|5-iduCE!{PCG3V}l)3Cbi13WBX75}76&z9|loPewFBwA8f7z2-} z@@ZlwTP9j_N*B$_V7S;vLLOkyGdoQ?p!Emb$kKGCUqlo|GI@g>Psm5iwFV3(wKeNc zy9yJ?+qzAZ)!-0K^ROT@I?#DtXrOfrciPcSrxJYMbs4mQ3%&sVs*yI#=Ifve7s2P# zk7ybq`cXpYx+AXE@F|yF9w2E|Md#rH%foi|4h}p^J`2oWQF!IXp{Q^sQzkq+`>vd& z-i2ec@~T9=rf582Z=0UI6w8MicRHuwLlqY;5xL7^2bvKfTNZLIZ)B}8|ACchVcJb_ zL6eX0EB4UbteT<)vo4%;GG2UTR6YY7pK*(6HmYs+?rUq_lzH=S8_uBb zKWsR3;Z{N#2v-#E@z`VSNeB7`Z=J(K%0g32iaPhic`)oy6uQ0T+F!HQbO^f{J%+c-UBMmxV8M>;wDT{jiMR+8GQ( zy0X{uH_^1s))}iJ?%(Sows13uH*PncUE@6(^|$TGyJ`iGHCI>6{6{YDWv^!>KbGOo zT=3R_LG2eObh;;W<5tCqp^^@V>rUY=Y{@kH4{d7;r)iYQ!cxWpe$kAT9R}5RVFBM1 zX*=q=Q_`*$_Hf!&^$W}9vdBwvy6@(SMNC^$kNbnLLsrOL#K-1= zZRF#3sII^5O=tS}-8gB%@igS^(wAJek6{JqpdpV81-|v;7!o0zbn;7@Z(0-1Bj=~V zYJuZ1<{+A~kc{qcRM}8GEePy(%YALY9`OR@BBi_6d)Lkl_x?<#&J12k0-_r;5haX= zTNIgYf%RLFaU|3Xc33`ll~~TT25X#ERM94==Sh(6F1>q3X^Y~D9f{Nhm2Up=aeV{P zh>Q#EYr@ljIILM;kl~!DuynXLBbwAKe4At&%!kJAJ6Zas7tY0?6H&^EoA`&+0 z7rn2xc&QBm4+&-$SZt4TjwHs93!F;QL>@x1up7=^K%2lTL2W*K6h`d_Hcvy@GxC_! z8~f2f8q)~Z=(!s?10QxPkm3}mpHyw>9X<@+r^E#C!}Fvqt>EoE{tNE5Ine7uhfND# zo?>adsBiV;8&5CdoV8pujL((|(4?sx`737In6s@C566&#Z?GCD99JKGjYBg-EAX~v zzxZS#Zyc!n-zt4kceHuGC8TSj z*x1P+vHe^LN;|BQR(C|dN`V&9e&=Yh7S4cd$}MTxBOvj+^uHW4Z%D3-hTCNJ>{z=t z+n`A>9csF2!Gv*jIEA^Vqky)&x_((;^Y!P(IUHRBDNG$VS5br!*);@a`#W=%)2svw z-zvis<#pc*7?JG`@U830wZTp_qW0Yod@6P^Yu4X}85(hBl297UG$P}$pHL}% zEt6XEkYW~sUmSxUrVmF=tFi?Qcw(rhv*M2~npKQuy2ex5z06$&xgN5LmwYdRJ%g!iS`KSfDRRY}ULyixJ?W@E;rCrqKYX2c}Aysn8<1uOU zkF=N#)|tm0-O|!c?jg7e60HfDNv~Pc){EQTA<%kIaNd?&rogfRU6rPI)$2EoW7>s( zXy+-Okv?f|>51{w=UB^ zjnVdze+h}|=i0`VujN@4oS3@q?y;^~4f<=Q?6J;_<06N#OIzqYFWj)(bc%D(S5JoJ zWcoGKC~c*p3SUs~zk%QS<*=7z1&n{bjIP$DtY1<{4ehc*`6#P^#`JR~TluaC) zo-Sm+n?MmAi>A|%BrektR$Vf13eSw0*?#7-X%m~MDo;x^Jtj@UZUv_gqo)gXoN$b$ zYQmbFuU81bH{yLsUzT7ao@=SEQ32)bF)2?PN_hjVE|_&954VWRkM{iSyL(`xPh|(! z4=$qCyQKP83cli=u^m1okc$~|>@I+IH0`|5(5iXoO$vZBbE6RW1ztjHd1kys?8O9v z>y|n&gZ!>p>F<#iuF%*-C{D7ENaV%MF~TAdFBziru`P;my(MZ$fg`(RoO|Url0lT| zxTpzrw~Dzm8SBt0laA8{rWZVdbFF6Vm?9Oe%&SVbR9Vou?HXygZVuPqWg9-(8*G~x z7o*bd9^vuVuwPnQz*jxpiDtbWYi0s=f{Yk{mYQ2K`zUP>=Ir_R-?vJMYA%FQE(k1Y z;+<_^6A;$F9BVca0HExPq&DP&{opp5y*_6H1;U)Vbs=ctbo|I zs(Ir7L08-I1BTku6B31Y-6qv}P?3{_VM?Jxwoh;_K$u>$ZOS%HK^X+oGzn7Ljtjh( z`MzQRcj4w(t>`8+i*RbnAR{thp+{MB~jQp&t~{+Ep+b{wofjOT5&S!aIeNDQ|{IXzN-5i9=IPKUp`vRO-; zD%ZL1LH(~W5bKRd;r=Jo;=_Z8sJNiu$jE9)6WmS|OE`LOs5;CU3&EtxHXQ4VQiPOM z9$txv*1i%S?mv(pQ$yfAgKCouC8x%&iGuKMCa`EVb%J-ATI+C^{?iTRs@9)HavMW+TP(UFVXqyR{SjFm{ukXM{tp<& zSK?TT;snn8u8rxAy)!MU5C>d$RedS2n%6{r%73sxlMMQ$%?Y=qxd`!}owS@hyyim2 z$en8H`6&nG0>YOp#moGGqLV*ZiWrRW@GyPZLd=ooUD6~dm=!?Ww)k=st+vhsQ_*yS z+C-h)7DiOG#m?w5{?&-Gz52R}ldkQ@Vh`GiQ=nD|F{vCtuyyM(&Af!^^}16n>Tz^$ zKR<8V(AJBWTJjYkWLrzTh4x3{FUAD;Z~9?E?*w3BD+W)T zAmaa(^Cg|3h=dGxXrntQJhRyKE8>8mUjK(|CjTlNyr++0^Ftp1*1DKmMr87pyk``@ zsRbjodupNP&R}HGsrj<112L8fgUj(%q<6+>CAv%pMzKN=5c=7uB{TMEC2q!*^f(37hPTzsdqJ&FCPOfc_AFlwk*}~L=Ce3*!txd8o)@yUW*{)Glp6sV`jQ6J;0t=?< zN5Wb<9<*D@i53^rQfn3UG_^(?Q%*rF3B>PZOopX@5ocq;b0Er%mJf;>6o%RnF#QOx z$N)|L$k#)>aC;hjM(h{0!9J=#q$_1cBS~jb>__{HTgi);yS`B^cgI2&;Fy}Geh}Ke zB|)k(rSPLz;>VUQ`{v!rus&;A7?}S`U^v}Wx3Nv~T4EL6`)RotiVFOgQZ8RQ)qB*b zd(+9WJAf~1vW4rSfuhOi&;+ACel#SK_w+5Vt+iq9ns42C$@kV&Mo#1&{6l(ZX3gHrv;(Fmaxx&!-2Mmy-*B%_($_NpIM$h8fG@cjkXmijjuvY%T;3p zv%B^*CiU*fkEnb4diyk*->b8wza)|*i=LQyIF85Hnx0v=VCtn-QXc?Nb)jx5%nYi; zC1LslcnYo^zpZPs#=GG%_aRwgG~i$AqnKr8W5kYw7&9Ziw*h<*_IKvmb`Fv)w@260 zAl0!JVtZwxE5_x`a}dp;Vd22@X);hSB1*_C0wz!oZUSpQ<0np!MG0}-mnpn`Man7W zDye({@*S~zwpbPp&Lg4==Y3$92t}j%5ET9(hlR5Z!bT{kdeKC8&t2_3Ds=x zpM_V?w#nLT!=ZPaNf6ro>rsCM28t@i_o*0|f5b+ESOjp^F7P_Hn{eYE__lR|W~l4% z@e4dY*sP>m+5KEWaY?7pbj|&~3Qc{ z7XQYe=iJ0IRwqaCKw%Um{Y61&+&*&a7xeIF4*1hYC`JvR9zoJnWdv?%hkLx$Y{IV9 zdK#E6q<^jr1y><@f}{yn4!$HkoN- zG0U%1?DgbZ7)-a>b8g!zf?&;LfF(pXfP)+Jyv3clBU>!Y4c6KzPU;jIJR%m-ZU~3!NuNS9{5|9y~+GzVk;uHl~7R3{aE)| zJKY)+`Pt8~kew3D@4QPjzcDD!{}kTRqSwYo)u7cC!=rcVbGdoZ_-qCx=X@f(j5+GbQfly|4rOo;r`Kvqe0Mrz9r)d>ul;iis!G+ zL+i?Zm9nXQy_&DHvk4%%r5tw>L7H%O?&y?lZS8oW>FR`1n>`Yg(<F#IlnDmR#s`oHIG-h4103HLG|yCO?t5CB@d!dr z+UOK#Iqxz|19tB-=3ikU1Fl`z4U}!Nv=H$I-I;0hk`HEl_HhC=+8>pErr%l`m9LJL zSkz{+-X8gAzBPutJUtT8y*>B7j;u+4BKhMUBC5p7xqyk{C`NhtTZU;HPU(tbNW0T@ zcU}-BJCGnFjhm|hiiMKQ{hvxIR5o}h?;I0nL0(g1o8f#;u~+CMA(RDGZUnI3q*{K50E&yu4c5*}0EO`UR5?wGVk=(hJmv^W-S_^WiWp=bRe+3!=#y|md}p&xlIxv;EhbkKd;K6i?~RcnS1f;+GOnu zc_8#>-1@)VjZ;rc{YUyO+=`gazVn>7c(zVl`Tzr#Wr^F)dbu~*-yMF40DAhe@^-^R zi{Kj57Xhi`(-+?#5H2K0n91 z(Nbvv4_y8ZLqEAIOZ_7K!>28`r+~P)aJ+^hrrNv>-D7^Cx?;i3gyLQut(jp!`a(Vj@&ucL#A2+d?s z1!UhqGaoIn;>IL3-LBX+y1xAp-Wi*3Y4!0v)$obE0YMoTA{ln;iXg(?-0(tYc1xi#}a)$TddK4W%oPu5{H2+BiE zya!1$bl^D`8)f7w0Nrz#yi28hQdpH%PLo8suj0gLtYhTsL8^#aeeQ2)&d(Q@0J{-0 z0Rdyi9{({+v=mZTCvw%y`umEgADdLkL)HeSF32%9UL_^;-a@P`Qq#o^e}f+Fn%P-# zAC&IyIA{%XKgk(}L&c<|px>_8om<%J`8D;P|Ha;0Ma9)^TcZi?E`>wTpoKdG2~L3E zUbvG2f?IHh5FkKs2n2TzR!HHR-~=lO?(Vm;_iiWO`OkT}t=*Tu-8UXsRjcM2YtAwH z=zVm|OC?dbvzF9wI=71Yebip(|2fKaWLgP6U&6A;v_o8{m!guEaYo$Dx@$D@u^487 zYM6pr+E5(!_6E6S$DNB9*xUG&y0vwzc13>dHr+K?!EO-#8WweUUtr42!Ne)QvLG?i z>h{6309~kbulVSnY5!ooKLu&f^9zKvN|)f6Kt!ySlp!Mrp0o1}Kv6>pnxH5#M5_KPa~_2kOa#vMb>c5+s_|CZIV z&2oCyPLNepIf;#Gr8csu z2b>LwxtQws>9xEc-OHi?@!wSPB2QZeDp?;11fL%^?#G%s_0PV$s$sSqZf$mV|I&aF z68y`|#`O7U5miq+TOz<{mhduubJBL{(VXHgv_!%>II*pn#0cd;o_p(uwE{A|g|T6= zK?MY}hoNz?F)yPO=f&IkC*}813^b@HhCL^#LIK-{`Lx9%j^^@e&mZT8$gjV3SBK70 zES$vcV_!af@~iwv6gsP8e_eNCy9LrZriu|d1P!|E;c98>n;lD;%^~dw5Wncm-g>GJ zRhp)zxZ(Y&tG5WnaKA?2I}VyAr4Wu9@Q!a*oL+;zaULGhZsL-9L&+Yu{k+IIH~B4b z>{2Sa-qI9)D*=GRQWdcOmpb0N7x!W6QdHF$-HN0(d&8@%lc=XT$f{I>n81*V4x6Rc35+L z6PyJd!OKg|BKV^93!wFurE(=ObnygP zuZe8X)*f=os;VmAdtZr5?5)6d8W8n-w>!+9%dw!#i7|P%=57^53_NDWG})zAi?ha4 zv3Hu?z!AHZQ&@A#=h!TnVVMIxs)t93p>WNbcUp{d)u;ZWI5$dGPnTV^Ud<7!*QE)KO#7kGmKBeyR)Du|KxKg=X3qFI;Y#pHmaSg|O>GRi z{9NQZF1jzqNC#E_ChJ!<6)AhMjDUm_+%W**lm4$oNv3Bysye}vSNsPl6LtQzPcIH_ zs_P&LRbUHmU!iMN`4@tt<)|{XD`%V*a=D0KM#LkwgdG>DY5Fz{M1CeHSg*V)d6SmZ z#sDbI7M*JXf^=rMIElV$5M2G!$vVc3z*UBEinwM=I^(ilj-U_JP=xP=IC6EB5eGW8h&u zP_K)*_hB8GgUz&Z{Kx6I;!6Xd$?K~R5%ftDr7|_J=kNSbsGa+^KgLIXJYeNrE|T7u zJ!2BUqNC$=Nv83~|1nfHVG*Hc2p|oR5iXN}*P}#O;^y+c-TDrgot00tip_q~1N6)| zpXJVbw8F{Gz?P>ZN?GZ1(R9e?{J?aCW$u<8Y zRlcZx!J4b$H_J!#SeMe^7Db+%q!!t?w1C?lfb&s8`qInlfr}N5d2jYNOruh{?m#B0 zwm9ABKoCZ7B29$42g;J)q2iJ+TRRMPmmGMBBS2Y?HrQPq;3-**uvLv1{&v1|bGYgD zez6-#4#G&VS<9sZ{CfA~3h>L4UrXCayS20;)T^s2bWGej{(-QfwQM%)_i|MP;}>jePswHW4g(Y z<-(8cp+CS(-4ex~qJO4K_w8A2V^*kWvP@|id6)_`|O$?HB!LT}76V=(sp8a|fQ ztyb+u+D29Q4f)0Q4{qVj50jesd*rb%Ra_MgM1>UMi+BCRPJW9KycRMs_g>65JLszA z6NUE(5{&7$Hh+!Ar48A)!BaNwfH*gbv$h_rd%R$&>zAp)IJnC^ zu**pcyLvwl7^J}id3K3g8_eY}I8sz2R~A-^uA@{XQhl^+NE|6FxFJhN-RU!Le!ccx zkEnMH)PBEq#0ABba8AL8T5~0Wj#tz$JtYTgSyL>`1qo_$R%q9b=xpB(qT9z|vI^3K zVb|K2Dv1Mb6eI;m+jmnV+OZAQE-tV6e?LF%(7eguzeYvvDLp-EF4DX7ym8uV?E|-b z`1T5zJlw$$eB!Ck4EIuwCF7jf&M|F-(xo!V51XVg@i8rq(;V0>~?<7dK~& z6f}Y-J)3%Ie>}<|Y8$h+KcQFAe52z~9Z-gKmce5rp^9PHHyJW^^4c|#d>V0c=&JiS zYFK#Rg>19JcdFAXi`*1U=n0A4YR^TX?T!X=fkjSTrzPTNzcETo@&FH>)0jGraA@=< zXTp*Iv3V58Xx$fh+pFN1lojdYDh{|Wlp%DkCgjjYRm_k{d+~RxDOm~8c!e(xxcIE} z{g9BmAU_W^gq~3hu#lZmePCnr)0ox7v#vU5*g7u0fu=}#?7cD*AfYC|hS=c#Y{ZW| zki_`8+0@Y>&4=i1h*u}}FQ?MAgbXshm3WS%3`G<-$ZDfh*yX3rj|h+f@edFK=k#tQ z{nNyUdl7+4F5JCK3O$&O5<=1KHt^GTD!EraxZ#l!d)%D&WC%6~Aj*LUiA~e5AePS$ zZudVvWqCi|yh`h0!NY=Y4jQ=7o0rEPGzmXy`!&yaCTVD}Nd*NYnMav^G^6N@jvW$b zbhUXl2fC7w+qH3T`l0WAOa#S-w~zk}=H2KeBhK4tNa`GqWadY3$3W`wGC8A;H4|bG zMju_8DjcAWt-_D}R8dxs1S5N4Sgh`r_f_C)Xn{bPMc+f@Zxb)7VuSmh9RAMvx#y+f z!|JPZjIFYt;=b>-LS_S>H7*NEEN&g*)?g$qDW7;Di#7^$W2{k6jPx?vt`Ua1L}Z@` zN=6f13462KUc2F%M~>n2B&0cnC}=EdMKT6Mb^{FAex@viBsR2*I^Nr?l>*rrpSrb@ zo7Q_x08(jm|Ml#KJc+PYZ+>%vE)dSYLJj0~sAsHtV}*mNS9%ORliZZ+J+j$X8tjTFCv9%*z-1M3?<4WJHS?J0 z@uehNLvH$L)qHA@Fn*L&;{<*!^nPw2rv;4az2*G0Iupb0=jTt#ZBZ&UYfE-mV^`&I z5p3A^sOR~TisszM(&p=`<9oh9x1tu1Usrs#y%stA6X%ak#OTY^fphiE6Bx%>QC;cv zDjPd)#{vg0%x9?jdN3Wh9h4EKc+PU4&JkP)%U;b2%Kf&nRjG zZ{>!-km>i3bVgP}*wiGe{m<|dJh4Jk`@J%6?y-kg2p}v)`$tc|p4mT{&3VA^sh1@} zR0#uu>%g?Stak+H;g96MXTVZ0vWSoOOsKbQDq`&(c!_r{%Dmw`b~W3q+13HQ-%FqIwwvie7qaL>Nk2i*C7BI!Kd=+J*v2-IROy0pH>}ZOgb%j8J7c&LKjJAu zT_~8`uk*_8VYoaoQ^Bg0`E@MX?T=r`0$?=IwL?eIjNOh0AMZv7R(48xSo3&bmtoy` zP|$ixZj{|MeSADbvfJ!`!g%*xCsM)E{luD5Aa-jvpD{Qwt_*)v zgOi2G_o%Z!0+%M#kH?7h`*#4O(VhEYN!f2GAe=C%RHjEZ{Ku}~w{LkKEzmULE3MO( zgn>1Q;^UTl?swO9xT8JCow%#J1+!jf_av8UrPzi!lR|V~N(aRO(TiFi+CYGnkmp~k z-eEdzP6}NMQ3zLYSp-;cAXuBM6*4}K=hT2_k(UB5P`Hlz))GkGfDb!iecOea+>U`d}+sR$0VF z&W!oY7oP>ddRq=EQdM-Ti4En|@_O{PA3t zt99HUAWKHGp6%bo8~I@sGTuLFs)d=ooUXu|F+`7XDqheEOe>)$Z?Ql7Ez#9W4?SY+>8jWUmLcZP&uj zQ{cH;g2m(qx#DeeOos+~zdd)zhWOHhY&Z|P;{uL$rv8nnj`VQU_m4w4p!?I5vtLM_ z5wprm9U$OyRat1Tix0-VnAobh4K`Z^uV~B5h$!T%SJtch>n6pUR;bvE%12`c z;%DvYhBp;(IA-}x+HSKlM0bX5E;1=5wCo%YstXZMdpvagO}S3pgHN6^W8Ix{?K?Ft z(t zx4lWYN0ujuo%+VG`2>3v43|>|BL4Sle8H6VH?7@oD#F{mWN>T%bE*;hztOw=c;4emoJuzqE}kh<_JB8h+34 z|FU}a_pTNGWu}#n_4h5uK>wFfeDd@EJ8lXVqtM+}%8E62rw{m?&v$U=>ih{+j46vS zyhD7&*Z)b`)#CP*wj13cT2F7&Caht4n_}a6g@=V^OTs#PBE*3e7|2c>>!ot3mA5H5 zKL12x=1os5EzrKXg>YK)j+PDX+%-T5O%`}!gxfXy`?!CWbPR`L$gHFuy#$yVuOuV{ zS1!G4rp0=^Qs}7-Z?vU$!8~%SOFX$O06q=_%LE5w@V=IYOFErRs8%QsaAuI`Ysi9_ax4T8^+FAWy z^icw>Cvbf+cH`?4+rwAb4D-&~;C}P17)$Q)#Xmi8-dF*Ci*ZArXNSC~_S3V_a-D<} z8sM@k^HG{h9#N@-!Ma}(_}7{VZg{^SH%pbdzfOTRtQ!BM@mba%vBN{7vElehE`R;= zFsg4$R&}VqtZr>va}m>n+*ix?C%L=P>nQav9;lcO#E$hiU@-VqU-cOj z`!pgWl6(;(#kgTY+GL^O6s_g068 z|1B@!YQnc710+uD2Z zMaX0i&Bgb}uwmiw%}76qYu@+d4)EXZ=Pkk)`HDvZroV)6UV4CtYAD*QyZ51ly99Vs z9K_5vsW**L*EAxP0OD$n7lFzJ^d4{!PBcaf8f6))cRYe*O-6Y}o?enI&Uxs1G=^0; z@Ylb4+XC{vp$^w^IPM018jUIywdOHrE7Mep}4mLg9UF9;r&DBcVWET^6~H4*7PotLt{G zDp{2a$cXCNSEO6V3Daf;1wi0EN(=OB;p?k!FxxizL4k9*IpNhEAcil(c%c>#GCA^L zIT{%H#rrJIrwXdwcskDY#>}PD=h)3NtWKVGA)+t1isbeFJGbTa^=LZV?Y-Vd9plv% zb1VS{7po_v#EOGl9etSsSYs!njyR8B{<9W;eOd983PCx9T=fW|VYxh&6eO9o=ANTH zR+$=*fxMQRML+Tt?YXhLc5Mzh$kB_%;8s+o>WnAiBG#|OhE^_wlp{| z(2eXYV~!qt%h>b0N)H0}KZD3R3i(su(quwneP+TT`e*FhSKx$F}U>gL*Cxe+Q?%}bIu8VjzmXy+~&dB zsvuR=Qa$tDEpQF{ux8FZFG58n+|IJ4Iw=_n;fa(DKcJ7XoVi5+8S!@^N<>@bJFiVpb&(!K&%R`PWdtQ7^Ll3Wz^kJV*==~|*+){%p=Hv@P<^7yLG}DGk zk141|32Bgjm-z4!b7#w@An2C){^En``f%TK{)md+NeVl!v}Piw_mu#`{>R7*MLl)p z7<-FLT7Kn(%-HWjx3fN(4_>7B7seAHs9oEtwJ%k|jyvUq8SE^-X)tulu(fOO9c?3n zjdWFD$X=rH+Kw<*jUVdDbF8<>piArk9XHF%!nfl5WrA;?tCz|sSrup%DFx?&m)5Qt zDw)D7C8GDPXx1(}YKqMWKj`bWz;K#4%14-;drLCx6uy&(J@2sRGf0F=*au8j?Gz-fpLPLKm`U^`<3*sFusjqN8#fEQOGq$x<)GS?XQ=DM+q?{}#`=4D#g z?)_XTP|Va`ealWT8gnaSvk~YQ+e^P#52#?LJ!3xCD4 zQYorh^m}w@#ZB>{5E`lkf|{;iSjv;SW5<{H1fv=>qQf8T`}>7K^0UMWUf0yf+VUtr z!q>;Tzf|uMjb7mZCSY?c%+2wsExtjLubTRyg5AJny4ECqa?aFD>aCnEz&F-3-veMk z<5h2HT^I#>yKFuKpakDN&)$rM=A}`4%}!%VNuh#3<5jivnL>|nE)g%Jm})Fp^}`cI zd9=4+45#6|GQ+LPl4KyB;S9UXb$6oe_G+-p5{>{{>icr%B5BOZ7bf@En~w7g^V$6>5HgAt4FD64q3Mj!`CFQH8i*#{IjHz4R^LaBwU2z)o zyDJvZLZI!p`r@}cNqU|0o}Kf~T>L{%yq zIS2nyw>lA4uX&n*tzQg_AunX$O>Z{}=dmLYV73M~!CaJn@9r+Wttc>BZnR8ST7aRd zE8e%|j|gJC+*MrdcQ8_yIyJs$^Xe{iAmWK$V4`_j?_&3yk-rq4)< zRp?X70El*1$a5qb){+7y$BX{HBcGET!01>?j~wwF(;MGiQwyXU-Jdfsx^dlDzqS=D zF3+I*Lrn};RgHT^wTAmJ zLo=;1W{<%rZTIDbX3e79wp`kG5I-+h>bEbDl~%=-3v=pGE+pRvh|vL)VRy)tt_u!9 zI`+_vL=MioZ<*3xAuPAI4`CX%!27)wVMp4Bn5clmb9mUV=P^S_nQdOLhB@FHamQ?v zmk6cMv_VDtA6ABlxd1|v$jb{Ib56JPIL>W%UYP>F`sC6alkmfN_kEO)FncJY z(lkz#eSyh)C3fxHdk~gVoR`UQ=IN|x;ZrXCex`2ycslY=X6{;Yz{=55ENs(nDhU;R zDO`7-J)firub|sYL&Os0j#!>Se(7*%82N5-yRtN{o0V1{XC;IiD}uq8AlMEEfNTbYme!-QxqbxyQW_HleNGkyK(0x zHRF^l66opg#ItQI70EZQgm}6!o#}?bn+?=CE6f&)tI^=?>Y6kZNyH41YODCUke{(l z3Z0FZW~%f03N`4Cl;BxmpN)=|a7psH+)c@yPyV+= zcipLL#}%XlGkYfzR{YZMPbKO6T1(Nj+<&jyTMH~p1jg+rcTRLwia?2tB%csfsqRk< zgH@PIN1oqKSDJv!=4kdf3t@2^>?6?Fm1Tgy@SYD;vi{4NT7yl)CrSXij);h+gRSuHS@A+y15uoyb!3 zO0SS#j@W8;_rvyJs>QGgE)3StnqP-HBH1p0tn5i7tlPR4uUFK^Dj7dB6v3S2Sl?9c zN4$!IN4#2Zd1+%Yw+GFk6@2dc0~3yXIb`Q*7T6SyNj@$Vx*;e$v1PTs(-0E56!?AH ziD&H}XgJz`&~PO%Zut9*l)V!D_C$;iZ{cS~1}278DJ?*$pDMug?jhFrCE4}I3xwI3 zD=Fk}m2=(hDJP3>F*RXR$CvbMN7rceZWqu23!{XJn;PvJKetMY04mb@XqBF=bB^uZ z^{9aFEpZP#5OwyLd!hUF{pf(jA18^^H>v5LHaCo+=da+V@%|*^Zt$MRHINBqKF|4@ zYKzQl z>kb{o^%K5$?Q_5VpVeoj5p=vL^a|5Bdz*)1V{M^@a0eCDvLJ_sH)w`D2-BgG?+=R# z%gXNP=VUPBG@mUzh!8%oMh6-x{fK=+tNRyv$y_{7V_1Q#8%MEG&fp06MVVq$U+vD4 zaEti)g~{BT!lUb*OCPM#J?tzfeu_bSk0~L!AuV7ihppkF-NJ^=fbE{4b~8^KO@ zxKnfU*0(j@+Zw|$PB|pb+6!iM?XWB4wd*PCDM?rA4t&XD zRt&U53!pg57bu{~=HJNfAE`S250ubBz1JCZsEZym*%`!@$!9;OTO2{HyguJFA}`mC z5o=3^<|#@sx7~*S(-}$N7fVvjNk{W|9UNK;Ol1kvC!oi!N5Ry29t_8-JQ0G!Jm(X!Vm^m)3I^YKWHo z0wz1P(~=izx#;ppH%-)I04P~Oh6EXX@Pd~d^E{3rUz-=@h6fenAjy~7H>VTc$a#zV zJzm{UibV7PW|=hxrGR&$MW5P3kIS3GQ#6g+jjX<2*EfKX2Z0pYNCKJvepzyb zG6Nh|MADE;{Qn`!|66d=|BDdj)6L+-oM-!5&nff?s?h0$C7v<6ho3MvV!{C9^II)0 zM(gIGi3qbH*f5I#QaOd@*}`Kt zjdsZ=Y<%zNxo$-5sipf1gPz?S8n7ef@qRiG5q47*mh(%P1P)hAQaS>fZ1R9`3C8;3 zUk1aF?m4I$N;kOz{urCi7;CX{K!S5#9;7l%AXgi{D(2wThv=jw2n$zK1e#P>#Cd<~ z9;eRfCND2@4E|a(KmRe#<_tcu^|uA~&pyrY@r+Z(;F=nQk7K=21uT$AYwU3sCYgxR zx+7*kPLC*BvMDDg%QUr-QCZjycSVq9d-_+jz4-ylgY3EdL6;gmuDp)XFdH9O7=(l|T~Z1Ze1^S?@8>P1G+v9h8W zzr3mQg#Vb#W}*RvJM|Yy&<1NK@N_;P>ryDGzwVX z1#%xvOw_q1xD!ag`g$8V7CpO2)GxBR<21ZIRQ&arcA@9XZX}R3a%_&#a}tU>+?B^c6##L`@DI zrbp&##lUHCCD!wP1HmTLr1SwlT;m-ndX5?F-4ai15A*7qNT7-9?^JiKkdIQpYC#q3+`M$&ZniI zQyx#I?7lJ91FRn8I0@Kfb$5u}Tg0BHgmOYA9wk+v&{u4?VBi~RMPzzsCI`KA7O>5I z(-b=))*;bNY=PN*2Uvi8UZ;RMmRd!w`G)a_Hw1+3h2qfct!RdwWE3)xG;WV23j5t; zBWXzOAlC9^szy@8JJNVW2mWZtIb7oJsP_gahXD&t6RI|&hk!Pp68*3Ijnb=KY;aF# zAgUf7AoGKvT`q#xa(x2 z(ESB`!wTq|7EdHVM=9H44m}FIHZ{w9g;K_~bRDO{XHspZ0c^y!xzPHU(46(BvFPXd zw>G=E%@BK6i;^U&eu!mpU>-Zc;)6KetMi-QVSp0r%;@_t`L$K}(>rq;*KX~IDdJe0 zE;=)@l@DLk-$GVD(`CE7+ZhapBSX+>`|y*+X4fRgG7Y_++q8_9;vEqt)MbE}?fs!pDPAw#Sg2g)XmdcR_htO06& zTDqRne`|m$(%6J@{Pn8-yIQ$ae)T0Ow=KTMjW6F`iRfAQBxm(y9k657q3kkwB3UPw zf*5KqFkyw*Un1uQz;QgD;V(bY8ih#qlB402fWW-eq*YazHkHxAiNhV==0YIG(jOfi zTv8Q0Jk1x?A;(YK)?J2;<@pLUHfiq)XdK{fu+VA3aD9t$l0gerR1MB@7fKAVP3JEg zA6o|9MDIqzY#$wtBZueSq6)n{M{s;^BYh^D7DRUmlEvjagbdi+S;tiG2UBAmc3@t5 z2M9~QsXO@iHWS3~3-!|?=2>;CyWlS)AbW}L3)6)VvjvJz+>1bya#Q$|d}Qf$CD_CN z(*<5Z{|m}?m;jqY9=Sc9ZQ+)7r&pcpGM03we=)k`;vdnp4?cz=SGH4T z{@9enU%T|)<3lHhK&@Sul-XjR2`)UuEqS={-z{&zaZIxE$yEv-euwjBIqlkt&r2bB zHlOO%ny=`?6+BWoRjjf9Vyd480uX+^@A zdp@-?zlGEC7RaGa=2mCY&8Q)J1Z=z1SSCO~&V0u&j-UKLtl(NeKbgO82E1RQt40sqR5;77~%JHE0-Ycr-DF&qX~&3%aK?8S3SPwz{YewA(L3?}6umIEn>8nII2P|>0bOx1J7q!eWsz{y&k)xm1JWs(W7`K2r8$=I6^%na zUV_1$zgLIVM#%+ET8I(s%FVWZCs2cgG)V@{t)N^P{!Q-%)(p{5fTi&y6Z4Z!=j=Xo?$+t#Dc%bSLjrPoOy|VxExu385xD||4qq= ze471RhW&p^x7d8D0Qt2wlKY2<HzmITQDjrAK0NORl`zg96tA}dzR zzwlY1C%?2n>rb1#7Pa3nIG()69&^I2u$?Bw)=8G(Q|e$&nU)Kr$1W7DCA+y`&B8ra z)#cTx-9%gbRg?+?MARx)+a))QOEEkq(mqdoxMk+DLfA*usc*_DoZ~a~p+6?{0y>#T zD-cqY`pl6V#;_l;@64SY4In@Im1Ed=*&r=}q9PgeP_&I@I(^)(SOohga{YIg{5sy17y zF49hhH0Wp^f6c}7WPOyPF`hRvdz#AaYn4(WECMe!Rd03%Kje~vdZrIk?k+I#aSf4& zcM9wRd!5d9|vWB$hE z<{oFFm_fXp&NO%DE2KHdZ5K%BRz*&1#Ut>4Fa`LT#;YQyEWo}os3*1J&1wD#gFdK|SK0%wf187eADxASrZG?6HD29OTFw0@g_0Ud%xq)lc%mU`>*x-caJCR%#NsHsn6oi za3M&QYga=$+hXtNp$(M?o>}y)4Otq(TVLg#fT0`R32*Q@)m@fz*zMNf8c)Ti(W z(pYF(vm=6mu1EMx2PJv@e7x53WG&cfbli5oAG)VUHe(y*@}01zs1UpKfzF#?^BX;2 zZ9ODv>wG|nG+x5pZ#B0eBI6x!VLZNP5-4fwq*XmhK9u_+a9+{-$qPsCL)fpT}-~n^^J_FL$@%b|{R`5QhseE%(At&PL1g zNB0;#0P)4U>Zz7k{UDrbO+$#_e(hR_x1A8MfGv2a1=80?Atg?-R<2I7vAYRf85w>! zTYj!SZ4@c0?>n&q!GyKM;SH!|#w+1G)TH{Sct#}xmV0TkE63o#GFIN=TNM-KBzSM- zPu8aw{+AeJ>WvHKote-t7|LWY6TbFT82Y>;O%dAS$&M zIp|QKgtRV=?EN%R+eo5P?|)j)&gqn&>~0y@iwj>jaQlAzQYilhYE1dyAU0Kr^T=Gun{aBQ(d6~4YNWEyhx)xqz{WSJByGEWEq6M5 zdxQ1y??)&4Pt)KZ}nSz`iAM_>=U^^-r|+vfxcL< zek}c4rM3CNLQ?_>^U73yA%yU{A)I)h)dNa%HwRvTkHKk_{#6*3um=}6_2;Q!U1e)f z(?hN^!+g1W@Ii#JeV&$=52#`Oxy^w*)g4*zURo4a1@9(6ZujSQli}~8kKf8BwBQ1b z^7xZrGn!cZ#0VG03;aXMv=3i)S=0P~Rim~Xz-g#BoGO?fe7|>sH>t`*TXrI;HgRX^ zP!qK++xfVz5FlO5loUHCO_Tj$%JMlb0ZQHhLR)r3(ne(#BSG?x75_zA02dre|Dgl2 z%l~8V>loy<&_w(B$cv3_{QJ%MPjZ}vrFo0@%np1;oZcKB{}C9C$Tx>Hp13<S5g5LBXYrdjpgw4?v!M1&FO$92gcTjd(DL3g*^N9} z?{MhTBNo(GyDRz3N9?*z!m-t9(}a%stdoT*Mv0B;F_hL zo_Hwh&Y^G+9By>Ryq02}^S$X=F^#41TVkb;ZQw9v1>{^|e@Iz*f5@)|wPZFoLnQSQ z0K`@wPtP?w(Y3aU(48}66wv}&xczf6(y$98qLM7u_KBi}$RKbR0ctIAPofT~Hnh_^ z)AgA|$qDEviaWiYjJ7mnKyQVlH0M#8eEI(r{wOZFM>_W6xCdYLx=nO0#vgj9)~8n*y(d3==538_Ja{?YqDXz5#?ZDJmk69j#jyy@Q0DQ>{U#&m zm}C^Oid=Bv${^_*pZcyYj*}vt)6kBFQgcbN4^8e-qXV_zi8>u#tB`U{QDY_f0xxmb zIb#6!`az&JgBSr;ouYtGJY`xq)Rpuu9~DC!+u7xSAIEp~K8P3kF}BFLu&I07j*VNpEU0Wkvxx^q+=8YGZ-2DNq{oIW(hzuq6MHQ*nNFWNFkI{(9ZrpU(DunrQa#z`KtF`e zzBmHv>e-v$SjyH&lDWo;35^pDQomXb>#j;q*x#D1sR{JfYg*~*oZuDYB%(g-1ogMR znFy0TfqmVsqlR_o(1B-gpg~LhdXsu#m&j}{=N~l)V%eFV<75d^v_CA}Q^!h=T((b1 zsKZwejs=BO{Hh02HIMI8$1*2!3n$@gDjI1sjuy%VX-fK^y&Rq&B+ei`nrBG;?I`MV8*)sodfd)N$51eP@(2k&+Uz zQBoeo6af+ZJB;|TSdQDXc%9|Zebe<=mew8J?MZ94M~AV?-{(ljmJ@<554RiENV2~g z_pGJJsQ17T5J(z%YWS>vxSG+k2W^C6CZt}w`SErpX)&eG7=|qU!=Q@D5 z#8E5Y-mh)lcjc)H(bS>QZ;Y$;uZi7)K&y!B(rjJ43h&>U%*t*5n|PwXhYQ~5bY2J;*(brG@#W`xlQQx3iQH)1H;RyVF~7Es zqdpt5-45cs^}z^!F8)@p0Dr?8vmpeRsqdG7fyo#@jB zXmXryaXGsNE*sRdokHRkaHzExK>Mu@-Sc(SS4|1MYMYdxt+&L+)>Y6@k++cI53Qrk zsB$HFXE*3Fvqpjny${9!(zlqKlzi%YV(JBF?34labIz5zu!Ztx#YXb0kzRrSQ=kFE z_NSQFP0e$7=2_B*-arEO9M$Uxj3$b8Y^=&$un1ASQj9_h(Kwe-|Dw|d0$Z9ahMIo= zDTmB#XuH3(x>79po4VQbcmxguh&kjbs^Z#C8+ajIu(I&ROG7|@tr5R?TMIY|MdRX7 z;9`gg-(_^LWO7PXD*OpC0rq`m!)!r|R=gPeaXXs-OHY$XX)6Er_!w+)r;2PS-}p`p z1;p$PKMpYdR*P>%f~D>g271!bC0GPsE^kvu91VV(GXqHDJ+Mqkd^$JP#(FJ^o`y^^#dZov7eMuzJ-#>rnSnE&r;FQ9- z@iG$G2Q)+B-=)1Wk>TydynkpSOt}EJ-y&lGK{{|V@^@unnm3^L+4Uq*>$tZugt19^ z;9K(N!V(y*uAOVaKwB>cPyTxsWxylJ@llPsRG+z(6DD)c7hBR+l&C3r{UL&c!EDz0 z`~GV?I#;8tOkmol z-p{Xe3`V1GtiT>#V)dJFy}R?g5bx2Oj^~VQiV}*82e+i+nQ0(K3ZX~UwLyh6+zC7i z6aA5DO#Xd{rzydSK_N11U6r@$_r90ZCLO*p=Z5lllZ6QN{NG>*S92TdNc3z}p3X&U zqp1=D5G|mq$@=mrQQOB3KzaQdasee%&dmqhqj}E`f22-9_Yay!#_E?}6BIgq32{wG zpR7iaVZ`~O^Lfxrim>rEATid1e4GCRc~y&8tgNUuv5F)YR-GkTdmaak@Db*>K2>&H z?JJfxqHxnr-he=~E83cJ!S#Dx?#@OG)yFo&Vltf05J4oQX5&-Wy_w zs%?5D?Cr@+7DbEh?`LY{>4>WQIu#UIEHSex3>t$x$HB>}dFjnzP-b9pP-b)8l!9HV zXi9kkN3xo)K~usrfX%|SuGmU6)-4oL(sxJ~dcBe_G9nzBwV`Uqe8Hr#r)eIF0PD7u zB{J5WlD6&tWm3q>qhgMNy_b^hmNx}=r8{x+9;HUf0cEE7;_=Pu_=H_~-rL2RquvhP z5HyBwRdT$0pReV8e!pV{yyYpFEI|?%PVMoFqi}vr4cF0szUV!sd?fpl->8XF=)_Hk zj2*|j&(c1ha|FO{3C9(gHOQvGR39i{Z3}hAN}CN5wP~MMH5Fc!`aB6TG3q; zaX)&9lZV{%+19d-0@);u@nXMept)4UbE8somkjjZWd!D@SWtyBBUW9Vhh#X2vbP@- z2;Z`cwbUaA9(35iN5d(>)vcp5l@mJIR$eJ$^mlL&0i}BFp3*3dVdrVvegLM`&UUVTgPHsytOoc zr$`KF0kyzRKzxcfE6^TP8(={;KYU{UGKKv@NMd`LpyPE@nG!8z^@j2aGn4Jf`5vkb zZ$5VaQ;eeotgMk!pWZc{-&?u=&hkb6h4F8K!CztgdG?)<<7MP1(0@|$*K2IVwKeS# z#9!o>p+$IXuw^uSWJp(pKVW+xsj%L#B_&N~KbMRnxe!lhZeE+zL^CgZ6 z5Dq-9KgZSewRQaWKnP*Q^_53q$_Pe|RbM8N@TR~oS0Dvn#cQ5DLc~L*@Dg~YH5=}{ z!EL7S0jcMiZbUgMh|8D}z7Mkyv^2Ie+>D6>uyadmUY$-ANxzAA4^ri-LG954^32r9 zNsCdWqRHJe;OdFq9(R)9!S*(z<&<&FG}Q6m#c2^>ZLIbJJiXM!P#?Y@Y&*{qm9>~s zR(mfL*MqOvj1mG1T~$crUVL`AiwPmcq6vi-!RF7f+QvEB@@NH%aJ8P-#f=xK#fQ~t zvaCnL>AW#NRghuO{b$!I{5x;yAi!g5dJ#Z7Mh;w#27F!V#HH9#2CCM&Dxvo?! z%k;;94JjW%fF!XLZU}jY?U+mAxo;r~CIndgq9LjN#6F^IS~*-l45(?aeRE1!yac}` zf}Y)mmK3i(VtSPCA>GAmI4Z_2Ap**+;;K|4B3} z+oKC3Y^inmf2zCkc&OgCUsijC6j#KCbflmAYfsOYf--s_ts}(YK9NlF5Px9 zbi?byWdi25UGHvk>G22hmiHgTr=FH3%THKBZ$bK=P9J%W6X!N=MP9V^pbA54Pw88W ztgb5oQ3Mv5g_LOlg~qr|I2fpXAENm2-ebe+!a(n(4N_MQ*d?KfhyZkw#jK(El{Ze9 zs%gm+^AD-TzHowF)Mc%tncZ-;cLwpY_IW6eg~S*z9NzFh?2t3 z(AiMJfl%&4{Jg>cSk*pJEn+T(G%OKBLV2>naa*_7uAd-|`$*W6yAHSDYp?5m2=~TZf~KU# zqUxxn%#@vRRx6Fuap%#9bS&&-595+DohaCK!w%?1p*Pu#k#>Lhfg?o?l zu%Z_}WyRp*^-il`lpJ#|1B}qfqbHt;5d{0mBVsGVLBamh_Giqu>{Fy?%PEEaQ2PYA zFS4!kuWbDEYWcbfW&L4l2Hk6c_GR4NVVOtxP2(005(ccWT`q6x`P_16^L>A@_lTG$ z)Q3a(I1~)f>vcYbj65h*s@n8*JXN2UOTvvHzgrQIoDZ;|{OMQd3ZP>tI{WmCv`{r3 zAKs7Os=LS@a`w=heo|r%QhsWKLN9^XeVg2o(bP|2EC_@z$5rcVWJisexAsG;3yDVw zjqgR4jfKqL0eX6Wu{>H^lsn%s4Z#`2McLV7MPG+!QLBq^T2bm6Fr%jw@>2NqDZ+7g zz7wyi9-u6)wBD2dT+-HNO_pn?S~fV3{>|uN1i1j*o&@<<0^hZgfEe!ZqJt^pM@%#Y$d*^s!!(luFbCYYJp-5 zA-{WdEUPpi7awN95n0OF!l>Kn-qPO8#XI5U^u?@8ZHCHuN-eS#eFzi68b^5D4!>Z7 zGB>2CUPh6fWD4{YMYoPggX{OdRlBIOUgsx%#jBBPf5h^RJL7(C`nw(Ij1R!wyZIf6 z_|*-6vg`%_@+ul3?u3}o*s*VV@5`Re$af9wh|mQE930e#;JD!O!KD_0Pwj zs|HVAhUVAE`aPVQ$C7oK_kdF4s0*wSS(QYf0`lJ&Lc{fB-xcn9yDQyY5-c7i9DD-# zF@MvY;Il< zhO0tcieHT`GijHIo(QWmMjkS+{m_SK5{bZty?l0dT$fLaNj;dihC&s(@wn*iLl6d8 z<3fGFl=>`3w51z%KyrrgeM$+D5Ulbr;SPJskbG~QRqxBw0CF%860D3GD!_%kSj`E{ zuOsLMo$}zt=+XF*?yd*k)&@Y|mrmlKh!82q%YSZOsj7;mn7k*jxIk6NDkqPcaG1K4*N~ZIp5+nQ{Jni&(F~koeV-Nr8w8Na&jMS5(83(3+@?4v~G=`dfX0hneYEWKWX zUxqj|TBEx=ITos1x6hcG{Opw4&?t_8s@2GPI7F;Zt{ra_#dlP^;i*cM{bz`gKUq3G z@^UBI!MgZaIkkLBn+J4C8X}e_m2C-qJfvuH%Kl;A55EEYAq%CuzWl^NmVp4r1>y&@ zFxSYl9Y0O5;3f#e%yQ2~2@po5oM+Q!AOo-k&BjVg_tzj$V9!zPZ@u zL!g?9uUe~akRgfVFzI>QFaGFNI{-Prl+RLHENig5ymUGxHng~ADk=jG=`W)-c#$U- z)?)?iM6XX$lkmCXgB#;<>A8r#h8TwZ>P z#~v%^mi6c;oYZK>?Zp8bzAjo>5Eckr=f6NGri7VI(U` zu`p(R`mWE&#!}TvL45h0AxR>mJkW>KuW5YD?Ip{Q4dYz3XuRWL>7C7QSHKLqBw2QR z2S)?nMI~RQU8{3XUZT-CN@|YOJs}PkD}?Pqk8}47qqSI&u`|N7BiN3QPpJgERm7zK z5f7ULyXaApHb%BBBgCm*1g*c03Sx|bRcXA9c}4Zw_yMx09o;BrI~ax+fVB6l?DUIi|c1&~M3wSWmZ2__6tgF-@Cr7?WDRZvVpD zoJq^1TlXy(+6AxWxP>z7{tDH9h^6lFEhW8Mc!F&T7ZWcpCvHlN*FDmHp4Y@fQ+Yuf z{}6$W@_VmjZXA=;CUTI*n4k(1FQ?v7M_mAOi1gFQ(9OD5h(f;TYztLns(imf zMDS~D*iga;*wCSHg}dFq3s;Oqm3Wr63x*fmYNx5a$mpQ(4Hil+`@-V5GZfcQQ0g>R zHc~b_#}tvwxnwrx_+ewlq)GH}RT^s^VY(MHev`!cb<`iu*hsXZ1HhhABa7k44;G*j zT3)2w!lvQ_l6=J>fQ@K7*^kZ~rxIdo-cc&-%vwv^oz4WV2Gnq$Idmn}U6_x=9!@zV z94>|5A`+C2M-ce;z_a-F6-nq zG5rJspgR0eWg_l$pii@@c-9P({LN9YjK#X+RBn})lw6DMVE?FiMQg`F>1aNy@kP{Mdl*mRM-wPfz%<*S!yUU= z0o>NFG&o?9Hy|`u4!;5f?7+{;0N7!>)0kq7gr+1d0B;Gnszc85M2Gg~C@yHm_mk)5 z!TbrcDR!Rh`x~t$pT`jH;VNa%5{QrcYW;XwF)x4w7GTLpM+{fajM=wBlfyt-acpaZ z&hQWD33_KKA+uajU-4&U;?Aowj@Y`}_7wX4mfhATgLtWfap|p?E~;$d zp;_lo8>$@-Dxc>n>rChOMSc*Y!{^OCL51dqid|Mt;cBhe}Qw zUR`YmVIa?!=jnEu+TjyKdTc1_W1edHip>)i%e+^mnMbBgnv`jMctxjIS2Qf zJeh7=oQ9=MHchS)OP9l*=$l(?zVfZ)U(9 z5Qdb)Dz>lA_;hYmsMa7PY#ufk{!#m!x(b$Qtk;NCKhQe2oHHp3&L7_}^G%p!9{>78 zufcB)I*J^4EZpO`Jt#u!-+;mwo%lW?N#o_HW)D4);N)m2Y8vuUbHSQd^&XyRZ_QIW z`k_7;-*a}T+*JSc86WKy20IPCr{AE(n|&oc}94=ol2{!yVh zBy92SiCyAFi3-N&&xfl>?J*MCwvDM*AI9h;e9s^Bto467&LbpbBy|7b!7k6R8I`j! z;Ua83B(5Tl=El!G`T$#_+w(840@(~;-LA%;wTD`oj1<#&c}G;byN^&I185F{tF;=V z7t(VA`4KO2J5$KBgrJ0XG0_SmOBk)`3YYOl&V+X5h>oI7k;hf80gTvWKibk4pHSGX z>jdQ@sl{;`xGY;{C-sHX5xU#Bl6ife797`DR+8o90H|Megm^EwIgX5UEOr*0h9s)O z%+DiNrYJja++b1s#{bH$IdNfb!||r9Gp=gI8x!yrQS(D3F=l56_iTwL*L`S)O6YX+ zrEN_M1dn_{Yb>OaM-xT=l|-dQN(vp??~WZ>QRMo<;`<=f64(2{3W#vT9o9G~g^6`G z@N4bf=cTRiWNcrl?ykHpnSIa-^ii~929-%5dibv;_!H$fTOmUR5m3W^O&_~6=*rZd zyq(_5m~D=qKcZxA7~MGoHl*d_O7XcgFm3Bi*|bF{?9Z*izm=T*g9Ug&++~&9gRA1O zRIC6C#>VoK2IHuFP?gHQ8&Q=@GlPv;;AV*8*ZwWWBA>{jU!H1G)hlk@!4`F<_H)k!@MwS8)i>tUTi0(8tE9n zwD8Kab8`{Pb+-HYb)L<35W_u{fZMr)yvZlV;ebT?YMs`pCS@iB)>8x-5P9XybL;&? z$V!dp)7wjP$L0jQxx;ZDX!62zEsSSJ?%1=^tNwNH{SSYkmn17@nDLvddxAZ8i7MC= zi%@12vN4Zuu3%ieP+mL{=V5y@4NYI(T$qdEw`RDHnFQ@8k~KaSJyT}}5nlFjk!!&W zh|$7LT|J8ak@uFa^x1)J9MPc}W%wGJI*GW4?l9eCgd!?N_8tILG&aW@G4{u6EKRD$>T4+6G7W^-B=Ous7Dh z4HcN)ajQ1P0?jMI%+#YoMGGi{r}1micj4o9@uwC7w`MOASFZ?yf0%w`2{p-eD}uAv z7zT_V*h4eYy+dWmzL<6Pn_Z7~wC0ppo8vtrnbGf~^>s`gXcU?6E#q$U&e4bTT-Ne? ztpI3D9qlADl+LfDMxf(*n$w?9mI^hpyLI;8u;+15qgXfuZa`Qjgh{d>u3ryWo4HV1 zMT%~_NyYNc$GFG{V(8EsOJ7|MZOTtdhbz|G+;Yy&@L#az+2=K(YMQzqNnuO4HHp6$ z`^Dc&hF7Ium}r0Fyl?IV>SI#zDQVwwh%hT=?0GCA^dhNBRk0w9ucuy0ci`AVX%MDX zTf26!Q`Y4qlid~V$VHLeFKxN5$Q8IOwW4zI+G-LuXy-g@rX)MYY2&7NL%`pUKCKv78>VKm*Jsp zr(xd}KFl+4<2H|PRnz@bvb+X)s)Gu@?)BZgD*XrlWIzmEK~Ph3`Kq9&w+iLEpfRH* zoe`3BltL$EWR;8a3+TOlhW*7XK&>GBs)C~kzYWq?P8I&7{!%;|B@^UfCxr8-EkixX z53RbUQsk6m?5z(Szk0@}V<^K&;CwCbjhmme-rZZCv7r&je3bs$K=v?6YS8>Liq+aY zIPQ===~fJ_ZDd;Na^CU;*!@cuXT4+|Ifj25=E73e_H6Ah?wCJBE6N*OgAz{v>MfZt z?$)8;&J#uZ)SE)HMt@s~(mPL$vcl^gs%C^*o=eoUY?MtFA;J~Cnj0E>(hYjS+ov#O z0ckdRJwV_l>u0kN_mCb=sk;xR=kAIMw+pUl{17pl>a@#PqtjjPP6!zDh${KZn~5Bw z{@R{q`h5Nd>bs+;YiX2KrKB%|S&hFf;KNi1HuM7+n&spol^&V;2LnqNPvWC^QmxUv zqEaOD)pNE4RbGQ!3h4H0iu>W`-o7K$-5!tPvRHx$&D+B8!!Iv&QO&u|ovW~XY4|TL z(3^btW2c_22W3-_P@i?_N8h|7uhA88@6!i4Pryxo2B1gq)XD=lJXCxs`mg#5?r~PT z0CbDLovj2cbS1;T9k>5-l(oirKyxoE=i`F0 Re#|l8qo-r2U8xC2{tsWSFv9=< diff --git a/src/verification/sldv_output/AHRS_voter_Verify/ps_results.pscp b/src/verification/sldv_output/AHRS_voter_Verify/ps_results.pscp index 4931a9f5aa470c579c7e8efb77c5181ad2886b17..1314a7da4f867c881f2462663be7e4f55cde1846 100644 GIT binary patch delta 53 zcmZozpxCfLaf6y2Tfe?%U2Jo+j$ONs9U~Ak0WmWWvj8zG5VHX>`*s~Wjw^xy%K#6s delta 53 zcmZozpxCfLaf6y2TdSU%cF4769lLfNJ4PU80%B$$W&vVWAZ7z%_U$@$99IMZ#;6aO diff --git a/src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_16_13_22_1.txt b/src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_17_14_19_25.txt similarity index 78% rename from src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_16_13_22_1.txt rename to src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_17_14_19_25.txt index 21a8389..166bff3 100644 --- a/src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_16_13_22_1.txt +++ b/src/verification/sldv_output/AHRS_voter_Verify/sldv_log_2020_7_17_14_19_25.txt @@ -1,15 +1,15 @@ -16-Jul-2020 13:20:56 +17-Jul-2020 14:18:26 Preprocessing model...done Checking compatibility for property proving: model 'AHRS_voter_Verify' Compiling model...done Building model representation...done -16-Jul-2020 13:21:03 +17-Jul-2020 14:18:34 'AHRS_voter_Verify_replacement' is compatible for property proving with Simulink Design Verifier. -Proving properties using model representation from 16-Jul-2020 13:21:03... +Proving properties using model representation from 17-Jul-2020 14:18:34... Running additional analysis to reduce instances of rational approximation... @@ -17,16 +17,16 @@ Running additional analysis to reduce instances of rational approximation... VALID UNDER APPROXIMATION Verification Subsystem/Proof Objective1 Objective: Point([T T T T T]) -Analysis Time = 00:00:35 +Analysis Time = 00:00:33 -16-Jul-2020 13:22:00 +17-Jul-2020 14:19:23 Property proving was stopped. Generating output files: -16-Jul-2020 13:22:01 +17-Jul-2020 14:19:25 Results generation completed. Data file: diff --git a/src/verification/unit/AHRS_voter/AHRS_voter_New.slx b/src/verification/unit/AHRS_voter/AHRS_voter_New.slx index 5c662df724a77bb10fc1d83b1a531381cbcefd51..5a6b482d3e5946d878514d2e5c529ae236bc61f0 100644 GIT binary patch delta 9637 zcmZ8{Wmp|OwDrMVio3fPcXyZK?!{e7frGmrT#G|-cPQ@e?(Rj4l&_`FbHDrE{8^Jd zTPBl9vSuggci`K1;7H1H5Re!E000)i;e1_##0n1a2kS(^^TFW$Tqs|Lf@&5(7Z7Z~ zWhX+|#(+kVDKQ9)@JQ&6k9#XrBiPa_F>jspIvVTjM+)h<6HJyVk*k{d#<8SymMIcy z^HAR~73tcvu{Jdy_7%WBI?=bdW2N+eFa>K`7k$)d_S+1&!Aa&1;3xaKGC<4GO3HO1@Zw8%E9Z-3 zklB0>d7Z{fiXqw*aH3+Kg9{A5j9_D ztKPdFo*J?QCsg{tOZdBYb}hIqo4lt%F6~E5}Xi07O>K+ZyMzP`|eK#*?`-W8#>5+Xy4N zNDJH?hBzM)tjAXP1V5#YwRyo_Yn%lT%%Ena9-6ZWbz5h9Q*pYc5oOD{kjIIYr3bf3 zJP;8wqTGlFJvhj*JbIom+Z&~UxycT@j(8Kev2Gc8yGKwL5;@w|7=4*e>JWcH2;+T> zyCo!^`O(|nm@$6LJV?$mY&-G8cmXsi0^;=|D$qXP1Eu?g@Cc>tkx&^QG6UuiP8uNy zp(;!yBD_!pAHIbp?F$qKzNf{T&}1;Z=mjJkgw`3N6o8x3fY!c&Qv>%Ee#cul^UVg> zw_0i4Mklzbk=67ewANds0P+vd#(COS8YREf)2a zgUXjDRO!=a#~&iQpJ>8A(MZ)_XX2bm5ZGG=%6?>SUx%7689X4tzD@B$Y zFHBewwpaw!E@@Ceq&si|ipDF??6YJ+-5cKIH}T5uJ;)@fV=>aO+!3@Bw!%ajpzsk3 zZG<_}t#64V#&0u4m(CQT&4S@v8U1kjLTBuWK&|CM#S|TDUmqzBBki#{H4xe)gd9gF78GowSx#olkS_2?E(`k|EHui5p4N6tMm$i2J z9HZW79@ld#?inZEfoRr?*w+V1uZp@W7it0EWg-ylKLf9BjJg)$eW3Z%U%rnxkPGAQ zcY!NY5**s!`4>zHoR5gQRg8d|jS;n$>{4wp=DlkBT6$9fd^$Zx+i?mbB4kp_@}00@9?!xEsEFnoD%+(Y{ufH z;CWghj&AKST6ma~_D%#u+zAQopC-imX2>$PD0{o8f25wuTfw)pAEeX~;{Q7EAwBCs znucE#i+=GgG)N3_^)%V==mBa;sKV+4rI3}%4GO2JgU!FjWS}V&v9niF{e;>F&+km) z%@Wk>JxVSiU2_KPGhMapZj9V~BskAnN%>wQ_Qi#DvAg{fW zM+YC2%LlZBzy%!b?>THEtdd|IyIwRGyhZ7* z%476YNGE}tT}f4>(DE{K#|)R7Gq1-jL_Fj_^XTzQ1Z%1qvddPuLEFYw`8NE4xK##F zqkRBplyYhA`F0!ib-bBsv8TWT_}N$W&Mys?Xx2=GTSnL(X;b3%KCz8~46jqAFgSc= zC1=qu`4YK&B}js_2sPTU()No}2Qkp(DRTOtSR8nqx3%AsA=A|TnrtaLy+|>xce%SY zduS+><%3s01g4SPT9Mg(tvC}EidOA;v1bj$QW+y6^#S;+ssM|EOf+7sj;T05AC@n((NU1z*th_ymGPMcy-_(+Td4^^x;dJ zj+dhQ#@K_?DLlL4mCzNJGRyrM>b_g1EZ8yI_R**`LOR~hP)+NFJM9%F1`mEA{+TUp zUs*L9$LNV6phCH4hO}+k1q5Ai&##xz(%gBd=UTz3P9Q1+swS*)vujnkOK!uCOstzIjcmU~n*hN#64xd=LvlqAt@cu}OF z)H5B}vCCcC@RWKH;#@wlTFfmTfy;mU5k=4PvdfVDR+j)i z>5uGJPtqC^69=QqYrtR5W{q6;Wg3Ut zXcK{1{OQnUckbBoR|5B+ZO@FMs>I8=#CtyMOL-wlAtL177^vL4m_C!V)J9`eJ(;2d zVEQqKGL{yNIHLxvx(_MTY;p&`5STiebdq1yBk=5|rYZ$BYy%rr&lxnGmA%LtQ(sdk z>P4m&sLoGyqhhe|t@rJ6(RMwNqorg%>=LYy!Xr%Dzg|f&jic4#K;2AxKDeMymot}# zP5BK$-X>v+jZF@w2UlbQ90^2cvGzXfXikVhe(dJ=nX<~yOSa)|hARw`s!Z7-Mp1RZ zlS^R_48G0-Vgi32&-=f^=$6xl>|a#t>d`%)Y1`#A7{@l8J#zd;dRwAW{1UO;TV`{j z!I9C8Vm}JsYHJjxO6>AP|8da5CnoahSU;Taq=ABE1k%g1;_ zH|;HusZ%K9w_z|@e3d-n>o3h%&ad<@GP*v*27;!IyFoxxS3dboOFLg;bi&F=_=N;b z%4+EcdMas^y9|7DIAjWihzvPY34gl8v>-R``58iV1W^ z>Dcz0jk^Gfk)zFb7(x&a*FPN5{H#fuJ{0z*KHqf-@8lxpaCEAx%V~DVNpt5cl8kkx zIE6EMi?>j#+4h`N$(pByK%laob7{Obx-QI1<)gO9TPNN_R`qBmG#3U($@NKOyYWWS zkss@q3Z78U_vdW0GG8KuA(O)!rr?5WdiZcyAZH1@38x;T?3_-SL_LUxur_r;pxB0= zEO&3XIjFqnL#OYtE(mF4XT)m^Uh*+P^n&>DicJLVPE_R)Em!Fbr)aj2ndtnT9f?pM z-f^RN4|l)#k?7{v;ep~3m2-iYSspF&y__`5iy?u^Ti+El*pb^S(6%RM<1_j|B}E!d zsMVB=&4;_8&JFxu)<~7f!npaQ^V}y^HnZJFR$YN^QuEa~cLa!|2u+W*zl|&a4}I;- zrVC#+1wZ|U+3tA8{_pzhAml~*zTBP}b&&kM0G0bszYF{Vor-AhW53xnyU2N?@T$bOp?bzo$$Am8pkH@#CydW0 z#}<}?>|lu6c|)Vm-24v-!^4-cHcDP3?5+@Ru0b(-@#5apscpZ1x??eMEb9H=$#mObN@^bsas~XRb=8ysm zK|2?#%#z1WlFH3EnfP?2rHW|Bke1$D%l_@P7@zl0OaZa}nIVZuWti+I;q-N`>DLYW z)iRchv(tLxVX8v+WwmQNc3LXk&7Xnztq+xlwZ+pEt^r7CmyNGRYK!;F5?gF|p7}CQ zK26(+%TYnZntgA*O_wdrqtj**{NLn&xw~>63f|jYddq3PiZQ0o-S>NqN-sQ32faTp z0?#EVxTwCf6%p{YUfo&Lk(K|HEUKoTLGraCZRxH~Z+JdibMIubLj83U`2&69MO#qS z%Q@w6Mpm#TgI3$b*G=>4n$2-Rs*`5egS8b+K}~KjU`B_# zNo?~nta>{NTv88`(^@cscH8Gk0U9-ysVMJAX`DbmN5r2)l`ojNOm#k?i8X#*pfK7F z^2k{g9K%gGHNqwx{+k&DB1|%~rZL~cf(P_d)BK4iud;QdtW}-Co~@l;+xk{x{=oUV zmW>%dC;t4#0Y$VcnAJ!>YLL36sz2u2?Om@x5oA^PuaC zT|2H&SWEK8P5@uesf|WY^9NQE*I$Qbnk@l9Z})x$4)(T@!j+NAPlXdtvQ1~Q^G@mdRw2uY z`p1(-ZX|6Z)FX9eFJ4@2Cy6{x`{=SkcC3ufRo9g-5^-fpgc_DWQLWGNNl-*rbCHI4 z%J-?e{;kipt?-@HM4Hzb?IcGVY8iq)(h=d_(R`}8W2YPsz4dg$`uH@e3V~s~6dEI+ z(TeWA?`nMrC0^&@@thRT9i}vPRzo`}J*A?J)YltapXb;a$dp3nYZ6NkKfYC%zNLfK z57k>4+YtFe6tZXr6rhZ`ilj#dXA@l{8`&iRVXxqeBsE3D0=8kZfJ^q^YvLVZGL6f z%Tew8n1M47S{15-f$SR^y`#67H+I>T$WLy!S?9=GjkTj_AR%k`X7o0f9mNG@Q^E*W z4sd3-TcY|)-i32N1p~Q$dPSJ4UETbkpD)tjnot(G^otGOi%y!T`fc8s*F&=R+m6F< zbj%~&WB(?aYhy&gn|O9#q40$YPdx#<=ijU$`%i~VD}`H*JyLke2=MyP6^`BE<8%mxtqH$3 zlJQOTyF;s1lPGwZ<^d9ScfV~x6e$RPz$4gjF-ns|*34^*3ZQ|6zY&~d>R|$rJQ^-T%3a1)O63pJQsx7(QrphaZknl6M)9!cOm^{Q6POH_u6!Fyd}i*5$;R7=QTKkAiNG~ z(Qx?AXS5bUHAn2M%<26kL&5sEDk4tQzI57FIx;r;C@^I%o z;=tzA_^k*l1DZVo_BQXrY5(~~UOs&s_HEDcul2&l41#d1Ut+9K*uEzy;cFR{%{D4q zd;%hH;b9u(4cCMDoC(+!?$-YjUT&8#VeisiJ5+XotY4X)1;?qjxy_x?}DNF*TIP z%TKGaXBZIH5mcfwBoJ`ZYN#g!^mfjKg9FNBz(I&BvEp3HBSOP|#cy_s-er^2-N{z# z45)JdIc3Y>I7oIG{oochic>vHI%WQ)*hGqW3H7NY%B!8yZTT(SJczvIMyA`%@Kzsgpq>oo5?xD6->#iq_pAXQ3^~*N!Di3AK z=X2ek0hD>3Sd>7y*ORJD7ZH3jSp?G4og|qece@$Y`AY3|%c;<@vg`+}z*=tvu6#2| zDm8|aRk8>ySG`FWRH%seI9mDr0y7#--WMcRMVL!m*S+PGNjJ}0W*r1;I9v(ws01_F z+xubJ_JMzWj0H_wfFHG~_H<(pZ?XE+xmfyQC-AcnaXIO>Iq@f8A`0h}jV}xzGDvmNE%~ki2rC z*}A!?#{&7<-RINoP#-vI8V%X$WoKb!qUK|-5I+_pQioW`jUBI>GNlwH<2dg(X_(0; zqT5ETz}~a@`Lm`<6+Nn>Ko0=F*|tfn`D{0KVp-l+_0vuzI|b-V^0{jZ)Qnn7;FN{i zP%8Vu>}0@`SvFuTHDQFUI6++o>siA<3W)2ZnEWBFVt~s2QFXvKFEG81l+)J^z2F#j zDgy&u5o!I2lS!C49q#>*&yl5`fmHr#<-$62`BqAd!ct~vSsr0`qLo06IAF+_?m9LH z{tfZ`(BT5a#M}a8``de*M&XvmNTDhs;$8)mas5$^^I3 z{A9mvf;!;Hm0tEc``}D;+u!K>2Q?{Ib)o0X%iKI6p^Ti;p>}HuOq|w4UrLj|3*&$Y zH9H%RXYS~w3co!v$5bW9RC<|#y{!791hFobvYT}m5yc=QtYgw;5M&ZqzA^3s|I6_i z(!ikJc{oe<&c9?EX5Jbk(qBRjV~~>N2Mz$NgMJs$0`(nMSTKAptE$&h6!Ity_wva~ zKU=96SW8S<%@o0<8R?XTj}v6f0EPG{NWEu^&--hgFYj6o`yMFHPbJd*cn)xl*@F%W z!N7_>W}rTyiP9Ef3%18htn|jpZ?W@2d|QXvRE`jP95SK!gc;=v#n=WG1n-S8rcRFQ&@Rai}68yuxNI?K05O-7B@r%TgfbnOAW}HypgZPf=tfl$khwM zZ>o1B5XG7>5;WBm371Wl7A7Z%u8VZvin6zV2ZNSc9M;u6bRAGpu=6dKAcbN?%KSv3 zXNN1Us`VN5zQi69i`tb4S_~aL7)x~U=38Yc81PnG5?+O|Y#z{9k=UT))r8i-)PtU5 z#OUW>3zJiDMCR{`FP58NZ{`l=3PIkms;G&g-Y*}aSTtkKFo&Nwzy~04}?nxC;Xo@rpf2yOY>TC0(k&BZYkd zZ7q*t+RL7fKO$1tX>rU)bhTKT-E)e+C^GtRs$}5Y-LFs%)l5&bdRy#AomFieOJ}pjWo@M+SH1m&5-Hq_SHlh zh9)0kSq2;-*Cbp;&$&go6YSVJ!a)wWg%AALDgss}xCIb?Y#G6V2+YM}c*#Cl2%rA{ zWQUbiH)D#F|D=BTX+b|q$$`>nzBz{7+fD;v_IEz9yF83PQU&h&`nt6(Ck0_i!%Vby zNS6D4-RUyg@8schTVys6;pu<>URKswd1C!^JL!O8yg!^nAwtkmW`dwj@4MF@NP^c< zCRo&)UjF;b{pxWs30~i90Xoud-6mbq?89qSXNpE8_4On3LpM;<4I0RkU~PWiF$)<# zFH7zUGLv*i=jRU*adqGs=kJJbk+b%f|JpQ$>!wH&)?PUl#v6V=vo)OK(peUAO>?zY z?G>VQx~RLCQgc{jltB55#P=-J_wH;n;sZj~r#P#`ZwD~sbPTsS?U@zvdi@YWu2d{I zz*-)H+OOQY3<$?O0uI1H3Kp+d$4@*@7H8{*gEG~eoR^V&rP=yVy{=rd#YSnTtCuxh|snF@DwLnxIiRPP5E{PeEapG8%Zh`MJH3r$WqN-yEN z_Fn=n?)#_)b7Pif6qKkgTnrjS;s!uG8$yDyi-|*>ov*+zNNkurq5TkQ^NbXDnmb6*#!r7<=%!-&T7NNUjS+;e_GvTq3~~66Lx_dZk`g zu6S5#muel8-^3qLzo+VO)H8Tn6jC{JcSPU6^y|sXP#o`>ru>|g*a+$iNClsHLl)K@Q6+M(hm0|nJ!*quj^)?$ zqVW*g7I^n{En}9<$Hoc*9PT`-aTU1_owC+@VQ$OWgsDDI(v>{TaONA`qD(o#C}FlZ zT?*}R&zM)xksPoHh^i?0K`d>`p*=|%1seAH;?+PF&uTb;=w9H=2l^&~uK+$8>xx3n zn;7B!>Y@B75^uoP85bP)>hEWIC|F13S~z*T;o3%5R`a!hAEMYia%6BufF>Q6hm|l{ zhW>5G)j9|@5UX*8qj`ofZ01^eaR2hkW!$6W2F2Qv&6#J~7ZernjH3aqV>5V_=@INu z`7|IS48rdGOy)3o#LVknhCZ82xddZ;;itO5qH4+@tpIf*0LK$mE)@coE6^k!P$R#h zMRJ8gL1f?sQz1F6Lz?OjCM#)ToZZ{|QJ3WFy`$=OrtYtGWbki`jwDoz@1v8*-tr0`8*a`w(*Q5P!|0(5QU9~O@_UdY* z+}^o2Xac?hLZsNH7Twru8(UTy#oQyco=*p12&y=p@Laew3<-q=qmW?7BHG}_-5(CL zy|^ueY*3C_d`lT5jSB?~Aym{((`4h-axM4_1Kw~x7vG%`pY8810M8HFMaX?|2IGNF z{R_*eEzfWF9F=*%H4mdwpJkinH~FoKMGKA#w%H_ITWZ06fm{Tvu79l{U_-&~FA zIKi(LneHF>FL;$tbM*@5Is!8{WyZklETPKc=(C#a)O(Pt!G3}|zbKMqnlYftNq>ly%o#m4_Fi_gV+Y1dURN#q zSmZCrHU#U33@|AwHSxcy@HMs0&uWs7-?c1k!0s7*CVyBSx@(&dQV`mhOG|eWdy{UW zoH{OEzuk&n=(vc@yu5iZ9RFJVb`#Q(DdX;N>yzWtjL&$Nb)1HDI)nPzk|W~mzAFB@ zc+TgXqII41{?Y!$g^P7kU>!I+k<#LW=97Jga-V*30lN_>V7!)Vzv)k0WuaWke3sPK zD(6$u4H%M+ifUt8+5u;ob_2gb^l^>6pRG%ZwJC`T;H z3!ZwpAxJEC{t3Q~30Phda*0OW9g z_ksVFe;$QEq;)j!j^yj`!8@oytJH+_|F=yD_c~tHfAp1L0RW2sm^*`N>e${x6v(E_ zb^f`R{YQ`TKRRY0h8bP&Fb%D{(rLT zp!sIu_fF8i)5sWv1OOhf0083uw1*=NB$SO0Qf@(eZ${nKn^DQ1cUy$|e-(K^{w+-J zI%JEB1$lp*)nfi%9U{;~3)6eR|M{Qz^O8ya6Y#a@Pe42nVKFR7uody$;s0lM0KlKU U{rB>(L)$=Bt@O|$HGf6_4}sS!4*&oF delta 9579 zcmZ8{by!@z_VwWITC`By-L1I0OR*w@yTcTB9o$_?p}0$N_fp*5-3xrY-242V@4fkF zB`Z5Q*^`|)D>>P?flR-FL{XN5g2n~_0PuixtMh6UHb|&9tQCbUfIxW5D7&>`+RcJb zq1Zt>4yy1C0S%ug#h|dmBXOHqw->2~@uU}HUOVJ;G*`F=71BS9Gg+iWE@>4Q$CA-m zq)4dE!sOy8(zWW~u4&!vghHBZYC4@TFhzdqhqQYNKF@N1=!Ds0r3l6t9PC%TH>*|{ za*vXzmgq5+K$P2Fgz3S04neun|GP=}wYCM+VGfIxBH);eA}7p?TTp}zE?R>T#Fy?; zF8G{5Zv8#vd5Rz@hGb2^k&5{@LSVRk1f02Qha_hiYN(j2B^>e1T2&63VNOVS^6+jc zG;WEHM|U*Rz$#C;R~J)WpLPot1OiwDrbTVbVpr68J%xYin4lkzw;2H%Lj>n!QCrIW!v|6)e|-j`aLlzQNK+yMrJH-` z*Kv6mNh`V$An5wZ5}HZkt(yAG_IR~*$4tF)DGlfob7Fj#AAD9`!)eXgP0n@&%10iH zZ7Q|K6r@xpEbw@9P(m&t?&yS5vo(L(hIV5mK3oXi#4do*{(j)A=rUw3dHwgCgYRIT z|Cw{}9qc>S-oZgbya&Mxyd2?s5R?M#Yh=Ny6l@^wcy(iX%T`;gT#!{acn4|R|JHbB(-~-bCR6ZkMCBZ{4m%QFJgv@YZBRT) zDE0;=wkV$Q>|m4dnDJsovC;xnmq*Q?tan|b;aXT;n{7=zB5Lp3P)4>FHQAO<=sM*A zPB|NBQ*8L;pDlVFSb7O;DZXMl72V;jxIa-54BEdJbTl#3 zbQIz$$hx$vaCz`V+q%=y_^w_JEYiFO88yVsvavo`#zZV--Ye6Ml@95b85%Rd_HP=3 z*jL>&mNYIN8V&;@=M(#utm^$b%We1lLP=slX^uS2)^5J%XFi5TzS+2;W9#MfZg&_a zO~t*;B_~5|L;^+`7=uw%34}^cgcQ|L7W2!i-<7iqOCO*1`YT!+%3hE=!d93Vrt!MA zz!RlJV#E@(iqapXwGAg!gX-EMe1w?UGgkCG^aJNlOHnF>*sYV z>Xi`^2pJ?fycGjM=2fp;iB(IvhGU+rQM))n>}5q5vgzO=HQmnI&>^1+tI+5n%3}~& zEs<0j=02u-@3*;Lc-$s<1{4WNOv~4iv zH8Qp_Du;Cp0uz3r=m-|u0WmR=@Pl06wlN7VjCtXh8kC=KjNK| zWFpBEmgQL6iYb&4+AjM|t=0A!#qx~LFPVuZY3)(k3zkxT(9O_XzCt?WtK_$bQXQBYqqhc==Hct`vUo||J&MO>Kdr`wFaU;dtY>5 zN5+?T!igyf;eGMlyU@-ufYEuVK-Nk}T=*}3eiGQWGh7Ik#zYEwL%)%Z)vfZ#H&}q_ zaT#qgf<*i^#E4Hf-Y12WKxgA8-1NN*?+b5~g0(MdyKUdp)z9hOJ@_1m*YmH@8OjvnjUvX`2?Xc+X74grnGui22MmFxwy=hLaA6L&V-8F#@|^xWd~`e>Y&SM^?M z1k+P#o@)rN=EO2&F2uZipjxja$sC+yVjeq5j!o}oc6q_oE7ZFD*>2l^M^U7Zx&{zYw zAs$C>U`qlcN4kt0qS|}n5;y`(W5Tvf@1y9-c}$aY7mfCD3bsyNKy%*8Rp?~KLYC3- zMUT8&45rwV{FR}bc30RGC@8u9t%W`^Ur^Z1O{J1=_oI(cCI~ByJ|{LjSoB#(RqF>Rv`+{V z7j)v!ZR@69qmC(k2a&L-b(y9!AW$O=W^Fu$t!7=uNr?C0eXnCt(R;eWoxFVZ*T|@% z>BY_;T8d_5uDm;Omw&aYdtjRCbW=HZ+UO~KT6Y{^&)c_7Ft2py{rmT7{YojN2bcHP zuxcZiU0_8n{Yn`U7wviEd^4X4m%U@fxZo%(UrM)qzrX}J3KXN(6(leiBDtRGoM&rh zC&j$4Yr@*~%d_8S1iyzdO6NS8`I3+e?=*?PdEJjqG?UDgC z3!q3Vz)27-5&*ohah$r#g&v6}Xb<{{-SDy1cwaH>^ec3Y#>h``)oxC6hE?3*lW6ze zS5t6Bwi~h6_e_>Yw9#hBf(c)igKp+`=-4&h$DYa>!x^Z*5EYY`LRpXNh=JcVMcw&scNak;KH(dzaxEEnA%Yj3NS zl_$sU*cH@3sSf6><2jo}IxHaqMLJ?m@lCPkAN74H_>nY}^jp-bP;4=%pRr#xwtcG8 znUTK>jDl{Yr}{G@z5JOaWvp{#l;&p0V_oG4HX= z#Pv~RtHh*iN6lf>~oZ7KpJrcZ@v|9>4Fht=!XT(j| z#ej~57flpc8QepkH&qubCaj-+pm_f=Kczc1l(99A18`C_2v{(S-2&q+^nQUgjX z@iBE~Eu5F@2uVK(4$bw?2H%)Co2DPEF>i++@vPc_o8XVq=ZoM6BeNH@mirfNBGHd?3)>rCm*&)b@#G;@7%8X-BitmJ6Rax2pez$|2*ThL$p$DL#%$ZWKqYbH_r+yjAr zf`!Zh67G)6nv(P-fh+M|#;w&0HxwGB5@>$@kt|0-4Yz%{{HVi%*D+9vVl8OV((0f) zM<^eLnbm@V!2wN4L#T_Sy4VTI$0?uRzxu|;{Whz8%@>za2?U4Ze^7sWwn!iAP2Lie za@8zBW=JhnnONu#>`RF-In7KDzjcV?mtC2%ON2lW2)b1nAHCwVWM#!8#o^P6hF$zy znPluv6vhB#054N4cS&W|GG&cXXS0A(?j;R7MN_#^OQXjamEG2}{AT%1|_5<8?RekvaqoUgYP|t0~sY_2�H_9P#UirY)uu>_B+mo(A zEo+B*=wW=6vVIjMy^I)1r6=Ma{NE+}O81Pkzclxy+)%SaHCgQXeyCk7xy-v1hCiF> z{P!!@Uf7H5{SA9;)c*0G4ETrt)I0GlK<+=gpYb4*|0rPgkiB;XOdOu@Zdwzb^^U3$ z8Si)=5&4dOk>T%%7*+ZY*49TML!kb%e~RVVLZn9m0FcDMD%qsq(`a}Q(0-{2_c_~; z%!4J6yA&L@I7>zHHO=I5vhMRqgUC{-NIWp3l%W|riR$Wzw9Mdk_RzeTG#wDapt8MV zfI89s)#-AeXAykLiXyX~6EhhvkWh67>%7UVB!!_zq+1|N1xGzI5Vvu&Es~&US2#CL zkQ4I-rn2W=uV9E;Pip{_Adnnak@{Ed&**Cw(VDuh66@0yL~Fdq7MnJIP$wP(?$TJp z;wTBX2S;=7)nMO}f-r2?W6@U4w-~CBHg*ynDUyp$`GQuPren=N*UL!D%&LEB`+14S zXmprZ+Yx98i&iq9Z`{1RNm=Bjrmqh#T?)xODOQKNZkrpyR^s%A|hl8p~)rIMg z+BGhYW=A4VvG)6!Xq>E5r?u)W;*^nt?h*r`m0O;zwm-XVYM5t2^p{@jT93=_xze%0 z74{F=LEAANL4q+WWX>(NvPcPk-kyDUV0+QzR+Yt37mOj2N+ z+iy(4G0Z~*Pu)tO<{I|rOrn9?z>^`{oO@flv8SCA?}11MJ9%{rd0scmjhQiXiHLqe zo$ks(mWQI~ZP=c}+tXU-f#;gS&)XBskV+m`)DO~0@wOkCe#Ms^)Yyj8>){BC?6F4> zyWwV68!0Ti3mI2cuZ;^)95%u4E-z{cY4N~jw7ZzbdemZozI))A&;=77C&2jsFsR!j zNu(RLjm6%4#7PjT zMERn=r9_bpO7L{*bg7`4>vTt`x}wQ6K^wr&R4DhM*QnJfF&EM(&>8#QmsDQn605;6ANQywH|2ZbTa7yF)0eY%>`EA61R6>m@w1Bi zj}*a%pS|u@<2l}SGA=~sk8I^n+@2=wo;ELgyHs+4+!gQkb*)byk4OxT80i)YtP7ft z=DDp});=*Pli=NEI~rT+=%;#_>I2TN*qQwL`(knMWO4DV7<*3f@si{Ff^E6_VMO}h zDkhrlOSS^8HsWU11r8WGN+2M<(n>&*BfS7qxk`RW<5>G6tIRF$&8}F;$o3+XCcf-0 zc>e?)AEu9%FC=|G&N3)7kxXW|Z(^#Um#fdHp)V(#NZumts^lC?bmcc*hEGFp`OCAQ zQMrDWW8kQUGFItS)=)#QP*K~l$k;lKOgUERGGjGd8AV;i7iX}8wX>k%*PdbEI-J>b z$=cV=m4@3q=b`mNJ~&%~QqE2$VJQ!WAvp*Ajx*D10LPV&~e9UKxNn%S60=6IWX!dTvu?@hTrP6R<5K(bc z=4H3oCDhFKxh@+Re6kz$+^%t^?v+VYG{jN(X)@`0QPh)3oVaJ~5k04NjM&+<`H=;}$oaClgJujbfwUnWQ8N6ZGI;H9M-~#Ebb8T_IbpGXjUFgRCP` zgXPy3 z0DHVg6m4f)=IqD&-^Lg_iqHKZyws}R>oLJ%B<6d~1u&3nR?Ij%beW>x0le>|f3QWH z%@iq{GcA6NY&2xAQ_nUAMXy1Skr~&Qzsy_LiFo-vMpIAyv=mBg#Knj!!2s%G>uV+I zCGwZ@ihH-;{$^kKs&1%=Q!hJz24)FZ4r8qL%&JS5SKPR+S*rG#2jbd;IQr^Q%7G(Y z01l`G6SWx?`3Mw=ozDZ_O5vAiS%^ulf1hi~>?-mWly#~qf(A>?u8A8mHVyjcp~NK_ z5?+d{_S50+ScT#+lBh?(`ImFl%dY8?5~blI>aF!Ixq>To52Os4ZMPcT&(8w~yi> zehfYI;utWrB-5lI;ubC_FbqN$w=-UNViyP966Fi)k4iiAaWG>$p{5&jOymEu(#y&s zLr!;S+ZEK!Wx>sXP7~;>3;m!mR)WG%H49v#VgFviL4aeFKU4<+@;w%`t>3D95LsxG zFyZJlSl&^C)0|dqR~E0KrGcLAO+&8zKn;Oenj@}(z4s2_m(d)-HyoW0s4MT+e%ddS|9dfX_QwRrO6S1 zPe4S%s!*eFwLWr@Vc<_AE@OZ<&X7omCUNPqV=X`S_*4CYr$5S`-FP|03v|&ycmgt6 z>z^S{B%r@-gKaoO|8M%`T*S|`%gRdO?rx_IJ1`AQ-az~?(0)xw(itN&eZRO80|x#P+;eFCG$Ae+?L(NN!qZB z$f4AjN~723K!T+xbed@d$+@>*xdxdye;&+C6MBZ`olStSn;nBv9q{WvU7KAFhX2(zj8&Neo~4?iX$DXptHTHV$yGoIT~j9>19oAMLV7V91n zD)nV1waJ}}&>;qfdDmBAnelWs=*@@o24%Ud&kY*|fGU0$r9NTREI7(#y*cbZi!1y%!5jO&$RUbpdh?YOX_t_X@ja>igyOIRu~| znPLqPxq)o*V&;DIZida0lW%Kl2#9ORT**PRtalhjnZi}OV3LC@i9iIFMHLIy1G1cD zTvo~cAT{fLenDWfw>A82GYaBh&(TBUnbE~Me*t+T5wkh8%H7tI9`3*8+Oab0tX1HE z79T#3NC8?QHCDY(%)u%nV>8v>iHlcLhxAGH7|AhQ0E=r~b#~nvB8|!qC!=>zxTIJuwFY3iodVglR2W)oo1nTmE4mV)VJE2xhhr{%Mg8>SHM8vo) z^y*x^JiOyC^?k1p|5EeH1~-}+1JD4#J?=mHy4EIb4*FeyOJ;BW=U|OKe;FF%A0>{q zjujCI2>{%{0{|bv%4vjP-xhe#n5LfnA`8Cn+0Uxw6oq_BZl^M7I$d3yG6Hx$g+&fB zEP3nr`O#|H=et@l$PLAu2E36=_v5RqKwr@-w|FX}7*9!jlsr#ck#E4!{-BN!<%ppq zH2Z?c-StmcJkd-5%iCYviJRy`wfG42NRpiaAqG&AD5?HCWm67qYhzv@d#IHxbAFrCk`r*I+4MB9Fq5()7jTh`;MmPusF3D!Ko8*#1*KDH>-=DVd5%%7CJl? zo6l>((9WFnIz*F)$JT=f5l;kqDFx>au&Jin>O>P%+3qyWPS(~hXkfMYMAbudRO=nf zPDw%@aKVcDpMG_Na)A=#Tna9is5hmOpjUJF5P5i}J%N)|KB-H4twiUdh1kA@IJRP< zbS3%cm15B*Pl#Houm!K@>$zDTG zPZJHc`#EkHClxm7{N%i#^)J)sjdP|nY;JGJ@+<@c zZe|37q>P({E&Md^xKZKI(MRkw_c#Wg(9sv{H0QWcfzP|A6t&el%&)zFVg4P}uT*e( zL~w6$N(}(u1HjcS1fUgNJ@-XPbicEo>*w?M)#dGXJmWeL{nzv1;el!;C1|4X`P#`m z(p-*yz7~B7`s&WWBV0j-X*PEL6s21JRzBamXEFxChXRVQf<`l&Jg1@9wkACBz{Z_{ zI>Y!KcMIVxKh*p$0*bmS!a`4F>U__W&%55h121f}wN|v3B~Z=GNPMCk_*KspU59B_ zlv{@CD|c6qDZcn!vf9K9VOmBZ?qD7FNT%{0bim-zbWmxMB{NF)U)sGTCww%>36v3w z`#P_7Nxu)?c8E-A;JeKMyZw|2KdmV3{lXym0%%TQd==w7;Y+7K49yYVe*00s@IiG} zs0%jZ1S9fZilB+5j|fp;KtPR{4ifLXIY&%}gT*5%yXk#w;W6j`i__XL7Mj9=zA*J+epA%0D(IXyFh`Y3Wf_g)md7WR;S%m$xrTk zcqYL+;H8t@5+x6JbIHtq0ljd%|5uqtBU{YL}rl^(G=%?+*LwZPM45=;eLn&a* z%b_gQ*byCuo}XSyQ)ll*PxFy~`5d&7oMQk^cLMqMIOTll!B9Wpiy2oGn^A@(N$4fy zY1rgsOi-p{29A~U)EEcO~cq!1q;&cQ+Ju zKlK2YFcf7oMM!sK$6JPE!fEZMXbFqtrM=zT!a<+<2t8riSjRCi0$30ZA{-m&S6P0* z@z&4=v{8TfGz`lk@|TeV4ifqEZRk=m6rjc^n9>7H$x_{SY6%_)=enV@ zR3l<1Kd4)QvZ?*Hlu0%i4~xX&?8x-MFf$KlY>V^&pikxgP=E15OSHx`OqU`B_uy1o zO$rpwA^-AhhF=3MF5)0y@18Bq+E77+%ad=OT#!ue!&(v#m29SmYGfsqs^@HpHGJL0 z$0Uq!7C+Czr`U$@gmVsS%{hpOY)&GHVC=_3t+3ie?KqC;8SRg}}4)atA_!k#iEYxdy)>Dan}C>ey#}x?k=wYQ4Lhh4m>sGcyrR)@keC=hhKD9k$iy( zg6ER4nD&1;t)@lUks!=JMGg-&0Q+nzNouI{z%UKi>2)|9ZmXlOh9Y7(r}EDwx&Fa0 zNW{f2Bn~!lZY%;Z&b1_4bMv6D%9)~5B|&AQ76$0PJD zK6K9e6u0zhxO{JckQ*CO?0M;nI*py)(@aG6#ricy-EXa&ev$OWX!!=D-_CWp^807A z@w{vM)6VB|!hQa5;qR?wPi#A$_^m*6lrLTwjl7$$mNC2TJX?D%C1QSbNP~C$O@^iB zLPt$9U0w8l2`Ufg>s-xr1t(|9&9k$(=eBfjwH4%_bhsB=_}w}V%=7IB#+A939!KU8 zZY1;!qX|QHz57e><_JH5)|zKX>#qtkv=)i^I}di-U-Gl0x%pd4IMbE?l<(>~{0Ro~ zL+y!j_dhnAWFC3RHP!`QOUQwMJx#eQEAxXAizC}=Gq0A{%|vGdDF$rKInnx^Cx5L#{TKb?^YbWMpH>n@ zN^-bn#5f4#kf6bHsBjwgNl*TLi!Pom0;fAMO(OURXgU9gZ3{mkZ8? z5+Hwz>K$yd4rFEm0kCYTSteK{m-Yc%p}P-UkqX6nj5D_D%U|a|@U!0McMz5Toz-1t zG8sT4YBkUH_QGsD#ilF2-CY};olvVBb2pJWyt{Tt9Tie8doXUgmOy;`z|6KVthelm ztO*ub)9AiwU6GBw7Kb?$ZJa*wEZw}zOSX{hV*AQ^!$cj<+w4%%@tGxF718{Tp5*KS z=eu?z`4dUG3yzxsRh8;hbbavr%;9v29q8=~E5w`3`@cIaVC8C|_p{mfYOeq9O3P%m z2UXPq_^x_Ish}*Fub??QbP!N01IZRAp|GaeE9gTCT(1= zyWWgA-)w2#&Ht|%+`Hjn4dJ_CSVOlS0U-bo`PMn^e+~Zw=kQ<@1bnbyE%LkJ`y~q~ z0N@h>0Px{oJql5P^(YAG|Hm(7Z?5qHpSK3RZ^z4T4|q@i8F?r8XD!|P$d_vgAzkRf zG4xbm(mLdKim8qe(wq_ejgcDde|iM_zg1Z;1WZVmq__cSQImvI`^-_fQ~?H#)t<=zp! z=|6S`O}g*pmL?69e;urYiJC>;YYdwSAxYD~Drscktmgmt`s0oIl>J5#f*rD9!H55) zAKqyA{C{XR4qhe?Tbuv&_FsF2fBm$3#c$0B-nI_d@6q#bq4xjJK`FSZg&y{?>L2d^ E0erX`ssI20 diff --git a/src/verification/unit/Heli_inner_loop_Verify.mdl b/src/verification/unit/Heli_inner_loop_Verify.mdl index 0652aba..e457f0a 100644 --- a/src/verification/unit/Heli_inner_loop_Verify.mdl +++ b/src/verification/unit/Heli_inner_loop_Verify.mdl @@ -34,7 +34,7 @@ Model { } NumRootOutports 0 ParameterArgumentNames "" - ComputedModelVersion "1.6" + ComputedModelVersion "1.7" NumModelReferences 2 ModelReference { ModelRefBlockPath "Heli_inner_loop_Verify/Verification Subsystem/Original Model|Heli_inner_loop_Original" @@ -196,9 +196,9 @@ Model { ModifiedByFormat "%" LastModifiedBy "super" ModifiedDateFormat "%" - LastModifiedDate "Thu Jul 16 14:29:43 2020" - RTWModifiedTimeStamp 516810583 - ModelVersionFormat "1.%" + LastModifiedDate "Thu Jul 16 15:44:31 2020" + RTWModifiedTimeStamp 516815069 + ModelVersionFormat "1.%" SampleTimeColors off SampleTimeAnnotations off LibraryLinkDisplay "disabled" @@ -1035,7 +1035,7 @@ Model { Components [] Name "Design Verifier" DVMode "PropertyProving" - DVMaxProcessTime 3600 + DVMaxProcessTime 1000000 DVDisplayUnsatisfiableObjectives off DVAutomaticStubbing on DVUseParallel off -- GitLab