2                             $  '  L L $  . .  2 2  6   ; ; L A ; ;     A      h  q h h h   h!"#$% r q& '() x* + x, -./ r0 L1 x23 4 5 6 L789 :;<=>? @AB CD hEF CG H I J K L xM NOPQ R STUV 0WXY Z [ \ ] ^ x_ `O a b cd efghi jklmnopqrstu vwxyz{|}~  x  1      q O   q q q  q q      x q x x x '  $   $   \ $ A\ A A  L L L . . . 6 6  6 L 6 L           ! L"#$%&'()*+ 2, 2-./ InnerClassesREDTransitionBeanREDModuleNameInitialBeanREDSingleEntityBean VariableInfo _variableInfoLjava/util/HashMap; Signature\Ljava/util/HashMap;()VCodeLineNumberTableLocalVariableTablethis(Lptolemy/verification/kernel/REDUtility;(generateEquivalentSystemWithoutHierarchy>(Lptolemy/actor/CompositeActor;)Lptolemy/actor/CompositeActor;newActor'Lptolemy/domains/modal/kernel/FSMActor; innerEntityLptolemy/kernel/Entity;itLjava/util/Iterator;iIoriginalCompositeActorLptolemy/actor/CompositeActor;listLjava/util/ArrayList;LocalVariableTypeTable>Ljava/util/ArrayList; StackMapTable0 Exceptions12generateREDDescription4 FormulaType(Lptolemy/actor/CompositeActor;Ljava/lang/String;Lptolemy/verification/kernel/MathematicalModelConverter$FormulaType;II)Ljava/lang/StringBuffer;setOfSynchronizesLjava/util/HashSet;actorsbean;(Ljava/util/Iterator;WLjava/util/Iterator;)Ljava/util/ArrayList;XLjava/util/ArrayList;54isValidModelForVerification!(Lptolemy/actor/CompositeActor;)ZdirectorLptolemy/actor/Director;6_decideGuardSignalVariableSet<(Lptolemy/domains/modal/kernel/FSMActor;)Ljava/util/HashSet;e,Lptolemy/kernel/util/IllegalActionException;sigs[Ljava/lang/String;subGuardConditioncharacterOfSubGuardbZelementguardSplitExpression transition)Lptolemy/domains/modal/kernel/Transition;destinationInThis$Lptolemy/domains/modal/kernel/State; hasAnnotationtextguarditeratoroutPortLptolemy/kernel/ComponentPort; transitionsactorreturnVariableSetstateSetfrontier stateInThisname9Ljava/util/HashSet;KLjava/util/HashMap;"7)#P(Lptolemy/domains/modal/kernel/FSMActor;)Ljava/util/HashSet;_decideSynchronizerVariableSet,(Lptolemy/kernel/Entity;)Ljava/util/HashSet;entity@(Lptolemy/kernel/Entity;)Ljava/util/HashSet;_decideVariableSet=(Lptolemy/domains/modal/kernel/FSMActor;I)Ljava/util/HashSet;exLjava/lang/Exception; newVariable5Lptolemy/verification/kernel/REDUtility$VariableInfo;numberRetrievalvariablerValueisTruelValue characterssplitExpression expression lowerBound upperBound variableNamepropertyinitialValueExist propertyList variableInfo lbOriginal ubOriginallbNewubNewvalName individualnumSpaninitialValueIterator itVariableSetAFQ(Lptolemy/domains/modal/kernel/FSMActor;I)Ljava/util/HashSet;_enumerateStateSet exceptionreturnStateSetb(Lptolemy/domains/modal/kernel/FSMActor;)Ljava/util/HashSet;_enumerateString-(ILjava/util/ArrayList;)Ljava/util/ArrayList;tempindexparaEnumerateStringreturnEnumerateStringU(ILjava/util/ArrayList;)Ljava/util/ArrayList;_generateTransition(Lptolemy/domains/modal/kernel/FSMActor;Lptolemy/domains/modal/kernel/State;Ljava/util/HashSet;Ljava/util/HashSet;)Ljava/util/ArrayList; signalNameparserValueOperendsnewBean:Lptolemy/verification/kernel/REDUtility$REDTransitionBean;signalcharacterOfSubOutputoutputActionSplitExpressionusedSignalInTransition outputActionsetActionExpressionit2kjstate variableSet returnList entityListLjava/util/List;,Ljava/util/Iterator;QLjava/util/ArrayList;8[(Lptolemy/domains/modal/kernel/FSMActor;Lptolemy/domains/modal/kernel/State;Ljava/util/HashSet;Ljava/util/HashSet;)Ljava/util/ArrayList;_retrieveVariableInitialValueO(Lptolemy/domains/modal/kernel/FSMActor;Ljava/util/HashSet;)Ljava/util/HashMap; attribute returnMap9Ljava/util/HashMap;(Lptolemy/domains/modal/kernel/FSMActor;Ljava/util/HashSet;)Ljava/util/HashMap;/_rewriteModalModelWithStateRefinementToFSMActorQ(Lptolemy/domains/modal/modal/ModalModel;)Lptolemy/domains/modal/kernel/FSMActor;newState innerStateLptolemy/kernel/util/NamedObj;cStateinnerTransitionLptolemy/kernel/Relation;source destination newTransitionreturnFSMActorStatessCorrespondingdCorrespondingsLptolemy/kernel/Port;d innerStatesinnerTransitions innerActorLptolemy/actor/TypedActor;ptolemy/actor/TypedActor;refinementList dInnerActor sInnerActor newDestNamesActorsdActors modalmodel(Lptolemy/domains/modal/modal/ModalModel;returnFSMActorstates Transitionsy9(_translateBBNondeterministicDelayedActor(Lptolemy/verification/lib/BoundedBufferNondeterministicDelay;Ljava/lang/String;Ljava/lang/String;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;newStateContent[C charContentStateClockConstraintStateTransitionCondition clockAssignedcontent delayedActor=Lptolemy/verification/lib/BoundedBufferNondeterministicDelay;delayD bufferSize innerBeanALptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean;strinitial stringList_translateBBTimedDelayedActor(Lptolemy/verification/lib/BoundedBufferTimedDelay;Ljava/lang/String;Ljava/lang/String;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;2Lptolemy/verification/lib/BoundedBufferTimedDelay;_translateClockActori(Lptolemy/actor/lib/Clock;Ljava/lang/String;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean; clockActorLptolemy/actor/lib/Clock;periodnumberOfCyclesstopTime sStopTime_translateFSMActory(Lptolemy/domains/modal/kernel/FSMActor;ILjava/util/HashSet;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;nameInitialBean variablestransitionListWithinStatemoduleNameInitialStateguardSignalSetinitialValueSet:Ljava/util/Iterator;(Lptolemy/domains/modal/kernel/FSMActor;ILjava/util/HashSet;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;_translateTimedDelayedActor(Lptolemy/domains/de/lib/TimedDelay;Ljava/lang/String;Ljava/lang/String;I)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;#Lptolemy/domains/de/lib/TimedDelay; SourceFileREDUtility.java DeprecatedRuntimeVisibleAnnotationsLjava/lang/Deprecated; java/util/ArrayList5 W:8 ;< =0 >? @Aptolemy/kernel/Entity&ptolemy/domains/modal/modal/ModalModel de BC DC EFjava/lang/StringBuffer G java/util/HashSet %ptolemy/domains/modal/kernel/FSMActor  HI JK LI MN ON PN QI RS;ptolemy/verification/lib/BoundedBufferNondeterministicDelay TUV W:ptolemy/kernel/Port XY ZY [\ ]U 0ptolemy/verification/lib/BoundedBufferTimedDelay !ptolemy/domains/de/lib/TimedDelay ptolemy/actor/lib/Clock /* This file represents a Communicating Timed Automata (CTA) representation for a model described by Ptolemy II. It is compatible with the format of the tool "Regional Encoding Diagram" (RED 7.0) which is an integrated symbolic TCTL model-checker/simulator. J^java/lang/StringBuilderProcess J_ `a: ?ptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean bc dY */ Je process count = ; global clock java/lang/String, ; local clock t;  global synchronizer N_tick ; J /*State representing buffer overflow. */ mode Buffer_Overflow (true) { } " /*Initial Condition */ initially  fc[] && t[ ] == 0 &&  &&  == 0 &&  == 0 ;  /*Specification */ gs/* In RED 7.0, specification must be placed in separated files. */ /* risk exists i:i>=1, (Buffer_Overflow[i]);*/ E/* In RED 7.0, specification must be placed in separated files. */ /**/ hi$ptolemy/domains/de/kernel/DEDirectorjava/util/HashMap jk lm n? opq Br"ptolemy/domains/modal/kernel/State*ptolemy/kernel/util/IllegalActionExceptionInternal error, removing "" returned null? s7 t:'ptolemy/domains/modal/kernel/Transition uk vC wxy zY!Exception evaluating annotation: {Y |C }Ytrue ~:ptolemy/actor/IOPort(&&) (>=)|(<=)|(==)|(!=)|[><] .*_isPresent  _isPresentND_TokenConsume java/lang/Exception^-?\d+$  Er3ptolemy/verification/kernel/REDUtility$VariableInfo da       Y;=  Y )REDUtility._decideVariableSet() clashes: )REDUtility._EnumerateStateSet() clashes: 01 =>8ptolemy/verification/kernel/REDUtility$REDTransitionBean  _State_    ?ND_ ?ND_ ?ND_.*==.*_ ==  != .*!=.*.*<=.* <=  > .*>=.* >=  < .*>.*.*<.*\REDUtility._generateTransition() clashes: Currently verification only support simple guards.  = .*\*.*\* * .*/.*[/] / .*\+.*\+ + .*\-.*\- -  k !Tokenfalse(;)! !     Gptolemy/kernel/util/NamedObj  A   G <  $We might not be able to deal with it G- :ptolemy/kernel/Relation   =It is currently allowed to have general refinement of states.TREDUtility._rewriteModalModelWithStateRefinementToFSMActor() clashes: actors is nulleREDUtility._rewriteModalModelWithStateRefinementToFSMActor() clashes: Beyond the scope for processing   ptolemy/data/DoubleToken  ptolemy/data/IntToken <:ptolemy/verification/kernel/REDUtility$REDSingleEntityBean#define _DELAY _S  _C /* Process name:  */ mode  (  when ? (true) may  = 0 ; goto `; <=  when ! _DELAY &&  >0) may goto v# (true) may goto Buffer_Overflow;  true ) {  ) { } _DELAY ) may goto    `-1 UNBOUNDEDInfinity_PERIOD _C1_init ( _C1 == 0) { _C1 == 0) may _C1 = 0 ; goto _state;_state (_C1 <=  _PERIOD) { _C1 ==  _PERIOD) may  _C1 = 0 ; _init  _STOP_TIME _C2/* Process name: _C1 == 0_C2 <=  _STOPTIME) {  _state; _PERIOD _C1 = 0 ;  when (_C2 == _STOPTIME) may goto _idle; _idle (true) { _STOP_CYCLE_COUNT `global discrete _Cycle:0.. _C1 == 0 && _Cycle < _STOP_CYCLE_COUNT) may  _C1 = 0 ;  _Cycle =  _Cycle + 1; goto  when ( _Cycle == _STOP_CYCLE_COUNT) may goto  _PERIOD && _Cycle == 0_Cycle + 1; goto _Plum _Port_ _TokenEmpty ( true ) {  !ND_ (true) may ;  (true) may t = 0; goto _TokenOccupied}  ( t==0 ) {  when !ND_ (true) may ; goto  when ?/* when (t>=0) may goto ; */  when ?TokenConsume (t>=0) may goto 9  ^_:.. DE when  (t>=0) may  t=0; goto  ;  && t>=0) may \?&& t>=0 ) may  ; t=0; goto  (t>0) may  t = 0; goto  && t>0) may  t = 0; goto  && t>0 ) may  ; t = 0; goto &ptolemy/verification/kernel/REDUtilityjava/lang/Object(ptolemy/verification/kernel/REDUtility$1java/util/Iterator,ptolemy/kernel/util/NameDuplicationException$java/lang/CloneNotSupportedExceptionBptolemy/verification/kernel/MathematicalModelConverter$FormulaTypeptolemy/actor/CompositeActorptolemy/actor/Directorptolemy/kernel/ComponentPortjava/util/Listptolemy/actor/TypedActor()Ljava/util/List;size()I()Ljava/util/Iterator;hasNext()Znext()Ljava/lang/Object;remove(Ljava/lang/Object;)Zaddget(I)Ljava/lang/Object;(Ljava/lang/String;)V access$000V(Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;)Ljava/lang/StringBuffer;append2(Ljava/lang/StringBuffer;)Ljava/lang/StringBuffer; access$100 access$200Q(Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;)Ljava/util/HashSet; access$300 access$400 access$500 access$600(Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;)Lptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean;outputLptolemy/actor/TypedIOPort;ptolemy/actor/TypedIOPortconnectedPortListgetName()Ljava/lang/String;trimequalsIgnoreCase(Ljava/lang/String;)Zinput,(Ljava/lang/String;)Ljava/lang/StringBuffer;-(Ljava/lang/String;)Ljava/lang/StringBuilder;valueOf(I)Ljava/lang/String; access$700U(Lptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean;)Ljava/lang/String;toString-(Ljava/lang/Object;)Ljava/lang/StringBuilder; access$800Buffer getDirector()Lptolemy/actor/Director;getInitialState&()Lptolemy/domains/modal/kernel/State;put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;isEmptykeySet()Ljava/util/Set; java/util/Set&(Ljava/lang/Object;)Ljava/lang/Object; outgoingPortlinkedRelationListdestinationStatecontains annotation#Lptolemy/data/expr/StringParameter;!ptolemy/data/expr/StringParameter stringValue getMessageequalsgetGuardExpression inputPortListsplit'(Ljava/lang/String;)[Ljava/lang/String;java/util/regex/Patternmatches-(Ljava/lang/String;Ljava/lang/CharSequence;)Zjava/lang/IntegerparseInt(Ljava/lang/String;)IQ(Ljava/lang/String;Ljava/lang/String;Lptolemy/verification/kernel/REDUtility$1;)V access$1000I(Lptolemy/verification/kernel/REDUtility$VariableInfo;)Ljava/lang/String; access$1002[(Lptolemy/verification/kernel/REDUtility$VariableInfo;Ljava/lang/String;)Ljava/lang/String; access$1100 access$1102 setActions5Lptolemy/domains/modal/kernel/CommitActionsAttribute;3ptolemy/domains/modal/kernel/CommitActionsAttribute getExpression getAttribute3(Ljava/lang/String;)Lptolemy/kernel/util/Attribute;ptolemy/kernel/util/Attribute description-(Lptolemy/verification/kernel/REDUtility$1;)V access$1300T(Lptolemy/verification/kernel/REDUtility$REDTransitionBean;)Ljava/lang/StringBuffer; outputActions5Lptolemy/domains/modal/kernel/OutputActionsAttribute;3ptolemy/domains/modal/kernel/OutputActionsAttribute access$1400 access$1500 access$1600O(Lptolemy/verification/kernel/REDUtility$REDTransitionBean;)Ljava/util/HashSet; access$1700Q(Lptolemy/verification/kernel/REDUtility$REDTransitionBean;)Ljava/util/ArrayList; access$1800 access$1902>(Lptolemy/verification/kernel/REDUtility$REDTransitionBean;Z)Z sourceState access$1900=(Lptolemy/verification/kernel/REDUtility$REDTransitionBean;)Z getController)()Lptolemy/domains/modal/kernel/FSMActor; workspace!()Lptolemy/kernel/util/Workspace;"(Lptolemy/kernel/util/Workspace;)VsetNamerefinementName%Lptolemy/kernel/util/StringAttribute;#ptolemy/kernel/util/StringAttributeclone setContainer#(Lptolemy/kernel/CompositeEntity;)VisInitialStateLptolemy/data/expr/Parameter;ptolemy/data/expr/ParametersetToken moveToFirst getRefinement()[Lptolemy/actor/TypedActor;java/lang/SystemoutLjava/io/PrintStream;java/io/PrintStreamprintln relationList incomingPort unlinkAlllink(Lptolemy/kernel/Relation;)V3(Lptolemy/kernel/util/Workspace;)Ljava/lang/Object;(Lptolemy/actor/parameters/PortParameter;&ptolemy/actor/parameters/PortParametergetToken()Lptolemy/data/Token; doubleValue()DintValue access$702g(Lptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean;Ljava/lang/String;)Ljava/lang/String; access$802 access$602(Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;Lptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean;)Lptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean; toCharArray()[C([C)Ljava/lang/String;(Ljava/lang/CharSequence;)Z(D)Ljava/lang/String;&(Ljava/lang/Object;)Ljava/lang/String;endsWith6ptolemy/verification/kernel/MathematicalModelConverter! 3* nA  5wYL*E*M,2, N- - :*- W+ W=+*+W*:~'18ALSV`ou>A1"8Xwo o4r  Y:*:Y:Y:Y: Y: Y: Y: Y: Y::: ::: W:9 : :WW:  W : W!: W "W # Wz$H:$%&:2'(:$%)*+::$,&:2'(:$,)*+:$-:WW # W:  W : W "W!: W-.$:./&:2'(:./)*+::.0&:2'(:.0)*+:.1:WW # W:  W "W!: W2&:23&:2'(:23)*+::24&:2'(:24)*+:25:WW # W:  W "W!: W6:67&:2'(:67)*+:68:WW "W # W:  W!: W9:W6 B;Y<=>`?>@> AB>C>D:W6H;Y<=> ``?>@>AB>C>D:WE:W;Y<FG>D:W;Y<H> `?>I>D:W;Y<FG>D:W lJ:W K:SL: ;Y<>M>D:W;Y<>N>D:WO:W PEQ:W :,L:;Y<>M>D:W:? :(;Y<R>S*>M>D:WT:W;Y< FU>D:WV:W6 [;Y<W> AX>Y>`?>Z>[>\>`?>]>D:W6g;Y<W>AX>Y> ``?>Z>[>\> ``?>]>D:W :1L:;Y<W>>^>D:W K:]L:%;Y<W>>_>D:W";Y<W>>`>D:Wa:W,bc:W!;Y<d>+>e>D:W* '0;DMV_u "'1AFKUY^ep{  "#$&'() +*,.0"205;6F7Q9[:e;u>z?@ACEFGHIHLOPQSTUV XWY[]!^$_,`6b@cJdOeYg_fehhjllon}qrstuvy{|}~~%*4:@CGJMU_isx '*2<FPU_eknru .BFLYi &2<Ysv ~ "!8"<&D'Q(c)x*+('-./13 . - 7 !8 +9 7: V; Y= `> j? v@ A C E H I J K N O SI(!kAx'TK0?-0[mIO $6}tI*x M_tIU*<t>'@IOO2AZ3-FGbn 7 vK        ' 0  ;  D  M  V  _  ! `!x'TK0[mIII>Z30  D  M  V  _  ! `Pk# J  118 11811:1A  HN}<2 B,am7Ar ^*fL+g_` ac  ޻YLYMhYiN*j:k:-lW-m-no:L:-pq:$rY;Y<s>>t>Duv:w:Bx:  y: , z- k lW, W6  {|: : ;Y<}> ~>D:  *6  :   * *+26*+*W+ x :i:66V2:*::2*6%2*:+2z +2WU+r7tuwz{%|.5@LW\} *;=MQWYajp -*?6(Fjl0 )       @UI% *@  .  N8   ()  S   r 'YL*YMhYiN*j:k:-lW-m-no:L:-pq:$rY;Y<s>>t>Duv:w:x:  y: , z- k lW, W6  {|: : ;Y<}> ~>D:  *6  :   *  ::662:*::2*62*:+2z +2W+;Y<>2>Dz+;Y<>2>DW+;Y<>2>>Dz#+;Y<>2>>DW/|*2M*23&N-/-'(:*23)*+M:*24&:1'(:*24)*+:+W+,WW*6PM*67&N-/-'(:*67)*+M+,W+r~_(/8?JVaf   '/8> X!_$c%h(n)q(v*|+,01369; C!D$F.G0H7I@KILRMWN`OfNlPoRrTuUxVWYZ[\]\^`bcdefghjklm nmoqst%v8 _hvX8n g H      J (/ W0@xVEK;'*J   8 N8    S 7A   .0.r  ѻYMYNhYi:hYi*j:k:lWm no:L:pq:$rY;Y<s>>t>Duv:w:   x:  y: - z k lW- W6  {|: :;Y<}>~>D:  *6  :4*' ::662:*::2*6:62*::66,2*W2*:*Y:2*lWQWW2*pW2*lW :*::662::2*:2*2*6:%Y:lWGWWpWlWB\no:L:: 6 : *: : 6    d2: : :  P K C ; 6  6   W    W@,:L:  p:  d \ T 6  6    d`hd6    d`h`6  W W  lW$: rY;Y<> >DuS,rB#)0:BNZfk-5>D^eintw| "&)-47;B GKQ[mv !"!#$'()+,-.023 4 367"8%7):2;=CDFFIHOIVJ`KlLvMyO|PQSTWUVX\^acdefghijlmopuxy){5BGQWaky5z !en|^> xk"#v$  g  ? ([%N  .& $'l(|) * + X, aG- k=. y// !0 51 B2 3)0 V{45>N  V{45':  Q9      4    6`7    0  v  7      "   6R7  7B6 r8 9 ƻYLhYiM*jN-k:,-lW+-W,mu,no:L:,pqN-v:w:5x:y: + z, k lW+ Wǧ"MrY;Y<>,>Du+f#)0;GQWcmyp y# ;dWHc< :; ;d ; 0)  98B6r< =>dYM++KN-C-L:,;Y<>>D W,;Y<>>D Wd," '@Y\*'2?d@dA\BdA\BHC DE `Y:*:: P :q 9S+k+ *qv:w:    x:  y: Y: Y:  ;Y<*>> k>D:W6 {|::;Y<}>~>D:*6 : :*+ :WSN*A9:*:662:*::2*:2*62*: +% ;Y<>2>D:W" ;Y<>2>D:W ;Y<>2*>DW 2WO6:2*::62 +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W ;Y<*>>>>>D Wx +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W ;Y<*>>>>>D W +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W ;Y<*>>>>>D W +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W ;Y<*>>>¶>>D Wk +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W ;Y<*>>>>>D W +4 ;Y<*>>>¶>>D:W6 ;Y<[>*>>>¶>>D:W ;Y<*>>>>>D W rYŷu :O*B::66&2:: 2*::2*B2*: ƻ;Y<*>>>Ƕ>>>D:W2*:bɶ: ƻ;Y<*>>>Ƕ>*>>2*>ʶ>2*>>D:W;b̶: ƻ;Y<*>>>Ƕ>*>>2*>Ͷ>2*>>D:Wb϶: ƻ;Y<*>>>Ƕ>*>>2*>ж>2*>>D:Wi_Ҷ: ƻ;Y<*>>>Ƕ>*>>2*>Ӷ>2*>>D:W*:: zY:W;Y<*>> նk>D:W;Y<ֶ>*>>D:W;Y<>**>DW*+׶:W* W *ض::66y2::2*:-zP +# ;Y<ٶ>>D:W  ;Y<ڶ>>D:W W66ܙ6  +, L:W;;Y<[> L>D:W o<r"+.2  ".6EOT[e q x 134<=@B0C8F<GAIGJaLcMhTlUqWuXzY[Y\abcdehkl kpqr|}"&+.039DNSX^k 7>Pmq~ -JQ[`ekx  'DK]z~$&%,012465< >)=-E:GWF^OhJnXsYx[\^_`abdefgfhijiw"x,y0z5{B|Xgv{*9HVZgkp}`   " . 2 E S W j v z                      > [ a i l o |             0 ; G K Q W ]2}F0IG"F hqz"aA-5SHSHSHpSH"  #6$ IJK `L W" i Mq  x  J N   u kOxPQO [  . > R S r ` `T `U ` WV QWX H4 N QY `U ` WVZ;[Bf [\0 [\z [\. [\6[20J20J20J20J20J20  [\ [\0 [\y [\qhhe [\ [\ \, [\Y [\  [,U7r] ^_ ghYiM+N-R-L::6:*::6d2::,lW,*:=J/0 12!3$4'5*758:;=9?:B<H=U?YFbGeH\ ?!A`$>)';**8+ggU_a Z gU_ab ZA  /  6   c de*LY+޷M,*+N--:qq:9q:,+j W+9q:,+j WYq:@82::z:  qc q:  ;Y<*>> *>D ,+jj   W:  g :  x x:  xy:  x:  ;Y<qk>> >D,:::W:q@qk;Y<qk*>> k*>D+ q:,:W:q@qk;Y<qk*>> k*>D+ q:v::  , W  rYu rYu+::xx:xy:::  ,: : :  7 :  q  qkk*+  q: ,:  7 :  q  qkk*+  q:  v:  :x:,W ;Y<k*>>k*>DU P 2:   rYu,: : :  7 :q qkk*+ q: ,:  Z :qCqk;Y<k*>> jk*>D+ q:  v: :x:,W;Y<k*>>k*>> jk*>D2o j2:  Y :  @ :  q),: :: T :q=qk;Y<k*>> *>D+ q:,:  7 :q qkk*+ q:v::x:,W;Y<k*>> *>>k*>D: : 2 2:   2  2: :  0;Y<k*>> jk*>D:  V :  = :q&+޶x:,:::T:q=qk;Y<k*>>*>D+ q:,:1:qqk + q:v::,W;Y<k*>>*>> >D1,-qrtu#v,w7x?yGzL{Q[ekt~#%-HTW]ksz}  "*/>ANQZ`gjku  & 3+455A6I7L9V:`@gAnBxG|HIJKLMNONQTUVWXYZY[ _abc(d-e3f9g@hGibjniql~rsuz{|}~28AGNQX_intz!+-7?P`clry|'369<?BNT`fjr             ' 7 : C I P S W ^ h j t !| " # $ ( * + , - . / 0 1 2 1 6 9 :H[)f)f-Vf hgh "EihEihUjk @l 6m ,n o p q&rstsunv "wxLyLz7Th%ih %ih o p q Zrs Sts(In%ihHihD{x 'o $p !q Xprs_itsi_n7Bih%iho p!qjrsctsYn.gh Gu ^wx BihtihnopqZrsSts+ghDu ?|x B{x j} AkVl`mg~yny #+T@#  Z6 w U  Z Z/      <   : :c!: ]y   &.  W :p   8A  W 4`    r  *J*6Y:;Y< >* *> >)?>C>D:WAY :* * WY;Y<* *>>D:6  :W WW6  4;Y<* *>> ?>DW ˻Y:   W : ";Y<>* *>>D:W K:   L: ";Y<>* *>> *>>D:W : Y:Y:6 P d6 40{ :1U;Y<>+*>>* *>>?>>* *>>>>D:W6e+I;Y<>* *>>?>>* *> >D:WF;Y<[>* *>>?>>* *> >D:W :0U;Y<>,*>>* *>>?>>* *>>* *>>?>>* *>>>>D:W0  &;Y<>,*>!>D:W*+"":W$";Y<>#>D:W"W"$:W@fY W X Y Z \' ^K _Y ^] ag bt c e f e h i t u v u t    * < @ ] p                 / > B E H O U d u              & 6 G T e t x }               8 il aVS]    'gv     7IyRB  r *%J*&6Y:;Y< >*'*> >)?>C>D:WAY :*'* WY;Y<*'*>>D:6  :W WW6  4;Y<*'*>> ?>DW ˻Y:   W : ";Y<>*'*>>D:W K:   L: ";Y<>*'*>> *>>D:W : Y:Y:6 2 d6 40{ :1U;Y<>+*>>*'*>>?>>*'*>>>>D:W6G+I;Y<>*'*>>?>>*'*> >D:WF;Y<[>*'*>>?>>*'*> >D:W :0U;Y<>,*>>*'*>>?>>*'*>(>*'*>>>>D:W0  &;Y<>,*>!>D:W2*+"":W$";Y<>#>D:W"W"$:W^^W    ' K Y ] g t              #* $< #@ %] 'p ( ' * , - . 0 1 2 @ A C D E F G H/ I> DB JE KH PO QU Rd Su T U S X Z [ \ Y b c d e f g& h6 jG kV dZ l_ mi qy s r 1 z { } ~ }     8 iN C85] 'gX     7IyRB  r  *)I**+:*,9-:.+/+c0+Y:;Y< >*1*>2>(l?>C>D:W;Y<*1*>3>DW";Y<>*1*>>D:W";Y<>*1*>4>*1*>5>D:W";Y<>+*>>*1*>6>*1*>7>*1*>8>C>D:W"$:W";Y<>*1*>9>*1*>:>*1*>;>D:W";Y<>+*>>*1*><>*1*>=>*1*>>>D:W"$:WAY :  *1* W ;Y<*1*>?>DW WY:;Y< >*1*>2>(l?>@>D:W;Y< >*1*>A>->C>D:W;Y<*1*>3>DW;Y<*1*>B>DW";Y<C>*1*>>D:W";Y<>*1*>4>*1*>D>*1*>E>*1*>F>G>D:W";Y<>+*>>*1*>6>*1*>7>*1*>H>D:W"$:W";Y<>*1*>9>*1*>:>*1*>I>*1*>E>*1*>F>G>D:W";Y<>+*>>*1*><>*1*>=>*1*>J>D:W";Y<K>*1*>L>*1*>M>*1*>N>D:W"$:W";Y<>*1*>O>D:W"$:WAY :  *1* W ;Y<*1*>?>DW W0+Y:;Y< >*1*>2>(l?>@>D:W;Y< >*1*>P>Q>C>D:W;Y<R>*1*>S>T>>>D:W;Y<*1*>3>DW";Y<C>*1*>>D:W";Y<>*1*>4>*1*>5>D:W";Y<>+*>>*1*>U>*1*>V>*1*>W>X>*1*>Y>*1*>Z>*1*>[>\>*1*>H>D:W";Y<]>*1*>^>*1*>_>*1*>N>D:W"$:W";Y<>*1*>9>*1*>:>*1*>I>G>D:W";Y<>+*>>*1*><>*1*>`>*1*>V>*1*>W>X>*1*>Y>*1*>Z>*1*>[>@>D:W";Y<]>*1*>^>*1*>_>*1*>N>D:W"$:W";Y<>*1*>O>D:W"$:WAY :  *1* W ;Y<*1*>?>DW W!;Y<*1*>a>>DWY:;Y< >*1*>2>(l?>@>D:W;Y< >*1*>P>Q>C>D:W;Y< >*1*>A>->C>D:W;Y<R>*1*>S>T>>>D:W;Y<*1*>3>DW;Y<*1*>B>DW";Y<C>*1*>>D:W";Y<>*1*>4>*1*>:>*1*>I>G>D:W";Y<>+*>>*1*>U>*1*>V>*1*>W>X>*1*>Y>*1*>Z>*1*>b>*1*>H>D:W";Y<]>*1*>^>*1*>_>*1*>N>D:W";Y<K>*1*>L>*1*>M>*1*>N>D:W"$:W";Y<>*1*>9>*1*>:>*1*>I>G>D:W";Y<>+*>>*1*><>*1*>`>*1*>V>*1*>W>X>*1*>Y>*1*>Z>*1*>[>@>D:W";Y<]>*1*>^>*1*>_>*1*>N>D:W";Y<K>*1*>L>*1*>M>*1*>N>D:W"$:W";Y<>*1*>O>D:W"$:WAY :  *1* W ;Y<*1*>?>DW W!;Y<*1*>a>>DW&    ' , 3 C I T ^ q    . ; K [ r v            ! - 7 D Q ` d l o y          . A S W j z            + ; K [ k            " & 2 E W [ g q ~              ) - @ c g  ! " ! # $ % # & ' ( ), *B ,R -b .x / ' 1 2 3 5 1 6 8 9 : ;. 82 <E =R >b ?r @ A B C D < E F G  I  E  J ) K < L N K R M ^ O h P u Q R Q S U V U W Y Z [ \  Z ]  ^ / _ = ] A ` T a e b s ` w d e d g h j k  j l 3 m C n S o k l o p q r s t u v w x  p y  z . { > } P y T ~ g  w ~  ( 8 H ^ n ~   ( , 8 K ] a m w         ^78 y0q8   h` w` ,3 I%9r M UYN-";Y<>**>>D:WAY :* W;Y<*>>*jk*>c>DW-W*d::|L:AY :;Y<**>e>*>D W;Y<**>e>*>f>DW- W-";Y<>**>e>*>f>g>D:W-";Y<>*>h>*>i>D:W-";Y<>*>j>**>e>*>k>N>D:W-"l:W-";Y<>**>e>*>k>m>D:W-";Y<n>*>o>**>e>*>f>N>D:W-";Y<p>*>i>D:W-";Y<q>**>e>*>f>r>D:W-";Y<s>*>t>**>e>*>f>>D:W-"l:W:*u::: *v:*w: :   L:  :    -;Y<R>**>> >x> >y> >>D:W-!;Y<**>> >>  L>>DW=:   J q: *j -";Y<>**>> k*>c>g>D:W* ,z:  K:  = :ۚ&ƶ*+X*+*:m:-";Y<{>>>*>|>ƶ>}>>~>D:W~*+Q-";Y<{>>|>ƶ>}>>~>D:W-";Y<{>>>>>ƶ>}>>~>D:Wƶ*Y*+*:n:-";Y<{>>>*>|>ƶ>}>>~>D:W*+Q-";Y<{>>|>ƶ>}>>~>D:W-";Y<{>>>>>ƶ>}>>~>D:WU*+*:m:-";Y<{>>>*>|>ƶ>>>~>D:W*+Q-";Y<{>>|>ƶ>>>~>D:W_-";Y<{>>>>>ƶ>>>~>D:W-"l:W-";Y<>**>> k*>g>D:W* ,z:  K:  4 :ƶ*+X*+*:m:-";Y<{>>>*>>ƶ>>>~>D:W}*+Q-";Y<{>>>ƶ>>>~>D:W-";Y<{>>>>>ƶ>>>~>D:Wƶ*X*+*:m:-";Y<{>>>*>>ƶ>>>~>D:W*+Q-";Y<{>>>ƶ>>>~>D:W-";Y<{>>>>>ƶ>>>~>D:WU*+*:m:-";Y<{>>>*>>ƶ>>>~>D:W*+Q-";Y<{>>>ƶ>>>~>D:W_-";Y<{>>>>>ƶ>>>~>D:W-"l:W-  - 1 ; E [ p t {  + @ D e t x         ( 9 M Q w    ! " # ! & ' . / 3 4 7! 8) :. <5 =? >K ?X @] Ag Bm C D E F C G H L G O W X Y Z! [C \[ [_ ^j a d e f g h j k l m o p r t u v- o1 x4 y? zJ |] }n   |           ! ( 2 A T e s v             % 6 G Y ` m s w ~              , = O V i z           - 3 @ F Q [ j }       "  )  < M ^ o                 &  *  - = ! C " V # g $ x & " ( ) * , . ( 2 3  5  6  7 ' 8 : 9 J : X ; i = { 8  > ? @ A B C E A G H I  K , M > G B P E Q P R S SL!jF`K( X2 5 XFtQAYF(uQXF~tQ+JjV jXF QtQ XF tQ 'XF tQ "J 8T M U U U L;    G >U ;  S 5 tQY(uQY~tQYjVZ QtQY tQY tQY MZ U   G  >U ;b  S * )   nN\s`^0t`^s`[ IF\s`^0s`^s`[ r *9Y:;Y< >**> >?>C>D:WAY :** WY;Y<**>>D:6  :W WW6  4;Y<**>> ?>DW ̻Y:   W : ";Y<>**>>D:W K:   L: ";Y<>**>> *>>D:W : Y:Y:6 2 d6 40{ :1U;Y<>+*>>**>>?>>**>>>>D:W6G+I;Y<>**>>?>>**> >D:WF;Y<[>**>>?>>**> >D:W :0U;Y<>,*>>**>>?>>**>(>**>>>>D:W0  &;Y<>,*>!>D:W2*+"":W$";Y<>#>D:W"W"$:W^VU w x z |> }L |P Z g   , 0 M `                  . 2 5 8 ? E T e r              & 7 F J O Y i x |       7 iN C85M ZU     6HyRB  r2 A   3@