source: liacs/pnbm/project/planar-signaling.cpn@ 87

Last change on this file since 87 was 52, checked in by Rick van der Zwet, 15 years ago

Final version of report
File size: 104.9 KB
RevLine 
[11]1<?xml version="1.0" encoding="iso-8859-1"?>
2<!DOCTYPE workspaceElements PUBLIC "-//CPN//DTD CPNXML 1.0//EN" "http://www.daimi.au.dk/~cpntools/bin/DTD/6/cpn.dtd">
3
4<workspaceElements>
5 <generator tool="CPN Tools"
6 version="2.2.0"
7 format="6"/>
8 <cpnet>
9 <globbox>
10 <color id="ID789351">
11 <id>INIT</id>
12 <int/>
13 <layout>colset INIT = int;</layout>
14 </color>
15 <color id="ID789562">
16 <id>ACTIVATED</id>
17 <int/>
18 <layout>colset ACTIVATED = int;</layout>
19 </color>
20 <color id="ID792276">
21 <id>INITxACTIVATED</id>
22 <product>
23 <id>INIT</id>
24 <id>ACTIVATED</id>
25 </product>
26 <layout>colset INITxACTIVATED = product INIT * ACTIVATED;</layout>
27 </color>
28 <block id="ID1">
29 <id>Standard declarations</id>
30 <color id="ID85042">
31 <id>UNIT</id>
32 <unit/>
33 <layout>colset UNIT = unit;</layout>
34 </color>
35 <color id="ID3">
36 <id>INT</id>
37 <int/>
38 </color>
39 <color id="ID4">
40 <id>BOOL</id>
41 <bool/>
42 </color>
43 <color id="ID5">
44 <id>STRING</id>
45 <string/>
46 <layout>colset STRING = string;</layout>
47 </color>
48 <var id="ID782409">
49 <type>
50 <id>INIT</id>
51 </type>
52 <id>n</id>
53 <layout>var n : INIT;</layout>
54 </var>
55 <var id="ID788928">
56 <type>
57 <id>ACTIVATED</id>
58 </type>
59 <id>x</id>
60 <layout>var x : ACTIVATED;</layout>
61 </var>
62 <var id="ID871990">
63 <type>
64 <id>BOOL</id>
65 </type>
66 <id>b</id>
67 <layout>var b : BOOL;</layout>
68 </var>
69 </block>
70 </globbox>
71 <page id="ID6">
72 <pageattr name="New Page"/>
73 <place id="ID782428">
74 <posattr x="-101.176569"
75 y="164.000000"/>
76 <fillattr colour="White"
77 pattern=""
78 filled="false"/>
79 <lineattr colour="Black"
80 thick="1"
81 type="Solid"/>
82 <textattr colour="Black"
83 bold="false"/>
84 <text></text>
85 <ellipse w="60.000000"
86 h="40.000000"/>
87 <token x="-78.000000"
88 y="0.000000"/>
89 <marking x="-95.000000"
90 y="-11.000000"
91 hidden="false"/>
92 <type id="ID782429">
93 <posattr x="-16.176569"
94 y="164.000000"/>
95 <fillattr colour="White"
96 pattern="Solid"
97 filled="false"/>
98 <lineattr colour="Black"
99 thick="0"
100 type="Solid"/>
101 <textattr colour="Black"
102 bold="false"/>
103 <text tool="CPN Tools"
104 version="2.2.0">INITxACTIVATED</text>
105 </type>
106 <initmark id="ID937011">
107 <posattr x="-45.000000"
108 y="187.000000"/>
109 <fillattr colour="White"
110 pattern="Solid"
111 filled="false"/>
112 <lineattr colour="Black"
113 thick="0"
114 type="Solid"/>
115 <textattr colour="Black"
116 bold="false"/>
117 <text tool="CPN Tools"
118 version="2.2.0"/>
119 </initmark>
120 </place>
121 <place id="ID782445">
122 <posattr x="-101.176569"
123 y="-1.000000"/>
124 <fillattr colour="White"
125 pattern=""
126 filled="false"/>
127 <lineattr colour="Black"
128 thick="1"
129 type="Solid"/>
130 <textattr colour="Black"
131 bold="false"/>
132 <text></text>
133 <ellipse w="60.000000"
134 h="36.000000"/>
135 <token x="-10.000000"
136 y="0.000000"/>
137 <marking x="0.000000"
138 y="0.000000"
139 hidden="false"/>
140 <type id="ID782446">
141 <posattr x="-16.176569"
142 y="-1.000000"/>
143 <fillattr colour="White"
144 pattern="Solid"
145 filled="false"/>
146 <lineattr colour="Black"
147 thick="0"
148 type="Solid"/>
149 <textattr colour="Black"
150 bold="false"/>
151 <text tool="CPN Tools"
152 version="2.2.0">INITxACTIVATED</text>
153 </type>
154 <initmark id="ID782447">
155 <posattr x="-45.000000"
156 y="21.000000"/>
157 <fillattr colour="White"
158 pattern="Solid"
159 filled="false"/>
160 <lineattr colour="Black"
161 thick="0"
162 type="Solid"/>
163 <textattr colour="Black"
164 bold="false"/>
165 <text tool="CPN Tools"
166 version="2.2.0"/>
167 </initmark>
168 </place>
169 <place id="ID840944">
170 <posattr x="-101.176569"
171 y="-166.000000"/>
172 <fillattr colour="White"
173 pattern=""
174 filled="false"/>
175 <lineattr colour="Black"
176 thick="1"
177 type="Solid"/>
178 <textattr colour="Black"
179 bold="false"/>
180 <text></text>
181 <ellipse w="60.000000"
182 h="38.000000"/>
183 <token x="-10.000000"
184 y="0.000000"/>
185 <marking x="0.000000"
186 y="0.000000"
187 hidden="false"/>
188 <type id="ID840945">
189 <posattr x="-16.176569"
190 y="-166.000000"/>
191 <fillattr colour="White"
192 pattern="Solid"
193 filled="false"/>
194 <lineattr colour="Black"
195 thick="0"
196 type="Solid"/>
197 <textattr colour="Black"
198 bold="false"/>
199 <text tool="CPN Tools"
200 version="2.2.0">INITxACTIVATED</text>
201 </type>
202 <initmark id="ID840946">
203 <posattr x="-45.000000"
204 y="-142.000000"/>
205 <fillattr colour="White"
206 pattern="Solid"
207 filled="false"/>
208 <lineattr colour="Black"
209 thick="0"
210 type="Solid"/>
211 <textattr colour="Black"
212 bold="false"/>
213 <text tool="CPN Tools"
214 version="2.2.0"/>
215 </initmark>
216 </place>
217 <place id="ID841537">
218 <posattr x="-101.176569"
219 y="-356.000000"/>
220 <fillattr colour="White"
221 pattern=""
222 filled="false"/>
223 <lineattr colour="Black"
224 thick="1"
225 type="Solid"/>
226 <textattr colour="Black"
227 bold="false"/>
228 <text></text>
229 <ellipse w="60.000000"
230 h="40.000000"/>
231 <token x="-10.000000"
232 y="0.000000"/>
233 <marking x="0.000000"
234 y="0.000000"
235 hidden="false"/>
236 <type id="ID841538">
237 <posattr x="-26.000000"
238 y="-379.000000"/>
239 <fillattr colour="White"
240 pattern="Solid"
241 filled="false"/>
242 <lineattr colour="Black"
243 thick="0"
244 type="Solid"/>
245 <textattr colour="Black"
246 bold="false"/>
247 <text tool="CPN Tools"
248 version="2.2.0">INITxACTIVATED</text>
249 </type>
250 <initmark id="ID841539">
251 <posattr x="-45.000000"
252 y="-332.000000"/>
253 <fillattr colour="White"
254 pattern="Solid"
255 filled="false"/>
256 <lineattr colour="Black"
257 thick="0"
258 type="Solid"/>
259 <textattr colour="Black"
260 bold="false"/>
261 <text tool="CPN Tools"
262 version="2.2.0"/>
263 </initmark>
264 </place>
265 <place id="ID869744">
266 <posattr x="-416.000000"
267 y="-92.000000"/>
268 <fillattr colour="White"
269 pattern=""
270 filled="false"/>
271 <lineattr colour="Navy"
272 thick="1"
273 type="Solid"/>
274 <textattr colour="Navy"
275 bold="false"/>
276 <text></text>
277 <ellipse w="60.000000"
278 h="40.000000"/>
279 <token x="-10.000000"
280 y="0.000000"/>
281 <marking x="0.000000"
282 y="0.000000"
283 hidden="false"/>
284 <type id="ID870542">
285 <posattr x="-373.500000"
286 y="-115.000000"/>
287 <fillattr colour="White"
288 pattern="Solid"
289 filled="false"/>
290 <lineattr colour="Navy"
291 thick="0"
292 type="Solid"/>
293 <textattr colour="Navy"
294 bold="false"/>
295 <text tool="CPN Tools"
296 version="2.2.0">BOOL</text>
297 </type>
298 <initmark id="ID1225809">
299 <posattr x="-239.000000"
300 y="-245.000000"/>
301 <fillattr colour="White"
302 pattern="Solid"
303 filled="false"/>
304 <lineattr colour="Navy"
305 thick="0"
306 type="Solid"/>
307 <textattr colour="Navy"
308 bold="false"/>
309 <text tool="CPN Tools"
310 version="2.2.0">true</text>
311 </initmark>
312 </place>
313 <place id="ID875717">
314 <posattr x="-416.000000"
315 y="53.000000"/>
316 <fillattr colour="White"
317 pattern=""
318 filled="false"/>
319 <lineattr colour="Lime"
320 thick="1"
321 type="Solid"/>
322 <textattr colour="Lime"
323 bold="false"/>
324 <text>down</text>
325 <ellipse w="60.000000"
326 h="44.706275"/>
327 <token x="-10.000000"
328 y="0.000000"/>
329 <marking x="0.000000"
330 y="0.000000"
331 hidden="false"/>
332 <type id="ID875718">
333 <posattr x="-373.500000"
334 y="27.000000"/>
335 <fillattr colour="White"
336 pattern="Solid"
337 filled="false"/>
338 <lineattr colour="Lime"
339 thick="0"
340 type="Solid"/>
341 <textattr colour="Lime"
342 bold="false"/>
343 <text tool="CPN Tools"
344 version="2.2.0">BOOL</text>
345 </type>
346 <initmark id="ID875719">
347 <posattr x="-359.000000"
348 y="78.000000"/>
349 <fillattr colour="White"
350 pattern="Solid"
351 filled="false"/>
352 <lineattr colour="Lime"
353 thick="0"
354 type="Solid"/>
355 <textattr colour="Lime"
356 bold="false"/>
357 <text tool="CPN Tools"
358 version="2.2.0"/>
359 </initmark>
360 </place>
361 <place id="ID876680">
362 <posattr x="-416.000000"
363 y="-235.000000"/>
364 <fillattr colour="White"
365 pattern=""
366 filled="false"/>
367 <lineattr colour="Maroon"
368 thick="1"
369 type="Solid"/>
370 <textattr colour="Maroon"
371 bold="false"/>
372 <text>up</text>
373 <ellipse w="60.000000"
374 h="40.000000"/>
375 <token x="-10.000000"
376 y="0.000000"/>
377 <marking x="0.000000"
378 y="0.000000"
379 hidden="false"/>
380 <type id="ID876681">
381 <posattr x="-373.500000"
382 y="-258.000000"/>
383 <fillattr colour="White"
384 pattern="Solid"
385 filled="false"/>
386 <lineattr colour="Maroon"
387 thick="0"
388 type="Solid"/>
389 <textattr colour="Maroon"
390 bold="false"/>
391 <text tool="CPN Tools"
392 version="2.2.0">BOOL</text>
393 </type>
394 <initmark id="ID1485751">
395 <posattr x="-359.000000"
396 y="-211.000000"/>
397 <fillattr colour="White"
398 pattern="Solid"
399 filled="false"/>
400 <lineattr colour="Maroon"
401 thick="0"
402 type="Solid"/>
403 <textattr colour="Maroon"
404 bold="false"/>
405 <text tool="CPN Tools"
406 version="2.2.0"/>
407 </initmark>
408 </place>
409 <place id="ID897138">
410 <posattr x="-609.000000"
411 y="-126.000000"/>
412 <fillattr colour="White"
413 pattern=""
414 filled="false"/>
415 <lineattr colour="Fucia"
416 thick="1"
417 type="Solid"/>
418 <textattr colour="Fucia"
419 bold="false"/>
420 <text></text>
421 <ellipse w="60.000000"
422 h="40.000000"/>
423 <token x="-13.000000"
424 y="0.000000"/>
425 <marking x="0.000000"
426 y="0.000000"
427 hidden="false"/>
428 <type id="ID897139">
429 <posattr x="-571.000000"
430 y="-149.000000"/>
431 <fillattr colour="White"
432 pattern="Solid"
433 filled="false"/>
434 <lineattr colour="Fucia"
435 thick="0"
436 type="Solid"/>
437 <textattr colour="Fucia"
438 bold="false"/>
439 <text tool="CPN Tools"
440 version="2.2.0">INIT</text>
441 </type>
442 <initmark id="ID897140">
443 <posattr x="-568.000000"
444 y="-102.000000"/>
445 <fillattr colour="White"
446 pattern="Solid"
447 filled="false"/>
448 <lineattr colour="Fucia"
449 thick="0"
450 type="Solid"/>
451 <textattr colour="Fucia"
452 bold="false"/>
453 <text tool="CPN Tools"
454 version="2.2.0">80`1</text>
455 </initmark>
456 </place>
457 <trans id="ID782576"
458 explicit="false">
459 <posattr x="-194.839786"
460 y="72.000000"/>
461 <fillattr colour="White"
462 pattern=""
463 filled="false"/>
464 <lineattr colour="Lime"
465 thick="1"
466 type="Solid"/>
467 <textattr colour="Lime"
468 bold="false"/>
469 <text></text>
470 <box w="60.000000"
471 h="40.000000"/>
472 <binding x="7.200000"
473 y="-3.000000"/>
474 <cond id="ID782577">
475 <posattr x="-233.839786"
476 y="103.000000"/>
477 <fillattr colour="White"
478 pattern="Solid"
479 filled="false"/>
480 <lineattr colour="Lime"
481 thick="0"
482 type="Solid"/>
483 <textattr colour="Lime"
484 bold="false"/>
485 <text tool="CPN Tools"
486 version="2.2.0"/>
487 </cond>
488 <time id="ID782578">
489 <posattr x="-150.339786"
490 y="103.000000"/>
491 <fillattr colour="White"
492 pattern="Solid"
493 filled="false"/>
494 <lineattr colour="Lime"
495 thick="0"
496 type="Solid"/>
497 <textattr colour="Lime"
498 bold="false"/>
499 <text tool="CPN Tools"
500 version="2.2.0"/>
501 </time>
502 <code id="ID782579">
503 <posattr x="-130.339786"
504 y="20.000000"/>
505 <fillattr colour="White"
506 pattern="Solid"
507 filled="false"/>
508 <lineattr colour="Lime"
509 thick="0"
510 type="Solid"/>
511 <textattr colour="Lime"
512 bold="false"/>
513 <text tool="CPN Tools"
514 version="2.2.0"/>
515 </code>
516 <channel id="ID782580">
517 <posattr x="-258.339786"
518 y="72.000000"/>
519 <fillattr colour="White"
520 pattern="Solid"
521 filled="false"/>
522 <lineattr colour="Lime"
523 thick="0"
524 type="Solid"/>
525 <textattr colour="Lime"
526 bold="false"/>
527 <text tool="CPN Tools"
528 version="2.2.0"/>
529 </channel>
530 </trans>
531 <trans id="ID837477"
532 explicit="false">
533 <posattr x="-194.839786"
534 y="-83.000000"/>
535 <fillattr colour="White"
536 pattern=""
537 filled="false"/>
538 <lineattr colour="Lime"
539 thick="1"
540 type="Solid"/>
541 <textattr colour="Lime"
542 bold="false"/>
543 <text></text>
544 <box w="60.000000"
545 h="40.000000"/>
546 <binding x="7.200000"
547 y="-3.000000"/>
548 <cond id="ID837478">
549 <posattr x="-233.839786"
550 y="-52.000000"/>
551 <fillattr colour="White"
552 pattern="Solid"
553 filled="false"/>
554 <lineattr colour="Lime"
555 thick="0"
556 type="Solid"/>
557 <textattr colour="Lime"
558 bold="false"/>
559 <text tool="CPN Tools"
560 version="2.2.0"/>
561 </cond>
562 <time id="ID837479">
563 <posattr x="-150.339786"
564 y="-52.000000"/>
565 <fillattr colour="White"
566 pattern="Solid"
567 filled="false"/>
568 <lineattr colour="Lime"
569 thick="0"
570 type="Solid"/>
571 <textattr colour="Lime"
572 bold="false"/>
573 <text tool="CPN Tools"
574 version="2.2.0"/>
575 </time>
576 <code id="ID837480">
577 <posattr x="-130.339786"
578 y="-135.000000"/>
579 <fillattr colour="White"
580 pattern="Solid"
581 filled="false"/>
582 <lineattr colour="Lime"
583 thick="0"
584 type="Solid"/>
585 <textattr colour="Lime"
586 bold="false"/>
587 <text tool="CPN Tools"
588 version="2.2.0"/>
589 </code>
590 <channel id="ID837481">
591 <posattr x="-258.339786"
592 y="-83.000000"/>
593 <fillattr colour="White"
594 pattern="Solid"
595 filled="false"/>
596 <lineattr colour="Lime"
597 thick="0"
598 type="Solid"/>
599 <textattr colour="Lime"
600 bold="false"/>
601 <text tool="CPN Tools"
602 version="2.2.0"/>
603 </channel>
604 </trans>
605 <trans id="ID838052"
606 explicit="false">
607 <posattr x="-194.839786"
608 y="-257.000000"/>
609 <fillattr colour="White"
610 pattern=""
611 filled="false"/>
612 <lineattr colour="Lime"
613 thick="1"
614 type="Solid"/>
615 <textattr colour="Lime"
616 bold="false"/>
617 <text></text>
618 <box w="60.000000"
619 h="40.000000"/>
620 <binding x="7.200000"
621 y="-3.000000"/>
622 <cond id="ID838053">
623 <posattr x="-233.839786"
624 y="-226.000000"/>
625 <fillattr colour="White"
626 pattern="Solid"
627 filled="false"/>
628 <lineattr colour="Lime"
629 thick="0"
630 type="Solid"/>
631 <textattr colour="Lime"
632 bold="false"/>
633 <text tool="CPN Tools"
634 version="2.2.0"/>
635 </cond>
636 <time id="ID838054">
637 <posattr x="-150.339786"
638 y="-226.000000"/>
639 <fillattr colour="White"
640 pattern="Solid"
641 filled="false"/>
642 <lineattr colour="Lime"
643 thick="0"
644 type="Solid"/>
645 <textattr colour="Lime"
646 bold="false"/>
647 <text tool="CPN Tools"
648 version="2.2.0"/>
649 </time>
650 <code id="ID838055">
651 <posattr x="-130.339786"
652 y="-309.000000"/>
653 <fillattr colour="White"
654 pattern="Solid"
655 filled="false"/>
656 <lineattr colour="Lime"
657 thick="0"
658 type="Solid"/>
659 <textattr colour="Lime"
660 bold="false"/>
661 <text tool="CPN Tools"
662 version="2.2.0"/>
663 </code>
664 <channel id="ID838056">
665 <posattr x="-258.339786"
666 y="-257.000000"/>
667 <fillattr colour="White"
668 pattern="Solid"
669 filled="false"/>
670 <lineattr colour="Lime"
671 thick="0"
672 type="Solid"/>
673 <textattr colour="Lime"
674 bold="false"/>
675 <text tool="CPN Tools"
676 version="2.2.0"/>
677 </channel>
678 </trans>
679 <trans id="ID877574"
680 explicit="false">
681 <posattr x="-416.000000"
682 y="-166.000000"/>
683 <fillattr colour="White"
684 pattern=""
685 filled="false"/>
686 <lineattr colour="Navy"
687 thick="1"
688 type="Solid"/>
689 <textattr colour="Navy"
690 bold="false"/>
691 <text></text>
692 <box w="62.353138"
693 h="40.000000"/>
694 <binding x="7.200000"
695 y="-3.000000"/>
696 <cond id="ID877575">
697 <posattr x="-456.176569"
698 y="-135.000000"/>
699 <fillattr colour="White"
700 pattern="Solid"
701 filled="false"/>
702 <lineattr colour="Navy"
703 thick="0"
704 type="Solid"/>
705 <textattr colour="Navy"
706 bold="false"/>
707 <text tool="CPN Tools"
708 version="2.2.0"/>
709 </cond>
710 <time id="ID877576">
711 <posattr x="-370.323431"
712 y="-135.000000"/>
713 <fillattr colour="White"
714 pattern="Solid"
715 filled="false"/>
716 <lineattr colour="Navy"
717 thick="0"
718 type="Solid"/>
719 <textattr colour="Navy"
720 bold="false"/>
721 <text tool="CPN Tools"
722 version="2.2.0"/>
723 </time>
724 <code id="ID877577">
725 <posattr x="-350.323431"
726 y="-218.000000"/>
727 <fillattr colour="White"
728 pattern="Solid"
729 filled="false"/>
730 <lineattr colour="Navy"
731 thick="0"
732 type="Solid"/>
733 <textattr colour="Navy"
734 bold="false"/>
735 <text tool="CPN Tools"
736 version="2.2.0"/>
737 </code>
738 <channel id="ID877578">
739 <posattr x="-480.676569"
740 y="-166.000000"/>
741 <fillattr colour="White"
742 pattern="Solid"
743 filled="false"/>
744 <lineattr colour="Navy"
745 thick="0"
746 type="Solid"/>
747 <textattr colour="Navy"
748 bold="false"/>
749 <text tool="CPN Tools"
750 version="2.2.0"/>
751 </channel>
752 </trans>
753 <trans id="ID880049"
754 explicit="false">
755 <posattr x="-416.000000"
756 y="-21.000000"/>
757 <fillattr colour="White"
758 pattern=""
759 filled="false"/>
760 <lineattr colour="Navy"
761 thick="1"
762 type="Solid"/>
763 <textattr colour="Navy"
764 bold="false"/>
765 <text></text>
766 <box w="57.646862"
767 h="40.000000"/>
768 <binding x="7.200000"
769 y="-3.000000"/>
770 <cond id="ID880050">
771 <posattr x="-453.823431"
772 y="10.000000"/>
773 <fillattr colour="White"
774 pattern="Solid"
775 filled="false"/>
776 <lineattr colour="Navy"
777 thick="0"
778 type="Solid"/>
779 <textattr colour="Navy"
780 bold="false"/>
781 <text tool="CPN Tools"
782 version="2.2.0"/>
783 </cond>
784 <time id="ID880051">
785 <posattr x="-372.676569"
786 y="10.000000"/>
787 <fillattr colour="White"
788 pattern="Solid"
789 filled="false"/>
790 <lineattr colour="Navy"
791 thick="0"
792 type="Solid"/>
793 <textattr colour="Navy"
794 bold="false"/>
795 <text tool="CPN Tools"
796 version="2.2.0"/>
797 </time>
798 <code id="ID880052">
799 <posattr x="-352.676569"
800 y="-73.000000"/>
801 <fillattr colour="White"
802 pattern="Solid"
803 filled="false"/>
804 <lineattr colour="Navy"
805 thick="0"
806 type="Solid"/>
807 <textattr colour="Navy"
808 bold="false"/>
809 <text tool="CPN Tools"
810 version="2.2.0"/>
811 </code>
812 <channel id="ID880053">
813 <posattr x="-478.323431"
814 y="-21.000000"/>
815 <fillattr colour="White"
816 pattern="Solid"
817 filled="false"/>
818 <lineattr colour="Navy"
819 thick="0"
820 type="Solid"/>
821 <textattr colour="Navy"
822 bold="false"/>
823 <text tool="CPN Tools"
824 version="2.2.0"/>
825 </channel>
826 </trans>
827 <trans id="ID903262"
828 explicit="false">
829 <posattr x="-499.000000"
830 y="164.000000"/>
831 <fillattr colour="White"
832 pattern=""
833 filled="false"/>
834 <lineattr colour="Fucia"
835 thick="1"
836 type="Solid"/>
837 <textattr colour="Fucia"
838 bold="false"/>
839 <text></text>
840 <box w="60.000000"
841 h="40.000000"/>
842 <binding x="7.200000"
843 y="-3.000000"/>
844 <cond id="ID903263">
845 <posattr x="-538.000000"
846 y="195.000000"/>
847 <fillattr colour="White"
848 pattern="Solid"
849 filled="false"/>
850 <lineattr colour="Fucia"
851 thick="0"
852 type="Solid"/>
853 <textattr colour="Fucia"
854 bold="false"/>
855 <text tool="CPN Tools"
856 version="2.2.0"/>
857 </cond>
858 <time id="ID903264">
859 <posattr x="-454.500000"
860 y="195.000000"/>
861 <fillattr colour="White"
862 pattern="Solid"
863 filled="false"/>
864 <lineattr colour="Fucia"
865 thick="0"
866 type="Solid"/>
867 <textattr colour="Fucia"
868 bold="false"/>
869 <text tool="CPN Tools"
870 version="2.2.0"/>
871 </time>
872 <code id="ID903265">
873 <posattr x="-434.500000"
874 y="112.000000"/>
875 <fillattr colour="White"
876 pattern="Solid"
877 filled="false"/>
878 <lineattr colour="Fucia"
879 thick="0"
880 type="Solid"/>
881 <textattr colour="Fucia"
882 bold="false"/>
883 <text tool="CPN Tools"
884 version="2.2.0"/>
885 </code>
886 <channel id="ID903266">
887 <posattr x="-562.500000"
888 y="164.000000"/>
889 <fillattr colour="White"
890 pattern="Solid"
891 filled="false"/>
892 <lineattr colour="Fucia"
893 thick="0"
894 type="Solid"/>
895 <textattr colour="Fucia"
896 bold="false"/>
897 <text tool="CPN Tools"
898 version="2.2.0"/>
899 </channel>
900 </trans>
901 <trans id="ID904808"
902 explicit="false">
903 <posattr x="-499.000000"
904 y="-356.000000"/>
905 <fillattr colour="White"
906 pattern=""
907 filled="false"/>
908 <lineattr colour="Fucia"
909 thick="1"
910 type="Solid"/>
911 <textattr colour="Fucia"
912 bold="false"/>
913 <text></text>
914 <box w="60.000000"
915 h="40.000000"/>
916 <binding x="7.200000"
917 y="-3.000000"/>
918 <cond id="ID904809">
919 <posattr x="-538.000000"
920 y="-325.000000"/>
921 <fillattr colour="White"
922 pattern="Solid"
923 filled="false"/>
924 <lineattr colour="Fucia"
925 thick="0"
926 type="Solid"/>
927 <textattr colour="Fucia"
928 bold="false"/>
929 <text tool="CPN Tools"
930 version="2.2.0"/>
931 </cond>
932 <time id="ID904810">
933 <posattr x="-454.500000"
934 y="-325.000000"/>
935 <fillattr colour="White"
936 pattern="Solid"
937 filled="false"/>
938 <lineattr colour="Fucia"
939 thick="0"
940 type="Solid"/>
941 <textattr colour="Fucia"
942 bold="false"/>
943 <text tool="CPN Tools"
944 version="2.2.0"/>
945 </time>
946 <code id="ID904811">
947 <posattr x="-434.500000"
948 y="-408.000000"/>
949 <fillattr colour="White"
950 pattern="Solid"
951 filled="false"/>
952 <lineattr colour="Fucia"
953 thick="0"
954 type="Solid"/>
955 <textattr colour="Fucia"
956 bold="false"/>
957 <text tool="CPN Tools"
958 version="2.2.0"/>
959 </code>
960 <channel id="ID904812">
961 <posattr x="-562.500000"
962 y="-356.000000"/>
963 <fillattr colour="White"
964 pattern="Solid"
965 filled="false"/>
966 <lineattr colour="Fucia"
967 thick="0"
968 type="Solid"/>
969 <textattr colour="Fucia"
970 bold="false"/>
971 <text tool="CPN Tools"
972 version="2.2.0"/>
973 </channel>
974 </trans>
975 <trans id="ID1010169"
976 explicit="false">
977 <posattr x="-6.588785"
978 y="-253.000000"/>
979 <fillattr colour="White"
980 pattern=""
981 filled="false"/>
982 <lineattr colour="Maroon"
983 thick="1"
984 type="Solid"/>
985 <textattr colour="Maroon"
986 bold="false"/>
987 <text></text>
988 <box w="60.000000"
989 h="40.000000"/>
990 <binding x="7.200000"
991 y="-3.000000"/>
992 <cond id="ID1010170">
993 <posattr x="-45.588785"
994 y="-222.000000"/>
995 <fillattr colour="White"
996 pattern="Solid"
997 filled="false"/>
998 <lineattr colour="Maroon"
999 thick="0"
1000 type="Solid"/>
1001 <textattr colour="Maroon"
1002 bold="false"/>
1003 <text tool="CPN Tools"
1004 version="2.2.0"/>
1005 </cond>
1006 <time id="ID1010171">
1007 <posattr x="37.911215"
1008 y="-222.000000"/>
1009 <fillattr colour="White"
1010 pattern="Solid"
1011 filled="false"/>
1012 <lineattr colour="Maroon"
1013 thick="0"
1014 type="Solid"/>
1015 <textattr colour="Maroon"
1016 bold="false"/>
1017 <text tool="CPN Tools"
1018 version="2.2.0"/>
1019 </time>
1020 <code id="ID1010172">
1021 <posattr x="57.911215"
1022 y="-305.000000"/>
1023 <fillattr colour="White"
1024 pattern="Solid"
1025 filled="false"/>
1026 <lineattr colour="Maroon"
1027 thick="0"
1028 type="Solid"/>
1029 <textattr colour="Maroon"
1030 bold="false"/>
1031 <text tool="CPN Tools"
1032 version="2.2.0"/>
1033 </code>
1034 <channel id="ID1010173">
1035 <posattr x="-70.088785"
1036 y="-253.000000"/>
1037 <fillattr colour="White"
1038 pattern="Solid"
1039 filled="false"/>
1040 <lineattr colour="Maroon"
1041 thick="0"
1042 type="Solid"/>
1043 <textattr colour="Maroon"
1044 bold="false"/>
1045 <text tool="CPN Tools"
1046 version="2.2.0"/>
1047 </channel>
1048 </trans>
1049 <trans id="ID1037411"
1050 explicit="false">
1051 <posattr x="-6.588785"
1052 y="75.300401"/>
1053 <fillattr colour="White"
1054 pattern=""
1055 filled="false"/>
1056 <lineattr colour="Maroon"
1057 thick="1"
1058 type="Solid"/>
1059 <textattr colour="Maroon"
1060 bold="false"/>
1061 <text></text>
1062 <box w="60.000000"
1063 h="40.000000"/>
1064 <binding x="7.200000"
1065 y="-3.000000"/>
1066 <cond id="ID1037412">
1067 <posattr x="-45.588785"
1068 y="106.300401"/>
1069 <fillattr colour="White"
1070 pattern="Solid"
1071 filled="false"/>
1072 <lineattr colour="Maroon"
1073 thick="0"
1074 type="Solid"/>
1075 <textattr colour="Maroon"
1076 bold="false"/>
1077 <text tool="CPN Tools"
1078 version="2.2.0"/>
1079 </cond>
1080 <time id="ID1037413">
1081 <posattr x="37.911215"
1082 y="106.300401"/>
1083 <fillattr colour="White"
1084 pattern="Solid"
1085 filled="false"/>
1086 <lineattr colour="Maroon"
1087 thick="0"
1088 type="Solid"/>
1089 <textattr colour="Maroon"
1090 bold="false"/>
1091 <text tool="CPN Tools"
1092 version="2.2.0"/>
1093 </time>
1094 <code id="ID1037414">
1095 <posattr x="57.911215"
1096 y="23.300401"/>
1097 <fillattr colour="White"
1098 pattern="Solid"
1099 filled="false"/>
1100 <lineattr colour="Maroon"
1101 thick="0"
1102 type="Solid"/>
1103 <textattr colour="Maroon"
1104 bold="false"/>
1105 <text tool="CPN Tools"
1106 version="2.2.0"/>
1107 </code>
1108 <channel id="ID1037415">
1109 <posattr x="-70.088785"
1110 y="75.300401"/>
1111 <fillattr colour="White"
1112 pattern="Solid"
1113 filled="false"/>
1114 <lineattr colour="Maroon"
1115 thick="0"
1116 type="Solid"/>
1117 <textattr colour="Maroon"
1118 bold="false"/>
1119 <text tool="CPN Tools"
1120 version="2.2.0"/>
1121 </channel>
1122 </trans>
1123 <trans id="ID1039195"
1124 explicit="false">
1125 <posattr x="-6.588785"
1126 y="-84.712951"/>
1127 <fillattr colour="White"
1128 pattern=""
1129 filled="false"/>
1130 <lineattr colour="Maroon"
1131 thick="1"
1132 type="Solid"/>
1133 <textattr colour="Maroon"
1134 bold="false"/>
1135 <text></text>
1136 <box w="60.000000"
1137 h="40.000000"/>
1138 <binding x="7.200000"
1139 y="-3.000000"/>
1140 <cond id="ID1039196">
1141 <posattr x="-45.588785"
1142 y="-53.712951"/>
1143 <fillattr colour="White"
1144 pattern="Solid"
1145 filled="false"/>
1146 <lineattr colour="Maroon"
1147 thick="0"
1148 type="Solid"/>
1149 <textattr colour="Maroon"
1150 bold="false"/>
1151 <text tool="CPN Tools"
1152 version="2.2.0"/>
1153 </cond>
1154 <time id="ID1039197">
1155 <posattr x="37.911215"
1156 y="-53.712951"/>
1157 <fillattr colour="White"
1158 pattern="Solid"
1159 filled="false"/>
1160 <lineattr colour="Maroon"
1161 thick="0"
1162 type="Solid"/>
1163 <textattr colour="Maroon"
1164 bold="false"/>
1165 <text tool="CPN Tools"
1166 version="2.2.0"/>
1167 </time>
1168 <code id="ID1039198">
1169 <posattr x="57.911215"
1170 y="-136.712951"/>
1171 <fillattr colour="White"
1172 pattern="Solid"
1173 filled="false"/>
1174 <lineattr colour="Maroon"
1175 thick="0"
1176 type="Solid"/>
1177 <textattr colour="Maroon"
1178 bold="false"/>
1179 <text tool="CPN Tools"
1180 version="2.2.0"/>
1181 </code>
1182 <channel id="ID1039199">
1183 <posattr x="-70.088785"
1184 y="-84.712951"/>
1185 <fillattr colour="White"
1186 pattern="Solid"
1187 filled="false"/>
1188 <lineattr colour="Maroon"
1189 thick="0"
1190 type="Solid"/>
1191 <textattr colour="Maroon"
1192 bold="false"/>
1193 <text tool="CPN Tools"
1194 version="2.2.0"/>
1195 </channel>
1196 </trans>
1197 <trans id="ID1364928"
1198 explicit="false">
1199 <posattr x="-101.176569"
1200 y="254.000000"/>
1201 <fillattr colour="White"
1202 pattern=""
1203 filled="false"/>
1204 <lineattr colour="Black"
1205 thick="1"
1206 type="Solid"/>
1207 <textattr colour="Black"
1208 bold="false"/>
1209 <text>END
1210MARKER</text>
1211 <box w="60.000000"
1212 h="40.000000"/>
1213 <binding x="7.200000"
1214 y="-3.000000"/>
1215 <cond id="ID1364929">
1216 <posattr x="-140.176569"
1217 y="285.000000"/>
1218 <fillattr colour="White"
1219 pattern="Solid"
1220 filled="false"/>
1221 <lineattr colour="Black"
1222 thick="0"
1223 type="Solid"/>
1224 <textattr colour="Black"
1225 bold="false"/>
1226 <text tool="CPN Tools"
1227 version="2.2.0"/>
1228 </cond>
1229 <time id="ID1364930">
1230 <posattr x="-56.676569"
1231 y="285.000000"/>
1232 <fillattr colour="White"
1233 pattern="Solid"
1234 filled="false"/>
1235 <lineattr colour="Black"
1236 thick="0"
1237 type="Solid"/>
1238 <textattr colour="Black"
1239 bold="false"/>
1240 <text tool="CPN Tools"
1241 version="2.2.0"/>
1242 </time>
1243 <code id="ID1364931">
1244 <posattr x="-36.676569"
1245 y="202.000000"/>
1246 <fillattr colour="White"
1247 pattern="Solid"
1248 filled="false"/>
1249 <lineattr colour="Black"
1250 thick="0"
1251 type="Solid"/>
1252 <textattr colour="Black"
1253 bold="false"/>
1254 <text tool="CPN Tools"
1255 version="2.2.0"/>
1256 </code>
1257 <channel id="ID1364932">
1258 <posattr x="-164.676569"
1259 y="254.000000"/>
1260 <fillattr colour="White"
1261 pattern="Solid"
1262 filled="false"/>
1263 <lineattr colour="Black"
1264 thick="0"
1265 type="Solid"/>
1266 <textattr colour="Black"
1267 bold="false"/>
1268 <text tool="CPN Tools"
1269 version="2.2.0"/>
1270 </channel>
1271 </trans>
1272 <trans id="ID1367542"
1273 explicit="false">
1274 <posattr x="-101.176569"
1275 y="-486.000000"/>
1276 <fillattr colour="White"
1277 pattern=""
1278 filled="false"/>
1279 <lineattr colour="Lime"
1280 thick="1"
1281 type="Solid"/>
1282 <textattr colour="Lime"
1283 bold="false"/>
1284 <text>END
1285MARKER</text>
1286 <box w="62.353138"
1287 h="35.293725"/>
1288 <binding x="7.200000"
1289 y="-3.000000"/>
1290 <cond id="ID1367543">
1291 <posattr x="-141.353138"
1292 y="-457.353138"/>
1293 <fillattr colour="White"
1294 pattern="Solid"
1295 filled="false"/>
1296 <lineattr colour="Lime"
1297 thick="0"
1298 type="Solid"/>
1299 <textattr colour="Lime"
1300 bold="false"/>
1301 <text tool="CPN Tools"
1302 version="2.2.0"/>
1303 </cond>
1304 <time id="ID1367544">
1305 <posattr x="-55.500000"
1306 y="-457.353138"/>
1307 <fillattr colour="White"
1308 pattern="Solid"
1309 filled="false"/>
1310 <lineattr colour="Lime"
1311 thick="0"
1312 type="Solid"/>
1313 <textattr colour="Lime"
1314 bold="false"/>
1315 <text tool="CPN Tools"
1316 version="2.2.0"/>
1317 </time>
1318 <code id="ID1367545">
1319 <posattr x="-35.500000"
1320 y="-535.646862"/>
1321 <fillattr colour="White"
1322 pattern="Solid"
1323 filled="false"/>
1324 <lineattr colour="Lime"
1325 thick="0"
1326 type="Solid"/>
1327 <textattr colour="Lime"
1328 bold="false"/>
1329 <text tool="CPN Tools"
1330 version="2.2.0"/>
1331 </code>
1332 <channel id="ID1367546">
1333 <posattr x="-165.853138"
1334 y="-486.000000"/>
1335 <fillattr colour="White"
1336 pattern="Solid"
1337 filled="false"/>
1338 <lineattr colour="Lime"
1339 thick="0"
1340 type="Solid"/>
1341 <textattr colour="Lime"
1342 bold="false"/>
1343 <text tool="CPN Tools"
1344 version="2.2.0"/>
1345 </channel>
1346 </trans>
1347 <arc id="ID783612"
1348 orientation="PtoT"
1349 order="2">
1350 <posattr x="0.000000"
1351 y="0.000000"/>
1352 <fillattr colour="White"
1353 pattern=""
1354 filled="false"/>
1355 <lineattr colour="Black"
1356 thick="1"
1357 type="Solid"/>
1358 <textattr colour="Black"
1359 bold="false"/>
1360 <arrowattr headsize="1.200000"
1361 currentcyckle="2"/>
1362 <transend idref="ID782576"/>
1363 <placeend idref="ID782428"/>
1364 <annot id="ID783613">
1365 <posattr x="-166.000000"
1366 y="145.000000"/>
1367 <fillattr colour="White"
1368 pattern="Solid"
1369 filled="false"/>
1370 <lineattr colour="Black"
1371 thick="0"
1372 type="Solid"/>
1373 <textattr colour="Black"
1374 bold="false"/>
1375 <text tool="CPN Tools"
1376 version="2.2.0">2`(1,0)</text>
1377 </annot>
1378 </arc>
1379 <arc id="ID806266"
1380 orientation="TtoP"
1381 order="1">
1382 <posattr x="0.000000"
1383 y="0.000000"/>
1384 <fillattr colour="White"
1385 pattern=""
1386 filled="false"/>
1387 <lineattr colour="Black"
1388 thick="1"
1389 type="Solid"/>
1390 <textattr colour="Black"
1391 bold="false"/>
1392 <arrowattr headsize="1.200000"
1393 currentcyckle="2"/>
1394 <transend idref="ID782576"/>
1395 <placeend idref="ID782428"/>
1396 <annot id="ID806267">
1397 <posattr x="-117.000000"
1398 y="103.000000"/>
1399 <fillattr colour="White"
1400 pattern="Solid"
1401 filled="false"/>
1402 <lineattr colour="Black"
1403 thick="0"
1404 type="Solid"/>
1405 <textattr colour="Black"
1406 bold="false"/>
1407 <text tool="CPN Tools"
1408 version="2.2.0">1`(0,1)</text>
1409 </annot>
1410 </arc>
1411 <arc id="ID815389"
1412 orientation="TtoP"
1413 order="1">
1414 <posattr x="0.000000"
1415 y="0.000000"/>
1416 <fillattr colour="White"
1417 pattern=""
1418 filled="false"/>
1419 <lineattr colour="Black"
1420 thick="1"
1421 type="Solid"/>
1422 <textattr colour="Black"
1423 bold="false"/>
1424 <arrowattr headsize="1.200000"
1425 currentcyckle="2"/>
1426 <transend idref="ID782576"/>
1427 <placeend idref="ID782445"/>
1428 <annot id="ID815390">
1429 <posattr x="-133.000000"
1430 y="48.000000"/>
1431 <fillattr colour="White"
1432 pattern="Solid"
1433 filled="false"/>
1434 <lineattr colour="Black"
1435 thick="0"
1436 type="Solid"/>
1437 <textattr colour="Black"
1438 bold="false"/>
1439 <text tool="CPN Tools"
1440 version="2.2.0">(1,0)</text>
1441 </annot>
1442 </arc>
1443 <arc id="ID852673"
1444 orientation="PtoT"
1445 order="2">
1446 <posattr x="0.000000"
1447 y="0.000000"/>
1448 <fillattr colour="White"
1449 pattern=""
1450 filled="false"/>
1451 <lineattr colour="Black"
1452 thick="1"
1453 type="Solid"/>
1454 <textattr colour="Black"
1455 bold="false"/>
1456 <arrowattr headsize="1.200000"
1457 currentcyckle="2"/>
1458 <transend idref="ID837477"/>
1459 <placeend idref="ID782445"/>
1460 <annot id="ID852674">
1461 <posattr x="-162.000000"
1462 y="-12.000000"/>
1463 <fillattr colour="White"
1464 pattern="Solid"
1465 filled="false"/>
1466 <lineattr colour="Black"
1467 thick="0"
1468 type="Solid"/>
1469 <textattr colour="Black"
1470 bold="false"/>
1471 <text tool="CPN Tools"
1472 version="2.2.0">2`(1,0)</text>
1473 </annot>
1474 </arc>
1475 <arc id="ID853492"
1476 orientation="TtoP"
1477 order="1">
1478 <posattr x="0.000000"
1479 y="0.000000"/>
1480 <fillattr colour="White"
1481 pattern=""
1482 filled="false"/>
1483 <lineattr colour="Black"
1484 thick="1"
1485 type="Solid"/>
1486 <textattr colour="Black"
1487 bold="false"/>
1488 <arrowattr headsize="1.200000"
1489 currentcyckle="2"/>
1490 <transend idref="ID837477"/>
1491 <placeend idref="ID782445"/>
1492 <annot id="ID853493">
1493 <posattr x="-121.000000"
1494 y="-60.000000"/>
1495 <fillattr colour="White"
1496 pattern="Solid"
1497 filled="false"/>
1498 <lineattr colour="Black"
1499 thick="0"
1500 type="Solid"/>
1501 <textattr colour="Black"
1502 bold="false"/>
1503 <text tool="CPN Tools"
1504 version="2.2.0">1`(0,1)</text>
1505 </annot>
1506 </arc>
1507 <arc id="ID854267"
1508 orientation="TtoP"
1509 order="1">
1510 <posattr x="0.000000"
1511 y="0.000000"/>
1512 <fillattr colour="White"
1513 pattern=""
1514 filled="false"/>
1515 <lineattr colour="Black"
1516 thick="1"
1517 type="Solid"/>
1518 <textattr colour="Black"
1519 bold="false"/>
1520 <arrowattr headsize="1.200000"
1521 currentcyckle="2"/>
1522 <transend idref="ID837477"/>
1523 <placeend idref="ID840944"/>
1524 <annot id="ID854268">
1525 <posattr x="-132.000000"
1526 y="-113.000000"/>
1527 <fillattr colour="White"
1528 pattern="Solid"
1529 filled="false"/>
1530 <lineattr colour="Black"
1531 thick="0"
1532 type="Solid"/>
1533 <textattr colour="Black"
1534 bold="false"/>
1535 <text tool="CPN Tools"
1536 version="2.2.0">(1,0)</text>
1537 </annot>
1538 </arc>
1539 <arc id="ID855021"
1540 orientation="PtoT"
1541 order="2">
1542 <posattr x="0.000000"
1543 y="0.000000"/>
1544 <fillattr colour="White"
1545 pattern=""
1546 filled="false"/>
1547 <lineattr colour="Black"
1548 thick="1"
1549 type="Solid"/>
1550 <textattr colour="Black"
1551 bold="false"/>
1552 <arrowattr headsize="1.200000"
1553 currentcyckle="2"/>
1554 <transend idref="ID838052"/>
1555 <placeend idref="ID840944"/>
1556 <annot id="ID855022">
1557 <posattr x="-168.000000"
1558 y="-186.000000"/>
1559 <fillattr colour="White"
1560 pattern="Solid"
1561 filled="false"/>
1562 <lineattr colour="Black"
1563 thick="0"
1564 type="Solid"/>
1565 <textattr colour="Black"
1566 bold="false"/>
1567 <text tool="CPN Tools"
1568 version="2.2.0">2`(1,0)</text>
1569 </annot>
1570 </arc>
1571 <arc id="ID855772"
1572 orientation="TtoP"
1573 order="1">
1574 <posattr x="0.000000"
1575 y="0.000000"/>
1576 <fillattr colour="White"
1577 pattern=""
1578 filled="false"/>
1579 <lineattr colour="Black"
1580 thick="1"
1581 type="Solid"/>
1582 <textattr colour="Black"
1583 bold="false"/>
1584 <arrowattr headsize="1.200000"
1585 currentcyckle="2"/>
1586 <transend idref="ID838052"/>
1587 <placeend idref="ID840944"/>
1588 <annot id="ID855773">
1589 <posattr x="-120.000000"
1590 y="-229.000000"/>
1591 <fillattr colour="White"
1592 pattern="Solid"
1593 filled="false"/>
1594 <lineattr colour="Black"
1595 thick="0"
1596 type="Solid"/>
1597 <textattr colour="Black"
1598 bold="false"/>
1599 <text tool="CPN Tools"
1600 version="2.2.0">1`(0,1)</text>
1601 </annot>
1602 </arc>
1603 <arc id="ID856571"
1604 orientation="TtoP"
1605 order="1">
1606 <posattr x="0.000000"
1607 y="0.000000"/>
1608 <fillattr colour="White"
1609 pattern=""
1610 filled="false"/>
1611 <lineattr colour="Black"
1612 thick="1"
1613 type="Solid"/>
1614 <textattr colour="Black"
1615 bold="false"/>
1616 <arrowattr headsize="1.200000"
1617 currentcyckle="2"/>
1618 <transend idref="ID838052"/>
1619 <placeend idref="ID841537"/>
1620 <annot id="ID856572">
1621 <posattr x="-132.000000"
1622 y="-294.000000"/>
1623 <fillattr colour="White"
1624 pattern="Solid"
1625 filled="false"/>
1626 <lineattr colour="Black"
1627 thick="0"
1628 type="Solid"/>
1629 <textattr colour="Black"
1630 bold="false"/>
1631 <text tool="CPN Tools"
1632 version="2.2.0">(1,0)</text>
1633 </annot>
1634 </arc>
1635 <arc id="ID882493"
1636 orientation="PtoT"
1637 order="1">
1638 <posattr x="0.000000"
1639 y="0.000000"/>
1640 <fillattr colour="White"
1641 pattern=""
1642 filled="false"/>
1643 <lineattr colour="Black"
1644 thick="1"
1645 type="Solid"/>
1646 <textattr colour="Black"
1647 bold="false"/>
1648 <arrowattr headsize="1.200000"
1649 currentcyckle="2"/>
1650 <transend idref="ID880049"/>
1651 <placeend idref="ID869744"/>
1652 <annot id="ID882494">
1653 <posattr x="-408.000000"
1654 y="-57.000000"/>
1655 <fillattr colour="White"
1656 pattern="Solid"
1657 filled="false"/>
1658 <lineattr colour="Black"
1659 thick="0"
1660 type="Solid"/>
1661 <textattr colour="Black"
1662 bold="false"/>
1663 <text tool="CPN Tools"
1664 version="2.2.0">b</text>
1665 </annot>
1666 </arc>
1667 <arc id="ID883296"
1668 orientation="PtoT"
1669 order="1">
1670 <posattr x="0.000000"
1671 y="0.000000"/>
1672 <fillattr colour="White"
1673 pattern=""
1674 filled="false"/>
1675 <lineattr colour="Black"
1676 thick="1"
1677 type="Solid"/>
1678 <textattr colour="Black"
1679 bold="false"/>
1680 <arrowattr headsize="1.200000"
1681 currentcyckle="2"/>
1682 <transend idref="ID877574"/>
1683 <placeend idref="ID869744"/>
1684 <annot id="ID883297">
1685 <posattr x="-408.000000"
1686 y="-129.000000"/>
1687 <fillattr colour="White"
1688 pattern="Solid"
1689 filled="false"/>
1690 <lineattr colour="Black"
1691 thick="0"
1692 type="Solid"/>
1693 <textattr colour="Black"
1694 bold="false"/>
1695 <text tool="CPN Tools"
1696 version="2.2.0">b</text>
1697 </annot>
1698 </arc>
1699 <arc id="ID884122"
1700 orientation="TtoP"
1701 order="1">
1702 <posattr x="0.000000"
1703 y="0.000000"/>
1704 <fillattr colour="White"
1705 pattern=""
1706 filled="false"/>
1707 <lineattr colour="Black"
1708 thick="1"
1709 type="Solid"/>
1710 <textattr colour="Black"
1711 bold="false"/>
1712 <arrowattr headsize="1.200000"
1713 currentcyckle="2"/>
1714 <transend idref="ID877574"/>
1715 <placeend idref="ID876680"/>
1716 <annot id="ID884123">
1717 <posattr x="-408.000000"
1718 y="-200.000000"/>
1719 <fillattr colour="White"
1720 pattern="Solid"
1721 filled="false"/>
1722 <lineattr colour="Black"
1723 thick="0"
1724 type="Solid"/>
1725 <textattr colour="Black"
1726 bold="false"/>
1727 <text tool="CPN Tools"
1728 version="2.2.0">b</text>
1729 </annot>
1730 </arc>
1731 <arc id="ID884943"
1732 orientation="TtoP"
1733 order="1">
1734 <posattr x="0.000000"
1735 y="0.000000"/>
1736 <fillattr colour="White"
1737 pattern=""
1738 filled="false"/>
1739 <lineattr colour="Black"
1740 thick="1"
1741 type="Solid"/>
1742 <textattr colour="Black"
1743 bold="false"/>
1744 <arrowattr headsize="1.200000"
1745 currentcyckle="2"/>
1746 <transend idref="ID880049"/>
1747 <placeend idref="ID875717"/>
1748 <annot id="ID884944">
1749 <posattr x="-408.000000"
1750 y="14.000000"/>
1751 <fillattr colour="White"
1752 pattern="Solid"
1753 filled="false"/>
1754 <lineattr colour="Black"
1755 thick="0"
1756 type="Solid"/>
1757 <textattr colour="Black"
1758 bold="false"/>
1759 <text tool="CPN Tools"
1760 version="2.2.0">b</text>
1761 </annot>
1762 </arc>
1763 <arc id="ID906798"
1764 orientation="PtoT"
1765 order="1">
1766 <posattr x="0.000000"
1767 y="0.000000"/>
1768 <fillattr colour="White"
1769 pattern=""
1770 filled="false"/>
1771 <lineattr colour="Black"
1772 thick="1"
1773 type="Solid"/>
1774 <textattr colour="Black"
1775 bold="false"/>
1776 <arrowattr headsize="1.200000"
1777 currentcyckle="2"/>
1778 <transend idref="ID903262"/>
1779 <placeend idref="ID897138"/>
1780 <annot id="ID906799">
1781 <posattr x="-547.000000"
1782 y="9.000000"/>
1783 <fillattr colour="White"
1784 pattern="Solid"
1785 filled="false"/>
1786 <lineattr colour="Black"
1787 thick="0"
1788 type="Solid"/>
1789 <textattr colour="Black"
1790 bold="false"/>
1791 <text tool="CPN Tools"
1792 version="2.2.0">n</text>
1793 </annot>
1794 </arc>
1795 <arc id="ID907796"
1796 orientation="PtoT"
1797 order="1">
1798 <posattr x="0.000000"
1799 y="0.000000"/>
1800 <fillattr colour="White"
1801 pattern=""
1802 filled="false"/>
1803 <lineattr colour="Black"
1804 thick="1"
1805 type="Solid"/>
1806 <textattr colour="Black"
1807 bold="false"/>
1808 <arrowattr headsize="1.200000"
1809 currentcyckle="2"/>
1810 <transend idref="ID904808"/>
1811 <placeend idref="ID897138"/>
1812 <annot id="ID907797">
1813 <posattr x="-546.000000"
1814 y="-232.000000"/>
1815 <fillattr colour="White"
1816 pattern="Solid"
1817 filled="false"/>
1818 <lineattr colour="Black"
1819 thick="0"
1820 type="Solid"/>
1821 <textattr colour="Black"
1822 bold="false"/>
1823 <text tool="CPN Tools"
1824 version="2.2.0">n</text>
1825 </annot>
1826 </arc>
1827 <arc id="ID912233"
1828 orientation="BOTHDIR"
1829 order="1">
1830 <posattr x="0.000000"
1831 y="0.000000"/>
1832 <fillattr colour="White"
1833 pattern=""
1834 filled="false"/>
1835 <lineattr colour="Black"
1836 thick="1"
1837 type="Solid"/>
1838 <textattr colour="Black"
1839 bold="false"/>
1840 <arrowattr headsize="1.200000"
1841 currentcyckle="2"/>
1842 <transend idref="ID903262"/>
1843 <placeend idref="ID875717"/>
1844 <annot id="ID912234">
1845 <posattr x="-451.000000"
1846 y="119.000000"/>
1847 <fillattr colour="White"
1848 pattern="Solid"
1849 filled="false"/>
1850 <lineattr colour="Black"
1851 thick="0"
1852 type="Solid"/>
1853 <textattr colour="Black"
1854 bold="false"/>
1855 <text tool="CPN Tools"
1856 version="2.2.0">b</text>
1857 </annot>
1858 </arc>
1859 <arc id="ID913272"
1860 orientation="TtoP"
1861 order="1">
1862 <posattr x="0.000000"
1863 y="0.000000"/>
1864 <fillattr colour="White"
1865 pattern=""
1866 filled="false"/>
1867 <lineattr colour="Black"
1868 thick="1"
1869 type="Solid"/>
1870 <textattr colour="Black"
1871 bold="false"/>
1872 <arrowattr headsize="1.200000"
1873 currentcyckle="2"/>
1874 <transend idref="ID903262"/>
1875 <placeend idref="ID782428"/>
1876 <annot id="ID913273">
1877 <posattr x="-301.000000"
1878 y="175.000000"/>
1879 <fillattr colour="White"
1880 pattern="Solid"
1881 filled="false"/>
1882 <lineattr colour="Black"
1883 thick="0"
1884 type="Solid"/>
1885 <textattr colour="Black"
1886 bold="false"/>
1887 <text tool="CPN Tools"
1888 version="2.2.0">(n,0)</text>
1889 </annot>
1890 </arc>
1891 <arc id="ID914292"
1892 orientation="BOTHDIR"
1893 order="1">
1894 <posattr x="0.000000"
1895 y="0.000000"/>
1896 <fillattr colour="White"
1897 pattern=""
1898 filled="false"/>
1899 <lineattr colour="Black"
1900 thick="1"
1901 type="Solid"/>
1902 <textattr colour="Black"
1903 bold="false"/>
1904 <arrowattr headsize="1.200000"
1905 currentcyckle="2"/>
1906 <transend idref="ID904808"/>
1907 <placeend idref="ID876680"/>
1908 <annot id="ID914293">
1909 <posattr x="-451.000000"
1910 y="-305.000000"/>
1911 <fillattr colour="White"
1912 pattern="Solid"
1913 filled="false"/>
1914 <lineattr colour="Black"
1915 thick="0"
1916 type="Solid"/>
1917 <textattr colour="Black"
1918 bold="false"/>
1919 <text tool="CPN Tools"
1920 version="2.2.0">b</text>
1921 </annot>
1922 </arc>
1923 <arc id="ID915355"
1924 orientation="TtoP"
1925 order="1">
1926 <posattr x="0.000000"
1927 y="0.000000"/>
1928 <fillattr colour="White"
1929 pattern=""
1930 filled="false"/>
1931 <lineattr colour="Black"
1932 thick="1"
1933 type="Solid"/>
1934 <textattr colour="Black"
1935 bold="false"/>
1936 <arrowattr headsize="1.200000"
1937 currentcyckle="2"/>
1938 <transend idref="ID904808"/>
1939 <placeend idref="ID841537"/>
1940 <annot id="ID915356">
1941 <posattr x="-301.000000"
1942 y="-345.000000"/>
1943 <fillattr colour="White"
1944 pattern="Solid"
1945 filled="false"/>
1946 <lineattr colour="Black"
1947 thick="0"
1948 type="Solid"/>
1949 <textattr colour="Black"
1950 bold="false"/>
1951 <text tool="CPN Tools"
1952 version="2.2.0">(n,0)</text>
1953 </annot>
1954 </arc>
1955 <arc id="ID1011950"
1956 orientation="TtoP"
1957 order="2">
1958 <posattr x="0.000000"
1959 y="0.000000"/>
1960 <fillattr colour="White"
1961 pattern=""
1962 filled="false"/>
1963 <lineattr colour="Black"
1964 thick="1"
1965 type="Solid"/>
1966 <textattr colour="Black"
1967 bold="false"/>
1968 <arrowattr headsize="1.200000"
1969 currentcyckle="2"/>
1970 <transend idref="ID1010169"/>
1971 <placeend idref="ID841537"/>
1972 <annot id="ID1011951">
1973 <posattr x="-12.000000"
1974 y="-307.000000"/>
1975 <fillattr colour="White"
1976 pattern="Solid"
1977 filled="false"/>
1978 <lineattr colour="Black"
1979 thick="0"
1980 type="Solid"/>
1981 <textattr colour="Black"
1982 bold="false"/>
1983 <text tool="CPN Tools"
1984 version="2.2.0">1`(0,1)</text>
1985 </annot>
1986 </arc>
1987 <arc id="ID1013296"
1988 orientation="PtoT"
1989 order="1">
1990 <posattr x="0.000000"
1991 y="0.000000"/>
1992 <fillattr colour="White"
1993 pattern=""
1994 filled="false"/>
1995 <lineattr colour="Black"
1996 thick="1"
1997 type="Solid"/>
1998 <textattr colour="Black"
1999 bold="false"/>
2000 <arrowattr headsize="1.200000"
2001 currentcyckle="2"/>
2002 <transend idref="ID1010169"/>
2003 <placeend idref="ID841537"/>
2004 <annot id="ID1013297">
2005 <posattr x="-79.000000"
2006 y="-290.000000"/>
2007 <fillattr colour="White"
2008 pattern="Solid"
2009 filled="false"/>
2010 <lineattr colour="Black"
2011 thick="0"
2012 type="Solid"/>
2013 <textattr colour="Black"
2014 bold="false"/>
2015 <text tool="CPN Tools"
2016 version="2.2.0">2`(1,0)</text>
2017 </annot>
2018 </arc>
2019 <arc id="ID1014627"
2020 orientation="TtoP"
2021 order="1">
2022 <posattr x="0.000000"
2023 y="0.000000"/>
2024 <fillattr colour="White"
2025 pattern=""
2026 filled="false"/>
2027 <lineattr colour="Black"
2028 thick="1"
2029 type="Solid"/>
2030 <textattr colour="Black"
2031 bold="false"/>
2032 <arrowattr headsize="1.200000"
2033 currentcyckle="2"/>
2034 <transend idref="ID1010169"/>
2035 <placeend idref="ID840944"/>
2036 <annot id="ID1014628">
2037 <posattr x="-43.000000"
2038 y="-194.000000"/>
2039 <fillattr colour="White"
2040 pattern="Solid"
2041 filled="false"/>
2042 <lineattr colour="Black"
2043 thick="0"
2044 type="Solid"/>
2045 <textattr colour="Black"
2046 bold="false"/>
2047 <text tool="CPN Tools"
2048 version="2.2.0">(1,0)</text>
2049 </annot>
2050 </arc>
2051 <arc id="ID1044226"
2052 orientation="TtoP"
2053 order="1">
2054 <posattr x="0.000000"
2055 y="0.000000"/>
2056 <fillattr colour="White"
2057 pattern=""
2058 filled="false"/>
2059 <lineattr colour="Black"
2060 thick="1"
2061 type="Solid"/>
2062 <textattr colour="Black"
2063 bold="false"/>
2064 <arrowattr headsize="1.200000"
2065 currentcyckle="2"/>
2066 <transend idref="ID1039195"/>
2067 <placeend idref="ID782445"/>
2068 <annot id="ID1044227">
2069 <posattr x="-44.000000"
2070 y="-27.000000"/>
2071 <fillattr colour="White"
2072 pattern="Solid"
2073 filled="false"/>
2074 <lineattr colour="Black"
2075 thick="0"
2076 type="Solid"/>
2077 <textattr colour="Black"
2078 bold="false"/>
2079 <text tool="CPN Tools"
2080 version="2.2.0">(1,0)</text>
2081 </annot>
2082 </arc>
2083 <arc id="ID1045959"
2084 orientation="TtoP"
2085 order="1">
2086 <posattr x="0.000000"
2087 y="0.000000"/>
2088 <fillattr colour="White"
2089 pattern=""
2090 filled="false"/>
2091 <lineattr colour="Black"
2092 thick="1"
2093 type="Solid"/>
2094 <textattr colour="Black"
2095 bold="false"/>
2096 <arrowattr headsize="1.200000"
2097 currentcyckle="2"/>
2098 <transend idref="ID1037411"/>
2099 <placeend idref="ID782428"/>
2100 <annot id="ID1045960">
2101 <posattr x="-42.000000"
2102 y="135.000000"/>
2103 <fillattr colour="White"
2104 pattern="Solid"
2105 filled="false"/>
2106 <lineattr colour="Black"
2107 thick="0"
2108 type="Solid"/>
2109 <textattr colour="Black"
2110 bold="false"/>
2111 <text tool="CPN Tools"
2112 version="2.2.0">(1,0)</text>
2113 </annot>
2114 </arc>
2115 <arc id="ID1047772"
2116 orientation="TtoP"
2117 order="1">
2118 <posattr x="0.000000"
2119 y="0.000000"/>
2120 <fillattr colour="White"
2121 pattern=""
2122 filled="false"/>
2123 <lineattr colour="Black"
2124 thick="1"
2125 type="Solid"/>
2126 <textattr colour="Black"
2127 bold="false"/>
2128 <arrowattr headsize="1.200000"
2129 currentcyckle="2"/>
2130 <transend idref="ID1037411"/>
2131 <placeend idref="ID782445"/>
2132 <annot id="ID1047773">
2133 <posattr x="-84.000000"
2134 y="46.000000"/>
2135 <fillattr colour="White"
2136 pattern="Solid"
2137 filled="false"/>
2138 <lineattr colour="Black"
2139 thick="0"
2140 type="Solid"/>
2141 <textattr colour="Black"
2142 bold="false"/>
2143 <text tool="CPN Tools"
2144 version="2.2.0">1`(0,1)</text>
2145 </annot>
2146 </arc>
2147 <arc id="ID1049722"
2148 orientation="PtoT"
2149 order="2">
2150 <posattr x="0.000000"
2151 y="0.000000"/>
2152 <fillattr colour="White"
2153 pattern=""
2154 filled="false"/>
2155 <lineattr colour="Black"
2156 thick="1"
2157 type="Solid"/>
2158 <textattr colour="Black"
2159 bold="false"/>
2160 <arrowattr headsize="1.200000"
2161 currentcyckle="2"/>
2162 <transend idref="ID1037411"/>
2163 <placeend idref="ID782445"/>
2164 <annot id="ID1049723">
2165 <posattr x="-31.000000"
2166 y="23.000000"/>
2167 <fillattr colour="White"
2168 pattern="Solid"
2169 filled="false"/>
2170 <lineattr colour="Black"
2171 thick="0"
2172 type="Solid"/>
2173 <textattr colour="Black"
2174 bold="false"/>
2175 <text tool="CPN Tools"
2176 version="2.2.0">2`(1,0)</text>
2177 </annot>
2178 </arc>
2179 <arc id="ID1051240"
2180 orientation="PtoT"
2181 order="1">
2182 <posattr x="0.000000"
2183 y="0.000000"/>
2184 <fillattr colour="White"
2185 pattern=""
2186 filled="false"/>
2187 <lineattr colour="Black"
2188 thick="1"
2189 type="Solid"/>
2190 <textattr colour="Black"
2191 bold="false"/>
2192 <arrowattr headsize="1.200000"
2193 currentcyckle="2"/>
2194 <transend idref="ID1039195"/>
2195 <placeend idref="ID840944"/>
2196 <annot id="ID1051241">
2197 <posattr x="-67.000000"
2198 y="-117.000000"/>
2199 <fillattr colour="White"
2200 pattern="Solid"
2201 filled="false"/>
2202 <lineattr colour="Black"
2203 thick="0"
2204 type="Solid"/>
2205 <textattr colour="Black"
2206 bold="false"/>
2207 <text tool="CPN Tools"
2208 version="2.2.0">2`(1,0)</text>
2209 </annot>
2210 </arc>
2211 <arc id="ID1052918"
2212 orientation="TtoP"
2213 order="2">
2214 <posattr x="0.000000"
2215 y="0.000000"/>
2216 <fillattr colour="White"
2217 pattern=""
2218 filled="false"/>
2219 <lineattr colour="Black"
2220 thick="1"
2221 type="Solid"/>
2222 <textattr colour="Black"
2223 bold="false"/>
2224 <arrowattr headsize="1.200000"
2225 currentcyckle="2"/>
2226 <transend idref="ID1039195"/>
2227 <placeend idref="ID840944"/>
2228 <annot id="ID1052919">
2229 <posattr x="-21.000000"
2230 y="-138.000000"/>
2231 <fillattr colour="White"
2232 pattern="Solid"
2233 filled="false"/>
2234 <lineattr colour="Black"
2235 thick="0"
2236 type="Solid"/>
2237 <textattr colour="Black"
2238 bold="false"/>
2239 <text tool="CPN Tools"
2240 version="2.2.0">1`(0,1)</text>
2241 </annot>
2242 </arc>
2243 <arc id="ID1172601"
2244 orientation="BOTHDIR"
2245 order="1">
2246 <posattr x="0.000000"
2247 y="0.000000"/>
2248 <fillattr colour="White"
2249 pattern=""
2250 filled="false"/>
2251 <lineattr colour="Black"
2252 thick="1"
2253 type="Solid"/>
2254 <textattr colour="Black"
2255 bold="false"/>
2256 <arrowattr headsize="1.200000"
2257 currentcyckle="2"/>
2258 <transend idref="ID782576"/>
2259 <placeend idref="ID875717"/>
2260 <bendpoint id="ID1193536"
2261 serial="1">
2262 <posattr x="-281.905874"
2263 y="53.000000"/>
2264 <fillattr colour="White"
2265 pattern="Solid"
2266 filled="false"/>
2267 <lineattr colour="Black"
2268 thick="0"
2269 type="Solid"/>
2270 <textattr colour="Black"
2271 bold="false"/>
2272 </bendpoint>
2273 <annot id="ID1172602">
2274 <posattr x="-247.000000"
2275 y="64.000000"/>
2276 <fillattr colour="White"
2277 pattern="Solid"
2278 filled="false"/>
2279 <lineattr colour="Black"
2280 thick="0"
2281 type="Solid"/>
2282 <textattr colour="Black"
2283 bold="false"/>
2284 <text tool="CPN Tools"
2285 version="2.2.0">b</text>
2286 </annot>
2287 </arc>
2288 <arc id="ID1174960"
2289 orientation="BOTHDIR"
2290 order="1">
2291 <posattr x="0.000000"
2292 y="0.000000"/>
2293 <fillattr colour="White"
2294 pattern=""
2295 filled="false"/>
2296 <lineattr colour="Black"
2297 thick="1"
2298 type="Solid"/>
2299 <textattr colour="Black"
2300 bold="false"/>
2301 <arrowattr headsize="1.200000"
2302 currentcyckle="2"/>
2303 <transend idref="ID837477"/>
2304 <placeend idref="ID875717"/>
2305 <bendpoint id="ID1195201"
2306 serial="1">
2307 <posattr x="-224.254005"
2308 y="38.826769"/>
2309 <fillattr colour="White"
2310 pattern="Solid"
2311 filled="false"/>
2312 <lineattr colour="Black"
2313 thick="0"
2314 type="Solid"/>
2315 <textattr colour="Black"
2316 bold="false"/>
2317 </bendpoint>
2318 <annot id="ID1174961">
2319 <posattr x="-216.000000"
2320 y="-8.000000"/>
2321 <fillattr colour="White"
2322 pattern="Solid"
2323 filled="false"/>
2324 <lineattr colour="Black"
2325 thick="0"
2326 type="Solid"/>
2327 <textattr colour="Black"
2328 bold="false"/>
2329 <text tool="CPN Tools"
2330 version="2.2.0">b</text>
2331 </annot>
2332 </arc>
2333 <arc id="ID1177032"
2334 orientation="BOTHDIR"
2335 order="1">
2336 <posattr x="0.000000"
2337 y="0.000000"/>
2338 <fillattr colour="White"
2339 pattern=""
2340 filled="false"/>
2341 <lineattr colour="Black"
2342 thick="1"
2343 type="Solid"/>
2344 <textattr colour="Black"
2345 bold="false"/>
2346 <arrowattr headsize="1.200000"
2347 currentcyckle="2"/>
2348 <transend idref="ID838052"/>
2349 <placeend idref="ID875717"/>
2350 <bendpoint id="ID1202843"
2351 serial="1">
2352 <posattr x="-240.725968"
2353 y="-257.000000"/>
2354 <fillattr colour="White"
2355 pattern="Solid"
2356 filled="false"/>
2357 <lineattr colour="Black"
2358 thick="0"
2359 type="Solid"/>
2360 <textattr colour="Black"
2361 bold="false"/>
2362 </bendpoint>
2363 <bendpoint id="ID1197574"
2364 serial="2">
2365 <posattr x="-240.725968"
2366 y="28.237650"/>
2367 <fillattr colour="White"
2368 pattern="Solid"
2369 filled="false"/>
2370 <lineattr colour="Black"
2371 thick="0"
2372 type="Solid"/>
2373 <textattr colour="Black"
2374 bold="false"/>
2375 </bendpoint>
2376 <bendpoint id="ID1205315"
2377 serial="3">
2378 <posattr x="-396.033044"
2379 y="28.237650"/>
2380 <fillattr colour="White"
2381 pattern="Solid"
2382 filled="false"/>
2383 <lineattr colour="Black"
2384 thick="0"
2385 type="Solid"/>
2386 <textattr colour="Black"
2387 bold="false"/>
2388 </bendpoint>
2389 <annot id="ID1177033">
2390 <posattr x="-233.000000"
2391 y="-247.000000"/>
2392 <fillattr colour="White"
2393 pattern="Solid"
2394 filled="false"/>
2395 <lineattr colour="Black"
2396 thick="0"
2397 type="Solid"/>
2398 <textattr colour="Black"
2399 bold="false"/>
2400 <text tool="CPN Tools"
2401 version="2.2.0">b</text>
2402 </annot>
2403 </arc>
2404 <arc id="ID1227954"
2405 orientation="BOTHDIR"
2406 order="1">
2407 <posattr x="0.000000"
2408 y="0.000000"/>
2409 <fillattr colour="White"
2410 pattern=""
2411 filled="false"/>
2412 <lineattr colour="Black"
2413 thick="1"
2414 type="Solid"/>
2415 <textattr colour="Black"
2416 bold="false"/>
2417 <arrowattr headsize="1.200000"
2418 currentcyckle="2"/>
2419 <transend idref="ID1010169"/>
2420 <placeend idref="ID876680"/>
2421 <bendpoint id="ID1237697"
2422 serial="1">
2423 <posattr x="62.828772"
2424 y="-253.000000"/>
2425 <fillattr colour="White"
2426 pattern="Solid"
2427 filled="false"/>
2428 <lineattr colour="Black"
2429 thick="0"
2430 type="Solid"/>
2431 <textattr colour="Black"
2432 bold="false"/>
2433 </bendpoint>
2434 <bendpoint id="ID1241931"
2435 serial="2">
2436 <posattr x="62.828772"
2437 y="-392.973965"/>
2438 <fillattr colour="White"
2439 pattern="Solid"
2440 filled="false"/>
2441 <lineattr colour="Black"
2442 thick="0"
2443 type="Solid"/>
2444 <textattr colour="Black"
2445 bold="false"/>
2446 </bendpoint>
2447 <bendpoint id="ID1233633"
2448 serial="3">
2449 <posattr x="-416.000000"
2450 y="-392.973965"/>
2451 <fillattr colour="White"
2452 pattern="Solid"
2453 filled="false"/>
2454 <lineattr colour="Black"
2455 thick="0"
2456 type="Solid"/>
2457 <textattr colour="Black"
2458 bold="false"/>
2459 </bendpoint>
2460 <annot id="ID1227955">
2461 <posattr x="43.000000"
2462 y="-264.000000"/>
2463 <fillattr colour="White"
2464 pattern="Solid"
2465 filled="false"/>
2466 <lineattr colour="Black"
2467 thick="0"
2468 type="Solid"/>
2469 <textattr colour="Black"
2470 bold="false"/>
2471 <text tool="CPN Tools"
2472 version="2.2.0">b</text>
2473 </annot>
2474 </arc>
2475 <arc id="ID1230022"
2476 orientation="BOTHDIR"
2477 order="1">
2478 <posattr x="0.000000"
2479 y="0.000000"/>
2480 <fillattr colour="White"
2481 pattern=""
2482 filled="false"/>
2483 <lineattr colour="Black"
2484 thick="1"
2485 type="Solid"/>
2486 <textattr colour="Black"
2487 bold="false"/>
2488 <arrowattr headsize="1.200000"
2489 currentcyckle="2"/>
2490 <transend idref="ID1039195"/>
2491 <placeend idref="ID876680"/>
2492 <bendpoint id="ID1280733"
2493 serial="1">
2494 <posattr x="75.771028"
2495 y="-84.712951"/>
2496 <fillattr colour="White"
2497 pattern="Solid"
2498 filled="false"/>
2499 <lineattr colour="Black"
2500 thick="0"
2501 type="Solid"/>
2502 <textattr colour="Black"
2503 bold="false"/>
2504 </bendpoint>
2505 <bendpoint id="ID1278288"
2506 serial="2">
2507 <posattr x="75.771028"
2508 y="-409.445928"/>
2509 <fillattr colour="White"
2510 pattern="Solid"
2511 filled="false"/>
2512 <lineattr colour="Black"
2513 thick="0"
2514 type="Solid"/>
2515 <textattr colour="Black"
2516 bold="false"/>
2517 </bendpoint>
2518 <bendpoint id="ID1249514"
2519 serial="3">
2520 <posattr x="-416.000000"
2521 y="-409.445928"/>
2522 <fillattr colour="White"
2523 pattern="Solid"
2524 filled="false"/>
2525 <lineattr colour="Black"
2526 thick="0"
2527 type="Solid"/>
2528 <textattr colour="Black"
2529 bold="false"/>
2530 </bendpoint>
2531 <annot id="ID1230023">
2532 <posattr x="50.000000"
2533 y="-96.000000"/>
2534 <fillattr colour="White"
2535 pattern="Solid"
2536 filled="false"/>
2537 <lineattr colour="Black"
2538 thick="0"
2539 type="Solid"/>
2540 <textattr colour="Black"
2541 bold="false"/>
2542 <text tool="CPN Tools"
2543 version="2.2.0">b</text>
2544 </annot>
2545 </arc>
2546 <arc id="ID1232021"
2547 orientation="BOTHDIR"
2548 order="2">
2549 <posattr x="0.000000"
2550 y="0.000000"/>
2551 <fillattr colour="White"
2552 pattern=""
2553 filled="false"/>
2554 <lineattr colour="Black"
2555 thick="1"
2556 type="Solid"/>
2557 <textattr colour="Black"
2558 bold="false"/>
2559 <arrowattr headsize="1.200000"
2560 currentcyckle="2"/>
2561 <transend idref="ID1037411"/>
2562 <placeend idref="ID876680"/>
2563 <bendpoint id="ID1305785"
2564 serial="1">
2565 <posattr x="96.949266"
2566 y="75.300401"/>
2567 <fillattr colour="White"
2568 pattern="Solid"
2569 filled="false"/>
2570 <lineattr colour="Black"
2571 thick="0"
2572 type="Solid"/>
2573 <textattr colour="Black"
2574 bold="false"/>
2575 </bendpoint>
2576 <bendpoint id="ID1299996"
2577 serial="2">
2578 <posattr x="96.949266"
2579 y="-429.447597"/>
2580 <fillattr colour="White"
2581 pattern="Solid"
2582 filled="false"/>
2583 <lineattr colour="Black"
2584 thick="0"
2585 type="Solid"/>
2586 <textattr colour="Black"
2587 bold="false"/>
2588 </bendpoint>
2589 <bendpoint id="ID1295372"
2590 serial="3">
2591 <posattr x="-416.000000"
2592 y="-429.447597"/>
2593 <fillattr colour="White"
2594 pattern="Solid"
2595 filled="false"/>
2596 <lineattr colour="Black"
2597 thick="0"
2598 type="Solid"/>
2599 <textattr colour="Black"
2600 bold="false"/>
2601 </bendpoint>
2602 <annot id="ID1232022">
2603 <posattr x="60.000000"
2604 y="64.000000"/>
2605 <fillattr colour="White"
2606 pattern="Solid"
2607 filled="false"/>
2608 <lineattr colour="Black"
2609 thick="0"
2610 type="Solid"/>
2611 <textattr colour="Black"
2612 bold="false"/>
2613 <text tool="CPN Tools"
2614 version="2.2.0">b</text>
2615 </annot>
2616 </arc>
2617 <arc id="ID1372781"
2618 orientation="PtoT"
2619 order="2">
2620 <posattr x="0.000000"
2621 y="0.000000"/>
2622 <fillattr colour="White"
2623 pattern=""
2624 filled="false"/>
2625 <lineattr colour="Black"
2626 thick="1"
2627 type="Solid"/>
2628 <textattr colour="Black"
2629 bold="false"/>
2630 <arrowattr headsize="1.200000"
2631 currentcyckle="2"/>
2632 <transend idref="ID1364928"/>
2633 <placeend idref="ID782428"/>
2634 <annot id="ID1372782">
2635 <posattr x="-75.000000"
2636 y="205.000000"/>
2637 <fillattr colour="White"
2638 pattern="Solid"
2639 filled="false"/>
2640 <lineattr colour="Black"
2641 thick="0"
2642 type="Solid"/>
2643 <textattr colour="Black"
2644 bold="false"/>
2645 <text tool="CPN Tools"
2646 version="2.2.0">(1,0)</text>
2647 </annot>
2648 </arc>
2649 <arc id="ID1380720"
2650 orientation="TtoP"
2651 order="1">
2652 <posattr x="0.000000"
2653 y="0.000000"/>
2654 <fillattr colour="White"
2655 pattern=""
2656 filled="false"/>
2657 <lineattr colour="Black"
2658 thick="1"
2659 type="Solid"/>
2660 <textattr colour="Black"
2661 bold="false"/>
2662 <arrowattr headsize="1.200000"
2663 currentcyckle="2"/>
2664 <transend idref="ID1364928"/>
2665 <placeend idref="ID782428"/>
2666 <annot id="ID1380721">
2667 <posattr x="-127.000000"
2668 y="209.000000"/>
2669 <fillattr colour="White"
2670 pattern="Solid"
2671 filled="false"/>
2672 <lineattr colour="Black"
2673 thick="0"
2674 type="Solid"/>
2675 <textattr colour="Black"
2676 bold="false"/>
2677 <text tool="CPN Tools"
2678 version="2.2.0">(0,1)</text>
2679 </annot>
2680 </arc>
2681 <arc id="ID1383483"
2682 orientation="BOTHDIR"
2683 order="1">
2684 <posattr x="0.000000"
2685 y="0.000000"/>
2686 <fillattr colour="White"
2687 pattern=""
2688 filled="false"/>
2689 <lineattr colour="Black"
2690 thick="1"
2691 type="Solid"/>
2692 <textattr colour="Black"
2693 bold="false"/>
2694 <arrowattr headsize="1.200000"
2695 currentcyckle="2"/>
2696 <transend idref="ID1364928"/>
2697 <placeend idref="ID876680"/>
2698 <bendpoint id="ID1399753"
2699 serial="1">
2700 <posattr x="106.361816"
2701 y="254.000000"/>
2702 <fillattr colour="White"
2703 pattern="Solid"
2704 filled="false"/>
2705 <lineattr colour="Black"
2706 thick="0"
2707 type="Solid"/>
2708 <textattr colour="Black"
2709 bold="false"/>
2710 </bendpoint>
2711 <bendpoint id="ID1406222"
2712 serial="2">
2713 <posattr x="106.361816"
2714 y="-442.389853"/>
2715 <fillattr colour="White"
2716 pattern="Solid"
2717 filled="false"/>
2718 <lineattr colour="Black"
2719 thick="0"
2720 type="Solid"/>
2721 <textattr colour="Black"
2722 bold="false"/>
2723 </bendpoint>
2724 <bendpoint id="ID1409555"
2725 serial="3">
2726 <posattr x="-416.000000"
2727 y="-442.389853"/>
2728 <fillattr colour="White"
2729 pattern="Solid"
2730 filled="false"/>
2731 <lineattr colour="Black"
2732 thick="0"
2733 type="Solid"/>
2734 <textattr colour="Black"
2735 bold="false"/>
2736 </bendpoint>
2737 <annot id="ID1383484">
2738 <posattr x="17.000000"
2739 y="265.000000"/>
2740 <fillattr colour="White"
2741 pattern="Solid"
2742 filled="false"/>
2743 <lineattr colour="Black"
2744 thick="0"
2745 type="Solid"/>
2746 <textattr colour="Black"
2747 bold="false"/>
2748 <text tool="CPN Tools"
2749 version="2.2.0">b</text>
2750 </annot>
2751 </arc>
2752 <arc id="ID1385936"
2753 orientation="BOTHDIR"
2754 order="1">
2755 <posattr x="0.000000"
2756 y="0.000000"/>
2757 <fillattr colour="White"
2758 pattern=""
2759 filled="false"/>
2760 <lineattr colour="Black"
2761 thick="1"
2762 type="Solid"/>
2763 <textattr colour="Black"
2764 bold="false"/>
2765 <arrowattr headsize="1.200000"
2766 currentcyckle="2"/>
2767 <transend idref="ID1367542"/>
2768 <placeend idref="ID875717"/>
2769 <bendpoint id="ID1415642"
2770 serial="1">
2771 <posattr x="-245.432243"
2772 y="-486.000000"/>
2773 <fillattr colour="White"
2774 pattern="Solid"
2775 filled="false"/>
2776 <lineattr colour="Black"
2777 thick="0"
2778 type="Solid"/>
2779 <textattr colour="Black"
2780 bold="false"/>
2781 </bendpoint>
2782 <bendpoint id="ID1528310"
2783 serial="2">
2784 <posattr x="-245.432243"
2785 y="67.064419"/>
2786 <fillattr colour="White"
2787 pattern="Solid"
2788 filled="false"/>
2789 <lineattr colour="Black"
2790 thick="0"
2791 type="Solid"/>
2792 <textattr colour="Black"
2793 bold="false"/>
2794 </bendpoint>
2795 <annot id="ID1385937">
2796 <posattr x="-190.000000"
2797 y="-475.000000"/>
2798 <fillattr colour="White"
2799 pattern="Solid"
2800 filled="false"/>
2801 <lineattr colour="Black"
2802 thick="0"
2803 type="Solid"/>
2804 <textattr colour="Black"
2805 bold="false"/>
2806 <text tool="CPN Tools"
2807 version="2.2.0">b</text>
2808 </annot>
2809 </arc>
2810 <arc id="ID1388130"
2811 orientation="TtoP"
2812 order="2">
2813 <posattr x="0.000000"
2814 y="0.000000"/>
2815 <fillattr colour="White"
2816 pattern=""
2817 filled="false"/>
2818 <lineattr colour="Black"
2819 thick="1"
2820 type="Solid"/>
2821 <textattr colour="Black"
2822 bold="false"/>
2823 <arrowattr headsize="1.200000"
2824 currentcyckle="2"/>
2825 <transend idref="ID1367542"/>
2826 <placeend idref="ID841537"/>
2827 <annot id="ID1388131">
2828 <posattr x="-127.000000"
2829 y="-419.000000"/>
2830 <fillattr colour="White"
2831 pattern="Solid"
2832 filled="false"/>
2833 <lineattr colour="Black"
2834 thick="0"
2835 type="Solid"/>
2836 <textattr colour="Black"
2837 bold="false"/>
2838 <text tool="CPN Tools"
2839 version="2.2.0">(0,1)</text>
2840 </annot>
2841 </arc>
2842 <arc id="ID1390396"
2843 orientation="PtoT"
2844 order="1">
2845 <posattr x="0.000000"
2846 y="0.000000"/>
2847 <fillattr colour="White"
2848 pattern=""
2849 filled="false"/>
2850 <lineattr colour="Black"
2851 thick="1"
2852 type="Solid"/>
2853 <textattr colour="Black"
2854 bold="false"/>
2855 <arrowattr headsize="1.200000"
2856 currentcyckle="2"/>
2857 <transend idref="ID1367542"/>
2858 <placeend idref="ID841537"/>
2859 <annot id="ID1390397">
2860 <posattr x="-75.000000"
2861 y="-422.000000"/>
2862 <fillattr colour="White"
2863 pattern="Solid"
2864 filled="false"/>
2865 <lineattr colour="Black"
2866 thick="0"
2867 type="Solid"/>
2868 <textattr colour="Black"
2869 bold="false"/>
2870 <text tool="CPN Tools"
2871 version="2.2.0">(1,0)</text>
2872 </annot>
2873 </arc>
2874 <vguideline id="ID842133"
2875 x="-101.176569">
2876 <guideline_elm idref="ID782428"/>
2877 <guideline_elm idref="ID782445"/>
2878 <guideline_elm idref="ID841537"/>
2879 <guideline_elm idref="ID840944"/>
2880 <guideline_elm idref="ID1367542"/>
2881 <guideline_elm idref="ID1364928"/>
2882 </vguideline>
2883 <vguideline id="ID888085"
2884 x="-416.000000">
2885 <guideline_elm idref="ID880049"/>
2886 <guideline_elm idref="ID869744"/>
2887 <guideline_elm idref="ID877574"/>
2888 <guideline_elm idref="ID876680"/>
2889 <guideline_elm idref="ID875717"/>
2890 <guideline_elm idref="ID1233633"/>
2891 <guideline_elm idref="ID1249514"/>
2892 <guideline_elm idref="ID1295372"/>
2893 <guideline_elm idref="ID1409555"/>
2894 <guideline_elm idref="ID992357"/>
2895 </vguideline>
2896 <vguideline id="ID918151"
2897 x="-499.000000">
2898 <guideline_elm idref="ID904808"/>
2899 <guideline_elm idref="ID903262"/>
2900 </vguideline>
2901 <vguideline id="ID1040841"
2902 x="-6.588785">
2903 <guideline_elm idref="ID1010169"/>
2904 <guideline_elm idref="ID1037411"/>
2905 <guideline_elm idref="ID1039195"/>
2906 <guideline_elm idref="ID1597346"/>
2907 </vguideline>
2908 <vguideline id="ID1042123"
2909 x="-194.839786">
2910 <guideline_elm idref="ID782576"/>
2911 <guideline_elm idref="ID837477"/>
2912 <guideline_elm idref="ID838052"/>
2913 </vguideline>
2914 <Aux id="ID992357">
2915 <posattr x="-416.000000"
2916 y="109.000000"/>
2917 <fillattr colour="White"
2918 pattern=""
2919 filled="false"/>
2920 <lineattr colour="Navy"
2921 thick="1"
2922 type="Solid"/>
2923 <textattr colour="Navy"
2924 bold="false"/>
2925 <label/>
2926 <text>1. Random direction
2927choice</text>
2928 </Aux>
2929 <Aux id="ID994878">
2930 <posattr x="-645.000000"
2931 y="-162.000000"/>
2932 <fillattr colour="White"
2933 pattern=""
2934 filled="false"/>
2935 <lineattr colour="Fucia"
2936 thick="1"
2937 type="Solid"/>
2938 <textattr colour="Fucia"
2939 bold="false"/>
2940 <label/>
2941 <text>0. Initial value</text>
2942 </Aux>
2943 <Aux id="ID1593808">
2944 <posattr x="-218.000000"
2945 y="221.000000"/>
2946 <fillattr colour="White"
2947 pattern=""
2948 filled="false"/>
2949 <lineattr colour="Lime"
2950 thick="1"
2951 type="Solid"/>
2952 <textattr colour="Lime"
2953 bold="false"/>
2954 <label/>
2955 <text>Down
2956movement</text>
2957 </Aux>
2958 <Aux id="ID1597346">
2959 <posattr x="-6.000000"
2960 y="219.000000"/>
2961 <fillattr colour="White"
2962 pattern=""
2963 filled="false"/>
2964 <lineattr colour="Maroon"
2965 thick="1"
2966 type="Solid"/>
2967 <textattr colour="Maroon"
2968 bold="false"/>
2969 <label/>
2970 <text>Up
2971movement</text>
2972 </Aux>
2973 </page>
2974 <instances>
2975 <instance id="ID2149"
2976 page="ID6"/>
2977 </instances>
2978 <options>
2979 <option name="outputdirectory">
2980 <value>
2981 <text>&lt;same as model&gt;</text>
2982 </value>
2983 </option>
2984 <option name="repavg">
2985 <value>
2986 <boolean>true</boolean>
2987 </value>
2988 </option>
2989 <option name="repciavg">
2990 <value>
2991 <boolean>true</boolean>
2992 </value>
2993 </option>
2994 <option name="repcount">
2995 <value>
2996 <boolean>false</boolean>
2997 </value>
2998 </option>
2999 <option name="repfirstval">
3000 <value>
3001 <boolean>false</boolean>
3002 </value>
3003 </option>
3004 <option name="replastval">
3005 <value>
3006 <boolean>false</boolean>
3007 </value>
3008 </option>
3009 <option name="repmax">
3010 <value>
3011 <boolean>true</boolean>
3012 </value>
3013 </option>
3014 <option name="repmin">
3015 <value>
3016 <boolean>true</boolean>
3017 </value>
3018 </option>
3019 <option name="repssquare">
3020 <value>
3021 <boolean>false</boolean>
3022 </value>
3023 </option>
3024 <option name="repssqdev">
3025 <value>
3026 <boolean>false</boolean>
3027 </value>
3028 </option>
3029 <option name="repstddev">
3030 <value>
3031 <boolean>true</boolean>
3032 </value>
3033 </option>
3034 <option name="repsum">
3035 <value>
3036 <boolean>false</boolean>
3037 </value>
3038 </option>
3039 <option name="repvariance">
3040 <value>
3041 <boolean>false</boolean>
3042 </value>
3043 </option>
3044 <option name="avg">
3045 <value>
3046 <boolean>true</boolean>
3047 </value>
3048 </option>
3049 <option name="ciavg">
3050 <value>
3051 <boolean>false</boolean>
3052 </value>
3053 </option>
3054 <option name="count">
3055 <value>
3056 <boolean>true</boolean>
3057 </value>
3058 </option>
3059 <option name="firstval">
3060 <value>
3061 <boolean>false</boolean>
3062 </value>
3063 </option>
3064 <option name="lastval">
3065 <value>
3066 <boolean>false</boolean>
3067 </value>
3068 </option>
3069 <option name="max">
3070 <value>
3071 <boolean>true</boolean>
3072 </value>
3073 </option>
3074 <option name="min">
3075 <value>
3076 <boolean>true</boolean>
3077 </value>
3078 </option>
3079 <option name="ssquare">
3080 <value>
3081 <boolean>false</boolean>
3082 </value>
3083 </option>
3084 <option name="ssqdev">
3085 <value>
3086 <boolean>false</boolean>
3087 </value>
3088 </option>
3089 <option name="stddev">
3090 <value>
3091 <boolean>false</boolean>
3092 </value>
3093 </option>
3094 <option name="sum">
3095 <value>
3096 <boolean>false</boolean>
3097 </value>
3098 </option>
3099 <option name="variance">
3100 <value>
3101 <boolean>false</boolean>
3102 </value>
3103 </option>
3104 <option name="firstupdate">
3105 <value>
3106 <boolean>false</boolean>
3107 </value>
3108 </option>
3109 <option name="interval">
3110 <value>
3111 <boolean>false</boolean>
3112 </value>
3113 </option>
3114 <option name="lastupdate">
3115 <value>
3116 <boolean>false</boolean>
3117 </value>
3118 </option>
3119 <option name="untimedavg">
3120 <value>
3121 <boolean>true</boolean>
3122 </value>
3123 </option>
3124 <option name="untimedciavg">
3125 <value>
3126 <boolean>false</boolean>
3127 </value>
3128 </option>
3129 <option name="untimedcount">
3130 <value>
3131 <boolean>true</boolean>
3132 </value>
3133 </option>
3134 <option name="untimedfirstval">
3135 <value>
3136 <boolean>false</boolean>
3137 </value>
3138 </option>
3139 <option name="untimedlastval">
3140 <value>
3141 <boolean>false</boolean>
3142 </value>
3143 </option>
3144 <option name="untimedmax">
3145 <value>
3146 <boolean>true</boolean>
3147 </value>
3148 </option>
3149 <option name="untimedmin">
3150 <value>
3151 <boolean>true</boolean>
3152 </value>
3153 </option>
3154 <option name="untimedssquare">
3155 <value>
3156 <boolean>false</boolean>
3157 </value>
3158 </option>
3159 <option name="untimedssqdev">
3160 <value>
3161 <boolean>false</boolean>
3162 </value>
3163 </option>
3164 <option name="untimedstddev">
3165 <value>
3166 <boolean>false</boolean>
3167 </value>
3168 </option>
3169 <option name="untimedsum">
3170 <value>
3171 <boolean>true</boolean>
3172 </value>
3173 </option>
3174 <option name="untimedvariance">
3175 <value>
3176 <boolean>false</boolean>
3177 </value>
3178 </option>
3179 </options>
3180 <binders>
3181 <cpnbinder id="ID2222"
3182 x="521"
3183 y="54"
3184 width="852"
3185 height="759">
3186 <sheets>
3187 <cpnsheet id="ID2215"
3188 panx="205.000000"
3189 pany="-105.000000"
3190 zoom="0.914458"
3191 instance="ID2149">
3192 <zorder>
3193 <position value="0"/>
3194 </zorder>
3195 </cpnsheet>
3196 </sheets>
3197 <zorder>
3198 <position value="0"/>
3199 </zorder>
3200 </cpnbinder>
3201 </binders>
3202 <monitorblock name="Monitors"/>
3203 <IndexNode expanded="true">
3204 <IndexNode expanded="false"/>
3205 <IndexNode expanded="false"/>
3206 <IndexNode expanded="false">
3207 <IndexNode expanded="false"/>
3208 <IndexNode expanded="false">
3209 <IndexNode expanded="false">
3210 <IndexNode expanded="false">
3211 <IndexNode expanded="true"/>
3212 <IndexNode expanded="false"/>
3213 <IndexNode expanded="true"/>
3214 <IndexNode expanded="false"/>
3215 <IndexNode expanded="false"/>
3216 <IndexNode expanded="true"/>
3217 <IndexNode expanded="true"/>
3218 <IndexNode expanded="false"/>
3219 <IndexNode expanded="false"/>
3220 <IndexNode expanded="false"/>
3221 <IndexNode expanded="false"/>
3222 <IndexNode expanded="false"/>
3223 <IndexNode expanded="false"/>
3224 <IndexNode expanded="false"/>
3225 <IndexNode expanded="false"/>
3226 </IndexNode>
3227 <IndexNode expanded="false">
3228 <IndexNode expanded="true"/>
3229 <IndexNode expanded="false"/>
3230 <IndexNode expanded="true"/>
3231 <IndexNode expanded="false"/>
3232 <IndexNode expanded="false"/>
3233 <IndexNode expanded="true"/>
3234 <IndexNode expanded="true"/>
3235 <IndexNode expanded="false"/>
3236 <IndexNode expanded="false"/>
3237 <IndexNode expanded="false"/>
3238 <IndexNode expanded="true"/>
3239 <IndexNode expanded="false"/>
3240 </IndexNode>
3241 </IndexNode>
3242 <IndexNode expanded="false">
3243 <IndexNode expanded="true"/>
3244 <IndexNode expanded="true"/>
3245 <IndexNode expanded="false"/>
3246 <IndexNode expanded="false"/>
3247 <IndexNode expanded="false"/>
3248 <IndexNode expanded="true"/>
3249 <IndexNode expanded="true"/>
3250 <IndexNode expanded="false"/>
3251 <IndexNode expanded="false"/>
3252 <IndexNode expanded="true"/>
3253 <IndexNode expanded="false"/>
3254 <IndexNode expanded="false"/>
3255 </IndexNode>
3256 </IndexNode>
3257 </IndexNode>
3258 <IndexNode expanded="false">
3259 <IndexNode expanded="false"/>
3260 </IndexNode>
3261 <IndexNode expanded="true">
3262 <IndexNode expanded="true"/>
3263 <IndexNode expanded="true"/>
3264 <IndexNode expanded="true"/>
3265 <IndexNode expanded="true">
3266 <IndexNode expanded="true"/>
3267 <IndexNode expanded="true"/>
3268 <IndexNode expanded="true"/>
3269 <IndexNode expanded="true"/>
3270 <IndexNode expanded="true"/>
3271 <IndexNode expanded="true"/>
3272 <IndexNode expanded="true"/>
3273 </IndexNode>
3274 </IndexNode>
3275 <IndexNode expanded="false"/>
3276 <IndexNode expanded="true"/>
3277 </IndexNode>
3278 </cpnet>
3279</workspaceElements>
Note: See TracBrowser for help on using the repository browser.