1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>FMS2-untimed.TRUE-1</id>
6
<description>FMS2-untimed.TRUE-1</description>
15
<integer-constant>0</integer-constant>
21
<integer-constant>1</integer-constant>
27
<integer-constant>0</integer-constant>
33
<integer-constant>1</integer-constant>
39
<integer-constant>0</integer-constant>
45
<integer-constant>0</integer-constant>
51
<integer-constant>0</integer-constant>
57
<integer-constant>2</integer-constant>
63
<integer-constant>0</integer-constant>
69
<integer-constant>0</integer-constant>
75
<integer-constant>1</integer-constant>
81
<integer-constant>0</integer-constant>
87
<integer-constant>3</integer-constant>
93
<integer-constant>0</integer-constant>
99
<integer-constant>0</integer-constant>
105
<integer-constant>1</integer-constant>
111
<integer-constant>1</integer-constant>
117
<integer-constant>0</integer-constant>
123
<integer-constant>1</integer-constant>
129
<integer-constant>0</integer-constant>
135
<integer-constant>0</integer-constant>
141
<integer-constant>0</integer-constant>
149
<id>FMS2-untimed.TRUE-2</id>
150
<description>FMS2-untimed.TRUE-2</description>
159
<integer-constant>0</integer-constant>
165
<integer-constant>0</integer-constant>
169
<place>P12wM3</place>
171
<integer-constant>0</integer-constant>
177
<integer-constant>1</integer-constant>
183
<integer-constant>0</integer-constant>
189
<integer-constant>0</integer-constant>
195
<integer-constant>0</integer-constant>
201
<integer-constant>2</integer-constant>
207
<integer-constant>0</integer-constant>
213
<integer-constant>0</integer-constant>
219
<integer-constant>0</integer-constant>
225
<integer-constant>0</integer-constant>
231
<integer-constant>3</integer-constant>
237
<integer-constant>0</integer-constant>
243
<integer-constant>0</integer-constant>
249
<integer-constant>1</integer-constant>
255
<integer-constant>2</integer-constant>
261
<integer-constant>0</integer-constant>
267
<integer-constant>1</integer-constant>
273
<integer-constant>0</integer-constant>
279
<integer-constant>1</integer-constant>
285
<integer-constant>0</integer-constant>
293
<id>FMS2-untimed.TRUE-3</id>
294
<description>FMS2-untimed.TRUE-3</description>
303
<integer-constant>0</integer-constant>
309
<integer-constant>1</integer-constant>
313
<place>P12wM3</place>
315
<integer-constant>1</integer-constant>
321
<integer-constant>2</integer-constant>
327
<integer-constant>0</integer-constant>
333
<integer-constant>0</integer-constant>
339
<integer-constant>0</integer-constant>
345
<integer-constant>2</integer-constant>
351
<integer-constant>0</integer-constant>
357
<integer-constant>0</integer-constant>
363
<integer-constant>0</integer-constant>
369
<integer-constant>0</integer-constant>
375
<integer-constant>3</integer-constant>
381
<integer-constant>0</integer-constant>
387
<integer-constant>0</integer-constant>
393
<integer-constant>0</integer-constant>
399
<integer-constant>0</integer-constant>
405
<integer-constant>0</integer-constant>
411
<integer-constant>1</integer-constant>
417
<integer-constant>0</integer-constant>
423
<integer-constant>0</integer-constant>
429
<integer-constant>0</integer-constant>
437
<id>FMS2-untimed.TRUE-4</id>
438
<description>FMS2-untimed.TRUE-4</description>
447
<integer-constant>0</integer-constant>
453
<integer-constant>0</integer-constant>
457
<place>P12wM3</place>
459
<integer-constant>0</integer-constant>
465
<integer-constant>1</integer-constant>
471
<integer-constant>0</integer-constant>
477
<integer-constant>0</integer-constant>
483
<integer-constant>1</integer-constant>
489
<integer-constant>2</integer-constant>
495
<integer-constant>1</integer-constant>
501
<integer-constant>1</integer-constant>
507
<integer-constant>0</integer-constant>
513
<integer-constant>0</integer-constant>
519
<integer-constant>3</integer-constant>
525
<integer-constant>1</integer-constant>
531
<integer-constant>1</integer-constant>
537
<integer-constant>0</integer-constant>
543
<integer-constant>0</integer-constant>
549
<integer-constant>0</integer-constant>
555
<integer-constant>0</integer-constant>
561
<integer-constant>0</integer-constant>
567
<integer-constant>1</integer-constant>
573
<integer-constant>0</integer-constant>
581
<id>FMS2-untimed.TRUE-5</id>
582
<description>FMS2-untimed.TRUE-5</description>
591
<integer-constant>0</integer-constant>
597
<integer-constant>0</integer-constant>
601
<place>P12wM3</place>
603
<integer-constant>0</integer-constant>
609
<integer-constant>0</integer-constant>
615
<integer-constant>0</integer-constant>
621
<integer-constant>0</integer-constant>
627
<integer-constant>0</integer-constant>
633
<integer-constant>1</integer-constant>
639
<integer-constant>0</integer-constant>
645
<integer-constant>1</integer-constant>
651
<integer-constant>1</integer-constant>
657
<integer-constant>1</integer-constant>
663
<integer-constant>3</integer-constant>
669
<integer-constant>0</integer-constant>
675
<integer-constant>0</integer-constant>
681
<integer-constant>0</integer-constant>
687
<integer-constant>1</integer-constant>
693
<integer-constant>0</integer-constant>
699
<integer-constant>0</integer-constant>
705
<integer-constant>0</integer-constant>
711
<integer-constant>1</integer-constant>
717
<integer-constant>1</integer-constant>
725
<id>FMS2-untimed.TRUE-6</id>
726
<description>FMS2-untimed.TRUE-6</description>
735
<integer-constant>1</integer-constant>
741
<integer-constant>0</integer-constant>
745
<place>P12wM3</place>
747
<integer-constant>0</integer-constant>
753
<integer-constant>0</integer-constant>
759
<integer-constant>0</integer-constant>
765
<integer-constant>1</integer-constant>
771
<integer-constant>0</integer-constant>
777
<integer-constant>2</integer-constant>
783
<integer-constant>0</integer-constant>
789
<integer-constant>1</integer-constant>
795
<integer-constant>1</integer-constant>
801
<integer-constant>0</integer-constant>
807
<integer-constant>3</integer-constant>
813
<integer-constant>0</integer-constant>
819
<integer-constant>0</integer-constant>
825
<integer-constant>0</integer-constant>
831
<integer-constant>0</integer-constant>
837
<integer-constant>0</integer-constant>
843
<integer-constant>0</integer-constant>
849
<integer-constant>1</integer-constant>
855
<integer-constant>1</integer-constant>
861
<integer-constant>0</integer-constant>
869
<id>FMS2-untimed.TRUE-7</id>
870
<description>FMS2-untimed.TRUE-7</description>
879
<integer-constant>0</integer-constant>
885
<integer-constant>1</integer-constant>
889
<place>P12wM3</place>
891
<integer-constant>0</integer-constant>
897
<integer-constant>0</integer-constant>
903
<integer-constant>0</integer-constant>
909
<integer-constant>0</integer-constant>
915
<integer-constant>0</integer-constant>
921
<integer-constant>2</integer-constant>
927
<integer-constant>1</integer-constant>
933
<integer-constant>0</integer-constant>
939
<integer-constant>2</integer-constant>
945
<integer-constant>1</integer-constant>
951
<integer-constant>3</integer-constant>
957
<integer-constant>0</integer-constant>
963
<integer-constant>0</integer-constant>
969
<integer-constant>0</integer-constant>
975
<integer-constant>0</integer-constant>
981
<integer-constant>0</integer-constant>
987
<integer-constant>1</integer-constant>
993
<integer-constant>0</integer-constant>
999
<integer-constant>0</integer-constant>
1003
<place>P12M3</place>
1005
<integer-constant>0</integer-constant>
1013
<id>FMS2-untimed.TRUE-8</id>
1014
<description>FMS2-untimed.TRUE-8</description>
1023
<integer-constant>0</integer-constant>
1027
<place>P1wP2</place>
1029
<integer-constant>0</integer-constant>
1033
<place>P12wM3</place>
1035
<integer-constant>0</integer-constant>
1041
<integer-constant>1</integer-constant>
1047
<integer-constant>0</integer-constant>
1053
<integer-constant>1</integer-constant>
1059
<integer-constant>0</integer-constant>
1065
<integer-constant>2</integer-constant>
1071
<integer-constant>0</integer-constant>
1077
<integer-constant>1</integer-constant>
1083
<integer-constant>1</integer-constant>
1089
<integer-constant>0</integer-constant>
1095
<integer-constant>2</integer-constant>
1099
<place>P2wM2</place>
1101
<integer-constant>1</integer-constant>
1107
<integer-constant>0</integer-constant>
1111
<place>P2wP1</place>
1113
<integer-constant>0</integer-constant>
1117
<place>P1wM1</place>
1119
<integer-constant>1</integer-constant>
1125
<integer-constant>1</integer-constant>
1131
<integer-constant>0</integer-constant>
1137
<integer-constant>0</integer-constant>
1143
<integer-constant>0</integer-constant>
1147
<place>P12M3</place>
1149
<integer-constant>0</integer-constant>
1157
<id>FMS2-untimed.TRUE-9</id>
1158
<description>FMS2-untimed.TRUE-9</description>
1167
<integer-constant>0</integer-constant>
1171
<place>P1wP2</place>
1173
<integer-constant>1</integer-constant>
1177
<place>P12wM3</place>
1179
<integer-constant>0</integer-constant>
1185
<integer-constant>1</integer-constant>
1191
<integer-constant>0</integer-constant>
1197
<integer-constant>1</integer-constant>
1203
<integer-constant>0</integer-constant>
1209
<integer-constant>2</integer-constant>
1215
<integer-constant>0</integer-constant>
1221
<integer-constant>1</integer-constant>
1227
<integer-constant>0</integer-constant>
1233
<integer-constant>0</integer-constant>
1239
<integer-constant>3</integer-constant>
1243
<place>P2wM2</place>
1245
<integer-constant>0</integer-constant>
1251
<integer-constant>1</integer-constant>
1255
<place>P2wP1</place>
1257
<integer-constant>0</integer-constant>
1261
<place>P1wM1</place>
1263
<integer-constant>0</integer-constant>
1269
<integer-constant>0</integer-constant>
1275
<integer-constant>0</integer-constant>
1281
<integer-constant>1</integer-constant>
1287
<integer-constant>1</integer-constant>
1291
<place>P12M3</place>
1293
<integer-constant>0</integer-constant>
1301
<id>FMS2-untimed.TRUE-10</id>
1302
<description>FMS2-untimed.TRUE-10</description>
1311
<integer-constant>0</integer-constant>
1315
<place>P1wP2</place>
1317
<integer-constant>0</integer-constant>
1321
<place>P12wM3</place>
1323
<integer-constant>0</integer-constant>
1329
<integer-constant>1</integer-constant>
1335
<integer-constant>0</integer-constant>
1341
<integer-constant>0</integer-constant>
1347
<integer-constant>1</integer-constant>
1353
<integer-constant>2</integer-constant>
1359
<integer-constant>1</integer-constant>
1365
<integer-constant>1</integer-constant>
1371
<integer-constant>0</integer-constant>
1377
<integer-constant>0</integer-constant>
1383
<integer-constant>3</integer-constant>
1387
<place>P2wM2</place>
1389
<integer-constant>1</integer-constant>
1395
<integer-constant>0</integer-constant>
1399
<place>P2wP1</place>
1401
<integer-constant>1</integer-constant>
1405
<place>P1wM1</place>
1407
<integer-constant>0</integer-constant>
1413
<integer-constant>0</integer-constant>
1419
<integer-constant>0</integer-constant>
1425
<integer-constant>0</integer-constant>
1431
<integer-constant>1</integer-constant>
1435
<place>P12M3</place>
1437
<integer-constant>0</integer-constant>
1445
<id>FMS2-untimed.FALSE-11</id>
1446
<description>FMS2-untimed.FALSE-11</description>
1456
<integer-constant>0</integer-constant>
1461
<place>P1wP2</place>
1463
<integer-constant>0</integer-constant>
1467
<place>P12wM3</place>
1469
<integer-constant>0</integer-constant>
1475
<integer-constant>0</integer-constant>
1481
<integer-constant>0</integer-constant>
1487
<integer-constant>1</integer-constant>
1493
<integer-constant>0</integer-constant>
1499
<integer-constant>2</integer-constant>
1505
<integer-constant>0</integer-constant>
1511
<integer-constant>1</integer-constant>
1517
<integer-constant>1</integer-constant>
1523
<integer-constant>1</integer-constant>
1529
<integer-constant>3</integer-constant>
1533
<place>P2wM2</place>
1535
<integer-constant>0</integer-constant>
1541
<integer-constant>0</integer-constant>
1545
<place>P2wP1</place>
1547
<integer-constant>0</integer-constant>
1551
<place>P1wM1</place>
1553
<integer-constant>2</integer-constant>
1559
<integer-constant>0</integer-constant>
1565
<integer-constant>0</integer-constant>
1571
<integer-constant>0</integer-constant>
1577
<integer-constant>1</integer-constant>
1581
<place>P12M3</place>
1583
<integer-constant>0</integer-constant>
1591
<id>FMS2-untimed.FALSE-12</id>
1592
<description>FMS2-untimed.FALSE-12</description>
1602
<integer-constant>0</integer-constant>
1607
<place>P1wP2</place>
1609
<integer-constant>1</integer-constant>
1613
<place>P12wM3</place>
1615
<integer-constant>1</integer-constant>
1621
<integer-constant>1</integer-constant>
1627
<integer-constant>0</integer-constant>
1633
<integer-constant>0</integer-constant>
1639
<integer-constant>0</integer-constant>
1645
<integer-constant>2</integer-constant>
1651
<integer-constant>0</integer-constant>
1657
<integer-constant>0</integer-constant>
1663
<integer-constant>1</integer-constant>
1669
<integer-constant>0</integer-constant>
1675
<integer-constant>3</integer-constant>
1679
<place>P2wM2</place>
1681
<integer-constant>0</integer-constant>
1687
<integer-constant>0</integer-constant>
1691
<place>P2wP1</place>
1693
<integer-constant>0</integer-constant>
1697
<place>P1wM1</place>
1699
<integer-constant>0</integer-constant>
1705
<integer-constant>0</integer-constant>
1711
<integer-constant>1</integer-constant>
1717
<integer-constant>0</integer-constant>
1723
<integer-constant>0</integer-constant>
1727
<place>P12M3</place>
1729
<integer-constant>0</integer-constant>
1737
<id>FMS2-untimed.FALSE-13</id>
1738
<description>FMS2-untimed.FALSE-13</description>
1748
<integer-constant>0</integer-constant>
1753
<place>P1wP2</place>
1755
<integer-constant>0</integer-constant>
1759
<place>P12wM3</place>
1761
<integer-constant>0</integer-constant>
1767
<integer-constant>2</integer-constant>
1773
<integer-constant>1</integer-constant>
1779
<integer-constant>0</integer-constant>
1785
<integer-constant>0</integer-constant>
1791
<integer-constant>2</integer-constant>
1797
<integer-constant>1</integer-constant>
1803
<integer-constant>1</integer-constant>
1809
<integer-constant>0</integer-constant>
1815
<integer-constant>0</integer-constant>
1821
<integer-constant>3</integer-constant>
1825
<place>P2wM2</place>
1827
<integer-constant>0</integer-constant>
1833
<integer-constant>1</integer-constant>
1837
<place>P2wP1</place>
1839
<integer-constant>0</integer-constant>
1843
<place>P1wM1</place>
1845
<integer-constant>0</integer-constant>
1851
<integer-constant>0</integer-constant>
1857
<integer-constant>0</integer-constant>
1863
<integer-constant>0</integer-constant>
1869
<integer-constant>0</integer-constant>
1873
<place>P12M3</place>
1875
<integer-constant>0</integer-constant>
1883
<id>FMS2-untimed.FALSE-14</id>
1884
<description>FMS2-untimed.FALSE-14</description>
1894
<integer-constant>0</integer-constant>
1899
<place>P1wP2</place>
1901
<integer-constant>0</integer-constant>
1905
<place>P12wM3</place>
1907
<integer-constant>0</integer-constant>
1913
<integer-constant>1</integer-constant>
1919
<integer-constant>0</integer-constant>
1925
<integer-constant>0</integer-constant>
1931
<integer-constant>0</integer-constant>
1937
<integer-constant>2</integer-constant>
1943
<integer-constant>0</integer-constant>
1949
<integer-constant>1</integer-constant>
1955
<integer-constant>1</integer-constant>
1961
<integer-constant>0</integer-constant>
1967
<integer-constant>3</integer-constant>
1971
<place>P2wM2</place>
1973
<integer-constant>1</integer-constant>
1979
<integer-constant>1</integer-constant>
1983
<place>P2wP1</place>
1985
<integer-constant>0</integer-constant>
1989
<place>P1wM1</place>
1991
<integer-constant>0</integer-constant>
1997
<integer-constant>0</integer-constant>
2003
<integer-constant>0</integer-constant>
2009
<integer-constant>2</integer-constant>
2015
<integer-constant>0</integer-constant>
2019
<place>P12M3</place>
2021
<integer-constant>0</integer-constant>
2029
<id>FMS2-untimed.FALSE-15</id>
2030
<description>FMS2-untimed.FALSE-15</description>
2040
<integer-constant>1</integer-constant>
2045
<place>P1wP2</place>
2047
<integer-constant>0</integer-constant>
2051
<place>P12wM3</place>
2053
<integer-constant>0</integer-constant>
2059
<integer-constant>0</integer-constant>
2065
<integer-constant>0</integer-constant>
2071
<integer-constant>0</integer-constant>
2077
<integer-constant>0</integer-constant>
2083
<integer-constant>2</integer-constant>
2089
<integer-constant>0</integer-constant>
2095
<integer-constant>1</integer-constant>
2101
<integer-constant>0</integer-constant>
2107
<integer-constant>0</integer-constant>
2113
<integer-constant>3</integer-constant>
2117
<place>P2wM2</place>
2119
<integer-constant>0</integer-constant>
2125
<integer-constant>0</integer-constant>
2129
<place>P2wP1</place>
2131
<integer-constant>1</integer-constant>
2135
<place>P1wM1</place>
2137
<integer-constant>1</integer-constant>
2143
<integer-constant>0</integer-constant>
2149
<integer-constant>0</integer-constant>
2155
<integer-constant>0</integer-constant>
2161
<integer-constant>2</integer-constant>
2165
<place>P12M3</place>
2167
<integer-constant>0</integer-constant>
2175
<id>FMS2-untimed.FALSE-16</id>
2176
<description>FMS2-untimed.FALSE-16</description>
2186
<integer-constant>0</integer-constant>
2191
<place>P1wP2</place>
2193
<integer-constant>1</integer-constant>
2197
<place>P12wM3</place>
2199
<integer-constant>0</integer-constant>
2205
<integer-constant>0</integer-constant>
2211
<integer-constant>0</integer-constant>
2217
<integer-constant>0</integer-constant>
2223
<integer-constant>0</integer-constant>
2229
<integer-constant>2</integer-constant>
2235
<integer-constant>1</integer-constant>
2241
<integer-constant>1</integer-constant>
2247
<integer-constant>2</integer-constant>
2253
<integer-constant>0</integer-constant>
2259
<integer-constant>3</integer-constant>
2263
<place>P2wM2</place>
2265
<integer-constant>0</integer-constant>
2271
<integer-constant>2</integer-constant>
2275
<place>P2wP1</place>
2277
<integer-constant>0</integer-constant>
2281
<place>P1wM1</place>
2283
<integer-constant>0</integer-constant>
2289
<integer-constant>0</integer-constant>
2295
<integer-constant>0</integer-constant>
2301
<integer-constant>0</integer-constant>
2307
<integer-constant>0</integer-constant>
2311
<place>P12M3</place>
2313
<integer-constant>0</integer-constant>
2321
<id>FMS2-untimed.FALSE-17</id>
2322
<description>FMS2-untimed.FALSE-17</description>
2332
<integer-constant>0</integer-constant>
2337
<place>P1wP2</place>
2339
<integer-constant>0</integer-constant>
2343
<place>P12wM3</place>
2345
<integer-constant>0</integer-constant>
2351
<integer-constant>0</integer-constant>
2357
<integer-constant>0</integer-constant>
2363
<integer-constant>0</integer-constant>
2369
<integer-constant>0</integer-constant>
2375
<integer-constant>2</integer-constant>
2381
<integer-constant>2</integer-constant>
2387
<integer-constant>1</integer-constant>
2393
<integer-constant>0</integer-constant>
2399
<integer-constant>0</integer-constant>
2405
<integer-constant>3</integer-constant>
2409
<place>P2wM2</place>
2411
<integer-constant>0</integer-constant>
2417
<integer-constant>2</integer-constant>
2421
<place>P2wP1</place>
2423
<integer-constant>0</integer-constant>
2427
<place>P1wM1</place>
2429
<integer-constant>0</integer-constant>
2435
<integer-constant>0</integer-constant>
2441
<integer-constant>0</integer-constant>
2447
<integer-constant>0</integer-constant>
2453
<integer-constant>2</integer-constant>
2457
<place>P12M3</place>
2459
<integer-constant>0</integer-constant>
2467
<id>FMS2-untimed.FALSE-18</id>
2468
<description>FMS2-untimed.FALSE-18</description>
2478
<integer-constant>0</integer-constant>
2483
<place>P1wP2</place>
2485
<integer-constant>0</integer-constant>
2489
<place>P12wM3</place>
2491
<integer-constant>0</integer-constant>
2497
<integer-constant>0</integer-constant>
2503
<integer-constant>0</integer-constant>
2509
<integer-constant>0</integer-constant>
2515
<integer-constant>0</integer-constant>
2521
<integer-constant>2</integer-constant>
2527
<integer-constant>0</integer-constant>
2533
<integer-constant>1</integer-constant>
2539
<integer-constant>1</integer-constant>
2545
<integer-constant>1</integer-constant>
2551
<integer-constant>1</integer-constant>
2555
<place>P2wM2</place>
2557
<integer-constant>0</integer-constant>
2563
<integer-constant>1</integer-constant>
2567
<place>P2wP1</place>
2569
<integer-constant>0</integer-constant>
2573
<place>P1wM1</place>
2575
<integer-constant>0</integer-constant>
2581
<integer-constant>2</integer-constant>
2587
<integer-constant>0</integer-constant>
2593
<integer-constant>0</integer-constant>
2599
<integer-constant>1</integer-constant>
2603
<place>P12M3</place>
2605
<integer-constant>0</integer-constant>
2613
<id>FMS2-untimed.FALSE-19</id>
2614
<description>FMS2-untimed.FALSE-19</description>
2624
<integer-constant>0</integer-constant>
2629
<place>P1wP2</place>
2631
<integer-constant>0</integer-constant>
2635
<place>P12wM3</place>
2637
<integer-constant>0</integer-constant>
2643
<integer-constant>1</integer-constant>
2649
<integer-constant>1</integer-constant>
2655
<integer-constant>1</integer-constant>
2661
<integer-constant>1</integer-constant>
2667
<integer-constant>2</integer-constant>
2673
<integer-constant>0</integer-constant>
2679
<integer-constant>1</integer-constant>
2685
<integer-constant>0</integer-constant>
2691
<integer-constant>0</integer-constant>
2697
<integer-constant>3</integer-constant>
2701
<place>P2wM2</place>
2703
<integer-constant>0</integer-constant>
2709
<integer-constant>0</integer-constant>
2713
<place>P2wP1</place>
2715
<integer-constant>0</integer-constant>
2719
<place>P1wM1</place>
2721
<integer-constant>0</integer-constant>
2727
<integer-constant>0</integer-constant>
2733
<integer-constant>0</integer-constant>
2739
<integer-constant>0</integer-constant>
2745
<integer-constant>1</integer-constant>
2749
<place>P12M3</place>
2751
<integer-constant>0</integer-constant>
2759
<id>FMS2-untimed.FALSE-20</id>
2760
<description>FMS2-untimed.FALSE-20</description>
2770
<integer-constant>0</integer-constant>
2775
<place>P1wP2</place>
2777
<integer-constant>0</integer-constant>
2781
<place>P12wM3</place>
2783
<integer-constant>0</integer-constant>
2789
<integer-constant>1</integer-constant>
2795
<integer-constant>0</integer-constant>
2801
<integer-constant>0</integer-constant>
2807
<integer-constant>0</integer-constant>
2813
<integer-constant>2</integer-constant>
2819
<integer-constant>0</integer-constant>
2825
<integer-constant>1</integer-constant>
2831
<integer-constant>0</integer-constant>
2837
<integer-constant>0</integer-constant>
2843
<integer-constant>2</integer-constant>
2847
<place>P2wM2</place>
2849
<integer-constant>0</integer-constant>
2855
<integer-constant>0</integer-constant>
2859
<place>P2wP1</place>
2861
<integer-constant>2</integer-constant>
2865
<place>P1wM1</place>
2867
<integer-constant>0</integer-constant>
2873
<integer-constant>1</integer-constant>
2879
<integer-constant>0</integer-constant>
2885
<integer-constant>1</integer-constant>
2891
<integer-constant>1</integer-constant>
2895
<place>P12M3</place>
2897
<integer-constant>0</integer-constant>