1                                    $  '  L L $  . .  2 2  6   ; ; L A ; ;    A   h  q h h h  h r q  x  x    r L x    L   !" h#$ !% & ' ( ) * x+ ,-./ 0 1234 5 67 8 9 : ; < x= >- ? @ AB CD LEFG HIJKLMNOPQRS TUVWXYZ[\]^_`a b xcdefgh i  j k l  mn qo p- q  qm qr qs tu qv qw xyz {|} ~ q  xm q x xr xv '  $   $ t   : $ 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/fsm/kernel/FSMActor; innerEntityLptolemy/kernel/Entity;itLjava/util/Iterator;iIoriginalCompositeActorLptolemy/actor/CompositeActor;listLjava/util/ArrayList;LocalVariableTypeTable; ExceptionsgenerateREDDescription 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;isValidModelForVerification!(Lptolemy/actor/CompositeActor;)ZdirectorLptolemy/actor/Director;_decideGuardSignalVariableSet:(Lptolemy/domains/fsm/kernel/FSMActor;)Ljava/util/HashSet;e,Lptolemy/kernel/util/IllegalActionException;sigs[Ljava/lang/String;subGuardConditioncharacterOfSubGuardbZguardSplitExpression transition'Lptolemy/domains/fsm/kernel/Transition;destinationInThis"Lptolemy/domains/fsm/kernel/State; hasAnnotationtextguarditeratoroutPortLptolemy/kernel/ComponentPort; transitionsactorreturnVariableSetstateSetfrontier stateInThisname7Ljava/util/HashSet;ILjava/util/HashMap;N(Lptolemy/domains/fsm/kernel/FSMActor;)Ljava/util/HashSet;_decideSynchronizerVariableSet,(Lptolemy/kernel/Entity;)Ljava/util/HashSet;entity@(Lptolemy/kernel/Entity;)Ljava/util/HashSet;_decideVariableSet;(Lptolemy/domains/fsm/kernel/FSMActor;I)Ljava/util/HashSet;exLjava/lang/Exception; newVariable5Lptolemy/verification/kernel/REDUtility$VariableInfo;numberRetrivalvariablerValueisTruelValue characterssplitExpression expression lowerBound upperBound variableNamepropertyinitialValueExist propertyList variableInfo lbOriginal ubOriginallbNewubNewvalName individualnumSpaninitialValueIterator itVariableSetO(Lptolemy/domains/fsm/kernel/FSMActor;I)Ljava/util/HashSet;_enumerateStateSet exceptionreturnStateSet^(Lptolemy/domains/fsm/kernel/FSMActor;)Ljava/util/HashSet;_enumerateString-(ILjava/util/ArrayList;)Ljava/util/ArrayList;tempi$indexparaEnumerateStringreturnEnumerateStringU(ILjava/util/ArrayList;)Ljava/util/ArrayList;_generateTransition(Lptolemy/domains/fsm/kernel/FSMActor;Lptolemy/domains/fsm/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;(Lptolemy/domains/fsm/kernel/FSMActor;Lptolemy/domains/fsm/kernel/State;Ljava/util/HashSet;Ljava/util/HashSet;)Ljava/util/ArrayList;_retrieveVariableInitialValueM(Lptolemy/domains/fsm/kernel/FSMActor;Ljava/util/HashSet;)Ljava/util/HashMap; attribute returnMap9Ljava/util/HashMap;(Lptolemy/domains/fsm/kernel/FSMActor;Ljava/util/HashSet;)Ljava/util/HashMap;/_rewriteModalModelWithStateRefinementToFSMActorM(Lptolemy/domains/fsm/modal/ModalModel;)Lptolemy/domains/fsm/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/fsm/modal/ModalModel;returnFSMActorstates Transitions(_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_translateFSMActorw(Lptolemy/domains/fsm/kernel/FSMActor;ILjava/util/HashSet;)Lptolemy/verification/kernel/REDUtility$REDSingleEntityBean;nameInitialBean variablestransitionListWithinStatemoduleNameInitialStateguardSignalSetinitialValueSet8Ljava/util/Iterator;(Lptolemy/domains/fsm/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 java/util/ArrayList F    ptolemy/kernel/Entity$ptolemy/domains/fsm/modal/ModalModel QR    !java/lang/StringBuffer " java/util/HashSet #ptolemy/domains/fsm/kernel/FSMActor  #$ %& '$ () *) +) ,$ -.;ptolemy/verification/lib/BoundedBufferNondeterministicDelay /01 2ptolemy/kernel/Port 34 54 67 80 rs0ptolemy/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. %9java/lang/StringBuilderProcess %: ;<: ?ptolemy/verification/kernel/REDUtility$REDModuleNameInitialBean => ?4 */ %@ 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  A>[] && t[ ] == 0 &&  &&  == 0 &&  == 0 ;  /*Specification */ Bs/* 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. */ /**/ CD$ptolemy/domains/de/kernel/DEDirectorjava/util/HashMap EF GH I JKL M ptolemy/domains/fsm/kernel/State*ptolemy/kernel/util/IllegalActionExceptionInternal error, removing "" returned null? NO P%ptolemy/domains/fsm/kernel/Transition QF R STU V4!Exception evaluating annotation: W4 X Y4true Zptolemy/actor/IOPort(&&) [\(>=)|(<=)|(==)|(!=)|[><] .*_isPresent] ^_ _isPresentND_TokenConsume java/lang/Exception^-?\d+$` ab  M3ptolemy/verification/kernel/REDUtility$VariableInfo ?< c de fg he ig jkl m4;= nop q4 )REDUtility._decideVariableSet() clashes: )REDUtility._EnumerateStateSet() clashes: 01 +,8ptolemy/verification/kernel/REDUtility$REDTransitionBean r st_State_ uvw xt yt ?ND_ ?ND_ z{?ND_.*==.*_ == |} != .*!=.*.*<=.* <=  > .*>=.* >=  < .*>.*.*<.*\REDUtility._generateTransition() clashes: Currently verification only support simple guards. ~t = .*\*.*\* * .*/.*[/] / .*\+.*\+ + .*\-.*\- -  F !Tokenfalse(;)! !     "ptolemy/kernel/util/NamedObj     "   $We might not be able to deal with it "- 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 R# (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 '  KL:.. 34 when  (t>=0) may  t=0; goto  ;  && t>=0) may 7?&& 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$1,ptolemy/kernel/util/NameDuplicationException$java/lang/CloneNotSupportedExceptionBptolemy/verification/kernel/MathematicalModelConverter$FormulaTypeptolemy/actor/CompositeActor()Ljava/util/List;java/util/Listsize()I()Ljava/util/Iterator;java/util/IteratorhasNext()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/fsm/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; outgoingPortptolemy/kernel/ComponentPortlinkedRelationListdestinationStatecontains 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 setActions3Lptolemy/domains/fsm/kernel/CommitActionsAttribute;1ptolemy/domains/fsm/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; outputActions3Lptolemy/domains/fsm/kernel/OutputActionsAttribute;1ptolemy/domains/fsm/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/fsm/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* ln  wYL*E*M,2, N- - :*- W+ W=+*+W*:|~'18ALSV`ou>A1"8Xwo or B &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 PlQ:W :SL: ;Y<>M>D:W;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_ku '1AKUe p { !#%&)*,/13"508;9F:Q<[=e>uACDFHJKORSVWY\^`!a$b6e@fOhekhmlooq}tuvwxy|~*@CGJM_ix '*<FUknru FLY &2<Y s v ~ !>$A&I)c.k/x0/56 ;5 A? H@ RA ^B }C E F G H I K M P Q R V #[I(!kAx'TK0?-0[mIO $6}tI*x M_tIU*<t>'@IOO2AZAZ-Fnbn ^ K & & & & &   ' 0  ;  D  M  V  _  H !x'TK0[mIII>ZZ0  D  M  V  _  H r P*fL+ggh ik  һYLYMhYiN*j:k:-lW-m-no:L:-pq:$rY;Y<s>>t>Duv:w:6x:  y: , z- k lW, W6  {|: : ;Y<}> ~>D:  *6  :   * *+26*+*W+ l :]6R2*::2*6%2*:+2z +2WƧa+r1|}%.5@LW\} *;QWYajp{ -*?6(sWj`$      @I=%*@r YL*YMhYiN*j:k:-lW-m-no:L:-pq:$rY;Y<s>>t>Duv:w:tx:  y: , z- k lW, W6  {|: : ;Y<}> ~>D:  *6  :   *  :62*::2*62*:+2z +2W+;Y<>2>Dz+;Y<>2>DW+;Y<>2>>Dz#+;Y<>2>>DW2#*2M*23&N-/-'(:*23)*+M:*24&:1'(:*24)*+:+W+,WW*6PM*67&N-/-'(:*67)*+M+,W+r:N(/8?JVaf    "#'$/(8)>*I+S/\3j5p6~;<>ADF *NOQ"R$S4V=WKY`[c]f_i`la}degikmnopqruvx z |~. ~S\jA8b [ < 2  J{(/K$4lV}EK;*Jr   =YMYNhYi:hYi*j:k:lWmno:L:pq:$rY;Y<s>>t>Duv:w:   x:  y: - z k lW- W6  {|: :;Y<}>~>D:  *6  :(* :62*::2*6:62*::66,2*W2*:*Y:2*lWQWW2*pW2*lW :*:62:2*:2*2*6:%Y:lWGWWpWlWEt 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,rjz}*#)0:BNZfk-5>DOYbpy|   !/?E(O)a+j,u-./0268:=?ABEFIJ%,+S.U1W>YHZT[^\a^d_g`jbzf}degkmpstuwy|}*/?ISaoz 4    z |YbpG>   xk mjv o O E ON   . $Td g j X IG S= a/ o!   ! *" #)0>{$%>N>{$%r& ' ƻYLhYiM*jN-k:,-lW+-W,mu,no:L:,pqN-v:w:5x:y: + z, k lW+ Wǧ"MrY;Y<>,>Du+b#)0;GQWcmyp y# ;dWHc<( ) ;d)r* +,dYM++N-C-L:,;Y<>>D W,;Y<>>D Wd, '@\4'2-I.d/d0\1d0\12 34 tY:*:: d :q MS+k+ >qv:w:    x:  y: Y: Y:  ;Y<*>> k>D:W6 {|::;Y<}>~>D:*6 : :*+ :Wxs*f^:O6D2*::2*:2*62*: +% ;Y<>2>D:W" ;Y<>2>D:W LY;Y<>2*>DW 2Wy6:2*::6\G +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W LY;Y<*>>>>>D W +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W LY;Y<*>>>>>D W +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W LY;Y<*>>>>>D W/ +4 ;Y<*>>>ö>>D:W6 ;Y<[>*>>>ö>>D:W LY;Y<*>>>Ķ>>D Wy +4 ;Y<*>>>>>D:W6 ;Y<[>*>>>>>D:W LY;Y<*>>>>>D W +4 ;Y<*>>>Ķ>>D:W6 ;Y<[>*>>>Ķ>>D:W LY;Y<*>>>ö>>D W rYǷu :C*6:6"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*:: zǻY:W;Y<*>> ׶k>D:W;Y<ض>*>>D:WLY;Y<>>D**W*+ٶ:W* W*ڶ:6u2:2*:-zP +# ;Y<۶>>D:W  ;Y<ܶ>>D:W Wާ66ޙ6  +, L:W;;Y<[> L>D:W o<r&)R ".6EO[eqx!$'+(),-BDMQS0T8WAZG[R]\eehnj|mrtvy| &)+.4?IY@s)ak {'!+1/b7@IMQYKcn[wz}2;EN  s    ! K p             " 2 R o u }    " # & ( * '. _' e" k q915+  s6p\1e(n|JIARNS7S7 S7S7 '* 89 : `; W z <q  x  9 =    >?@O 1[ % . R A B  t tC tD t kE eFG \4 = @H tD t kEIrJ KLO ghYiM+N-R-L::6:*::6d2::,lW,*:=FQR ST!U$V'W*Y:]=[?\B^H_UaYhbiej\ ?  !AM$>';*8ggD_N Z gD_NO ZP QRM*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*>D(o 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*>>*>> >D;,n#,7?LQ[ekt~#-W]s}  "* `gju *.012345679<?BH U+V5WAXIYL[V\`bgcndxiklmnopsvwxyz{} (-39@Gq~GNQX_intz!+7?ry|   6 9 < ? B I O V \ ` h     ! " % ' * , - . / 1 2? :F =I >T @^ Aj Cr D F J L M N O P Q R S X [ \H[)S)S-VS hTU "EVUEVUUWX @Y 6Z ,[ \ ] ^&_`a`bnc "deLfLg7CU%VU %VU \ ] ^ Z_` Sa`(I[%VUHVUDhe '\ $] !^ Xp_`_ia`i_[7BVU%VU\ ]!^j_`ca`Y[.TU Gb ^de BVUjVU[\]^Z_`Sa`+TUDb ?ie Bhe `j AXVY`Zgkfnlf mno#p+qr rs *J*6 Y :;Y< >* *> >)?>C>D:WAY:* *WY;Y<* *>>D:6  :W WW6  4;Y<* *>> ?>DW ˻Y:   W : ";Y<>* *>>D:W :   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@3 y { ~' ] g t    @ ]            B E H U     x }           8 itutulvu awVxSy]z G.  {|  }~'gv    r *'J*(6 Y :;Y< >*)*> >)?>C>D:WAY:*)*WY;Y<*)*>>D:6  :W WW6  4;Y<*)*>> ?>DW ˻Y:   W : ";Y<>*)*>>D:W :   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^3   ' ] g !t # % & % ( ) 5 6 5 A B C F@ H] J M O P Q S T U c d f gB mE nH sU u {   Z _ i  T        8 itutuNvu Cw8x5y]z G. {}~'gX    r  *+I*,-:*.9/:0+1+c2+ Y :;Y< >*3*>4>(l?>C>D:W;Y<*3*>5>DW";Y<>*3*>>D:W";Y<>*3*>6>*3*>7>D:W";Y<>+*>>*3*>8>*3*>9>*3*>:>C>D:W"&:W";Y<>*3*>;>*3*><>*3*>=>D:W";Y<>+*>>*3*>>>*3*>?>*3*>@>D:W"&:WAY:  *3*W ;Y<*3*>A>DW W Y :;Y< >*3*>4>(l?>B>D:W;Y< >*3*>C>/>C>D:W;Y<*3*>5>DW;Y<*3*>D>DW";Y<E>*3*>>D:W";Y<>*3*>6>*3*>F>*3*>G>*3*>H>I>D:W";Y<>+*>>*3*>8>*3*>9>*3*>J>D:W"&:W";Y<>*3*>;>*3*><>*3*>K>*3*>G>*3*>H>I>D:W";Y<>+*>>*3*>>>*3*>?>*3*>L>D:W";Y<M>*3*>N>*3*>O>*3*>P>D:W"&:W";Y<>*3*>Q>D:W"&:WAY:  *3*W ;Y<*3*>A>DW W2+ Y :;Y< >*3*>4>(l?>B>D:W;Y< >*3*>R>S>C>D:W;Y<T>*3*>U>V>>>D:W;Y<*3*>5>DW";Y<E>*3*>>D:W";Y<>*3*>6>*3*>7>D:W";Y<>+*>>*3*>W>*3*>X>*3*>Y>Z>*3*>[>*3*>\>*3*>]>^>*3*>J>D:W";Y<_>*3*>`>*3*>a>*3*>P>D:W"&:W";Y<>*3*>;>*3*><>*3*>K>I>D:W";Y<>+*>>*3*>>>*3*>b>*3*>X>*3*>Y>Z>*3*>[>*3*>\>*3*>]>B>D:W";Y<_>*3*>`>*3*>a>*3*>P>D:W"&:W";Y<>*3*>Q>D:W"&:WAY:  *3*W ;Y<*3*>A>DW W!;Y<*3*>c>>DW Y :;Y< >*3*>4>(l?>B>D:W;Y< >*3*>R>S>C>D:W;Y< >*3*>C>/>C>D:W;Y<T>*3*>U>V>>>D:W;Y<*3*>5>DW;Y<*3*>D>DW";Y<E>*3*>>D:W";Y<>*3*>6>*3*><>*3*>K>I>D:W";Y<>+*>>*3*>W>*3*>X>*3*>Y>Z>*3*>[>*3*>\>*3*>d>*3*>J>D:W";Y<_>*3*>`>*3*>a>*3*>P>D:W";Y<M>*3*>N>*3*>O>*3*>P>D:W"&:W";Y<>*3*>;>*3*><>*3*>K>I>D:W";Y<>+*>>*3*>>>*3*>b>*3*>X>*3*>Y>Z>*3*>[>*3*>\>*3*>]>B>D:W";Y<_>*3*>`>*3*>a>*3*>P>D:W";Y<M>*3*>N>*3*>O>*3*>P>D:W"&:W";Y<>*3*>Q>D:W"&:WAY:  *3*W ;Y<*3*>A>DW W!;Y<*3*>c>>DWjZ   , 3 I T ^  v   ! - 7 D d l o y    . W      "& &2 '[ )g +q ,~ - 0 2 : ; < ?- Bg E G I L W \ ^2 b k  p ) q R s ^ u h v u w z |  A w o T , 8 a m w     ^78 y0q8   h` w` ~,~3r ? U Y N-";Y<>**>>D:WAY:*W;Y<*>>*jk*>e>DW-W*f::|L:AY:;Y<**>g>*>DW;Y<**>g>*>h>DW- W-";Y<>**>g>*>h>i>D:W-";Y<>*>j>*>k>D:W-";Y<>*>l>**>g>*>m>N>D:W-"n:W-";Y<>**>g>*>m>o>D:W-";Y<p>*>q>**>g>*>h>N>D:W-";Y<r>*>k>D:W-";Y<s>**>g>*>h>t>D:W-";Y<u>*>v>**>g>*>h>>D:W-"n:W:*w::: *x:*y: :   L:  :    -;Y<T>**>> >z> >{> >>D:W-!;Y<**>> >>  L>>DW=:   J q: *j -";Y<>**>> k*>e>i>D:W* ,|:  :  = :ݚ&ȶ*+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-"n:W-";Y<>**>> k*>i>D:W* ,|:  :  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-"n:W-r 1 ; E t {   D x    $Q 'w * L Q R Y Z ^ _ b! c) e. g5 h? iK jX l] mm o s {    ! _ j        1 4 J     ( 2 A     ` s ~      V        3  F ! Q " [ # j % + , . ) 4 = ? B C D E * K - L C N T ^  a  b  c ' d  j k m s E } P ~ S `#j5`K X" 5 X5t@AY5(u@X5~t@+9qD. jV jX5 Qt@ X5 t@ 'X5 t@ "9 ;.  8C M U U U L;    G >D ;  S 5 t@H(u@H~t@HjVI Qt@H t@H t@H MI U   G >D ;O  S r *9 Y :;Y< >**> >?>C>D:WAY:**WY;Y<**>>D:6  :W WW6  4;Y<**>> ?>DW ̻Y:   W : ";Y<>**>>D:W :   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^2   P Z g  0 M            2 5 8 EJOY| ()+0157 7 itutuNvu Cw8x5yMz 7. {}~ZU    r2 A    @