Starting CSP compiler
 Ready
/Started: 25 Finished: 16 Transitions: 100
Started: 47 Finished: 34 Transitions: 200
Started: 69 Finished: 54 Transitions: 300
Started: 91 Finished: 74 Transitions: 400
Started: 113 Finished: 92 Transitions: 500
Started: 133 Finished: 110 Transitions: 600
Started: 236 Finished: 133 Transitions: 700
Started: 281 Finished: 145 Transitions: 800
Started: 373 Finished: 156 Transitions: 900
Started: 391 Finished: 189 Transitions: 1000
Started: 412 Finished: 222 Transitions: 1100
Started: 429 Finished: 255 Transitions: 1200
Started: 456 Finished: 296 Transitions: 1300
Started: 466 Finished: 307 Transitions: 1400
Started: 478 Finished: 318 Transitions: 1500
Started: 492 Finished: 340 Transitions: 1600
Started: 504 Finished: 352 Transitions: 1700
Started: 516 Finished: 364 Transitions: 1800
Started: 529 Finished: 385 Transitions: 1900
Started: 541 Finished: 397 Transitions: 2000
Started: 552 Finished: 408 Transitions: 2100
Started: 565 Finished: 431 Transitions: 2200
Started: 577 Finished: 441 Transitions: 2300
Started: 589 Finished: 453 Transitions: 2400
Started: 603 Finished: 475 Transitions: 2500
Started: 615 Finished: 487 Transitions: 2600
Started: 625 Finished: 499 Transitions: 2700
Started: 640 Finished: 520 Transitions: 2800
Started: 651 Finished: 532 Transitions: 2900
Started: 663 Finished: 543 Transitions: 3000
Started: 676 Finished: 565 Transitions: 3100
Started: 688 Finished: 577 Transitions: 3200
Started: 700 Finished: 589 Transitions: 3300
Started: 714 Finished: 611 Transitions: 3400
Started: 726 Finished: 623 Transitions: 3500
Started: 736 Finished: 633 Transitions: 3600
Started: 763 Finished: 675 Transitions: 3700
Started: 779 Finished: 706 Transitions: 3800
Started: 799 Finished: 739 Transitions: 3900
Started: 819 Finished: 773 Transitions: 4000
Started: 833 Finished: 795 Transitions: 4100
Started: 843 Finished: 806 Transitions: 4200
Started: 855 Finished: 817 Transitions: 4300
Started: 900 Finished: 858 Transitions: 4400
Started: 980 Finished: 897 Transitions: 4500
Started: 1011 Finished: 906 Transitions: 4600
Started: 1036 Finished: 916 Transitions: 4700
Started: 1084 Finished: 930 Transitions: 4800
Started: 1100 Finished: 953 Transitions: 4900
Started: 1116 Finished: 975 Transitions: 5000
Started: 1132 Finished: 997 Transitions: 5100
Started: 1148 Finished: 1024 Transitions: 5200
Started: 1157 Finished: 1037 Transitions: 5300
Started: 1167 Finished: 1047 Transitions: 5400
Started: 1176 Finished: 1060 Transitions: 5500
Started: 1190 Finished: 1075 Transitions: 5600
Started: 1200 Finished: 1085 Transitions: 5700
Started: 1211 Finished: 1096 Transitions: 5800
Started: 1223 Finished: 1113 Transitions: 5900
Started: 1233 Finished: 1123 Transitions: 6000
Started: 1244 Finished: 1134 Transitions: 6100
Started: 1256 Finished: 1151 Transitions: 6200
Started: 1266 Finished: 1161 Transitions: 6300
Started: 1277 Finished: 1172 Transitions: 6400
Started: 1288 Finished: 1186 Transitions: 6500
Started: 1299 Finished: 1199 Transitions: 6600
Started: 1310 Finished: 1210 Transitions: 6700
Started: 1320 Finished: 1220 Transitions: 6800
Started: 1332 Finished: 1237 Transitions: 6900
Started: 1343 Finished: 1248 Transitions: 7000
Started: 1353 Finished: 1258 Transitions: 7100
Started: 1365 Finished: 1275 Transitions: 7200
Started: 1376 Finished: 1286 Transitions: 7300
Started: 1386 Finished: 1296 Transitions: 7400
Started: 1399 Finished: 1312 Transitions: 7500
Started: 1409 Finished: 1324 Transitions: 7600
Started: 1419 Finished: 1334 Transitions: 7700
Started: 1428 Finished: 1346 Transitions: 7800
Started: 1444 Finished: 1374 Transitions: 7900
Started: 1459 Finished: 1396 Transitions: 8000
Started: 1475 Finished: 1418 Transitions: 8100
Started: 1490 Finished: 1439 Transitions: 8200
Started: 1506 Finished: 1461 Transitions: 8300
Started: 1517 Finished: 1474 Transitions: 8400
Started: 1526 Finished: 1484 Transitions: 8500
Started: 1536 Finished: 1494 Transitions: 8600
Started: 1603 Finished: 1518 Transitions: 8700
Started: 1635 Finished: 1530 Transitions: 8800
Started: 1660 Finished: 1541 Transitions: 8900
Started: 1716 Finished: 1565 Transitions: 9000
Started: 1738 Finished: 1595 Transitions: 9100
Started: 1757 Finished: 1622 Transitions: 9200
Started: 1773 Finished: 1653 Transitions: 9300
Started: 1785 Finished: 1665 Transitions: 9400
Started: 1796 Finished: 1676 Transitions: 9500
Started: 1811 Finished: 1696 Transitions: 9600
Started: 1821 Finished: 1707 Transitions: 9700
Started: 1833 Finished: 1718 Transitions: 9800
Started: 1848 Finished: 1738 Transitions: 9900
Started: 1859 Finished: 1749 Transitions: 10000
Started: 1871 Finished: 1761 Transitions: 10100
Started: 1884 Finished: 1780 Transitions: 10200
Started: 1896 Finished: 1791 Transitions: 10300
Started: 1908 Finished: 1803 Transitions: 10400
Started: 1922 Finished: 1822 Transitions: 10500
Started: 1934 Finished: 1834 Transitions: 10600
Started: 1944 Finished: 1846 Transitions: 10700
Started: 1959 Finished: 1864 Transitions: 10800
Started: 1971 Finished: 1876 Transitions: 10900
Started: 1983 Finished: 1891 Transitions: 11000
Started: 1997 Finished: 1907 Transitions: 11100
Started: 2009 Finished: 1919 Transitions: 11200
Started: 2023 Finished: 1936 Transitions: 11300
Started: 2034 Finished: 1949 Transitions: 11400
Started: 2045 Finished: 1961 Transitions: 11500
Started: 2060 Finished: 1980 Transitions: 11600
Started: 2076 Finished: 2012 Transitions: 11700
Started: 2096 Finished: 2039 Transitions: 11800
Started: 2116 Finished: 2067 Transitions: 11900
Started: 2133 Finished: 2092 Transitions: 12000
Started: 2145 Finished: 2102 Transitions: 12100
Started: 2157 Finished: 2114 Transitions: 12200
Started: 2171 Finished: 2138 Transitions: 12300
Started: 2235 Finished: 2146 Transitions: 12400
Started: 2259 Finished: 2155 Transitions: 12500
Started: 2283 Finished: 2164 Transitions: 12600
Started: 2329 Finished: 2174 Transitions: 12700
Started: 2341 Finished: 2193 Transitions: 12800
Started: 2355 Finished: 2211 Transitions: 12900
Started: 2369 Finished: 2229 Transitions: 13000
Started: 2380 Finished: 2247 Transitions: 13100
Started: 2395 Finished: 2267 Transitions: 13200
Started: 2402 Finished: 2283 Transitions: 13300
Started: 2411 Finished: 2292 Transitions: 13400
Started: 2420 Finished: 2301 Transitions: 13500
Started: 2431 Finished: 2318 Transitions: 13600
Started: 2441 Finished: 2327 Transitions: 13700
Started: 2450 Finished: 2336 Transitions: 13800
Started: 2459 Finished: 2345 Transitions: 13900
Started: 2471 Finished: 2362 Transitions: 14000
Started: 2480 Finished: 2371 Transitions: 14100
Started: 2489 Finished: 2380 Transitions: 14200
Started: 2500 Finished: 2394 Transitions: 14300
Started: 2510 Finished: 2406 Transitions: 14400
Started: 2519 Finished: 2415 Transitions: 14500
Started: 2528 Finished: 2424 Transitions: 14600
Started: 2539 Finished: 2440 Transitions: 14700
Started: 2548 Finished: 2449 Transitions: 14800
Started: 2558 Finished: 2459 Transitions: 14900
Started: 2567 Finished: 2468 Transitions: 15000
Started: 2578 Finished: 2484 Transitions: 15100
Started: 2587 Finished: 2493 Transitions: 15200
Started: 2597 Finished: 2503 Transitions: 15300
Started: 2606 Finished: 2515 Transitions: 15400
Started: 2617 Finished: 2528 Transitions: 15500
Started: 2626 Finished: 2537 Transitions: 15600
Started: 2636 Finished: 2547 Transitions: 15700
Started: 2647 Finished: 2563 Transitions: 15800
Started: 2656 Finished: 2572 Transitions: 15900
Started: 2665 Finished: 2581 Transitions: 16000
Started: 2674 Finished: 2591 Transitions: 16100
Started: 2687 Finished: 2609 Transitions: 16200
Started: 2697 Finished: 2632 Transitions: 16300
Started: 2709 Finished: 2650 Transitions: 16400
Started: 2723 Finished: 2669 Transitions: 16500
Started: 2736 Finished: 2686 Transitions: 16600
Started: 2748 Finished: 2704 Transitions: 16700
Started: 2759 Finished: 2717 Transitions: 16800
Started: 2768 Finished: 2727 Transitions: 16900
Started: 2778 Finished: 2737 Transitions: 17000
Started: 2786 Finished: 2748 Transitions: 17100
Started: 2794 Finished: 2785 Transitions: 17200
Started: 2816 Finished: 2805 Transitions: 17300
Started: 2838 Finished: 2825 Transitions: 17400
Started: 2860 Finished: 2842 Transitions: 17500
Started: 2882 Finished: 2859 Transitions: 17600
Started: 2904 Finished: 2879 Transitions: 17700
Started: 2922 Finished: 2901 Transitions: 17800
Started: 2942 Finished: 2923 Transitions: 17900
Started: 3040 Finished: 2945 Transitions: 18000
Started: 3066 Finished: 2955 Transitions: 18100
Started: 3086 Finished: 2967 Transitions: 18200
Started: 3106 Finished: 2979 Transitions: 18300
Started: 3134 Finished: 2990 Transitions: 18400
Started: 3154 Finished: 3002 Transitions: 18500
Started: 3174 Finished: 3014 Transitions: 18600
Started: 3242 Finished: 3031 Transitions: 18700
Started: 3262 Finished: 3066 Transitions: 18800
Started: 3282 Finished: 3102 Transitions: 18900
Started: 3301 Finished: 3137 Transitions: 19000
Started: 3323 Finished: 3164 Transitions: 19100
Started: 3335 Finished: 3175 Transitions: 19200
Started: 3348 Finished: 3197 Transitions: 19300
Started: 3360 Finished: 3208 Transitions: 19400
Started: 3373 Finished: 3226 Transitions: 19500
Started: 3386 Finished: 3242 Transitions: 19600
Started: 3398 Finished: 3254 Transitions: 19700
Started: 3411 Finished: 3275 Transitions: 19800
Started: 3423 Finished: 3287 Transitions: 19900
Started: 3437 Finished: 3310 Transitions: 20000
Started: 3447 Finished: 3321 Transitions: 20100
Started: 3459 Finished: 3332 Transitions: 20200
Started: 3473 Finished: 3354 Transitions: 20300
Started: 3485 Finished: 3366 Transitions: 20400
Started: 3498 Finished: 3387 Transitions: 20500
Started: 3510 Finished: 3399 Transitions: 20600
Started: 3522 Finished: 3417 Transitions: 20700
Started: 3536 Finished: 3433 Transitions: 20800
Started: 3548 Finished: 3445 Transitions: 20900
Started: 3576 Finished: 3477 Transitions: 21000
Started: 3591 Finished: 3513 Transitions: 21100
Started: 3608 Finished: 3546 Transitions: 21200
Started: 3626 Finished: 3579 Transitions: 21300
Started: 3643 Finished: 3605 Transitions: 21400
Started: 3655 Finished: 3617 Transitions: 21500
Started: 3667 Finished: 3629 Transitions: 21600
Started: 3690 Finished: 3657 Transitions: 21700
Started: 3771 Finished: 3707 Transitions: 21800
Started: 3799 Finished: 3714 Transitions: 21900
Started: 3814 Finished: 3725 Transitions: 22000
Started: 3834 Finished: 3734 Transitions: 22100
Started: 3849 Finished: 3744 Transitions: 22200
Started: 3863 Finished: 3753 Transitions: 22300
Started: 3879 Finished: 3764 Transitions: 22400
Started: 3893 Finished: 3773 Transitions: 22500
Started: 3932 Finished: 3779 Transitions: 22600
Started: 3953 Finished: 3800 Transitions: 22700
Started: 3969 Finished: 3824 Transitions: 22800
Started: 3985 Finished: 3848 Transitions: 22900
Started: 4004 Finished: 3872 Transitions: 23000
Started: 4015 Finished: 3895 Transitions: 23100
Started: 4025 Finished: 3905 Transitions: 23200
Started: 4038 Finished: 3921 Transitions: 23300
Started: 4048 Finished: 3933 Transitions: 23400
Started: 4058 Finished: 3943 Transitions: 23500
Started: 4070 Finished: 3961 Transitions: 23600
Started: 4081 Finished: 3971 Transitions: 23700
Started: 4091 Finished: 3981 Transitions: 23800
Started: 4104 Finished: 4000 Transitions: 23900
Started: 4114 Finished: 4010 Transitions: 24000
Started: 4127 Finished: 4025 Transitions: 24100
Started: 4138 Finished: 4038 Transitions: 24200
Started: 4148 Finished: 4048 Transitions: 24300
Started: 4160 Finished: 4065 Transitions: 24400
Started: 4171 Finished: 4076 Transitions: 24500
Started: 4181 Finished: 4086 Transitions: 24600
Started: 4193 Finished: 4103 Transitions: 24700
Started: 4204 Finished: 4114 Transitions: 24800
Started: 4216 Finished: 4129 Transitions: 24900
Started: 4226 Finished: 4143 Transitions: 25000
Started: 4237 Finished: 4152 Transitions: 25100
Started: 4251 Finished: 4172 Transitions: 25200
Started: 4265 Finished: 4201 Transitions: 25300
Started: 4281 Finished: 4223 Transitions: 25400
Started: 4297 Finished: 4245 Transitions: 25500
Started: 4313 Finished: 4267 Transitions: 25600
Started: 4327 Finished: 4284 Transitions: 25700
Started: 4337 Finished: 4294 Transitions: 25800
Started: 4348 Finished: 4305 Transitions: 25900
Started: 4360 Finished: 4325 Transitions: 26000
Started: 4430 Finished: 4340 Transitions: 26100
Started: 4447 Finished: 4352 Transitions: 26200
Started: 4462 Finished: 4363 Transitions: 26300
Started: 4479 Finished: 4374 Transitions: 26400
Started: 4501 Finished: 4386 Transitions: 26500
Started: 4518 Finished: 4398 Transitions: 26600
Started: 4567 Finished: 4411 Transitions: 26700
Started: 4587 Finished: 4440 Transitions: 26800
Started: 4609 Finished: 4470 Transitions: 26900
Started: 4632 Finished: 4500 Transitions: 27000
Started: 4642 Finished: 4522 Transitions: 27100
Started: 4652 Finished: 4532 Transitions: 27200
Started: 4667 Finished: 4552 Transitions: 27300
Started: 4678 Finished: 4564 Transitions: 27400
Started: 4693 Finished: 4583 Transitions: 27500
Started: 4705 Finished: 4595 Transitions: 27600
Started: 4715 Finished: 4605 Transitions: 27700
Started: 4730 Finished: 4625 Transitions: 27800
Started: 4741 Finished: 4637 Transitions: 27900
Started: 4756 Finished: 4656 Transitions: 28000
Started: 4768 Finished: 4668 Transitions: 28100
Started: 4782 Finished: 4685 Transitions: 28200
Started: 4793 Finished: 4698 Transitions: 28300
Started: 4804 Finished: 4710 Transitions: 28400
Started: 4819 Finished: 4729 Transitions: 28500
Started: 4831 Finished: 4741 Transitions: 28600
Started: 4844 Finished: 4759 Transitions: 28700
Started: 4856 Finished: 4771 Transitions: 28800
Started: 4868 Finished: 4786 Transitions: 28900
Started: 4885 Finished: 4819 Transitions: 29000
Started: 4905 Finished: 4847 Transitions: 29100
Started: 4925 Finished: 4874 Transitions: 29200
Started: 4945 Finished: 4902 Transitions: 29300
Started: 4957 Finished: 4914 Transitions: 29400
Started: 4967 Finished: 4925 Transitions: 29500
Started: 4982 Finished: 4942 Transitions: 29600
Started: 5040 Finished: 4956 Transitions: 29700
Started: 5054 Finished: 4965 Transitions: 29800
Started: 5068 Finished: 4974 Transitions: 29900
Started: 5082 Finished: 4983 Transitions: 30000
Started: 5096 Finished: 4993 Transitions: 30100
Started: 5110 Finished: 5002 Transitions: 30200
Started: 5124 Finished: 5011 Transitions: 30300
Started: 5138 Finished: 5020 Transitions: 30400
Started: 5162 Finished: 5027 Transitions: 30500
Started: 5191 Finished: 5036 Transitions: 30600
Started: 5205 Finished: 5056 Transitions: 30700
Started: 5219 Finished: 5076 Transitions: 30800
Started: 5233 Finished: 5096 Transitions: 30900
Started: 5248 Finished: 5116 Transitions: 31000
Started: 5257 Finished: 5139 Transitions: 31100
Started: 5268 Finished: 5149 Transitions: 31200
Started: 5277 Finished: 5158 Transitions: 31300
Started: 5287 Finished: 5173 Transitions: 31400
Started: 5296 Finished: 5184 Transitions: 31500
Started: 5307 Finished: 5193 Transitions: 31600
Started: 5317 Finished: 5208 Transitions: 31700
Started: 5326 Finished: 5217 Transitions: 31800
Started: 5337 Finished: 5228 Transitions: 31900
Started: 5347 Finished: 5243 Transitions: 32000
Started: 5356 Finished: 5252 Transitions: 32100
Started: 5365 Finished: 5262 Transitions: 32200
Started: 5377 Finished: 5278 Transitions: 32300
Started: 5386 Finished: 5287 Transitions: 32400
Started: 5395 Finished: 5296 Transitions: 32500
Started: 5406 Finished: 5312 Transitions: 32600
Started: 5415 Finished: 5322 Transitions: 32700
Started: 5425 Finished: 5331 Transitions: 32800
Started: 5436 Finished: 5347 Transitions: 32900
Started: 5445 Finished: 5356 Transitions: 33000
Started: 5455 Finished: 5366 Transitions: 33100
Started: 5466 Finished: 5382 Transitions: 33200
Started: 5475 Finished: 5391 Transitions: 33300
Started: 5484 Finished: 5401 Transitions: 33400
Started: 5496 Finished: 5417 Transitions: 33500
Started: 5505 Finished: 5441 Transitions: 33600
Started: 5520 Finished: 5460 Transitions: 33700
Started: 5533 Finished: 5477 Transitions: 33800
Started: 5545 Finished: 5495 Transitions: 33900
Started: 5560 Finished: 5513 Transitions: 34000
Started: 5571 Finished: 5529 Transitions: 34100
Started: 5580 Finished: 5538 Transitions: 34200
Started: 5589 Finished: 5547 Transitions: 34300
Started: 5598 Finished: 5557 Transitions: 34400
Started: 5607 Finished: 5584 Transitions: 34500
Started: 5629 Finished: 5614 Transitions: 34600
Started: 5651 Finished: 5632 Transitions: 34700
Started: 5673 Finished: 5648 Transitions: 34800
Started: 5695 Finished: 5670 Transitions: 34900
Started: 5713 Finished: 5692 Transitions: 35000
Started: 5729 Finished: 5714 Transitions: 35100
Started: 5739 Finished: 5731 Transitions: 35200
Started: 5761 Finished: 5750 Transitions: 35300
Started: 5783 Finished: 5770 Transitions: 35400
Started: 5805 Finished: 5790 Transitions: 35500
Started: 5827 Finished: 5808 Transitions: 35600
Started: 5849 Finished: 5824 Transitions: 35700
Started: 5867 Finished: 5846 Transitions: 35800
Started: 5887 Finished: 5868 Transitions: 35900
Started: 5905 Finished: 5890 Transitions: 36000
Started: 5915 Finished: 5906 Transitions: 36100
Started: 5937 Finished: 5926 Transitions: 36200
Started: 5959 Finished: 5946 Transitions: 36300
Started: 5981 Finished: 5964 Transitions: 36400
Started: 6003 Finished: 5980 Transitions: 36500
Started: 6025 Finished: 6000 Transitions: 36600
Started: 6043 Finished: 6022 Transitions: 36700
Started: 6061 Finished: 6044 Transitions: 36800
Started: 6069 Finished: 6065 Transitions: 36900
Started: 6091 Finished: 6082 Transitions: 37000
Started: 6113 Finished: 6102 Transitions: 37100
Started: 6135 Finished: 6120 Transitions: 37200
Started: 6157 Finished: 6138 Transitions: 37300
Started: 6179 Finished: 6157 Transitions: 37400
Started: 6199 Finished: 6176 Transitions: 37500
Started: 6219 Finished: 6198 Transitions: 37600
Started: 6237 Finished: 6220 Transitions: 37700
Started: 6245 Finished: 6238 Transitions: 37800
Started: 6267 Finished: 6256 Transitions: 37900
Started: 6289 Finished: 6276 Transitions: 38000
Started: 6311 Finished: 6296 Transitions: 38100
Started: 6333 Finished: 6314 Transitions: 38200
Started: 6355 Finished: 6330 Transitions: 38300
Started: 6458 Finished: 6355 Transitions: 38400
Started: 6484 Finished: 6366 Transitions: 38500
Started: 6512 Finished: 6377 Transitions: 38600
Started: 6540 Finished: 6389 Transitions: 38700
Started: 6604 Finished: 6400 Transitions: 38800
Started: 6633 Finished: 6431 Transitions: 38900
Started: 6654 Finished: 6466 Transitions: 39000
Started: 6673 Finished: 6499 Transitions: 39100
Started: 6700 Finished: 6541 Transitions: 39200
Started: 6710 Finished: 6551 Transitions: 39300
Started: 6722 Finished: 6563 Transitions: 39400
Started: 6736 Finished: 6585 Transitions: 39500
Started: 6748 Finished: 6597 Transitions: 39600
Started: 6758 Finished: 6609 Transitions: 39700
Started: 6773 Finished: 6630 Transitions: 39800
Started: 6785 Finished: 6642 Transitions: 39900
Started: 6799 Finished: 6664 Transitions: 40000
Started: 6809 Finished: 6675 Transitions: 40100
Started: 6821 Finished: 6686 Transitions: 40200
Started: 6835 Finished: 6708 Transitions: 40300
Started: 6847 Finished: 6720 Transitions: 40400
Started: 6857 Finished: 6734 Transitions: 40500
Started: 6872 Finished: 6753 Transitions: 40600
Started: 6884 Finished: 6765 Transitions: 40700
Started: 6898 Finished: 6787 Transitions: 40800
Started: 6910 Finished: 6799 Transitions: 40900
Started: 6920 Finished: 6809 Transitions: 41000
Started: 6935 Finished: 6832 Transitions: 41100
Started: 6946 Finished: 6843 Transitions: 41200
Started: 6956 Finished: 6858 Transitions: 41300
Started: 6983 Finished: 6897 Transitions: 41400
Started: 7001 Finished: 6930 Transitions: 41500
Started: 7022 Finished: 6963 Transitions: 41600
Started: 7039 Finished: 6995 Transitions: 41700
Started: 7053 Finished: 7016 Transitions: 41800
Started: 7065 Finished: 7027 Transitions: 41900
Started: 7077 Finished: 7039 Transitions: 42000
Started: 7120 Finished: 7084 Transitions: 42100
Started: 7202 Finished: 7117 Transitions: 42200
Started: 7222 Finished: 7127 Transitions: 42300
Started: 7243 Finished: 7138 Transitions: 42400
Started: 7258 Finished: 7148 Transitions: 42500
Started: 7277 Finished: 7159 Transitions: 42600
Started: 7328 Finished: 7172 Transitions: 42700
Started: 7344 Finished: 7195 Transitions: 42800
Started: 7360 Finished: 7218 Transitions: 42900
Started: 7376 Finished: 7240 Transitions: 43000
Started: 7392 Finished: 7264 Transitions: 43100
Started: 7399 Finished: 7279 Transitions: 43200
Started: 7410 Finished: 7290 Transitions: 43300
Started: 7421 Finished: 7304 Transitions: 43400
Started: 7432 Finished: 7317 Transitions: 43500
Started: 7443 Finished: 7328 Transitions: 43600
Started: 7453 Finished: 7342 Transitions: 43700
Started: 7465 Finished: 7355 Transitions: 43800
Started: 7476 Finished: 7366 Transitions: 43900
Started: 7486 Finished: 7380 Transitions: 44000
Started: 7498 Finished: 7393 Transitions: 44100
Started: 7509 Finished: 7404 Transitions: 44200
Started: 7519 Finished: 7417 Transitions: 44300
Started: 7531 Finished: 7431 Transitions: 44400
Started: 7542 Finished: 7442 Transitions: 44500
Started: 7552 Finished: 7455 Transitions: 44600
Started: 7564 Finished: 7469 Transitions: 44700
Started: 7575 Finished: 7480 Transitions: 44800
Started: 7585 Finished: 7493 Transitions: 44900
Started: 7597 Finished: 7507 Transitions: 45000
Started: 7606 Finished: 7518 Transitions: 45100
Started: 7618 Finished: 7531 Transitions: 45200
Started: 7630 Finished: 7545 Transitions: 45300
Started: 7639 Finished: 7556 Transitions: 45400
Started: 7650 Finished: 7569 Transitions: 45500
Started: 7664 Finished: 7597 Transitions: 45600
Started: 7680 Finished: 7619 Transitions: 45700
Started: 7696 Finished: 7640 Transitions: 45800
Started: 7712 Finished: 7661 Transitions: 45900
Started: 7728 Finished: 7683 Transitions: 46000
Started: 7737 Finished: 7694 Transitions: 46100
Started: 7747 Finished: 7704 Transitions: 46200
Started: 7758 Finished: 7715 Transitions: 46300
Started: 7824 Finished: 7739 Transitions: 46400
Started: 7845 Finished: 7750 Transitions: 46500
Started: 7867 Finished: 7762 Transitions: 46600
Started: 7889 Finished: 7774 Transitions: 46700
Started: 7904 Finished: 7785 Transitions: 46800
Started: 7960 Finished: 7809 Transitions: 46900
Started: 7981 Finished: 7837 Transitions: 47000
Started: 8000 Finished: 7866 Transitions: 47100
Started: 8017 Finished: 7897 Transitions: 47200
Started: 8029 Finished: 7909 Transitions: 47300
Started: 8040 Finished: 7920 Transitions: 47400
Started: 8055 Finished: 7940 Transitions: 47500
Started: 8065 Finished: 7951 Transitions: 47600
Started: 8080 Finished: 7968 Transitions: 47700
Started: 8092 Finished: 7982 Transitions: 47800
Started: 8103 Finished: 7993 Transitions: 47900
Started: 8118 Finished: 8013 Transitions: 48000
Started: 8128 Finished: 8024 Transitions: 48100
Started: 8140 Finished: 8035 Transitions: 48200
Started: 8155 Finished: 8055 Transitions: 48300
Started: 8166 Finished: 8066 Transitions: 48400
Started: 8181 Finished: 8086 Transitions: 48500
Started: 8191 Finished: 8097 Transitions: 48600
Started: 8203 Finished: 8108 Transitions: 48700
Started: 8218 Finished: 8128 Transitions: 48800
Started: 8229 Finished: 8139 Transitions: 48900
Started: 8240 Finished: 8153 Transitions: 49000
Started: 8254 Finished: 8170 Transitions: 49100
Started: 8266 Finished: 8181 Transitions: 49200
Started: 8280 Finished: 8202 Transitions: 49300
Started: 8296 Finished: 8234 Transitions: 49400
Started: 8319 Finished: 8262 Transitions: 49500
Started: 8336 Finished: 8289 Transitions: 49600
Started: 8355 Finished: 8312 Transitions: 49700
Started: 8367 Finished: 8324 Transitions: 49800
Started: 8379 Finished: 8336 Transitions: 49900
Started: 8394 Finished: 8362 Transitions: 50000
Started: 8450 Finished: 8366 Transitions: 50100
Started: 8468 Finished: 8374 Transitions: 50200
Started: 8482 Finished: 8383 Transitions: 50300
Started: 8501 Finished: 8392 Transitions: 50400
Started: 8515 Finished: 8401 Transitions: 50500
Started: 8532 Finished: 8410 Transitions: 50600
Started: 8571 Finished: 8417 Transitions: 50700
Started: 8585 Finished: 8436 Transitions: 50800
Started: 8599 Finished: 8456 Transitions: 50900
Started: 8615 Finished: 8475 Transitions: 51000
Started: 8629 Finished: 8495 Transitions: 51100
Started: 8639 Finished: 8520 Transitions: 51200
Started: 8648 Finished: 8529 Transitions: 51300
Started: 8657 Finished: 8538 Transitions: 51400
Started: 8667 Finished: 8551 Transitions: 51500
Started: 8678 Finished: 8564 Transitions: 51600
Started: 8687 Finished: 8573 Transitions: 51700
Started: 8696 Finished: 8583 Transitions: 51800
Started: 8708 Finished: 8599 Transitions: 51900
Started: 8717 Finished: 8608 Transitions: 52000
Started: 8726 Finished: 8617 Transitions: 52100
Started: 8738 Finished: 8633 Transitions: 52200
Started: 8747 Finished: 8643 Transitions: 52300
Started: 8756 Finished: 8652 Transitions: 52400
Started: 8765 Finished: 8664 Transitions: 52500
Started: 8777 Finished: 8678 Transitions: 52600
Started: 8786 Finished: 8687 Transitions: 52700
Started: 8795 Finished: 8696 Transitions: 52800
Started: 8805 Finished: 8712 Transitions: 52900
Started: 8816 Finished: 8722 Transitions: 53000
Started: 8825 Finished: 8731 Transitions: 53100
Started: 8836 Finished: 8745 Transitions: 53200
Started: 8844 Finished: 8756 Transitions: 53300
Started: 8855 Finished: 8766 Transitions: 53400
Started: 8862 Finished: 8777 Transitions: 53500
Started: 8874 Finished: 8790 Transitions: 53600
Started: 8883 Finished: 8800 Transitions: 53700
Started: 8894 Finished: 8810 Transitions: 53800
Started: 8905 Finished: 8828 Transitions: 53900
Started: 8917 Finished: 8852 Transitions: 54000
Started: 8929 Finished: 8870 Transitions: 54100
Started: 8943 Finished: 8889 Transitions: 54200
Started: 8956 Finished: 8906 Transitions: 54300
Started: 8969 Finished: 8925 Transitions: 54400
Started: 8979 Finished: 8939 Transitions: 54500
Started: 8990 Finished: 8948 Transitions: 54600
Started: 8999 Finished: 8957 Transitions: 54700
Started: 9007 Finished: 8969 Transitions: 54800
Started: 9016 Finished: 9010 Transitions: 54900
Started: 9125 Finished: 9022 Transitions: 55000
Started: 9137 Finished: 9034 Transitions: 55100
Started: 9158 Finished: 9046 Transitions: 55200
Started: 9168 Finished: 9057 Transitions: 55300
Started: 9188 Finished: 9068 Transitions: 55400
Started: 9200 Finished: 9080 Transitions: 55500
Started: 9211 Finished: 9092 Transitions: 55600
Started: 9231 Finished: 9103 Transitions: 55700
Started: 9243 Finished: 9115 Transitions: 55800
Started: 9261 Finished: 9127 Transitions: 55900
Started: 9273 Finished: 9137 Transitions: 56000
Started: 9293 Finished: 9149 Transitions: 56100
Started: 9305 Finished: 9161 Transitions: 56200
Started: 9316 Finished: 9172 Transitions: 56300
Started: 9336 Finished: 9184 Transitions: 56400
Started: 9348 Finished: 9196 Transitions: 56500
Started: 9366 Finished: 9207 Transitions: 56600
Started: 9378 Finished: 9218 Transitions: 56700
Started: 9403 Finished: 9229 Transitions: 56800
Started: 9454 Finished: 9243 Transitions: 56900
Started: 9478 Finished: 9283 Transitions: 57000
Started: 9502 Finished: 9324 Transitions: 57100
Started: 9529 Finished: 9369 Transitions: 57200
Started: 9542 Finished: 9390 Transitions: 57300
Started: 9556 Finished: 9412 Transitions: 57400
Started: 9569 Finished: 9435 Transitions: 57500
Started: 9585 Finished: 9462 Transitions: 57600
Started: 9601 Finished: 9489 Transitions: 57700
Started: 9614 Finished: 9511 Transitions: 57800
Started: 9633 Finished: 9542 Transitions: 57900
Started: 9657 Finished: 9580 Transitions: 58000
Started: 9676 Finished: 9613 Transitions: 58100
Started: 9692 Finished: 9645 Transitions: 58200
Started: 9711 Finished: 9673 Transitions: 58300
Started: 9721 Finished: 9685 Transitions: 58400
Started: 9733 Finished: 9695 Transitions: 58500
Started: 9758 Finished: 9723 Transitions: 58600
Started: 9860 Finished: 9775 Transitions: 58700
Started: 9870 Finished: 9785 Transitions: 58800
Started: 9881 Finished: 9796 Transitions: 58900
Started: 9896 Finished: 9806 Transitions: 59000
Started: 9905 Finished: 9816 Transitions: 59100
Started: 9916 Finished: 9826 Transitions: 59200
Started: 9931 Finished: 9836 Transitions: 59300
Started: 9942 Finished: 9847 Transitions: 59400
Started: 9957 Finished: 9857 Transitions: 59500
Started: 9968 Finished: 9868 Transitions: 59600
Started: 9978 Finished: 9878 Transitions: 59700
Started: 9992 Finished: 9888 Transitions: 59800
Started: 10003 Finished: 9898 Transitions: 59900
Started: 10013 Finished: 9908 Transitions: 60000
Started: 10029 Finished: 9919 Transitions: 60100
Started: 10039 Finished: 9929 Transitions: 60200
Started: 10055 Finished: 9940 Transitions: 60300
Started: 10065 Finished: 9950 Transitions: 60400
Started: 10076 Finished: 9961 Transitions: 60500
Started: 10090 Finished: 9970 Transitions: 60600
Started: 10100 Finished: 9980 Transitions: 60700
Started: 10124 Finished: 9991 Transitions: 60800
Started: 10150 Finished: 9995 Transitions: 60900
Started: 10171 Finished: 10021 Transitions: 61000
Started: 10189 Finished: 10048 Transitions: 61100
Started: 10210 Finished: 10075 Transitions: 61200
Started: 10221 Finished: 10101 Transitions: 61300
Started: 10233 Finished: 10118 Transitions: 61400
Started: 10245 Finished: 10136 Transitions: 61500
Started: 10257 Finished: 10154 Transitions: 61600
Started: 10271 Finished: 10171 Transitions: 61700
Started: 10283 Finished: 10188 Transitions: 61800
Started: 10295 Finished: 10205 Transitions: 61900
Started: 10307 Finished: 10222 Transitions: 62000
Started: 10324 Finished: 10247 Transitions: 62100
Started: 10335 Finished: 10272 Transitions: 62200
Started: 10350 Finished: 10294 Transitions: 62300
Started: 10366 Finished: 10315 Transitions: 62400
Started: 10381 Finished: 10337 Transitions: 62500
Started: 10394 Finished: 10351 Transitions: 62600
Started: 10404 Finished: 10361 Transitions: 62700
Started: 10415 Finished: 10372 Transitions: 62800
Started: 10427 Finished: 10392 Transitions: 62900
Started: 10491 Finished: 10406 Transitions: 63000
Started: 10503 Finished: 10418 Transitions: 63100
Started: 10520 Finished: 10430 Transitions: 63200
Started: 10531 Finished: 10441 Transitions: 63300
Started: 10548 Finished: 10453 Transitions: 63400
Started: 10560 Finished: 10465 Transitions: 63500
Started: 10570 Finished: 10476 Transitions: 63600
Started: 10587 Finished: 10487 Transitions: 63700
Started: 10599 Finished: 10499 Transitions: 63800
Started: 10615 Finished: 10511 Transitions: 63900
Started: 10627 Finished: 10522 Transitions: 64000
Started: 10644 Finished: 10534 Transitions: 64100
Started: 10654 Finished: 10546 Transitions: 64200
Started: 10666 Finished: 10556 Transitions: 64300
Started: 10683 Finished: 10568 Transitions: 64400
Started: 10695 Finished: 10580 Transitions: 64500
Started: 10711 Finished: 10591 Transitions: 64600
Started: 10723 Finished: 10603 Transitions: 64700
Started: 10748 Finished: 10615 Transitions: 64800
Started: 10777 Finished: 10622 Transitions: 64900
Started: 10804 Finished: 10657 Transitions: 65000
Started: 10828 Finished: 10693 Transitions: 65100
Started: 10845 Finished: 10725 Transitions: 65200
Started: 10860 Finished: 10745 Transitions: 65300
Started: 10874 Finished: 10767 Transitions: 65400
Started: 10892 Finished: 10790 Transitions: 65500
Started: 10905 Finished: 10810 Transitions: 65600
Started: 10919 Finished: 10829 Transitions: 65700
Started: 10932 Finished: 10850 Transitions: 65800
Started: 10951 Finished: 10885 Transitions: 65900
Started: 10972 Finished: 10914 Transitions: 66000
Started: 10991 Finished: 10940 Transitions: 66100
Started: 11012 Finished: 10969 Transitions: 66200
Started: 11022 Finished: 10980 Transitions: 66300
Started: 11034 Finished: 10991 Transitions: 66400
Started: 11048 Finished: 11008 Transitions: 66500
Started: 11107 Finished: 11023 Transitions: 66600
Started: 11116 Finished: 11032 Transitions: 66700
Started: 11125 Finished: 11042 Transitions: 66800
Started: 11140 Finished: 11051 Transitions: 66900
Started: 11149 Finished: 11060 Transitions: 67000
Started: 11158 Finished: 11069 Transitions: 67100
Started: 11172 Finished: 11078 Transitions: 67200
Started: 11181 Finished: 11087 Transitions: 67300
Started: 11190 Finished: 11097 Transitions: 67400
Started: 11204 Finished: 11106 Transitions: 67500
Started: 11213 Finished: 11116 Transitions: 67600
Started: 11224 Finished: 11125 Transitions: 67700
Started: 11238 Finished: 11134 Transitions: 67800
Started: 11247 Finished: 11143 Transitions: 67900
Started: 11256 Finished: 11152 Transitions: 68000
Started: 11270 Finished: 11161 Transitions: 68100
Started: 11279 Finished: 11170 Transitions: 68200
Started: 11289 Finished: 11180 Transitions: 68300
Started: 11303 Finished: 11189 Transitions: 68400
Started: 11312 Finished: 11198 Transitions: 68500
Started: 11321 Finished: 11207 Transitions: 68600
Started: 11335 Finished: 11216 Transitions: 68700
Started: 11344 Finished: 11225 Transitions: 68800
Started: 11353 Finished: 11236 Transitions: 68900
Started: 11380 Finished: 11239 Transitions: 69000
Started: 11401 Finished: 11247 Transitions: 69100
Started: 11417 Finished: 11269 Transitions: 69200
Started: 11433 Finished: 11291 Transitions: 69300
Started: 11449 Finished: 11313 Transitions: 69400
Started: 11466 Finished: 11335 Transitions: 69500
Started: 11472 Finished: 11356 Transitions: 69600
Started: 11484 Finished: 11370 Transitions: 69700
Started: 11495 Finished: 11386 Transitions: 69800
Started: 11507 Finished: 11403 Transitions: 69900
Started: 11517 Finished: 11418 Transitions: 70000
Started: 11529 Finished: 11435 Transitions: 70100
Started: 11540 Finished: 11451 Transitions: 70200
Started: 11552 Finished: 11466 Transitions: 70300
Started: 11562 Finished: 11481 Transitions: 70400
Started: 11572 Finished: 11506 Transitions: 70500
Started: 11587 Finished: 11525 Transitions: 70600
Started: 11598 Finished: 11543 Transitions: 70700
Started: 11612 Finished: 11561 Transitions: 70800
Started: 11626 Finished: 11579 Transitions: 70900
Started: 11637 Finished: 11595 Transitions: 71000
Started: 11646 Finished: 11605 Transitions: 71100
Started: 11657 Finished: 11615 Transitions: 71200
Started: 11666 Finished: 11624 Transitions: 71300
Started: 11675 Finished: 11649 Transitions: 71400
Started: 11697 Finished: 11682 Transitions: 71500
Started: 11719 Finished: 11698 Transitions: 71600
Started: 11741 Finished: 11716 Transitions: 71700
Started: 11759 Finished: 11738 Transitions: 71800
Started: 11777 Finished: 11760 Transitions: 71900
Started: 11795 Finished: 11782 Transitions: 72000
Started: 11807 Finished: 11798 Transitions: 72100
Started: 11916 Finished: 11813 Transitions: 72200
Started: 11926 Finished: 11824 Transitions: 72300
Started: 11946 Finished: 11835 Transitions: 72400
Started: 11958 Finished: 11847 Transitions: 72500
Started: 11969 Finished: 11859 Transitions: 72600
Started: 11989 Finished: 11870 Transitions: 72700
Started: 12001 Finished: 11882 Transitions: 72800
Started: 12011 Finished: 11894 Transitions: 72900
Started: 12031 Finished: 11904 Transitions: 73000
Started: 12043 Finished: 11916 Transitions: 73100
Started: 12063 Finished: 11928 Transitions: 73200
Started: 12074 Finished: 11939 Transitions: 73300
Started: 12086 Finished: 11951 Transitions: 73400
Started: 12107 Finished: 11963 Transitions: 73500
Started: 12117 Finished: 11974 Transitions: 73600
Started: 12137 Finished: 11985 Transitions: 73700
Started: 12149 Finished: 11997 Transitions: 73800
Started: 12160 Finished: 12009 Transitions: 73900
Started: 12180 Finished: 12020 Transitions: 74000
Started: 12192 Finished: 12032 Transitions: 74100
Started: 12202 Finished: 12044 Transitions: 74200
Started: 12262 Finished: 12049 Transitions: 74300
Started: 12286 Finished: 12092 Transitions: 74400
Started: 12311 Finished: 12134 Transitions: 74500
Started: 12344 Finished: 12177 Transitions: 74600
Started: 12354 Finished: 12207 Transitions: 74700
Started: 12372 Finished: 12237 Transitions: 74800
Started: 12389 Finished: 12268 Transitions: 74900
Started: 12402 Finished: 12296 Transitions: 75000
Started: 12422 Finished: 12330 Transitions: 75100
Started: 12446 Finished: 12368 Transitions: 75200
Started: 12466 Finished: 12402 Transitions: 75300
Started: 12483 Finished: 12433 Transitions: 75400
Started: 12500 Finished: 12462 Transitions: 75500
Started: 12512 Finished: 12474 Transitions: 75600
Started: 12524 Finished: 12486 Transitions: 75700
Started: 12549 Finished: 12510 Transitions: 75800
Started: 12646 Finished: 12566 Transitions: 75900
Started: 12660 Finished: 12575 Transitions: 76000
Started: 12670 Finished: 12585 Transitions: 76100
Started: 12683 Finished: 12596 Transitions: 76200
Started: 12695 Finished: 12606 Transitions: 76300
Started: 12705 Finished: 12615 Transitions: 76400
Started: 12721 Finished: 12626 Transitions: 76500
Started: 12731 Finished: 12636 Transitions: 76600
Started: 12742 Finished: 12647 Transitions: 76700
Started: 12757 Finished: 12657 Transitions: 76800
Started: 12766 Finished: 12668 Transitions: 76900
Started: 12777 Finished: 12678 Transitions: 77000
Started: 12792 Finished: 12688 Transitions: 77100
Started: 12803 Finished: 12698 Transitions: 77200
Started: 12813 Finished: 12708 Transitions: 77300
Started: 12829 Finished: 12719 Transitions: 77400
Started: 12839 Finished: 12729 Transitions: 77500
Started: 12850 Finished: 12740 Transitions: 77600
Started: 12865 Finished: 12750 Transitions: 77700
Started: 12874 Finished: 12760 Transitions: 77800
Started: 12885 Finished: 12770 Transitions: 77900
Started: 12900 Finished: 12780 Transitions: 78000
Started: 12911 Finished: 12791 Transitions: 78100
Started: 12921 Finished: 12801 Transitions: 78200
Started: 12951 Finished: 12806 Transitions: 78300
Started: 12973 Finished: 12821 Transitions: 78400
Started: 12994 Finished: 12848 Transitions: 78500
Started: 13014 Finished: 12876 Transitions: 78600
Started: 13035 Finished: 12903 Transitions: 78700
Started: 13045 Finished: 12930 Transitions: 78800
Started: 13055 Finished: 12949 Transitions: 78900
Started: 13072 Finished: 12970 Transitions: 79000
Started: 13082 Finished: 12990 Transitions: 79100
Started: 13099 Finished: 13012 Transitions: 79200
Started: 13114 Finished: 13035 Transitions: 79300
Started: 13124 Finished: 13060 Transitions: 79400
Started: 13140 Finished: 13082 Transitions: 79500
Started: 13156 Finished: 13104 Transitions: 79600
Started: 13172 Finished: 13126 Transitions: 79700
Started: 13186 Finished: 13143 Transitions: 79800
Started: 13195 Finished: 13153 Transitions: 79900
Started: 13205 Finished: 13163 Transitions: 80000
Started: 13219 Finished: 13180 Transitions: 80100
Started: 13282 Finished: 13197 Transitions: 80200
Started: 13293 Finished: 13208 Transitions: 80300
Started: 13310 Finished: 13220 Transitions: 80400
Started: 13322 Finished: 13232 Transitions: 80500
Started: 13332 Finished: 13243 Transitions: 80600
Started: 13349 Finished: 13254 Transitions: 80700
Started: 13361 Finished: 13266 Transitions: 80800
Started: 13372 Finished: 13278 Transitions: 80900
Started: 13389 Finished: 13289 Transitions: 81000
Started: 13401 Finished: 13301 Transitions: 81100
Started: 13416 Finished: 13313 Transitions: 81200
Started: 13428 Finished: 13323 Transitions: 81300
Started: 13440 Finished: 13335 Transitions: 81400
Started: 13457 Finished: 13347 Transitions: 81500
Started: 13468 Finished: 13358 Transitions: 81600
Started: 13485 Finished: 13370 Transitions: 81700
Started: 13497 Finished: 13382 Transitions: 81800
Started: 13507 Finished: 13393 Transitions: 81900
Started: 13524 Finished: 13404 Transitions: 82000
Started: 13536 Finished: 13416 Transitions: 82100
Started: 13547 Finished: 13428 Transitions: 82200
Started: 13588 Finished: 13431 Transitions: 82300
Started: 13612 Finished: 13465 Transitions: 82400
Started: 13639 Finished: 13502 Transitions: 82500
Started: 13660 Finished: 13540 Transitions: 82600
Started: 13677 Finished: 13565 Transitions: 82700
Started: 13691 Finished: 13590 Transitions: 82800
Started: 13706 Finished: 13614 Transitions: 82900
Started: 13724 Finished: 13639 Transitions: 83000
Started: 13740 Finished: 13674 Transitions: 83100
Started: 13763 Finished: 13703 Transitions: 83200
Started: 13780 Finished: 13729 Transitions: 83300
Started: 13803 Finished: 13758 Transitions: 83400
Started: 13814 Finished: 13771 Transitions: 83500
Started: 13825 Finished: 13783 Transitions: 83600
Started: 13837 Finished: 13797 Transitions: 83700
Started: 13898 Finished: 13814 Transitions: 83800
Started: 13907 Finished: 13823 Transitions: 83900
Started: 13916 Finished: 13832 Transitions: 84000
Started: 13925 Finished: 13842 Transitions: 84100
Started: 13939 Finished: 13851 Transitions: 84200
Started: 13949 Finished: 13860 Transitions: 84300
Started: 13958 Finished: 13869 Transitions: 84400
Started: 13972 Finished: 13878 Transitions: 84500
Started: 13981 Finished: 13887 Transitions: 84600
Started: 13990 Finished: 13897 Transitions: 84700
Started: 14004 Finished: 13907 Transitions: 84800
Started: 14015 Finished: 13916 Transitions: 84900
Started: 14024 Finished: 13925 Transitions: 85000
Started: 14038 Finished: 13934 Transitions: 85100
Started: 14047 Finished: 13943 Transitions: 85200
Started: 14056 Finished: 13953 Transitions: 85300
Started: 14066 Finished: 13962 Transitions: 85400
Started: 14080 Finished: 13971 Transitions: 85500
Started: 14089 Finished: 13980 Transitions: 85600
Started: 14098 Finished: 13989 Transitions: 85700
Started: 14112 Finished: 13998 Transitions: 85800
Started: 14121 Finished: 14008 Transitions: 85900
Started: 14132 Finished: 14018 Transitions: 86000
Started: 14146 Finished: 14027 Transitions: 86100
Started: 14155 Finished: 14036 Transitions: 86200
Started: 14164 Finished: 14045 Transitions: 86300
Started: 14185 Finished: 14054 Transitions: 86400
Started: 14207 Finished: 14054 Transitions: 86500
Started: 14223 Finished: 14071 Transitions: 86600
Started: 14240 Finished: 14094 Transitions: 86700
Started: 14257 Finished: 14117 Transitions: 86800
Started: 14273 Finished: 14139 Transitions: 86900
Started: 14283 Finished: 14164 Transitions: 87000
Started: 14293 Finished: 14181 Transitions: 87100
Started: 14306 Finished: 14200 Transitions: 87200
Started: 14319 Finished: 14218 Transitions: 87300
Started: 14329 Finished: 14235 Transitions: 87400
Started: 14338 Finished: 14253 Transitions: 87500
Started: 14351 Finished: 14270 Transitions: 87600
Started: 14363 Finished: 14297 Transitions: 87700
Started: 14376 Finished: 14314 Transitions: 87800
Started: 14388 Finished: 14333 Transitions: 87900
Started: 14403 Finished: 14352 Transitions: 88000
Started: 14416 Finished: 14370 Transitions: 88100
Started: 14428 Finished: 14386 Transitions: 88200
Started: 14437 Finished: 14395 Transitions: 88300
Started: 14446 Finished: 14404 Transitions: 88400
Started: 14455 Finished: 14415 Transitions: 88500
Started: 14466 Finished: 14437 Transitions: 88600
Started: 14573 Finished: 14469 Transitions: 88700
Started: 14583 Finished: 14480 Transitions: 88800
Started: 14603 Finished: 14491 Transitions: 88900
Started: 14623 Finished: 14503 Transitions: 89000
Started: 14635 Finished: 14515 Transitions: 89100
Started: 14654 Finished: 14526 Transitions: 89200
Started: 14674 Finished: 14538 Transitions: 89300
Started: 14686 Finished: 14550 Transitions: 89400
Started: 14704 Finished: 14560 Transitions: 89500
Started: 14724 Finished: 14572 Transitions: 89600
Started: 14736 Finished: 14584 Transitions: 89700
Started: 14755 Finished: 14595 Transitions: 89800
Started: 14782 Finished: 14607 Transitions: 89900
Started: 14834 Finished: 14626 Transitions: 90000
Started: 14856 Finished: 14663 Transitions: 90100
Started: 14879 Finished: 14701 Transitions: 90200
Started: 14907 Finished: 14743 Transitions: 90300
Started: 14917 Finished: 14757 Transitions: 90400
Started: 14931 Finished: 14779 Transitions: 90500
Started: 14941 Finished: 14794 Transitions: 90600
Started: 14956 Finished: 14812 Transitions: 90700
Started: 14970 Finished: 14834 Transitions: 90800
Started: 14982 Finished: 14846 Transitions: 90900
Started: 14995 Finished: 14867 Transitions: 91000
Started: 15008 Finished: 14886 Transitions: 91100
Started: 15021 Finished: 14901 Transitions: 91200
Started: 15034 Finished: 14923 Transitions: 91300
Started: 15046 Finished: 14934 Transitions: 91400
Started: 15060 Finished: 14956 Transitions: 91500
Started: 15075 Finished: 14978 Transitions: 91600
Started: 15102 Finished: 15018 Transitions: 91700
Started: 15118 Finished: 15049 Transitions: 91800
Started: 15137 Finished: 15083 Transitions: 91900
Started: 15157 Finished: 15116 Transitions: 92000
Started: 15168 Finished: 15130 Transitions: 92100
Started: 15179 Finished: 15142 Transitions: 92200
Started: 15190 Finished: 15157 Transitions: 92300
Started: 15258 Finished: 15215 Transitions: 92400
Started: 15317 Finished: 15232 Transitions: 92500
Started: 15333 Finished: 15243 Transitions: 92600
Started: 15343 Finished: 15253 Transitions: 92700
Started: 15359 Finished: 15264 Transitions: 92800
Started: 15369 Finished: 15274 Transitions: 92900
Started: 15383 Finished: 15285 Transitions: 93000
Started: 15394 Finished: 15295 Transitions: 93100
Started: 15409 Finished: 15305 Transitions: 93200
Started: 15425 Finished: 15315 Transitions: 93300
Started: 15435 Finished: 15325 Transitions: 93400
Started: 15451 Finished: 15336 Transitions: 93500
Started: 15461 Finished: 15346 Transitions: 93600
Started: 15477 Finished: 15357 Transitions: 93700
Started: 15487 Finished: 15367 Transitions: 93800
Started: 15532 Finished: 15376 Transitions: 93900
Started: 15550 Finished: 15401 Transitions: 94000
Started: 15566 Finished: 15425 Transitions: 94100
Started: 15584 Finished: 15450 Transitions: 94200
Started: 15598 Finished: 15477 Transitions: 94300
Started: 15607 Finished: 15487 Transitions: 94400
Started: 15620 Finished: 15505 Transitions: 94500
Started: 15629 Finished: 15515 Transitions: 94600
Started: 15641 Finished: 15533 Transitions: 94700
Started: 15652 Finished: 15543 Transitions: 94800
Started: 15665 Finished: 15560 Transitions: 94900
Started: 15674 Finished: 15570 Transitions: 95000
Started: 15688 Finished: 15588 Transitions: 95100
Started: 15697 Finished: 15601 Transitions: 95200
Started: 15710 Finished: 15615 Transitions: 95300
Started: 15722 Finished: 15630 Transitions: 95400
Started: 15733 Finished: 15643 Transitions: 95500
Started: 15745 Finished: 15660 Transitions: 95600
Started: 15755 Finished: 15670 Transitions: 95700
Started: 15768 Finished: 15690 Transitions: 95800
Started: 15781 Finished: 15715 Transitions: 95900
Started: 15797 Finished: 15737 Transitions: 96000
Started: 15812 Finished: 15758 Transitions: 96100
Started: 15828 Finished: 15780 Transitions: 96200
Started: 15841 Finished: 15798 Transitions: 96300
Started: 15851 Finished: 15808 Transitions: 96400
Started: 15862 Finished: 15819 Transitions: 96500
Started: 15872 Finished: 15832 Transitions: 96600
Started: 15938 Finished: 15853 Transitions: 96700
Started: 15949 Finished: 15864 Transitions: 96800
Started: 15966 Finished: 15876 Transitions: 96900
Started: 15983 Finished: 15888 Transitions: 97000
Started: 15993 Finished: 15899 Transitions: 97100
Started: 16010 Finished: 15910 Transitions: 97200
Started: 16027 Finished: 15922 Transitions: 97300
Started: 16039 Finished: 15934 Transitions: 97400
Started: 16055 Finished: 15945 Transitions: 97500
Started: 16072 Finished: 15957 Transitions: 97600
Started: 16084 Finished: 15969 Transitions: 97700
Started: 16099 Finished: 15979 Transitions: 97800
Started: 16111 Finished: 15991 Transitions: 97900
Started: 16158 Finished: 16004 Transitions: 98000
Started: 16182 Finished: 16037 Transitions: 98100
Started: 16206 Finished: 16070 Transitions: 98200
Started: 16223 Finished: 16103 Transitions: 98300
Started: 16234 Finished: 16114 Transitions: 98400
Started: 16249 Finished: 16134 Transitions: 98500
Started: 16263 Finished: 16151 Transitions: 98600
Started: 16274 Finished: 16164 Transitions: 98700
Started: 16288 Finished: 16183 Transitions: 98800
Started: 16299 Finished: 16197 Transitions: 98900
Started: 16313 Finished: 16214 Transitions: 99000
Started: 16328 Finished: 16233 Transitions: 99100
Started: 16340 Finished: 16245 Transitions: 99200
Started: 16354 Finished: 16264 Transitions: 99300
Started: 16369 Finished: 16283 Transitions: 99400
Started: 16379 Finished: 16294 Transitions: 99500
Started: 16398 Finished: 16324 Transitions: 99600
Started: 16414 Finished: 16353 Transitions: 99700
Started: 16434 Finished: 16381 Transitions: 99800
Started: 16454 Finished: 16408 Transitions: 99900
Started: 16469 Finished: 16426 Transitions: 100000
Started: 16480 Finished: 16437 Transitions: 100100
Started: 16492 Finished: 16449 Transitions: 100200
Started: 16543 Finished: 16473 Transitions: 100300
Started: 16564 Finished: 16480 Transitions: 100400
Started: 16573 Finished: 16489 Transitions: 100500
Started: 16587 Finished: 16498 Transitions: 100600
Started: 16596 Finished: 16507 Transitions: 100700
Started: 16610 Finished: 16516 Transitions: 100800
Started: 16619 Finished: 16525 Transitions: 100900
Started: 16633 Finished: 16534 Transitions: 101000
Started: 16642 Finished: 16544 Transitions: 101100
Started: 16656 Finished: 16554 Transitions: 101200
Started: 16672 Finished: 16563 Transitions: 101300
Started: 16681 Finished: 16572 Transitions: 101400
Started: 16695 Finished: 16581 Transitions: 101500
Started: 16704 Finished: 16590 Transitions: 101600
Started: 16718 Finished: 16599 Transitions: 101700
Started: 16727 Finished: 16609 Transitions: 101800
Started: 16749 Finished: 16617 Transitions: 101900
Started: 16775 Finished: 16620 Transitions: 102000
Started: 16790 Finished: 16641 Transitions: 102100
Started: 16806 Finished: 16662 Transitions: 102200
Started: 16822 Finished: 16683 Transitions: 102300
Started: 16838 Finished: 16704 Transitions: 102400
Started: 16847 Finished: 16728 Transitions: 102500
Started: 16856 Finished: 16737 Transitions: 102600
Started: 16867 Finished: 16753 Transitions: 102700
Started: 16876 Finished: 16762 Transitions: 102800
Started: 16888 Finished: 16779 Transitions: 102900
Started: 16897 Finished: 16788 Transitions: 103000
Started: 16908 Finished: 16802 Transitions: 103100
Started: 16916 Finished: 16812 Transitions: 103200
Started: 16928 Finished: 16827 Transitions: 103300
Started: 16937 Finished: 16838 Transitions: 103400
Started: 16947 Finished: 16851 Transitions: 103500
Started: 16957 Finished: 16864 Transitions: 103600
Started: 16967 Finished: 16876 Transitions: 103700
Started: 16978 Finished: 16889 Transitions: 103800
Started: 16986 Finished: 16901 Transitions: 103900
Started: 16997 Finished: 16915 Transitions: 104000
Started: 17006 Finished: 16926 Transitions: 104100
Started: 17022 Finished: 16947 Transitions: 104200
Started: 17030 Finished: 16968 Transitions: 104300
Started: 17045 Finished: 16986 Transitions: 104400
Started: 17057 Finished: 17004 Transitions: 104500
Started: 17070 Finished: 17022 Transitions: 104600
Started: 17085 Finished: 17041 Transitions: 104700
Started: 17093 Finished: 17051 Transitions: 104800
Started: 17102 Finished: 17061 Transitions: 104900
Started: 17113 Finished: 17071 Transitions: 105000
Started: 17124 Finished: 17085 Transitions: 105100
Started: 17145 Finished: 17122 Transitions: 105200
Started: 17163 Finished: 17144 Transitions: 105300
Started: 17261 Finished: 17166 Transitions: 105400
Started: 17279 Finished: 17176 Transitions: 105500
Started: 17291 Finished: 17188 Transitions: 105600
Started: 17310 Finished: 17199 Transitions: 105700
Started: 17322 Finished: 17211 Transitions: 105800
Started: 17342 Finished: 17223 Transitions: 105900
Started: 17352 Finished: 17234 Transitions: 106000
Started: 17364 Finished: 17245 Transitions: 106100
Started: 17384 Finished: 17257 Transitions: 106200
Started: 17396 Finished: 17269 Transitions: 106300
Started: 17415 Finished: 17280 Transitions: 106400
Started: 17427 Finished: 17292 Transitions: 106500
Started: 17447 Finished: 17304 Transitions: 106600
Started: 17457 Finished: 17314 Transitions: 106700
Started: 17469 Finished: 17326 Transitions: 106800
Started: 17489 Finished: 17338 Transitions: 106900
Started: 17500 Finished: 17349 Transitions: 107000
Started: 17521 Finished: 17361 Transitions: 107100
Started: 17533 Finished: 17373 Transitions: 107200
Started: 17562 Finished: 17382 Transitions: 107300
Started: 17607 Finished: 17397 Transitions: 107400
Started: 17631 Finished: 17439 Transitions: 107500
Started: 17655 Finished: 17479 Transitions: 107600
Started: 17683 Finished: 17523 Transitions: 107700
Started: 17697 Finished: 17546 Transitions: 107800
Started: 17710 Finished: 17567 Transitions: 107900
Started: 17723 Finished: 17594 Transitions: 108000
Started: 17741 Finished: 17619 Transitions: 108100
Started: 17754 Finished: 17643 Transitions: 108200
Started: 17767 Finished: 17665 Transitions: 108300
Started: 17797 Finished: 17700 Transitions: 108400
Started: 17813 Finished: 17736 Transitions: 108500
Started: 17829 Finished: 17767 Transitions: 108600
Started: 17848 Finished: 17801 Transitions: 108700
Started: 17865 Finished: 17827 Transitions: 108800
Started: 17876 Finished: 17838 Transitions: 108900
Started: 17888 Finished: 17850 Transitions: 109000
Started: 17911 Finished: 17880 Transitions: 109100
Started: 18013 Finished: 17928 Transitions: 109200
Started: 18023 Finished: 17938 Transitions: 109300
Started: 18032 Finished: 17948 Transitions: 109400
Started: 18048 Finished: 17958 Transitions: 109500
Started: 18058 Finished: 17968 Transitions: 109600
Started: 18069 Finished: 17979 Transitions: 109700
Started: 18084 Finished: 17989 Transitions: 109800
Started: 18095 Finished: 18000 Transitions: 109900
Started: 18110 Finished: 18010 Transitions: 110000
Started: 18119 Finished: 18020 Transitions: 110100
Started: 18130 Finished: 18030 Transitions: 110200
Started: 18145 Finished: 18040 Transitions: 110300
Started: 18156 Finished: 18051 Transitions: 110400
Started: 18166 Finished: 18061 Transitions: 110500
Started: 18182 Finished: 18072 Transitions: 110600
Started: 18192 Finished: 18082 Transitions: 110700
Started: 18206 Finished: 18092 Transitions: 110800
Started: 18217 Finished: 18102 Transitions: 110900
Started: 18227 Finished: 18112 Transitions: 111000
Started: 18243 Finished: 18123 Transitions: 111100
Started: 18253 Finished: 18133 Transitions: 111200
Started: 18264 Finished: 18144 Transitions: 111300
Started: 18301 Finished: 18144 Transitions: 111400
Started: 18318 Finished: 18169 Transitions: 111500
Started: 18339 Finished: 18195 Transitions: 111600
Started: 18358 Finished: 18223 Transitions: 111700
Started: 18373 Finished: 18254 Transitions: 111800
Started: 18386 Finished: 18271 Transitions: 111900
Started: 18398 Finished: 18288 Transitions: 112000
Started: 18410 Finished: 18305 Transitions: 112100
Started: 18422 Finished: 18323 Transitions: 112200
Started: 18436 Finished: 18341 Transitions: 112300
Started: 18448 Finished: 18358 Transitions: 112400
Started: 18460 Finished: 18375 Transitions: 112500
Started: 18477 Finished: 18400 Transitions: 112600
Started: 18488 Finished: 18425 Transitions: 112700
Started: 18504 Finished: 18447 Transitions: 112800
Started: 18520 Finished: 18469 Transitions: 112900
Started: 18536 Finished: 18491 Transitions: 113000
Started: 18548 Finished: 18505 Transitions: 113100
Started: 18559 Finished: 18516 Transitions: 113200
Started: 18569 Finished: 18526 Transitions: 113300
Started: 18580 Finished: 18548 Transitions: 113400
Started: 18646 Finished: 18561 Transitions: 113500
Started: 18658 Finished: 18573 Transitions: 113600
Started: 18673 Finished: 18583 Transitions: 113700
Started: 18685 Finished: 18595 Transitions: 113800
Started: 18702 Finished: 18607 Transitions: 113900
Started: 18713 Finished: 18618 Transitions: 114000
Started: 18725 Finished: 18630 Transitions: 114100
Started: 18742 Finished: 18642 Transitions: 114200
Started: 18752 Finished: 18653 Transitions: 114300
Started: 18769 Finished: 18664 Transitions: 114400
Started: 18781 Finished: 18676 Transitions: 114500
Started: 18798 Finished: 18688 Transitions: 114600
Started: 18809 Finished: 18699 Transitions: 114700
Started: 18821 Finished: 18711 Transitions: 114800
Started: 18838 Finished: 18723 Transitions: 114900
Started: 18848 Finished: 18733 Transitions: 115000
Started: 18865 Finished: 18745 Transitions: 115100
Started: 18877 Finished: 18757 Transitions: 115200
Started: 18901 Finished: 18768 Transitions: 115300
Started: 18931 Finished: 18776 Transitions: 115400
Started: 18957 Finished: 18811 Transitions: 115500
Started: 18982 Finished: 18847 Transitions: 115600
Started: 19000 Finished: 18880 Transitions: 115700
Started: 19013 Finished: 18899 Transitions: 115800
Started: 19030 Finished: 18923 Transitions: 115900
Started: 19045 Finished: 18945 Transitions: 116000
Started: 19058 Finished: 18965 Transitions: 116100
Started: 19073 Finished: 18983 Transitions: 116200
Started: 19088 Finished: 19006 Transitions: 116300
Started: 19107 Finished: 19041 Transitions: 116400
Started: 19125 Finished: 19067 Transitions: 116500
Started: 19147 Finished: 19096 Transitions: 116600
Started: 19165 Finished: 19123 Transitions: 116700
Started: 19177 Finished: 19134 Transitions: 116800
Started: 19189 Finished: 19146 Transitions: 116900
Started: 19204 Finished: 19164 Transitions: 117000
Started: 19261 Finished: 19177 Transitions: 117100
Started: 19270 Finished: 19186 Transitions: 117200
Started: 19279 Finished: 19195 Transitions: 117300
Started: 19293 Finished: 19204 Transitions: 117400
Started: 19302 Finished: 19213 Transitions: 117500
Started: 19313 Finished: 19224 Transitions: 117600
Started: 19327 Finished: 19233 Transitions: 117700
Started: 19336 Finished: 19242 Transitions: 117800
Started: 19345 Finished: 19251 Transitions: 117900
Started: 19359 Finished: 19260 Transitions: 118000
Started: 19368 Finished: 19269 Transitions: 118100
Started: 19378 Finished: 19279 Transitions: 118200
Started: 19392 Finished: 19288 Transitions: 118300
Started: 19401 Finished: 19297 Transitions: 118400
Started: 19410 Finished: 19306 Transitions: 118500
Started: 19424 Finished: 19315 Transitions: 118600
Started: 19433 Finished: 19324 Transitions: 118700
Started: 19444 Finished: 19335 Transitions: 118800
Started: 19458 Finished: 19344 Transitions: 118900
Started: 19467 Finished: 19353 Transitions: 119000
Started: 19476 Finished: 19362 Transitions: 119100
Started: 19490 Finished: 19371 Transitions: 119200
Started: 19499 Finished: 19381 Transitions: 119300
Started: 19509 Finished: 19390 Transitions: 119400
Started: 19536 Finished: 19392 Transitions: 119500
Started: 19556 Finished: 19401 Transitions: 119600
Started: 19573 Finished: 19424 Transitions: 119700
Started: 19589 Finished: 19446 Transitions: 119800
Started: 19605 Finished: 19469 Transitions: 119900
Started: 19621 Finished: 19492 Transitions: 120000
Started: 19628 Finished: 19512 Transitions: 120100
Started: 19638 Finished: 19527 Transitions: 120200
Started: 19649 Finished: 19540 Transitions: 120300
Started: 19661 Finished: 19557 Transitions: 120400
Started: 19672 Finished: 19573 Transitions: 120500
Started: 19682 Finished: 19588 Transitions: 120600
Started: 19694 Finished: 19605 Transitions: 120700
Started: 19705 Finished: 19621 Transitions: 120800
Started: 19717 Finished: 19636 Transitions: 120900
Started: 19726 Finished: 19661 Transitions: 121000
Started: 19741 Finished: 19680 Transitions: 121100
Started: 19754 Finished: 19698 Transitions: 121200
Started: 19766 Finished: 19716 Transitions: 121300
Started: 19781 Finished: 19735 Transitions: 121400
Started: 19792 Finished: 19750 Transitions: 121500
Started: 19801 Finished: 19759 Transitions: 121600
Started: 19810 Finished: 19769 Transitions: 121700
Started: 19820 Finished: 19778 Transitions: 121800
Started: 19828 Finished: 19808 Transitions: 121900
Started: 19850 Finished: 19837 Transitions: 122000
Started: 19965 Finished: 19853 Transitions: 122100
Started: 19993 Finished: 19865 Transitions: 122200
Started: 20021 Finished: 19877 Transitions: 122300
Started: 20039 Finished: 19888 Transitions: 122400
Started: 20117 Finished: 19903 Transitions: 122500
Started: 20136 Finished: 19937 Transitions: 122600
Started: 20155 Finished: 19971 Transitions: 122700
Started: 20176 Finished: 20006 Transitions: 122800
Started: 20198 Finished: 20038 Transitions: 122900
Started: 20210 Finished: 20050 Transitions: 123000
Started: 20220 Finished: 20062 Transitions: 123100
Started: 20235 Finished: 20083 Transitions: 123200
Started: 20247 Finished: 20095 Transitions: 123300
Started: 20261 Finished: 20117 Transitions: 123400
Started: 20271 Finished: 20128 Transitions: 123500
Started: 20283 Finished: 20139 Transitions: 123600
Started: 20297 Finished: 20161 Transitions: 123700
Started: 20309 Finished: 20173 Transitions: 123800
Started: 20319 Finished: 20187 Transitions: 123900
Started: 20334 Finished: 20206 Transitions: 124000
Started: 20346 Finished: 20218 Transitions: 124100
Started: 20360 Finished: 20240 Transitions: 124200
Started: 20372 Finished: 20252 Transitions: 124300
Started: 20382 Finished: 20262 Transitions: 124400
Started: 20397 Finished: 20285 Transitions: 124500
Started: 20408 Finished: 20296 Transitions: 124600
Started: 20418 Finished: 20311 Transitions: 124700
Started: 20433 Finished: 20329 Transitions: 124800
Started: 20445 Finished: 20341 Transitions: 124900
Started: 20459 Finished: 20363 Transitions: 125000
Started: 20486 Finished: 20403 Transitions: 125100
Started: 20502 Finished: 20434 Transitions: 125200
Started: 20522 Finished: 20468 Transitions: 125300
Started: 20542 Finished: 20501 Transitions: 125400
Started: 20552 Finished: 20513 Transitions: 125500
Started: 20564 Finished: 20525 Transitions: 125600
Started: 20575 Finished: 20542 Transitions: 125700
Started: 20638 Finished: 20601 Transitions: 125800
Started: 20705 Finished: 20615 Transitions: 125900
Started: 20720 Finished: 20625 Transitions: 126000
Started: 20739 Finished: 20634 Transitions: 126100
Started: 20760 Finished: 20645 Transitions: 126200
Started: 20774 Finished: 20654 Transitions: 126300
Started: 20821 Finished: 20666 Transitions: 126400
Started: 20838 Finished: 20689 Transitions: 126500
Started: 20854 Finished: 20712 Transitions: 126600
Started: 20870 Finished: 20734 Transitions: 126700
Started: 20886 Finished: 20762 Transitions: 126800
Started: 20895 Finished: 20775 Transitions: 126900
Started: 20905 Finished: 20785 Transitions: 127000
Started: 20918 Finished: 20801 Transitions: 127100
Started: 20928 Finished: 20813 Transitions: 127200
Started: 20938 Finished: 20823 Transitions: 127300
Started: 20951 Finished: 20840 Transitions: 127400
Started: 20961 Finished: 20851 Transitions: 127500
Started: 20971 Finished: 20861 Transitions: 127600
Started: 20985 Finished: 20878 Transitions: 127700
Started: 20994 Finished: 20889 Transitions: 127800
Started: 21004 Finished: 20899 Transitions: 127900
Started: 21018 Finished: 20917 Transitions: 128000
Started: 21027 Finished: 20927 Transitions: 128100
Started: 21037 Finished: 20937 Transitions: 128200
Started: 21051 Finished: 20955 Transitions: 128300
Started: 21060 Finished: 20966 Transitions: 128400
Started: 21070 Finished: 20976 Transitions: 128500
Started: 21084 Finished: 20994 Transitions: 128600
Started: 21094 Finished: 21004 Transitions: 128700
Started: 21103 Finished: 21014 Transitions: 128800
Started: 21117 Finished: 21032 Transitions: 128900
Started: 21127 Finished: 21042 Transitions: 129000
Started: 21137 Finished: 21053 Transitions: 129100
Started: 21150 Finished: 21070 Transitions: 129200
Started: 21163 Finished: 21097 Transitions: 129300
Started: 21179 Finished: 21119 Transitions: 129400
Started: 21194 Finished: 21141 Transitions: 129500
Started: 21210 Finished: 21162 Transitions: 129600
Started: 21225 Finished: 21182 Transitions: 129700
Started: 21235 Finished: 21192 Transitions: 129800
Started: 21244 Finished: 21203 Transitions: 129900
Started: 21255 Finished: 21216 Transitions: 130000
Started: 21322 Finished: 21237 Transitions: 130100
Started: 21344 Finished: 21249 Transitions: 130200
Started: 21366 Finished: 21261 Transitions: 130300
Started: 21387 Finished: 21272 Transitions: 130400
Started: 21439 Finished: 21283 Transitions: 130500
Started: 21462 Finished: 21313 Transitions: 130600
Started: 21482 Finished: 21341 Transitions: 130700
Started: 21502 Finished: 21369 Transitions: 130800
Started: 21514 Finished: 21396 Transitions: 130900
Started: 21526 Finished: 21406 Transitions: 131000
Started: 21540 Finished: 21423 Transitions: 131100
Started: 21552 Finished: 21437 Transitions: 131200
Started: 21564 Finished: 21449 Transitions: 131300
Started: 21577 Finished: 21469 Transitions: 131400
Started: 21589 Finished: 21479 Transitions: 131500
Started: 21601 Finished: 21491 Transitions: 131600
Started: 21615 Finished: 21510 Transitions: 131700
Started: 21627 Finished: 21522 Transitions: 131800
Started: 21642 Finished: 21541 Transitions: 131900
Started: 21652 Finished: 21552 Transitions: 132000
Started: 21664 Finished: 21564 Transitions: 132100
Started: 21678 Finished: 21583 Transitions: 132200
Started: 21690 Finished: 21595 Transitions: 132300
Started: 21700 Finished: 21608 Transitions: 132400
Started: 21715 Finished: 21625 Transitions: 132500
Started: 21727 Finished: 21637 Transitions: 132600
Started: 21741 Finished: 21656 Transitions: 132700
Started: 21753 Finished: 21668 Transitions: 132800
Started: 21765 Finished: 21680 Transitions: 132900
Started: 21782 Finished: 21709 Transitions: 133000
Started: 21798 Finished: 21737 Transitions: 133100
Started: 21819 Finished: 21766 Transitions: 133200
Started: 21838 Finished: 21792 Transitions: 133300
Started: 21853 Finished: 21810 Transitions: 133400
Started: 21865 Finished: 21822 Transitions: 133500
Started: 21876 Finished: 21833 Transitions: 133600
Started: 21928 Finished: 21857 Transitions: 133700
Started: 21953 Finished: 21864 Transitions: 133800
Started: 21967 Finished: 21873 Transitions: 133900
Started: 21985 Finished: 21881 Transitions: 134000
Started: 21999 Finished: 21890 Transitions: 134100
Started: 22018 Finished: 21899 Transitions: 134200
Started: 22049 Finished: 21905 Transitions: 134300
Started: 22071 Finished: 21919 Transitions: 134400
Started: 22086 Finished: 21939 Transitions: 134500
Started: 22100 Finished: 21957 Transitions: 134600
Started: 22113 Finished: 21977 Transitions: 134700
Started: 22127 Finished: 21996 Transitions: 134800
Started: 22137 Finished: 22018 Transitions: 134900
Started: 22146 Finished: 22027 Transitions: 135000
Started: 22155 Finished: 22036 Transitions: 135100
Started: 22167 Finished: 22053 Transitions: 135200
Started: 22176 Finished: 22062 Transitions: 135300
Started: 22185 Finished: 22071 Transitions: 135400
Started: 22194 Finished: 22083 Transitions: 135500
Started: 22206 Finished: 22097 Transitions: 135600
Started: 22215 Finished: 22106 Transitions: 135700
Started: 22224 Finished: 22115 Transitions: 135800
Started: 22236 Finished: 22132 Transitions: 135900
Started: 22245 Finished: 22141 Transitions: 136000
Started: 22254 Finished: 22150 Transitions: 136100
Started: 22266 Finished: 22166 Transitions: 136200
Started: 22275 Finished: 22176 Transitions: 136300
Started: 22284 Finished: 22185 Transitions: 136400
Started: 22293 Finished: 22197 Transitions: 136500
Started: 22305 Finished: 22211 Transitions: 136600
Started: 22314 Finished: 22220 Transitions: 136700
Started: 22323 Finished: 22229 Transitions: 136800
Started: 22333 Finished: 22246 Transitions: 136900
Started: 22344 Finished: 22255 Transitions: 137000
Started: 22353 Finished: 22264 Transitions: 137100
Started: 22365 Finished: 22279 Transitions: 137200
Started: 22374 Finished: 22290 Transitions: 137300
Started: 22383 Finished: 22299 Transitions: 137400
Started: 22391 Finished: 22311 Transitions: 137500
Started: 22406 Finished: 22331 Transitions: 137600
Started: 22415 Finished: 22353 Transitions: 137700
Started: 22430 Finished: 22372 Transitions: 137800
Started: 22442 Finished: 22389 Transitions: 137900
Started: 22454 Finished: 22407 Transitions: 138000
Started: 22470 Finished: 22426 Transitions: 138100
Started: 22477 Finished: 22437 Transitions: 138200
Started: 22488 Finished: 22446 Transitions: 138300
Started: 22497 Finished: 22455 Transitions: 138400
Started: 22509 Finished: 22470 Transitions: 138500
Started: 22529 Finished: 22506 Transitions: 138600
Started: 22549 Finished: 22528 Transitions: 138700
Started: 22567 Finished: 22550 Transitions: 138800
Started: 22575 Finished: 22568 Transitions: 138900
Started: 22597 Finished: 22587 Transitions: 139000
Started: 22619 Finished: 22606 Transitions: 139100
Started: 22641 Finished: 22625 Transitions: 139200
Started: 22663 Finished: 22643 Transitions: 139300
Started: 22685 Finished: 22660 Transitions: 139400
Started: 22703 Finished: 22682 Transitions: 139500
Started: 22723 Finished: 22704 Transitions: 139600
Started: 22741 Finished: 22726 Transitions: 139700
Started: 22751 Finished: 22742 Transitions: 139800
Started: 22773 Finished: 22762 Transitions: 139900
Started: 22795 Finished: 22782 Transitions: 140000
Started: 22817 Finished: 22800 Transitions: 140100
Started: 22839 Finished: 22814 Transitions: 140200
Started: 22861 Finished: 22836 Transitions: 140300
Started: 22881 Finished: 22858 Transitions: 140400
Started: 22983 Finished: 22880 Transitions: 140500
Started: 22995 Finished: 22892 Transitions: 140600
Started: 23013 Finished: 22903 Transitions: 140700
Started: 23025 Finished: 22914 Transitions: 140800
Started: 23045 Finished: 22926 Transitions: 140900
Started: 23057 Finished: 22938 Transitions: 141000
Started: 23076 Finished: 22949 Transitions: 141100
Started: 23088 Finished: 22961 Transitions: 141200
Started: 23108 Finished: 22973 Transitions: 141300
Started: 23118 Finished: 22983 Transitions: 141400
Started: 23138 Finished: 22995 Transitions: 141500
Started: 23159 Finished: 23007 Transitions: 141600
Started: 23170 Finished: 23018 Transitions: 141700
Started: 23190 Finished: 23030 Transitions: 141800
Started: 23202 Finished: 23042 Transitions: 141900
Started: 23259 Finished: 23048 Transitions: 142000
Started: 23283 Finished: 23082 Transitions: 142100
Started: 23305 Finished: 23121 Transitions: 142200
Started: 23329 Finished: 23159 Transitions: 142300
Started: 23352 Finished: 23192 Transitions: 142400
Started: 23366 Finished: 23214 Transitions: 142500
Started: 23376 Finished: 23226 Transitions: 142600
Started: 23391 Finished: 23248 Transitions: 142700
Started: 23405 Finished: 23270 Transitions: 142800
Started: 23419 Finished: 23290 Transitions: 142900
Started: 23430 Finished: 23303 Transitions: 143000
Started: 23444 Finished: 23325 Transitions: 143100
Started: 23457 Finished: 23346 Transitions: 143200
Started: 23471 Finished: 23365 Transitions: 143300
Started: 23483 Finished: 23380 Transitions: 143400
Started: 23511 Finished: 23418 Transitions: 143500
Started: 23527 Finished: 23453 Transitions: 143600
Started: 23544 Finished: 23485 Transitions: 143700
Started: 23565 Finished: 23518 Transitions: 143800
Started: 23579 Finished: 23541 Transitions: 143900
Started: 23591 Finished: 23553 Transitions: 144000
Started: 23603 Finished: 23565 Transitions: 144100
Started: 23648 Finished: 23600 Transitions: 144200
Started: 23727 Finished: 23642 Transitions: 144300
Started: 23737 Finished: 23652 Transitions: 144400
Started: 23753 Finished: 23663 Transitions: 144500
Started: 23763 Finished: 23673 Transitions: 144600
Started: 23779 Finished: 23684 Transitions: 144700
Started: 23789 Finished: 23694 Transitions: 144800
Started: 23798 Finished: 23705 Transitions: 144900
Started: 23814 Finished: 23714 Transitions: 145000
Started: 23824 Finished: 23724 Transitions: 145100
Started: 23840 Finished: 23735 Transitions: 145200
Started: 23850 Finished: 23745 Transitions: 145300
Started: 23866 Finished: 23756 Transitions: 145400
Started: 23875 Finished: 23766 Transitions: 145500
Started: 23890 Finished: 23776 Transitions: 145600
Started: 23901 Finished: 23786 Transitions: 145700
Started: 23916 Finished: 23796 Transitions: 145800
Started: 23927 Finished: 23807 Transitions: 145900
Started: 23964 Finished: 23810 Transitions: 146000
Started: 23983 Finished: 23833 Transitions: 146100
Started: 24003 Finished: 23859 Transitions: 146200
Started: 24022 Finished: 23884 Transitions: 146300
Started: 24039 Finished: 23912 Transitions: 146400
Started: 24046 Finished: 23928 Transitions: 146500
Started: 24060 Finished: 23945 Transitions: 146600
Started: 24070 Finished: 23959 Transitions: 146700
Started: 24082 Finished: 23972 Transitions: 146800
Started: 24094 Finished: 23989 Transitions: 146900
Started: 24104 Finished: 24003 Transitions: 147000
Started: 24117 Finished: 24017 Transitions: 147100
Started: 24130 Finished: 24035 Transitions: 147200
Started: 24139 Finished: 24046 Transitions: 147300
Started: 24153 Finished: 24063 Transitions: 147400
Started: 24165 Finished: 24080 Transitions: 147500
Started: 24175 Finished: 24090 Transitions: 147600
Started: 24191 Finished: 24117 Transitions: 147700
Started: 24204 Finished: 24142 Transitions: 147800
Started: 24220 Finished: 24164 Transitions: 147900
Started: 24236 Finished: 24185 Transitions: 148000
Started: 24252 Finished: 24207 Transitions: 148100
Started: 24262 Finished: 24220 Transitions: 148200
Started: 24273 Finished: 24230 Transitions: 148300
Started: 24283 Finished: 24240 Transitions: 148400
Started: 24294 Finished: 24266 Transitions: 148500
Started: 24361 Finished: 24276 Transitions: 148600
Started: 24377 Finished: 24287 Transitions: 148700
Started: 24389 Finished: 24299 Transitions: 148800
Started: 24406 Finished: 24311 Transitions: 148900
Started: 24416 Finished: 24322 Transitions: 149000
Started: 24433 Finished: 24333 Transitions: 149100
Started: 24445 Finished: 24345 Transitions: 149200
Started: 24462 Finished: 24357 Transitions: 149300
Started: 24473 Finished: 24368 Transitions: 149400
Started: 24490 Finished: 24380 Transitions: 149500
Started: 24507 Finished: 24392 Transitions: 149600
Started: 24517 Finished: 24402 Transitions: 149700
Started: 24534 Finished: 24414 Transitions: 149800
Started: 24546 Finished: 24426 Transitions: 149900
Started: 24582 Finished: 24434 Transitions: 150000
Started: 24607 Finished: 24458 Transitions: 150100
Started: 24632 Finished: 24491 Transitions: 150200
Started: 24656 Finished: 24524 Transitions: 150300
Started: 24669 Finished: 24549 Transitions: 150400
Started: 24682 Finished: 24568 Transitions: 150500
Started: 24697 Finished: 24585 Transitions: 150600
Started: 24709 Finished: 24599 Transitions: 150700
Started: 24723 Finished: 24618 Transitions: 150800
Started: 24736 Finished: 24637 Transitions: 150900
Started: 24751 Finished: 24654 Transitions: 151000
Started: 24763 Finished: 24668 Transitions: 151100
Started: 24777 Finished: 24687 Transitions: 151200
Started: 24790 Finished: 24707 Transitions: 151300
Started: 24805 Finished: 24724 Transitions: 151400
Started: 24823 Finished: 24758 Transitions: 151500
Started: 24841 Finished: 24784 Transitions: 151600
Started: 24863 Finished: 24813 Transitions: 151700
Started: 24880 Finished: 24837 Transitions: 151800
Started: 24892 Finished: 24849 Transitions: 151900
Started: 24903 Finished: 24861 Transitions: 152000
Started: 24918 Finished: 24882 Transitions: 152100
Started: 24975 Finished: 24891 Transitions: 152200
Started: 24984 Finished: 24900 Transitions: 152300
Started: 24993 Finished: 24909 Transitions: 152400
Started: 25007 Finished: 24918 Transitions: 152500
Started: 25016 Finished: 24927 Transitions: 152600
Started: 25030 Finished: 24936 Transitions: 152700
Started: 25039 Finished: 24945 Transitions: 152800
Started: 25053 Finished: 24954 Transitions: 152900
Started: 25062 Finished: 24964 Transitions: 153000
Started: 25075 Finished: 24974 Transitions: 153100
Started: 25086 Finished: 24983 Transitions: 153200
Started: 25096 Finished: 24992 Transitions: 153300
Started: 25110 Finished: 25001 Transitions: 153400
Started: 25119 Finished: 25010 Transitions: 153500
Started: 25133 Finished: 25019 Transitions: 153600
Started: 25142 Finished: 25028 Transitions: 153700
Started: 25156 Finished: 25037 Transitions: 153800
Started: 25165 Finished: 25046 Transitions: 153900
Started: 25174 Finished: 25055 Transitions: 154000
Started: 25205 Finished: 25058 Transitions: 154100
Started: 25224 Finished: 25072 Transitions: 154200
Started: 25239 Finished: 25093 Transitions: 154300
Started: 25255 Finished: 25114 Transitions: 154400
Started: 25271 Finished: 25136 Transitions: 154500
Started: 25287 Finished: 25158 Transitions: 154600
Started: 25294 Finished: 25175 Transitions: 154700
Started: 25305 Finished: 25191 Transitions: 154800
Started: 25314 Finished: 25200 Transitions: 154900
Started: 25326 Finished: 25217 Transitions: 155000
Started: 25334 Finished: 25228 Transitions: 155100
Started: 25345 Finished: 25242 Transitions: 155200
Started: 25357 Finished: 25256 Transitions: 155300
Started: 25366 Finished: 25267 Transitions: 155400
Started: 25377 Finished: 25284 Transitions: 155500
Started: 25387 Finished: 25293 Transitions: 155600
Started: 25398 Finished: 25309 Transitions: 155700
Started: 25407 Finished: 25321 Transitions: 155800
Started: 25419 Finished: 25335 Transitions: 155900
Started: 25431 Finished: 25350 Transitions: 156000
Started: 25440 Finished: 25376 Transitions: 156100
Started: 25455 Finished: 25395 Transitions: 156200
Started: 25468 Finished: 25412 Transitions: 156300
Started: 25480 Finished: 25431 Transitions: 156400
Started: 25495 Finished: 25450 Transitions: 156500
Started: 25506 Finished: 25464 Transitions: 156600
Started: 25515 Finished: 25473 Transitions: 156700
Started: 25525 Finished: 25483 Transitions: 156800
Started: 25534 Finished: 25492 Transitions: 156900
Started: 25542 Finished: 25527 Transitions: 157000
Started: 25564 Finished: 25551 Transitions: 157100
Started: 25586 Finished: 25570 Transitions: 157200
Started: 25608 Finished: 25590 Transitions: 157300
Started: 25630 Finished: 25605 Transitions: 157400
Started: 25650 Finished: 25627 Transitions: 157500
Started: 25668 Finished: 25649 Transitions: 157600
Started: 25686 Finished: 25671 Transitions: 157700
Started: 25696 Finished: 25688 Transitions: 157800
Started: 25718 Finished: 25707 Transitions: 157900
Started: 25740 Finished: 25727 Transitions: 158000
Started: 25762 Finished: 25745 Transitions: 158100
Started: 25784 Finished: 25765 Transitions: 158200
Started: 25806 Finished: 25781 Transitions: 158300
Started: 25824 Finished: 25803 Transitions: 158400
Started: 25846 Finished: 25825 Transitions: 158500
Started: 25942 Finished: 25847 Transitions: 158600
Started: 25960 Finished: 25857 Transitions: 158700
Started: 25980 Finished: 25869 Transitions: 158800
Started: 25999 Finished: 25881 Transitions: 158900
Started: 26020 Finished: 25892 Transitions: 159000
Started: 26032 Finished: 25904 Transitions: 159100
Started: 26050 Finished: 25916 Transitions: 159200
Started: 26070 Finished: 25926 Transitions: 159300
Started: 26090 Finished: 25938 Transitions: 159400
Started: 26102 Finished: 25950 Transitions: 159500
Started: 26121 Finished: 25961 Transitions: 159600
Started: 26185 Finished: 25971 Transitions: 159700
Started: 26208 Finished: 26007 Transitions: 159800
Started: 26228 Finished: 26045 Transitions: 159900
Started: 26248 Finished: 26081 Transitions: 160000
Started: 26271 Finished: 26111 Transitions: 160100
Started: 26283 Finished: 26123 Transitions: 160200
Started: 26297 Finished: 26145 Transitions: 160300
Started: 26307 Finished: 26159 Transitions: 160400
Started: 26322 Finished: 26178 Transitions: 160500
Started: 26334 Finished: 26196 Transitions: 160600
Started: 26348 Finished: 26212 Transitions: 160700
Started: 26362 Finished: 26232 Transitions: 160800
Started: 26373 Finished: 26245 Transitions: 160900
Started: 26387 Finished: 26268 Transitions: 161000
Started: 26399 Finished: 26280 Transitions: 161100
Started: 26412 Finished: 26301 Transitions: 161200
Started: 26424 Finished: 26313 Transitions: 161300
Started: 26438 Finished: 26335 Transitions: 161400
Started: 26448 Finished: 26347 Transitions: 161500
Started: 26478 Finished: 26380 Transitions: 161600
Started: 26493 Finished: 26416 Transitions: 161700
Started: 26510 Finished: 26447 Transitions: 161800
Started: 26528 Finished: 26481 Transitions: 161900
Started: 26545 Finished: 26507 Transitions: 162000
Started: 26557 Finished: 26519 Transitions: 162100
Started: 26569 Finished: 26531 Transitions: 162200
Started: 26592 Finished: 26560 Transitions: 162300
Started: 26682 Finished: 26609 Transitions: 162400
Started: 26702 Finished: 26618 Transitions: 162500
Started: 26717 Finished: 26627 Transitions: 162600
Started: 26727 Finished: 26637 Transitions: 162700
Started: 26743 Finished: 26648 Transitions: 162800
Started: 26758 Finished: 26658 Transitions: 162900
Started: 26767 Finished: 26669 Transitions: 163000
Started: 26783 Finished: 26678 Transitions: 163100
Started: 26798 Finished: 26688 Transitions: 163200
Started: 26813 Finished: 26699 Transitions: 163300
Started: 26823 Finished: 26709 Transitions: 163400
Started: 26838 Finished: 26718 Transitions: 163500
Started: 26858 Finished: 26729 Transitions: 163600
Started: 26893 Finished: 26737 Transitions: 163700
Started: 26910 Finished: 26762 Transitions: 163800
Started: 26928 Finished: 26787 Transitions: 163900
Started: 26947 Finished: 26812 Transitions: 164000
Started: 26959 Finished: 26839 Transitions: 164100
Started: 26970 Finished: 26850 Transitions: 164200
Started: 26982 Finished: 26867 Transitions: 164300
Started: 26992 Finished: 26877 Transitions: 164400
Started: 27005 Finished: 26894 Transitions: 164500
Started: 27015 Finished: 26905 Transitions: 164600
Started: 27027 Finished: 26920 Transitions: 164700
Started: 27037 Finished: 26933 Transitions: 164800
Started: 27048 Finished: 26946 Transitions: 164900
Started: 27061 Finished: 26961 Transitions: 165000
Started: 27070 Finished: 26972 Transitions: 165100
Started: 27084 Finished: 26989 Transitions: 165200
Started: 27094 Finished: 26999 Transitions: 165300
Started: 27106 Finished: 27016 Transitions: 165400
Started: 27117 Finished: 27027 Transitions: 165500
Started: 27129 Finished: 27044 Transitions: 165600
Started: 27139 Finished: 27054 Transitions: 165700
Started: 27155 Finished: 27076 Transitions: 165800
Started: 27166 Finished: 27103 Transitions: 165900
Started: 27182 Finished: 27125 Transitions: 166000
Started: 27198 Finished: 27148 Transitions: 166100
Started: 27215 Finished: 27170 Transitions: 166200
Started: 27228 Finished: 27185 Transitions: 166300
Started: 27238 Finished: 27195 Transitions: 166400
Started: 27249 Finished: 27206 Transitions: 166500
Started: 27261 Finished: 27228 Transitions: 166600
Started: 27327 Finished: 27242 Transitions: 166700
Started: 27344 Finished: 27254 Transitions: 166800
Started: 27359 Finished: 27265 Transitions: 166900
Started: 27371 Finished: 27276 Transitions: 167000
Started: 27388 Finished: 27288 Transitions: 167100
Started: 27404 Finished: 27300 Transitions: 167200
Started: 27421 Finished: 27311 Transitions: 167300
Started: 27438 Finished: 27323 Transitions: 167400
Started: 27448 Finished: 27335 Transitions: 167500
Started: 27465 Finished: 27345 Transitions: 167600
Started: 27510 Finished: 27353 Transitions: 167700
Started: 27533 Finished: 27383 Transitions: 167800
Started: 27555 Finished: 27414 Transitions: 167900
Started: 27577 Finished: 27446 Transitions: 168000
Started: 27588 Finished: 27469 Transitions: 168100
Started: 27600 Finished: 27483 Transitions: 168200
Started: 27615 Finished: 27500 Transitions: 168300
Started: 27629 Finished: 27517 Transitions: 168400
Started: 27640 Finished: 27530 Transitions: 168500
Started: 27654 Finished: 27549 Transitions: 168600
Started: 27666 Finished: 27561 Transitions: 168700
Started: 27679 Finished: 27580 Transitions: 168800
Started: 27691 Finished: 27591 Transitions: 168900
Started: 27706 Finished: 27611 Transitions: 169000
Started: 27717 Finished: 27622 Transitions: 169100
Started: 27732 Finished: 27642 Transitions: 169200
Started: 27742 Finished: 27653 Transitions: 169300
Started: 27757 Finished: 27672 Transitions: 169400
Started: 27769 Finished: 27688 Transitions: 169500
Started: 27787 Finished: 27721 Transitions: 169600
Started: 27806 Finished: 27748 Transitions: 169700
Started: 27827 Finished: 27776 Transitions: 169800
Started: 27846 Finished: 27803 Transitions: 169900
Started: 27858 Finished: 27815 Transitions: 170000
Started: 27870 Finished: 27827 Transitions: 170100
Started: 27884 Finished: 27844 Transitions: 170200
Started: 27941 Finished: 27857 Transitions: 170300
Started: 27950 Finished: 27866 Transitions: 170400
Started: 27964 Finished: 27875 Transitions: 170500
Started: 27973 Finished: 27884 Transitions: 170600
Started: 27987 Finished: 27893 Transitions: 170700
Started: 28001 Finished: 27902 Transitions: 170800
Started: 28010 Finished: 27911 Transitions: 170900
Started: 28024 Finished: 27920 Transitions: 171000
Started: 28033 Finished: 27929 Transitions: 171100
Started: 28047 Finished: 27938 Transitions: 171200
Started: 28061 Finished: 27947 Transitions: 171300
Started: 28070 Finished: 27956 Transitions: 171400
Started: 28084 Finished: 27965 Transitions: 171500
Started: 28094 Finished: 27975 Transitions: 171600
Started: 28130 Finished: 27977 Transitions: 171700
Started: 28146 Finished: 27995 Transitions: 171800
Started: 28162 Finished: 28016 Transitions: 171900
Started: 28176 Finished: 28036 Transitions: 172000
Started: 28191 Finished: 28057 Transitions: 172100
Started: 28206 Finished: 28078 Transitions: 172200
Started: 28213 Finished: 28094 Transitions: 172300
Started: 28222 Finished: 28103 Transitions: 172400
Started: 28233 Finished: 28119 Transitions: 172500
Started: 28243 Finished: 28129 Transitions: 172600
Started: 28254 Finished: 28145 Transitions: 172700
Started: 28263 Finished: 28154 Transitions: 172800
Started: 28272 Finished: 28166 Transitions: 172900
Started: 28284 Finished: 28180 Transitions: 173000
Started: 28293 Finished: 28189 Transitions: 173100
Started: 28304 Finished: 28206 Transitions: 173200
Started: 28314 Finished: 28215 Transitions: 173300
Started: 28326 Finished: 28230 Transitions: 173400
Started: 28334 Finished: 28241 Transitions: 173500
Started: 28342 Finished: 28251 Transitions: 173600
Started: 28354 Finished: 28265 Transitions: 173700
Started: 28363 Finished: 28275 Transitions: 173800
Started: 28375 Finished: 28291 Transitions: 173900
Started: 28384 Finished: 28300 Transitions: 174000
Started: 28395 Finished: 28315 Transitions: 174100
Started: 28406 Finished: 28340 Transitions: 174200
Started: 28419 Finished: 28357 Transitions: 174300
Started: 28432 Finished: 28377 Transitions: 174400
Started: 28446 Finished: 28395 Transitions: 174500
Started: 28461 Finished: 28414 Transitions: 174600
Started: 28473 Finished: 28431 Transitions: 174700
Started: 28482 Finished: 28440 Transitions: 174800
Started: 28491 Finished: 28449 Transitions: 174900
Started: 28501 Finished: 28459 Transitions: 175000
Started: 28509 Finished: 28487 Transitions: 175100
Started: 28531 Finished: 28516 Transitions: 175200
Started: 28553 Finished: 28536 Transitions: 175300
Started: 28575 Finished: 28551 Transitions: 175400

Ready
Started: 28575 Finished: 28575 Transitions: 175468

false 
