Starting CSP compiler
 Ready
/Started: 25 Finished: 16 Transitions: 100
Started: 47 Finished: 36 Transitions: 200
Started: 163 Finished: 61 Transitions: 300
Started: 184 Finished: 99 Transitions: 400
Started: 208 Finished: 129 Transitions: 500
Started: 226 Finished: 156 Transitions: 600
Started: 246 Finished: 183 Transitions: 700
Started: 265 Finished: 213 Transitions: 800
Started: 290 Finished: 254 Transitions: 900
Started: 309 Finished: 281 Transitions: 1000
Started: 342 Finished: 322 Transitions: 1100
Started: 423 Finished: 346 Transitions: 1200
Started: 441 Finished: 371 Transitions: 1300
Started: 456 Finished: 396 Transitions: 1400
Started: 471 Finished: 415 Transitions: 1500
Started: 488 Finished: 433 Transitions: 1600
Started: 503 Finished: 453 Transitions: 1700
Started: 518 Finished: 474 Transitions: 1800
Started: 534 Finished: 500 Transitions: 1900
Started: 551 Finished: 523 Transitions: 2000
Started: 566 Finished: 540 Transitions: 2100
Started: 632 Finished: 564 Transitions: 2200
Started: 664 Finished: 595 Transitions: 2300
Started: 683 Finished: 623 Transitions: 2400
Started: 702 Finished: 647 Transitions: 2500
Started: 720 Finished: 671 Transitions: 2600
Started: 742 Finished: 698 Transitions: 2700
Started: 761 Finished: 731 Transitions: 2800
Started: 782 Finished: 754 Transitions: 2900
Started: 824 Finished: 775 Transitions: 3000
Started: 861 Finished: 786 Transitions: 3100
Started: 876 Finished: 806 Transitions: 3200
Started: 892 Finished: 828 Transitions: 3300
Started: 904 Finished: 845 Transitions: 3400
Started: 916 Finished: 863 Transitions: 3500
Started: 929 Finished: 879 Transitions: 3600
Started: 943 Finished: 894 Transitions: 3700
Started: 957 Finished: 914 Transitions: 3800
Started: 971 Finished: 936 Transitions: 3900
Started: 985 Finished: 956 Transitions: 4000
Started: 997 Finished: 971 Transitions: 4100
Started: 1011 Finished: 990 Transitions: 4200
Started: 1035 Finished: 1018 Transitions: 4300
Started: 1057 Finished: 1036 Transitions: 4400
Started: 1123 Finished: 1060 Transitions: 4500
Started: 1158 Finished: 1079 Transitions: 4600
Started: 1204 Finished: 1100 Transitions: 4700
Started: 1227 Finished: 1142 Transitions: 4800
Started: 1248 Finished: 1176 Transitions: 4900
Started: 1267 Finished: 1209 Transitions: 5000
Started: 1293 Finished: 1250 Transitions: 5100
Started: 1312 Finished: 1284 Transitions: 5200
Started: 1332 Finished: 1309 Transitions: 5300
Started: 1400 Finished: 1350 Transitions: 5400
Started: 1420 Finished: 1365 Transitions: 5500
Started: 1440 Finished: 1381 Transitions: 5600
Started: 1473 Finished: 1401 Transitions: 5700
Started: 1491 Finished: 1430 Transitions: 5800
Started: 1506 Finished: 1451 Transitions: 5900
Started: 1520 Finished: 1473 Transitions: 6000
Started: 1537 Finished: 1501 Transitions: 6100
Started: 1555 Finished: 1526 Transitions: 6200
Started: 1571 Finished: 1543 Transitions: 6300
Started: 1616 Finished: 1566 Transitions: 6400
Started: 1639 Finished: 1585 Transitions: 6500
Started: 1678 Finished: 1601 Transitions: 6600
Started: 1704 Finished: 1637 Transitions: 6700
Started: 1723 Finished: 1668 Transitions: 6800
Started: 1742 Finished: 1695 Transitions: 6900
Started: 1762 Finished: 1730 Transitions: 7000
Started: 1785 Finished: 1757 Transitions: 7100
Started: 1804 Finished: 1784 Transitions: 7200
Started: 1841 Finished: 1793 Transitions: 7300
Started: 1859 Finished: 1805 Transitions: 7400
Started: 1876 Finished: 1817 Transitions: 7500
Started: 1904 Finished: 1829 Transitions: 7600
Started: 1920 Finished: 1851 Transitions: 7700
Started: 1933 Finished: 1874 Transitions: 7800
Started: 1946 Finished: 1895 Transitions: 7900
Started: 1960 Finished: 1914 Transitions: 8000
Started: 1973 Finished: 1938 Transitions: 8100
Started: 1989 Finished: 1958 Transitions: 8200
Started: 2003 Finished: 1976 Transitions: 8300
Started: 2015 Finished: 1991 Transitions: 8400
Started: 2043 Finished: 2018 Transitions: 8500
Started: 2061 Finished: 2040 Transitions: 8600
Started: 2127 Finished: 2063 Transitions: 8700
Started: 2189 Finished: 2091 Transitions: 8800
Started: 2216 Finished: 2131 Transitions: 8900
Started: 2232 Finished: 2157 Transitions: 9000
Started: 2250 Finished: 2181 Transitions: 9100
Started: 2270 Finished: 2206 Transitions: 9200
Started: 2293 Finished: 2246 Transitions: 9300
Started: 2316 Finished: 2284 Transitions: 9400
Started: 2333 Finished: 2304 Transitions: 9500
Started: 2390 Finished: 2354 Transitions: 9600
Started: 2441 Finished: 2363 Transitions: 9700
Started: 2458 Finished: 2389 Transitions: 9800
Started: 2476 Finished: 2416 Transitions: 9900
Started: 2492 Finished: 2435 Transitions: 10000
Started: 2507 Finished: 2452 Transitions: 10100
Started: 2524 Finished: 2474 Transitions: 10200
Started: 2541 Finished: 2497 Transitions: 10300
Started: 2557 Finished: 2525 Transitions: 10400
Started: 2574 Finished: 2546 Transitions: 10500
Started: 2591 Finished: 2566 Transitions: 10600
Started: 2667 Finished: 2592 Transitions: 10700
Started: 2691 Finished: 2624 Transitions: 10800
Started: 2705 Finished: 2649 Transitions: 10900
Started: 2726 Finished: 2671 Transitions: 11000
Started: 2746 Finished: 2696 Transitions: 11100
Started: 2764 Finished: 2729 Transitions: 11200
Started: 2788 Finished: 2760 Transitions: 11300
Started: 2806 Finished: 2781 Transitions: 11400
Started: 2852 Finished: 2798 Transitions: 11500
Started: 2884 Finished: 2810 Transitions: 11600
Started: 2900 Finished: 2831 Transitions: 11700
Started: 2911 Finished: 2853 Transitions: 11800
Started: 2924 Finished: 2869 Transitions: 11900
Started: 2938 Finished: 2886 Transitions: 12000
Started: 2952 Finished: 2904 Transitions: 12100
Started: 2965 Finished: 2918 Transitions: 12200
Started: 2981 Finished: 2939 Transitions: 12300
Started: 2992 Finished: 2961 Transitions: 12400
Started: 3006 Finished: 2980 Transitions: 12500
Started: 3020 Finished: 2994 Transitions: 12600
Started: 3041 Finished: 3026 Transitions: 12700
Started: 3051 Finished: 3042 Transitions: 12800
Started: 3073 Finished: 3062 Transitions: 12900
Started: 3095 Finished: 3082 Transitions: 13000
Started: 3117 Finished: 3100 Transitions: 13100
Started: 3185 Finished: 3123 Transitions: 13200
Started: 3213 Finished: 3141 Transitions: 13300
Started: 3254 Finished: 3159 Transitions: 13400
Started: 3287 Finished: 3196 Transitions: 13500
Started: 3312 Finished: 3237 Transitions: 13600
Started: 3331 Finished: 3273 Transitions: 13700
Started: 3354 Finished: 3316 Transitions: 13800
Started: 3375 Finished: 3347 Transitions: 13900
Started: 3399 Finished: 3377 Transitions: 14000
Started: 3462 Finished: 3412 Transitions: 14100
Started: 3483 Finished: 3428 Transitions: 14200
Started: 3503 Finished: 3443 Transitions: 14300
Started: 3534 Finished: 3459 Transitions: 14400
Started: 3554 Finished: 3487 Transitions: 14500
Started: 3570 Finished: 3513 Transitions: 14600
Started: 3584 Finished: 3537 Transitions: 14700
Started: 3601 Finished: 3565 Transitions: 14800
Started: 3619 Finished: 3589 Transitions: 14900
Started: 3633 Finished: 3606 Transitions: 15000
Started: 3679 Finished: 3629 Transitions: 15100
Started: 3702 Finished: 3647 Transitions: 15200
Started: 3725 Finished: 3667 Transitions: 15300
Started: 3764 Finished: 3693 Transitions: 15400
Started: 3785 Finished: 3729 Transitions: 15500
Started: 3807 Finished: 3760 Transitions: 15600
Started: 3827 Finished: 3795 Transitions: 15700
Started: 3848 Finished: 3820 Transitions: 15800
Started: 3884 Finished: 3844 Transitions: 15900
Started: 3903 Finished: 3854 Transitions: 16000
Started: 3922 Finished: 3868 Transitions: 16100
Started: 3940 Finished: 3881 Transitions: 16200
Started: 3966 Finished: 3892 Transitions: 16300
Started: 3983 Finished: 3914 Transitions: 16400
Started: 3998 Finished: 3937 Transitions: 16500
Started: 4008 Finished: 3958 Transitions: 16600
Started: 4024 Finished: 3978 Transitions: 16700
Started: 4036 Finished: 4001 Transitions: 16800
Started: 4050 Finished: 4021 Transitions: 16900
Started: 4064 Finished: 4037 Transitions: 17000
Started: 4078 Finished: 4054 Transitions: 17100
Started: 4103 Finished: 4078 Transitions: 17200
Started: 4125 Finished: 4100 Transitions: 17300
Started: 4143 Finished: 4122 Transitions: 17400
Started: 4161 Finished: 4144 Transitions: 17500
Started: 4169 Finished: 4162 Transitions: 17600
Started: 4191 Finished: 4181 Transitions: 17700
Started: 4213 Finished: 4200 Transitions: 17800
Started: 4235 Finished: 4219 Transitions: 17900
Started: 4257 Finished: 4238 Transitions: 18000
Started: 4324 Finished: 4261 Transitions: 18100
Started: 4350 Finished: 4279 Transitions: 18200
Started: 4377 Finished: 4299 Transitions: 18300
Started: 4423 Finished: 4332 Transitions: 18400
Started: 4449 Finished: 4375 Transitions: 18500
Started: 4468 Finished: 4411 Transitions: 18600
Started: 4493 Finished: 4453 Transitions: 18700
Started: 4513 Finished: 4485 Transitions: 18800
Started: 4533 Finished: 4512 Transitions: 18900
Started: 4600 Finished: 4550 Transitions: 19000
Started: 4620 Finished: 4566 Transitions: 19100
Started: 4640 Finished: 4582 Transitions: 19200
Started: 4669 Finished: 4594 Transitions: 19300
Started: 4690 Finished: 4621 Transitions: 19400
Started: 4706 Finished: 4649 Transitions: 19500
Started: 4721 Finished: 4674 Transitions: 19600
Started: 4738 Finished: 4702 Transitions: 19700
Started: 4756 Finished: 4726 Transitions: 19800
Started: 4772 Finished: 4744 Transitions: 19900
Started: 4816 Finished: 4768 Transitions: 20000
Started: 4841 Finished: 4786 Transitions: 20100
Started: 4865 Finished: 4805 Transitions: 20200
Started: 4901 Finished: 4828 Transitions: 20300
Started: 4922 Finished: 4866 Transitions: 20400
Started: 4944 Finished: 4897 Transitions: 20500
Started: 4964 Finished: 4932 Transitions: 20600
Started: 4985 Finished: 4958 Transitions: 20700
Started: 5011 Finished: 4984 Transitions: 20800
Started: 5042 Finished: 4994 Transitions: 20900
Started: 5060 Finished: 5006 Transitions: 21000
Started: 5079 Finished: 5020 Transitions: 21100
Started: 5102 Finished: 5029 Transitions: 21200
Started: 5120 Finished: 5048 Transitions: 21300
Started: 5137 Finished: 5071 Transitions: 21400
Started: 5148 Finished: 5094 Transitions: 21500
Started: 5161 Finished: 5115 Transitions: 21600
Started: 5174 Finished: 5139 Transitions: 21700
Started: 5189 Finished: 5159 Transitions: 21800
Started: 5203 Finished: 5176 Transitions: 21900
Started: 5216 Finished: 5192 Transitions: 22000
Started: 5243 Finished: 5218 Transitions: 22100
Started: 5263 Finished: 5240 Transitions: 22200

Ready
Started: 5265 Finished: 5265 Transitions: 22288

false 
