Project

General

Profile

Revision 6f6af7b8 regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_9_top__timeout60_xml.xml

View differences:

regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_9_top__timeout60_xml.xml
1 1
<?xml version="1.0"?>
2 2
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 3
     <Property name="top">
4
      <Date>2016-11-29 19:05</Date>
4
      <Date>2018-11-16 11:13</Date>
5 5
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 6
      <Parse unit="sec">0.00</Parse>
7
      <Query unit="sec">0.83</Query>
7
      <Query unit="sec">17.13</Query>
8 8
      <Answer>CEX</Answer>
9 9
      <Counterexample>
10 10
         <Node name ="Sofar">
......
21 21
                <Value instant="9">1</Value>
22 22
                <Value instant="10">1</Value>
23 23
                <Value instant="11">1</Value>
24
                <Value instant="12">1</Value>
25
                <Value instant="13">1</Value>
26
                <Value instant="14">1</Value>
27
           </Stream>
28
            <Stream name="X" type="bool">
29
                <Value instant="0">1</Value>
30
                <Value instant="1">1</Value>
31
                <Value instant="2">1</Value>
32
                <Value instant="3">1</Value>
33
                <Value instant="4">1</Value>
34
                <Value instant="5">1</Value>
35
                <Value instant="6">1</Value>
36
                <Value instant="7">1</Value>
37
                <Value instant="8">1</Value>
38
                <Value instant="9">1</Value>
39
                <Value instant="10">1</Value>
40
                <Value instant="11">1</Value>
41
                <Value instant="12">1</Value>
42
                <Value instant="13">1</Value>
43
                <Value instant="14">1</Value>
44 24
           </Stream>
45 25
            <Stream name="X" type="bool">
46 26
                <Value instant="0">1</Value>
......
55 35
                <Value instant="9">1</Value>
56 36
                <Value instant="10">1</Value>
57 37
                <Value instant="11">1</Value>
58
                <Value instant="12">1</Value>
59
                <Value instant="13">1</Value>
60
                <Value instant="14">1</Value>
61 38
           </Stream>
62 39
         </Node>
63 40
 <Node name ="top">
64 41
            <Stream name="e6" type="bool">
42
                <Value instant="0">0</Value>
43
                <Value instant="1">0</Value>
44
                <Value instant="2">0</Value>
45
                <Value instant="3">0</Value>
46
                <Value instant="4">0</Value>
47
                <Value instant="5">0</Value>
48
                <Value instant="6">0</Value>
49
                <Value instant="7">0</Value>
50
                <Value instant="8">0</Value>
51
                <Value instant="9">0</Value>
52
                <Value instant="10">0</Value>
53
                <Value instant="11">0</Value>
54
           </Stream>
55
            <Stream name="x1" type="int">
56
                <Value instant="0">0</Value>
57
                <Value instant="1">1</Value>
58
                <Value instant="2">0</Value>
59
                <Value instant="3">0</Value>
60
                <Value instant="4">0</Value>
61
                <Value instant="5">0</Value>
62
                <Value instant="6">0</Value>
63
                <Value instant="7">0</Value>
64
                <Value instant="8">0</Value>
65
                <Value instant="9">0</Value>
66
                <Value instant="10">0</Value>
67
                <Value instant="11">0</Value>
68
           </Stream>
69
            <Stream name="Sofar" type="bool">
65 70
                <Value instant="0">1</Value>
66 71
                <Value instant="1">1</Value>
67 72
                <Value instant="2">1</Value>
......
74 79
                <Value instant="9">1</Value>
75 80
                <Value instant="10">1</Value>
76 81
                <Value instant="11">1</Value>
77
                <Value instant="12">1</Value>
78
                <Value instant="13">1</Value>
79
                <Value instant="14">1</Value>
80 82
           </Stream>
81
            <Stream name="e6" type="bool">
82
                <Value instant="0">1</Value>
83
                <Value instant="1">1</Value>
83
            <Stream name="x2" type="int">
84
                <Value instant="0">0</Value>
85
                <Value instant="1">0</Value>
84 86
                <Value instant="2">1</Value>
87
                <Value instant="3">0</Value>
88
                <Value instant="4">0</Value>
89
                <Value instant="5">0</Value>
90
                <Value instant="6">0</Value>
91
                <Value instant="7">0</Value>
92
                <Value instant="8">0</Value>
93
                <Value instant="9">0</Value>
94
                <Value instant="10">0</Value>
95
                <Value instant="11">0</Value>
96
           </Stream>
97
            <Stream name="x6" type="int">
98
                <Value instant="0">1</Value>
99
                <Value instant="1">0</Value>
100
                <Value instant="2">0</Value>
85 101
                <Value instant="3">1</Value>
86
                <Value instant="4">1</Value>
87
                <Value instant="5">1</Value>
88
                <Value instant="6">1</Value>
89
                <Value instant="7">1</Value>
90
                <Value instant="8">1</Value>
91
                <Value instant="9">1</Value>
92
                <Value instant="10">1</Value>
93
                <Value instant="11">1</Value>
94
                <Value instant="12">1</Value>
95
                <Value instant="13">1</Value>
96
                <Value instant="14">1</Value>
102
                <Value instant="4">0</Value>
103
                <Value instant="5">0</Value>
104
                <Value instant="6">0</Value>
105
                <Value instant="7">0</Value>
106
                <Value instant="8">0</Value>
107
                <Value instant="9">0</Value>
108
                <Value instant="10">0</Value>
109
                <Value instant="11">0</Value>
97 110
           </Stream>
98
            <Stream name="e6" type="bool">
111
            <Stream name="p1" type="int">
99 112
                <Value instant="0">1</Value>
100 113
                <Value instant="1">1</Value>
101 114
                <Value instant="2">1</Value>
......
108 121
                <Value instant="9">1</Value>
109 122
                <Value instant="10">1</Value>
110 123
                <Value instant="11">1</Value>
111
                <Value instant="12">1</Value>
112
                <Value instant="13">1</Value>
113
                <Value instant="14">1</Value>
114 124
           </Stream>
115
            <Stream name="x1" type="int">
125
            <Stream name="x5" type="int">
116 126
                <Value instant="0">0</Value>
117
                <Value instant="1">1</Value>
118
                <Value instant="2">2</Value>
119
                <Value instant="3">3</Value>
120
                <Value instant="4">2</Value>
121
                <Value instant="5">2</Value>
127
                <Value instant="1">0</Value>
128
                <Value instant="2">0</Value>
129
                <Value instant="3">0</Value>
130
                <Value instant="4">0</Value>
131
                <Value instant="5">1</Value>
122 132
                <Value instant="6">2</Value>
123
                <Value instant="7">1</Value>
124
                <Value instant="8">1</Value>
125
                <Value instant="9">1</Value>
126
                <Value instant="10">1</Value>
127
                <Value instant="11">1</Value>
128
                <Value instant="12">1</Value>
129
                <Value instant="13">1</Value>
130
                <Value instant="14">1</Value>
133
                <Value instant="7">3</Value>
134
                <Value instant="8">4</Value>
135
                <Value instant="9">5</Value>
136
                <Value instant="10">6</Value>
137
                <Value instant="11">7</Value>
131 138
           </Stream>
132
            <Stream name="x1" type="int">
139
            <Stream name="x3" type="int">
133 140
                <Value instant="0">0</Value>
134
                <Value instant="1">1</Value>
135
                <Value instant="2">2</Value>
136
                <Value instant="3">3</Value>
137
                <Value instant="4">2</Value>
138
                <Value instant="5">2</Value>
139
                <Value instant="6">2</Value>
140
                <Value instant="7">1</Value>
141
                <Value instant="8">1</Value>
142
                <Value instant="9">1</Value>
143
                <Value instant="10">1</Value>
144
                <Value instant="11">1</Value>
145
                <Value instant="12">1</Value>
146
                <Value instant="13">1</Value>
147
                <Value instant="14">1</Value>
141
                <Value instant="1">0</Value>
142
                <Value instant="2">0</Value>
143
                <Value instant="3">1</Value>
144
                <Value instant="4">0</Value>
145
                <Value instant="5">0</Value>
146
                <Value instant="6">0</Value>
147
                <Value instant="7">0</Value>
148
                <Value instant="8">0</Value>
149
                <Value instant="9">0</Value>
150
                <Value instant="10">0</Value>
151
                <Value instant="11">0</Value>
148 152
           </Stream>
149
            <Stream name="x1" type="int">
153
            <Stream name="e5" type="bool">
150 154
                <Value instant="0">0</Value>
151
                <Value instant="1">1</Value>
152
                <Value instant="2">2</Value>
153
                <Value instant="3">3</Value>
154
                <Value instant="4">2</Value>
155
                <Value instant="5">2</Value>
156
                <Value instant="6">2</Value>
157
                <Value instant="7">1</Value>
158
                <Value instant="8">1</Value>
159
                <Value instant="9">1</Value>
160
                <Value instant="10">1</Value>
161
                <Value instant="11">1</Value>
162
                <Value instant="12">1</Value>
163
                <Value instant="13">1</Value>
164
                <Value instant="14">1</Value>
165
           </Stream>
166
            <Stream name="Sofar" type="bool">
167
                <Value instant="0">1</Value>
168
                <Value instant="1">1</Value>
169
                <Value instant="2">1</Value>
170
                <Value instant="3">1</Value>
171
                <Value instant="4">1</Value>
155
                <Value instant="1">0</Value>
156
                <Value instant="2">0</Value>
157
                <Value instant="3">0</Value>
158
                <Value instant="4">0</Value>
172 159
                <Value instant="5">1</Value>
173 160
                <Value instant="6">1</Value>
174 161
                <Value instant="7">1</Value>
......
176 163
                <Value instant="9">1</Value>
177 164
                <Value instant="10">1</Value>
178 165
                <Value instant="11">1</Value>
179
                <Value instant="12">1</Value>
180
                <Value instant="13">1</Value>
181
                <Value instant="14">1</Value>
182 166
           </Stream>
183
            <Stream name="x2" type="int">
167
            <Stream name="e4" type="bool">
184 168
                <Value instant="0">0</Value>
185 169
                <Value instant="1">0</Value>
186 170
                <Value instant="2">0</Value>
......
188 172
                <Value instant="4">1</Value>
189 173
                <Value instant="5">0</Value>
190 174
                <Value instant="6">0</Value>
191
                <Value instant="7">1</Value>
192
                <Value instant="8">1</Value>
193
                <Value instant="9">1</Value>
194
                <Value instant="10">1</Value>
195
                <Value instant="11">1</Value>
196
                <Value instant="12">1</Value>
197
                <Value instant="13">1</Value>
198
                <Value instant="14">1</Value>
199
           </Stream>
200
            <Stream name="x6" type="int">
201
                <Value instant="0">4</Value>
202
                <Value instant="1">3</Value>
203
                <Value instant="2">2</Value>
204
                <Value instant="3">1</Value>
205
                <Value instant="4">1</Value>
206
                <Value instant="5">2</Value>
207
                <Value instant="6">1</Value>
208
                <Value instant="7">1</Value>
209
                <Value instant="8">1</Value>
210
                <Value instant="9">1</Value>
211
                <Value instant="10">1</Value>
212
                <Value instant="11">1</Value>
213
                <Value instant="12">1</Value>
214
                <Value instant="13">1</Value>
215
                <Value instant="14">1</Value>
175
                <Value instant="7">0</Value>
176
                <Value instant="8">0</Value>
177
                <Value instant="9">0</Value>
178
                <Value instant="10">0</Value>
179
                <Value instant="11">0</Value>
216 180
           </Stream>
217
            <Stream name="p1" type="int">
218
                <Value instant="0">4</Value>
219
                <Value instant="1">4</Value>
220
                <Value instant="2">4</Value>
221
                <Value instant="3">4</Value>
222
                <Value instant="4">4</Value>
223
                <Value instant="5">4</Value>
224
                <Value instant="6">4</Value>
225
                <Value instant="7">4</Value>
181
            <Stream name="x7" type="int">
182
                <Value instant="0">1</Value>
183
                <Value instant="1">1</Value>
184
                <Value instant="2">0</Value>
185
                <Value instant="3">0</Value>
186
                <Value instant="4">0</Value>
187
                <Value instant="5">1</Value>
188
                <Value instant="6">2</Value>
189
                <Value instant="7">3</Value>
226 190
                <Value instant="8">4</Value>
227
                <Value instant="9">4</Value>
228
                <Value instant="10">4</Value>
229
                <Value instant="11">4</Value>
230
                <Value instant="12">4</Value>
231
                <Value instant="13">4</Value>
232
                <Value instant="14">4</Value>
191
                <Value instant="9">5</Value>
192
                <Value instant="10">6</Value>
193
                <Value instant="11">7</Value>
233 194
           </Stream>
234
            <Stream name="x5" type="int">
195
            <Stream name="e3" type="bool">
235 196
                <Value instant="0">0</Value>
236 197
                <Value instant="1">0</Value>
237 198
                <Value instant="2">0</Value>
238
                <Value instant="3">0</Value>
199
                <Value instant="3">1</Value>
239 200
                <Value instant="4">0</Value>
240 201
                <Value instant="5">0</Value>
241 202
                <Value instant="6">0</Value>
242 203
                <Value instant="7">0</Value>
243
                <Value instant="8">1</Value>
244
                <Value instant="9">2</Value>
245
                <Value instant="10">3</Value>
246
                <Value instant="11">4</Value>
247
                <Value instant="12">5</Value>
248
                <Value instant="13">6</Value>
249
                <Value instant="14">7</Value>
204
                <Value instant="8">0</Value>
205
                <Value instant="9">0</Value>
206
                <Value instant="10">0</Value>
207
                <Value instant="11">0</Value>
250 208
           </Stream>
251
            <Stream name="x3" type="int">
209
            <Stream name="e2" type="bool">
252 210
                <Value instant="0">0</Value>
253 211
                <Value instant="1">0</Value>
254
                <Value instant="2">0</Value>
212
                <Value instant="2">1</Value>
255 213
                <Value instant="3">0</Value>
256 214
                <Value instant="4">0</Value>
257
                <Value instant="5">1</Value>
215
                <Value instant="5">0</Value>
258 216
                <Value instant="6">0</Value>
259 217
                <Value instant="7">0</Value>
260 218
                <Value instant="8">0</Value>
261 219
                <Value instant="9">0</Value>
262 220
                <Value instant="10">0</Value>
263 221
                <Value instant="11">0</Value>
264
                <Value instant="12">0</Value>
265
                <Value instant="13">0</Value>
266
                <Value instant="14">0</Value>
267 222
           </Stream>
268
            <Stream name="e5" type="bool">
223
            <Stream name="init_p2" type="int">
224
                <Value instant="0">1</Value>
225
           </Stream>
226
            <Stream name="init_p1" type="int">
227
                <Value instant="0">1</Value>
228
           </Stream>
229
            <Stream name="OK" type="bool">
269 230
                <Value instant="0">1</Value>
270 231
                <Value instant="1">1</Value>
271 232
                <Value instant="2">1</Value>
......
277 238
                <Value instant="8">1</Value>
278 239
                <Value instant="9">1</Value>
279 240
                <Value instant="10">1</Value>
280
                <Value instant="11">1</Value>
281
                <Value instant="12">1</Value>
282
                <Value instant="13">1</Value>
283
                <Value instant="14">1</Value>
241
                <Value instant="11">0</Value>
284 242
           </Stream>
285
            <Stream name="e4" type="bool">
243
            <Stream name="e1" type="bool">
244
                <Value instant="0">1</Value>
245
                <Value instant="1">1</Value>
246
                <Value instant="2">0</Value>
247
                <Value instant="3">0</Value>
248
                <Value instant="4">0</Value>
249
                <Value instant="5">0</Value>
250
                <Value instant="6">0</Value>
251
                <Value instant="7">0</Value>
252
                <Value instant="8">0</Value>
253
                <Value instant="9">0</Value>
254
                <Value instant="10">0</Value>
255
                <Value instant="11">0</Value>
256
           </Stream>
257
            <Stream name="p2" type="int">
286 258
                <Value instant="0">1</Value>
287 259
                <Value instant="1">1</Value>
288 260
                <Value instant="2">1</Value>
......
295 267
                <Value instant="9">1</Value>
296 268
                <Value instant="10">1</Value>
297 269
                <Value instant="11">1</Value>
298
                <Value instant="12">1</Value>
299
                <Value instant="13">1</Value>
300
                <Value instant="14">1</Value>
301 270
           </Stream>
302
            <Stream name="e4" type="bool">
303
                <Value instant="0">1</Value>
304
                <Value instant="1">1</Value>
305
                <Value instant="2">1</Value>
306
                <Value instant="3">1</Value>
307
                <Value instant="4">1</Value>
308
                <Value instant="5">1</Value>
309
                <Value instant="6">1</Value>
310
                <Value instant="7">1</Value>
311
                <Value instant="8">1</Value>
312
                <Value instant="9">1</Value>
313
                <Value instant="10">1</Value>
314
                <Value instant="11">1</Value>
315
                <Value instant="12">1</Value>
316
                <Value instant="13">1</Value>
317
                <Value instant="14">1</Value>
318
           </Stream>
319
            <Stream name="e4" type="bool">
320
                <Value instant="0">1</Value>
321
                <Value instant="1">1</Value>
322
                <Value instant="2">1</Value>
323
                <Value instant="3">1</Value>
271
            <Stream name="x4" type="int">
272
                <Value instant="0">0</Value>
273
                <Value instant="1">0</Value>
274
                <Value instant="2">0</Value>
275
                <Value instant="3">0</Value>
324 276
                <Value instant="4">1</Value>
325 277
                <Value instant="5">1</Value>
326 278
                <Value instant="6">1</Value>
......
329 281
                <Value instant="9">1</Value>
330 282
                <Value instant="10">1</Value>
331 283
                <Value instant="11">1</Value>
332
                <Value instant="12">1</Value>
333
                <Value instant="13">1</Value>
334
                <Value instant="14">1</Value>
335
           </Stream>
336
            <Stream name="x7" type="int">
337
                <Value instant="0">3</Value>
338
                <Value instant="1">3</Value>
339
                <Value instant="2">3</Value>
340
                <Value instant="3">3</Value>
341
                <Value instant="4">2</Value>
342
                <Value instant="5">2</Value>
343
                <Value instant="6">2</Value>
344
                <Value instant="7">1</Value>
345
                <Value instant="8">2</Value>
346
                <Value instant="9">3</Value>
347
                <Value instant="10">4</Value>
348
                <Value instant="11">5</Value>
349
                <Value instant="12">6</Value>
350
                <Value instant="13">7</Value>
351
                <Value instant="14">8</Value>
352 284
           </Stream>
353
            <Stream name="e3" type="bool">
285
            <Stream name="First" type="int">
354 286
                <Value instant="0">1</Value>
355 287
                <Value instant="1">1</Value>
356 288
                <Value instant="2">1</Value>
......
363 295
                <Value instant="9">1</Value>
364 296
                <Value instant="10">1</Value>
365 297
                <Value instant="11">1</Value>
366
                <Value instant="12">1</Value>
367
                <Value instant="13">1</Value>
368
                <Value instant="14">1</Value>
369 298
           </Stream>
370
            <Stream name="e2" type="bool">
299
         </Node>
300
 <Node name ="swimingpool">
301
            <Stream name="p2" type="int">
371 302
                <Value instant="0">1</Value>
372 303
                <Value instant="1">1</Value>
373 304
                <Value instant="2">1</Value>
......
380 311
                <Value instant="9">1</Value>
381 312
                <Value instant="10">1</Value>
382 313
                <Value instant="11">1</Value>
383
                <Value instant="12">1</Value>
384
                <Value instant="13">1</Value>
385
                <Value instant="14">1</Value>
386 314
           </Stream>
387
            <Stream name="init_p2" type="int">
388
                <Value instant="0">3</Value>
389
                <Value instant="1">0</Value>
315
            <Stream name="x1" type="int">
316
                <Value instant="0">0</Value>
317
                <Value instant="1">1</Value>
390 318
                <Value instant="2">0</Value>
391 319
                <Value instant="3">0</Value>
392 320
                <Value instant="4">0</Value>
......
397 325
                <Value instant="9">0</Value>
398 326
                <Value instant="10">0</Value>
399 327
                <Value instant="11">0</Value>
400
                <Value instant="12">0</Value>
401
                <Value instant="13">0</Value>
402
                <Value instant="14">0</Value>
403 328
           </Stream>
404
            <Stream name="init_p1" type="int">
405
                <Value instant="0">4</Value>
329
            <Stream name="x2" type="int">
330
                <Value instant="0">0</Value>
406 331
                <Value instant="1">0</Value>
407
                <Value instant="2">0</Value>
332
                <Value instant="2">1</Value>
408 333
                <Value instant="3">0</Value>
409 334
                <Value instant="4">0</Value>
410 335
                <Value instant="5">0</Value>
......
414 339
                <Value instant="9">0</Value>
415 340
                <Value instant="10">0</Value>
416 341
                <Value instant="11">0</Value>
417
                <Value instant="12">0</Value>
418
                <Value instant="13">0</Value>
419
                <Value instant="14">0</Value>
420 342
           </Stream>
421
            <Stream name="OK" type="bool">
422
                <Value instant="0">1</Value>
423
                <Value instant="1">1</Value>
424
                <Value instant="2">1</Value>
425
                <Value instant="3">1</Value>
426
                <Value instant="4">1</Value>
427
                <Value instant="5">1</Value>
428
                <Value instant="6">1</Value>
429
                <Value instant="7">1</Value>
430
                <Value instant="8">1</Value>
431
                <Value instant="9">1</Value>
432
                <Value instant="10">1</Value>
433
                <Value instant="11">1</Value>
434
                <Value instant="12">1</Value>
435
                <Value instant="13">1</Value>
436
                <Value instant="14">1</Value>
437
           </Stream>
438
            <Stream name="OK" type="bool">
343
            <Stream name="p1" type="int">
439 344
                <Value instant="0">1</Value>
440 345
                <Value instant="1">1</Value>
441 346
                <Value instant="2">1</Value>
......
448 353
                <Value instant="9">1</Value>
449 354
                <Value instant="10">1</Value>
450 355
                <Value instant="11">1</Value>
451
                <Value instant="12">1</Value>
452
                <Value instant="13">1</Value>
453
                <Value instant="14">1</Value>
454 356
           </Stream>
455
            <Stream name="e1" type="bool">
456
                <Value instant="0">1</Value>
457
                <Value instant="1">1</Value>
458
                <Value instant="2">1</Value>
459
                <Value instant="3">1</Value>
460
                <Value instant="4">1</Value>
461
                <Value instant="5">1</Value>
462
                <Value instant="6">1</Value>
463
                <Value instant="7">1</Value>
464
                <Value instant="8">1</Value>
465
                <Value instant="9">1</Value>
466
                <Value instant="10">1</Value>
467
                <Value instant="11">1</Value>
468
                <Value instant="12">1</Value>
469
                <Value instant="13">1</Value>
470
                <Value instant="14">1</Value>
471
           </Stream>
472
            <Stream name="p2" type="int">
473
                <Value instant="0">3</Value>
474
                <Value instant="1">3</Value>
475
                <Value instant="2">3</Value>
476
                <Value instant="3">3</Value>
477
                <Value instant="4">3</Value>
478
                <Value instant="5">3</Value>
479
                <Value instant="6">3</Value>
480
                <Value instant="7">3</Value>
481
                <Value instant="8">3</Value>
482
                <Value instant="9">3</Value>
483
                <Value instant="10">3</Value>
484
                <Value instant="11">3</Value>
485
                <Value instant="12">3</Value>
486
                <Value instant="13">3</Value>
487
                <Value instant="14">3</Value>
488
           </Stream>
489
            <Stream name="x4" type="int">
357
            <Stream name="e4" type="bool">
490 358
                <Value instant="0">0</Value>
491 359
                <Value instant="1">0</Value>
492 360
                <Value instant="2">0</Value>
493 361
                <Value instant="3">0</Value>
494
                <Value instant="4">0</Value>
362
                <Value instant="4">1</Value>
495 363
                <Value instant="5">0</Value>
496
                <Value instant="6">1</Value>
497
                <Value instant="7">1</Value>
498
                <Value instant="8">1</Value>
499
                <Value instant="9">1</Value>
500
                <Value instant="10">1</Value>
501
                <Value instant="11">1</Value>
502
                <Value instant="12">1</Value>
503
                <Value instant="13">1</Value>
504
                <Value instant="14">1</Value>
364
                <Value instant="6">0</Value>
365
                <Value instant="7">0</Value>
366
                <Value instant="8">0</Value>
367
                <Value instant="9">0</Value>
368
                <Value instant="10">0</Value>
369
                <Value instant="11">0</Value>
505 370
           </Stream>
506
            <Stream name="x4" type="int">
371
            <Stream name="e5" type="bool">
507 372
                <Value instant="0">0</Value>
508 373
                <Value instant="1">0</Value>
509 374
                <Value instant="2">0</Value>
510 375
                <Value instant="3">0</Value>
511 376
                <Value instant="4">0</Value>
512
                <Value instant="5">0</Value>
513
                <Value instant="6">1</Value>
514
                <Value instant="7">1</Value>
515
                <Value instant="8">1</Value>
516
                <Value instant="9">1</Value>
517
                <Value instant="10">1</Value>
518
                <Value instant="11">1</Value>
519
                <Value instant="12">1</Value>
520
                <Value instant="13">1</Value>
521
                <Value instant="14">1</Value>
522
           </Stream>
523
            <Stream name="First" type="int">
524
                <Value instant="0">4</Value>
525
                <Value instant="1">4</Value>
526
                <Value instant="2">4</Value>
527
                <Value instant="3">4</Value>
528
                <Value instant="4">4</Value>
529
                <Value instant="5">4</Value>
530
                <Value instant="6">4</Value>
531
                <Value instant="7">4</Value>
532
                <Value instant="8">4</Value>
533
                <Value instant="9">4</Value>
534
                <Value instant="10">4</Value>
535
                <Value instant="11">4</Value>
536
                <Value instant="12">4</Value>
537
                <Value instant="13">4</Value>
538
                <Value instant="14">4</Value>
539
           </Stream>
540
         </Node>
541
 <Node name ="excludes6">
542
            <Stream name="excludes" type="bool">
543
                <Value instant="0">1</Value>
544
                <Value instant="1">1</Value>
545
                <Value instant="2">1</Value>
546
                <Value instant="3">1</Value>
547
                <Value instant="4">1</Value>
548
                <Value instant="5">1</Value>
549
                <Value instant="6">1</Value>
550
                <Value instant="7">1</Value>
551
                <Value instant="8">1</Value>
552
                <Value instant="9">1</Value>
553
                <Value instant="10">1</Value>
554
                <Value instant="11">1</Value>
555
                <Value instant="12">1</Value>
556
                <Value instant="13">1</Value>
557
                <Value instant="14">1</Value>
558
           </Stream>
559
            <Stream name="X2" type="bool">
560
                <Value instant="0">1</Value>
561
                <Value instant="1">1</Value>
562
                <Value instant="2">1</Value>
563
                <Value instant="3">1</Value>
564
                <Value instant="4">1</Value>
565
                <Value instant="5">1</Value>
566
                <Value instant="6">1</Value>
567
                <Value instant="7">1</Value>
568
                <Value instant="8">1</Value>
569
                <Value instant="9">1</Value>
570
                <Value instant="10">1</Value>
571
                <Value instant="11">1</Value>
572
                <Value instant="12">1</Value>
573
                <Value instant="13">1</Value>
574
                <Value instant="14">1</Value>
575
           </Stream>
576
            <Stream name="X3" type="bool">
577
                <Value instant="0">1</Value>
578
                <Value instant="1">1</Value>
579
                <Value instant="2">1</Value>
580
                <Value instant="3">1</Value>
581
                <Value instant="4">1</Value>
582
                <Value instant="5">1</Value>
583
                <Value instant="6">1</Value>
584
                <Value instant="7">1</Value>
585
                <Value instant="8">1</Value>
586
                <Value instant="9">1</Value>
587
                <Value instant="10">1</Value>
588
                <Value instant="11">1</Value>
589
                <Value instant="12">1</Value>
590
                <Value instant="13">1</Value>
591
                <Value instant="14">1</Value>
592
           </Stream>
593
            <Stream name="X1" type="bool">
594
                <Value instant="0">1</Value>
595
                <Value instant="1">1</Value>
596
                <Value instant="2">1</Value>
597
                <Value instant="3">1</Value>
598
                <Value instant="4">1</Value>
599
                <Value instant="5">1</Value>
600
                <Value instant="6">1</Value>
601
                <Value instant="7">1</Value>
602
                <Value instant="8">1</Value>
603
                <Value instant="9">1</Value>
604
                <Value instant="10">1</Value>
605
                <Value instant="11">1</Value>
606
                <Value instant="12">1</Value>
607
                <Value instant="13">1</Value>
608
                <Value instant="14">1</Value>
609
           </Stream>
610
            <Stream name="X6" type="bool">
611
                <Value instant="0">1</Value>
612
                <Value instant="1">1</Value>
613
                <Value instant="2">1</Value>
614
                <Value instant="3">1</Value>
615
                <Value instant="4">1</Value>
616
                <Value instant="5">1</Value>
617
                <Value instant="6">1</Value>
618
                <Value instant="7">1</Value>
619
                <Value instant="8">1</Value>
620
                <Value instant="9">1</Value>
621
                <Value instant="10">1</Value>
622
                <Value instant="11">1</Value>
623
                <Value instant="12">1</Value>
624
                <Value instant="13">1</Value>
625
                <Value instant="14">1</Value>
626
           </Stream>
627
            <Stream name="X4" type="bool">
628
                <Value instant="0">1</Value>
629
                <Value instant="1">1</Value>
630
                <Value instant="2">1</Value>
631
                <Value instant="3">1</Value>
632
                <Value instant="4">1</Value>
633
                <Value instant="5">1</Value>
634
                <Value instant="6">1</Value>
635
                <Value instant="7">1</Value>
636
                <Value instant="8">1</Value>
637
                <Value instant="9">1</Value>
638
                <Value instant="10">1</Value>
639
                <Value instant="11">1</Value>
640
                <Value instant="12">1</Value>
641
                <Value instant="13">1</Value>
642
                <Value instant="14">1</Value>
643
           </Stream>
644
            <Stream name="X5" type="bool">
645
                <Value instant="0">1</Value>
646
                <Value instant="1">1</Value>
647
                <Value instant="2">1</Value>
648
                <Value instant="3">1</Value>
649
                <Value instant="4">1</Value>
650
                <Value instant="5">1</Value>
651
                <Value instant="6">1</Value>
652
                <Value instant="7">1</Value>
653
                <Value instant="8">1</Value>
654
                <Value instant="9">1</Value>
655
                <Value instant="10">1</Value>
656
                <Value instant="11">1</Value>
657
                <Value instant="12">1</Value>
658
                <Value instant="13">1</Value>
659
                <Value instant="14">1</Value>
660
           </Stream>
661
         </Node>
662
 <Node name ="swimingpool">
663
            <Stream name="p2" type="int">
664
                <Value instant="0">3</Value>
665
                <Value instant="1">3</Value>
666
                <Value instant="2">3</Value>
667
                <Value instant="3">3</Value>
668
                <Value instant="4">3</Value>
669
                <Value instant="5">3</Value>
670
                <Value instant="6">3</Value>
671
                <Value instant="7">3</Value>
672
                <Value instant="8">3</Value>
673
                <Value instant="9">3</Value>
674
                <Value instant="10">3</Value>
675
                <Value instant="11">3</Value>
676
                <Value instant="12">3</Value>
677
                <Value instant="13">3</Value>
678
                <Value instant="14">3</Value>
679
           </Stream>
680
            <Stream name="p2" type="int">
681
                <Value instant="0">3</Value>
682
                <Value instant="1">3</Value>
683
                <Value instant="2">3</Value>
684
                <Value instant="3">3</Value>
685
                <Value instant="4">3</Value>
686
                <Value instant="5">3</Value>
687
                <Value instant="6">3</Value>
688
                <Value instant="7">3</Value>
689
                <Value instant="8">3</Value>
690
                <Value instant="9">3</Value>
691
                <Value instant="10">3</Value>
692
                <Value instant="11">3</Value>
693
                <Value instant="12">3</Value>
694
                <Value instant="13">3</Value>
695
                <Value instant="14">3</Value>
696
           </Stream>
697
            <Stream name="p2" type="int">
698
                <Value instant="0">3</Value>
699
                <Value instant="1">3</Value>
700
                <Value instant="2">3</Value>
701
                <Value instant="3">3</Value>
702
                <Value instant="4">3</Value>
703
                <Value instant="5">3</Value>
704
                <Value instant="6">3</Value>
705
                <Value instant="7">3</Value>
706
                <Value instant="8">3</Value>
707
                <Value instant="9">3</Value>
708
                <Value instant="10">3</Value>
709
                <Value instant="11">3</Value>
710
                <Value instant="12">3</Value>
711
                <Value instant="13">3</Value>
712
                <Value instant="14">3</Value>
713
           </Stream>
714
            <Stream name="p2" type="int">
715
                <Value instant="0">3</Value>
716
                <Value instant="1">3</Value>
717
                <Value instant="2">3</Value>
718
                <Value instant="3">3</Value>
719
                <Value instant="4">3</Value>
720
                <Value instant="5">3</Value>
721
                <Value instant="6">3</Value>
722
                <Value instant="7">3</Value>
723
                <Value instant="8">3</Value>
724
                <Value instant="9">3</Value>
725
                <Value instant="10">3</Value>
726
                <Value instant="11">3</Value>
727
                <Value instant="12">3</Value>
728
                <Value instant="13">3</Value>
729
                <Value instant="14">3</Value>
730
           </Stream>
731
            <Stream name="p2" type="int">
732
                <Value instant="0">3</Value>
733
                <Value instant="1">3</Value>
734
                <Value instant="2">3</Value>
735
                <Value instant="3">3</Value>
736
                <Value instant="4">3</Value>
737
                <Value instant="5">3</Value>
738
                <Value instant="6">3</Value>
739
                <Value instant="7">3</Value>
740
                <Value instant="8">3</Value>
741
                <Value instant="9">3</Value>
742
                <Value instant="10">3</Value>
743
                <Value instant="11">3</Value>
744
                <Value instant="12">3</Value>
745
                <Value instant="13">3</Value>
746
                <Value instant="14">3</Value>
747
           </Stream>
748
            <Stream name="x1" type="int">
749
                <Value instant="0">0</Value>
750
                <Value instant="1">1</Value>
751
                <Value instant="2">2</Value>
752
                <Value instant="3">3</Value>
753
                <Value instant="4">2</Value>
754
                <Value instant="5">2</Value>
755
                <Value instant="6">2</Value>
756
                <Value instant="7">1</Value>
757
                <Value instant="8">1</Value>
758
                <Value instant="9">1</Value>
759
                <Value instant="10">1</Value>
760
                <Value instant="11">1</Value>
761
                <Value instant="12">1</Value>
762
                <Value instant="13">1</Value>
763
                <Value instant="14">1</Value>
764
           </Stream>
765
            <Stream name="x1" type="int">
766
                <Value instant="0">0</Value>
767
                <Value instant="1">1</Value>
768
                <Value instant="2">2</Value>
769
                <Value instant="3">3</Value>
770
                <Value instant="4">2</Value>
771
                <Value instant="5">2</Value>
772
                <Value instant="6">2</Value>
773
                <Value instant="7">1</Value>
774
                <Value instant="8">1</Value>
775
                <Value instant="9">1</Value>
776
                <Value instant="10">1</Value>
777
                <Value instant="11">1</Value>
778
                <Value instant="12">1</Value>
779
                <Value instant="13">1</Value>
780
                <Value instant="14">1</Value>
781
           </Stream>
782
            <Stream name="x1" type="int">
783
                <Value instant="0">0</Value>
784
                <Value instant="1">1</Value>
785
                <Value instant="2">2</Value>
786
                <Value instant="3">3</Value>
787
                <Value instant="4">2</Value>
788
                <Value instant="5">2</Value>
789
                <Value instant="6">2</Value>
790
                <Value instant="7">1</Value>
791
                <Value instant="8">1</Value>
792
                <Value instant="9">1</Value>
793
                <Value instant="10">1</Value>
794
                <Value instant="11">1</Value>
795
                <Value instant="12">1</Value>
796
                <Value instant="13">1</Value>
797
                <Value instant="14">1</Value>
798
           </Stream>
799
            <Stream name="x2" type="int">
800
                <Value instant="0">0</Value>
801
                <Value instant="1">0</Value>
802
                <Value instant="2">0</Value>
803
                <Value instant="3">0</Value>
804
                <Value instant="4">1</Value>
805
                <Value instant="5">0</Value>
806
                <Value instant="6">0</Value>
807
                <Value instant="7">1</Value>
808
                <Value instant="8">1</Value>
809
                <Value instant="9">1</Value>
810
                <Value instant="10">1</Value>
811
                <Value instant="11">1</Value>
812
                <Value instant="12">1</Value>
813
                <Value instant="13">1</Value>
814
                <Value instant="14">1</Value>
815
           </Stream>
816
            <Stream name="p1" type="int">
817
                <Value instant="0">4</Value>
818
                <Value instant="1">4</Value>
819
                <Value instant="2">4</Value>
820
                <Value instant="3">4</Value>
821
                <Value instant="4">4</Value>
822
                <Value instant="5">4</Value>
823
                <Value instant="6">4</Value>
824
                <Value instant="7">4</Value>
825
                <Value instant="8">4</Value>
826
                <Value instant="9">4</Value>
827
                <Value instant="10">4</Value>
828
                <Value instant="11">4</Value>
829
                <Value instant="12">4</Value>
830
                <Value instant="13">4</Value>
831
                <Value instant="14">4</Value>
832
           </Stream>
833
            <Stream name="e4" type="bool">
834
                <Value instant="0">1</Value>
835
                <Value instant="1">1</Value>
836
                <Value instant="2">1</Value>
837
                <Value instant="3">1</Value>
838
                <Value instant="4">1</Value>
839
                <Value instant="5">1</Value>
840
                <Value instant="6">1</Value>
841
                <Value instant="7">1</Value>
842
                <Value instant="8">1</Value>
843
                <Value instant="9">1</Value>
844
                <Value instant="10">1</Value>
845
                <Value instant="11">1</Value>
846
                <Value instant="12">1</Value>
847
                <Value instant="13">1</Value>
848
                <Value instant="14">1</Value>
849
           </Stream>
850
            <Stream name="e5" type="bool">
851
                <Value instant="0">1</Value>
852
                <Value instant="1">1</Value>
853
                <Value instant="2">1</Value>
854
                <Value instant="3">1</Value>
855
                <Value instant="4">1</Value>
856 377
                <Value instant="5">1</Value>
857 378
                <Value instant="6">1</Value>
858 379
                <Value instant="7">1</Value>
......
860 381
                <Value instant="9">1</Value>
861 382
                <Value instant="10">1</Value>
862 383
                <Value instant="11">1</Value>
863
                <Value instant="12">1</Value>
864
                <Value instant="13">1</Value>
865
                <Value instant="14">1</Value>
866 384
           </Stream>
867 385
            <Stream name="x3" type="int">
868 386
                <Value instant="0">0</Value>
869 387
                <Value instant="1">0</Value>
870 388
                <Value instant="2">0</Value>
871
                <Value instant="3">0</Value>
389
                <Value instant="3">1</Value>
872 390
                <Value instant="4">0</Value>
873
                <Value instant="5">1</Value>
391
                <Value instant="5">0</Value>
874 392
                <Value instant="6">0</Value>
875 393
                <Value instant="7">0</Value>
876 394
                <Value instant="8">0</Value>
877 395
                <Value instant="9">0</Value>
878 396
                <Value instant="10">0</Value>
879 397
                <Value instant="11">0</Value>
880
                <Value instant="12">0</Value>
881
                <Value instant="13">0</Value>
882
                <Value instant="14">0</Value>
883 398
           </Stream>
884 399
            <Stream name="e6" type="bool">
400
                <Value instant="0">0</Value>
401
                <Value instant="1">0</Value>
402
                <Value instant="2">0</Value>
403
                <Value instant="3">0</Value>
404
                <Value instant="4">0</Value>
405
                <Value instant="5">0</Value>
406
                <Value instant="6">0</Value>
407
                <Value instant="7">0</Value>
408
                <Value instant="8">0</Value>
409
                <Value instant="9">0</Value>
410
                <Value instant="10">0</Value>
411
                <Value instant="11">0</Value>
412
           </Stream>
413
            <Stream name="x7" type="int">
885 414
                <Value instant="0">1</Value>
886 415
                <Value instant="1">1</Value>
887
                <Value instant="2">1</Value>
888
                <Value instant="3">1</Value>
416
                <Value instant="2">0</Value>
417
                <Value instant="3">0</Value>
418
                <Value instant="4">0</Value>
419
                <Value instant="5">1</Value>
420
                <Value instant="6">2</Value>
421
                <Value instant="7">3</Value>
422
                <Value instant="8">4</Value>
423
                <Value instant="9">5</Value>
424
                <Value instant="10">6</Value>
425
                <Value instant="11">7</Value>
426
           </Stream>
427
            <Stream name="x4" type="int">
428
                <Value instant="0">0</Value>
429
                <Value instant="1">0</Value>
430
                <Value instant="2">0</Value>
431
                <Value instant="3">0</Value>
889 432
                <Value instant="4">1</Value>
890 433
                <Value instant="5">1</Value>
891 434
                <Value instant="6">1</Value>
......
894 437
                <Value instant="9">1</Value>
895 438
                <Value instant="10">1</Value>
896 439
                <Value instant="11">1</Value>
897
                <Value instant="12">1</Value>
898
                <Value instant="13">1</Value>
899
                <Value instant="14">1</Value>
900 440
           </Stream>
901
            <Stream name="e6" type="bool">
441
            <Stream name="x5" type="int">
442
                <Value instant="0">0</Value>
443
                <Value instant="1">0</Value>
444
                <Value instant="2">0</Value>
445
                <Value instant="3">0</Value>
446
                <Value instant="4">0</Value>
447
                <Value instant="5">1</Value>
448
                <Value instant="6">2</Value>
449
                <Value instant="7">3</Value>
450
                <Value instant="8">4</Value>
451
                <Value instant="9">5</Value>
452
                <Value instant="10">6</Value>
453
                <Value instant="11">7</Value>
454
           </Stream>
455
            <Stream name="init_p2" type="int">
902 456
                <Value instant="0">1</Value>
903 457
                <Value instant="1">1</Value>
904 458
                <Value instant="2">1</Value>
905 459
                <Value instant="3">1</Value>
906 460
                <Value instant="4">1</Value>
907 461
                <Value instant="5">1</Value>
908
                <Value instant="6">1</Value>
909
                <Value instant="7">1</Value>
910
                <Value instant="8">1</Value>
911
                <Value instant="9">1</Value>
912
                <Value instant="10">1</Value>
913
                <Value instant="11">1</Value>
914
                <Value instant="12">1</Value>
915
                <Value instant="13">1</Value>
916
                <Value instant="14">1</Value>
462
                <Value instant="6">2</Value>
463
                <Value instant="7">3</Value>
464
                <Value instant="8">4</Value>
465
                <Value instant="9">5</Value>
466
                <Value instant="10">6</Value>
467
                <Value instant="11">7</Value>
917 468
           </Stream>
918
            <Stream name="x7" type="int">
919
                <Value instant="0">3</Value>
920
                <Value instant="1">3</Value>
921
                <Value instant="2">3</Value>
922
                <Value instant="3">3</Value>
923
                <Value instant="4">2</Value>
924
                <Value instant="5">2</Value>
469
            <Stream name="init_p1" type="int">
470
                <Value instant="0">1</Value>
471
                <Value instant="1">1</Value>
472
                <Value instant="2">1</Value>
473
                <Value instant="3">1</Value>
474
                <Value instant="4">1</Value>
475
                <Value instant="5">1</Value>
925 476
                <Value instant="6">2</Value>
926
                <Value instant="7">1</Value>
927
                <Value instant="8">2</Value>
928
                <Value instant="9">3</Value>
929
                <Value instant="10">4</Value>
930
                <Value instant="11">5</Value>
931
                <Value instant="12">6</Value>
932
                <Value instant="13">7</Value>
933
                <Value instant="14">8</Value>
477
                <Value instant="7">3</Value>
478
                <Value instant="8">4</Value>
479
                <Value instant="9">5</Value>
480
                <Value instant="10">6</Value>
481
                <Value instant="11">7</Value>
934 482
           </Stream>
935
            <Stream name="x4" type="int">
936
                <Value instant="0">0</Value>
937
                <Value instant="1">0</Value>
483
            <Stream name="e1" type="bool">
484
                <Value instant="0">1</Value>
485
                <Value instant="1">1</Value>
938 486
                <Value instant="2">0</Value>
939 487
                <Value instant="3">0</Value>
940 488
                <Value instant="4">0</Value>
941 489
                <Value instant="5">0</Value>
942
                <Value instant="6">1</Value>
943
                <Value instant="7">1</Value>
944
                <Value instant="8">1</Value>
945
                <Value instant="9">1</Value>
946
                <Value instant="10">1</Value>
947
                <Value instant="11">1</Value>
948
                <Value instant="12">1</Value>
949
                <Value instant="13">1</Value>
950
                <Value instant="14">1</Value>
490
                <Value instant="6">0</Value>
491
                <Value instant="7">0</Value>
492
                <Value instant="8">0</Value>
493
                <Value instant="9">0</Value>
494
                <Value instant="10">0</Value>
495
                <Value instant="11">0</Value>
951 496
           </Stream>
952
            <Stream name="x5" type="int">
953
                <Value instant="0">0</Value>
497
            <Stream name="x6" type="int">
498
                <Value instant="0">1</Value>
954 499
                <Value instant="1">0</Value>
955 500
                <Value instant="2">0</Value>
956
                <Value instant="3">0</Value>
501
                <Value instant="3">1</Value>
957 502
                <Value instant="4">0</Value>
958 503
                <Value instant="5">0</Value>
959 504
                <Value instant="6">0</Value>
960 505
                <Value instant="7">0</Value>
961
                <Value instant="8">1</Value>
962
                <Value instant="9">2</Value>
963
                <Value instant="10">3</Value>
964
                <Value instant="11">4</Value>
965
                <Value instant="12">5</Value>
966
                <Value instant="13">6</Value>
967
                <Value instant="14">7</Value>
506
                <Value instant="8">0</Value>
507
                <Value instant="9">0</Value>
508
                <Value instant="10">0</Value>
509
                <Value instant="11">0</Value>
968 510
           </Stream>
969
            <Stream name="init_p2" type="int">
970
                <Value instant="0">3</Value>
511
            <Stream name="e3" type="bool">
512
                <Value instant="0">0</Value>
971 513
                <Value instant="1">0</Value>
972 514
                <Value instant="2">0</Value>
973
                <Value instant="3">0</Value>
515
                <Value instant="3">1</Value>
974 516
                <Value instant="4">0</Value>
975 517
                <Value instant="5">0</Value>
976 518
                <Value instant="6">0</Value>
......
979 521
                <Value instant="9">0</Value>
980 522
                <Value instant="10">0</Value>
981 523
                <Value instant="11">0</Value>
982
                <Value instant="12">0</Value>
983
                <Value instant="13">0</Value>
984
                <Value instant="14">0</Value>
985 524
           </Stream>
986
            <Stream name="init_p1" type="int">
987
                <Value instant="0">4</Value>
525
            <Stream name="e2" type="bool">
526
                <Value instant="0">0</Value>
988 527
                <Value instant="1">0</Value>
989
                <Value instant="2">0</Value>
528
                <Value instant="2">1</Value>
990 529
                <Value instant="3">0</Value>
991 530
                <Value instant="4">0</Value>
992 531
                <Value instant="5">0</Value>
......
996 535
                <Value instant="9">0</Value>
997 536
                <Value instant="10">0</Value>
998 537
                <Value instant="11">0</Value>
999
                <Value instant="12">0</Value>
1000
                <Value instant="13">0</Value>
1001
                <Value instant="14">0</Value>
1002 538
           </Stream>
1003
            <Stream name="e1" type="bool">
539
         </Node>
540
 <Node name ="excludes6_fun">
541
            <Stream name="excludes" type="unk">
1004 542
                <Value instant="0">1</Value>
1005 543
                <Value instant="1">1</Value>
1006 544
                <Value instant="2">1</Value>
......
1013 551
                <Value instant="9">1</Value>
1014 552
                <Value instant="10">1</Value>
1015 553
                <Value instant="11">1</Value>
1016
                <Value instant="12">1</Value>
1017
                <Value instant="13">1</Value>
1018
                <Value instant="14">1</Value>
1019 554
           </Stream>
1020
            <Stream name="x6" type="int">
1021
                <Value instant="0">4</Value>
1022
                <Value instant="1">3</Value>
1023
                <Value instant="2">2</Value>
1024
                <Value instant="3">1</Value>
1025
                <Value instant="4">1</Value>
1026
                <Value instant="5">2</Value>
1027
                <Value instant="6">1</Value>
1028
                <Value instant="7">1</Value>
1029
                <Value instant="8">1</Value>
1030
                <Value instant="9">1</Value>
1031
                <Value instant="10">1</Value>
1032
                <Value instant="11">1</Value>
1033
                <Value instant="12">1</Value>
1034
                <Value instant="13">1</Value>
1035
                <Value instant="14">1</Value>
555
            <Stream name="X2" type="unk">
556
                <Value instant="0">0</Value>
557
                <Value instant="1">0</Value>
558
                <Value instant="2">1</Value>
559
                <Value instant="3">0</Value>
560
                <Value instant="4">0</Value>
561
                <Value instant="5">0</Value>
562
                <Value instant="6">0</Value>
563
                <Value instant="7">0</Value>
564
                <Value instant="8">0</Value>
565
                <Value instant="9">0</Value>
566
                <Value instant="10">0</Value>
567
                <Value instant="11">0</Value>
1036 568
           </Stream>
1037
            <Stream name="x6" type="int">
1038
                <Value instant="0">4</Value>
1039
                <Value instant="1">3</Value>
1040
                <Value instant="2">2</Value>
569
            <Stream name="X3" type="unk">
570
                <Value instant="0">0</Value>
571
                <Value instant="1">0</Value>
572
                <Value instant="2">0</Value>
1041 573
                <Value instant="3">1</Value>
1042
                <Value instant="4">1</Value>
1043
                <Value instant="5">2</Value>
1044
                <Value instant="6">1</Value>
1045
                <Value instant="7">1</Value>
1046
                <Value instant="8">1</Value>
1047
                <Value instant="9">1</Value>
1048
                <Value instant="10">1</Value>
1049
                <Value instant="11">1</Value>
1050
                <Value instant="12">1</Value>
1051
                <Value instant="13">1</Value>
1052
                <Value instant="14">1</Value>
574
                <Value instant="4">0</Value>
575
                <Value instant="5">0</Value>
576
                <Value instant="6">0</Value>
577
                <Value instant="7">0</Value>
578
                <Value instant="8">0</Value>
579
                <Value instant="9">0</Value>
580
                <Value instant="10">0</Value>
581
                <Value instant="11">0</Value>
1053 582
           </Stream>
1054
            <Stream name="e3" type="bool">
583
            <Stream name="X1" type="unk">
1055 584
                <Value instant="0">1</Value>
1056 585
                <Value instant="1">1</Value>
1057
                <Value instant="2">1</Value>
1058
                <Value instant="3">1</Value>
586
                <Value instant="2">0</Value>
587
                <Value instant="3">0</Value>
588
                <Value instant="4">0</Value>
589
                <Value instant="5">0</Value>
590
                <Value instant="6">0</Value>
591
                <Value instant="7">0</Value>
592
                <Value instant="8">0</Value>
593
                <Value instant="9">0</Value>
594
                <Value instant="10">0</Value>
595
                <Value instant="11">0</Value>
596
           </Stream>
597
            <Stream name="X6" type="unk">
598
                <Value instant="0">0</Value>
599
                <Value instant="1">0</Value>
600
                <Value instant="2">0</Value>
601
                <Value instant="3">0</Value>
602
                <Value instant="4">0</Value>
603
                <Value instant="5">0</Value>
604
                <Value instant="6">0</Value>
605
                <Value instant="7">0</Value>
606
                <Value instant="8">0</Value>
607
                <Value instant="9">0</Value>
608
                <Value instant="10">0</Value>
609
                <Value instant="11">0</Value>
610
           </Stream>
611
            <Stream name="X4" type="unk">
612
                <Value instant="0">0</Value>
613
                <Value instant="1">0</Value>
614
                <Value instant="2">0</Value>
615
                <Value instant="3">0</Value>
1059 616
                <Value instant="4">1</Value>
617
                <Value instant="5">0</Value>
618
                <Value instant="6">0</Value>
619
                <Value instant="7">0</Value>
620
                <Value instant="8">0</Value>
621
                <Value instant="9">0</Value>
622
                <Value instant="10">0</Value>
623
                <Value instant="11">0</Value>
624
           </Stream>
625
            <Stream name="X5" type="unk">
626
                <Value instant="0">0</Value>
627
                <Value instant="1">0</Value>
628
                <Value instant="2">0</Value>
629
                <Value instant="3">0</Value>
630
                <Value instant="4">0</Value>
1060 631
                <Value instant="5">1</Value>
1061 632
                <Value instant="6">1</Value>
1062 633
                <Value instant="7">1</Value>
......
1064 635
                <Value instant="9">1</Value>
1065 636
                <Value instant="10">1</Value>
1066 637
                <Value instant="11">1</Value>
1067
                <Value instant="12">1</Value>
1068
                <Value instant="13">1</Value>
1069
                <Value instant="14">1</Value>
1070 638
           </Stream>
1071
            <Stream name="e3" type="bool">
639
         </Node>
640
 <Node name ="First">
641
            <Stream name="X" type="int">
1072 642
                <Value instant="0">1</Value>
1073 643
                <Value instant="1">1</Value>
1074 644
                <Value instant="2">1</Value>
......
1081 651
                <Value instant="9">1</Value>
1082 652
                <Value instant="10">1</Value>
1083 653
                <Value instant="11">1</Value>
1084
                <Value instant="12">1</Value>
1085
                <Value instant="13">1</Value>
1086
                <Value instant="14">1</Value>
654
                <Value instant="12">2</Value>
655
                <Value instant="13">2</Value>
656
                <Value instant="14">3</Value>
657
                <Value instant="15">3</Value>
658
                <Value instant="16">4</Value>
659
                <Value instant="17">4</Value>
660
                <Value instant="18">5</Value>
661
                <Value instant="19">5</Value>
662
                <Value instant="20">6</Value>
663
                <Value instant="21">6</Value>
664
                <Value instant="22">7</Value>
665
                <Value instant="23">7</Value>
1087 666
           </Stream>
1088
            <Stream name="e2" type="bool">
667
            <Stream name="First" type="int">
1089 668
                <Value instant="0">1</Value>
1090 669
                <Value instant="1">1</Value>
1091 670
                <Value instant="2">1</Value>
......
1101 680
                <Value instant="12">1</Value>
1102 681
                <Value instant="13">1</Value>
1103 682
                <Value instant="14">1</Value>
1104
           </Stream>
1105
         </Node>
1106
 <Node name ="First">
1107
            <Stream name="X" type="int">
1108
                <Value instant="0">3</Value>
1109
                <Value instant="1">4</Value>
1110
                <Value instant="2">0</Value>
1111
                <Value instant="3">0</Value>
1112
                <Value instant="4">0</Value>
1113
                <Value instant="5">0</Value>
1114
                <Value instant="6">0</Value>
1115
                <Value instant="7">0</Value>
1116
                <Value instant="8">0</Value>
1117
                <Value instant="9">0</Value>
1118
                <Value instant="10">0</Value>
1119
                <Value instant="11">0</Value>
1120
                <Value instant="12">0</Value>
1121
                <Value instant="13">0</Value>
1122
                <Value instant="14">0</Value>
1123
                <Value instant="15">0</Value>
1124
                <Value instant="16">0</Value>
1125
                <Value instant="17">0</Value>
1126
                <Value instant="18">0</Value>
1127
                <Value instant="19">0</Value>
1128
                <Value instant="20">0</Value>
1129
                <Value instant="21">0</Value>
1130
                <Value instant="22">0</Value>
1131
                <Value instant="23">0</Value>
1132
                <Value instant="24">0</Value>
1133
                <Value instant="25">0</Value>
1134
                <Value instant="26">0</Value>
1135
                <Value instant="27">0</Value>
1136
                <Value instant="28">0</Value>
1137
                <Value instant="29">0</Value>
1138
           </Stream>
1139
            <Stream name="X" type="int">
1140
                <Value instant="0">3</Value>
1141
                <Value instant="1">4</Value>
1142
                <Value instant="2">0</Value>
1143
                <Value instant="3">0</Value>
1144
                <Value instant="4">0</Value>
1145
                <Value instant="5">0</Value>
1146
                <Value instant="6">0</Value>
1147
                <Value instant="7">0</Value>
1148
                <Value instant="8">0</Value>
1149
                <Value instant="9">0</Value>
1150
                <Value instant="10">0</Value>
1151
                <Value instant="11">0</Value>
1152
                <Value instant="12">0</Value>
1153
                <Value instant="13">0</Value>
1154
                <Value instant="14">0</Value>
1155
                <Value instant="15">0</Value>
1156
                <Value instant="16">0</Value>
1157
                <Value instant="17">0</Value>
1158
                <Value instant="18">0</Value>
1159
                <Value instant="19">0</Value>
1160
                <Value instant="20">0</Value>
1161
                <Value instant="21">0</Value>
1162
                <Value instant="22">0</Value>
1163
                <Value instant="23">0</Value>
1164
                <Value instant="24">0</Value>
1165
                <Value instant="25">0</Value>
1166
                <Value instant="26">0</Value>
1167
                <Value instant="27">0</Value>
1168
                <Value instant="28">0</Value>
1169
                <Value instant="29">0</Value>
1170
           </Stream>
1171
            <Stream name="First" type="int">
1172
                <Value instant="0">3</Value>
1173
                <Value instant="1">4</Value>
1174
                <Value instant="2">3</Value>
1175
                <Value instant="3">4</Value>
1176
                <Value instant="4">3</Value>
1177
                <Value instant="5">4</Value>
1178
                <Value instant="6">3</Value>
1179
                <Value instant="7">4</Value>
1180
                <Value instant="8">3</Value>
1181
                <Value instant="9">4</Value>
1182
                <Value instant="10">3</Value>
1183
                <Value instant="11">4</Value>
1184
                <Value instant="12">3</Value>
1185
                <Value instant="13">4</Value>
1186
                <Value instant="14">3</Value>
1187
                <Value instant="15">4</Value>
1188
                <Value instant="16">3</Value>
1189
                <Value instant="17">4</Value>
1190
                <Value instant="18">3</Value>
1191
                <Value instant="19">4</Value>
1192
                <Value instant="20">3</Value>
1193
                <Value instant="21">4</Value>
1194
                <Value instant="22">3</Value>
1195
                <Value instant="23">4</Value>
1196
                <Value instant="24">3</Value>
1197
                <Value instant="25">4</Value>
1198
                <Value instant="26">3</Value>
1199
                <Value instant="27">4</Value>
1200
                <Value instant="28">3</Value>
1201
                <Value instant="29">4</Value>
683
                <Value instant="15">1</Value>
684
                <Value instant="16">1</Value>
685
                <Value instant="17">1</Value>
686
                <Value instant="18">1</Value>
687
                <Value instant="19">1</Value>
688
                <Value instant="20">1</Value>
689
                <Value instant="21">1</Value>
690
                <Value instant="22">1</Value>
691
                <Value instant="23">1</Value>
1202 692
           </Stream>
1203 693
         </Node>
1204 694

  

Also available in: Unified diff