2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>TokenRing-COL-005-CTLCardinality-0</id>
5
<description>Automatically generated</description>
14
<place>State_3_1</place>
15
<place>State_1_3</place>
16
<place>State_4_4</place>
17
<place>State_5_2</place>
18
<place>State_3_0</place>
19
<place>State_0_4</place>
20
<place>State_4_1</place>
21
<place>State_1_5</place>
22
<place>State_4_2</place>
23
<place>State_0_5</place>
24
<place>State_2_0</place>
25
<place>State_1_4</place>
26
<place>State_3_2</place>
27
<place>State_4_3</place>
28
<place>State_4_0</place>
29
<place>State_5_3</place>
30
<place>State_5_0</place>
31
<place>State_3_5</place>
32
<place>State_2_5</place>
33
<place>State_2_2</place>
34
<place>State_4_5</place>
35
<place>State_0_1</place>
36
<place>State_1_2</place>
37
<place>State_3_4</place>
38
<place>State_1_1</place>
39
<place>State_2_3</place>
40
<place>State_2_4</place>
41
<place>State_0_2</place>
42
<place>State_5_5</place>
43
<place>State_3_3</place>
44
<place>State_0_3</place>
45
<place>State_5_1</place>
46
<place>State_5_4</place>
47
<place>State_2_1</place>
48
<place>State_1_0</place>
49
<place>State_0_0</place>
52
<place>State_3_1</place>
53
<place>State_1_3</place>
54
<place>State_4_4</place>
55
<place>State_5_2</place>
56
<place>State_3_0</place>
57
<place>State_0_4</place>
58
<place>State_4_1</place>
59
<place>State_1_5</place>
60
<place>State_4_2</place>
61
<place>State_0_5</place>
62
<place>State_2_0</place>
63
<place>State_1_4</place>
64
<place>State_3_2</place>
65
<place>State_4_3</place>
66
<place>State_4_0</place>
67
<place>State_5_3</place>
68
<place>State_5_0</place>
69
<place>State_3_5</place>
70
<place>State_2_5</place>
71
<place>State_2_2</place>
72
<place>State_4_5</place>
73
<place>State_0_1</place>
74
<place>State_1_2</place>
75
<place>State_3_4</place>
76
<place>State_1_1</place>
77
<place>State_2_3</place>
78
<place>State_2_4</place>
79
<place>State_0_2</place>
80
<place>State_5_5</place>
81
<place>State_3_3</place>
82
<place>State_0_3</place>
83
<place>State_5_1</place>
84
<place>State_5_4</place>
85
<place>State_2_1</place>
86
<place>State_1_0</place>
87
<place>State_0_0</place>
91
<integer-constant>1</integer-constant>
93
<place>State_3_1</place>
94
<place>State_1_3</place>
95
<place>State_4_4</place>
96
<place>State_5_2</place>
97
<place>State_3_0</place>
98
<place>State_0_4</place>
99
<place>State_4_1</place>
100
<place>State_1_5</place>
101
<place>State_4_2</place>
102
<place>State_0_5</place>
103
<place>State_2_0</place>
104
<place>State_1_4</place>
105
<place>State_3_2</place>
106
<place>State_4_3</place>
107
<place>State_4_0</place>
108
<place>State_5_3</place>
109
<place>State_5_0</place>
110
<place>State_3_5</place>
111
<place>State_2_5</place>
112
<place>State_2_2</place>
113
<place>State_4_5</place>
114
<place>State_0_1</place>
115
<place>State_1_2</place>
116
<place>State_3_4</place>
117
<place>State_1_1</place>
118
<place>State_2_3</place>
119
<place>State_2_4</place>
120
<place>State_0_2</place>
121
<place>State_5_5</place>
122
<place>State_3_3</place>
123
<place>State_0_3</place>
124
<place>State_5_1</place>
125
<place>State_5_4</place>
126
<place>State_2_1</place>
127
<place>State_1_0</place>
128
<place>State_0_0</place>
134
<integer-constant>1</integer-constant>
136
<place>State_3_1</place>
137
<place>State_1_3</place>
138
<place>State_4_4</place>
139
<place>State_5_2</place>
140
<place>State_3_0</place>
141
<place>State_0_4</place>
142
<place>State_4_1</place>
143
<place>State_1_5</place>
144
<place>State_4_2</place>
145
<place>State_0_5</place>
146
<place>State_2_0</place>
147
<place>State_1_4</place>
148
<place>State_3_2</place>
149
<place>State_4_3</place>
150
<place>State_4_0</place>
151
<place>State_5_3</place>
152
<place>State_5_0</place>
153
<place>State_3_5</place>
154
<place>State_2_5</place>
155
<place>State_2_2</place>
156
<place>State_4_5</place>
157
<place>State_0_1</place>
158
<place>State_1_2</place>
159
<place>State_3_4</place>
160
<place>State_1_1</place>
161
<place>State_2_3</place>
162
<place>State_2_4</place>
163
<place>State_0_2</place>
164
<place>State_5_5</place>
165
<place>State_3_3</place>
166
<place>State_0_3</place>
167
<place>State_5_1</place>
168
<place>State_5_4</place>
169
<place>State_2_1</place>
170
<place>State_1_0</place>
171
<place>State_0_0</place>
175
<integer-constant>2</integer-constant>
177
<place>State_3_1</place>
178
<place>State_1_3</place>
179
<place>State_4_4</place>
180
<place>State_5_2</place>
181
<place>State_3_0</place>
182
<place>State_0_4</place>
183
<place>State_4_1</place>
184
<place>State_1_5</place>
185
<place>State_4_2</place>
186
<place>State_0_5</place>
187
<place>State_2_0</place>
188
<place>State_1_4</place>
189
<place>State_3_2</place>
190
<place>State_4_3</place>
191
<place>State_4_0</place>
192
<place>State_5_3</place>
193
<place>State_5_0</place>
194
<place>State_3_5</place>
195
<place>State_2_5</place>
196
<place>State_2_2</place>
197
<place>State_4_5</place>
198
<place>State_0_1</place>
199
<place>State_1_2</place>
200
<place>State_3_4</place>
201
<place>State_1_1</place>
202
<place>State_2_3</place>
203
<place>State_2_4</place>
204
<place>State_0_2</place>
205
<place>State_5_5</place>
206
<place>State_3_3</place>
207
<place>State_0_3</place>
208
<place>State_5_1</place>
209
<place>State_5_4</place>
210
<place>State_2_1</place>
211
<place>State_1_0</place>
212
<place>State_0_0</place>
223
<id>TokenRing-COL-005-CTLCardinality-1</id>
224
<description>Automatically generated</description>
232
<integer-constant>1</integer-constant>
234
<place>State_3_1</place>
235
<place>State_1_3</place>
236
<place>State_4_4</place>
237
<place>State_5_2</place>
238
<place>State_3_0</place>
239
<place>State_0_4</place>
240
<place>State_4_1</place>
241
<place>State_1_5</place>
242
<place>State_4_2</place>
243
<place>State_0_5</place>
244
<place>State_2_0</place>
245
<place>State_1_4</place>
246
<place>State_3_2</place>
247
<place>State_4_3</place>
248
<place>State_4_0</place>
249
<place>State_5_3</place>
250
<place>State_5_0</place>
251
<place>State_3_5</place>
252
<place>State_2_5</place>
253
<place>State_2_2</place>
254
<place>State_4_5</place>
255
<place>State_0_1</place>
256
<place>State_1_2</place>
257
<place>State_3_4</place>
258
<place>State_1_1</place>
259
<place>State_2_3</place>
260
<place>State_2_4</place>
261
<place>State_0_2</place>
262
<place>State_5_5</place>
263
<place>State_3_3</place>
264
<place>State_0_3</place>
265
<place>State_5_1</place>
266
<place>State_5_4</place>
267
<place>State_2_1</place>
268
<place>State_1_0</place>
269
<place>State_0_0</place>
281
<integer-constant>3</integer-constant>
283
<place>State_3_1</place>
284
<place>State_1_3</place>
285
<place>State_4_4</place>
286
<place>State_5_2</place>
287
<place>State_3_0</place>
288
<place>State_0_4</place>
289
<place>State_4_1</place>
290
<place>State_1_5</place>
291
<place>State_4_2</place>
292
<place>State_0_5</place>
293
<place>State_2_0</place>
294
<place>State_1_4</place>
295
<place>State_3_2</place>
296
<place>State_4_3</place>
297
<place>State_4_0</place>
298
<place>State_5_3</place>
299
<place>State_5_0</place>
300
<place>State_3_5</place>
301
<place>State_2_5</place>
302
<place>State_2_2</place>
303
<place>State_4_5</place>
304
<place>State_0_1</place>
305
<place>State_1_2</place>
306
<place>State_3_4</place>
307
<place>State_1_1</place>
308
<place>State_2_3</place>
309
<place>State_2_4</place>
310
<place>State_0_2</place>
311
<place>State_5_5</place>
312
<place>State_3_3</place>
313
<place>State_0_3</place>
314
<place>State_5_1</place>
315
<place>State_5_4</place>
316
<place>State_2_1</place>
317
<place>State_1_0</place>
318
<place>State_0_0</place>
323
<place>State_3_1</place>
324
<place>State_1_3</place>
325
<place>State_4_4</place>
326
<place>State_5_2</place>
327
<place>State_3_0</place>
328
<place>State_0_4</place>
329
<place>State_4_1</place>
330
<place>State_1_5</place>
331
<place>State_4_2</place>
332
<place>State_0_5</place>
333
<place>State_2_0</place>
334
<place>State_1_4</place>
335
<place>State_3_2</place>
336
<place>State_4_3</place>
337
<place>State_4_0</place>
338
<place>State_5_3</place>
339
<place>State_5_0</place>
340
<place>State_3_5</place>
341
<place>State_2_5</place>
342
<place>State_2_2</place>
343
<place>State_4_5</place>
344
<place>State_0_1</place>
345
<place>State_1_2</place>
346
<place>State_3_4</place>
347
<place>State_1_1</place>
348
<place>State_2_3</place>
349
<place>State_2_4</place>
350
<place>State_0_2</place>
351
<place>State_5_5</place>
352
<place>State_3_3</place>
353
<place>State_0_3</place>
354
<place>State_5_1</place>
355
<place>State_5_4</place>
356
<place>State_2_1</place>
357
<place>State_1_0</place>
358
<place>State_0_0</place>
361
<place>State_3_1</place>
362
<place>State_1_3</place>
363
<place>State_4_4</place>
364
<place>State_5_2</place>
365
<place>State_3_0</place>
366
<place>State_0_4</place>
367
<place>State_4_1</place>
368
<place>State_1_5</place>
369
<place>State_4_2</place>
370
<place>State_0_5</place>
371
<place>State_2_0</place>
372
<place>State_1_4</place>
373
<place>State_3_2</place>
374
<place>State_4_3</place>
375
<place>State_4_0</place>
376
<place>State_5_3</place>
377
<place>State_5_0</place>
378
<place>State_3_5</place>
379
<place>State_2_5</place>
380
<place>State_2_2</place>
381
<place>State_4_5</place>
382
<place>State_0_1</place>
383
<place>State_1_2</place>
384
<place>State_3_4</place>
385
<place>State_1_1</place>
386
<place>State_2_3</place>
387
<place>State_2_4</place>
388
<place>State_0_2</place>
389
<place>State_5_5</place>
390
<place>State_3_3</place>
391
<place>State_0_3</place>
392
<place>State_5_1</place>
393
<place>State_5_4</place>
394
<place>State_2_1</place>
395
<place>State_1_0</place>
396
<place>State_0_0</place>
407
<id>TokenRing-COL-005-CTLCardinality-2</id>
408
<description>Automatically generated</description>
416
<integer-constant>2</integer-constant>
418
<place>State_3_1</place>
419
<place>State_1_3</place>
420
<place>State_4_4</place>
421
<place>State_5_2</place>
422
<place>State_3_0</place>
423
<place>State_0_4</place>
424
<place>State_4_1</place>
425
<place>State_1_5</place>
426
<place>State_4_2</place>
427
<place>State_0_5</place>
428
<place>State_2_0</place>
429
<place>State_1_4</place>
430
<place>State_3_2</place>
431
<place>State_4_3</place>
432
<place>State_4_0</place>
433
<place>State_5_3</place>
434
<place>State_5_0</place>
435
<place>State_3_5</place>
436
<place>State_2_5</place>
437
<place>State_2_2</place>
438
<place>State_4_5</place>
439
<place>State_0_1</place>
440
<place>State_1_2</place>
441
<place>State_3_4</place>
442
<place>State_1_1</place>
443
<place>State_2_3</place>
444
<place>State_2_4</place>
445
<place>State_0_2</place>
446
<place>State_5_5</place>
447
<place>State_3_3</place>
448
<place>State_0_3</place>
449
<place>State_5_1</place>
450
<place>State_5_4</place>
451
<place>State_2_1</place>
452
<place>State_1_0</place>
453
<place>State_0_0</place>
457
<integer-constant>1</integer-constant>
459
<place>State_3_1</place>
460
<place>State_1_3</place>
461
<place>State_4_4</place>
462
<place>State_5_2</place>
463
<place>State_3_0</place>
464
<place>State_0_4</place>
465
<place>State_4_1</place>
466
<place>State_1_5</place>
467
<place>State_4_2</place>
468
<place>State_0_5</place>
469
<place>State_2_0</place>
470
<place>State_1_4</place>
471
<place>State_3_2</place>
472
<place>State_4_3</place>
473
<place>State_4_0</place>
474
<place>State_5_3</place>
475
<place>State_5_0</place>
476
<place>State_3_5</place>
477
<place>State_2_5</place>
478
<place>State_2_2</place>
479
<place>State_4_5</place>
480
<place>State_0_1</place>
481
<place>State_1_2</place>
482
<place>State_3_4</place>
483
<place>State_1_1</place>
484
<place>State_2_3</place>
485
<place>State_2_4</place>
486
<place>State_0_2</place>
487
<place>State_5_5</place>
488
<place>State_3_3</place>
489
<place>State_0_3</place>
490
<place>State_5_1</place>
491
<place>State_5_4</place>
492
<place>State_2_1</place>
493
<place>State_1_0</place>
494
<place>State_0_0</place>
500
<integer-constant>1</integer-constant>
502
<place>State_3_1</place>
503
<place>State_1_3</place>
504
<place>State_4_4</place>
505
<place>State_5_2</place>
506
<place>State_3_0</place>
507
<place>State_0_4</place>
508
<place>State_4_1</place>
509
<place>State_1_5</place>
510
<place>State_4_2</place>
511
<place>State_0_5</place>
512
<place>State_2_0</place>
513
<place>State_1_4</place>
514
<place>State_3_2</place>
515
<place>State_4_3</place>
516
<place>State_4_0</place>
517
<place>State_5_3</place>
518
<place>State_5_0</place>
519
<place>State_3_5</place>
520
<place>State_2_5</place>
521
<place>State_2_2</place>
522
<place>State_4_5</place>
523
<place>State_0_1</place>
524
<place>State_1_2</place>
525
<place>State_3_4</place>
526
<place>State_1_1</place>
527
<place>State_2_3</place>
528
<place>State_2_4</place>
529
<place>State_0_2</place>
530
<place>State_5_5</place>
531
<place>State_3_3</place>
532
<place>State_0_3</place>
533
<place>State_5_1</place>
534
<place>State_5_4</place>
535
<place>State_2_1</place>
536
<place>State_1_0</place>
537
<place>State_0_0</place>
546
<place>State_3_1</place>
547
<place>State_1_3</place>
548
<place>State_4_4</place>
549
<place>State_5_2</place>
550
<place>State_3_0</place>
551
<place>State_0_4</place>
552
<place>State_4_1</place>
553
<place>State_1_5</place>
554
<place>State_4_2</place>
555
<place>State_0_5</place>
556
<place>State_2_0</place>
557
<place>State_1_4</place>
558
<place>State_3_2</place>
559
<place>State_4_3</place>
560
<place>State_4_0</place>
561
<place>State_5_3</place>
562
<place>State_5_0</place>
563
<place>State_3_5</place>
564
<place>State_2_5</place>
565
<place>State_2_2</place>
566
<place>State_4_5</place>
567
<place>State_0_1</place>
568
<place>State_1_2</place>
569
<place>State_3_4</place>
570
<place>State_1_1</place>
571
<place>State_2_3</place>
572
<place>State_2_4</place>
573
<place>State_0_2</place>
574
<place>State_5_5</place>
575
<place>State_3_3</place>
576
<place>State_0_3</place>
577
<place>State_5_1</place>
578
<place>State_5_4</place>
579
<place>State_2_1</place>
580
<place>State_1_0</place>
581
<place>State_0_0</place>
584
<place>State_3_1</place>
585
<place>State_1_3</place>
586
<place>State_4_4</place>
587
<place>State_5_2</place>
588
<place>State_3_0</place>
589
<place>State_0_4</place>
590
<place>State_4_1</place>
591
<place>State_1_5</place>
592
<place>State_4_2</place>
593
<place>State_0_5</place>
594
<place>State_2_0</place>
595
<place>State_1_4</place>
596
<place>State_3_2</place>
597
<place>State_4_3</place>
598
<place>State_4_0</place>
599
<place>State_5_3</place>
600
<place>State_5_0</place>
601
<place>State_3_5</place>
602
<place>State_2_5</place>
603
<place>State_2_2</place>
604
<place>State_4_5</place>
605
<place>State_0_1</place>
606
<place>State_1_2</place>
607
<place>State_3_4</place>
608
<place>State_1_1</place>
609
<place>State_2_3</place>
610
<place>State_2_4</place>
611
<place>State_0_2</place>
612
<place>State_5_5</place>
613
<place>State_3_3</place>
614
<place>State_0_3</place>
615
<place>State_5_1</place>
616
<place>State_5_4</place>
617
<place>State_2_1</place>
618
<place>State_1_0</place>
619
<place>State_0_0</place>
625
<place>State_3_1</place>
626
<place>State_1_3</place>
627
<place>State_4_4</place>
628
<place>State_5_2</place>
629
<place>State_3_0</place>
630
<place>State_0_4</place>
631
<place>State_4_1</place>
632
<place>State_1_5</place>
633
<place>State_4_2</place>
634
<place>State_0_5</place>
635
<place>State_2_0</place>
636
<place>State_1_4</place>
637
<place>State_3_2</place>
638
<place>State_4_3</place>
639
<place>State_4_0</place>
640
<place>State_5_3</place>
641
<place>State_5_0</place>
642
<place>State_3_5</place>
643
<place>State_2_5</place>
644
<place>State_2_2</place>
645
<place>State_4_5</place>
646
<place>State_0_1</place>
647
<place>State_1_2</place>
648
<place>State_3_4</place>
649
<place>State_1_1</place>
650
<place>State_2_3</place>
651
<place>State_2_4</place>
652
<place>State_0_2</place>
653
<place>State_5_5</place>
654
<place>State_3_3</place>
655
<place>State_0_3</place>
656
<place>State_5_1</place>
657
<place>State_5_4</place>
658
<place>State_2_1</place>
659
<place>State_1_0</place>
660
<place>State_0_0</place>
663
<place>State_3_1</place>
664
<place>State_1_3</place>
665
<place>State_4_4</place>
666
<place>State_5_2</place>
667
<place>State_3_0</place>
668
<place>State_0_4</place>
669
<place>State_4_1</place>
670
<place>State_1_5</place>
671
<place>State_4_2</place>
672
<place>State_0_5</place>
673
<place>State_2_0</place>
674
<place>State_1_4</place>
675
<place>State_3_2</place>
676
<place>State_4_3</place>
677
<place>State_4_0</place>
678
<place>State_5_3</place>
679
<place>State_5_0</place>
680
<place>State_3_5</place>
681
<place>State_2_5</place>
682
<place>State_2_2</place>
683
<place>State_4_5</place>
684
<place>State_0_1</place>
685
<place>State_1_2</place>
686
<place>State_3_4</place>
687
<place>State_1_1</place>
688
<place>State_2_3</place>
689
<place>State_2_4</place>
690
<place>State_0_2</place>
691
<place>State_5_5</place>
692
<place>State_3_3</place>
693
<place>State_0_3</place>
694
<place>State_5_1</place>
695
<place>State_5_4</place>
696
<place>State_2_1</place>
697
<place>State_1_0</place>
698
<place>State_0_0</place>
708
<place>State_3_1</place>
709
<place>State_1_3</place>
710
<place>State_4_4</place>
711
<place>State_5_2</place>
712
<place>State_3_0</place>
713
<place>State_0_4</place>
714
<place>State_4_1</place>
715
<place>State_1_5</place>
716
<place>State_4_2</place>
717
<place>State_0_5</place>
718
<place>State_2_0</place>
719
<place>State_1_4</place>
720
<place>State_3_2</place>
721
<place>State_4_3</place>
722
<place>State_4_0</place>
723
<place>State_5_3</place>
724
<place>State_5_0</place>
725
<place>State_3_5</place>
726
<place>State_2_5</place>
727
<place>State_2_2</place>
728
<place>State_4_5</place>
729
<place>State_0_1</place>
730
<place>State_1_2</place>
731
<place>State_3_4</place>
732
<place>State_1_1</place>
733
<place>State_2_3</place>
734
<place>State_2_4</place>
735
<place>State_0_2</place>
736
<place>State_5_5</place>
737
<place>State_3_3</place>
738
<place>State_0_3</place>
739
<place>State_5_1</place>
740
<place>State_5_4</place>
741
<place>State_2_1</place>
742
<place>State_1_0</place>
743
<place>State_0_0</place>
746
<place>State_3_1</place>
747
<place>State_1_3</place>
748
<place>State_4_4</place>
749
<place>State_5_2</place>
750
<place>State_3_0</place>
751
<place>State_0_4</place>
752
<place>State_4_1</place>
753
<place>State_1_5</place>
754
<place>State_4_2</place>
755
<place>State_0_5</place>
756
<place>State_2_0</place>
757
<place>State_1_4</place>
758
<place>State_3_2</place>
759
<place>State_4_3</place>
760
<place>State_4_0</place>
761
<place>State_5_3</place>
762
<place>State_5_0</place>
763
<place>State_3_5</place>
764
<place>State_2_5</place>
765
<place>State_2_2</place>
766
<place>State_4_5</place>
767
<place>State_0_1</place>
768
<place>State_1_2</place>
769
<place>State_3_4</place>
770
<place>State_1_1</place>
771
<place>State_2_3</place>
772
<place>State_2_4</place>
773
<place>State_0_2</place>
774
<place>State_5_5</place>
775
<place>State_3_3</place>
776
<place>State_0_3</place>
777
<place>State_5_1</place>
778
<place>State_5_4</place>
779
<place>State_2_1</place>
780
<place>State_1_0</place>
781
<place>State_0_0</place>
785
<integer-constant>1</integer-constant>
787
<place>State_3_1</place>
788
<place>State_1_3</place>
789
<place>State_4_4</place>
790
<place>State_5_2</place>
791
<place>State_3_0</place>
792
<place>State_0_4</place>
793
<place>State_4_1</place>
794
<place>State_1_5</place>
795
<place>State_4_2</place>
796
<place>State_0_5</place>
797
<place>State_2_0</place>
798
<place>State_1_4</place>
799
<place>State_3_2</place>
800
<place>State_4_3</place>
801
<place>State_4_0</place>
802
<place>State_5_3</place>
803
<place>State_5_0</place>
804
<place>State_3_5</place>
805
<place>State_2_5</place>
806
<place>State_2_2</place>
807
<place>State_4_5</place>
808
<place>State_0_1</place>
809
<place>State_1_2</place>
810
<place>State_3_4</place>
811
<place>State_1_1</place>
812
<place>State_2_3</place>
813
<place>State_2_4</place>
814
<place>State_0_2</place>
815
<place>State_5_5</place>
816
<place>State_3_3</place>
817
<place>State_0_3</place>
818
<place>State_5_1</place>
819
<place>State_5_4</place>
820
<place>State_2_1</place>
821
<place>State_1_0</place>
822
<place>State_0_0</place>
833
<id>TokenRing-COL-005-CTLCardinality-3</id>
834
<description>Automatically generated</description>
841
<integer-constant>3</integer-constant>
843
<place>State_3_1</place>
844
<place>State_1_3</place>
845
<place>State_4_4</place>
846
<place>State_5_2</place>
847
<place>State_3_0</place>
848
<place>State_0_4</place>
849
<place>State_4_1</place>
850
<place>State_1_5</place>
851
<place>State_4_2</place>
852
<place>State_0_5</place>
853
<place>State_2_0</place>
854
<place>State_1_4</place>
855
<place>State_3_2</place>
856
<place>State_4_3</place>
857
<place>State_4_0</place>
858
<place>State_5_3</place>
859
<place>State_5_0</place>
860
<place>State_3_5</place>
861
<place>State_2_5</place>
862
<place>State_2_2</place>
863
<place>State_4_5</place>
864
<place>State_0_1</place>
865
<place>State_1_2</place>
866
<place>State_3_4</place>
867
<place>State_1_1</place>
868
<place>State_2_3</place>
869
<place>State_2_4</place>
870
<place>State_0_2</place>
871
<place>State_5_5</place>
872
<place>State_3_3</place>
873
<place>State_0_3</place>
874
<place>State_5_1</place>
875
<place>State_5_4</place>
876
<place>State_2_1</place>
877
<place>State_1_0</place>
878
<place>State_0_0</place>
886
<place>State_3_1</place>
887
<place>State_1_3</place>
888
<place>State_4_4</place>
889
<place>State_5_2</place>
890
<place>State_3_0</place>
891
<place>State_0_4</place>
892
<place>State_4_1</place>
893
<place>State_1_5</place>
894
<place>State_4_2</place>
895
<place>State_0_5</place>
896
<place>State_2_0</place>
897
<place>State_1_4</place>
898
<place>State_3_2</place>
899
<place>State_4_3</place>
900
<place>State_4_0</place>
901
<place>State_5_3</place>
902
<place>State_5_0</place>
903
<place>State_3_5</place>
904
<place>State_2_5</place>
905
<place>State_2_2</place>
906
<place>State_4_5</place>
907
<place>State_0_1</place>
908
<place>State_1_2</place>
909
<place>State_3_4</place>
910
<place>State_1_1</place>
911
<place>State_2_3</place>
912
<place>State_2_4</place>
913
<place>State_0_2</place>
914
<place>State_5_5</place>
915
<place>State_3_3</place>
916
<place>State_0_3</place>
917
<place>State_5_1</place>
918
<place>State_5_4</place>
919
<place>State_2_1</place>
920
<place>State_1_0</place>
921
<place>State_0_0</place>
924
<place>State_3_1</place>
925
<place>State_1_3</place>
926
<place>State_4_4</place>
927
<place>State_5_2</place>
928
<place>State_3_0</place>
929
<place>State_0_4</place>
930
<place>State_4_1</place>
931
<place>State_1_5</place>
932
<place>State_4_2</place>
933
<place>State_0_5</place>
934
<place>State_2_0</place>
935
<place>State_1_4</place>
936
<place>State_3_2</place>
937
<place>State_4_3</place>
938
<place>State_4_0</place>
939
<place>State_5_3</place>
940
<place>State_5_0</place>
941
<place>State_3_5</place>
942
<place>State_2_5</place>
943
<place>State_2_2</place>
944
<place>State_4_5</place>
945
<place>State_0_1</place>
946
<place>State_1_2</place>
947
<place>State_3_4</place>
948
<place>State_1_1</place>
949
<place>State_2_3</place>
950
<place>State_2_4</place>
951
<place>State_0_2</place>
952
<place>State_5_5</place>
953
<place>State_3_3</place>
954
<place>State_0_3</place>
955
<place>State_5_1</place>
956
<place>State_5_4</place>
957
<place>State_2_1</place>
958
<place>State_1_0</place>
959
<place>State_0_0</place>
967
<place>State_3_1</place>
968
<place>State_1_3</place>
969
<place>State_4_4</place>
970
<place>State_5_2</place>
971
<place>State_3_0</place>
972
<place>State_0_4</place>
973
<place>State_4_1</place>
974
<place>State_1_5</place>
975
<place>State_4_2</place>
976
<place>State_0_5</place>
977
<place>State_2_0</place>
978
<place>State_1_4</place>
979
<place>State_3_2</place>
980
<place>State_4_3</place>
981
<place>State_4_0</place>
982
<place>State_5_3</place>
983
<place>State_5_0</place>
984
<place>State_3_5</place>
985
<place>State_2_5</place>
986
<place>State_2_2</place>
987
<place>State_4_5</place>
988
<place>State_0_1</place>
989
<place>State_1_2</place>
990
<place>State_3_4</place>
991
<place>State_1_1</place>
992
<place>State_2_3</place>
993
<place>State_2_4</place>
994
<place>State_0_2</place>
995
<place>State_5_5</place>
996
<place>State_3_3</place>
997
<place>State_0_3</place>
998
<place>State_5_1</place>
999
<place>State_5_4</place>
1000
<place>State_2_1</place>
1001
<place>State_1_0</place>
1002
<place>State_0_0</place>
1005
<place>State_3_1</place>
1006
<place>State_1_3</place>
1007
<place>State_4_4</place>
1008
<place>State_5_2</place>
1009
<place>State_3_0</place>
1010
<place>State_0_4</place>
1011
<place>State_4_1</place>
1012
<place>State_1_5</place>
1013
<place>State_4_2</place>
1014
<place>State_0_5</place>
1015
<place>State_2_0</place>
1016
<place>State_1_4</place>
1017
<place>State_3_2</place>
1018
<place>State_4_3</place>
1019
<place>State_4_0</place>
1020
<place>State_5_3</place>
1021
<place>State_5_0</place>
1022
<place>State_3_5</place>
1023
<place>State_2_5</place>
1024
<place>State_2_2</place>
1025
<place>State_4_5</place>
1026
<place>State_0_1</place>
1027
<place>State_1_2</place>
1028
<place>State_3_4</place>
1029
<place>State_1_1</place>
1030
<place>State_2_3</place>
1031
<place>State_2_4</place>
1032
<place>State_0_2</place>
1033
<place>State_5_5</place>
1034
<place>State_3_3</place>
1035
<place>State_0_3</place>
1036
<place>State_5_1</place>
1037
<place>State_5_4</place>
1038
<place>State_2_1</place>
1039
<place>State_1_0</place>
1040
<place>State_0_0</place>
1049
<integer-constant>1</integer-constant>
1051
<place>State_3_1</place>
1052
<place>State_1_3</place>
1053
<place>State_4_4</place>
1054
<place>State_5_2</place>
1055
<place>State_3_0</place>
1056
<place>State_0_4</place>
1057
<place>State_4_1</place>
1058
<place>State_1_5</place>
1059
<place>State_4_2</place>
1060
<place>State_0_5</place>
1061
<place>State_2_0</place>
1062
<place>State_1_4</place>
1063
<place>State_3_2</place>
1064
<place>State_4_3</place>
1065
<place>State_4_0</place>
1066
<place>State_5_3</place>
1067
<place>State_5_0</place>
1068
<place>State_3_5</place>
1069
<place>State_2_5</place>
1070
<place>State_2_2</place>
1071
<place>State_4_5</place>
1072
<place>State_0_1</place>
1073
<place>State_1_2</place>
1074
<place>State_3_4</place>
1075
<place>State_1_1</place>
1076
<place>State_2_3</place>
1077
<place>State_2_4</place>
1078
<place>State_0_2</place>
1079
<place>State_5_5</place>
1080
<place>State_3_3</place>
1081
<place>State_0_3</place>
1082
<place>State_5_1</place>
1083
<place>State_5_4</place>
1084
<place>State_2_1</place>
1085
<place>State_1_0</place>
1086
<place>State_0_0</place>
1091
<place>State_3_1</place>
1092
<place>State_1_3</place>
1093
<place>State_4_4</place>
1094
<place>State_5_2</place>
1095
<place>State_3_0</place>
1096
<place>State_0_4</place>
1097
<place>State_4_1</place>
1098
<place>State_1_5</place>
1099
<place>State_4_2</place>
1100
<place>State_0_5</place>
1101
<place>State_2_0</place>
1102
<place>State_1_4</place>
1103
<place>State_3_2</place>
1104
<place>State_4_3</place>
1105
<place>State_4_0</place>
1106
<place>State_5_3</place>
1107
<place>State_5_0</place>
1108
<place>State_3_5</place>
1109
<place>State_2_5</place>
1110
<place>State_2_2</place>
1111
<place>State_4_5</place>
1112
<place>State_0_1</place>
1113
<place>State_1_2</place>
1114
<place>State_3_4</place>
1115
<place>State_1_1</place>
1116
<place>State_2_3</place>
1117
<place>State_2_4</place>
1118
<place>State_0_2</place>
1119
<place>State_5_5</place>
1120
<place>State_3_3</place>
1121
<place>State_0_3</place>
1122
<place>State_5_1</place>
1123
<place>State_5_4</place>
1124
<place>State_2_1</place>
1125
<place>State_1_0</place>
1126
<place>State_0_0</place>
1129
<place>State_3_1</place>
1130
<place>State_1_3</place>
1131
<place>State_4_4</place>
1132
<place>State_5_2</place>
1133
<place>State_3_0</place>
1134
<place>State_0_4</place>
1135
<place>State_4_1</place>
1136
<place>State_1_5</place>
1137
<place>State_4_2</place>
1138
<place>State_0_5</place>
1139
<place>State_2_0</place>
1140
<place>State_1_4</place>
1141
<place>State_3_2</place>
1142
<place>State_4_3</place>
1143
<place>State_4_0</place>
1144
<place>State_5_3</place>
1145
<place>State_5_0</place>
1146
<place>State_3_5</place>
1147
<place>State_2_5</place>
1148
<place>State_2_2</place>
1149
<place>State_4_5</place>
1150
<place>State_0_1</place>
1151
<place>State_1_2</place>
1152
<place>State_3_4</place>
1153
<place>State_1_1</place>
1154
<place>State_2_3</place>
1155
<place>State_2_4</place>
1156
<place>State_0_2</place>
1157
<place>State_5_5</place>
1158
<place>State_3_3</place>
1159
<place>State_0_3</place>
1160
<place>State_5_1</place>
1161
<place>State_5_4</place>
1162
<place>State_2_1</place>
1163
<place>State_1_0</place>
1164
<place>State_0_0</place>
1170
<place>State_3_1</place>
1171
<place>State_1_3</place>
1172
<place>State_4_4</place>
1173
<place>State_5_2</place>
1174
<place>State_3_0</place>
1175
<place>State_0_4</place>
1176
<place>State_4_1</place>
1177
<place>State_1_5</place>
1178
<place>State_4_2</place>
1179
<place>State_0_5</place>
1180
<place>State_2_0</place>
1181
<place>State_1_4</place>
1182
<place>State_3_2</place>
1183
<place>State_4_3</place>
1184
<place>State_4_0</place>
1185
<place>State_5_3</place>
1186
<place>State_5_0</place>
1187
<place>State_3_5</place>
1188
<place>State_2_5</place>
1189
<place>State_2_2</place>
1190
<place>State_4_5</place>
1191
<place>State_0_1</place>
1192
<place>State_1_2</place>
1193
<place>State_3_4</place>
1194
<place>State_1_1</place>
1195
<place>State_2_3</place>
1196
<place>State_2_4</place>
1197
<place>State_0_2</place>
1198
<place>State_5_5</place>
1199
<place>State_3_3</place>
1200
<place>State_0_3</place>
1201
<place>State_5_1</place>
1202
<place>State_5_4</place>
1203
<place>State_2_1</place>
1204
<place>State_1_0</place>
1205
<place>State_0_0</place>
1208
<place>State_3_1</place>
1209
<place>State_1_3</place>
1210
<place>State_4_4</place>
1211
<place>State_5_2</place>
1212
<place>State_3_0</place>
1213
<place>State_0_4</place>
1214
<place>State_4_1</place>
1215
<place>State_1_5</place>
1216
<place>State_4_2</place>
1217
<place>State_0_5</place>
1218
<place>State_2_0</place>
1219
<place>State_1_4</place>
1220
<place>State_3_2</place>
1221
<place>State_4_3</place>
1222
<place>State_4_0</place>
1223
<place>State_5_3</place>
1224
<place>State_5_0</place>
1225
<place>State_3_5</place>
1226
<place>State_2_5</place>
1227
<place>State_2_2</place>
1228
<place>State_4_5</place>
1229
<place>State_0_1</place>
1230
<place>State_1_2</place>
1231
<place>State_3_4</place>
1232
<place>State_1_1</place>
1233
<place>State_2_3</place>
1234
<place>State_2_4</place>
1235
<place>State_0_2</place>
1236
<place>State_5_5</place>
1237
<place>State_3_3</place>
1238
<place>State_0_3</place>
1239
<place>State_5_1</place>
1240
<place>State_5_4</place>
1241
<place>State_2_1</place>
1242
<place>State_1_0</place>
1243
<place>State_0_0</place>
1253
<id>TokenRing-COL-005-CTLCardinality-4</id>
1254
<description>Automatically generated</description>
1257
<integer-constant>2</integer-constant>
1259
<place>State_3_1</place>
1260
<place>State_1_3</place>
1261
<place>State_4_4</place>
1262
<place>State_5_2</place>
1263
<place>State_3_0</place>
1264
<place>State_0_4</place>
1265
<place>State_4_1</place>
1266
<place>State_1_5</place>
1267
<place>State_4_2</place>
1268
<place>State_0_5</place>
1269
<place>State_2_0</place>
1270
<place>State_1_4</place>
1271
<place>State_3_2</place>
1272
<place>State_4_3</place>
1273
<place>State_4_0</place>
1274
<place>State_5_3</place>
1275
<place>State_5_0</place>
1276
<place>State_3_5</place>
1277
<place>State_2_5</place>
1278
<place>State_2_2</place>
1279
<place>State_4_5</place>
1280
<place>State_0_1</place>
1281
<place>State_1_2</place>
1282
<place>State_3_4</place>
1283
<place>State_1_1</place>
1284
<place>State_2_3</place>
1285
<place>State_2_4</place>
1286
<place>State_0_2</place>
1287
<place>State_5_5</place>
1288
<place>State_3_3</place>
1289
<place>State_0_3</place>
1290
<place>State_5_1</place>
1291
<place>State_5_4</place>
1292
<place>State_2_1</place>
1293
<place>State_1_0</place>
1294
<place>State_0_0</place>
1300
<id>TokenRing-COL-005-CTLCardinality-5</id>
1301
<description>Automatically generated</description>
1310
<place>State_3_1</place>
1311
<place>State_1_3</place>
1312
<place>State_4_4</place>
1313
<place>State_5_2</place>
1314
<place>State_3_0</place>
1315
<place>State_0_4</place>
1316
<place>State_4_1</place>
1317
<place>State_1_5</place>
1318
<place>State_4_2</place>
1319
<place>State_0_5</place>
1320
<place>State_2_0</place>
1321
<place>State_1_4</place>
1322
<place>State_3_2</place>
1323
<place>State_4_3</place>
1324
<place>State_4_0</place>
1325
<place>State_5_3</place>
1326
<place>State_5_0</place>
1327
<place>State_3_5</place>
1328
<place>State_2_5</place>
1329
<place>State_2_2</place>
1330
<place>State_4_5</place>
1331
<place>State_0_1</place>
1332
<place>State_1_2</place>
1333
<place>State_3_4</place>
1334
<place>State_1_1</place>
1335
<place>State_2_3</place>
1336
<place>State_2_4</place>
1337
<place>State_0_2</place>
1338
<place>State_5_5</place>
1339
<place>State_3_3</place>
1340
<place>State_0_3</place>
1341
<place>State_5_1</place>
1342
<place>State_5_4</place>
1343
<place>State_2_1</place>
1344
<place>State_1_0</place>
1345
<place>State_0_0</place>
1348
<place>State_3_1</place>
1349
<place>State_1_3</place>
1350
<place>State_4_4</place>
1351
<place>State_5_2</place>
1352
<place>State_3_0</place>
1353
<place>State_0_4</place>
1354
<place>State_4_1</place>
1355
<place>State_1_5</place>
1356
<place>State_4_2</place>
1357
<place>State_0_5</place>
1358
<place>State_2_0</place>
1359
<place>State_1_4</place>
1360
<place>State_3_2</place>
1361
<place>State_4_3</place>
1362
<place>State_4_0</place>
1363
<place>State_5_3</place>
1364
<place>State_5_0</place>
1365
<place>State_3_5</place>
1366
<place>State_2_5</place>
1367
<place>State_2_2</place>
1368
<place>State_4_5</place>
1369
<place>State_0_1</place>
1370
<place>State_1_2</place>
1371
<place>State_3_4</place>
1372
<place>State_1_1</place>
1373
<place>State_2_3</place>
1374
<place>State_2_4</place>
1375
<place>State_0_2</place>
1376
<place>State_5_5</place>
1377
<place>State_3_3</place>
1378
<place>State_0_3</place>
1379
<place>State_5_1</place>
1380
<place>State_5_4</place>
1381
<place>State_2_1</place>
1382
<place>State_1_0</place>
1383
<place>State_0_0</place>
1390
<integer-constant>2</integer-constant>
1392
<place>State_3_1</place>
1393
<place>State_1_3</place>
1394
<place>State_4_4</place>
1395
<place>State_5_2</place>
1396
<place>State_3_0</place>
1397
<place>State_0_4</place>
1398
<place>State_4_1</place>
1399
<place>State_1_5</place>
1400
<place>State_4_2</place>
1401
<place>State_0_5</place>
1402
<place>State_2_0</place>
1403
<place>State_1_4</place>
1404
<place>State_3_2</place>
1405
<place>State_4_3</place>
1406
<place>State_4_0</place>
1407
<place>State_5_3</place>
1408
<place>State_5_0</place>
1409
<place>State_3_5</place>
1410
<place>State_2_5</place>
1411
<place>State_2_2</place>
1412
<place>State_4_5</place>
1413
<place>State_0_1</place>
1414
<place>State_1_2</place>
1415
<place>State_3_4</place>
1416
<place>State_1_1</place>
1417
<place>State_2_3</place>
1418
<place>State_2_4</place>
1419
<place>State_0_2</place>
1420
<place>State_5_5</place>
1421
<place>State_3_3</place>
1422
<place>State_0_3</place>
1423
<place>State_5_1</place>
1424
<place>State_5_4</place>
1425
<place>State_2_1</place>
1426
<place>State_1_0</place>
1427
<place>State_0_0</place>
1437
<id>TokenRing-COL-005-CTLCardinality-6</id>
1438
<description>Automatically generated</description>
1446
<integer-constant>1</integer-constant>
1448
<place>State_3_1</place>
1449
<place>State_1_3</place>
1450
<place>State_4_4</place>
1451
<place>State_5_2</place>
1452
<place>State_3_0</place>
1453
<place>State_0_4</place>
1454
<place>State_4_1</place>
1455
<place>State_1_5</place>
1456
<place>State_4_2</place>
1457
<place>State_0_5</place>
1458
<place>State_2_0</place>
1459
<place>State_1_4</place>
1460
<place>State_3_2</place>
1461
<place>State_4_3</place>
1462
<place>State_4_0</place>
1463
<place>State_5_3</place>
1464
<place>State_5_0</place>
1465
<place>State_3_5</place>
1466
<place>State_2_5</place>
1467
<place>State_2_2</place>
1468
<place>State_4_5</place>
1469
<place>State_0_1</place>
1470
<place>State_1_2</place>
1471
<place>State_3_4</place>
1472
<place>State_1_1</place>
1473
<place>State_2_3</place>
1474
<place>State_2_4</place>
1475
<place>State_0_2</place>
1476
<place>State_5_5</place>
1477
<place>State_3_3</place>
1478
<place>State_0_3</place>
1479
<place>State_5_1</place>
1480
<place>State_5_4</place>
1481
<place>State_2_1</place>
1482
<place>State_1_0</place>
1483
<place>State_0_0</place>
1493
<integer-constant>3</integer-constant>
1495
<place>State_3_1</place>
1496
<place>State_1_3</place>
1497
<place>State_4_4</place>
1498
<place>State_5_2</place>
1499
<place>State_3_0</place>
1500
<place>State_0_4</place>
1501
<place>State_4_1</place>
1502
<place>State_1_5</place>
1503
<place>State_4_2</place>
1504
<place>State_0_5</place>
1505
<place>State_2_0</place>
1506
<place>State_1_4</place>
1507
<place>State_3_2</place>
1508
<place>State_4_3</place>
1509
<place>State_4_0</place>
1510
<place>State_5_3</place>
1511
<place>State_5_0</place>
1512
<place>State_3_5</place>
1513
<place>State_2_5</place>
1514
<place>State_2_2</place>
1515
<place>State_4_5</place>
1516
<place>State_0_1</place>
1517
<place>State_1_2</place>
1518
<place>State_3_4</place>
1519
<place>State_1_1</place>
1520
<place>State_2_3</place>
1521
<place>State_2_4</place>
1522
<place>State_0_2</place>
1523
<place>State_5_5</place>
1524
<place>State_3_3</place>
1525
<place>State_0_3</place>
1526
<place>State_5_1</place>
1527
<place>State_5_4</place>
1528
<place>State_2_1</place>
1529
<place>State_1_0</place>
1530
<place>State_0_0</place>
1538
<integer-constant>2</integer-constant>
1540
<place>State_3_1</place>
1541
<place>State_1_3</place>
1542
<place>State_4_4</place>
1543
<place>State_5_2</place>
1544
<place>State_3_0</place>
1545
<place>State_0_4</place>
1546
<place>State_4_1</place>
1547
<place>State_1_5</place>
1548
<place>State_4_2</place>
1549
<place>State_0_5</place>
1550
<place>State_2_0</place>
1551
<place>State_1_4</place>
1552
<place>State_3_2</place>
1553
<place>State_4_3</place>
1554
<place>State_4_0</place>
1555
<place>State_5_3</place>
1556
<place>State_5_0</place>
1557
<place>State_3_5</place>
1558
<place>State_2_5</place>
1559
<place>State_2_2</place>
1560
<place>State_4_5</place>
1561
<place>State_0_1</place>
1562
<place>State_1_2</place>
1563
<place>State_3_4</place>
1564
<place>State_1_1</place>
1565
<place>State_2_3</place>
1566
<place>State_2_4</place>
1567
<place>State_0_2</place>
1568
<place>State_5_5</place>
1569
<place>State_3_3</place>
1570
<place>State_0_3</place>
1571
<place>State_5_1</place>
1572
<place>State_5_4</place>
1573
<place>State_2_1</place>
1574
<place>State_1_0</place>
1575
<place>State_0_0</place>
1579
<integer-constant>3</integer-constant>
1581
<place>State_3_1</place>
1582
<place>State_1_3</place>
1583
<place>State_4_4</place>
1584
<place>State_5_2</place>
1585
<place>State_3_0</place>
1586
<place>State_0_4</place>
1587
<place>State_4_1</place>
1588
<place>State_1_5</place>
1589
<place>State_4_2</place>
1590
<place>State_0_5</place>
1591
<place>State_2_0</place>
1592
<place>State_1_4</place>
1593
<place>State_3_2</place>
1594
<place>State_4_3</place>
1595
<place>State_4_0</place>
1596
<place>State_5_3</place>
1597
<place>State_5_0</place>
1598
<place>State_3_5</place>
1599
<place>State_2_5</place>
1600
<place>State_2_2</place>
1601
<place>State_4_5</place>
1602
<place>State_0_1</place>
1603
<place>State_1_2</place>
1604
<place>State_3_4</place>
1605
<place>State_1_1</place>
1606
<place>State_2_3</place>
1607
<place>State_2_4</place>
1608
<place>State_0_2</place>
1609
<place>State_5_5</place>
1610
<place>State_3_3</place>
1611
<place>State_0_3</place>
1612
<place>State_5_1</place>
1613
<place>State_5_4</place>
1614
<place>State_2_1</place>
1615
<place>State_1_0</place>
1616
<place>State_0_0</place>
1621
<integer-constant>3</integer-constant>
1623
<place>State_3_1</place>
1624
<place>State_1_3</place>
1625
<place>State_4_4</place>
1626
<place>State_5_2</place>
1627
<place>State_3_0</place>
1628
<place>State_0_4</place>
1629
<place>State_4_1</place>
1630
<place>State_1_5</place>
1631
<place>State_4_2</place>
1632
<place>State_0_5</place>
1633
<place>State_2_0</place>
1634
<place>State_1_4</place>
1635
<place>State_3_2</place>
1636
<place>State_4_3</place>
1637
<place>State_4_0</place>
1638
<place>State_5_3</place>
1639
<place>State_5_0</place>
1640
<place>State_3_5</place>
1641
<place>State_2_5</place>
1642
<place>State_2_2</place>
1643
<place>State_4_5</place>
1644
<place>State_0_1</place>
1645
<place>State_1_2</place>
1646
<place>State_3_4</place>
1647
<place>State_1_1</place>
1648
<place>State_2_3</place>
1649
<place>State_2_4</place>
1650
<place>State_0_2</place>
1651
<place>State_5_5</place>
1652
<place>State_3_3</place>
1653
<place>State_0_3</place>
1654
<place>State_5_1</place>
1655
<place>State_5_4</place>
1656
<place>State_2_1</place>
1657
<place>State_1_0</place>
1658
<place>State_0_0</place>
1668
<integer-constant>3</integer-constant>
1670
<place>State_3_1</place>
1671
<place>State_1_3</place>
1672
<place>State_4_4</place>
1673
<place>State_5_2</place>
1674
<place>State_3_0</place>
1675
<place>State_0_4</place>
1676
<place>State_4_1</place>
1677
<place>State_1_5</place>
1678
<place>State_4_2</place>
1679
<place>State_0_5</place>
1680
<place>State_2_0</place>
1681
<place>State_1_4</place>
1682
<place>State_3_2</place>
1683
<place>State_4_3</place>
1684
<place>State_4_0</place>
1685
<place>State_5_3</place>
1686
<place>State_5_0</place>
1687
<place>State_3_5</place>
1688
<place>State_2_5</place>
1689
<place>State_2_2</place>
1690
<place>State_4_5</place>
1691
<place>State_0_1</place>
1692
<place>State_1_2</place>
1693
<place>State_3_4</place>
1694
<place>State_1_1</place>
1695
<place>State_2_3</place>
1696
<place>State_2_4</place>
1697
<place>State_0_2</place>
1698
<place>State_5_5</place>
1699
<place>State_3_3</place>
1700
<place>State_0_3</place>
1701
<place>State_5_1</place>
1702
<place>State_5_4</place>
1703
<place>State_2_1</place>
1704
<place>State_1_0</place>
1705
<place>State_0_0</place>
1710
<integer-constant>1</integer-constant>
1712
<place>State_3_1</place>
1713
<place>State_1_3</place>
1714
<place>State_4_4</place>
1715
<place>State_5_2</place>
1716
<place>State_3_0</place>
1717
<place>State_0_4</place>
1718
<place>State_4_1</place>
1719
<place>State_1_5</place>
1720
<place>State_4_2</place>
1721
<place>State_0_5</place>
1722
<place>State_2_0</place>
1723
<place>State_1_4</place>
1724
<place>State_3_2</place>
1725
<place>State_4_3</place>
1726
<place>State_4_0</place>
1727
<place>State_5_3</place>
1728
<place>State_5_0</place>
1729
<place>State_3_5</place>
1730
<place>State_2_5</place>
1731
<place>State_2_2</place>
1732
<place>State_4_5</place>
1733
<place>State_0_1</place>
1734
<place>State_1_2</place>
1735
<place>State_3_4</place>
1736
<place>State_1_1</place>
1737
<place>State_2_3</place>
1738
<place>State_2_4</place>
1739
<place>State_0_2</place>
1740
<place>State_5_5</place>
1741
<place>State_3_3</place>
1742
<place>State_0_3</place>
1743
<place>State_5_1</place>
1744
<place>State_5_4</place>
1745
<place>State_2_1</place>
1746
<place>State_1_0</place>
1747
<place>State_0_0</place>
1756
<place>State_3_1</place>
1757
<place>State_1_3</place>
1758
<place>State_4_4</place>
1759
<place>State_5_2</place>
1760
<place>State_3_0</place>
1761
<place>State_0_4</place>
1762
<place>State_4_1</place>
1763
<place>State_1_5</place>
1764
<place>State_4_2</place>
1765
<place>State_0_5</place>
1766
<place>State_2_0</place>
1767
<place>State_1_4</place>
1768
<place>State_3_2</place>
1769
<place>State_4_3</place>
1770
<place>State_4_0</place>
1771
<place>State_5_3</place>
1772
<place>State_5_0</place>
1773
<place>State_3_5</place>
1774
<place>State_2_5</place>
1775
<place>State_2_2</place>
1776
<place>State_4_5</place>
1777
<place>State_0_1</place>
1778
<place>State_1_2</place>
1779
<place>State_3_4</place>
1780
<place>State_1_1</place>
1781
<place>State_2_3</place>
1782
<place>State_2_4</place>
1783
<place>State_0_2</place>
1784
<place>State_5_5</place>
1785
<place>State_3_3</place>
1786
<place>State_0_3</place>
1787
<place>State_5_1</place>
1788
<place>State_5_4</place>
1789
<place>State_2_1</place>
1790
<place>State_1_0</place>
1791
<place>State_0_0</place>
1794
<place>State_3_1</place>
1795
<place>State_1_3</place>
1796
<place>State_4_4</place>
1797
<place>State_5_2</place>
1798
<place>State_3_0</place>
1799
<place>State_0_4</place>
1800
<place>State_4_1</place>
1801
<place>State_1_5</place>
1802
<place>State_4_2</place>
1803
<place>State_0_5</place>
1804
<place>State_2_0</place>
1805
<place>State_1_4</place>
1806
<place>State_3_2</place>
1807
<place>State_4_3</place>
1808
<place>State_4_0</place>
1809
<place>State_5_3</place>
1810
<place>State_5_0</place>
1811
<place>State_3_5</place>
1812
<place>State_2_5</place>
1813
<place>State_2_2</place>
1814
<place>State_4_5</place>
1815
<place>State_0_1</place>
1816
<place>State_1_2</place>
1817
<place>State_3_4</place>
1818
<place>State_1_1</place>
1819
<place>State_2_3</place>
1820
<place>State_2_4</place>
1821
<place>State_0_2</place>
1822
<place>State_5_5</place>
1823
<place>State_3_3</place>
1824
<place>State_0_3</place>
1825
<place>State_5_1</place>
1826
<place>State_5_4</place>
1827
<place>State_2_1</place>
1828
<place>State_1_0</place>
1829
<place>State_0_0</place>
1833
<integer-constant>2</integer-constant>
1835
<place>State_3_1</place>
1836
<place>State_1_3</place>
1837
<place>State_4_4</place>
1838
<place>State_5_2</place>
1839
<place>State_3_0</place>
1840
<place>State_0_4</place>
1841
<place>State_4_1</place>
1842
<place>State_1_5</place>
1843
<place>State_4_2</place>
1844
<place>State_0_5</place>
1845
<place>State_2_0</place>
1846
<place>State_1_4</place>
1847
<place>State_3_2</place>
1848
<place>State_4_3</place>
1849
<place>State_4_0</place>
1850
<place>State_5_3</place>
1851
<place>State_5_0</place>
1852
<place>State_3_5</place>
1853
<place>State_2_5</place>
1854
<place>State_2_2</place>
1855
<place>State_4_5</place>
1856
<place>State_0_1</place>
1857
<place>State_1_2</place>
1858
<place>State_3_4</place>
1859
<place>State_1_1</place>
1860
<place>State_2_3</place>
1861
<place>State_2_4</place>
1862
<place>State_0_2</place>
1863
<place>State_5_5</place>
1864
<place>State_3_3</place>
1865
<place>State_0_3</place>
1866
<place>State_5_1</place>
1867
<place>State_5_4</place>
1868
<place>State_2_1</place>
1869
<place>State_1_0</place>
1870
<place>State_0_0</place>
1875
<integer-constant>2</integer-constant>
1877
<place>State_3_1</place>
1878
<place>State_1_3</place>
1879
<place>State_4_4</place>
1880
<place>State_5_2</place>
1881
<place>State_3_0</place>
1882
<place>State_0_4</place>
1883
<place>State_4_1</place>
1884
<place>State_1_5</place>
1885
<place>State_4_2</place>
1886
<place>State_0_5</place>
1887
<place>State_2_0</place>
1888
<place>State_1_4</place>
1889
<place>State_3_2</place>
1890
<place>State_4_3</place>
1891
<place>State_4_0</place>
1892
<place>State_5_3</place>
1893
<place>State_5_0</place>
1894
<place>State_3_5</place>
1895
<place>State_2_5</place>
1896
<place>State_2_2</place>
1897
<place>State_4_5</place>
1898
<place>State_0_1</place>
1899
<place>State_1_2</place>
1900
<place>State_3_4</place>
1901
<place>State_1_1</place>
1902
<place>State_2_3</place>
1903
<place>State_2_4</place>
1904
<place>State_0_2</place>
1905
<place>State_5_5</place>
1906
<place>State_3_3</place>
1907
<place>State_0_3</place>
1908
<place>State_5_1</place>
1909
<place>State_5_4</place>
1910
<place>State_2_1</place>
1911
<place>State_1_0</place>
1912
<place>State_0_0</place>
1921
<place>State_3_1</place>
1922
<place>State_1_3</place>
1923
<place>State_4_4</place>
1924
<place>State_5_2</place>
1925
<place>State_3_0</place>
1926
<place>State_0_4</place>
1927
<place>State_4_1</place>
1928
<place>State_1_5</place>
1929
<place>State_4_2</place>
1930
<place>State_0_5</place>
1931
<place>State_2_0</place>
1932
<place>State_1_4</place>
1933
<place>State_3_2</place>
1934
<place>State_4_3</place>
1935
<place>State_4_0</place>
1936
<place>State_5_3</place>
1937
<place>State_5_0</place>
1938
<place>State_3_5</place>
1939
<place>State_2_5</place>
1940
<place>State_2_2</place>
1941
<place>State_4_5</place>
1942
<place>State_0_1</place>
1943
<place>State_1_2</place>
1944
<place>State_3_4</place>
1945
<place>State_1_1</place>
1946
<place>State_2_3</place>
1947
<place>State_2_4</place>
1948
<place>State_0_2</place>
1949
<place>State_5_5</place>
1950
<place>State_3_3</place>
1951
<place>State_0_3</place>
1952
<place>State_5_1</place>
1953
<place>State_5_4</place>
1954
<place>State_2_1</place>
1955
<place>State_1_0</place>
1956
<place>State_0_0</place>
1959
<place>State_3_1</place>
1960
<place>State_1_3</place>
1961
<place>State_4_4</place>
1962
<place>State_5_2</place>
1963
<place>State_3_0</place>
1964
<place>State_0_4</place>
1965
<place>State_4_1</place>
1966
<place>State_1_5</place>
1967
<place>State_4_2</place>
1968
<place>State_0_5</place>
1969
<place>State_2_0</place>
1970
<place>State_1_4</place>
1971
<place>State_3_2</place>
1972
<place>State_4_3</place>
1973
<place>State_4_0</place>
1974
<place>State_5_3</place>
1975
<place>State_5_0</place>
1976
<place>State_3_5</place>
1977
<place>State_2_5</place>
1978
<place>State_2_2</place>
1979
<place>State_4_5</place>
1980
<place>State_0_1</place>
1981
<place>State_1_2</place>
1982
<place>State_3_4</place>
1983
<place>State_1_1</place>
1984
<place>State_2_3</place>
1985
<place>State_2_4</place>
1986
<place>State_0_2</place>
1987
<place>State_5_5</place>
1988
<place>State_3_3</place>
1989
<place>State_0_3</place>
1990
<place>State_5_1</place>
1991
<place>State_5_4</place>
1992
<place>State_2_1</place>
1993
<place>State_1_0</place>
1994
<place>State_0_0</place>
2004
<id>TokenRing-COL-005-CTLCardinality-7</id>
2005
<description>Automatically generated</description>
2011
<place>State_3_1</place>
2012
<place>State_1_3</place>
2013
<place>State_4_4</place>
2014
<place>State_5_2</place>
2015
<place>State_3_0</place>
2016
<place>State_0_4</place>
2017
<place>State_4_1</place>
2018
<place>State_1_5</place>
2019
<place>State_4_2</place>
2020
<place>State_0_5</place>
2021
<place>State_2_0</place>
2022
<place>State_1_4</place>
2023
<place>State_3_2</place>
2024
<place>State_4_3</place>
2025
<place>State_4_0</place>
2026
<place>State_5_3</place>
2027
<place>State_5_0</place>
2028
<place>State_3_5</place>
2029
<place>State_2_5</place>
2030
<place>State_2_2</place>
2031
<place>State_4_5</place>
2032
<place>State_0_1</place>
2033
<place>State_1_2</place>
2034
<place>State_3_4</place>
2035
<place>State_1_1</place>
2036
<place>State_2_3</place>
2037
<place>State_2_4</place>
2038
<place>State_0_2</place>
2039
<place>State_5_5</place>
2040
<place>State_3_3</place>
2041
<place>State_0_3</place>
2042
<place>State_5_1</place>
2043
<place>State_5_4</place>
2044
<place>State_2_1</place>
2045
<place>State_1_0</place>
2046
<place>State_0_0</place>
2049
<place>State_3_1</place>
2050
<place>State_1_3</place>
2051
<place>State_4_4</place>
2052
<place>State_5_2</place>
2053
<place>State_3_0</place>
2054
<place>State_0_4</place>
2055
<place>State_4_1</place>
2056
<place>State_1_5</place>
2057
<place>State_4_2</place>
2058
<place>State_0_5</place>
2059
<place>State_2_0</place>
2060
<place>State_1_4</place>
2061
<place>State_3_2</place>
2062
<place>State_4_3</place>
2063
<place>State_4_0</place>
2064
<place>State_5_3</place>
2065
<place>State_5_0</place>
2066
<place>State_3_5</place>
2067
<place>State_2_5</place>
2068
<place>State_2_2</place>
2069
<place>State_4_5</place>
2070
<place>State_0_1</place>
2071
<place>State_1_2</place>
2072
<place>State_3_4</place>
2073
<place>State_1_1</place>
2074
<place>State_2_3</place>
2075
<place>State_2_4</place>
2076
<place>State_0_2</place>
2077
<place>State_5_5</place>
2078
<place>State_3_3</place>
2079
<place>State_0_3</place>
2080
<place>State_5_1</place>
2081
<place>State_5_4</place>
2082
<place>State_2_1</place>
2083
<place>State_1_0</place>
2084
<place>State_0_0</place>
2091
<place>State_3_1</place>
2092
<place>State_1_3</place>
2093
<place>State_4_4</place>
2094
<place>State_5_2</place>
2095
<place>State_3_0</place>
2096
<place>State_0_4</place>
2097
<place>State_4_1</place>
2098
<place>State_1_5</place>
2099
<place>State_4_2</place>
2100
<place>State_0_5</place>
2101
<place>State_2_0</place>
2102
<place>State_1_4</place>
2103
<place>State_3_2</place>
2104
<place>State_4_3</place>
2105
<place>State_4_0</place>
2106
<place>State_5_3</place>
2107
<place>State_5_0</place>
2108
<place>State_3_5</place>
2109
<place>State_2_5</place>
2110
<place>State_2_2</place>
2111
<place>State_4_5</place>
2112
<place>State_0_1</place>
2113
<place>State_1_2</place>
2114
<place>State_3_4</place>
2115
<place>State_1_1</place>
2116
<place>State_2_3</place>
2117
<place>State_2_4</place>
2118
<place>State_0_2</place>
2119
<place>State_5_5</place>
2120
<place>State_3_3</place>
2121
<place>State_0_3</place>
2122
<place>State_5_1</place>
2123
<place>State_5_4</place>
2124
<place>State_2_1</place>
2125
<place>State_1_0</place>
2126
<place>State_0_0</place>
2129
<place>State_3_1</place>
2130
<place>State_1_3</place>
2131
<place>State_4_4</place>
2132
<place>State_5_2</place>
2133
<place>State_3_0</place>
2134
<place>State_0_4</place>
2135
<place>State_4_1</place>
2136
<place>State_1_5</place>
2137
<place>State_4_2</place>
2138
<place>State_0_5</place>
2139
<place>State_2_0</place>
2140
<place>State_1_4</place>
2141
<place>State_3_2</place>
2142
<place>State_4_3</place>
2143
<place>State_4_0</place>
2144
<place>State_5_3</place>
2145
<place>State_5_0</place>
2146
<place>State_3_5</place>
2147
<place>State_2_5</place>
2148
<place>State_2_2</place>
2149
<place>State_4_5</place>
2150
<place>State_0_1</place>
2151
<place>State_1_2</place>
2152
<place>State_3_4</place>
2153
<place>State_1_1</place>
2154
<place>State_2_3</place>
2155
<place>State_2_4</place>
2156
<place>State_0_2</place>
2157
<place>State_5_5</place>
2158
<place>State_3_3</place>
2159
<place>State_0_3</place>
2160
<place>State_5_1</place>
2161
<place>State_5_4</place>
2162
<place>State_2_1</place>
2163
<place>State_1_0</place>
2164
<place>State_0_0</place>
2170
<integer-constant>3</integer-constant>
2172
<place>State_3_1</place>
2173
<place>State_1_3</place>
2174
<place>State_4_4</place>
2175
<place>State_5_2</place>
2176
<place>State_3_0</place>
2177
<place>State_0_4</place>
2178
<place>State_4_1</place>
2179
<place>State_1_5</place>
2180
<place>State_4_2</place>
2181
<place>State_0_5</place>
2182
<place>State_2_0</place>
2183
<place>State_1_4</place>
2184
<place>State_3_2</place>
2185
<place>State_4_3</place>
2186
<place>State_4_0</place>
2187
<place>State_5_3</place>
2188
<place>State_5_0</place>
2189
<place>State_3_5</place>
2190
<place>State_2_5</place>
2191
<place>State_2_2</place>
2192
<place>State_4_5</place>
2193
<place>State_0_1</place>
2194
<place>State_1_2</place>
2195
<place>State_3_4</place>
2196
<place>State_1_1</place>
2197
<place>State_2_3</place>
2198
<place>State_2_4</place>
2199
<place>State_0_2</place>
2200
<place>State_5_5</place>
2201
<place>State_3_3</place>
2202
<place>State_0_3</place>
2203
<place>State_5_1</place>
2204
<place>State_5_4</place>
2205
<place>State_2_1</place>
2206
<place>State_1_0</place>
2207
<place>State_0_0</place>
2211
<integer-constant>1</integer-constant>
2213
<place>State_3_1</place>
2214
<place>State_1_3</place>
2215
<place>State_4_4</place>
2216
<place>State_5_2</place>
2217
<place>State_3_0</place>
2218
<place>State_0_4</place>
2219
<place>State_4_1</place>
2220
<place>State_1_5</place>
2221
<place>State_4_2</place>
2222
<place>State_0_5</place>
2223
<place>State_2_0</place>
2224
<place>State_1_4</place>
2225
<place>State_3_2</place>
2226
<place>State_4_3</place>
2227
<place>State_4_0</place>
2228
<place>State_5_3</place>
2229
<place>State_5_0</place>
2230
<place>State_3_5</place>
2231
<place>State_2_5</place>
2232
<place>State_2_2</place>
2233
<place>State_4_5</place>
2234
<place>State_0_1</place>
2235
<place>State_1_2</place>
2236
<place>State_3_4</place>
2237
<place>State_1_1</place>
2238
<place>State_2_3</place>
2239
<place>State_2_4</place>
2240
<place>State_0_2</place>
2241
<place>State_5_5</place>
2242
<place>State_3_3</place>
2243
<place>State_0_3</place>
2244
<place>State_5_1</place>
2245
<place>State_5_4</place>
2246
<place>State_2_1</place>
2247
<place>State_1_0</place>
2248
<place>State_0_0</place>
2258
<id>TokenRing-COL-005-CTLCardinality-8</id>
2259
<description>Automatically generated</description>
2267
<place>State_3_1</place>
2268
<place>State_1_3</place>
2269
<place>State_4_4</place>
2270
<place>State_5_2</place>
2271
<place>State_3_0</place>
2272
<place>State_0_4</place>
2273
<place>State_4_1</place>
2274
<place>State_1_5</place>
2275
<place>State_4_2</place>
2276
<place>State_0_5</place>
2277
<place>State_2_0</place>
2278
<place>State_1_4</place>
2279
<place>State_3_2</place>
2280
<place>State_4_3</place>
2281
<place>State_4_0</place>
2282
<place>State_5_3</place>
2283
<place>State_5_0</place>
2284
<place>State_3_5</place>
2285
<place>State_2_5</place>
2286
<place>State_2_2</place>
2287
<place>State_4_5</place>
2288
<place>State_0_1</place>
2289
<place>State_1_2</place>
2290
<place>State_3_4</place>
2291
<place>State_1_1</place>
2292
<place>State_2_3</place>
2293
<place>State_2_4</place>
2294
<place>State_0_2</place>
2295
<place>State_5_5</place>
2296
<place>State_3_3</place>
2297
<place>State_0_3</place>
2298
<place>State_5_1</place>
2299
<place>State_5_4</place>
2300
<place>State_2_1</place>
2301
<place>State_1_0</place>
2302
<place>State_0_0</place>
2305
<place>State_3_1</place>
2306
<place>State_1_3</place>
2307
<place>State_4_4</place>
2308
<place>State_5_2</place>
2309
<place>State_3_0</place>
2310
<place>State_0_4</place>
2311
<place>State_4_1</place>
2312
<place>State_1_5</place>
2313
<place>State_4_2</place>
2314
<place>State_0_5</place>
2315
<place>State_2_0</place>
2316
<place>State_1_4</place>
2317
<place>State_3_2</place>
2318
<place>State_4_3</place>
2319
<place>State_4_0</place>
2320
<place>State_5_3</place>
2321
<place>State_5_0</place>
2322
<place>State_3_5</place>
2323
<place>State_2_5</place>
2324
<place>State_2_2</place>
2325
<place>State_4_5</place>
2326
<place>State_0_1</place>
2327
<place>State_1_2</place>
2328
<place>State_3_4</place>
2329
<place>State_1_1</place>
2330
<place>State_2_3</place>
2331
<place>State_2_4</place>
2332
<place>State_0_2</place>
2333
<place>State_5_5</place>
2334
<place>State_3_3</place>
2335
<place>State_0_3</place>
2336
<place>State_5_1</place>
2337
<place>State_5_4</place>
2338
<place>State_2_1</place>
2339
<place>State_1_0</place>
2340
<place>State_0_0</place>
2345
<integer-constant>3</integer-constant>
2347
<place>State_3_1</place>
2348
<place>State_1_3</place>
2349
<place>State_4_4</place>
2350
<place>State_5_2</place>
2351
<place>State_3_0</place>
2352
<place>State_0_4</place>
2353
<place>State_4_1</place>
2354
<place>State_1_5</place>
2355
<place>State_4_2</place>
2356
<place>State_0_5</place>
2357
<place>State_2_0</place>
2358
<place>State_1_4</place>
2359
<place>State_3_2</place>
2360
<place>State_4_3</place>
2361
<place>State_4_0</place>
2362
<place>State_5_3</place>
2363
<place>State_5_0</place>
2364
<place>State_3_5</place>
2365
<place>State_2_5</place>
2366
<place>State_2_2</place>
2367
<place>State_4_5</place>
2368
<place>State_0_1</place>
2369
<place>State_1_2</place>
2370
<place>State_3_4</place>
2371
<place>State_1_1</place>
2372
<place>State_2_3</place>
2373
<place>State_2_4</place>
2374
<place>State_0_2</place>
2375
<place>State_5_5</place>
2376
<place>State_3_3</place>
2377
<place>State_0_3</place>
2378
<place>State_5_1</place>
2379
<place>State_5_4</place>
2380
<place>State_2_1</place>
2381
<place>State_1_0</place>
2382
<place>State_0_0</place>
2387
<place>State_3_1</place>
2388
<place>State_1_3</place>
2389
<place>State_4_4</place>
2390
<place>State_5_2</place>
2391
<place>State_3_0</place>
2392
<place>State_0_4</place>
2393
<place>State_4_1</place>
2394
<place>State_1_5</place>
2395
<place>State_4_2</place>
2396
<place>State_0_5</place>
2397
<place>State_2_0</place>
2398
<place>State_1_4</place>
2399
<place>State_3_2</place>
2400
<place>State_4_3</place>
2401
<place>State_4_0</place>
2402
<place>State_5_3</place>
2403
<place>State_5_0</place>
2404
<place>State_3_5</place>
2405
<place>State_2_5</place>
2406
<place>State_2_2</place>
2407
<place>State_4_5</place>
2408
<place>State_0_1</place>
2409
<place>State_1_2</place>
2410
<place>State_3_4</place>
2411
<place>State_1_1</place>
2412
<place>State_2_3</place>
2413
<place>State_2_4</place>
2414
<place>State_0_2</place>
2415
<place>State_5_5</place>
2416
<place>State_3_3</place>
2417
<place>State_0_3</place>
2418
<place>State_5_1</place>
2419
<place>State_5_4</place>
2420
<place>State_2_1</place>
2421
<place>State_1_0</place>
2422
<place>State_0_0</place>
2425
<place>State_3_1</place>
2426
<place>State_1_3</place>
2427
<place>State_4_4</place>
2428
<place>State_5_2</place>
2429
<place>State_3_0</place>
2430
<place>State_0_4</place>
2431
<place>State_4_1</place>
2432
<place>State_1_5</place>
2433
<place>State_4_2</place>
2434
<place>State_0_5</place>
2435
<place>State_2_0</place>
2436
<place>State_1_4</place>
2437
<place>State_3_2</place>
2438
<place>State_4_3</place>
2439
<place>State_4_0</place>
2440
<place>State_5_3</place>
2441
<place>State_5_0</place>
2442
<place>State_3_5</place>
2443
<place>State_2_5</place>
2444
<place>State_2_2</place>
2445
<place>State_4_5</place>
2446
<place>State_0_1</place>
2447
<place>State_1_2</place>
2448
<place>State_3_4</place>
2449
<place>State_1_1</place>
2450
<place>State_2_3</place>
2451
<place>State_2_4</place>
2452
<place>State_0_2</place>
2453
<place>State_5_5</place>
2454
<place>State_3_3</place>
2455
<place>State_0_3</place>
2456
<place>State_5_1</place>
2457
<place>State_5_4</place>
2458
<place>State_2_1</place>
2459
<place>State_1_0</place>
2460
<place>State_0_0</place>
2471
<id>TokenRing-COL-005-CTLCardinality-9</id>
2472
<description>Automatically generated</description>
2477
<integer-constant>3</integer-constant>
2479
<place>State_3_1</place>
2480
<place>State_1_3</place>
2481
<place>State_4_4</place>
2482
<place>State_5_2</place>
2483
<place>State_3_0</place>
2484
<place>State_0_4</place>
2485
<place>State_4_1</place>
2486
<place>State_1_5</place>
2487
<place>State_4_2</place>
2488
<place>State_0_5</place>
2489
<place>State_2_0</place>
2490
<place>State_1_4</place>
2491
<place>State_3_2</place>
2492
<place>State_4_3</place>
2493
<place>State_4_0</place>
2494
<place>State_5_3</place>
2495
<place>State_5_0</place>
2496
<place>State_3_5</place>
2497
<place>State_2_5</place>
2498
<place>State_2_2</place>
2499
<place>State_4_5</place>
2500
<place>State_0_1</place>
2501
<place>State_1_2</place>
2502
<place>State_3_4</place>
2503
<place>State_1_1</place>
2504
<place>State_2_3</place>
2505
<place>State_2_4</place>
2506
<place>State_0_2</place>
2507
<place>State_5_5</place>
2508
<place>State_3_3</place>
2509
<place>State_0_3</place>
2510
<place>State_5_1</place>
2511
<place>State_5_4</place>
2512
<place>State_2_1</place>
2513
<place>State_1_0</place>
2514
<place>State_0_0</place>
2522
<id>TokenRing-COL-005-CTLCardinality-10</id>
2523
<description>Automatically generated</description>
2531
<integer-constant>3</integer-constant>
2533
<place>State_3_1</place>
2534
<place>State_1_3</place>
2535
<place>State_4_4</place>
2536
<place>State_5_2</place>
2537
<place>State_3_0</place>
2538
<place>State_0_4</place>
2539
<place>State_4_1</place>
2540
<place>State_1_5</place>
2541
<place>State_4_2</place>
2542
<place>State_0_5</place>
2543
<place>State_2_0</place>
2544
<place>State_1_4</place>
2545
<place>State_3_2</place>
2546
<place>State_4_3</place>
2547
<place>State_4_0</place>
2548
<place>State_5_3</place>
2549
<place>State_5_0</place>
2550
<place>State_3_5</place>
2551
<place>State_2_5</place>
2552
<place>State_2_2</place>
2553
<place>State_4_5</place>
2554
<place>State_0_1</place>
2555
<place>State_1_2</place>
2556
<place>State_3_4</place>
2557
<place>State_1_1</place>
2558
<place>State_2_3</place>
2559
<place>State_2_4</place>
2560
<place>State_0_2</place>
2561
<place>State_5_5</place>
2562
<place>State_3_3</place>
2563
<place>State_0_3</place>
2564
<place>State_5_1</place>
2565
<place>State_5_4</place>
2566
<place>State_2_1</place>
2567
<place>State_1_0</place>
2568
<place>State_0_0</place>
2578
<integer-constant>2</integer-constant>
2580
<place>State_3_1</place>
2581
<place>State_1_3</place>
2582
<place>State_4_4</place>
2583
<place>State_5_2</place>
2584
<place>State_3_0</place>
2585
<place>State_0_4</place>
2586
<place>State_4_1</place>
2587
<place>State_1_5</place>
2588
<place>State_4_2</place>
2589
<place>State_0_5</place>
2590
<place>State_2_0</place>
2591
<place>State_1_4</place>
2592
<place>State_3_2</place>
2593
<place>State_4_3</place>
2594
<place>State_4_0</place>
2595
<place>State_5_3</place>
2596
<place>State_5_0</place>
2597
<place>State_3_5</place>
2598
<place>State_2_5</place>
2599
<place>State_2_2</place>
2600
<place>State_4_5</place>
2601
<place>State_0_1</place>
2602
<place>State_1_2</place>
2603
<place>State_3_4</place>
2604
<place>State_1_1</place>
2605
<place>State_2_3</place>
2606
<place>State_2_4</place>
2607
<place>State_0_2</place>
2608
<place>State_5_5</place>
2609
<place>State_3_3</place>
2610
<place>State_0_3</place>
2611
<place>State_5_1</place>
2612
<place>State_5_4</place>
2613
<place>State_2_1</place>
2614
<place>State_1_0</place>
2615
<place>State_0_0</place>
2626
<id>TokenRing-COL-005-CTLCardinality-11</id>
2627
<description>Automatically generated</description>
2630
<integer-constant>2</integer-constant>
2632
<place>State_3_1</place>
2633
<place>State_1_3</place>
2634
<place>State_4_4</place>
2635
<place>State_5_2</place>
2636
<place>State_3_0</place>
2637
<place>State_0_4</place>
2638
<place>State_4_1</place>
2639
<place>State_1_5</place>
2640
<place>State_4_2</place>
2641
<place>State_0_5</place>
2642
<place>State_2_0</place>
2643
<place>State_1_4</place>
2644
<place>State_3_2</place>
2645
<place>State_4_3</place>
2646
<place>State_4_0</place>
2647
<place>State_5_3</place>
2648
<place>State_5_0</place>
2649
<place>State_3_5</place>
2650
<place>State_2_5</place>
2651
<place>State_2_2</place>
2652
<place>State_4_5</place>
2653
<place>State_0_1</place>
2654
<place>State_1_2</place>
2655
<place>State_3_4</place>
2656
<place>State_1_1</place>
2657
<place>State_2_3</place>
2658
<place>State_2_4</place>
2659
<place>State_0_2</place>
2660
<place>State_5_5</place>
2661
<place>State_3_3</place>
2662
<place>State_0_3</place>
2663
<place>State_5_1</place>
2664
<place>State_5_4</place>
2665
<place>State_2_1</place>
2666
<place>State_1_0</place>
2667
<place>State_0_0</place>
2673
<id>TokenRing-COL-005-CTLCardinality-12</id>
2674
<description>Automatically generated</description>
2680
<integer-constant>3</integer-constant>
2682
<place>State_3_1</place>
2683
<place>State_1_3</place>
2684
<place>State_4_4</place>
2685
<place>State_5_2</place>
2686
<place>State_3_0</place>
2687
<place>State_0_4</place>
2688
<place>State_4_1</place>
2689
<place>State_1_5</place>
2690
<place>State_4_2</place>
2691
<place>State_0_5</place>
2692
<place>State_2_0</place>
2693
<place>State_1_4</place>
2694
<place>State_3_2</place>
2695
<place>State_4_3</place>
2696
<place>State_4_0</place>
2697
<place>State_5_3</place>
2698
<place>State_5_0</place>
2699
<place>State_3_5</place>
2700
<place>State_2_5</place>
2701
<place>State_2_2</place>
2702
<place>State_4_5</place>
2703
<place>State_0_1</place>
2704
<place>State_1_2</place>
2705
<place>State_3_4</place>
2706
<place>State_1_1</place>
2707
<place>State_2_3</place>
2708
<place>State_2_4</place>
2709
<place>State_0_2</place>
2710
<place>State_5_5</place>
2711
<place>State_3_3</place>
2712
<place>State_0_3</place>
2713
<place>State_5_1</place>
2714
<place>State_5_4</place>
2715
<place>State_2_1</place>
2716
<place>State_1_0</place>
2717
<place>State_0_0</place>
2726
<id>TokenRing-COL-005-CTLCardinality-13</id>
2727
<description>Automatically generated</description>
2734
<integer-constant>2</integer-constant>
2736
<place>State_3_1</place>
2737
<place>State_1_3</place>
2738
<place>State_4_4</place>
2739
<place>State_5_2</place>
2740
<place>State_3_0</place>
2741
<place>State_0_4</place>
2742
<place>State_4_1</place>
2743
<place>State_1_5</place>
2744
<place>State_4_2</place>
2745
<place>State_0_5</place>
2746
<place>State_2_0</place>
2747
<place>State_1_4</place>
2748
<place>State_3_2</place>
2749
<place>State_4_3</place>
2750
<place>State_4_0</place>
2751
<place>State_5_3</place>
2752
<place>State_5_0</place>
2753
<place>State_3_5</place>
2754
<place>State_2_5</place>
2755
<place>State_2_2</place>
2756
<place>State_4_5</place>
2757
<place>State_0_1</place>
2758
<place>State_1_2</place>
2759
<place>State_3_4</place>
2760
<place>State_1_1</place>
2761
<place>State_2_3</place>
2762
<place>State_2_4</place>
2763
<place>State_0_2</place>
2764
<place>State_5_5</place>
2765
<place>State_3_3</place>
2766
<place>State_0_3</place>
2767
<place>State_5_1</place>
2768
<place>State_5_4</place>
2769
<place>State_2_1</place>
2770
<place>State_1_0</place>
2771
<place>State_0_0</place>
2781
<place>State_3_1</place>
2782
<place>State_1_3</place>
2783
<place>State_4_4</place>
2784
<place>State_5_2</place>
2785
<place>State_3_0</place>
2786
<place>State_0_4</place>
2787
<place>State_4_1</place>
2788
<place>State_1_5</place>
2789
<place>State_4_2</place>
2790
<place>State_0_5</place>
2791
<place>State_2_0</place>
2792
<place>State_1_4</place>
2793
<place>State_3_2</place>
2794
<place>State_4_3</place>
2795
<place>State_4_0</place>
2796
<place>State_5_3</place>
2797
<place>State_5_0</place>
2798
<place>State_3_5</place>
2799
<place>State_2_5</place>
2800
<place>State_2_2</place>
2801
<place>State_4_5</place>
2802
<place>State_0_1</place>
2803
<place>State_1_2</place>
2804
<place>State_3_4</place>
2805
<place>State_1_1</place>
2806
<place>State_2_3</place>
2807
<place>State_2_4</place>
2808
<place>State_0_2</place>
2809
<place>State_5_5</place>
2810
<place>State_3_3</place>
2811
<place>State_0_3</place>
2812
<place>State_5_1</place>
2813
<place>State_5_4</place>
2814
<place>State_2_1</place>
2815
<place>State_1_0</place>
2816
<place>State_0_0</place>
2819
<place>State_3_1</place>
2820
<place>State_1_3</place>
2821
<place>State_4_4</place>
2822
<place>State_5_2</place>
2823
<place>State_3_0</place>
2824
<place>State_0_4</place>
2825
<place>State_4_1</place>
2826
<place>State_1_5</place>
2827
<place>State_4_2</place>
2828
<place>State_0_5</place>
2829
<place>State_2_0</place>
2830
<place>State_1_4</place>
2831
<place>State_3_2</place>
2832
<place>State_4_3</place>
2833
<place>State_4_0</place>
2834
<place>State_5_3</place>
2835
<place>State_5_0</place>
2836
<place>State_3_5</place>
2837
<place>State_2_5</place>
2838
<place>State_2_2</place>
2839
<place>State_4_5</place>
2840
<place>State_0_1</place>
2841
<place>State_1_2</place>
2842
<place>State_3_4</place>
2843
<place>State_1_1</place>
2844
<place>State_2_3</place>
2845
<place>State_2_4</place>
2846
<place>State_0_2</place>
2847
<place>State_5_5</place>
2848
<place>State_3_3</place>
2849
<place>State_0_3</place>
2850
<place>State_5_1</place>
2851
<place>State_5_4</place>
2852
<place>State_2_1</place>
2853
<place>State_1_0</place>
2854
<place>State_0_0</place>
2864
<place>State_3_1</place>
2865
<place>State_1_3</place>
2866
<place>State_4_4</place>
2867
<place>State_5_2</place>
2868
<place>State_3_0</place>
2869
<place>State_0_4</place>
2870
<place>State_4_1</place>
2871
<place>State_1_5</place>
2872
<place>State_4_2</place>
2873
<place>State_0_5</place>
2874
<place>State_2_0</place>
2875
<place>State_1_4</place>
2876
<place>State_3_2</place>
2877
<place>State_4_3</place>
2878
<place>State_4_0</place>
2879
<place>State_5_3</place>
2880
<place>State_5_0</place>
2881
<place>State_3_5</place>
2882
<place>State_2_5</place>
2883
<place>State_2_2</place>
2884
<place>State_4_5</place>
2885
<place>State_0_1</place>
2886
<place>State_1_2</place>
2887
<place>State_3_4</place>
2888
<place>State_1_1</place>
2889
<place>State_2_3</place>
2890
<place>State_2_4</place>
2891
<place>State_0_2</place>
2892
<place>State_5_5</place>
2893
<place>State_3_3</place>
2894
<place>State_0_3</place>
2895
<place>State_5_1</place>
2896
<place>State_5_4</place>
2897
<place>State_2_1</place>
2898
<place>State_1_0</place>
2899
<place>State_0_0</place>
2902
<place>State_3_1</place>
2903
<place>State_1_3</place>
2904
<place>State_4_4</place>
2905
<place>State_5_2</place>
2906
<place>State_3_0</place>
2907
<place>State_0_4</place>
2908
<place>State_4_1</place>
2909
<place>State_1_5</place>
2910
<place>State_4_2</place>
2911
<place>State_0_5</place>
2912
<place>State_2_0</place>
2913
<place>State_1_4</place>
2914
<place>State_3_2</place>
2915
<place>State_4_3</place>
2916
<place>State_4_0</place>
2917
<place>State_5_3</place>
2918
<place>State_5_0</place>
2919
<place>State_3_5</place>
2920
<place>State_2_5</place>
2921
<place>State_2_2</place>
2922
<place>State_4_5</place>
2923
<place>State_0_1</place>
2924
<place>State_1_2</place>
2925
<place>State_3_4</place>
2926
<place>State_1_1</place>
2927
<place>State_2_3</place>
2928
<place>State_2_4</place>
2929
<place>State_0_2</place>
2930
<place>State_5_5</place>
2931
<place>State_3_3</place>
2932
<place>State_0_3</place>
2933
<place>State_5_1</place>
2934
<place>State_5_4</place>
2935
<place>State_2_1</place>
2936
<place>State_1_0</place>
2937
<place>State_0_0</place>
2944
<integer-constant>3</integer-constant>
2946
<place>State_3_1</place>
2947
<place>State_1_3</place>
2948
<place>State_4_4</place>
2949
<place>State_5_2</place>
2950
<place>State_3_0</place>
2951
<place>State_0_4</place>
2952
<place>State_4_1</place>
2953
<place>State_1_5</place>
2954
<place>State_4_2</place>
2955
<place>State_0_5</place>
2956
<place>State_2_0</place>
2957
<place>State_1_4</place>
2958
<place>State_3_2</place>
2959
<place>State_4_3</place>
2960
<place>State_4_0</place>
2961
<place>State_5_3</place>
2962
<place>State_5_0</place>
2963
<place>State_3_5</place>
2964
<place>State_2_5</place>
2965
<place>State_2_2</place>
2966
<place>State_4_5</place>
2967
<place>State_0_1</place>
2968
<place>State_1_2</place>
2969
<place>State_3_4</place>
2970
<place>State_1_1</place>
2971
<place>State_2_3</place>
2972
<place>State_2_4</place>
2973
<place>State_0_2</place>
2974
<place>State_5_5</place>
2975
<place>State_3_3</place>
2976
<place>State_0_3</place>
2977
<place>State_5_1</place>
2978
<place>State_5_4</place>
2979
<place>State_2_1</place>
2980
<place>State_1_0</place>
2981
<place>State_0_0</place>
2986
<place>State_3_1</place>
2987
<place>State_1_3</place>
2988
<place>State_4_4</place>
2989
<place>State_5_2</place>
2990
<place>State_3_0</place>
2991
<place>State_0_4</place>
2992
<place>State_4_1</place>
2993
<place>State_1_5</place>
2994
<place>State_4_2</place>
2995
<place>State_0_5</place>
2996
<place>State_2_0</place>
2997
<place>State_1_4</place>
2998
<place>State_3_2</place>
2999
<place>State_4_3</place>
3000
<place>State_4_0</place>
3001
<place>State_5_3</place>
3002
<place>State_5_0</place>
3003
<place>State_3_5</place>
3004
<place>State_2_5</place>
3005
<place>State_2_2</place>
3006
<place>State_4_5</place>
3007
<place>State_0_1</place>
3008
<place>State_1_2</place>
3009
<place>State_3_4</place>
3010
<place>State_1_1</place>
3011
<place>State_2_3</place>
3012
<place>State_2_4</place>
3013
<place>State_0_2</place>
3014
<place>State_5_5</place>
3015
<place>State_3_3</place>
3016
<place>State_0_3</place>
3017
<place>State_5_1</place>
3018
<place>State_5_4</place>
3019
<place>State_2_1</place>
3020
<place>State_1_0</place>
3021
<place>State_0_0</place>
3024
<place>State_3_1</place>
3025
<place>State_1_3</place>
3026
<place>State_4_4</place>
3027
<place>State_5_2</place>
3028
<place>State_3_0</place>
3029
<place>State_0_4</place>
3030
<place>State_4_1</place>
3031
<place>State_1_5</place>
3032
<place>State_4_2</place>
3033
<place>State_0_5</place>
3034
<place>State_2_0</place>
3035
<place>State_1_4</place>
3036
<place>State_3_2</place>
3037
<place>State_4_3</place>
3038
<place>State_4_0</place>
3039
<place>State_5_3</place>
3040
<place>State_5_0</place>
3041
<place>State_3_5</place>
3042
<place>State_2_5</place>
3043
<place>State_2_2</place>
3044
<place>State_4_5</place>
3045
<place>State_0_1</place>
3046
<place>State_1_2</place>
3047
<place>State_3_4</place>
3048
<place>State_1_1</place>
3049
<place>State_2_3</place>
3050
<place>State_2_4</place>
3051
<place>State_0_2</place>
3052
<place>State_5_5</place>
3053
<place>State_3_3</place>
3054
<place>State_0_3</place>
3055
<place>State_5_1</place>
3056
<place>State_5_4</place>
3057
<place>State_2_1</place>
3058
<place>State_1_0</place>
3059
<place>State_0_0</place>
3070
<id>TokenRing-COL-005-CTLCardinality-14</id>
3071
<description>Automatically generated</description>
3080
<place>State_3_1</place>
3081
<place>State_1_3</place>
3082
<place>State_4_4</place>
3083
<place>State_5_2</place>
3084
<place>State_3_0</place>
3085
<place>State_0_4</place>
3086
<place>State_4_1</place>
3087
<place>State_1_5</place>
3088
<place>State_4_2</place>
3089
<place>State_0_5</place>
3090
<place>State_2_0</place>
3091
<place>State_1_4</place>
3092
<place>State_3_2</place>
3093
<place>State_4_3</place>
3094
<place>State_4_0</place>
3095
<place>State_5_3</place>
3096
<place>State_5_0</place>
3097
<place>State_3_5</place>
3098
<place>State_2_5</place>
3099
<place>State_2_2</place>
3100
<place>State_4_5</place>
3101
<place>State_0_1</place>
3102
<place>State_1_2</place>
3103
<place>State_3_4</place>
3104
<place>State_1_1</place>
3105
<place>State_2_3</place>
3106
<place>State_2_4</place>
3107
<place>State_0_2</place>
3108
<place>State_5_5</place>
3109
<place>State_3_3</place>
3110
<place>State_0_3</place>
3111
<place>State_5_1</place>
3112
<place>State_5_4</place>
3113
<place>State_2_1</place>
3114
<place>State_1_0</place>
3115
<place>State_0_0</place>
3118
<place>State_3_1</place>
3119
<place>State_1_3</place>
3120
<place>State_4_4</place>
3121
<place>State_5_2</place>
3122
<place>State_3_0</place>
3123
<place>State_0_4</place>
3124
<place>State_4_1</place>
3125
<place>State_1_5</place>
3126
<place>State_4_2</place>
3127
<place>State_0_5</place>
3128
<place>State_2_0</place>
3129
<place>State_1_4</place>
3130
<place>State_3_2</place>
3131
<place>State_4_3</place>
3132
<place>State_4_0</place>
3133
<place>State_5_3</place>
3134
<place>State_5_0</place>
3135
<place>State_3_5</place>
3136
<place>State_2_5</place>
3137
<place>State_2_2</place>
3138
<place>State_4_5</place>
3139
<place>State_0_1</place>
3140
<place>State_1_2</place>
3141
<place>State_3_4</place>
3142
<place>State_1_1</place>
3143
<place>State_2_3</place>
3144
<place>State_2_4</place>
3145
<place>State_0_2</place>
3146
<place>State_5_5</place>
3147
<place>State_3_3</place>
3148
<place>State_0_3</place>
3149
<place>State_5_1</place>
3150
<place>State_5_4</place>
3151
<place>State_2_1</place>
3152
<place>State_1_0</place>
3153
<place>State_0_0</place>
3160
<place>State_3_1</place>
3161
<place>State_1_3</place>
3162
<place>State_4_4</place>
3163
<place>State_5_2</place>
3164
<place>State_3_0</place>
3165
<place>State_0_4</place>
3166
<place>State_4_1</place>
3167
<place>State_1_5</place>
3168
<place>State_4_2</place>
3169
<place>State_0_5</place>
3170
<place>State_2_0</place>
3171
<place>State_1_4</place>
3172
<place>State_3_2</place>
3173
<place>State_4_3</place>
3174
<place>State_4_0</place>
3175
<place>State_5_3</place>
3176
<place>State_5_0</place>
3177
<place>State_3_5</place>
3178
<place>State_2_5</place>
3179
<place>State_2_2</place>
3180
<place>State_4_5</place>
3181
<place>State_0_1</place>
3182
<place>State_1_2</place>
3183
<place>State_3_4</place>
3184
<place>State_1_1</place>
3185
<place>State_2_3</place>
3186
<place>State_2_4</place>
3187
<place>State_0_2</place>
3188
<place>State_5_5</place>
3189
<place>State_3_3</place>
3190
<place>State_0_3</place>
3191
<place>State_5_1</place>
3192
<place>State_5_4</place>
3193
<place>State_2_1</place>
3194
<place>State_1_0</place>
3195
<place>State_0_0</place>
3198
<place>State_3_1</place>
3199
<place>State_1_3</place>
3200
<place>State_4_4</place>
3201
<place>State_5_2</place>
3202
<place>State_3_0</place>
3203
<place>State_0_4</place>
3204
<place>State_4_1</place>
3205
<place>State_1_5</place>
3206
<place>State_4_2</place>
3207
<place>State_0_5</place>
3208
<place>State_2_0</place>
3209
<place>State_1_4</place>
3210
<place>State_3_2</place>
3211
<place>State_4_3</place>
3212
<place>State_4_0</place>
3213
<place>State_5_3</place>
3214
<place>State_5_0</place>
3215
<place>State_3_5</place>
3216
<place>State_2_5</place>
3217
<place>State_2_2</place>
3218
<place>State_4_5</place>
3219
<place>State_0_1</place>
3220
<place>State_1_2</place>
3221
<place>State_3_4</place>
3222
<place>State_1_1</place>
3223
<place>State_2_3</place>
3224
<place>State_2_4</place>
3225
<place>State_0_2</place>
3226
<place>State_5_5</place>
3227
<place>State_3_3</place>
3228
<place>State_0_3</place>
3229
<place>State_5_1</place>
3230
<place>State_5_4</place>
3231
<place>State_2_1</place>
3232
<place>State_1_0</place>
3233
<place>State_0_0</place>
3244
<id>TokenRing-COL-005-CTLCardinality-15</id>
3245
<description>Automatically generated</description>
3254
<place>State_3_1</place>
3255
<place>State_1_3</place>
3256
<place>State_4_4</place>
3257
<place>State_5_2</place>
3258
<place>State_3_0</place>
3259
<place>State_0_4</place>
3260
<place>State_4_1</place>
3261
<place>State_1_5</place>
3262
<place>State_4_2</place>
3263
<place>State_0_5</place>
3264
<place>State_2_0</place>
3265
<place>State_1_4</place>
3266
<place>State_3_2</place>
3267
<place>State_4_3</place>
3268
<place>State_4_0</place>
3269
<place>State_5_3</place>
3270
<place>State_5_0</place>
3271
<place>State_3_5</place>
3272
<place>State_2_5</place>
3273
<place>State_2_2</place>
3274
<place>State_4_5</place>
3275
<place>State_0_1</place>
3276
<place>State_1_2</place>
3277
<place>State_3_4</place>
3278
<place>State_1_1</place>
3279
<place>State_2_3</place>
3280
<place>State_2_4</place>
3281
<place>State_0_2</place>
3282
<place>State_5_5</place>
3283
<place>State_3_3</place>
3284
<place>State_0_3</place>
3285
<place>State_5_1</place>
3286
<place>State_5_4</place>
3287
<place>State_2_1</place>
3288
<place>State_1_0</place>
3289
<place>State_0_0</place>
3292
<place>State_3_1</place>
3293
<place>State_1_3</place>
3294
<place>State_4_4</place>
3295
<place>State_5_2</place>
3296
<place>State_3_0</place>
3297
<place>State_0_4</place>
3298
<place>State_4_1</place>
3299
<place>State_1_5</place>
3300
<place>State_4_2</place>
3301
<place>State_0_5</place>
3302
<place>State_2_0</place>
3303
<place>State_1_4</place>
3304
<place>State_3_2</place>
3305
<place>State_4_3</place>
3306
<place>State_4_0</place>
3307
<place>State_5_3</place>
3308
<place>State_5_0</place>
3309
<place>State_3_5</place>
3310
<place>State_2_5</place>
3311
<place>State_2_2</place>
3312
<place>State_4_5</place>
3313
<place>State_0_1</place>
3314
<place>State_1_2</place>
3315
<place>State_3_4</place>
3316
<place>State_1_1</place>
3317
<place>State_2_3</place>
3318
<place>State_2_4</place>
3319
<place>State_0_2</place>
3320
<place>State_5_5</place>
3321
<place>State_3_3</place>
3322
<place>State_0_3</place>
3323
<place>State_5_1</place>
3324
<place>State_5_4</place>
3325
<place>State_2_1</place>
3326
<place>State_1_0</place>
3327
<place>State_0_0</place>
3332
<place>State_3_1</place>
3333
<place>State_1_3</place>
3334
<place>State_4_4</place>
3335
<place>State_5_2</place>
3336
<place>State_3_0</place>
3337
<place>State_0_4</place>
3338
<place>State_4_1</place>
3339
<place>State_1_5</place>
3340
<place>State_4_2</place>
3341
<place>State_0_5</place>
3342
<place>State_2_0</place>
3343
<place>State_1_4</place>
3344
<place>State_3_2</place>
3345
<place>State_4_3</place>
3346
<place>State_4_0</place>
3347
<place>State_5_3</place>
3348
<place>State_5_0</place>
3349
<place>State_3_5</place>
3350
<place>State_2_5</place>
3351
<place>State_2_2</place>
3352
<place>State_4_5</place>
3353
<place>State_0_1</place>
3354
<place>State_1_2</place>
3355
<place>State_3_4</place>
3356
<place>State_1_1</place>
3357
<place>State_2_3</place>
3358
<place>State_2_4</place>
3359
<place>State_0_2</place>
3360
<place>State_5_5</place>
3361
<place>State_3_3</place>
3362
<place>State_0_3</place>
3363
<place>State_5_1</place>
3364
<place>State_5_4</place>
3365
<place>State_2_1</place>
3366
<place>State_1_0</place>
3367
<place>State_0_0</place>
3370
<place>State_3_1</place>
3371
<place>State_1_3</place>
3372
<place>State_4_4</place>
3373
<place>State_5_2</place>
3374
<place>State_3_0</place>
3375
<place>State_0_4</place>
3376
<place>State_4_1</place>
3377
<place>State_1_5</place>
3378
<place>State_4_2</place>
3379
<place>State_0_5</place>
3380
<place>State_2_0</place>
3381
<place>State_1_4</place>
3382
<place>State_3_2</place>
3383
<place>State_4_3</place>
3384
<place>State_4_0</place>
3385
<place>State_5_3</place>
3386
<place>State_5_0</place>
3387
<place>State_3_5</place>
3388
<place>State_2_5</place>
3389
<place>State_2_2</place>
3390
<place>State_4_5</place>
3391
<place>State_0_1</place>
3392
<place>State_1_2</place>
3393
<place>State_3_4</place>
3394
<place>State_1_1</place>
3395
<place>State_2_3</place>
3396
<place>State_2_4</place>
3397
<place>State_0_2</place>
3398
<place>State_5_5</place>
3399
<place>State_3_3</place>
3400
<place>State_0_3</place>
3401
<place>State_5_1</place>
3402
<place>State_5_4</place>
3403
<place>State_2_1</place>
3404
<place>State_1_0</place>
3405
<place>State_0_0</place>
3415
<integer-constant>1</integer-constant>
3417
<place>State_3_1</place>
3418
<place>State_1_3</place>
3419
<place>State_4_4</place>
3420
<place>State_5_2</place>
3421
<place>State_3_0</place>
3422
<place>State_0_4</place>
3423
<place>State_4_1</place>
3424
<place>State_1_5</place>
3425
<place>State_4_2</place>
3426
<place>State_0_5</place>
3427
<place>State_2_0</place>
3428
<place>State_1_4</place>
3429
<place>State_3_2</place>
3430
<place>State_4_3</place>
3431
<place>State_4_0</place>
3432
<place>State_5_3</place>
3433
<place>State_5_0</place>
3434
<place>State_3_5</place>
3435
<place>State_2_5</place>
3436
<place>State_2_2</place>
3437
<place>State_4_5</place>
3438
<place>State_0_1</place>
3439
<place>State_1_2</place>
3440
<place>State_3_4</place>
3441
<place>State_1_1</place>
3442
<place>State_2_3</place>
3443
<place>State_2_4</place>
3444
<place>State_0_2</place>
3445
<place>State_5_5</place>
3446
<place>State_3_3</place>
3447
<place>State_0_3</place>
3448
<place>State_5_1</place>
3449
<place>State_5_4</place>
3450
<place>State_2_1</place>
3451
<place>State_1_0</place>
3452
<place>State_0_0</place>
3457
<place>State_3_1</place>
3458
<place>State_1_3</place>
3459
<place>State_4_4</place>
3460
<place>State_5_2</place>
3461
<place>State_3_0</place>
3462
<place>State_0_4</place>
3463
<place>State_4_1</place>
3464
<place>State_1_5</place>
3465
<place>State_4_2</place>
3466
<place>State_0_5</place>
3467
<place>State_2_0</place>
3468
<place>State_1_4</place>
3469
<place>State_3_2</place>
3470
<place>State_4_3</place>
3471
<place>State_4_0</place>
3472
<place>State_5_3</place>
3473
<place>State_5_0</place>
3474
<place>State_3_5</place>
3475
<place>State_2_5</place>
3476
<place>State_2_2</place>
3477
<place>State_4_5</place>
3478
<place>State_0_1</place>
3479
<place>State_1_2</place>
3480
<place>State_3_4</place>
3481
<place>State_1_1</place>
3482
<place>State_2_3</place>
3483
<place>State_2_4</place>
3484
<place>State_0_2</place>
3485
<place>State_5_5</place>
3486
<place>State_3_3</place>
3487
<place>State_0_3</place>
3488
<place>State_5_1</place>
3489
<place>State_5_4</place>
3490
<place>State_2_1</place>
3491
<place>State_1_0</place>
3492
<place>State_0_0</place>
3495
<place>State_3_1</place>
3496
<place>State_1_3</place>
3497
<place>State_4_4</place>
3498
<place>State_5_2</place>
3499
<place>State_3_0</place>
3500
<place>State_0_4</place>
3501
<place>State_4_1</place>
3502
<place>State_1_5</place>
3503
<place>State_4_2</place>
3504
<place>State_0_5</place>
3505
<place>State_2_0</place>
3506
<place>State_1_4</place>
3507
<place>State_3_2</place>
3508
<place>State_4_3</place>
3509
<place>State_4_0</place>
3510
<place>State_5_3</place>
3511
<place>State_5_0</place>
3512
<place>State_3_5</place>
3513
<place>State_2_5</place>
3514
<place>State_2_2</place>
3515
<place>State_4_5</place>
3516
<place>State_0_1</place>
3517
<place>State_1_2</place>
3518
<place>State_3_4</place>
3519
<place>State_1_1</place>
3520
<place>State_2_3</place>
3521
<place>State_2_4</place>
3522
<place>State_0_2</place>
3523
<place>State_5_5</place>
3524
<place>State_3_3</place>
3525
<place>State_0_3</place>
3526
<place>State_5_1</place>
3527
<place>State_5_4</place>
3528
<place>State_2_1</place>
3529
<place>State_1_0</place>
3530
<place>State_0_0</place>
3535
<integer-constant>3</integer-constant>
3537
<place>State_3_1</place>
3538
<place>State_1_3</place>
3539
<place>State_4_4</place>
3540
<place>State_5_2</place>
3541
<place>State_3_0</place>
3542
<place>State_0_4</place>
3543
<place>State_4_1</place>
3544
<place>State_1_5</place>
3545
<place>State_4_2</place>
3546
<place>State_0_5</place>
3547
<place>State_2_0</place>
3548
<place>State_1_4</place>
3549
<place>State_3_2</place>
3550
<place>State_4_3</place>
3551
<place>State_4_0</place>
3552
<place>State_5_3</place>
3553
<place>State_5_0</place>
3554
<place>State_3_5</place>
3555
<place>State_2_5</place>
3556
<place>State_2_2</place>
3557
<place>State_4_5</place>
3558
<place>State_0_1</place>
3559
<place>State_1_2</place>
3560
<place>State_3_4</place>
3561
<place>State_1_1</place>
3562
<place>State_2_3</place>
3563
<place>State_2_4</place>
3564
<place>State_0_2</place>
3565
<place>State_5_5</place>
3566
<place>State_3_3</place>
3567
<place>State_0_3</place>
3568
<place>State_5_1</place>
3569
<place>State_5_4</place>
3570
<place>State_2_1</place>
3571
<place>State_1_0</place>
3572
<place>State_0_0</place>