Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / simulation / metros_4_e2_968_e4_801_top__timeout60_xml.xml @ 6f6af7b8

History | View | Annotate | Download (76 KB)

1 b14ec4fb bourbouh 
<?xml version="1.0"?>
2 
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 
     <Property name="top">
4 6f6af7b8 hbourbou 
      <Date>2018-11-16 11:36</Date>
5 b14ec4fb bourbouh 
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 
      <Parse unit="sec">0.00</Parse>
7 6f6af7b8 hbourbou 
      <Query unit="sec">16.71</Query>
8 b14ec4fb bourbouh 
      <Answer>CEX</Answer>
9 
      <Counterexample>
10 
         <Node name ="Sofar">
11 
            <Stream name="Sofar" type="bool">
12 
                <Value instant="0">1</Value>
13 
                <Value instant="1">1</Value>
14 
                <Value instant="2">1</Value>
15 
                <Value instant="3">1</Value>
16 
                <Value instant="4">1</Value>
17 
                <Value instant="5">1</Value>
18 
                <Value instant="6">1</Value>
19 
                <Value instant="7">1</Value>
20 
                <Value instant="8">1</Value>
21 
                <Value instant="9">1</Value>
22 
                <Value instant="10">1</Value>
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 
                <Value instant="15">1</Value>
28 
                <Value instant="16">1</Value>
29 
                <Value instant="17">1</Value>
30 
                <Value instant="18">1</Value>
31 
                <Value instant="19">1</Value>
32 
                <Value instant="20">1</Value>
33 
                <Value instant="21">1</Value>
34 
                <Value instant="22">1</Value>
35 
                <Value instant="23">1</Value>
36 
                <Value instant="24">1</Value>
37 
                <Value instant="25">1</Value>
38 
                <Value instant="26">1</Value>
39 
                <Value instant="27">1</Value>
40 
                <Value instant="28">1</Value>
41 
                <Value instant="29">1</Value>
42 
                <Value instant="30">1</Value>
43 
                <Value instant="31">1</Value>
44 
           </Stream>
45 
            <Stream name="X" type="bool">
46 
                <Value instant="0">1</Value>
47 
                <Value instant="1">1</Value>
48 
                <Value instant="2">1</Value>
49 
                <Value instant="3">1</Value>
50 
                <Value instant="4">1</Value>
51 
                <Value instant="5">1</Value>
52 
                <Value instant="6">1</Value>
53 
                <Value instant="7">1</Value>
54 
                <Value instant="8">1</Value>
55 
                <Value instant="9">1</Value>
56 
                <Value instant="10">1</Value>
57 
                <Value instant="11">1</Value>
58 
                <Value instant="12">1</Value>
59 
                <Value instant="13">1</Value>
60 
                <Value instant="14">1</Value>
61 
                <Value instant="15">1</Value>
62 
                <Value instant="16">1</Value>
63 
                <Value instant="17">1</Value>
64 
                <Value instant="18">1</Value>
65 
                <Value instant="19">1</Value>
66 
                <Value instant="20">1</Value>
67 
                <Value instant="21">1</Value>
68 
                <Value instant="22">1</Value>
69 
                <Value instant="23">1</Value>
70 
                <Value instant="24">1</Value>
71 
                <Value instant="25">1</Value>
72 
                <Value instant="26">1</Value>
73 
                <Value instant="27">1</Value>
74 
                <Value instant="28">1</Value>
75 
                <Value instant="29">1</Value>
76 
                <Value instant="30">1</Value>
77 
                <Value instant="31">1</Value>
78 
           </Stream>
79 
         </Node>
80 
 <Node name ="hypothese">
81 
            <Stream name="c" type="int">
82 
                <Value instant="0">0</Value>
83 
                <Value instant="1">0</Value>
84 
                <Value instant="2">0</Value>
85 
                <Value instant="3">0</Value>
86 
                <Value instant="4">0</Value>
87 
                <Value instant="5">0</Value>
88 
                <Value instant="6">0</Value>
89 
                <Value instant="7">0</Value>
90 
                <Value instant="8">0</Value>
91 
                <Value instant="9">0</Value>
92 
                <Value instant="10">0</Value>
93 
                <Value instant="11">0</Value>
94 
                <Value instant="12">0</Value>
95 
                <Value instant="13">0</Value>
96 
                <Value instant="14">0</Value>
97 
                <Value instant="15">0</Value>
98 
                <Value instant="16">0</Value>
99 
                <Value instant="17">0</Value>
100 
                <Value instant="18">0</Value>
101 
                <Value instant="19">0</Value>
102 
                <Value instant="20">0</Value>
103 
                <Value instant="21">0</Value>
104 
                <Value instant="22">0</Value>
105 
                <Value instant="23">0</Value>
106 
                <Value instant="24">0</Value>
107 
                <Value instant="25">0</Value>
108 
                <Value instant="26">0</Value>
109 
                <Value instant="27">0</Value>
110 
                <Value instant="28">0</Value>
111 
                <Value instant="29">0</Value>
112 
                <Value instant="30">0</Value>
113 
                <Value instant="31">0</Value>
114 
                <Value instant="32">0</Value>
115 
                <Value instant="33">0</Value>
116 
                <Value instant="34">0</Value>
117 
                <Value instant="35">0</Value>
118 
                <Value instant="36">0</Value>
119 
                <Value instant="37">0</Value>
120 
                <Value instant="38">0</Value>
121 
                <Value instant="39">0</Value>
122 
                <Value instant="40">0</Value>
123 
                <Value instant="41">0</Value>
124 
                <Value instant="42">0</Value>
125 
                <Value instant="43">0</Value>
126 
                <Value instant="44">0</Value>
127 
                <Value instant="45">0</Value>
128 
                <Value instant="46">0</Value>
129 
                <Value instant="47">0</Value>
130 
                <Value instant="48">0</Value>
131 
                <Value instant="49">0</Value>
132 
                <Value instant="50">0</Value>
133 
                <Value instant="51">0</Value>
134 
                <Value instant="52">0</Value>
135 
                <Value instant="53">0</Value>
136 
                <Value instant="54">0</Value>
137 
                <Value instant="55">0</Value>
138 
                <Value instant="56">0</Value>
139 
                <Value instant="57">0</Value>
140 
                <Value instant="58">0</Value>
141 
                <Value instant="59">0</Value>
142 
                <Value instant="60">0</Value>
143 
                <Value instant="61">0</Value>
144 
                <Value instant="62">0</Value>
145 
                <Value instant="63">0</Value>
146 
           </Stream>
147 
            <Stream name="B" type="bool">
148 6f6af7b8 hbourbou 
                <Value instant="0">0</Value>
149 
                <Value instant="1">0</Value>
150 b14ec4fb bourbouh 
                <Value instant="2">1</Value>
151 6f6af7b8 hbourbou 
                <Value instant="3">0</Value>
152 b14ec4fb bourbouh 
                <Value instant="4">1</Value>
153 6f6af7b8 hbourbou 
                <Value instant="5">0</Value>
154 b14ec4fb bourbouh 
                <Value instant="6">1</Value>
155 6f6af7b8 hbourbou 
                <Value instant="7">0</Value>
156 b14ec4fb bourbouh 
                <Value instant="8">1</Value>
157 6f6af7b8 hbourbou 
                <Value instant="9">0</Value>
158 b14ec4fb bourbouh 
                <Value instant="10">1</Value>
159 6f6af7b8 hbourbou 
                <Value instant="11">0</Value>
160 b14ec4fb bourbouh 
                <Value instant="12">1</Value>
161 6f6af7b8 hbourbou 
                <Value instant="13">0</Value>
162 b14ec4fb bourbouh 
                <Value instant="14">1</Value>
163 6f6af7b8 hbourbou 
                <Value instant="15">0</Value>
164 b14ec4fb bourbouh 
                <Value instant="16">1</Value>
165 6f6af7b8 hbourbou 
                <Value instant="17">0</Value>
166 b14ec4fb bourbouh 
                <Value instant="18">1</Value>
167 6f6af7b8 hbourbou 
                <Value instant="19">0</Value>
168 b14ec4fb bourbouh 
                <Value instant="20">1</Value>
169 6f6af7b8 hbourbou 
                <Value instant="21">0</Value>
170 b14ec4fb bourbouh 
                <Value instant="22">1</Value>
171 6f6af7b8 hbourbou 
                <Value instant="23">0</Value>
172 b14ec4fb bourbouh 
                <Value instant="24">1</Value>
173 6f6af7b8 hbourbou 
                <Value instant="25">0</Value>
174 b14ec4fb bourbouh 
                <Value instant="26">1</Value>
175 6f6af7b8 hbourbou 
                <Value instant="27">0</Value>
176 b14ec4fb bourbouh 
                <Value instant="28">1</Value>
177 6f6af7b8 hbourbou 
                <Value instant="29">0</Value>
178 b14ec4fb bourbouh 
                <Value instant="30">1</Value>
179 6f6af7b8 hbourbou 
                <Value instant="31">0</Value>
180 b14ec4fb bourbouh 
                <Value instant="32">1</Value>
181 6f6af7b8 hbourbou 
                <Value instant="33">0</Value>
182 b14ec4fb bourbouh 
                <Value instant="34">1</Value>
183 6f6af7b8 hbourbou 
                <Value instant="35">0</Value>
184 b14ec4fb bourbouh 
                <Value instant="36">1</Value>
185 6f6af7b8 hbourbou 
                <Value instant="37">0</Value>
186 b14ec4fb bourbouh 
                <Value instant="38">1</Value>
187 6f6af7b8 hbourbou 
                <Value instant="39">0</Value>
188 b14ec4fb bourbouh 
                <Value instant="40">1</Value>
189 6f6af7b8 hbourbou 
                <Value instant="41">0</Value>
190 b14ec4fb bourbouh 
                <Value instant="42">1</Value>
191 6f6af7b8 hbourbou 
                <Value instant="43">0</Value>
192 b14ec4fb bourbouh 
                <Value instant="44">1</Value>
193 6f6af7b8 hbourbou 
                <Value instant="45">0</Value>
194 b14ec4fb bourbouh 
                <Value instant="46">1</Value>
195 6f6af7b8 hbourbou 
                <Value instant="47">0</Value>
196 b14ec4fb bourbouh 
                <Value instant="48">1</Value>
197 6f6af7b8 hbourbou 
                <Value instant="49">0</Value>
198 b14ec4fb bourbouh 
                <Value instant="50">1</Value>
199 6f6af7b8 hbourbou 
                <Value instant="51">0</Value>
200 b14ec4fb bourbouh 
                <Value instant="52">1</Value>
201 6f6af7b8 hbourbou 
                <Value instant="53">0</Value>
202 b14ec4fb bourbouh 
                <Value instant="54">1</Value>
203 6f6af7b8 hbourbou 
                <Value instant="55">0</Value>
204 b14ec4fb bourbouh 
                <Value instant="56">1</Value>
205 6f6af7b8 hbourbou 
                <Value instant="57">0</Value>
206 b14ec4fb bourbouh 
                <Value instant="58">1</Value>
207 6f6af7b8 hbourbou 
                <Value instant="59">0</Value>
208 b14ec4fb bourbouh 
                <Value instant="60">1</Value>
209 6f6af7b8 hbourbou 
                <Value instant="61">0</Value>
210 b14ec4fb bourbouh 
                <Value instant="62">1</Value>
211 6f6af7b8 hbourbou 
                <Value instant="63">0</Value>
212 b14ec4fb bourbouh 
           </Stream>
213 
            <Stream name="ok" type="bool">
214 
                <Value instant="0">1</Value>
215 
                <Value instant="1">1</Value>
216 
                <Value instant="2">1</Value>
217 
                <Value instant="3">1</Value>
218 
                <Value instant="4">1</Value>
219 
                <Value instant="5">1</Value>
220 
                <Value instant="6">1</Value>
221 
                <Value instant="7">1</Value>
222 
                <Value instant="8">1</Value>
223 
                <Value instant="9">1</Value>
224 
                <Value instant="10">1</Value>
225 
                <Value instant="11">1</Value>
226 
                <Value instant="12">1</Value>
227 
                <Value instant="13">1</Value>
228 
                <Value instant="14">1</Value>
229 
                <Value instant="15">1</Value>
230 
                <Value instant="16">1</Value>
231 
                <Value instant="17">1</Value>
232 
                <Value instant="18">1</Value>
233 
                <Value instant="19">1</Value>
234 
                <Value instant="20">1</Value>
235 
                <Value instant="21">1</Value>
236 
                <Value instant="22">1</Value>
237 
                <Value instant="23">1</Value>
238 
                <Value instant="24">1</Value>
239 
                <Value instant="25">1</Value>
240 
                <Value instant="26">1</Value>
241 
                <Value instant="27">1</Value>
242 
                <Value instant="28">1</Value>
243 
                <Value instant="29">1</Value>
244 
                <Value instant="30">1</Value>
245 
                <Value instant="31">1</Value>
246 
                <Value instant="32">1</Value>
247 
                <Value instant="33">1</Value>
248 
                <Value instant="34">1</Value>
249 
                <Value instant="35">1</Value>
250 
                <Value instant="36">1</Value>
251 
                <Value instant="37">1</Value>
252 
                <Value instant="38">1</Value>
253 
                <Value instant="39">1</Value>
254 
                <Value instant="40">1</Value>
255 
                <Value instant="41">1</Value>
256 
                <Value instant="42">1</Value>
257 
                <Value instant="43">1</Value>
258 
                <Value instant="44">1</Value>
259 
                <Value instant="45">1</Value>
260 
                <Value instant="46">1</Value>
261 
                <Value instant="47">1</Value>
262 
                <Value instant="48">1</Value>
263 
                <Value instant="49">1</Value>
264 
                <Value instant="50">1</Value>
265 
                <Value instant="51">1</Value>
266 
                <Value instant="52">1</Value>
267 
                <Value instant="53">1</Value>
268 
                <Value instant="54">1</Value>
269 
                <Value instant="55">1</Value>
270 
                <Value instant="56">1</Value>
271 
                <Value instant="57">1</Value>
272 
                <Value instant="58">1</Value>
273 
                <Value instant="59">1</Value>
274 
                <Value instant="60">1</Value>
275 
                <Value instant="61">1</Value>
276 
                <Value instant="62">1</Value>
277 
                <Value instant="63">1</Value>
278 
           </Stream>
279 
            <Stream name="retard" type="bool">
280 6f6af7b8 hbourbou 
                <Value instant="0">0</Value>
281 
                <Value instant="1">0</Value>
282 
                <Value instant="2">0</Value>
283 
                <Value instant="3">0</Value>
284 
                <Value instant="4">0</Value>
285 
                <Value instant="5">0</Value>
286 
                <Value instant="6">0</Value>
287 
                <Value instant="7">0</Value>
288 
                <Value instant="8">0</Value>
289 
                <Value instant="9">0</Value>
290 
                <Value instant="10">0</Value>
291 
                <Value instant="11">0</Value>
292 
                <Value instant="12">0</Value>
293 
                <Value instant="13">0</Value>
294 
                <Value instant="14">0</Value>
295 
                <Value instant="15">0</Value>
296 
                <Value instant="16">0</Value>
297 
                <Value instant="17">0</Value>
298 
                <Value instant="18">0</Value>
299 
                <Value instant="19">0</Value>
300 
                <Value instant="20">0</Value>
301 
                <Value instant="21">0</Value>
302 
                <Value instant="22">0</Value>
303 
                <Value instant="23">0</Value>
304 
                <Value instant="24">0</Value>
305 
                <Value instant="25">0</Value>
306 
                <Value instant="26">0</Value>
307 
                <Value instant="27">0</Value>
308 
                <Value instant="28">0</Value>
309 
                <Value instant="29">0</Value>
310 
                <Value instant="30">0</Value>
311 
                <Value instant="31">0</Value>
312 
                <Value instant="32">0</Value>
313 
                <Value instant="33">0</Value>
314 
                <Value instant="34">0</Value>
315 
                <Value instant="35">0</Value>
316 
                <Value instant="36">0</Value>
317 
                <Value instant="37">0</Value>
318 
                <Value instant="38">0</Value>
319 
                <Value instant="39">0</Value>
320 
                <Value instant="40">0</Value>
321 
                <Value instant="41">0</Value>
322 
                <Value instant="42">0</Value>
323 
                <Value instant="43">0</Value>
324 
                <Value instant="44">0</Value>
325 
                <Value instant="45">0</Value>
326 
                <Value instant="46">0</Value>
327 
                <Value instant="47">0</Value>
328 
                <Value instant="48">0</Value>
329 
                <Value instant="49">0</Value>
330 
                <Value instant="50">0</Value>
331 
                <Value instant="51">0</Value>
332 
                <Value instant="52">0</Value>
333 
                <Value instant="53">0</Value>
334 
                <Value instant="54">0</Value>
335 
                <Value instant="55">0</Value>
336 
                <Value instant="56">0</Value>
337 
                <Value instant="57">0</Value>
338 
                <Value instant="58">0</Value>
339 
                <Value instant="59">0</Value>
340 
                <Value instant="60">0</Value>
341 
                <Value instant="61">0</Value>
342 
                <Value instant="62">0</Value>
343 
                <Value instant="63">0</Value>
344 
           </Stream>
345 
            <Stream name="S" type="bool">
346 
                <Value instant="0">0</Value>
347 
                <Value instant="1">0</Value>
348 
                <Value instant="2">0</Value>
349 
                <Value instant="3">0</Value>
350 
                <Value instant="4">0</Value>
351 
                <Value instant="5">0</Value>
352 
                <Value instant="6">0</Value>
353 
                <Value instant="7">0</Value>
354 
                <Value instant="8">0</Value>
355 
                <Value instant="9">0</Value>
356 
                <Value instant="10">0</Value>
357 
                <Value instant="11">0</Value>
358 
                <Value instant="12">0</Value>
359 
                <Value instant="13">0</Value>
360 
                <Value instant="14">0</Value>
361 
                <Value instant="15">0</Value>
362 
                <Value instant="16">0</Value>
363 
                <Value instant="17">0</Value>
364 
                <Value instant="18">0</Value>
365 
                <Value instant="19">0</Value>
366 
                <Value instant="20">0</Value>
367 
                <Value instant="21">0</Value>
368 
                <Value instant="22">0</Value>
369 
                <Value instant="23">0</Value>
370 
                <Value instant="24">0</Value>
371 
                <Value instant="25">0</Value>
372 
                <Value instant="26">0</Value>
373 
                <Value instant="27">0</Value>
374 
                <Value instant="28">0</Value>
375 
                <Value instant="29">0</Value>
376 
                <Value instant="30">0</Value>
377 
                <Value instant="31">0</Value>
378 
                <Value instant="32">0</Value>
379 
                <Value instant="33">0</Value>
380 
                <Value instant="34">0</Value>
381 
                <Value instant="35">0</Value>
382 
                <Value instant="36">0</Value>
383 
                <Value instant="37">0</Value>
384 
                <Value instant="38">0</Value>
385 
                <Value instant="39">0</Value>
386 
                <Value instant="40">0</Value>
387 
                <Value instant="41">0</Value>
388 
                <Value instant="42">0</Value>
389 
                <Value instant="43">0</Value>
390 
                <Value instant="44">0</Value>
391 
                <Value instant="45">0</Value>
392 
                <Value instant="46">0</Value>
393 
                <Value instant="47">0</Value>
394 
                <Value instant="48">0</Value>
395 
                <Value instant="49">0</Value>
396 
                <Value instant="50">0</Value>
397 
                <Value instant="51">0</Value>
398 
                <Value instant="52">0</Value>
399 
                <Value instant="53">0</Value>
400 
                <Value instant="54">0</Value>
401 
                <Value instant="55">0</Value>
402 
                <Value instant="56">0</Value>
403 
                <Value instant="57">0</Value>
404 
                <Value instant="58">0</Value>
405 
                <Value instant="59">0</Value>
406 
                <Value instant="60">0</Value>
407 
                <Value instant="61">0</Value>
408 b14ec4fb bourbouh 
                <Value instant="62">1</Value>
409 
                <Value instant="63">1</Value>
410 
           </Stream>
411 6f6af7b8 hbourbou 
            <Stream name="avance" type="bool">
412 
                <Value instant="0">0</Value>
413 
                <Value instant="1">0</Value>
414 
                <Value instant="2">0</Value>
415 
                <Value instant="3">0</Value>
416 
                <Value instant="4">0</Value>
417 
                <Value instant="5">0</Value>
418 
                <Value instant="6">0</Value>
419 
                <Value instant="7">0</Value>
420 
                <Value instant="8">0</Value>
421 
                <Value instant="9">0</Value>
422 
                <Value instant="10">0</Value>
423 
                <Value instant="11">0</Value>
424 
                <Value instant="12">0</Value>
425 
                <Value instant="13">0</Value>
426 
                <Value instant="14">0</Value>
427 
                <Value instant="15">0</Value>
428 
                <Value instant="16">0</Value>
429 
                <Value instant="17">0</Value>
430 
                <Value instant="18">0</Value>
431 
                <Value instant="19">0</Value>
432 b14ec4fb bourbouh 
                <Value instant="20">1</Value>
433 6f6af7b8 hbourbou 
                <Value instant="21">0</Value>
434 b14ec4fb bourbouh 
                <Value instant="22">1</Value>
435 6f6af7b8 hbourbou 
                <Value instant="23">0</Value>
436 b14ec4fb bourbouh 
                <Value instant="24">1</Value>
437 6f6af7b8 hbourbou 
                <Value instant="25">0</Value>
438 b14ec4fb bourbouh 
                <Value instant="26">1</Value>
439 6f6af7b8 hbourbou 
                <Value instant="27">0</Value>
440 b14ec4fb bourbouh 
                <Value instant="28">1</Value>
441 6f6af7b8 hbourbou 
                <Value instant="29">0</Value>
442 b14ec4fb bourbouh 
                <Value instant="30">1</Value>
443 6f6af7b8 hbourbou 
                <Value instant="31">0</Value>
444 b14ec4fb bourbouh 
                <Value instant="32">1</Value>
445 6f6af7b8 hbourbou 
                <Value instant="33">0</Value>
446 b14ec4fb bourbouh 
                <Value instant="34">1</Value>
447 6f6af7b8 hbourbou 
                <Value instant="35">0</Value>
448 b14ec4fb bourbouh 
                <Value instant="36">1</Value>
449 6f6af7b8 hbourbou 
                <Value instant="37">0</Value>
450 b14ec4fb bourbouh 
                <Value instant="38">1</Value>
451 6f6af7b8 hbourbou 
                <Value instant="39">0</Value>
452 b14ec4fb bourbouh 
                <Value instant="40">1</Value>
453 6f6af7b8 hbourbou 
                <Value instant="41">0</Value>
454 b14ec4fb bourbouh 
                <Value instant="42">1</Value>
455 6f6af7b8 hbourbou 
                <Value instant="43">0</Value>
456 b14ec4fb bourbouh 
                <Value instant="44">1</Value>
457 6f6af7b8 hbourbou 
                <Value instant="45">0</Value>
458 b14ec4fb bourbouh 
                <Value instant="46">1</Value>
459 6f6af7b8 hbourbou 
                <Value instant="47">0</Value>
460 b14ec4fb bourbouh 
                <Value instant="48">1</Value>
461 6f6af7b8 hbourbou 
                <Value instant="49">0</Value>
462 b14ec4fb bourbouh 
                <Value instant="50">1</Value>
463 6f6af7b8 hbourbou 
                <Value instant="51">0</Value>
464 b14ec4fb bourbouh 
                <Value instant="52">1</Value>
465 6f6af7b8 hbourbou 
                <Value instant="53">0</Value>
466 b14ec4fb bourbouh 
                <Value instant="54">1</Value>
467 6f6af7b8 hbourbou 
                <Value instant="55">0</Value>
468 b14ec4fb bourbouh 
                <Value instant="56">1</Value>
469 6f6af7b8 hbourbou 
                <Value instant="57">0</Value>
470 b14ec4fb bourbouh 
                <Value instant="58">1</Value>
471 6f6af7b8 hbourbou 
                <Value instant="59">0</Value>
472 b14ec4fb bourbouh 
                <Value instant="60">1</Value>
473 6f6af7b8 hbourbou 
                <Value instant="61">0</Value>
474 b14ec4fb bourbouh 
                <Value instant="62">1</Value>
475 6f6af7b8 hbourbou 
                <Value instant="63">0</Value>
476 b14ec4fb bourbouh 
           </Stream>
477 6f6af7b8 hbourbou 
         </Node>
478 
 <Node name ="main">
479 
            <Stream name="ast" type="bool">
480 b14ec4fb bourbouh 
                <Value instant="0">1</Value>
481 
                <Value instant="1">1</Value>
482 
                <Value instant="2">1</Value>
483 
                <Value instant="3">1</Value>
484 
                <Value instant="4">1</Value>
485 
                <Value instant="5">1</Value>
486 
                <Value instant="6">1</Value>
487 
                <Value instant="7">1</Value>
488 
                <Value instant="8">1</Value>
489 
                <Value instant="9">1</Value>
490 
                <Value instant="10">1</Value>
491 
                <Value instant="11">1</Value>
492 
                <Value instant="12">1</Value>
493 
                <Value instant="13">1</Value>
494 
                <Value instant="14">1</Value>
495 
                <Value instant="15">1</Value>
496 
                <Value instant="16">1</Value>
497 
                <Value instant="17">1</Value>
498 
                <Value instant="18">1</Value>
499 
                <Value instant="19">1</Value>
500 
                <Value instant="20">1</Value>
501 
                <Value instant="21">1</Value>
502 
                <Value instant="22">1</Value>
503 
                <Value instant="23">1</Value>
504 
                <Value instant="24">1</Value>
505 
                <Value instant="25">1</Value>
506 
                <Value instant="26">1</Value>
507 
                <Value instant="27">1</Value>
508 
                <Value instant="28">1</Value>
509 
                <Value instant="29">1</Value>
510 
                <Value instant="30">1</Value>
511 
                <Value instant="31">1</Value>
512 
           </Stream>
513 6f6af7b8 hbourbou 
            <Stream name="c" type="int">
514 
                <Value instant="0">0</Value>
515 
                <Value instant="1">0</Value>
516 
                <Value instant="2">0</Value>
517 
                <Value instant="3">0</Value>
518 
                <Value instant="4">0</Value>
519 
                <Value instant="5">0</Value>
520 
                <Value instant="6">0</Value>
521 
                <Value instant="7">0</Value>
522 
                <Value instant="8">0</Value>
523 
                <Value instant="9">0</Value>
524 
                <Value instant="10">0</Value>
525 
                <Value instant="11">0</Value>
526 
                <Value instant="12">0</Value>
527 
                <Value instant="13">0</Value>
528 
                <Value instant="14">0</Value>
529 
                <Value instant="15">0</Value>
530 
                <Value instant="16">0</Value>
531 
                <Value instant="17">0</Value>
532 
                <Value instant="18">0</Value>
533 
                <Value instant="19">0</Value>
534 
                <Value instant="20">0</Value>
535 
                <Value instant="21">0</Value>
536 
                <Value instant="22">0</Value>
537 
                <Value instant="23">0</Value>
538 
                <Value instant="24">0</Value>
539 
                <Value instant="25">0</Value>
540 
                <Value instant="26">0</Value>
541 
                <Value instant="27">0</Value>
542 
                <Value instant="28">0</Value>
543 
                <Value instant="29">0</Value>
544 
                <Value instant="30">0</Value>
545 
                <Value instant="31">0</Value>
546 b14ec4fb bourbouh 
           </Stream>
547 
            <Stream name="S" type="bool">
548 6f6af7b8 hbourbou 
                <Value instant="0">0</Value>
549 
                <Value instant="1">0</Value>
550 
                <Value instant="2">0</Value>
551 
                <Value instant="3">0</Value>
552 
                <Value instant="4">0</Value>
553 
                <Value instant="5">0</Value>
554 
                <Value instant="6">0</Value>
555 
                <Value instant="7">0</Value>
556 
                <Value instant="8">0</Value>
557 
                <Value instant="9">0</Value>
558 
                <Value instant="10">0</Value>
559 
                <Value instant="11">0</Value>
560 
                <Value instant="12">0</Value>
561 
                <Value instant="13">0</Value>
562 
                <Value instant="14">0</Value>
563 
                <Value instant="15">0</Value>
564 
                <Value instant="16">0</Value>
565 
                <Value instant="17">0</Value>
566 
                <Value instant="18">0</Value>
567 
                <Value instant="19">0</Value>
568 
                <Value instant="20">0</Value>
569 
                <Value instant="21">0</Value>
570 
                <Value instant="22">0</Value>
571 
                <Value instant="23">0</Value>
572 
                <Value instant="24">0</Value>
573 
                <Value instant="25">0</Value>
574 
                <Value instant="26">0</Value>
575 
                <Value instant="27">0</Value>
576 
                <Value instant="28">0</Value>
577 
                <Value instant="29">0</Value>
578 
                <Value instant="30">0</Value>
579 b14ec4fb bourbouh 
                <Value instant="31">1</Value>
580 
           </Stream>
581 6f6af7b8 hbourbou 
            <Stream name="retard1" type="bool">
582 
                <Value instant="0">0</Value>
583 
                <Value instant="1">0</Value>
584 
                <Value instant="2">0</Value>
585 
                <Value instant="3">0</Value>
586 
                <Value instant="4">0</Value>
587 
                <Value instant="5">0</Value>
588 
                <Value instant="6">0</Value>
589 
                <Value instant="7">0</Value>
590 
                <Value instant="8">0</Value>
591 
                <Value instant="9">0</Value>
592 
                <Value instant="10">0</Value>
593 
                <Value instant="11">0</Value>
594 
                <Value instant="12">0</Value>
595 
                <Value instant="13">0</Value>
596 
                <Value instant="14">0</Value>
597 
                <Value instant="15">0</Value>
598 
                <Value instant="16">0</Value>
599 
                <Value instant="17">0</Value>
600 
                <Value instant="18">0</Value>
601 
                <Value instant="19">0</Value>
602 
                <Value instant="20">0</Value>
603 
                <Value instant="21">0</Value>
604 
                <Value instant="22">0</Value>
605 
                <Value instant="23">0</Value>
606 
                <Value instant="24">0</Value>
607 
                <Value instant="25">0</Value>
608 
                <Value instant="26">0</Value>
609 
                <Value instant="27">0</Value>
610 
                <Value instant="28">0</Value>
611 
                <Value instant="29">0</Value>
612 
                <Value instant="30">0</Value>
613 
                <Value instant="31">0</Value>
614 
           </Stream>
615 
            <Stream name="retard0" type="bool">
616 
                <Value instant="0">0</Value>
617 
                <Value instant="1">0</Value>
618 
                <Value instant="2">0</Value>
619 
                <Value instant="3">0</Value>
620 
                <Value instant="4">0</Value>
621 
                <Value instant="5">0</Value>
622 
                <Value instant="6">0</Value>
623 
                <Value instant="7">0</Value>
624 
                <Value instant="8">0</Value>
625 
                <Value instant="9">0</Value>
626 
                <Value instant="10">0</Value>
627 
                <Value instant="11">0</Value>
628 
                <Value instant="12">0</Value>
629 
                <Value instant="13">0</Value>
630 
                <Value instant="14">0</Value>
631 
                <Value instant="15">0</Value>
632 
                <Value instant="16">0</Value>
633 
                <Value instant="17">0</Value>
634 
                <Value instant="18">0</Value>
635 
                <Value instant="19">0</Value>
636 
                <Value instant="20">0</Value>
637 
                <Value instant="21">0</Value>
638 
                <Value instant="22">0</Value>
639 
                <Value instant="23">0</Value>
640 
                <Value instant="24">0</Value>
641 
                <Value instant="25">0</Value>
642 
                <Value instant="26">0</Value>
643 
                <Value instant="27">0</Value>
644 
                <Value instant="28">0</Value>
645 
                <Value instant="29">0</Value>
646 
                <Value instant="30">0</Value>
647 
                <Value instant="31">0</Value>
648 b14ec4fb bourbouh 
           </Stream>
649 6f6af7b8 hbourbou 
            <Stream name="avance" type="bool">
650 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
651 
                <Value instant="1">0</Value>
652 
                <Value instant="2">0</Value>
653 
                <Value instant="3">0</Value>
654 
                <Value instant="4">0</Value>
655 
                <Value instant="5">0</Value>
656 
                <Value instant="6">0</Value>
657 
                <Value instant="7">0</Value>
658 
                <Value instant="8">0</Value>
659 
                <Value instant="9">0</Value>
660 
                <Value instant="10">0</Value>
661 
                <Value instant="11">0</Value>
662 
                <Value instant="12">0</Value>
663 
                <Value instant="13">0</Value>
664 
                <Value instant="14">0</Value>
665 
                <Value instant="15">0</Value>
666 
                <Value instant="16">0</Value>
667 
                <Value instant="17">0</Value>
668 
                <Value instant="18">0</Value>
669 
                <Value instant="19">0</Value>
670 
                <Value instant="20">0</Value>
671 
                <Value instant="21">0</Value>
672 
                <Value instant="22">0</Value>
673 
                <Value instant="23">0</Value>
674 
                <Value instant="24">0</Value>
675 
                <Value instant="25">0</Value>
676 
                <Value instant="26">0</Value>
677 
                <Value instant="27">0</Value>
678 
                <Value instant="28">0</Value>
679 
                <Value instant="29">0</Value>
680 
                <Value instant="30">0</Value>
681 
                <Value instant="31">0</Value>
682 
           </Stream>
683 6f6af7b8 hbourbou 
            <Stream name="diff0" type="int">
684 
                <Value instant="0">0</Value>
685 
                <Value instant="1">1</Value>
686 
                <Value instant="2">2</Value>
687 
                <Value instant="3">3</Value>
688 
                <Value instant="4">4</Value>
689 
                <Value instant="5">5</Value>
690 
                <Value instant="6">6</Value>
691 
                <Value instant="7">7</Value>
692 
                <Value instant="8">8</Value>
693 
                <Value instant="9">9</Value>
694 
                <Value instant="10">10</Value>
695 
                <Value instant="11">11</Value>
696 
                <Value instant="12">12</Value>
697 
                <Value instant="13">13</Value>
698 
                <Value instant="14">14</Value>
699 
                <Value instant="15">15</Value>
700 
                <Value instant="16">16</Value>
701 
                <Value instant="17">17</Value>
702 
                <Value instant="18">18</Value>
703 
                <Value instant="19">19</Value>
704 
                <Value instant="20">20</Value>
705 
                <Value instant="21">21</Value>
706 
                <Value instant="22">22</Value>
707 
                <Value instant="23">23</Value>
708 
                <Value instant="24">24</Value>
709 
                <Value instant="25">25</Value>
710 
                <Value instant="26">26</Value>
711 
                <Value instant="27">27</Value>
712 
                <Value instant="28">28</Value>
713 
                <Value instant="29">29</Value>
714 
                <Value instant="30">30</Value>
715 
                <Value instant="31">30</Value>
716 
           </Stream>
717 
            <Stream name="diff1" type="int">
718 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
719 
                <Value instant="1">0</Value>
720 
                <Value instant="2">0</Value>
721 
                <Value instant="3">0</Value>
722 
                <Value instant="4">0</Value>
723 
                <Value instant="5">0</Value>
724 
                <Value instant="6">0</Value>
725 6f6af7b8 hbourbou 
                <Value instant="7">0</Value>
726 
                <Value instant="8">0</Value>
727 
                <Value instant="9">0</Value>
728 
                <Value instant="10">0</Value>
729 
                <Value instant="11">0</Value>
730 
                <Value instant="12">0</Value>
731 
                <Value instant="13">0</Value>
732 
                <Value instant="14">0</Value>
733 
                <Value instant="15">0</Value>
734 
                <Value instant="16">0</Value>
735 
                <Value instant="17">0</Value>
736 
                <Value instant="18">0</Value>
737 
                <Value instant="19">0</Value>
738 
                <Value instant="20">0</Value>
739 
                <Value instant="21">0</Value>
740 
                <Value instant="22">0</Value>
741 
                <Value instant="23">0</Value>
742 
                <Value instant="24">0</Value>
743 
                <Value instant="25">0</Value>
744 
                <Value instant="26">0</Value>
745 
                <Value instant="27">0</Value>
746 
                <Value instant="28">0</Value>
747 
                <Value instant="29">0</Value>
748 
                <Value instant="30">0</Value>
749 
                <Value instant="31">-1</Value>
750 b14ec4fb bourbouh 
           </Stream>
751 6f6af7b8 hbourbou 
            <Stream name="nB1" type="int">
752 
                <Value instant="0">0</Value>
753 
                <Value instant="1">0</Value>
754 
                <Value instant="2">0</Value>
755 
                <Value instant="3">0</Value>
756 
                <Value instant="4">0</Value>
757 
                <Value instant="5">0</Value>
758 
                <Value instant="6">0</Value>
759 
                <Value instant="7">0</Value>
760 
                <Value instant="8">0</Value>
761 
                <Value instant="9">0</Value>
762 
                <Value instant="10">0</Value>
763 
                <Value instant="11">0</Value>
764 
                <Value instant="12">0</Value>
765 
                <Value instant="13">0</Value>
766 
                <Value instant="14">0</Value>
767 
                <Value instant="15">0</Value>
768 
                <Value instant="16">0</Value>
769 
                <Value instant="17">0</Value>
770 
                <Value instant="18">0</Value>
771 
                <Value instant="19">0</Value>
772 
                <Value instant="20">0</Value>
773 
                <Value instant="21">0</Value>
774 
                <Value instant="22">0</Value>
775 
                <Value instant="23">0</Value>
776 
                <Value instant="24">0</Value>
777 
                <Value instant="25">0</Value>
778 
                <Value instant="26">0</Value>
779 
                <Value instant="27">0</Value>
780 
                <Value instant="28">0</Value>
781 
                <Value instant="29">0</Value>
782 
                <Value instant="30">0</Value>
783 
                <Value instant="31">0</Value>
784 b14ec4fb bourbouh 
           </Stream>
785 6f6af7b8 hbourbou 
            <Stream name="nB0" type="int">
786 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
787 
                <Value instant="1">1</Value>
788 
                <Value instant="2">2</Value>
789 
                <Value instant="3">3</Value>
790 
                <Value instant="4">4</Value>
791 
                <Value instant="5">5</Value>
792 
                <Value instant="6">6</Value>
793 
                <Value instant="7">7</Value>
794 
                <Value instant="8">8</Value>
795 
                <Value instant="9">9</Value>
796 
                <Value instant="10">10</Value>
797 
                <Value instant="11">11</Value>
798 
                <Value instant="12">12</Value>
799 
                <Value instant="13">13</Value>
800 6f6af7b8 hbourbou 
                <Value instant="14">14</Value>
801 
                <Value instant="15">15</Value>
802 
                <Value instant="16">16</Value>
803 
                <Value instant="17">17</Value>
804 
                <Value instant="18">18</Value>
805 
                <Value instant="19">19</Value>
806 
                <Value instant="20">20</Value>
807 
                <Value instant="21">21</Value>
808 
                <Value instant="22">22</Value>
809 
                <Value instant="23">23</Value>
810 
                <Value instant="24">24</Value>
811 
                <Value instant="25">25</Value>
812 
                <Value instant="26">26</Value>
813 
                <Value instant="27">27</Value>
814 
                <Value instant="28">28</Value>
815 
                <Value instant="29">29</Value>
816 
                <Value instant="30">30</Value>
817 
                <Value instant="31">31</Value>
818 b14ec4fb bourbouh 
           </Stream>
819 6f6af7b8 hbourbou 
            <Stream name="nS" type="int">
820 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
821 6f6af7b8 hbourbou 
                <Value instant="1">0</Value>
822 
                <Value instant="2">0</Value>
823 
                <Value instant="3">0</Value>
824 
                <Value instant="4">0</Value>
825 
                <Value instant="5">0</Value>
826 
                <Value instant="6">0</Value>
827 
                <Value instant="7">0</Value>
828 
                <Value instant="8">0</Value>
829 
                <Value instant="9">0</Value>
830 
                <Value instant="10">0</Value>
831 
                <Value instant="11">0</Value>
832 
                <Value instant="12">0</Value>
833 
                <Value instant="13">0</Value>
834 
                <Value instant="14">0</Value>
835 
                <Value instant="15">0</Value>
836 
                <Value instant="16">0</Value>
837 
                <Value instant="17">0</Value>
838 
                <Value instant="18">0</Value>
839 
                <Value instant="19">0</Value>
840 
                <Value instant="20">0</Value>
841 
                <Value instant="21">0</Value>
842 
                <Value instant="22">0</Value>
843 
                <Value instant="23">0</Value>
844 
                <Value instant="24">0</Value>
845 
                <Value instant="25">0</Value>
846 
                <Value instant="26">0</Value>
847 
                <Value instant="27">0</Value>
848 
                <Value instant="28">0</Value>
849 
                <Value instant="29">0</Value>
850 
                <Value instant="30">0</Value>
851 
                <Value instant="31">1</Value>
852 b14ec4fb bourbouh 
           </Stream>
853 6f6af7b8 hbourbou 
            <Stream name="retard" type="bool">
854 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
855 6f6af7b8 hbourbou 
                <Value instant="1">0</Value>
856 
                <Value instant="2">0</Value>
857 
                <Value instant="3">0</Value>
858 
                <Value instant="4">0</Value>
859 
                <Value instant="5">0</Value>
860 
                <Value instant="6">0</Value>
861 
                <Value instant="7">0</Value>
862 
                <Value instant="8">0</Value>
863 
                <Value instant="9">0</Value>
864 
                <Value instant="10">0</Value>
865 
                <Value instant="11">0</Value>
866 
                <Value instant="12">0</Value>
867 
                <Value instant="13">0</Value>
868 
                <Value instant="14">0</Value>
869 
                <Value instant="15">0</Value>
870 
                <Value instant="16">0</Value>
871 
                <Value instant="17">0</Value>
872 
                <Value instant="18">0</Value>
873 
                <Value instant="19">0</Value>
874 
                <Value instant="20">0</Value>
875 
                <Value instant="21">0</Value>
876 
                <Value instant="22">0</Value>
877 
                <Value instant="23">0</Value>
878 
                <Value instant="24">0</Value>
879 
                <Value instant="25">0</Value>
880 
                <Value instant="26">0</Value>
881 
                <Value instant="27">0</Value>
882 
                <Value instant="28">0</Value>
883 
                <Value instant="29">0</Value>
884 
                <Value instant="30">0</Value>
885 
                <Value instant="31">0</Value>
886 b14ec4fb bourbouh 
           </Stream>
887 6f6af7b8 hbourbou 
            <Stream name="B0" type="bool">
888 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
889 
                <Value instant="1">1</Value>
890 
                <Value instant="2">1</Value>
891 
                <Value instant="3">1</Value>
892 
                <Value instant="4">1</Value>
893 
                <Value instant="5">1</Value>
894 
                <Value instant="6">1</Value>
895 
                <Value instant="7">1</Value>
896 
                <Value instant="8">1</Value>
897 
                <Value instant="9">1</Value>
898 
                <Value instant="10">1</Value>
899 
                <Value instant="11">1</Value>
900 
                <Value instant="12">1</Value>
901 
                <Value instant="13">1</Value>
902 
                <Value instant="14">1</Value>
903 
                <Value instant="15">1</Value>
904 
                <Value instant="16">1</Value>
905 
                <Value instant="17">1</Value>
906 
                <Value instant="18">1</Value>
907 
                <Value instant="19">1</Value>
908 
                <Value instant="20">1</Value>
909 
                <Value instant="21">1</Value>
910 
                <Value instant="22">1</Value>
911 
                <Value instant="23">1</Value>
912 
                <Value instant="24">1</Value>
913 
                <Value instant="25">1</Value>
914 
                <Value instant="26">1</Value>
915 
                <Value instant="27">1</Value>
916 
                <Value instant="28">1</Value>
917 
                <Value instant="29">1</Value>
918 
                <Value instant="30">1</Value>
919 
                <Value instant="31">1</Value>
920 
           </Stream>
921 6f6af7b8 hbourbou 
            <Stream name="B1" type="bool">
922 
                <Value instant="0">0</Value>
923 
                <Value instant="1">0</Value>
924 
                <Value instant="2">0</Value>
925 
                <Value instant="3">0</Value>
926 
                <Value instant="4">0</Value>
927 
                <Value instant="5">0</Value>
928 
                <Value instant="6">0</Value>
929 
                <Value instant="7">0</Value>
930 
                <Value instant="8">0</Value>
931 
                <Value instant="9">0</Value>
932 
                <Value instant="10">0</Value>
933 
                <Value instant="11">0</Value>
934 
                <Value instant="12">0</Value>
935 
                <Value instant="13">0</Value>
936 
                <Value instant="14">0</Value>
937 
                <Value instant="15">0</Value>
938 
                <Value instant="16">0</Value>
939 
                <Value instant="17">0</Value>
940 
                <Value instant="18">0</Value>
941 
                <Value instant="19">0</Value>
942 
                <Value instant="20">0</Value>
943 
                <Value instant="21">0</Value>
944 
                <Value instant="22">0</Value>
945 
                <Value instant="23">0</Value>
946 
                <Value instant="24">0</Value>
947 
                <Value instant="25">0</Value>
948 
                <Value instant="26">0</Value>
949 
                <Value instant="27">0</Value>
950 
                <Value instant="28">0</Value>
951 
                <Value instant="29">0</Value>
952 
                <Value instant="30">0</Value>
953 
                <Value instant="31">0</Value>
954 
           </Stream>
955 
            <Stream name="avance1" type="bool">
956 
                <Value instant="0">0</Value>
957 
                <Value instant="1">0</Value>
958 
                <Value instant="2">0</Value>
959 
                <Value instant="3">0</Value>
960 
                <Value instant="4">0</Value>
961 
                <Value instant="5">0</Value>
962 
                <Value instant="6">0</Value>
963 
                <Value instant="7">0</Value>
964 
                <Value instant="8">0</Value>
965 
                <Value instant="9">0</Value>
966 
                <Value instant="10">0</Value>
967 
                <Value instant="11">0</Value>
968 
                <Value instant="12">0</Value>
969 
                <Value instant="13">0</Value>
970 
                <Value instant="14">0</Value>
971 
                <Value instant="15">0</Value>
972 
                <Value instant="16">0</Value>
973 
                <Value instant="17">0</Value>
974 
                <Value instant="18">0</Value>
975 
                <Value instant="19">0</Value>
976 
                <Value instant="20">0</Value>
977 
                <Value instant="21">0</Value>
978 
                <Value instant="22">0</Value>
979 
                <Value instant="23">0</Value>
980 
                <Value instant="24">0</Value>
981 
                <Value instant="25">0</Value>
982 
                <Value instant="26">0</Value>
983 
                <Value instant="27">0</Value>
984 
                <Value instant="28">0</Value>
985 
                <Value instant="29">0</Value>
986 
                <Value instant="30">0</Value>
987 
                <Value instant="31">0</Value>
988 
           </Stream>
989 
            <Stream name="avance0" type="bool">
990 
                <Value instant="0">0</Value>
991 
                <Value instant="1">0</Value>
992 
                <Value instant="2">0</Value>
993 
                <Value instant="3">0</Value>
994 
                <Value instant="4">0</Value>
995 
                <Value instant="5">0</Value>
996 
                <Value instant="6">0</Value>
997 
                <Value instant="7">0</Value>
998 
                <Value instant="8">0</Value>
999 
                <Value instant="9">0</Value>
1000 b14ec4fb bourbouh 
                <Value instant="10">1</Value>
1001 
                <Value instant="11">1</Value>
1002 
                <Value instant="12">1</Value>
1003 
                <Value instant="13">1</Value>
1004 
                <Value instant="14">1</Value>
1005 
                <Value instant="15">1</Value>
1006 
                <Value instant="16">1</Value>
1007 
                <Value instant="17">1</Value>
1008 
                <Value instant="18">1</Value>
1009 
                <Value instant="19">1</Value>
1010 
                <Value instant="20">1</Value>
1011 
                <Value instant="21">1</Value>
1012 
                <Value instant="22">1</Value>
1013 
                <Value instant="23">1</Value>
1014 
                <Value instant="24">1</Value>
1015 
                <Value instant="25">1</Value>
1016 
                <Value instant="26">1</Value>
1017 
                <Value instant="27">1</Value>
1018 
                <Value instant="28">1</Value>
1019 
                <Value instant="29">1</Value>
1020 
                <Value instant="30">1</Value>
1021 
                <Value instant="31">1</Value>
1022 
           </Stream>
1023 6f6af7b8 hbourbou 
         </Node>
1024 
 <Node name ="top">
1025 
            <Stream name="retard" type="bool">
1026 
                <Value instant="0">0</Value>
1027 
                <Value instant="1">0</Value>
1028 
                <Value instant="2">0</Value>
1029 
                <Value instant="3">0</Value>
1030 
                <Value instant="4">0</Value>
1031 
                <Value instant="5">0</Value>
1032 
                <Value instant="6">0</Value>
1033 
                <Value instant="7">0</Value>
1034 
                <Value instant="8">0</Value>
1035 
                <Value instant="9">0</Value>
1036 
                <Value instant="10">0</Value>
1037 
                <Value instant="11">0</Value>
1038 
                <Value instant="12">0</Value>
1039 
                <Value instant="13">0</Value>
1040 
                <Value instant="14">0</Value>
1041 
                <Value instant="15">0</Value>
1042 
                <Value instant="16">0</Value>
1043 
                <Value instant="17">0</Value>
1044 
                <Value instant="18">0</Value>
1045 
                <Value instant="19">0</Value>
1046 
                <Value instant="20">0</Value>
1047 
                <Value instant="21">0</Value>
1048 
                <Value instant="22">0</Value>
1049 
                <Value instant="23">0</Value>
1050 
                <Value instant="24">0</Value>
1051 
                <Value instant="25">0</Value>
1052 
                <Value instant="26">0</Value>
1053 
                <Value instant="27">0</Value>
1054 
                <Value instant="28">0</Value>
1055 
                <Value instant="29">0</Value>
1056 
                <Value instant="30">0</Value>
1057 
                <Value instant="31">0</Value>
1058 
           </Stream>
1059 
            <Stream name="Sofar" type="bool">
1060 b14ec4fb bourbouh 
                <Value instant="0">1</Value>
1061 
                <Value instant="1">1</Value>
1062 
                <Value instant="2">1</Value>
1063 
                <Value instant="3">1</Value>
1064 
                <Value instant="4">1</Value>
1065 
                <Value instant="5">1</Value>
1066 
                <Value instant="6">1</Value>
1067 
                <Value instant="7">1</Value>
1068 
                <Value instant="8">1</Value>
1069 
                <Value instant="9">1</Value>
1070 
                <Value instant="10">1</Value>
1071 
                <Value instant="11">1</Value>
1072 
                <Value instant="12">1</Value>
1073 
                <Value instant="13">1</Value>
1074 
                <Value instant="14">1</Value>
1075 
                <Value instant="15">1</Value>
1076 
                <Value instant="16">1</Value>
1077 
                <Value instant="17">1</Value>
1078 
                <Value instant="18">1</Value>
1079 
                <Value instant="19">1</Value>
1080 
                <Value instant="20">1</Value>
1081 
                <Value instant="21">1</Value>
1082 
                <Value instant="22">1</Value>
1083 
                <Value instant="23">1</Value>
1084 
                <Value instant="24">1</Value>
1085 
                <Value instant="25">1</Value>
1086 
                <Value instant="26">1</Value>
1087 
                <Value instant="27">1</Value>
1088 
                <Value instant="28">1</Value>
1089 
                <Value instant="29">1</Value>
1090 
                <Value instant="30">1</Value>
1091 
                <Value instant="31">1</Value>
1092 
           </Stream>
1093 6f6af7b8 hbourbou 
            <Stream name="S" type="bool">
1094 
                <Value instant="1">0</Value>
1095 
                <Value instant="2">0</Value>
1096 
                <Value instant="3">0</Value>
1097 
                <Value instant="4">0</Value>
1098 
                <Value instant="5">0</Value>
1099 
                <Value instant="6">0</Value>
1100 
                <Value instant="7">0</Value>
1101 
                <Value instant="8">0</Value>
1102 
                <Value instant="9">0</Value>
1103 
                <Value instant="10">0</Value>
1104 
                <Value instant="11">0</Value>
1105 
                <Value instant="12">0</Value>
1106 
                <Value instant="13">0</Value>
1107 
                <Value instant="14">0</Value>
1108 
                <Value instant="15">0</Value>
1109 
                <Value instant="16">0</Value>
1110 
                <Value instant="17">0</Value>
1111 
                <Value instant="18">0</Value>
1112 
                <Value instant="19">0</Value>
1113 
                <Value instant="20">0</Value>
1114 
                <Value instant="21">0</Value>
1115 
                <Value instant="22">0</Value>
1116 
                <Value instant="23">0</Value>
1117 
                <Value instant="24">0</Value>
1118 
                <Value instant="25">0</Value>
1119 
                <Value instant="26">0</Value>
1120 
                <Value instant="27">0</Value>
1121 
                <Value instant="28">0</Value>
1122 
                <Value instant="29">0</Value>
1123 
                <Value instant="30">0</Value>
1124 
                <Value instant="31">1</Value>
1125 
           </Stream>
1126 
            <Stream name="avance" type="bool">
1127 
                <Value instant="0">0</Value>
1128 
                <Value instant="1">0</Value>
1129 
                <Value instant="2">0</Value>
1130 
                <Value instant="3">0</Value>
1131 
                <Value instant="4">0</Value>
1132 
                <Value instant="5">0</Value>
1133 
                <Value instant="6">0</Value>
1134 
                <Value instant="7">0</Value>
1135 
                <Value instant="8">0</Value>
1136 
                <Value instant="9">0</Value>
1137 
                <Value instant="10">0</Value>
1138 
                <Value instant="11">0</Value>
1139 
                <Value instant="12">0</Value>
1140 
                <Value instant="13">0</Value>
1141 
                <Value instant="14">0</Value>
1142 
                <Value instant="15">0</Value>
1143 
                <Value instant="16">0</Value>
1144 
                <Value instant="17">0</Value>
1145 
                <Value instant="18">0</Value>
1146 
                <Value instant="19">0</Value>
1147 
                <Value instant="20">0</Value>
1148 
                <Value instant="21">0</Value>
1149 
                <Value instant="22">0</Value>
1150 
                <Value instant="23">0</Value>
1151 
                <Value instant="24">0</Value>
1152 
                <Value instant="25">0</Value>
1153 
                <Value instant="26">0</Value>
1154 
                <Value instant="27">0</Value>
1155 
                <Value instant="28">0</Value>
1156 
                <Value instant="29">0</Value>
1157 
                <Value instant="30">0</Value>
1158 
                <Value instant="31">0</Value>
1159 
           </Stream>
1160 
            <Stream name="c" type="int">
1161 
                <Value instant="0">0</Value>
1162 
                <Value instant="1">0</Value>
1163 
                <Value instant="2">0</Value>
1164 
                <Value instant="3">0</Value>
1165 
                <Value instant="4">0</Value>
1166 
                <Value instant="5">0</Value>
1167 
                <Value instant="6">0</Value>
1168 
                <Value instant="7">0</Value>
1169 
                <Value instant="8">0</Value>
1170 
                <Value instant="9">0</Value>
1171 
                <Value instant="10">0</Value>
1172 
                <Value instant="11">0</Value>
1173 
                <Value instant="12">0</Value>
1174 
                <Value instant="13">0</Value>
1175 
                <Value instant="14">0</Value>
1176 
                <Value instant="15">0</Value>
1177 
                <Value instant="16">0</Value>
1178 
                <Value instant="17">0</Value>
1179 
                <Value instant="18">0</Value>
1180 
                <Value instant="19">0</Value>
1181 
                <Value instant="20">0</Value>
1182 
                <Value instant="21">0</Value>
1183 
                <Value instant="22">0</Value>
1184 
                <Value instant="23">0</Value>
1185 
                <Value instant="24">0</Value>
1186 
                <Value instant="25">0</Value>
1187 
                <Value instant="26">0</Value>
1188 
                <Value instant="27">0</Value>
1189 
                <Value instant="28">0</Value>
1190 
                <Value instant="29">0</Value>
1191 
                <Value instant="30">0</Value>
1192 
                <Value instant="31">0</Value>
1193 
           </Stream>
1194 
            <Stream name="nS" type="int">
1195 
                <Value instant="0">0</Value>
1196 
                <Value instant="1">0</Value>
1197 
                <Value instant="2">0</Value>
1198 
                <Value instant="3">0</Value>
1199 
                <Value instant="4">0</Value>
1200 
                <Value instant="5">0</Value>
1201 
                <Value instant="6">0</Value>
1202 
                <Value instant="7">0</Value>
1203 
                <Value instant="8">0</Value>
1204 
                <Value instant="9">0</Value>
1205 
                <Value instant="10">0</Value>
1206 
                <Value instant="11">0</Value>
1207 
                <Value instant="12">0</Value>
1208 
                <Value instant="13">0</Value>
1209 
                <Value instant="14">0</Value>
1210 
                <Value instant="15">0</Value>
1211 
                <Value instant="16">0</Value>
1212 
                <Value instant="17">0</Value>
1213 
                <Value instant="18">0</Value>
1214 
                <Value instant="19">0</Value>
1215 
                <Value instant="20">0</Value>
1216 
                <Value instant="21">0</Value>
1217 
                <Value instant="22">0</Value>
1218 
                <Value instant="23">0</Value>
1219 
                <Value instant="24">0</Value>
1220 
                <Value instant="25">0</Value>
1221 
                <Value instant="26">0</Value>
1222 
                <Value instant="27">0</Value>
1223 
                <Value instant="28">0</Value>
1224 
                <Value instant="29">0</Value>
1225 
                <Value instant="30">0</Value>
1226 b14ec4fb bourbouh 
                <Value instant="31">1</Value>
1227 
           </Stream>
1228 6f6af7b8 hbourbou 
            <Stream name="OK" type="bool">
1229 b14ec4fb bourbouh 
                <Value instant="0">1</Value>
1230 
                <Value instant="1">1</Value>
1231 
                <Value instant="2">1</Value>
1232 
                <Value instant="3">1</Value>
1233 
                <Value instant="4">1</Value>
1234 
                <Value instant="5">1</Value>
1235 
                <Value instant="6">1</Value>
1236 
                <Value instant="7">1</Value>
1237 
                <Value instant="8">1</Value>
1238 
                <Value instant="9">1</Value>
1239 
                <Value instant="10">1</Value>
1240 
                <Value instant="11">1</Value>
1241 
                <Value instant="12">1</Value>
1242 
                <Value instant="13">1</Value>
1243 
                <Value instant="14">1</Value>
1244 
                <Value instant="15">1</Value>
1245 
                <Value instant="16">1</Value>
1246 
                <Value instant="17">1</Value>
1247 
                <Value instant="18">1</Value>
1248 
                <Value instant="19">1</Value>
1249 
                <Value instant="20">1</Value>
1250 
                <Value instant="21">1</Value>
1251 
                <Value instant="22">1</Value>
1252 
                <Value instant="23">1</Value>
1253 
                <Value instant="24">1</Value>
1254 
                <Value instant="25">1</Value>
1255 
                <Value instant="26">1</Value>
1256 
                <Value instant="27">1</Value>
1257 
                <Value instant="28">1</Value>
1258 
                <Value instant="29">1</Value>
1259 
                <Value instant="30">1</Value>
1260 6f6af7b8 hbourbou 
                <Value instant="31">0</Value>
1261 b14ec4fb bourbouh 
           </Stream>
1262 6f6af7b8 hbourbou 
            <Stream name="nB1" type="int">
1263 
                <Value instant="0">0</Value>
1264 
                <Value instant="1">0</Value>
1265 
                <Value instant="2">0</Value>
1266 
                <Value instant="3">0</Value>
1267 
                <Value instant="4">0</Value>
1268 
                <Value instant="5">0</Value>
1269 
                <Value instant="6">0</Value>
1270 
                <Value instant="7">0</Value>
1271 
                <Value instant="8">0</Value>
1272 
                <Value instant="9">0</Value>
1273 
                <Value instant="10">0</Value>
1274 
                <Value instant="11">0</Value>
1275 
                <Value instant="12">0</Value>
1276 
                <Value instant="13">0</Value>
1277 
                <Value instant="14">0</Value>
1278 
                <Value instant="15">0</Value>
1279 
                <Value instant="16">0</Value>
1280 
                <Value instant="17">0</Value>
1281 
                <Value instant="18">0</Value>
1282 
                <Value instant="19">0</Value>
1283 
                <Value instant="20">0</Value>
1284 
                <Value instant="21">0</Value>
1285 
                <Value instant="22">0</Value>
1286 
                <Value instant="23">0</Value>
1287 
                <Value instant="24">0</Value>
1288 
                <Value instant="25">0</Value>
1289 
                <Value instant="26">0</Value>
1290 
                <Value instant="27">0</Value>
1291 
                <Value instant="28">0</Value>
1292 
                <Value instant="29">0</Value>
1293 
                <Value instant="30">0</Value>
1294 
                <Value instant="31">0</Value>
1295 
           </Stream>
1296 
            <Stream name="nB0" type="int">
1297 
                <Value instant="0">0</Value>
1298 
                <Value instant="1">1</Value>
1299 
                <Value instant="2">2</Value>
1300 
                <Value instant="3">3</Value>
1301 
                <Value instant="4">4</Value>
1302 
                <Value instant="5">5</Value>
1303 
                <Value instant="6">6</Value>
1304 
                <Value instant="7">7</Value>
1305 
                <Value instant="8">8</Value>
1306 
                <Value instant="9">9</Value>
1307 
                <Value instant="10">10</Value>
1308 
                <Value instant="11">11</Value>
1309 
                <Value instant="12">12</Value>
1310 
                <Value instant="13">13</Value>
1311 
                <Value instant="14">14</Value>
1312 
                <Value instant="15">15</Value>
1313 
                <Value instant="16">16</Value>
1314 
                <Value instant="17">17</Value>
1315 
                <Value instant="18">18</Value>
1316 
                <Value instant="19">19</Value>
1317 
                <Value instant="20">20</Value>
1318 
                <Value instant="21">21</Value>
1319 
                <Value instant="22">22</Value>
1320 
                <Value instant="23">23</Value>
1321 
                <Value instant="24">24</Value>
1322 
                <Value instant="25">25</Value>
1323 
                <Value instant="26">26</Value>
1324 
                <Value instant="27">27</Value>
1325 
                <Value instant="28">28</Value>
1326 
                <Value instant="29">29</Value>
1327 
                <Value instant="30">30</Value>
1328 
                <Value instant="31">31</Value>
1329 
           </Stream>
1330 
            <Stream name="B1" type="bool">
1331 
                <Value instant="1">0</Value>
1332 
                <Value instant="2">0</Value>
1333 
                <Value instant="3">0</Value>
1334 
                <Value instant="4">0</Value>
1335 
                <Value instant="5">0</Value>
1336 
                <Value instant="6">0</Value>
1337 
                <Value instant="7">0</Value>
1338 
                <Value instant="8">0</Value>
1339 
                <Value instant="9">0</Value>
1340 
                <Value instant="10">0</Value>
1341 
                <Value instant="11">0</Value>
1342 
                <Value instant="12">0</Value>
1343 
                <Value instant="13">0</Value>
1344 
                <Value instant="14">0</Value>
1345 
                <Value instant="15">0</Value>
1346 
                <Value instant="16">0</Value>
1347 
                <Value instant="17">0</Value>
1348 
                <Value instant="18">0</Value>
1349 
                <Value instant="19">0</Value>
1350 
                <Value instant="20">0</Value>
1351 
                <Value instant="21">0</Value>
1352 
                <Value instant="22">0</Value>
1353 
                <Value instant="23">0</Value>
1354 
                <Value instant="24">0</Value>
1355 
                <Value instant="25">0</Value>
1356 
                <Value instant="26">0</Value>
1357 
                <Value instant="27">0</Value>
1358 
                <Value instant="28">0</Value>
1359 
                <Value instant="29">0</Value>
1360 
                <Value instant="30">0</Value>
1361 
                <Value instant="31">0</Value>
1362 
           </Stream>
1363 
            <Stream name="B0" type="bool">
1364 b14ec4fb bourbouh 
                <Value instant="1">1</Value>
1365 
                <Value instant="2">1</Value>
1366 
                <Value instant="3">1</Value>
1367 
                <Value instant="4">1</Value>
1368 
                <Value instant="5">1</Value>
1369 
                <Value instant="6">1</Value>
1370 
                <Value instant="7">1</Value>
1371 
                <Value instant="8">1</Value>
1372 
                <Value instant="9">1</Value>
1373 
                <Value instant="10">1</Value>
1374 
                <Value instant="11">1</Value>
1375 
                <Value instant="12">1</Value>
1376 
                <Value instant="13">1</Value>
1377 
                <Value instant="14">1</Value>
1378 
                <Value instant="15">1</Value>
1379 
                <Value instant="16">1</Value>
1380 
                <Value instant="17">1</Value>
1381 
                <Value instant="18">1</Value>
1382 
                <Value instant="19">1</Value>
1383 
                <Value instant="20">1</Value>
1384 
                <Value instant="21">1</Value>
1385 
                <Value instant="22">1</Value>
1386 
                <Value instant="23">1</Value>
1387 
                <Value instant="24">1</Value>
1388 
                <Value instant="25">1</Value>
1389 
                <Value instant="26">1</Value>
1390 
                <Value instant="27">1</Value>
1391 
                <Value instant="28">1</Value>
1392 
                <Value instant="29">1</Value>
1393 
                <Value instant="30">1</Value>
1394 
                <Value instant="31">1</Value>
1395 6f6af7b8 hbourbou 
           </Stream>
1396 
         </Node>
1397 
 <Node name ="controleur">
1398 
            <Stream name="retard" type="bool">
1399 
                <Value instant="0">0</Value>
1400 
                <Value instant="1">0</Value>
1401 
                <Value instant="2">0</Value>
1402 
                <Value instant="3">0</Value>
1403 
                <Value instant="4">0</Value>
1404 
                <Value instant="5">0</Value>
1405 
                <Value instant="6">0</Value>
1406 
                <Value instant="7">0</Value>
1407 
                <Value instant="8">0</Value>
1408 
                <Value instant="9">0</Value>
1409 
                <Value instant="10">0</Value>
1410 
                <Value instant="11">0</Value>
1411 
                <Value instant="12">0</Value>
1412 
                <Value instant="13">0</Value>
1413 
                <Value instant="14">0</Value>
1414 
                <Value instant="15">0</Value>
1415 
                <Value instant="16">0</Value>
1416 
                <Value instant="17">0</Value>
1417 
                <Value instant="18">0</Value>
1418 
                <Value instant="19">0</Value>
1419 
                <Value instant="20">0</Value>
1420 
                <Value instant="21">0</Value>
1421 
                <Value instant="22">0</Value>
1422 
                <Value instant="23">0</Value>
1423 
                <Value instant="24">0</Value>
1424 
                <Value instant="25">0</Value>
1425 
                <Value instant="26">0</Value>
1426 
                <Value instant="27">0</Value>
1427 
                <Value instant="28">0</Value>
1428 
                <Value instant="29">0</Value>
1429 
                <Value instant="30">0</Value>
1430 
                <Value instant="31">0</Value>
1431 
                <Value instant="32">0</Value>
1432 
                <Value instant="33">0</Value>
1433 
                <Value instant="34">0</Value>
1434 
                <Value instant="35">0</Value>
1435 
                <Value instant="36">0</Value>
1436 
                <Value instant="37">0</Value>
1437 
                <Value instant="38">0</Value>
1438 
                <Value instant="39">0</Value>
1439 
                <Value instant="40">0</Value>
1440 
                <Value instant="41">0</Value>
1441 
                <Value instant="42">0</Value>
1442 
                <Value instant="43">0</Value>
1443 
                <Value instant="44">0</Value>
1444 
                <Value instant="45">0</Value>
1445 
                <Value instant="46">0</Value>
1446 
                <Value instant="47">0</Value>
1447 
                <Value instant="48">0</Value>
1448 
                <Value instant="49">0</Value>
1449 
                <Value instant="50">0</Value>
1450 
                <Value instant="51">0</Value>
1451 
                <Value instant="52">0</Value>
1452 
                <Value instant="53">0</Value>
1453 
                <Value instant="54">0</Value>
1454 
                <Value instant="55">0</Value>
1455 
                <Value instant="56">0</Value>
1456 
                <Value instant="57">0</Value>
1457 
                <Value instant="58">0</Value>
1458 
                <Value instant="59">0</Value>
1459 
                <Value instant="60">0</Value>
1460 
                <Value instant="61">0</Value>
1461 
                <Value instant="62">0</Value>
1462 
                <Value instant="63">0</Value>
1463 b14ec4fb bourbouh 
           </Stream>
1464 
            <Stream name="diff" type="int">
1465 
                <Value instant="0">0</Value>
1466 
                <Value instant="1">0</Value>
1467 
                <Value instant="2">1</Value>
1468 6f6af7b8 hbourbou 
                <Value instant="3">0</Value>
1469 
                <Value instant="4">2</Value>
1470 
                <Value instant="5">0</Value>
1471 
                <Value instant="6">3</Value>
1472 
                <Value instant="7">0</Value>
1473 
                <Value instant="8">4</Value>
1474 
                <Value instant="9">0</Value>
1475 
                <Value instant="10">5</Value>
1476 
                <Value instant="11">0</Value>
1477 
                <Value instant="12">6</Value>
1478 
                <Value instant="13">0</Value>
1479 
                <Value instant="14">7</Value>
1480 
                <Value instant="15">0</Value>
1481 
                <Value instant="16">8</Value>
1482 
                <Value instant="17">0</Value>
1483 
                <Value instant="18">9</Value>
1484 
                <Value instant="19">0</Value>
1485 
                <Value instant="20">10</Value>
1486 
                <Value instant="21">0</Value>
1487 
                <Value instant="22">11</Value>
1488 
                <Value instant="23">0</Value>
1489 
                <Value instant="24">12</Value>
1490 
                <Value instant="25">0</Value>
1491 
                <Value instant="26">13</Value>
1492 
                <Value instant="27">0</Value>
1493 
                <Value instant="28">14</Value>
1494 
                <Value instant="29">0</Value>
1495 
                <Value instant="30">15</Value>
1496 
                <Value instant="31">0</Value>
1497 
                <Value instant="32">16</Value>
1498 
                <Value instant="33">0</Value>
1499 
                <Value instant="34">17</Value>
1500 
                <Value instant="35">0</Value>
1501 
                <Value instant="36">18</Value>
1502 
                <Value instant="37">0</Value>
1503 
                <Value instant="38">19</Value>
1504 
                <Value instant="39">0</Value>
1505 
                <Value instant="40">20</Value>
1506 
                <Value instant="41">0</Value>
1507 
                <Value instant="42">21</Value>
1508 
                <Value instant="43">0</Value>
1509 
                <Value instant="44">22</Value>
1510 
                <Value instant="45">0</Value>
1511 
                <Value instant="46">23</Value>
1512 
                <Value instant="47">0</Value>
1513 
                <Value instant="48">24</Value>
1514 
                <Value instant="49">0</Value>
1515 
                <Value instant="50">25</Value>
1516 
                <Value instant="51">0</Value>
1517 
                <Value instant="52">26</Value>
1518 
                <Value instant="53">0</Value>
1519 
                <Value instant="54">27</Value>
1520 
                <Value instant="55">0</Value>
1521 
                <Value instant="56">28</Value>
1522 
                <Value instant="57">0</Value>
1523 
                <Value instant="58">29</Value>
1524 
                <Value instant="59">0</Value>
1525 
                <Value instant="60">30</Value>
1526 
                <Value instant="61">0</Value>
1527 
                <Value instant="62">30</Value>
1528 
                <Value instant="63">-1</Value>
1529 b14ec4fb bourbouh 
           </Stream>
1530 
            <Stream name="nB" type="int">
1531 
                <Value instant="0">0</Value>
1532 
                <Value instant="1">0</Value>
1533 
                <Value instant="2">1</Value>
1534 6f6af7b8 hbourbou 
                <Value instant="3">0</Value>
1535 
                <Value instant="4">2</Value>
1536 
                <Value instant="5">0</Value>
1537 
                <Value instant="6">3</Value>
1538 
                <Value instant="7">0</Value>
1539 
                <Value instant="8">4</Value>
1540 
                <Value instant="9">0</Value>
1541 
                <Value instant="10">5</Value>
1542 
                <Value instant="11">0</Value>
1543 
                <Value instant="12">6</Value>
1544 
                <Value instant="13">0</Value>
1545 
                <Value instant="14">7</Value>
1546 
                <Value instant="15">0</Value>
1547 
                <Value instant="16">8</Value>
1548 
                <Value instant="17">0</Value>
1549 
                <Value instant="18">9</Value>
1550 
                <Value instant="19">0</Value>
1551 
                <Value instant="20">10</Value>
1552 
                <Value instant="21">0</Value>
1553 
                <Value instant="22">11</Value>
1554 
                <Value instant="23">0</Value>
1555 
                <Value instant="24">12</Value>
1556 
                <Value instant="25">0</Value>
1557 
                <Value instant="26">13</Value>
1558 
                <Value instant="27">0</Value>
1559 
                <Value instant="28">14</Value>
1560 
                <Value instant="29">0</Value>
1561 
                <Value instant="30">15</Value>
1562 
                <Value instant="31">0</Value>
1563 
                <Value instant="32">16</Value>
1564 
                <Value instant="33">0</Value>
1565 
                <Value instant="34">17</Value>
1566 
                <Value instant="35">0</Value>
1567 
                <Value instant="36">18</Value>
1568 
                <Value instant="37">0</Value>
1569 
                <Value instant="38">19</Value>
1570 
                <Value instant="39">0</Value>
1571 
                <Value instant="40">20</Value>
1572 
                <Value instant="41">0</Value>
1573 
                <Value instant="42">21</Value>
1574 
                <Value instant="43">0</Value>
1575 
                <Value instant="44">22</Value>
1576 
                <Value instant="45">0</Value>
1577 
                <Value instant="46">23</Value>
1578 
                <Value instant="47">0</Value>
1579 
                <Value instant="48">24</Value>
1580 
                <Value instant="49">0</Value>
1581 
                <Value instant="50">25</Value>
1582 
                <Value instant="51">0</Value>
1583 
                <Value instant="52">26</Value>
1584 
                <Value instant="53">0</Value>
1585 
                <Value instant="54">27</Value>
1586 
                <Value instant="55">0</Value>
1587 
                <Value instant="56">28</Value>
1588 
                <Value instant="57">0</Value>
1589 
                <Value instant="58">29</Value>
1590 
                <Value instant="59">0</Value>
1591 
                <Value instant="60">30</Value>
1592 
                <Value instant="61">0</Value>
1593 
                <Value instant="62">31</Value>
1594 
                <Value instant="63">0</Value>
1595 b14ec4fb bourbouh 
           </Stream>
1596 
            <Stream name="nS" type="int">
1597 
                <Value instant="0">0</Value>
1598 
                <Value instant="1">0</Value>
1599 
                <Value instant="2">0</Value>
1600 
                <Value instant="3">0</Value>
1601 
                <Value instant="4">0</Value>
1602 
                <Value instant="5">0</Value>
1603 
                <Value instant="6">0</Value>
1604 
                <Value instant="7">0</Value>
1605 
                <Value instant="8">0</Value>
1606 
                <Value instant="9">0</Value>
1607 
                <Value instant="10">0</Value>
1608 
                <Value instant="11">0</Value>
1609 
                <Value instant="12">0</Value>
1610 
                <Value instant="13">0</Value>
1611 6f6af7b8 hbourbou 
                <Value instant="14">0</Value>
1612 
                <Value instant="15">0</Value>
1613 
                <Value instant="16">0</Value>
1614 
                <Value instant="17">0</Value>
1615 
                <Value instant="18">0</Value>
1616 
                <Value instant="19">0</Value>
1617 
                <Value instant="20">0</Value>
1618 
                <Value instant="21">0</Value>
1619 
                <Value instant="22">0</Value>
1620 
                <Value instant="23">0</Value>
1621 
                <Value instant="24">0</Value>
1622 
                <Value instant="25">0</Value>
1623 
                <Value instant="26">0</Value>
1624 
                <Value instant="27">0</Value>
1625 
                <Value instant="28">0</Value>
1626 
                <Value instant="29">0</Value>
1627 
                <Value instant="30">0</Value>
1628 
                <Value instant="31">0</Value>
1629 
                <Value instant="32">0</Value>
1630 
                <Value instant="33">0</Value>
1631 
                <Value instant="34">0</Value>
1632 
                <Value instant="35">0</Value>
1633 
                <Value instant="36">0</Value>
1634 
                <Value instant="37">0</Value>
1635 
                <Value instant="38">0</Value>
1636 
                <Value instant="39">0</Value>
1637 
                <Value instant="40">0</Value>
1638 
                <Value instant="41">0</Value>
1639 
                <Value instant="42">0</Value>
1640 
                <Value instant="43">0</Value>
1641 
                <Value instant="44">0</Value>
1642 
                <Value instant="45">0</Value>
1643 
                <Value instant="46">0</Value>
1644 
                <Value instant="47">0</Value>
1645 
                <Value instant="48">0</Value>
1646 
                <Value instant="49">0</Value>
1647 
                <Value instant="50">0</Value>
1648 
                <Value instant="51">0</Value>
1649 
                <Value instant="52">0</Value>
1650 
                <Value instant="53">0</Value>
1651 
                <Value instant="54">0</Value>
1652 
                <Value instant="55">0</Value>
1653 
                <Value instant="56">0</Value>
1654 
                <Value instant="57">0</Value>
1655 
                <Value instant="58">0</Value>
1656 
                <Value instant="59">0</Value>
1657 
                <Value instant="60">0</Value>
1658 
                <Value instant="61">0</Value>
1659 
                <Value instant="62">1</Value>
1660 
                <Value instant="63">1</Value>
1661 b14ec4fb bourbouh 
           </Stream>
1662 6f6af7b8 hbourbou 
            <Stream name="avance" type="bool">
1663 b14ec4fb bourbouh 
                <Value instant="0">0</Value>
1664 
                <Value instant="1">0</Value>
1665 
                <Value instant="2">0</Value>
1666 
                <Value instant="3">0</Value>
1667 
                <Value instant="4">0</Value>
1668 
                <Value instant="5">0</Value>
1669 
                <Value instant="6">0</Value>
1670 
                <Value instant="7">0</Value>
1671 
                <Value instant="8">0</Value>
1672 
                <Value instant="9">0</Value>
1673 
                <Value instant="10">0</Value>
1674 
                <Value instant="11">0</Value>
1675 
                <Value instant="12">0</Value>
1676 
                <Value instant="13">0</Value>
1677 6f6af7b8 hbourbou 
                <Value instant="14">0</Value>
1678 
                <Value instant="15">0</Value>
1679 
                <Value instant="16">0</Value>
1680 
                <Value instant="17">0</Value>
1681 
                <Value instant="18">0</Value>
1682 
                <Value instant="19">0</Value>
1683 b14ec4fb bourbouh 
                <Value instant="20">1</Value>
1684 6f6af7b8 hbourbou 
                <Value instant="21">0</Value>
1685 b14ec4fb bourbouh 
                <Value instant="22">1</Value>
1686 6f6af7b8 hbourbou 
                <Value instant="23">0</Value>
1687 b14ec4fb bourbouh 
                <Value instant="24">1</Value>
1688 6f6af7b8 hbourbou 
                <Value instant="25">0</Value>
1689 b14ec4fb bourbouh 
                <Value instant="26">1</Value>
1690 6f6af7b8 hbourbou 
                <Value instant="27">0</Value>
1691 b14ec4fb bourbouh 
                <Value instant="28">1</Value>
1692 6f6af7b8 hbourbou 
                <Value instant="29">0</Value>
1693 b14ec4fb bourbouh 
                <Value instant="30">1</Value>
1694 6f6af7b8 hbourbou 
                <Value instant="31">0</Value>
1695 b14ec4fb bourbouh 
                <Value instant="32">1</Value>
1696 6f6af7b8 hbourbou 
                <Value instant="33">0</Value>
1697 b14ec4fb bourbouh 
                <Value instant="34">1</Value>
1698 6f6af7b8 hbourbou 
                <Value instant="35">0</Value>
1699 b14ec4fb bourbouh 
                <Value instant="36">1</Value>
1700 6f6af7b8 hbourbou 
                <Value instant="37">0</Value>
1701 b14ec4fb bourbouh 
                <Value instant="38">1</Value>
1702 6f6af7b8 hbourbou 
                <Value instant="39">0</Value>
1703 b14ec4fb bourbouh 
                <Value instant="40">1</Value>
1704 6f6af7b8 hbourbou 
                <Value instant="41">0</Value>
1705 b14ec4fb bourbouh 
                <Value instant="42">1</Value>
1706 6f6af7b8 hbourbou 
                <Value instant="43">0</Value>
1707 b14ec4fb bourbouh 
                <Value instant="44">1</Value>
1708 6f6af7b8 hbourbou 
                <Value instant="45">0</Value>
1709 b14ec4fb bourbouh 
                <Value instant="46">1</Value>
1710 6f6af7b8 hbourbou 
                <Value instant="47">0</Value>
1711 b14ec4fb bourbouh 
                <Value instant="48">1</Value>
1712 6f6af7b8 hbourbou 
                <Value instant="49">0</Value>
1713 b14ec4fb bourbouh 
                <Value instant="50">1</Value>
1714 6f6af7b8 hbourbou 
                <Value instant="51">0</Value>
1715 b14ec4fb bourbouh 
                <Value instant="52">1</Value>
1716 6f6af7b8 hbourbou 
                <Value instant="53">0</Value>
1717 b14ec4fb bourbouh 
                <Value instant="54">1</Value>
1718 6f6af7b8 hbourbou 
                <Value instant="55">0</Value>
1719 b14ec4fb bourbouh 
                <Value instant="56">1</Value>
1720 6f6af7b8 hbourbou 
                <Value instant="57">0</Value>
1721 b14ec4fb bourbouh 
                <Value instant="58">1</Value>
1722 6f6af7b8 hbourbou 
                <Value instant="59">0</Value>
1723 b14ec4fb bourbouh 
                <Value instant="60">1</Value>
1724 6f6af7b8 hbourbou 
                <Value instant="61">0</Value>
1725 b14ec4fb bourbouh 
                <Value instant="62">1</Value>
1726 6f6af7b8 hbourbou 
                <Value instant="63">0</Value>
1727 b14ec4fb bourbouh 
           </Stream>
1728 
         </Node>
1729 

      

      

        1730
        
        
        
        
        
      </Counterexample>


      

      

        1731
        
        
        
        
        
     </Property>


      

      

        1732
        
        
        
        
        
   </Results>