/
testDoneParallelTwoLevels.scxml
239 lines (239 loc) · 16.4 KB
/
testDoneParallelTwoLevels.scxml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
<?xml version="1.0" encoding="UTF-8"?>
<scxml datamodel="ecmascript" name="ScxmlTestDoneTwoLevels" version="1.0" xmlns="http://www.w3.org/2005/07/scxml"><!--we test that 'done.state.p1' will be generated
for two levels of nested parallel states-->
<parallel id="p1">
<onentry>
<send delay="1s" event="timeout"/>
</onentry>
<transition event="done.state.p1" target="pass"/>
<transition event="timeout" target="fail"/>
<state id="s2">
<final id="s31"/>
</state>
<parallel id="p2">
<state id="s3">
<final id="s32"/>
</state>
</parallel>
</parallel>
<final id="pass">
<onentry>
<log expr="'pass'" label="Outcome"/>
</onentry>
</final>
<final id="fail">
<onentry>
<log expr="'fail'" label="Outcome"/>
</onentry>
</final>
</scxml><!--VFBGMAdUVHJlZUV4AARMZWZ0AhEDVG9wAhEFV2lkdGgDtAQGSGVpZ2h0A70CCURlc2lnbmluZw
kMR3JpZC5WaXNpYmxlCRFIb3J6U2Nyb2xsQmFyLk1heAOiBBFIb3J6U2Nyb2xsQmFyLk1pbgL/F
khvcnpTY3JvbGxCYXIuUGFnZVNpemUDngQLUGFnZS5IZWlnaHQDIgQKUGFnZS5XaWR0aAOyAw9Q
YWdlLlVzZVByaW50ZXIIFFNlbGVjdGVkLkhhbmRsZUNvbG9yBwhjbFNpbHZlchVTZWxlY3RlZC5
TY3JvbGxUb1ZpZXcIDlNob3dIaW50U2hhcGVzCBFWZXJ0U2Nyb2xsQmFyLk1heAO8AhFWZXJ0U2
Nyb2xsQmFyLk1pbgL6FlZlcnRTY3JvbGxCYXIuUGFnZVNpemUDvQIZVmlldzNET3B0aW9ucy5Ib
3Jpek9mZnNldAJeGFZpZXczRE9wdGlvbnMuVmVydE9mZnNldAIGDVpvb20uUGVuLk1vZGUHCHBt
Tm90WG9yBUFsaWduBwhhbENsaWVudAhUYWJPcmRlcgIDEkFwcGxpY2F0aW9uVmVyc2lvbgYKMi4
yLjQuMTY0Mg1FeHBsaWNpdFdpZHRoAygDDkV4cGxpY2l0SGVpZ2h0A98CAAtUU2N4bWxTaGFwZR
1TY3htbFNoYXBlMV9fNDBFNUFCMUFGOURCRjYxNghBdXRvU2l6ZQgJQmFja0NvbG9yBObm5gAPQ
nJ1c2guQmFja0NvbG9yBObm5gAOSW1hZ2VBbGlnbm1lbnQHCWlhTGVmdFRvcAlSb3VuZFNpemUC
Cg5TaGFkb3cuVmlzaWJsZQgCWDACEAJYMQOMAQJZMAIJAlkxA9UBCEV4cGFuZGVkCQpJbWFnZUl
uZGV4BwZ0aU5vbmUOVGV4dC5WZXJ0QWxpZ24HBnZ0YVRvcAxUZXh0LlN0cmluZ3MBBhZTY3htbF
Rlc3REb25lVHdvTGV2ZWxzAAlTY3htbE5hbWUGFlNjeG1sVGVzdERvbmVUd29MZXZlbHMJRGF0Y
W1vZGVsBgplY21hc2NyaXB0AAANVENvbW1lbnRTaGFwZR9Db21tZW50U2hhcGUxX180MEU1QUIy
RjRBNjI3QUUwDEJvcmRlci5Db2xvcgQgICAAEUltYWdlLlRyYW5zcGFyZW50CQpJbWFnZS5EYXR
hCoIBAAAJVFBuZ0ltYWdliVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAACXBIWX
MAAAsSAAALEgHS3X78AAAABGdBTUEAALGOfPtRkwAAARpJREFUeNpj/P//PwMlgBFkwOF6R5JNs
W3czwg24FCdw3/b3HoGBhEHkgwAWgo2BGJA434Ghp1AA1kZ8GMWBPvwBAdUA5Y1MTIs3wNyEwRH
+jIwLN8GZDNB+SEQA5avZWDYvAloQBOaAQznGFFswO0KoIlMAkAv6KEa4OvACLaVgRlq0yaIzZt
XMzAsWw/krwbxQc5hY9i8WQtoAB+aC27jCQMWoBwzD5AhBsQSYHy4/i1aGExmBNu+fCPE35HhEN
csX8UINmXzZjW4ZgYGcaABZ9Fc8JIRM7RZOKC2isM1IgxYi+aC2YwI/wNtjYwCcTgYli8H+dkFw
5DD9T1oLmAQwWoTJi3C8PHBVYZL8wshBlCclKmSmQbUAABeTofhsq/WBwAAAABJRU5ErkJggg5T
aGFkb3cuVmlzaWJsZQgKRm9udC5Db2xvcgcHY2xHcmVlbgpGb250LlN0eWxlCwZmc0JvbGQACkl
tYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHKVRyZWVFZGl0b3IxLlNjeG1sU2hhcGUxX180MEU1QU
IxQUY5REJGNjE2DFRleHQuU3RyaW5ncwEGLndlIHRlc3QgdGhhdCAnZG9uZS5zdGF0ZS5wMScgd
2lsbCBiZSBnZW5lcmF0ZWQGKGZvciB0d28gbGV2ZWxzIG9mIG5lc3RlZCBwYXJhbGxlbCBzdGF0
ZXMADENsaXBPdXRWYWx1ZQgNQ29tbWVudHMuVGV4dAZYd2UgdGVzdCB0aGF0ICdkb25lLnN0YXR
lLnAxJyB3aWxsIGJlIGdlbmVyYXRlZA0KZm9yIHR3byBsZXZlbHMgb2YgbmVzdGVkIHBhcmFsbG
VsIHN0YXRlcwAADlRQYXJhbGxlbFNoYXBlIFBhcmFsbGVsU2hhcGUxX180MEU1QUIxQUZBREJER
TAyCEF1dG9TaXplCAlCYWNrQ29sb3IE5ubmAA9CcnVzaC5CYWNrQ29sb3IE5ubmAA5JbWFnZUFs
aWdubWVudAcJaWFMZWZ0VG9wCVJvdW5kU2l6ZQIKDlNoYWRvdy5WaXNpYmxlCAtUcmFuc3BhcmV
udAkCWDACIAJYMQN+AQJZMAJLAlkxAycBCEV4cGFuZGVkCQpJbWFnZUluZGV4BwZ0aU5vbmUGUG
FyZW50BylUcmVlRWRpdG9yMS5TY3htbFNoYXBlMV9fNDBFNUFCMUFGOURCRjYxNg5UZXh0LlZlc
nRBbGlnbgcGdnRhVG9wDFRleHQuU3RyaW5ncwEGAnAxAAJJZAYCcDEAABJUT25FbnRyeVN0YXRl
U2hhcGUkT25FbnRyeVN0YXRlU2hhcGUxX180MEU1QUIyRUQ1MENDRThDDEJvcmRlci5Db2xvcgQ
gICAAEUltYWdlLlRyYW5zcGFyZW50CQpJbWFnZS5EYXRhCvwBAAAJVFBuZ0ltYWdliVBORw0KGg
oAAAANSUhEUgAAAA4AAAAOCAYAAAAfSC3RAAAACXBIWXMAAAsSAAALEgHS3X78AAAABGdBTUEAA
LGOfPtRkwAAAZRJREFUeNqdkk1LQkEUht9JS1PCWyC1kFZBEAbXRWSBoLSKNkFpRAuVwF/Quh/S
Rl20adWuVSi0SFqkiARR2qZSy/zIvH5d7zT3cs0wbeEL7xzmMM+ZYc4hlFKMIiKDhJBexg4fW73
MvJpJMIcRQ6h7RGF+QDs4lossL1t5q2MJ0/MmCG0B6fsM0rEnvD7m5AIuVqDcD8bdezv8zAqHTD
GDWkOA0BSU2O600bhrIneTTzDQ1gPXiI/dFFz3rv6BlMjcFkXQmAQhW/fTaxpSQK2DRDwBt7PAF
QZCQqOOltjC+IcW0q0YFa+oSwH1G6TkPz7kkm+poZAsjaSB9qpTblzSaQU0bpLS7tE+l8ymhkJd
Ga5Rrl2ooGmbRGxbq85XUvgX0lQB4wOilXP1qTMe4jNbZoOtRR0rVxkIyTK+ABMl+Itn6ufI7TA
fID61YObzkzXlxn7pP4GpHBLvp7/bwcA5LzgyhojGpOfLBtY3HYUICbomMPnFXEWCSnDlwv0DoM
oSgI9tvSDqyFEGUISfTwaM3Cj6BmO5JfTInnBwAAAAAElFTkSuQmCCDlNoYWRvdy5WaXNpYmxlC
AhFeHBhbmRlZAkKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcsVHJlZUVkaXRvcjEuUGFyYWxs
ZWxTaGFwZTFfXzQwRTVBQjFBRkFEQkRFMDIMVGV4dC5TdHJpbmdzAQYHb25lbnRyeQAAAApUU2V
uZFNoYXBlHFNlbmRTaGFwZTFfXzQwRTVBQjJFRDU2NDk5Q0UMQm9yZGVyLkNvbG9yBCAgIAARSW
1hZ2UuVHJhbnNwYXJlbnQJCkltYWdlLkRhdGEKVwMAAAlUUG5nSW1hZ2WJUE5HDQoaCgAAAA1JS
ERSAAAAEAAAABAIBgAAAB/z/2EAAAAJcEhZcwAACToAAAk6AfBkkkoAAAL/SURBVHjapZNLTBNR
GIXP7Uw740yhUWNViIAaogtFMFFjE1M1UagvEkGNqHHhpksX7twoJtYViXHRxCe28RE1LnSDCBQ
NCsGyIFqgtbRALbGlYk2hlnl6Oz4SF66c2dw7uef7/3P/M0TXdfzPQ440Hz7ncGzfvaZq9YKqKt
Dpiz9Muvu1ZhgTpAWJ6ezq/jQ1lThrZlnJAFy72uZzOneeqqisoocINFWDpmlUqKGoLq5NJhNkR
UY8FkMwGIxQwEb2N+C+v917qLHRrelUrKmwWq1QVRX6LwjDMPg6+wVj4Qiq165BaCQUDPS+dvAc
JxsA350b3gMHDrpLSm3IZDJQaAfL7csgSwWj9cnJSYyOjmJzXR3KylaAioOv+t78DXC59hkAQgi
SySSi0Qg219YiFo8jlUpj69YtEAQBnMWCvjcDwUDglYNfxMvFuyK+dgpocLlFaykURYJUKCAciW
BiMmF0UltXC1EQQT3jRaATH8Pjg5n0zDaGZWhBA3DL29BQ7xYWCZifyxn+S202zOfzEPkSzM3l6
Slg6RI7rj++iqe9D2aG+0IOntejtCaI/+5tb/3ePe6iH0VRIIoiGFpNkVXced6GAslCUwAza0H2
exriMmqjp3+4vyNymLqOkYf3/Dedzh1nOI4zfBbFLGum3eThedKCxRUEJp0zRsoyZpgZC0ysjtd
dgyP9HdFj5FLrhfObajY2C6JokmWJVRWVVRSdzeXmmZDatrK8Jm/RZBY/01UMlg5iIuBEFc9uTP
SQixcvME1NRyzpdJpPpT+L8VjcmkxOi5mZr7by/U/aN7kWVknff6aRxoSmEbDwQHgAE49acZRcu
eJBS8sJ5HI5SJKEOB3d7GwWobFBMi7f9JavU9bThKs0U6rNjqqaXah+H8B4jx+NiRGEiMdzGceP
txiAAh1hEfAtO4/OPh8GPwToCEEY6mA6Cr1yA1p3nsTprttooNc0Sr/hH4A5dL99gKHwS9gWA9k
UEB0C7JU4WlaNOLXyjhOAxBgF/O/v/AN+1H00GUkzLwAAAABJRU5ErkJggg5TaGFkb3cuVmlzaW
JsZQgKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcwVHJlZUVkaXRvcjEuT25FbnRyeVN0YXRlU
2hhcGUxX180MEU1QUIyRUQ1MENDRThDDFRleHQuU3RyaW5ncwEGEnNlbmQge3RpbWVvdXRbMXNd
fQAFRXZlbnQGB3RpbWVvdXQFRGVsYXkGAjFzIFByb3RvY29sQ29udHJvbEJpbmRpbmcuQmluZFR
5cGVzCwtwYnRTdXBwbGllcgAAAAtUU3RhdGVTaGFwZR1TdGF0ZVNoYXBlMV9fNDBFNUFCMUFGQk
EwQ0E2RghBdXRvU2l6ZQgJQmFja0NvbG9yBObm5gAPQnJ1c2guQmFja0NvbG9yBObm5gAOSW1hZ
2VBbGlnbm1lbnQHCWlhTGVmdFRvcAlSb3VuZFNpemUCCg5TaGFkb3cuVmlzaWJsZQgLVHJhbnNw
YXJlbnQJAlgwAkgCWDEDrAACWTADkAACWTED/gAIRXhwYW5kZWQJCkltYWdlSW5kZXgHBnRpTm9
uZQZQYXJlbnQHLFRyZWVFZGl0b3IxLlBhcmFsbGVsU2hhcGUxX180MEU1QUIxQUZBREJERTAyDl
RleHQuVmVydEFsaWduBwZ2dGFUb3AMVGV4dC5TdHJpbmdzAQYCczIAAklkBgJzMgAAC1RGaW5hb
FNoYXBlHUZpbmFsU2hhcGUxX180MEU1QUIxQUZFMzYzODBBCEF1dG9TaXplCAlCYWNrQ29sb3IE
5ubmAA9CcnVzaC5CYWNrQ29sb3IE5ubmAA5JbWFnZUFsaWdubWVudAcJaWFMZWZ0VG9wCVJvdW5
kU2l6ZQIKDlNoYWRvdy5WaXNpYmxlCAVTdHlsZQcJdHNzQ2lyY2xlAlgwAm4CWDEDhwACWTADuw
ACWTED1AAIRXhwYW5kZWQJCkltYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHKVRyZWVFZGl0b3IxL
lN0YXRlU2hhcGUxX180MEU1QUIxQUZCQTBDQTZGD1RleHQuVmVydE9mZnNldAIZDFRleHQuU3Ry
aW5ncwEGA3MzMQACSWQGA3MzMQAADlRQYXJhbGxlbFNoYXBlIFBhcmFsbGVsU2hhcGUyX180MEU
1QUIxQUZFOEI3NkQ5CEF1dG9TaXplCAlCYWNrQ29sb3IE5ubmAA9CcnVzaC5CYWNrQ29sb3IE5u
bmAA5JbWFnZUFsaWdubWVudAcJaWFMZWZ0VG9wCVJvdW5kU2l6ZQIKDlNoYWRvdy5WaXNpYmxlC
AtUcmFuc3BhcmVudAkCWDAD4QACWDEDbQECWTACaAJZMQMSAQhFeHBhbmRlZAkKSW1hZ2VJbmRl
eAcGdGlOb25lBlBhcmVudAcsVHJlZUVkaXRvcjEuUGFyYWxsZWxTaGFwZTFfXzQwRTVBQjFBRkF
EQkRFMDIOVGV4dC5WZXJ0QWxpZ24HBnZ0YVRvcAxUZXh0LlN0cmluZ3MBBgJwMgACSWQGAnAyAA
ALVFN0YXRlU2hhcGUdU3RhdGVTaGFwZTJfXzQwRTVBQjFBRkY1RTgzQjIIQXV0b1NpemUICUJhY
2tDb2xvcgTm5uYAD0JydXNoLkJhY2tDb2xvcgTm5uYADkltYWdlQWxpZ25tZW50BwlpYUxlZnRU
b3AJUm91bmRTaXplAgoOU2hhZG93LlZpc2libGUIC1RyYW5zcGFyZW50CQJYMAP1AAJYMQNZAQJ
ZMAOMAAJZMQP6AAhFeHBhbmRlZAkKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcsVHJlZUVkaX
RvcjEuUGFyYWxsZWxTaGFwZTJfXzQwRTVBQjFBRkU4Qjc2RDkOVGV4dC5WZXJ0QWxpZ24HBnZ0Y
VRvcAxUZXh0LlN0cmluZ3MBBgJzMwACSWQGAnMzAAALVEZpbmFsU2hhcGUdRmluYWxTaGFwZTJf
XzQwRTVBQjFCMDA0M0Q3ODcIQXV0b1NpemUICUJhY2tDb2xvcgTm5uYAD0JydXNoLkJhY2tDb2x
vcgTm5uYADkltYWdlQWxpZ25tZW50BwlpYUxlZnRUb3AJUm91bmRTaXplAgoOU2hhZG93LlZpc2
libGUIBVN0eWxlBwl0c3NDaXJjbGUCWDADGwECWDEDNAECWTADtwACWTED0AAIRXhwYW5kZWQJC
kltYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHKVRyZWVFZGl0b3IxLlN0YXRlU2hhcGUyX180MEU1
QUIxQUZGNUU4M0IyD1RleHQuVmVydE9mZnNldAIZDFRleHQuU3RyaW5ncwEGA3MzMgACSWQGA3M
zMgAAC1RGaW5hbFNoYXBlHUZpbmFsU2hhcGUxX180MEU1OTg3REEwNzA5Mzg3CEF1dG9TaXplCA
lCYWNrQ29sb3IE5ubmAA9CcnVzaC5CYWNrQ29sb3IE5ubmAA5JbWFnZUFsaWdubWVudAcJaWFMZ
WZ0VG9wCVJvdW5kU2l6ZQIKDlNoYWRvdy5WaXNpYmxlCAVTdHlsZQcJdHNzQ2lyY2xlAlgwAjkC
WDECUgJZMAN+AQJZMQOXAQhFeHBhbmRlZAkKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcpVHJ
lZUVkaXRvcjEuU2N4bWxTaGFwZTFfXzQwRTVBQjFBRjlEQkY2MTYPVGV4dC5Ib3JpekFsaWduBw
hodGFSaWdodBBUZXh0Lkhvcml6T2Zmc2V0AiQMVGV4dC5TdHJpbmdzAQYEcGFzcwACSWQGBHBhc
3MAABJUT25FbnRyeVN0YXRlU2hhcGUlT25FbnRyeVN0YXRlU2hhcGUxN19fNDBFNTk4N0U5NTMx
MEJCQQxCb3JkZXIuQ29sb3IEICAgABFJbWFnZS5UcmFuc3BhcmVudAkKSW1hZ2UuRGF0YQr8AQA
ACVRQbmdJbWFnZYlQTkcNChoKAAAADUlIRFIAAAAOAAAADggGAAAAH0gt0QAAAAlwSFlzAAALEg
AACxIB0t1+/AAAAARnQU1BAACxjnz7UZMAAAGUSURBVHjanZJNS0JBFIbfSUtTwlsgtZBWQRAG1
0VkgaC0ijZBaUQLlcBf0Lof0kZdtGnVrlUotEhapIgEUdqmUsv8yLx+Xe8093LNMG3hC+8c5jDP
mWHOIZRSjCIig4SQXsYOH1u9zLyaSTCHEUOoe0RhfkA7OJaLLC9beatjCdPzJghtAen7DNKxJ7w
+5uQCLlag3A/G3Xs7/MwKh0wxg1pDgNAUlNjutNG4ayJ3k08w0NYD14iP3RRc967+gZTI3BZF0J
gEIVv302saUkCtg0Q8AbezwBUGQkKjjpbYwviHFtKtGBWvqEsB9Ruk5D8+5JJvqaGQLI2kgfaqU
25c0mkFNG6S0u7RPpfMpoZCXRmuUa5dqKBpm0RsW6vOV1L4F9JUAeMDopVz9akzHuIzW2aDrUUd
K1cZCMkyvgATJfiLZ+rnyO0wHyA+tWDm85M15cZ+6T+BqRwS76e/28HAOS84MoaIxqTnywbWNx2
FCAm6JjD5xVxFgkpw5cL9A6DKEoCPbb0g6shRBlCEn08GjNwo+gZjuSX0yJ5wcAAAAABJRU5Erk
Jggg5TaGFkb3cuVmlzaWJsZQgIRXhwYW5kZWQJCkltYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHK
VRyZWVFZGl0b3IxLkZpbmFsU2hhcGUxX180MEU1OTg3REEwNzA5Mzg3DFRleHQuU3RyaW5ncwEG
B29uZW50cnkAAAAJVExvZ1NoYXBlG0xvZ1NoYXBlMl9fNDBFNTk4N0U5NUE2NkQ5NgxCb3JkZXI
uQ29sb3IEICAgABFJbWFnZS5UcmFuc3BhcmVudAkKSW1hZ2UuRGF0YQpBAgAACVRQbmdJbWFnZY
lQTkcNChoKAAAADUlIRFIAAAAQAAAAEAgGAAAAH/P/YQAAAARnQU1BAACvyDcFiukAAAAZdEVYd
FNvZnR3YXJlAEFkb2JlIEltYWdlUmVhZHlxyWU8AAAByUlEQVR42mP8//8/AyWAkWoGVFRUoJj0
7ds3hk+fPjG8f/+e4d27dwxv374Fs3/+Y2H4y8TO8PH5HUaSXRA9/4kokDoIxOJAbLs0UeYahgv
w2Wydv5jBxUybgfHfX4YDNz68+fnjuz1RLoDZbCLNoqknwcbw8fMfhlN33jEcufpkE9yAvLy8Um
w2/+cS47bImpdpoykhZijDyXDm5icGMT42hgMXHzKcu/5oGU4X/NrLKPHsh6L7pc8Wvc+40oVVF
XThmvecvsNw+uq9vb9//PTFagBQs/d/Fokt/3ktGZj4LRm+XGlk2PVrAsN3Pi+GHcdvMJy6eHvv
n9+/fR9vyfmO1YDvOxkDGUUD17GpFQI51xn+/OJneHsolmHivTaGpcc59gKVgDXjjMav2xijmCS
ilrLJWjMwfDnNwMjrxPDp3imGvtX3bs+/7qkP04zTgI+bGNNYZNNm/he2YmBn+snw+ycbw5e7Kx
me3jrib5jzeRPBpPxuHeO0N2wOmUIMzxl+vLt54e9vhst//zC8/vGNoUOr8P9rrAbY2NisBFISw
PTJmOf93NxG7t5ioKZumfj/N4nKCzDwaiWjKFAjg2Q0qk1EG0AqAAD0sxPNyYZgMQAAAABJRU5E
rkJggg5TaGFkb3cuVmlzaWJsZQgKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcxVHJlZUVkaXR
vcjEuT25FbnRyeVN0YXRlU2hhcGUxN19fNDBFNTk4N0U5NTMxMEJCQQxUZXh0LlN0cmluZ3MBBh
Rsb2cge091dGNvbWU6J3Bhc3MnfQAFTGFiZWwGB091dGNvbWUERXhwcgYGJ3Bhc3MnAAALVEZpb
mFsU2hhcGUdRmluYWxTaGFwZTJfXzQwRTU5ODdEQTBBNzMwOEIIQXV0b1NpemUICUJhY2tDb2xv
cgTm5uYAD0JydXNoLkJhY2tDb2xvcgTm5uYADkltYWdlQWxpZ25tZW50BwlpYUxlZnRUb3AJUm9
1bmRTaXplAgoOU2hhZG93LlZpc2libGUIBVN0eWxlBwl0c3NDaXJjbGUCWDAD4wACWDED/AACWT
ADfgECWTEDlwEIRXhwYW5kZWQJCkltYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHKVRyZWVFZGl0b
3IxLlNjeG1sU2hhcGUxX180MEU1QUIxQUY5REJGNjE2D1RleHQuSG9yaXpBbGlnbgcHaHRhTGVm
dBBUZXh0Lkhvcml6T2Zmc2V0At0MVGV4dC5TdHJpbmdzAQYEZmFpbAACSWQGBGZhaWwAABJUT25
FbnRyeVN0YXRlU2hhcGUlT25FbnRyeVN0YXRlU2hhcGUxOF9fNDBFNTk4N0U5Nzg1NDcxQwxCb3
JkZXIuQ29sb3IEICAgABFJbWFnZS5UcmFuc3BhcmVudAkKSW1hZ2UuRGF0YQr8AQAACVRQbmdJb
WFnZYlQTkcNChoKAAAADUlIRFIAAAAOAAAADggGAAAAH0gt0QAAAAlwSFlzAAALEgAACxIB0t1+
/AAAAARnQU1BAACxjnz7UZMAAAGUSURBVHjanZJNS0JBFIbfSUtTwlsgtZBWQRAG10VkgaC0ijZ
BaUQLlcBf0Lof0kZdtGnVrlUotEhapIgEUdqmUsv8yLx+Xe8093LNMG3hC+8c5jDPmWHOIZRSjC
Iig4SQXsYOH1u9zLyaSTCHEUOoe0RhfkA7OJaLLC9beatjCdPzJghtAen7DNKxJ7w+5uQCLlag3
A/G3Xs7/MwKh0wxg1pDgNAUlNjutNG4ayJ3k08w0NYD14iP3RRc967+gZTI3BZF0JgEIVv302sa
UkCtg0Q8AbezwBUGQkKjjpbYwviHFtKtGBWvqEsB9Ruk5D8+5JJvqaGQLI2kgfaqU25c0mkFNG6
S0u7RPpfMpoZCXRmuUa5dqKBpm0RsW6vOV1L4F9JUAeMDopVz9akzHuIzW2aDrUUdK1cZCMkyvg
ATJfiLZ+rnyO0wHyA+tWDm85M15cZ+6T+BqRwS76e/28HAOS84MoaIxqTnywbWNx2FCAm6JjD5x
VxFgkpw5cL9A6DKEoCPbb0g6shRBlCEn08GjNwo+gZjuSX0yJ5wcAAAAABJRU5ErkJggg5TaGFk
b3cuVmlzaWJsZQgIRXhwYW5kZWQJCkltYWdlSW5kZXgHBnRpTm9uZQZQYXJlbnQHKVRyZWVFZGl
0b3IxLkZpbmFsU2hhcGUyX180MEU1OTg3REEwQTczMDhCDFRleHQuU3RyaW5ncwEGB29uZW50cn
kAAAAJVExvZ1NoYXBlG0xvZ1NoYXBlM19fNDBFNTk4N0U5Nzg1NEQ1MwxCb3JkZXIuQ29sb3IEI
CAgABFJbWFnZS5UcmFuc3BhcmVudAkKSW1hZ2UuRGF0YQpBAgAACVRQbmdJbWFnZYlQTkcNChoK
AAAADUlIRFIAAAAQAAAAEAgGAAAAH/P/YQAAAARnQU1BAACvyDcFiukAAAAZdEVYdFNvZnR3YXJ
lAEFkb2JlIEltYWdlUmVhZHlxyWU8AAAByUlEQVR42mP8//8/AyWAkWoGVFRUoJj07ds3hk+fPj
G8f/+e4d27dwxv374Fs3/+Y2H4y8TO8PH5HUaSXRA9/4kokDoIxOJAbLs0UeYahgvw2Wydv5jBx
UybgfHfX4YDNz68+fnjuz1RLoDZbCLNoqknwcbw8fMfhlN33jEcufpkE9yAvLy8Umw2/+cS47bI
mpdpoykhZijDyXDm5icGMT42hgMXHzKcu/5oGU4X/NrLKPHsh6L7pc8Wvc+40oVVFXThmvecvsN
w+uq9vb9//PTFagBQs/d/Fokt/3ktGZj4LRm+XGlk2PVrAsN3Pi+GHcdvMJy6eHvvn9+/fR9vyf
mO1YDvOxkDGUUD17GpFQI51xn+/OJneHsolmHivTaGpcc59gKVgDXjjMav2xijmCSilrLJWjMwf
DnNwMjrxPDp3imGvtX3bs+/7qkP04zTgI+bGNNYZNNm/he2YmBn+snw+ycbw5e7Kxme3jrib5jz
eRPBpPxuHeO0N2wOmUIMzxl+vLt54e9vhst//zC8/vGNoUOr8P9rrAbY2NisBFISwPTJmOf93Nx
G7t5ioKZumfj/N4nKCzDwaiWjKFAjg2Q0qk1EG0AqAAD0sxPNyYZgMQAAAABJRU5ErkJggg5TaG
Fkb3cuVmlzaWJsZQgKSW1hZ2VJbmRleAcGdGlOb25lBlBhcmVudAcxVHJlZUVkaXRvcjEuT25Fb
nRyeVN0YXRlU2hhcGUxOF9fNDBFNTk4N0U5Nzg1NDcxQwxUZXh0LlN0cmluZ3MBBhRsb2cge091
dGNvbWU6J2ZhaWwnfQAFTGFiZWwGB091dGNvbWUERXhwcgYGJ2ZhaWwnAAAXVFN0YXRlTWFjaGl
uZUNvbm5lY3Rpb24pU3RhdGVNYWNoaW5lQ29ubmVjdGlvbjJfXzQwRTVBQjFCMDdGMkY3MzMTQX
Jyb3dGcm9tLkJhY2tDb2xvcgcHY2xXaGl0ZRlBcnJvd0Zyb20uQnJ1c2guQmFja0NvbG9yBwdjb
FdoaXRlDkFycm93RnJvbS5TaXplAgoPQXJyb3dGcm9tLlN0eWxlBwljYXNDaXJjbGURQXJyb3dU
by5CYWNrQ29sb3IHB2NsQmxhY2sXQXJyb3dUby5CcnVzaC5CYWNrQ29sb3IHB2NsQmxhY2sMQXJ
yb3dUby5TaXplAg8MQm9yZGVyLkNvbG9yBwdjbEJsYWNrDEJvcmRlci5TdHlsZQcHcHNTb2xpZA
xGb3JtYXQuQ29sb3IHCGNsSW5mb0JrFUZvcm1hdC5TaGFkb3cuVmlzaWJsZQgFU3R5bGUHD2NzS
W52ZXJ0ZWRTaWRlcwlGcm9tU2hhcGUHLFRyZWVFZGl0b3IxLlBhcmFsbGVsU2hhcGUxX180MEU1
QUIxQUZBREJERTAyB1RvU2hhcGUHKVRyZWVFZGl0b3IxLkZpbmFsU2hhcGUxX180MEU1OTg3REE
wNzA5Mzg3ClRleHQuQW5nbGUCWgxUZXh0LlN0cmluZ3MBBg1kb25lLnN0YXRlLnAxAAVFdmVudA
YNZG9uZS5zdGF0ZS5wMQZQYXJhbXMOABFWZXJ0aWNhbENlbnRlcmluZwkGUG9pbnRzAQIEAgQCK
QPcAAJJAycBAgUCBQIQAgACSQN+AQAAAA9UVHJlZUNvbm5lY3Rpb25FUGFyYWxsZWxTaGFwZTFf
XzQwRTVBQjFBRkFEQkRFMDJfT25FbnRyeVN0YXRlU2hhcGUxX180MEU1QUIyRUQ1MENDRThDCUZ
yb21TaGFwZQcsVHJlZUVkaXRvcjEuUGFyYWxsZWxTaGFwZTFfXzQwRTVBQjFBRkFEQkRFMDIHVG
9TaGFwZQcwVHJlZUVkaXRvcjEuT25FbnRyeVN0YXRlU2hhcGUxX180MEU1QUIyRUQ1MENDRThDA
AAPVFRyZWVDb25uZWN0aW9uQU9uRW50cnlTdGF0ZVNoYXBlMV9fNDBFNUFCMkVENTBDQ0U4Q19T
ZW5kU2hhcGUxX180MEU1QUIyRUQ1NjQ5OUNFCUZyb21TaGFwZQcwVHJlZUVkaXRvcjEuT25FbnR
yeVN0YXRlU2hhcGUxX180MEU1QUIyRUQ1MENDRThDB1RvU2hhcGUHKFRyZWVFZGl0b3IxLlNlbm
RTaGFwZTFfXzQwRTVBQjJFRDU2NDk5Q0UAAA9UVHJlZUNvbm5lY3Rpb25URmluYWxTaGFwZTFfX
zQwRTU5ODdEQTA3MDkzODdfT25FbnRyeVN0YXRlU2hhcGUxN19fNDBFNTk4N0U5NTMxMEJCQV80
MEU1QUIyRUQ4Nzg0QjgzCUZyb21TaGFwZQcpVHJlZUVkaXRvcjEuRmluYWxTaGFwZTFfXzQwRTU
5ODdEQTA3MDkzODcHVG9TaGFwZQcxVHJlZUVkaXRvcjEuT25FbnRyeVN0YXRlU2hhcGUxN19fND
BFNTk4N0U5NTMxMEJCQQAAD1RUcmVlQ29ubmVjdGlvblJPbkVudHJ5U3RhdGVTaGFwZTE3X180M
EU1OTg3RTk1MzEwQkJBX0xvZ1NoYXBlMl9fNDBFNTk4N0U5NUE2NkQ5Nl80MEU1QUIyRUQ4Nzg1
MUJBCUZyb21TaGFwZQcxVHJlZUVkaXRvcjEuT25FbnRyeVN0YXRlU2hhcGUxN19fNDBFNTk4N0U
5NTMxMEJCQQdUb1NoYXBlBydUcmVlRWRpdG9yMS5Mb2dTaGFwZTJfXzQwRTU5ODdFOTVBNjZEOT
YAAA9UVHJlZUNvbm5lY3Rpb25URmluYWxTaGFwZTJfXzQwRTU5ODdEQTBBNzMwOEJfT25FbnRye
VN0YXRlU2hhcGUxOF9fNDBFNTk4N0U5Nzg1NDcxQ180MEU1QUIyRUQ4Nzg1MUJBCUZyb21TaGFw
ZQcpVHJlZUVkaXRvcjEuRmluYWxTaGFwZTJfXzQwRTU5ODdEQTBBNzMwOEIHVG9TaGFwZQcxVHJ
lZUVkaXRvcjEuT25FbnRyeVN0YXRlU2hhcGUxOF9fNDBFNTk4N0U5Nzg1NDcxQwAAD1RUcmVlQ2
9ubmVjdGlvblJPbkVudHJ5U3RhdGVTaGFwZTE4X180MEU1OTg3RTk3ODU0NzFDX0xvZ1NoYXBlM
19fNDBFNTk4N0U5Nzg1NEQ1M180MEU1QUIyRUQ4Nzg1MUJBCUZyb21TaGFwZQcxVHJlZUVkaXRv
cjEuT25FbnRyeVN0YXRlU2hhcGUxOF9fNDBFNTk4N0U5Nzg1NDcxQwdUb1NoYXBlBydUcmVlRWR
pdG9yMS5Mb2dTaGFwZTNfXzQwRTU5ODdFOTc4NTRENTMAABdUU3RhdGVNYWNoaW5lQ29ubmVjdG
lvbilTdGF0ZU1hY2hpbmVDb25uZWN0aW9uMV9fNDBFNUFCMkVERUQ5QkU0RBNBcnJvd0Zyb20uQ
mFja0NvbG9yBwdjbFdoaXRlGUFycm93RnJvbS5CcnVzaC5CYWNrQ29sb3IHB2NsV2hpdGUOQXJy
b3dGcm9tLlNpemUCCg9BcnJvd0Zyb20uU3R5bGUHCWNhc0NpcmNsZRFBcnJvd1RvLkJhY2tDb2x
vcgcHY2xCbGFjaxdBcnJvd1RvLkJydXNoLkJhY2tDb2xvcgcHY2xCbGFjawxBcnJvd1RvLlNpem
UCDwxCb3JkZXIuQ29sb3IHB2NsQmxhY2sMQm9yZGVyLlN0eWxlBwdwc1NvbGlkDEZvcm1hdC5Db
2xvcgcIY2xJbmZvQmsVRm9ybWF0LlNoYWRvdy5WaXNpYmxlCAVTdHlsZQcPY3NJbnZlcnRlZFNp
ZGVzCUZyb21TaGFwZQcsVHJlZUVkaXRvcjEuUGFyYWxsZWxTaGFwZTFfXzQwRTVBQjFBRkFEQkR
FMDIHVG9TaGFwZQcpVHJlZUVkaXRvcjEuRmluYWxTaGFwZTJfXzQwRTU5ODdEQTBBNzMwOEIKVG
V4dC5BbmdsZQJaDFRleHQuU3RyaW5ncwEGB3RpbWVvdXQABUV2ZW50Bgd0aW1lb3V0BlBhcmFtc
w4ABlBvaW50cwECBAIEA88AA9wAA+8AAycBAgUCBQIMAgAD7wADfgEAAAAPVFRyZWVDb25uZWN0
aW9uPVNjeG1sU2hhcGUxX180MEU1QUIxQUY5REJGNjE2X0NvbW1lbnRTaGFwZTFfXzQwRTVBQjJ
GNEE2MjdBRTAJRnJvbVNoYXBlBylUcmVlRWRpdG9yMS5TY3htbFNoYXBlMV9fNDBFNUFCMUFGOU
RCRjYxNgdUb1NoYXBlBytUcmVlRWRpdG9yMS5Db21tZW50U2hhcGUxX180MEU1QUIyRjRBNjI3Q
UUwAAAA-->