state: 0 start:   21 valid_bits:    0 1 1 1
state: 0 start:   41 valid_bits:    0 1 1 1
state: 0 start:   61 valid_bits:    0 1 1 1
state: 0 start:   81 valid_bits:    0 1 1 1
state: 0 start:  101 valid_bits:    0 1 1 1
state: 0 start:  121 valid_bits:    0 1 1 1
state: 0 start:  141 valid_bits:    0 1 1 1
state: 0 start:  161 valid_bits:    0 1 1 1
state: 0 start:  181 valid_bits:    0 1 1 1
state: 0 start:  201 valid_bits:    0 1 1 1
state: 0 start:  221 valid_bits:    0 1 1 1
state: 0 start:  241 valid_bits:    0 1 1 1
state: 0 start:  261 valid_bits:    0 1 1 1
state: 0 start:  281 valid_bits:    0 1 1 1
state: 0 start:  301 valid_bits:    0 1 1 1
state: 0 start:  321 valid_bits:    0 1 1 1
state: 0 start:  340 valid_bits:    0 1 1 1
state: 0 start:  360 valid_bits:    0 1 1 1
state: 0 start:  380 valid_bits:    0 1 1 1
state: 0 start:  400 valid_bits:    0 1 1 1
state: 0 start:  420 valid_bits:    0 1 1 1
state: 0 start:  440 valid_bits:    0 1 1 1
state: 0 start:  460 valid_bits:    0 1 1 1
state: 0 start:  480 valid_bits:    0 1 1 1
state: 0 start:  500 valid_bits:    0 1 1 1
state: 0 start:  520 valid_bits:    0 1 1 1
state: 0 start:  540 valid_bits:    0 1 1 1
state: 0 start:  560 valid_bits:    0 1 1 1
state: 0 start:  580 valid_bits:    0 1 1 1
state: 0 start:  600 valid_bits:    0 1 1 1
state: 0 start:  620 valid_bits:    0 1 1 1
state: 0 start:  640 valid_bits:    0 1 1 1
state: 0 start:  660 valid_bits:    0 1 1 1
state: 0 start:  680 valid_bits:    0 1 1 1
state: 0 start:  700 valid_bits:    0 1 1 1
state: 0 start:  720 valid_bits:    0 1 1 1
state: 0 start:  740 valid_bits:    0 1 1 1
state: 0 start:  760 valid_bits:    0 1 1 1
state: 0 start:  780 valid_bits:    0 1 1 1
state: 0 start:  800 valid_bits:    0 1 1 1
state: 0 start:  820 valid_bits:    0 1 1 1
state: 0 start:  840 valid_bits:    0 1 1 1
state: 0 start:  860 valid_bits:    0 1 1 1
state: 0 start:  880 valid_bits:    0 1 1 1
state: 0 start:  900 valid_bits:    0 1 1 1
state: 0 start:  920 valid_bits:    0 1 1 1
state: 0 start:  940 valid_bits:    0 1 1 1
state: 0 start:  960 valid_bits:    0 1 1 1
state: 0 start:  980 valid_bits:    0 1 1 1
state: 0 start: 1000 valid_bits:    0 1 1 1
state: 0 start: 1020 valid_bits:    0 1 1 1
state: 0 start: 1040 valid_bits:    0 1 1 1
state: 0 start: 1060 valid_bits:    0 1 1 1
state: 0 start: 1080 valid_bits:    0 1 1 1
state: 0 start: 1100 valid_bits:    0 1 1 1
state: 0 start: 1120 valid_bits:    0 1 1 1
state: 0 start: 1140 valid_bits:    0 1 1 1
state: 0 start: 1160 valid_bits:    0 1 1 1
state: 0 start: 1180 valid_bits:    0 1 1 1
state: 0 start: 1200 valid_bits:    0 1 1 1
state: 0 start: 1220 valid_bits:    0 1 1 1
state: 0 start: 1240 valid_bits:    0 1 1 1
state: 0 start: 1260 valid_bits:    0 1 1 1
state: 0 start: 1280 valid_bits:    0 1 1 1
state: 0 start: 1300 valid_bits:    0 1 1 1
state: 0 start: 1320 valid_bits:    0 1 1 1
state: 0 start: 1340 valid_bits:    0 1 1 1
state: 0 start: 1360 valid_bits:    0 1 1 1
state: 0 start: 1380 valid_bits:    0 1 1 1
state: 0 start: 1400 valid_bits:    0 1 1 1
state: 0 start: 1420 valid_bits:    0 1 1 1
state: 0 start: 1440 valid_bits:    0 1 1 1
state: 0 start: 1460 valid_bits:    0 1 1 1
state: 0 start: 1480 valid_bits:    0 1 1 1
state: 0 start: 1500 valid_bits:    0 1 1 1
state: 0 start: 1520 valid_bits:    0 1 1 1
state: 0 start: 1540 valid_bits:    0 1 1 1
state: 0 start: 1560 valid_bits:    0 1 1 1
state: 0 start: 1580 valid_bits:    0 1 1 1
state: 0 start: 1600 valid_bits:    0 1 1 1
state: 0 start: 1620 valid_bits:    0 1 1 1
state: 0 start: 1640 valid_bits:    0 1 1 1
state: 0 start: 1660 valid_bits:    0 1 1 1
state: 0 start: 1680 valid_bits:    0 1 1 1
state: 0 start: 1700 valid_bits:    0 1 1 1
state: 0 start: 1720 valid_bits:    0 1 1 1
state: 0 start: 1740 valid_bits:    0 1 1 1
state: 0 start: 1760 valid_bits:    0 1 1 1
state: 0 start: 1780 valid_bits:    0 1 1 1
state: 0 start: 1800 valid_bits:    0 1 1 1
state: 0 start: 1820 valid_bits:    0 1 1 1
state: 0 start: 1840 valid_bits:    0 1 1 1
state: 0 start: 1860 valid_bits:    0 1 1 1
state: 0 start: 1880 valid_bits:    0 1 1 1
state: 0 start: 1900 valid_bits:    0 1 1 1
state: 0 start: 1920 valid_bits:    0 1 1 1
state: 0 start: 1940 valid_bits:    0 1 1 1
state: 0 start: 1960 valid_bits:    0 1 1 1
state: 0 start: 1980 valid_bits:    0 1 1 1
state: 0 start: 2000 valid_bits:    0 1 1 1
state: 0 start: 2020 valid_bits:    0 1 1 1
state: 0 start: 2040 valid_bits:    0 1 1 1
state: 0 start: 2060 valid_bits:    0 1 1 1
state: 0 start: 2080 valid_bits:    0 1 1 1
state: 0 start: 2100 valid_bits:    0 1 1 1
state: 0 start: 2120 valid_bits:    0 1 1 1
state: 0 start: 2140 valid_bits:    0 1 1 1
state: 0 start: 2160 valid_bits:    0 1 1 1
state: 0 start: 2180 valid_bits:    0 1 1 1
state: 0 start: 2200 valid_bits:    0 1 1 1
state: 0 start: 2220 valid_bits:    0 1 1 1
state: 0 start: 2240 valid_bits:    0 1 1 1
state: 0 start: 2260 valid_bits:    0 1 1 1
state: 0 start: 2280 valid_bits:    0 1 1 1
state: 0 start: 2300 valid_bits:    0 1 1 1
state: 0 start: 2320 valid_bits:    0 1 1 1
state: 0 start: 2340 valid_bits:    0 1 1 1
state: 0 start: 2360 valid_bits:    0 1 1 1
state: 0 start: 2380 valid_bits:    0 1 1 1
state: 0 start: 2400 valid_bits:    0 1 1 1
state: 0 start: 2420 valid_bits:    0 1 1 1
state: 0 start: 2440 valid_bits:    0 1 1 1
state: 0 start: 2460 valid_bits:    0 1 1 1
state: 0 start: 2480 valid_bits:    0 1 1 1
state: 0 start: 2500 valid_bits:    0 1 1 1
state: 0 start: 2520 valid_bits:    0 1 1 1
state: 0 start: 2540 valid_bits:    0 1 1 1
state: 0 start: 2560 valid_bits:    0 1 1 1
state: 0 start: 2580 valid_bits:    0 1 1 1
state: 0 start: 2600 valid_bits:    0 1 1 1
state: 0 start: 2620 valid_bits:    0 1 1 1
state: 0 start: 2640 valid_bits:    0 1 1 1
state: 0 start: 2660 valid_bits:    0 1 1 1
state: 0 start: 2680 valid_bits:    0 1 1 1
state: 0 start: 2700 valid_bits:    0 1 1 1
state: 0 start: 2720 valid_bits:    0 1 1 1
state: 0 start: 2740 valid_bits:    0 1 1 1
state: 0 start: 2760 valid_bits:    0 1 1 1
state: 0 start: 2780 valid_bits:    0 1 1 1
state: 0 start: 2800 valid_bits:    0 1 1 1
state: 0 start: 2820 valid_bits:    0 1 1 1
state: 0 start: 2840 valid_bits:    0 1 1 1
state: 0 start: 2860 valid_bits:    0 1 1 1
state: 0 start: 2880 valid_bits:    0 1 1 1
state: 0 start: 2900 valid_bits:    0 1 1 1
state: 0 start: 2920 valid_bits:    0 1 1 1
state: 0 start: 2940 valid_bits:    0 1 1 1
state: 0 start: 2960 valid_bits:    0 1 1 1
state: 0 start: 2980 valid_bits:    0 1 1 1
state: 0 start: 3000 valid_bits:    0 1 1 1
state: 0 start: 3020 valid_bits:    0 1 1 1
state: 0 start: 3046 valid_bits:    0 1 1 1
state: 0 start: 3066 valid_bits:    0 1 1 1
state: 0 start: 3086 valid_bits:    0 1 1 1
state: 0 start: 3106 valid_bits:    0 1 1 1
state: 0 start: 3126 valid_bits:    0 1 1 1
state: 0 start: 3147 valid_bits:    0 0 1 1
state: 0 start: 3169 valid_bits:    0 0 0 1
state: 0 start: 3189 valid_bits:    1 1 1 1
state: 0 start: 3209 valid_bits:    0 1 1 1
state: 0 start: 3229 valid_bits:    0 1 1 1
state: 0 start: 3257 valid_bits:    0 1 1 1
state: 0 start: 3281 valid_bits:    0 1 1 1
state: 0 start: 3305 valid_bits:    0 1 0 1
state: 0 start: 3324 valid_bits:    2 1 1 1
state: 0 start: 3350 valid_bits:    0 0 0 1
state: 0 start: 3368 valid_bits:    1 0 0 1
state: 0 start: 3390 valid_bits:    1 1 1 1
state: 0 start: 3414 valid_bits:    0 0 1 1
state: 0 start: 3440 valid_bits:    0 1 1 1
state: 0 start: 3460 valid_bits:    0 1 1 1
state: 0 start: 3482 valid_bits:    0 1 1 1
state: 0 start: 3505 valid_bits:    0 1 1 1
state: 0 start: 3524 valid_bits:    0 1 1 1
state: 0 start: 3559 valid_bits:    0 1 1 1
state: 0 start: 3591 valid_bits:    0 1 1 1
state: 0 start: 3615 valid_bits:    0 1 1 1
state: 0 start: 3640 valid_bits:    0 1 1 1
state: 0 start: 3660 valid_bits:    0 1 1 1
state: 0 start: 3680 valid_bits:    0 1 1 1
state: 0 start: 3706 valid_bits:    0 1 1 1
state: 0 start: 3724 valid_bits:    0 1 1 1
state: 0 start: 3743 valid_bits:    0 0 1 1
state: 0 start: 3760 valid_bits:    0 0 0 1
state: 0 start: 3780 valid_bits:    1 1 1 1
state: 0 start: 3809 valid_bits:    0 1 1 1
state: 0 start: 3829 valid_bits:    0 1 1 1
state: 0 start: 3857 valid_bits:    0 1 1 1
state: 0 start: 3882 valid_bits:    0 0 1 1
state: 0 start: 3906 valid_bits:    0 1 1 1
state: 0 start: 3924 valid_bits:    0 1 1 1
state: 0 start: 3944 valid_bits:    0 1 1 1
state: 0 start: 3964 valid_bits:    0 1 1 1
state: 0 start: 3984 valid_bits:    0 1 1 1
state: 0 start: 4011 valid_bits:    0 0 1 1
state: 0 start: 4034 valid_bits:    0 0 0 1
state: 0 start: 4057 valid_bits:    1 1 1 1
state: 0 start: 4077 valid_bits:    0 1 1 1
state: 0 start: 4097 valid_bits:    0 1 1 1
state: 0 start: 4117 valid_bits:    0 1 1 1
state: 0 start: 4149 valid_bits:    0 1 1 1
state: 0 start: 4170 valid_bits:    0 1 1 1
state: 0 start: 4191 valid_bits:    0 1 1 1
state: 0 start: 4211 valid_bits:    0 1 1 1
state: 0 start: 4231 valid_bits:    0 1 1 0
state: 0 start: 4248 valid_bits:    1 1 0 1
state: 0 start: 4282 valid_bits:    4 0 1 1
state: 0 start: 4304 valid_bits:    0 1 0 1
state: 0 start: 4324 valid_bits:    2 1 1 1
state: 0 start: 4344 valid_bits:    0 1 1 1
state: 0 start: 4364 valid_bits:    0 1 1 1
state: 0 start: 4381 valid_bits:    0 1 1 1
state: 0 start: 4414 valid_bits:    0 1 1 1
state: 0 start: 4435 valid_bits:    0 0 1 1
state: 0 start: 4457 valid_bits:    0 1 1 1
state: 0 start: 4478 valid_bits:    0 1 1 0
state: 0 start: 4498 valid_bits:    1 1 1 0
state: 0 start: 4514 valid_bits:    1 1 1 1
state: 0 start: 4549 valid_bits:    0 1 1 1
state: 0 start: 4572 valid_bits:    0 0 1 1
state: 0 start: 4591 valid_bits:    0 1 1 1
state: 0 start: 4611 valid_bits:    0 1 1 1
state: 0 start: 4631 valid_bits:    0 1 1 1
state: 0 start: 4658 valid_bits:    0 1 1 1
state: 0 start: 4682 valid_bits:    0 1 0 1
state: 0 start: 4702 valid_bits:    2 0 1 1
state: 0 start: 4722 valid_bits:    0 1 1 1
state: 0 start: 4742 valid_bits:    0 1 1 1
state: 0 start: 4762 valid_bits:    0 1 1 1
state: 0 start: 4781 valid_bits:    0 1 1 1
state: 0 start: 4811 valid_bits:    0 0 1 1
state: 0 start: 4836 valid_bits:    0 0 1 1
state: 0 start: 4858 valid_bits:    0 1 1 1
state: 0 start: 4878 valid_bits:    0 1 1 1
state: 0 start: 4898 valid_bits:    0 1 1 0
state: 0 start: 4914 valid_bits:    1 1 1 1
state: 0 start: 4944 valid_bits:    0 0 0 0
state: 0 start: 4961 valid_bits:    0 1 0 1
state: 0 start: 4981 valid_bits:    3 1 1 1
state: 0 start: 5001 valid_bits:    0 1 1 1
state: 0 start: 5021 valid_bits:    0 1 1 1
state: 0 start: 5048 valid_bits:    0 1 1 1
state: 0 start: 5081 valid_bits:    0 0 1 1
state: 0 start: 5101 valid_bits:    0 0 1 1
state: 0 start: 5121 valid_bits:    0 1 1 1
state: 0 start: 5141 valid_bits:    0 1 1 1
state: 0 start: 5161 valid_bits:    0 1 1 1
state: 0 start: 5191 valid_bits:    0 1 1 1
state: 0 start: 5214 valid_bits:    0 0 1 1
state: 0 start: 5240 valid_bits:    0 1 1 1
state: 0 start: 5276 valid_bits:    0 1 1 1
state: 0 start: 5296 valid_bits:    0 1 1 1
state: 0 start: 5325 valid_bits:    0 1 1 1
state: 0 start: 5349 valid_bits:    0 1 1 1
state: 0 start: 5370 valid_bits:    0 0 1 1
state: 0 start: 5404 valid_bits:    0 1 1 1
state: 0 start: 5424 valid_bits:    0 1 1 1
state: 0 start: 5458 valid_bits:    0 1 1 1
state: 0 start: 5481 valid_bits:    0 1 1 1
state: 0 start: 5505 valid_bits:    0 1 0 1
state: 0 start: 5524 valid_bits:    2 1 1 1
state: 0 start: 5543 valid_bits:    0 0 1 1
state: 0 start: 5563 valid_bits:    0 1 1 1
state: 0 start: 5581 valid_bits:    0 1 1 1
state: 0 start: 5615 valid_bits:    0 1 1 1
state: 0 start: 5638 valid_bits:    0 1 1 1
state: 0 start: 5658 valid_bits:    0 1 1 1
state: 0 start: 5678 valid_bits:    0 1 1 1
state: 0 start: 5705 valid_bits:    0 1 0 1
state: 0 start: 5725 valid_bits:    2 1 1 1
state: 0 start: 5745 valid_bits:    0 1 1 1
state: 0 start: 5781 valid_bits:    0 1 0 1
state: 0 start: 5801 valid_bits:    2 1 1 1
state: 0 start: 5821 valid_bits:    0 1 1 1
state: 0 start: 5841 valid_bits:    0 1 1 0
state: 0 start: 5858 valid_bits:    1 1 1 1
state: 0 start: 5882 valid_bits:    0 1 1 1
state: 0 start: 5906 valid_bits:    0 0 0 1
state: 0 start: 5924 valid_bits:    1 1 1 1
state: 0 start: 5944 valid_bits:    0 1 1 1
state: 0 start: 5972 valid_bits:    0 1 1 1
state: 0 start: 5992 valid_bits:    0 1 1 1
state: 0 start: 6015 valid_bits:    0 1 1 1
state: 0 start: 6036 valid_bits:    0 0 1 1
state: 0 start: 6058 valid_bits:    0 1 1 1
state: 0 start: 6078 valid_bits:    0 1 1 1
state: 0 start: 6098 valid_bits:    0 1 1 0
state: 0 start: 6115 valid_bits:    1 1 0 1
state: 0 start: 6145 valid_bits:    4 0 0 1
state: 0 start: 6164 valid_bits:    1 1 0 1
state: 0 start: 6184 valid_bits:    2 1 1 1
state: 0 start: 6204 valid_bits:    0 1 1 1
state: 0 start: 6224 valid_bits:    0 1 1 1
state: 0 start: 6244 valid_bits:    0 1 1 1
state: 0 start: 6277 valid_bits:    0 0 1 1
state: 0 start: 6307 valid_bits:    0 1 1 0
state: 0 start: 6324 valid_bits:    1 1 1 1
state: 0 start: 6344 valid_bits:    0 1 1 1
state: 0 start: 6374 valid_bits:    0 1 1 1
state: 0 start: 6394 valid_bits:    0 1 1 1
state: 0 start: 6415 valid_bits:    0 1 1 1
state: 0 start: 6437 valid_bits:    0 0 1 1
state: 0 start: 6457 valid_bits:    0 1 1 1
state: 0 start: 6477 valid_bits:    0 1 1 1
state: 0 start: 6497 valid_bits:    0 1 1 1
state: 0 start: 6514 valid_bits:    0 1 1 1
state: 0 start: 6543 valid_bits:    0 0 1 0
state: 0 start: 6560 valid_bits:    3 1 1 1
state: 0 start: 6579 valid_bits:    0 1 1 1
state: 0 start: 6599 valid_bits:    0 1 1 1
state: 0 start: 6619 valid_bits:    0 1 1 1
state: 0 start: 6639 valid_bits:    0 1 1 1
state: 0 start: 6659 valid_bits:    0 1 1 1
state: 0 start: 6681 valid_bits:    0 1 1 1
state: 0 start: 6710 valid_bits:    0 0 1 1
state: 0 start: 6730 valid_bits:    0 1 1 1
state: 0 start: 6750 valid_bits:    0 1 1 1
state: 0 start: 6781 valid_bits:    0 1 1 1
state: 0 start: 6810 valid_bits:    0 1 0 1
state: 0 start: 6836 valid_bits:    2 0 0 1
state: 0 start: 6858 valid_bits:    1 1 1 1
state: 0 start: 6878 valid_bits:    0 1 1 1
state: 0 start: 6899 valid_bits:    0 1 1 0
state: 0 start: 6916 valid_bits:    1 1 1 1
state: 0 start: 6946 valid_bits:    0 1 1 1
state: 0 start: 6968 valid_bits:    0 1 1 1
state: 0 start: 6991 valid_bits:    0 1 1 1
state: 0 start: 7011 valid_bits:    0 1 1 1
state: 0 start: 7031 valid_bits:    0 1 1 1
state: 0 start: 7058 valid_bits:    0 1 1 1
state: 0 start: 7082 valid_bits:    0 1 0 1
state: 0 start: 7102 valid_bits:    2 1 1 1
state: 0 start: 7125 valid_bits:    0 1 1 1
state: 0 start: 7145 valid_bits:    0 1 1 1
state: 0 start: 7165 valid_bits:    0 1 1 0
state: 0 start: 7181 valid_bits:    1 1 1 1
state: 0 start: 7212 valid_bits:    0 1 1 1
state: 0 start: 7240 valid_bits:    0 1 1 1
state: 0 start: 7260 valid_bits:    0 1 1 1
state: 0 start: 7282 valid_bits:    0 1 1 1
state: 0 start: 7302 valid_bits:    0 1 1 1
state: 0 start: 7322 valid_bits:    0 1 1 1
state: 0 start: 7350 valid_bits:    0 1 1 1
state: 0 start: 7373 valid_bits:    0 1 1 1
state: 0 start: 7391 valid_bits:    0 1 1 1
state: 0 start: 7411 valid_bits:    0 1 1 1
state: 0 start: 7432 valid_bits:    0 1 1 1
state: 0 start: 7452 valid_bits:    0 1 1 1
state: 0 start: 7477 valid_bits:    0 0 1 0
state: 0 start: 7494 valid_bits:    3 1 1 1
state: 0 start: 7524 valid_bits:    0 1 1 1
state: 0 start: 7544 valid_bits:    0 1 1 1
state: 0 start: 7571 valid_bits:    0 1 1 1
state: 0 start: 7592 valid_bits:    0 1 1 1
state: 0 start: 7612 valid_bits:    0 1 1 1
state: 0 start: 7640 valid_bits:    0 1 1 1
state: 0 start: 7658 valid_bits:    0 1 1 1
state: 0 start: 7678 valid_bits:    0 1 1 1
state: 0 start: 7698 valid_bits:    0 1 1 1
state: 0 start: 7718 valid_bits:    0 1 1 1
state: 0 start: 7747 valid_bits:    0 0 1 1
state: 0 start: 7770 valid_bits:    0 1 0 1
state: 0 start: 7790 valid_bits:    2 1 1 1
state: 0 start: 7810 valid_bits:    0 1 1 1
state: 0 start: 7835 valid_bits:    0 1 1 1
state: 0 start: 7855 valid_bits:    0 1 1 1
state: 0 start: 7875 valid_bits:    0 1 1 1
state: 0 start: 7895 valid_bits:    0 1 1 0
state: 0 start: 7913 valid_bits:    1 1 1 1
state: 0 start: 7933 valid_bits:    0 1 1 1
state: 0 start: 7953 valid_bits:    0 1 1 1
state: 0 start: 7973 valid_bits:    0 1 1 1
state: 0 start: 7992 valid_bits:    0 1 1 1
state: 0 start: 8016 valid_bits:    0 1 1 1
state: 0 start: 8039 valid_bits:    0 1 0 1
state: 0 start: 8059 valid_bits:    2 1 1 1
state: 0 start: 8077 valid_bits:    0 1 1 1
state: 0 start: 8097 valid_bits:    0 1 1 1
state: 0 start: 8114 valid_bits:    0 0 1 1
state: 0 start: 8146 valid_bits:    0 1 1 1
state: 0 start: 8162 valid_bits:    0 1 1 1
state: 0 start: 8191 valid_bits:    0 1 1 1
state: 0 start: 8221 valid_bits:    0 1 1 1
state: 0 start: 8249 valid_bits:    0 1 1 1
state: 0 start: 8283 valid_bits:    0 1 1 1
state: 0 start: 8306 valid_bits:    0 1 0 1
state: 0 start: 8324 valid_bits:    2 1 1 1
state: 0 start: 8349 valid_bits:    0 1 1 1
state: 0 start: 8381 valid_bits:    0 1 1 1
state: 0 start: 8417 valid_bits:    0 1 1 1
state: 0 start: 8436 valid_bits:    0 1 0 1
state: 0 start: 8456 valid_bits:    2 1 1 1
state: 0 start: 8476 valid_bits:    0 1 1 1
state: 0 start: 8496 valid_bits:    0 1 1 1
state: 0 start: 8515 valid_bits:    0 1 0 1
state: 0 start: 8550 valid_bits:    2 1 1 1
state: 0 start: 8573 valid_bits:    0 1 1 1
state: 0 start: 8593 valid_bits:    0 1 1 1
state: 0 start: 8616 valid_bits:    0 1 1 1
state: 0 start: 8636 valid_bits:    0 1 1 1
state: 0 start: 8658 valid_bits:    0 1 1 1
state: 0 start: 8683 valid_bits:    0 1 1 1
state: 0 start: 8703 valid_bits:    0 1 0 1
state: 0 start: 8723 valid_bits:    2 1 1 1
state: 0 start: 8743 valid_bits:    0 1 1 1
state: 0 start: 8763 valid_bits:    0 1 1 1
state: 0 start: 8783 valid_bits:    0 1 1 1
state: 0 start: 8814 valid_bits:    0 1 1 0
state: 0 start: 8831 valid_bits:    1 1 1 1
state: 0 start: 8858 valid_bits:    0 1 1 1
state: 0 start: 8878 valid_bits:    0 1 1 1
state: 0 start: 8899 valid_bits:    0 1 1 0
state: 0 start: 8915 valid_bits:    1 1 1 1
state: 0 start: 8950 valid_bits:    0 1 1 1
state: 0 start: 8970 valid_bits:    0 0 1 1
state: 0 start: 8990 valid_bits:    0 1 1 1
state: 0 start: 9010 valid_bits:    0 1 1 1
state: 0 start: 9030 valid_bits:    0 1 1 1
state: 0 start: 9048 valid_bits:    0 1 1 1
state: 0 start: 9079 valid_bits:    0 1 1 1
state: 0 start: 9104 valid_bits:    0 0 1 1
state: 0 start: 9124 valid_bits:    0 1 1 1
state: 0 start: 9144 valid_bits:    0 1 1 1
state: 0 start: 9163 valid_bits:    0 1 1 1
state: 0 start: 9181 valid_bits:    0 1 1 1
state: 0 start: 9216 valid_bits:    0 0 1 1
state: 0 start: 9236 valid_bits:    0 0 0 1
state: 0 start: 9258 valid_bits:    1 1 1 1
state: 0 start: 9284 valid_bits:    0 1 1 1
state: 0 start: 9314 valid_bits:    0 0 1 1
state: 0 start: 9348 valid_bits:    0 1 1 1
state: 0 start: 9373 valid_bits:    0 1 1 1
state: 0 start: 9393 valid_bits:    0 1 1 1
state: 0 start: 9413 valid_bits:    0 1 1 1
state: 0 start: 9433 valid_bits:    0 1 1 1
state: 0 start: 9459 valid_bits:    0 1 1 1
state: 0 start: 9481 valid_bits:    0 0 1 1
state: 0 start: 9497 valid_bits:    0 1 0 1
state: 0 start: 9525 valid_bits:    2 1 1 1
state: 0 start: 9554 valid_bits:    0 1 1 1
state: 0 start: 9582 valid_bits:    0 1 1 1
state: 0 start: 9617 valid_bits:    0 1 1 1
state: 0 start: 9640 valid_bits:    0 1 1 1
state: 0 start: 9660 valid_bits:    0 1 1 1
state: 0 start: 9680 valid_bits:    0 1 1 1
state: 0 start: 9715 valid_bits:    0 1 1 1
state: 0 start: 9749 valid_bits:    0 1 1 1
state: 0 start: 9769 valid_bits:    0 0 1 1
state: 0 start: 9789 valid_bits:    0 1 1 1
state: 0 start: 9821 valid_bits:    0 1 1 1
state: 0 start: 9841 valid_bits:    0 1 1 1
state: 0 start: 9859 valid_bits:    0 1 1 1
state: 0 start: 9882 valid_bits:    0 0 1 0
state: 0 start: 9899 valid_bits:    3 1 1 0
state: 0 start: 9917 valid_bits:    1 1 1 1
state: 0 start: 9937 valid_bits:    0 1 1 1
state: 0 start: 9957 valid_bits:    0 1 1 1
state: 0 start: 9977 valid_bits:    0 1 1 1
state: 0 start: 9997 valid_bits:    0 1 1 1
state: 0 start: 10017 valid_bits:    0 1 1 1
state: 0 start: 10035 valid_bits:    0 1 1 1
state: 0 start: 10058 valid_bits:    0 1 1 1
state: 0 start: 10078 valid_bits:    0 1 1 1
state: 0 start: 10098 valid_bits:    0 1 1 1
state: 0 start: 10126 valid_bits:    0 1 1 1
state: 0 start: 10145 valid_bits:    0 0 1 1
state: 0 start: 10173 valid_bits:    0 0 1 1
state: 0 start: 10192 valid_bits:    0 1 1 1
state: 0 start: 10212 valid_bits:    0 1 1 1
state: 0 start: 10232 valid_bits:    0 1 1 1
state: 0 start: 10252 valid_bits:    0 1 1 1
state: 0 start: 10280 valid_bits:    0 1 1 1
state: 0 start: 10296 valid_bits:    0 1 0 0
state: 0 start: 10314 valid_bits:    0 1 1 1
state: 0 start: 10344 valid_bits:    0 1 1 1
state: 0 start: 10367 valid_bits:    0 0 1 1
state: 0 start: 10387 valid_bits:    0 1 1 1
state: 0 start: 10414 valid_bits:    0 0 1 1
state: 0 start: 10439 valid_bits:    0 0 1 1
state: 0 start: 10458 valid_bits:    0 1 1 1
state: 0 start: 10483 valid_bits:    0 0 1 1
state: 0 start: 10506 valid_bits:    0 1 1 1
state: 0 start: 10526 valid_bits:    0 1 1 1
state: 0 start: 10554 valid_bits:    0 1 1 1
state: 0 start: 10580 valid_bits:    0 1 1 1
state: 0 start: 10600 valid_bits:    0 1 1 1
state: 0 start: 10623 valid_bits:    0 1 1 1
state: 0 start: 10658 valid_bits:    0 1 1 1
state: 0 start: 10679 valid_bits:    0 0 1 1
state: 0 start: 10695 valid_bits:    0 1 0 1
state: 0 start: 10713 valid_bits:    2 0 1 1
state: 0 start: 10733 valid_bits:    0 1 1 1
state: 0 start: 10764 valid_bits:    0 0 1 1
state: 0 start: 10781 valid_bits:    0 1 1 1
state: 0 start: 10812 valid_bits:    0 0 1 1
state: 0 start: 10841 valid_bits:    0 1 1 1
state: 0 start: 10859 valid_bits:    0 1 1 1
state: 0 start: 10879 valid_bits:    0 1 1 1
state: 0 start: 10908 valid_bits:    0 1 1 1
state: 0 start: 10928 valid_bits:    0 1 1 1
state: 0 start: 10950 valid_bits:    0 0 1 1
state: 0 start: 10973 valid_bits:    0 0 1 1
state: 0 start: 10992 valid_bits:    0 1 1 1
state: 0 start: 11012 valid_bits:    0 1 1 1
state: 0 start: 11032 valid_bits:    0 1 1 1
state: 0 start: 11058 valid_bits:    0 1 1 1
state: 0 start: 11082 valid_bits:    0 1 1 1
state: 0 start: 11102 valid_bits:    0 1 1 1
state: 0 start: 11122 valid_bits:    0 1 1 1
state: 0 start: 11156 valid_bits:    0 1 1 1
state: 0 start: 11176 valid_bits:    0 1 1 1
state: 0 start: 11196 valid_bits:    0 1 1 1
state: 0 start: 11215 valid_bits:    0 1 1 1
state: 0 start: 11239 valid_bits:    0 0 1 1
state: 0 start: 11258 valid_bits:    0 1 1 1
state: 0 start: 11278 valid_bits:    0 1 1 1
state: 0 start: 11298 valid_bits:    0 1 1 1
state: 0 start: 11316 valid_bits:    0 1 0 1
state: 0 start: 11351 valid_bits:    2 1 1 1
state: 0 start: 11374 valid_bits:    0 1 1 1
state: 0 start: 11394 valid_bits:    0 1 1 1
state: 0 start: 11414 valid_bits:    0 1 1 1
state: 0 start: 11449 valid_bits:    0 1 0 1
state: 0 start: 11479 valid_bits:    2 0 1 0
state: 0 start: 11496 valid_bits:    5 1 0 1
state: 0 start: 11516 valid_bits:    8 1 1 1
state: 0 start: 11536 valid_bits:    0 1 1 1
state: 0 start: 11556 valid_bits:    0 1 1 1
state: 0 start: 11583 valid_bits:    0 1 0 1
state: 0 start: 11615 valid_bits:    2 1 1 1
state: 0 start: 11635 valid_bits:    0 0 1 1
state: 0 start: 11659 valid_bits:    0 1 1 1
state: 0 start: 11679 valid_bits:    0 1 1 1
state: 0 start: 11699 valid_bits:    0 1 1 1
state: 0 start: 11725 valid_bits:    0 1 1 1
state: 0 start: 11745 valid_bits:    0 0 1 1
state: 0 start: 11764 valid_bits:    0 1 0 1
state: 0 start: 11780 valid_bits:    2 1 1 1
state: 0 start: 11810 valid_bits:    0 1 1 1
state: 0 start: 11830 valid_bits:    0 1 1 1
state: 0 start: 11850 valid_bits:    0 1 1 1
state: 0 start: 11878 valid_bits:    0 1 1 0
state: 0 start: 11895 valid_bits:    1 1 1 1
state: 0 start: 11916 valid_bits:    0 1 1 1
state: 0 start: 11936 valid_bits:    0 1 1 1
state: 0 start: 11970 valid_bits:    0 1 1 1
state: 0 start: 11990 valid_bits:    0 1 1 1
state: 0 start: 12016 valid_bits:    0 1 1 1
state: 0 start: 12047 valid_bits:    0 1 1 1
state: 0 start: 12067 valid_bits:    0 1 1 1
state: 0 start: 12087 valid_bits:    0 1 1 1
state: 0 start: 12107 valid_bits:    0 1 1 1
state: 0 start: 12127 valid_bits:    0 1 1 1
state: 0 start: 12146 valid_bits:    0 0 1 1
state: 0 start: 12174 valid_bits:    0 1 1 1
state: 0 start: 12192 valid_bits:    0 1 1 1
state: 0 start: 12212 valid_bits:    0 1 1 1
state: 0 start: 12231 valid_bits:    0 0 0 1
state: 0 start: 12259 valid_bits:    1 1 1 1
state: 0 start: 12282 valid_bits:    0 1 1 1
state: 0 start: 12308 valid_bits:    0 1 1 1
state: 0 start: 12325 valid_bits:    0 1 1 1
state: 0 start: 12344 valid_bits:    0 1 1 0
state: 0 start: 12361 valid_bits:    1 1 1 1
state: 0 start: 12382 valid_bits:    0 1 1 1
state: 0 start: 12412 valid_bits:    0 0 1 1
state: 0 start: 12430 valid_bits:    0 1 1 1
state: 0 start: 12459 valid_bits:    0 1 1 1
state: 0 start: 12479 valid_bits:    0 1 1 1
state: 0 start: 12500 valid_bits:    0 0 1 0
state: 0 start: 12518 valid_bits:    3 1 1 1
state: 0 start: 12545 valid_bits:    0 0 1 1
state: 0 start: 12561 valid_bits:    0 1 1 1
state: 0 start: 12581 valid_bits:    0 1 1 1
state: 0 start: 12601 valid_bits:    0 1 1 1
state: 0 start: 12621 valid_bits:    0 1 1 1
state: 0 start: 12650 valid_bits:    0 1 1 1
state: 0 start: 12679 valid_bits:    0 0 0 1
state: 0 start: 12707 valid_bits:    1 1 1 1
state: 0 start: 12725 valid_bits:    0 1 1 1
state: 0 start: 12745 valid_bits:    0 1 1 1
state: 0 start: 12765 valid_bits:    0 1 1 0
state: 0 start: 12782 valid_bits:    1 0 1 1
state: 0 start: 12817 valid_bits:    0 1 1 1
state: 0 start: 12835 valid_bits:    0 0 1 1
state: 0 start: 12859 valid_bits:    0 1 1 1
state: 0 start: 12879 valid_bits:    0 1 1 1
state: 0 start: 12899 valid_bits:    0 1 1 0
state: 0 start: 12915 valid_bits:    1 1 1 1
state: 0 start: 12945 valid_bits:    0 0 1 1
state: 0 start: 12974 valid_bits:    0 1 1 1
state: 0 start: 12992 valid_bits:    0 1 1 1
state: 0 start: 13011 valid_bits:    0 1 1 1
state: 0 start: 13031 valid_bits:    0 1 1 1
state: 0 start: 13049 valid_bits:    0 1 0 1
state: 0 start: 13069 valid_bits:    2 1 1 1
state: 0 start: 13089 valid_bits:    0 1 1 1
state: 0 start: 13115 valid_bits:    0 1 1 1
state: 0 start: 13135 valid_bits:    0 1 1 1
state: 0 start: 13155 valid_bits:    0 1 1 1
state: 0 start: 13175 valid_bits:    0 1 1 1
state: 0 start: 13192 valid_bits:    0 1 1 1
state: 0 start: 13220 valid_bits:    0 1 1 1
state: 0 start: 13237 valid_bits:    0 1 0 1
state: 0 start: 13257 valid_bits:    2 1 1 1
state: 0 start: 13277 valid_bits:    0 1 1 1
state: 0 start: 13297 valid_bits:    0 1 1 1
state: 0 start: 13317 valid_bits:    0 1 1 1
state: 0 start: 13350 valid_bits:    0 1 1 1
state: 0 start: 13370 valid_bits:    0 0 1 1
state: 0 start: 13392 valid_bits:    0 1 1 1
state: 0 start: 13412 valid_bits:    0 1 1 1
state: 0 start: 13432 valid_bits:    0 1 1 1
state: 0 start: 13452 valid_bits:    0 1 1 1
state: 0 start: 13478 valid_bits:    0 0 1 1
state: 0 start: 13503 valid_bits:    0 0 1 1
state: 0 start: 13526 valid_bits:    0 1 1 1
state: 0 start: 13546 valid_bits:    0 1 1 1
state: 0 start: 13565 valid_bits:    0 1 1 1
state: 0 start: 13583 valid_bits:    0 1 0 1
state: 0 start: 13617 valid_bits:    2 1 1 1
state: 0 start: 13641 valid_bits:    0 1 1 1
state: 0 start: 13659 valid_bits:    0 1 1 1
state: 0 start: 13679 valid_bits:    0 1 1 1
state: 0 start: 13699 valid_bits:    0 1 1 1
state: 0 start: 13717 valid_bits:    0 1 1 1
state: 0 start: 13751 valid_bits:    0 1 1 1
state: 0 start: 13774 valid_bits:    0 0 0 1
state: 0 start: 13794 valid_bits:    1 1 1 1
state: 0 start: 13814 valid_bits:    0 1 1 1
state: 0 start: 13839 valid_bits:    0 1 1 1
state: 0 start: 13859 valid_bits:    0 1 1 1
state: 0 start: 13884 valid_bits:    0 1 1 1
state: 0 start: 13907 valid_bits:    0 1 1 1
state: 0 start: 13926 valid_bits:    0 1 1 1
state: 0 start: 13946 valid_bits:    0 1 1 1
state: 0 start: 13967 valid_bits:    0 0 1 0
state: 0 start: 13983 valid_bits:    3 1 0 1
state: 0 start: 14016 valid_bits:    6 0 1 1
state: 0 start: 14039 valid_bits:    0 0 0 1
state: 0 start: 14059 valid_bits:    1 1 1 1
state: 0 start: 14089 valid_bits:    0 1 1 1
state: 0 start: 14109 valid_bits:    0 1 1 1
state: 0 start: 14129 valid_bits:    0 1 1 1
state: 0 start: 14149 valid_bits:    0 1 1 1
state: 0 start: 14171 valid_bits:    0 0 0 1
state: 0 start: 14192 valid_bits:    1 1 1 1
state: 0 start: 14212 valid_bits:    0 1 1 1
state: 0 start: 14236 valid_bits:    0 1 1 1
state: 0 start: 14260 valid_bits:    0 1 1 1
state: 0 start: 14281 valid_bits:    0 0 1 1
state: 0 start: 14307 valid_bits:    0 1 1 1
state: 0 start: 14326 valid_bits:    0 1 1 1
state: 0 start: 14346 valid_bits:    0 1 1 1
state: 0 start: 14369 valid_bits:    0 1 1 1
state: 0 start: 14393 valid_bits:    0 1 1 1
state: 0 start: 14416 valid_bits:    0 1 1 1
state: 0 start: 14441 valid_bits:    0 1 0 1
state: 0 start: 14460 valid_bits:    2 1 1 1
state: 0 start: 14480 valid_bits:    0 1 1 1
state: 0 start: 14500 valid_bits:    0 1 1 0
state: 0 start: 14516 valid_bits:    1 1 1 1
state: 0 start: 14551 valid_bits:    0 1 1 1
state: 0 start: 14574 valid_bits:    0 0 1 1
state: 0 start: 14593 valid_bits:    0 1 1 1
state: 0 start: 14613 valid_bits:    0 1 1 1
state: 0 start: 14633 valid_bits:    0 1 1 0
state: 0 start: 14650 valid_bits:    1 1 1 1
state: 0 start: 14684 valid_bits:    0 1 1 1
state: 0 start: 14708 valid_bits:    0 1 1 1
state: 0 start: 14728 valid_bits:    0 1 1 1
state: 0 start: 14748 valid_bits:    0 1 1 1
state: 0 start: 14784 valid_bits:    0 1 1 1
state: 0 start: 14813 valid_bits:    0 1 1 1
state: 0 start: 14841 valid_bits:    0 1 1 1
state: 0 start: 14859 valid_bits:    0 1 1 1
state: 0 start: 14879 valid_bits:    0 1 1 1
state: 0 start: 14899 valid_bits:    0 1 1 1
state: 0 start: 14916 valid_bits:    0 1 1 1
state: 0 start: 14936 valid_bits:    0 1 1 1
state: 0 start: 14972 valid_bits:    0 1 1 1
state: 0 start: 14992 valid_bits:    0 1 1 1
state: 0 start: 15012 valid_bits:    0 1 1 1
state: 0 start: 15036 valid_bits:    0 1 1 1
state: 0 start: 15059 valid_bits:    0 1 1 1
state: 0 start: 15083 valid_bits:    0 1 1 1
state: 0 start: 15107 valid_bits:    0 1 0 1
state: 0 start: 15127 valid_bits:    2 1 1 1
state: 0 start: 15147 valid_bits:    0 1 1 1
state: 0 start: 15167 valid_bits:    0 1 1 1
state: 0 start: 15187 valid_bits:    0 1 1 1
state: 0 start: 15216 valid_bits:    0 0 1 1
state: 0 start: 15232 valid_bits:    0 1 0 1
state: 0 start: 15259 valid_bits:    2 1 1 1
state: 0 start: 15276 valid_bits:    0 1 1 1
state: 0 start: 15296 valid_bits:    0 1 1 1
state: 0 start: 15316 valid_bits:    0 1 1 1
state: 0 start: 15351 valid_bits:    0 1 1 1
state: 0 start: 15374 valid_bits:    0 0 1 1
state: 0 start: 15394 valid_bits:    0 1 1 1
state: 0 start: 15414 valid_bits:    0 1 1 1
state: 0 start: 15439 valid_bits:    0 1 1 1
state: 0 start: 15460 valid_bits:    0 1 1 1
state: 0 start: 15484 valid_bits:    0 1 1 1
state: 0 start: 15508 valid_bits:    0 0 1 1
state: 0 start: 15526 valid_bits:    0 1 1 1
state: 0 start: 15546 valid_bits:    0 1 1 1
state: 0 start: 15571 valid_bits:    0 1 1 1
state: 0 start: 15591 valid_bits:    0 1 1 1
state: 0 start: 15611 valid_bits:    0 1 1 1
state: 0 start: 15640 valid_bits:    0 1 0 1
state: 0 start: 15659 valid_bits:    2 1 1 1
state: 0 start: 15689 valid_bits:    0 1 1 1
state: 0 start: 15709 valid_bits:    0 1 1 1
state: 0 start: 15727 valid_bits:    0 1 1 1
state: 0 start: 15747 valid_bits:    0 1 1 1
state: 0 start: 15775 valid_bits:    0 1 1 1
state: 0 start: 15793 valid_bits:    0 1 1 1
state: 0 start: 15813 valid_bits:    0 1 1 1
state: 0 start: 15833 valid_bits:    0 1 1 0
state: 0 start: 15850 valid_bits:    1 1 0 1
state: 0 start: 15882 valid_bits:    4 1 1 1
state: 0 start: 15904 valid_bits:    0 0 1 1
state: 0 start: 15926 valid_bits:    0 1 1 1
state: 0 start: 15946 valid_bits:    0 1 1 1
state: 0 start: 15966 valid_bits:    0 1 1 1
state: 0 start: 15994 valid_bits:    0 1 1 1
state: 0 start: 16017 valid_bits:    0 1 1 1
state: 0 start: 16039 valid_bits:    0 1 1 1
state: 0 start: 16060 valid_bits:    0 1 1 1
state: 0 start: 16080 valid_bits:    0 1 1 1
state: 0 start: 16100 valid_bits:    0 1 1 1
state: 0 start: 16117 valid_bits:    0 1 1 1
state: 0 start: 16151 valid_bits:    0 1 1 1
state: 0 start: 16182 valid_bits:    0 1 1 1
state: 0 start: 16202 valid_bits:    0 1 1 1
state: 0 start: 16224 valid_bits:    0 1 1 1
state: 0 start: 16250 valid_bits:    0 1 1 1
state: 0 start: 16279 valid_bits:    0 1 1 1
state: 0 start: 16304 valid_bits:    0 0 1 1
state: 0 start: 16326 valid_bits:    0 1 1 1
state: 0 start: 16346 valid_bits:    0 1 1 1
state: 0 start: 16370 valid_bits:    0 1 1 1
state: 0 start: 16394 valid_bits:    0 1 1 1
state: 0 start: 16418 valid_bits:    0 1 1 0
state: 0 start: 16436 valid_bits:    1 0 0 1
state: 0 start: 16460 valid_bits:    1 1 1 1
state: 0 start: 16480 valid_bits:    0 1 1 1
state: 0 start: 16508 valid_bits:    0 1 1 1
state: 0 start: 16527 valid_bits:    0 1 1 1
state: 0 start: 16548 valid_bits:    0 0 1 1
state: 0 start: 16575 valid_bits:    0 1 1 1
state: 0 start: 16593 valid_bits:    0 1 1 1
state: 0 start: 16614 valid_bits:    0 1 1 1
state: 0 start: 16634 valid_bits:    0 1 1 1
state: 0 start: 16654 valid_bits:    0 1 1 1
state: 0 start: 16680 valid_bits:    0 1 1 1
state: 0 start: 16715 valid_bits:    0 0 1 1
state: 0 start: 16735 valid_bits:    0 1 1 1
state: 0 start: 16756 valid_bits:    0 1 1 1
state: 0 start: 16783 valid_bits:    0 1 1 1
state: 0 start: 16815 valid_bits:    0 0 1 1
state: 0 start: 16837 valid_bits:    0 0 1 1
state: 0 start: 16860 valid_bits:    0 1 1 1
state: 0 start: 16880 valid_bits:    0 1 1 1
state: 0 start: 16900 valid_bits:    0 1 1 1
state: 0 start: 16920 valid_bits:    0 1 1 1
state: 0 start: 16947 valid_bits:    0 0 0 1
state: 0 start: 16971 valid_bits:    1 0 1 1
state: 0 start: 16993 valid_bits:    0 1 1 1
state: 0 start: 17013 valid_bits:    0 1 1 1
state: 0 start: 17033 valid_bits:    0 1 1 1
state: 0 start: 17053 valid_bits:    0 1 1 1
state: 0 start: 17081 valid_bits:    0 0 1 1
state: 0 start: 17107 valid_bits:    0 1 0 1
state: 0 start: 17138 valid_bits:    2 1 1 1
state: 0 start: 17158 valid_bits:    0 1 1 1
state: 0 start: 17184 valid_bits:    0 1 0 1
state: 0 start: 17219 valid_bits:    2 0 1 1
state: 0 start: 17238 valid_bits:    0 1 1 1
state: 0 start: 17260 valid_bits:    0 1 1 1
state: 0 start: 17280 valid_bits:    0 1 1 1
state: 0 start: 17300 valid_bits:    0 1 1 0
state: 0 start: 17316 valid_bits:    1 1 1 1
state: 0 start: 17348 valid_bits:    0 1 1 1
state: 0 start: 17364 valid_bits:    0 1 0 1
state: 0 start: 17382 valid_bits:    2 0 1 1
state: 0 start: 17417 valid_bits:    0 1 1 1
state: 0 start: 17437 valid_bits:    0 1 1 1
state: 0 start: 17460 valid_bits:    0 1 1 1
state: 0 start: 17484 valid_bits:    0 0 1 1
state: 0 start: 17515 valid_bits:    0 1 1 1
state: 0 start: 17546 valid_bits:    0 1 1 1
state: 0 start: 17573 valid_bits:    0 1 1 1
state: 0 start: 17594 valid_bits:    0 1 1 1
state: 0 start: 17615 valid_bits:    0 1 1 1
state: 0 start: 17639 valid_bits:    0 0 1 1
state: 0 start: 17660 valid_bits:    0 1 1 1
state: 0 start: 17680 valid_bits:    0 1 1 1
state: 0 start: 17700 valid_bits:    0 1 1 1
state: 0 start: 17720 valid_bits:    0 1 1 1
state: 0 start: 17749 valid_bits:    0 0 1 1
state: 0 start: 17773 valid_bits:    0 0 1 1
state: 0 start: 17793 valid_bits:    0 1 1 1
state: 0 start: 17813 valid_bits:    0 1 1 1
state: 0 start: 17837 valid_bits:    0 1 1 1
state: 0 start: 17857 valid_bits:    0 1 1 1
state: 0 start: 17884 valid_bits:    0 1 1 1
state: 0 start: 17909 valid_bits:    0 1 1 1
state: 0 start: 17926 valid_bits:    0 1 1 1
state: 0 start: 17956 valid_bits:    0 1 1 1
state: 0 start: 17976 valid_bits:    0 1 1 1
state: 0 start: 17996 valid_bits:    0 1 1 1
state: 0 start: 18018 valid_bits:    0 1 1 0
state: 0 start: 18036 valid_bits:    1 1 1 1
state: 0 start: 18060 valid_bits:    0 1 1 1
state: 0 start: 18080 valid_bits:    0 1 1 1
state: 0 start: 18100 valid_bits:    0 1 1 0
state: 0 start: 18117 valid_bits:    1 1 1 1
state: 0 start: 18147 valid_bits:    0 0 0 1
state: 0 start: 18175 valid_bits:    1 1 1 1
state: 0 start: 18194 valid_bits:    0 1 1 1
state: 0 start: 18214 valid_bits:    0 1 1 1
state: 0 start: 18234 valid_bits:    0 1 1 0
state: 0 start: 18250 valid_bits:    1 1 0 1
state: 0 start: 18281 valid_bits:    4 1 0 1
state: 0 start: 18304 valid_bits:    2 0 1 1
state: 0 start: 18327 valid_bits:    0 1 1 1
state: 0 start: 18347 valid_bits:    0 1 1 1
state: 0 start: 18367 valid_bits:    0 1 1 0
state: 0 start: 18384 valid_bits:    1 1 1 1
state: 0 start: 18414 valid_bits:    0 0 1 1
state: 0 start: 18441 valid_bits:    0 0 1 1
state: 0 start: 18461 valid_bits:    0 1 1 1
state: 0 start: 18481 valid_bits:    0 1 1 1
state: 0 start: 18501 valid_bits:    0 0 1 1
state: 0 start: 18521 valid_bits:    0 1 1 1
state: 0 start: 18550 valid_bits:    0 1 1 0
state: 0 start: 18567 valid_bits:    1 1 0 0
state: 0 start: 18585 valid_bits:    0 1 1 1
state: 0 start: 18605 valid_bits:    0 1 1 1
state: 0 start: 18625 valid_bits:    0 1 1 1
state: 0 start: 18650 valid_bits:    0 1 1 1
state: 0 start: 18682 valid_bits:    0 1 1 1
state: 0 start: 18708 valid_bits:    0 0 1 1
state: 0 start: 18727 valid_bits:    0 1 1 1
state: 0 start: 18747 valid_bits:    0 1 1 1
state: 0 start: 18771 valid_bits:    0 1 1 1
state: 0 start: 18791 valid_bits:    0 1 1 1
state: 0 start: 18817 valid_bits:    0 1 1 1
state: 0 start: 18833 valid_bits:    0 1 1 1
state: 0 start: 18850 valid_bits:    0 1 0 1
state: 0 start: 18870 valid_bits:    2 1 1 1
state: 0 start: 18890 valid_bits:    0 1 1 1
state: 0 start: 18917 valid_bits:    0 1 1 1
state: 0 start: 18951 valid_bits:    0 1 1 1
state: 0 start: 18975 valid_bits:    0 1 1 1
state: 0 start: 18994 valid_bits:    0 1 1 1
state: 0 start: 19014 valid_bits:    0 1 1 1
state: 0 start: 19034 valid_bits:    0 1 1 1
state: 0 start: 19054 valid_bits:    0 1 1 1
state: 0 start: 19081 valid_bits:    0 1 1 1
state: 0 start: 19107 valid_bits:    0 0 1 1
state: 0 start: 19127 valid_bits:    0 1 1 1
state: 0 start: 19147 valid_bits:    0 1 1 1
state: 0 start: 19176 valid_bits:    0 1 1 1
state: 0 start: 19196 valid_bits:    0 1 1 1
state: 0 start: 19217 valid_bits:    0 1 1 1
state: 0 start: 19241 valid_bits:    0 1 0 1
state: 0 start: 19260 valid_bits:    2 1 1 1
state: 0 start: 19279 valid_bits:    0 1 1 1
state: 0 start: 19309 valid_bits:    0 1 1 1
state: 0 start: 19328 valid_bits:    0 1 1 1
state: 0 start: 19352 valid_bits:    0 1 1 0
state: 0 start: 19368 valid_bits:    1 1 1 1
state: 0 start: 19388 valid_bits:    0 1 1 1
state: 0 start: 19419 valid_bits:    0 1 1 1
state: 0 start: 19450 valid_bits:    0 1 1 1
state: 0 start: 19480 valid_bits:    0 1 0 1
state: 0 start: 19500 valid_bits:    2 1 1 0
state: 0 start: 19519 valid_bits:    1 1 1 1
state: 0 start: 19539 valid_bits:    0 1 1 1
state: 0 start: 19565 valid_bits:    0 1 1 0
state: 0 start: 19583 valid_bits:    1 1 1 1
state: 0 start: 19618 valid_bits:    0 1 0 1
state: 0 start: 19638 valid_bits:    2 0 1 1
state: 0 start: 19658 valid_bits:    0 1 1 1
state: 0 start: 19678 valid_bits:    0 1 1 1
state: 0 start: 19698 valid_bits:    0 1 1 1
state: 0 start: 19727 valid_bits:    0 1 1 1
state: 0 start: 19747 valid_bits:    0 0 1 1
state: 0 start: 19783 valid_bits:    0 1 1 1
state: 0 start: 19803 valid_bits:    0 1 1 1
state: 0 start: 19823 valid_bits:    0 1 1 1
state: 0 start: 19851 valid_bits:    0 1 0 1
state: 0 start: 19885 valid_bits:    2 1 1 1
state: 0 start: 19908 valid_bits:    0 1 1 1
state: 0 start: 19927 valid_bits:    0 1 1 1
state: 0 start: 19947 valid_bits:    0 1 1 1
state: 0 start: 19967 valid_bits:    0 1 1 1
state: 0 start: 19987 valid_bits:    0 1 1 1
state: 0 start: 20014 valid_bits:    0 0 1 1
state: 0 start: 20039 valid_bits:    0 0 1 1
state: 0 start: 20059 valid_bits:    0 1 1 1
state: 0 start: 20091 valid_bits:    0 1 1 1
state: 0 start: 20111 valid_bits:    0 1 1 0
state: 0 start: 20127 valid_bits:    1 1 1 1
state: 0 start: 20148 valid_bits:    0 1 1 1
state: 0 start: 20176 valid_bits:    0 1 1 1
state: 0 start: 20194 valid_bits:    0 1 1 1
state: 0 start: 20215 valid_bits:    0 1 1 1
state: 0 start: 20235 valid_bits:    0 1 1 1
state: 0 start: 20261 valid_bits:    0 1 1 1
state: 0 start: 20285 valid_bits:    0 0 1 1
state: 0 start: 20309 valid_bits:    0 1 0 1
state: 0 start: 20327 valid_bits:    2 1 1 1
state: 0 start: 20347 valid_bits:    0 1 1 1
state: 0 start: 20367 valid_bits:    0 1 1 1
state: 0 start: 20384 valid_bits:    0 1 1 1
state: 0 start: 20418 valid_bits:    0 1 1 1
state: 0 start: 20449 valid_bits:    0 0 1 1
state: 0 start: 20469 valid_bits:    0 1 1 1
state: 0 start: 20489 valid_bits:    0 1 1 1
state: 0 start: 20517 valid_bits:    0 1 0 1
state: 0 start: 20548 valid_bits:    2 1 0 1
state: 0 start: 20576 valid_bits:    2 1 1 1
state: 0 start: 20594 valid_bits:    0 1 1 1
state: 0 start: 20614 valid_bits:    0 1 1 1
state: 0 start: 20644 valid_bits:    0 1 1 1
state: 0 start: 20664 valid_bits:    0 1 1 1
state: 0 start: 20685 valid_bits:    0 0 1 1
state: 0 start: 20709 valid_bits:    0 1 1 1
state: 0 start: 20727 valid_bits:    0 1 1 1
state: 0 start: 20747 valid_bits:    0 1 1 1
state: 0 start: 20767 valid_bits:    0 1 1 0
state: 0 start: 20784 valid_bits:    1 1 1 1
state: 0 start: 20817 valid_bits:    0 1 1 1
state: 0 start: 20842 valid_bits:    0 1 0 1
state: 0 start: 20860 valid_bits:    2 1 1 1
state: 0 start: 20890 valid_bits:    0 1 1 0
state: 0 start: 20908 valid_bits:    1 1 1 1
state: 0 start: 20928 valid_bits:    0 1 1 1
state: 0 start: 20951 valid_bits:    0 0 1 1
state: 0 start: 20972 valid_bits:    0 1 1 1
state: 0 start: 20993 valid_bits:    0 1 1 1
state: 0 start: 21012 valid_bits:    0 1 1 1
state: 0 start: 21038 valid_bits:    0 1 1 1
state: 0 start: 21058 valid_bits:    0 1 1 1
state: 0 start: 21080 valid_bits:    0 0 1 1
state: 0 start: 21108 valid_bits:    0 1 1 1
state: 0 start: 21128 valid_bits:    0 1 1 1
state: 0 start: 21148 valid_bits:    0 1 1 1
state: 0 start: 21168 valid_bits:    0 1 1 1
state: 0 start: 21194 valid_bits:    0 1 1 1
state: 0 start: 21219 valid_bits:    0 1 1 1
state: 0 start: 21243 valid_bits:    0 1 1 1
state: 0 start: 21263 valid_bits:    0 1 1 1
state: 0 start: 21283 valid_bits:    0 1 1 1
state: 0 start: 21306 valid_bits:    0 1 1 1
state: 0 start: 21326 valid_bits:    0 1 1 1
state: 0 start: 21348 valid_bits:    0 0 1 1
state: 0 start: 21364 valid_bits:    0 1 1 1
state: 0 start: 21383 valid_bits:    0 1 1 1
state: 0 start: 21403 valid_bits:    0 1 1 1
state: 0 start: 21423 valid_bits:    0 1 1 1
state: 0 start: 21443 valid_bits:    0 1 1 1
state: 0 start: 21463 valid_bits:    0 1 1 1
state: 0 start: 21485 valid_bits:    0 1 1 1
state: 0 start: 21511 valid_bits:    0 0 1 0
state: 0 start: 21527 valid_bits:    3 1 1 1
state: 0 start: 21560 valid_bits:    0 1 1 1
state: 0 start: 21580 valid_bits:    0 1 1 1
state: 0 start: 21611 valid_bits:    0 0 1 1
state: 0 start: 21630 valid_bits:    0 1 1 1
state: 0 start: 21650 valid_bits:    0 1 1 1
state: 0 start: 21670 valid_bits:    0 1 1 1
state: 0 start: 21690 valid_bits:    0 1 1 1
state: 0 start: 21717 valid_bits:    0 1 1 1
state: 0 start: 21746 valid_bits:    0 0 0 1
state: 0 start: 21776 valid_bits:    1 0 1 1
state: 0 start: 21794 valid_bits:    0 1 1 1
state: 0 start: 21814 valid_bits:    0 1 1 1
state: 0 start: 21834 valid_bits:    0 1 1 1
state: 0 start: 21854 valid_bits:    0 1 1 1
state: 0 start: 21886 valid_bits:    0 1 1 1
state: 0 start: 21916 valid_bits:    0 0 1 1
state: 0 start: 21936 valid_bits:    0 1 1 0
state: 0 start: 21952 valid_bits:    1 1 1 1
state: 0 start: 21972 valid_bits:    0 1 1 1
state: 0 start: 21995 valid_bits:    0 1 1 1
state: 0 start: 22015 valid_bits:    0 0 1 1
state: 0 start: 22038 valid_bits:    0 0 1 1
state: 0 start: 22061 valid_bits:    0 1 1 1
state: 0 start: 22081 valid_bits:    0 1 1 1
state: 0 start: 22109 valid_bits:    0 1 0 1
state: 0 start: 22128 valid_bits:    2 1 1 1
state: 0 start: 22146 valid_bits:    0 0 1 1
state: 0 start: 22176 valid_bits:    0 1 1 1
state: 0 start: 22196 valid_bits:    0 1 1 1
state: 0 start: 22215 valid_bits:    0 1 0 1
state: 0 start: 22235 valid_bits:    2 1 1 0
state: 0 start: 22251 valid_bits:    1 1 1 1
state: 0 start: 22286 valid_bits:    0 1 1 1
state: 0 start: 22309 valid_bits:    0 1 1 1
state: 0 start: 22329 valid_bits:    0 1 1 1
state: 0 start: 22348 valid_bits:    0 1 1 1
state: 0 start: 22368 valid_bits:    0 1 1 1
state: 0 start: 22395 valid_bits:    0 1 1 1
state: 0 start: 22419 valid_bits:    0 1 1 1
state: 0 start: 22442 valid_bits:    0 0 0 1
state: 0 start: 22461 valid_bits:    1 1 1 1
state: 0 start: 22481 valid_bits:    0 1 1 1
state: 0 start: 22501 valid_bits:    0 1 1 1
state: 0 start: 22528 valid_bits:    0 1 1 1
state: 0 start: 22546 valid_bits:    0 1 0 1
state: 0 start: 22566 valid_bits:    2 1 1 1
state: 0 start: 22584 valid_bits:    0 1 0 1
state: 0 start: 22604 valid_bits:    2 1 1 1
state: 0 start: 22639 valid_bits:    0 1 1 1
state: 0 start: 22662 valid_bits:    0 1 0 1
state: 0 start: 22686 valid_bits:    2 0 1 1
state: 0 start: 22704 valid_bits:    0 0 1 1
state: 0 start: 22724 valid_bits:    0 1 1 1
state: 0 start: 22744 valid_bits:    0 1 1 1
state: 0 start: 22764 valid_bits:    0 1 1 1
state: 0 start: 22795 valid_bits:    0 1 1 1
state: 0 start: 22812 valid_bits:    0 0 0 1
state: 0 start: 22831 valid_bits:    1 1 0 1
state: 0 start: 22851 valid_bits:    2 1 1 1
state: 0 start: 22871 valid_bits:    0 1 1 1
state: 0 start: 22891 valid_bits:    0 1 1 1
state: 0 start: 22918 valid_bits:    0 1 1 1
state: 0 start: 22951 valid_bits:    0 1 1 1
state: 0 start: 22971 valid_bits:    0 1 1 1
state: 0 start: 22994 valid_bits:    0 1 1 1
state: 0 start: 23020 valid_bits:    0 1 1 1
state: 0 start: 23039 valid_bits:    0 1 1 1
state: 0 start: 23059 valid_bits:    0 1 1 1
state: 0 start: 23085 valid_bits:    0 1 1 1
state: 0 start: 23101 valid_bits:    0 1 1 1
state: 0 start: 23128 valid_bits:    0 1 1 1
state: 0 start: 23148 valid_bits:    0 1 1 1
state: 0 start: 23173 valid_bits:    0 1 1 1
state: 0 start: 23195 valid_bits:    0 1 1 1
state: 0 start: 23213 valid_bits:    0 0 1 1
state: 0 start: 23239 valid_bits:    0 1 1 1
state: 0 start: 23259 valid_bits:    0 1 1 1
state: 0 start: 23281 valid_bits:    0 1 1 1
state: 0 start: 23310 valid_bits:    0 1 1 1
state: 0 start: 23330 valid_bits:    0 1 1 0
state: 0 start: 23347 valid_bits:    1 1 1 1
state: 0 start: 23372 valid_bits:    0 0 1 1
state: 0 start: 23392 valid_bits:    0 1 1 1
state: 0 start: 23414 valid_bits:    0 1 1 1
state: 0 start: 23434 valid_bits:    0 1 1 1
state: 0 start: 23451 valid_bits:    0 1 1 1
state: 0 start: 23486 valid_bits:    0 1 1 1
state: 0 start: 23506 valid_bits:    0 0 1 1
state: 0 start: 23528 valid_bits:    0 1 1 1
state: 0 start: 23548 valid_bits:    0 1 1 1
state: 0 start: 23577 valid_bits:    0 1 1 1
state: 0 start: 23595 valid_bits:    0 1 1 1
state: 0 start: 23615 valid_bits:    0 1 1 1
state: 0 start: 23635 valid_bits:    0 1 1 1
state: 0 start: 23661 valid_bits:    0 1 1 1
state: 0 start: 23681 valid_bits:    0 1 1 1
state: 0 start: 23701 valid_bits:    0 1 1 1
state: 0 start: 23728 valid_bits:    0 1 1 1
state: 0 start: 23753 valid_bits:    0 0 1 1
state: 0 start: 23777 valid_bits:    0 1 1 1
state: 0 start: 23797 valid_bits:    0 1 1 1
state: 0 start: 23817 valid_bits:    0 1 1 1
state: 0 start: 23837 valid_bits:    0 1 1 1
state: 0 start: 23862 valid_bits:    0 1 1 1
state: 0 start: 23886 valid_bits:    0 1 1 1
state: 0 start: 23906 valid_bits:    0 1 1 1
state: 0 start: 23926 valid_bits:    0 1 1 1
state: 0 start: 23946 valid_bits:    0 1 1 1
state: 0 start: 23966 valid_bits:    0 1 1 1
state: 0 start: 23995 valid_bits:    0 1 1 1
state: 0 start: 24022 valid_bits:    0 1 1 1
state: 0 start: 24049 valid_bits:    0 1 1 1
state: 0 start: 24069 valid_bits:    0 1 1 1
state: 0 start: 24089 valid_bits:    0 1 1 1
state: 0 start: 24109 valid_bits:    0 1 1 1
state: 0 start: 24129 valid_bits:    0 1 1 1
state: 0 start: 24147 valid_bits:    0 0 1 1
state: 0 start: 24167 valid_bits:    0 1 1 1
state: 0 start: 24185 valid_bits:    0 1 0 1
state: 0 start: 24205 valid_bits:    2 1 1 1
state: 0 start: 24224 valid_bits:    0 1 0 1
state: 0 start: 24244 valid_bits:    2 1 1 1
state: 0 start: 24264 valid_bits:    0 1 1 1
state: 0 start: 24281 valid_bits:    0 0 0 0
state: 0 start: 24298 valid_bits:    0 1 1 0
state: 0 start: 24316 valid_bits:    1 1 1 1
state: 0 start: 24336 valid_bits:    0 1 1 1
state: 0 start: 24356 valid_bits:    0 1 1 1
state: 0 start: 24385 valid_bits:    0 1 1 1
state: 0 start: 24405 valid_bits:    0 1 1 1
state: 0 start: 24423 valid_bits:    0 1 1 1
state: 0 start: 24444 valid_bits:    0 1 1 1
state: 0 start: 24462 valid_bits:    0 1 1 1
state: 0 start: 24480 valid_bits:    0 1 1 1
state: 0 start: 24504 valid_bits:    0 0 1 1
state: 0 start: 24529 valid_bits:    0 1 1 1
state: 0 start: 24553 valid_bits:    0 1 1 1
state: 0 start: 24575 valid_bits:    0 0 0 1
state: 0 start: 24595 valid_bits:    1 1 1 1
state: 0 start: 24624 valid_bits:    0 1 1 1
state: 0 start: 24644 valid_bits:    0 1 1 1
state: 0 start: 24664 valid_bits:    0 1 1 1
state: 0 start: 24684 valid_bits:    0 1 1 1
state: 0 start: 24710 valid_bits:    0 1 1 1
state: 0 start: 24728 valid_bits:    0 1 1 1
state: 0 start: 24745 valid_bits:    0 1 1 1
state: 0 start: 24770 valid_bits:    0 0 1 1
state: 0 start: 24795 valid_bits:    0 1 1 1
state: 0 start: 24817 valid_bits:    0 0 1 1
state: 0 start: 24840 valid_bits:    0 1 1 1
state: 0 start: 24860 valid_bits:    0 1 1 1
state: 0 start: 24891 valid_bits:    0 1 1 1
state: 0 start: 24911 valid_bits:    0 1 1 1
state: 0 start: 24931 valid_bits:    0 1 1 1
state: 0 start: 24951 valid_bits:    0 0 1 1
state: 0 start: 24967 valid_bits:    0 1 1 1
state: 0 start: 24995 valid_bits:    0 1 1 1
state: 0 start: 25015 valid_bits:    0 1 1 1
state: 0 start: 25035 valid_bits:    0 1 1 0
state: 0 start: 25052 valid_bits:    1 1 1 1
state: 0 start: 25082 valid_bits:    0 0 1 1
state: 0 start: 25105 valid_bits:    0 0 1 1
state: 0 start: 25128 valid_bits:    0 1 1 1
state: 0 start: 25148 valid_bits:    0 1 1 1
state: 0 start: 25168 valid_bits:    0 1 1 1
state: 0 start: 25188 valid_bits:    0 1 1 1
state: 0 start: 25219 valid_bits:    0 1 1 1
state: 0 start: 25239 valid_bits:    0 0 1 1
state: 0 start: 25274 valid_bits:    0 1 1 1
state: 0 start: 25294 valid_bits:    0 1 1 1
state: 0 start: 25328 valid_bits:    0 1 1 1
state: 0 start: 25352 valid_bits:    0 0 1 1
state: 0 start: 25383 valid_bits:    0 0 1 1
state: 0 start: 25403 valid_bits:    0 1 1 1
state: 0 start: 25423 valid_bits:    0 1 1 1
state: 0 start: 25443 valid_bits:    0 1 1 1
state: 0 start: 25463 valid_bits:    0 1 1 1
state: 0 start: 25487 valid_bits:    0 1 1 1
state: 0 start: 25510 valid_bits:    0 0 1 1
state: 0 start: 25528 valid_bits:    0 1 1 1
state: 0 start: 25548 valid_bits:    0 1 1 1
state: 0 start: 25572 valid_bits:    0 0 1 1
state: 0 start: 25595 valid_bits:    0 1 1 1
state: 0 start: 25618 valid_bits:    0 1 1 1
state: 0 start: 25644 valid_bits:    0 1 1 1
state: 0 start: 25664 valid_bits:    0 1 1 1
state: 0 start: 25683 valid_bits:    0 1 1 1
state: 0 start: 25718 valid_bits:    0 1 1 1
state: 0 start: 25753 valid_bits:    0 1 1 1
state: 0 start: 25775 valid_bits:    0 0 1 1
state: 0 start: 25808 valid_bits:    0 1 1 1
state: 0 start: 25828 valid_bits:    0 1 1 1
state: 0 start: 25853 valid_bits:    0 1 1 1
state: 0 start: 25886 valid_bits:    0 1 1 1
state: 0 start: 25918 valid_bits:    0 1 1 1
state: 0 start: 25948 valid_bits:    0 1 0 1
state: 0 start: 25971 valid_bits:    2 0 1 1
state: 0 start: 25987 valid_bits:    0 1 1 1
state: 0 start: 26019 valid_bits:    0 1 1 1
state: 0 start: 26045 valid_bits:    0 1 1 1
state: 0 start: 26065 valid_bits:    0 1 1 1
state: 0 start: 26085 valid_bits:    0 1 1 1
state: 0 start: 26118 valid_bits:    0 0 1 1
state: 0 start: 26153 valid_bits:    0 0 1 1
state: 0 start: 26173 valid_bits:    0 1 1 1
state: 0 start: 26193 valid_bits:    0 1 1 1
state: 0 start: 26213 valid_bits:    0 1 1 1
state: 0 start: 26233 valid_bits:    0 1 1 1
state: 0 start: 26252 valid_bits:    0 1 1 1
state: 0 start: 26282 valid_bits:    0 0 1 0
state: 0 start: 26299 valid_bits:    3 1 1 0
state: 0 start: 26316 valid_bits:    1 1 1 1
state: 0 start: 26336 valid_bits:    0 1 1 1
state: 0 start: 26356 valid_bits:    0 1 1 1
state: 0 start: 26386 valid_bits:    0 1 0 1
state: 0 start: 26415 valid_bits:    2 1 0 1
state: 0 start: 26438 valid_bits:    2 0 0 1
state: 0 start: 26458 valid_bits:    1 1 1 1
state: 0 start: 26490 valid_bits:    0 1 1 0
state: 0 start: 26507 valid_bits:    1 0 1 1
state: 0 start: 26529 valid_bits:    0 1 1 1
state: 0 start: 26553 valid_bits:    0 1 1 1
state: 0 start: 26573 valid_bits:    0 1 1 1
state: 0 start: 26595 valid_bits:    0 1 1 1
state: 0 start: 26615 valid_bits:    0 1 1 1
state: 0 start: 26635 valid_bits:    0 1 1 1
state: 0 start: 26655 valid_bits:    0 1 1 1
state: 0 start: 26686 valid_bits:    0 0 1 1
state: 0 start: 26717 valid_bits:    0 0 1 1
state: 0 start: 26737 valid_bits:    0 1 1 1
state: 0 start: 26757 valid_bits:    0 1 1 1
state: 0 start: 26777 valid_bits:    0 1 1 1
state: 0 start: 26797 valid_bits:    0 1 1 1
state: 0 start: 26818 valid_bits:    0 0 1 0
state: 0 start: 26835 valid_bits:    3 1 1 0
state: 0 start: 26854 valid_bits:    1 1 1 1
state: 0 start: 26881 valid_bits:    0 1 1 1
state: 0 start: 26901 valid_bits:    0 1 1 1
state: 0 start: 26933 valid_bits:    0 1 1 0
state: 0 start: 26957 valid_bits:    1 1 0 1
state: 0 start: 26976 valid_bits:    4 1 0 1
state: 0 start: 26996 valid_bits:    2 1 1 1
state: 0 start: 27016 valid_bits:    0 1 1 1
state: 0 start: 27037 valid_bits:    0 0 1 1
state: 0 start: 27054 valid_bits:    0 1 1 1
state: 0 start: 27083 valid_bits:    0 1 1 1
state: 0 start: 27110 valid_bits:    0 0 0 1
state: 0 start: 27130 valid_bits:    1 1 1 1
state: 0 start: 27150 valid_bits:    0 1 1 1
state: 0 start: 27185 valid_bits:    0 1 1 1
state: 0 start: 27220 valid_bits:    0 1 1 1
state: 0 start: 27243 valid_bits:    0 1 1 1
state: 0 start: 27263 valid_bits:    0 1 1 1
state: 0 start: 27283 valid_bits:    0 1 1 1
state: 0 start: 27310 valid_bits:    0 1 0 1
state: 0 start: 27330 valid_bits:    2 1 1 1
state: 0 start: 27353 valid_bits:    0 0 1 1
state: 0 start: 27378 valid_bits:    0 1 1 1
state: 0 start: 27398 valid_bits:    0 1 1 1
state: 0 start: 27421 valid_bits:    0 1 1 1
state: 0 start: 27441 valid_bits:    0 1 1 1
state: 0 start: 27461 valid_bits:    0 1 1 1
state: 0 start: 27486 valid_bits:    0 1 1 1
state: 0 start: 27506 valid_bits:    0 1 1 1
state: 0 start: 27529 valid_bits:    0 1 1 1
state: 0 start: 27549 valid_bits:    0 1 1 1
state: 0 start: 27570 valid_bits:    0 1 1 1
state: 0 start: 27596 valid_bits:    0 1 1 1
state: 0 start: 27616 valid_bits:    0 1 1 1
state: 0 start: 27643 valid_bits:    0 1 1 1
state: 0 start: 27663 valid_bits:    0 1 1 1
state: 0 start: 27684 valid_bits:    0 1 1 1
state: 0 start: 27704 valid_bits:    0 1 1 1
state: 0 start: 27724 valid_bits:    0 1 1 1
state: 0 start: 27754 valid_bits:    0 0 0 1
state: 0 start: 27777 valid_bits:    1 1 1 1
state: 0 start: 27797 valid_bits:    0 1 1 1
state: 0 start: 27827 valid_bits:    0 1 1 1
state: 0 start: 27863 valid_bits:    0 1 1 1
state: 0 start: 27883 valid_bits:    0 1 1 1
state: 0 start: 27915 valid_bits:    0 1 1 1
state: 0 start: 27935 valid_bits:    0 1 1 1
state: 0 start: 27955 valid_bits:    0 1 1 1
state: 0 start: 27986 valid_bits:    0 1 0 1
state: 0 start: 28020 valid_bits:    2 1 1 1
state: 0 start: 28051 valid_bits:    0 1 1 1
state: 0 start: 28071 valid_bits:    0 1 1 1
state: 0 start: 28106 valid_bits:    0 1 1 1
state: 0 start: 28129 valid_bits:    0 1 1 1
state: 0 start: 28153 valid_bits:    0 1 1 1
state: 0 start: 28176 valid_bits:    0 1 1 1
state: 0 start: 28196 valid_bits:    0 1 1 1
state: 0 start: 28216 valid_bits:    0 1 1 1
state: 0 start: 28236 valid_bits:    0 1 1 1
state: 0 start: 28262 valid_bits:    0 1 1 1
state: 0 start: 28287 valid_bits:    0 1 1 1
state: 0 start: 28310 valid_bits:    0 1 1 1
state: 0 start: 28330 valid_bits:    0 1 1 1
state: 0 start: 28350 valid_bits:    0 1 1 1
state: 0 start: 28385 valid_bits:    0 0 1 1
state: 0 start: 28420 valid_bits:    0 1 1 1
state: 0 start: 28444 valid_bits:    0 1 1 1
state: 0 start: 28464 valid_bits:    0 1 1 1
state: 0 start: 28484 valid_bits:    0 1 1 1
state: 0 start: 28519 valid_bits:    0 1 1 1
state: 0 start: 28548 valid_bits:    0 0 1 1
state: 0 start: 28576 valid_bits:    0 0 1 1
state: 0 start: 28596 valid_bits:    0 1 1 1
state: 0 start: 28616 valid_bits:    0 1 1 1
state: 0 start: 28636 valid_bits:    0 1 1 0
state: 0 start: 28652 valid_bits:    1 1 1 1
state: 0 start: 28684 valid_bits:    0 1 1 1
state: 0 start: 28710 valid_bits:    0 1 1 1
state: 0 start: 28745 valid_bits:    0 1 1 1
state: 0 start: 28765 valid_bits:    0 1 1 1
state: 0 start: 28785 valid_bits:    0 1 1 1
state: 0 start: 28805 valid_bits:    0 1 1 1
state: 0 start: 28840 valid_bits:    0 0 1 1
state: 0 start: 28860 valid_bits:    0 1 1 1
state: 0 start: 28880 valid_bits:    0 1 1 1
state: 0 start: 28900 valid_bits:    0 1 1 1
state: 0 start: 28920 valid_bits:    0 1 1 1
state: 0 start: 28940 valid_bits:    0 1 1 0
state: 0 start: 28957 valid_bits:    1 1 1 1
state: 0 start: 28984 valid_bits:    0 1 1 1
state: 0 start: 29004 valid_bits:    0 1 1 1
state: 0 start: 29024 valid_bits:    0 1 1 1
state: 0 start: 29044 valid_bits:    0 1 1 1
state: 0 start: 29064 valid_bits:    0 1 1 1
state: 0 start: 29084 valid_bits:    0 1 1 0
state: 0 start: 29101 valid_bits:    1 1 0 0
state: 0 start: 29118 valid_bits:    0 1 1 1
state: 0 start: 29138 valid_bits:    0 1 1 1
state: 0 start: 29158 valid_bits:    0 1 1 1
state: 0 start: 29178 valid_bits:    0 1 1 1
state: 0 start: 29198 valid_bits:    0 1 1 1
state: 0 start: 29221 valid_bits:    0 1 1 1
state: 0 start: 29250 valid_bits:    0 0 1 1
state: 0 start: 29270 valid_bits:    0 1 1 1
state: 0 start: 29303 valid_bits:    0 1 1 0
state: 0 start: 29321 valid_bits:    1 1 1 1
state: 0 start: 29353 valid_bits:    0 1 1 1
state: 0 start: 29374 valid_bits:    0 0 1 1
state: 0 start: 29396 valid_bits:    0 1 1 1
state: 0 start: 29416 valid_bits:    0 1 1 1
state: 0 start: 29436 valid_bits:    0 1 1 0
state: 0 start: 29452 valid_bits:    1 1 1 1
state: 0 start: 29480 valid_bits:    0 0 1 1
state: 0 start: 29507 valid_bits:    0 1 1 1
state: 0 start: 29529 valid_bits:    0 1 1 1
state: 0 start: 29549 valid_bits:    0 1 1 1
state: 0 start: 29567 valid_bits:    0 1 1 1
state: 0 start: 29586 valid_bits:    0 1 1 1
state: 0 start: 29617 valid_bits:    0 0 1 0
state: 0 start: 29634 valid_bits:    3 1 0 0
state: 0 start: 29651 valid_bits:    0 1 1 1
state: 0 start: 29671 valid_bits:    0 1 1 1
state: 0 start: 29692 valid_bits:    0 1 1 1
state: 0 start: 29719 valid_bits:    0 1 1 1
state: 0 start: 29754 valid_bits:    0 1 1 1
state: 0 start: 29778 valid_bits:    0 1 1 1
state: 0 start: 29796 valid_bits:    0 1 1 1
state: 0 start: 29816 valid_bits:    0 1 1 1
state: 0 start: 29845 valid_bits:    0 1 0 1
state: 0 start: 29865 valid_bits:    2 1 1 1
state: 0 start: 29884 valid_bits:    0 0 1 1
state: 0 start: 29918 valid_bits:    0 1 1 1
state: 0 start: 29938 valid_bits:    0 1 1 1
state: 0 start: 29958 valid_bits:    0 1 1 1
state: 0 start: 29986 valid_bits:    0 1 1 1
state: 0 start: 30020 valid_bits:    0 1 1 1
state: 0 start: 30042 valid_bits:    0 1 1 1
state: 0 start: 30063 valid_bits:    0 1 1 1
state: 0 start: 30084 valid_bits:    0 1 1 1
state: 0 start: 30104 valid_bits:    0 1 1 1
state: 0 start: 30124 valid_bits:    0 1 1 1
state: 0 start: 30154 valid_bits:    0 1 1 1
state: 0 start: 30178 valid_bits:    0 1 1 1
state: 0 start: 30196 valid_bits:    0 1 1 1
state: 0 start: 30216 valid_bits:    0 1 1 1
state: 0 start: 30236 valid_bits:    0 1 1 1
state: 0 start: 30256 valid_bits:    0 1 1 1
state: 0 start: 30287 valid_bits:    0 1 1 1
state: 0 start: 30303 valid_bits:    0 0 0 0
state: 0 start: 30321 valid_bits:    0 1 1 1
state: 0 start: 30341 valid_bits:    0 1 1 1
state: 0 start: 30361 valid_bits:    0 1 1 1
state: 0 start: 30386 valid_bits:    0 1 1 1
state: 0 start: 30420 valid_bits:    0 1 0 1
state: 0 start: 30440 valid_bits:    2 1 1 1
state: 0 start: 30463 valid_bits:    0 1 1 1
state: 0 start: 30483 valid_bits:    0 1 1 1
state: 0 start: 30503 valid_bits:    0 1 1 0
state: 0 start: 30519 valid_bits:    1 1 1 1
state: 0 start: 30549 valid_bits:    0 0 1 1
state: 0 start: 30568 valid_bits:    0 0 0 0
state: 0 start: 30585 valid_bits:    0 1 1 1
state: 0 start: 30605 valid_bits:    0 1 1 1
state: 0 start: 30625 valid_bits:    0 1 1 1
state: 0 start: 30653 valid_bits:    0 1 1 1
state: 0 start: 30687 valid_bits:    0 1 1 1
state: 0 start: 30711 valid_bits:    0 1 0 1
state: 0 start: 30731 valid_bits:    2 1 1 1
state: 0 start: 30753 valid_bits:    0 1 1 1
state: 0 start: 30773 valid_bits:    0 1 1 1
state: 0 start: 30793 valid_bits:    0 1 1 1
state: 0 start: 30822 valid_bits:    0 1 1 1
state: 0 start: 30842 valid_bits:    0 1 1 1
state: 0 start: 30862 valid_bits:    0 1 1 1
state: 0 start: 30882 valid_bits:    0 1 1 1
state: 0 start: 30902 valid_bits:    0 1 1 0
state: 0 start: 30919 valid_bits:    1 1 1 1
state: 0 start: 30953 valid_bits:    0 1 1 1
state: 0 start: 30978 valid_bits:    0 1 1 1
state: 0 start: 30996 valid_bits:    0 1 1 1
state: 0 start: 31016 valid_bits:    0 1 1 1
state: 0 start: 31036 valid_bits:    0 1 1 0
state: 0 start: 31052 valid_bits:    1 0 1 1
state: 0 start: 31088 valid_bits:    0 1 1 1
state: 0 start: 31111 valid_bits:    0 0 0 1
state: 0 start: 31129 valid_bits:    1 1 1 1
state: 0 start: 31158 valid_bits:    0 1 1 1
state: 0 start: 31177 valid_bits:    0 1 0 1
state: 0 start: 31196 valid_bits:    2 1 1 1
state: 0 start: 31220 valid_bits:    0 1 1 1
state: 0 start: 31244 valid_bits:    0 1 0 1
state: 0 start: 31264 valid_bits:    2 1 1 1
state: 0 start: 31284 valid_bits:    0 1 1 1
state: 0 start: 31304 valid_bits:    0 1 1 1
state: 0 start: 31330 valid_bits:    0 1 1 1
state: 0 start: 31351 valid_bits:    0 0 1 1
state: 0 start: 31377 valid_bits:    0 1 1 1
state: 0 start: 31397 valid_bits:    0 1 1 0
state: 0 start: 31414 valid_bits:    1 1 1 1
state: 0 start: 31434 valid_bits:    0 1 1 1
state: 0 start: 31454 valid_bits:    0 1 1 1
state: 0 start: 31487 valid_bits:    0 1 1 1
state: 0 start: 31507 valid_bits:    0 1 1 1
state: 0 start: 31529 valid_bits:    0 1 1 1
state: 0 start: 31549 valid_bits:    0 1 1 1
state: 0 start: 31569 valid_bits:    0 1 1 1
state: 0 start: 31586 valid_bits:    0 1 1 1
state: 0 start: 31621 valid_bits:    0 1 1 1
state: 0 start: 31644 valid_bits:    0 1 1 1
state: 0 start: 31664 valid_bits:    0 1 1 1
state: 0 start: 31684 valid_bits:    0 1 1 1
state: 0 start: 31719 valid_bits:    0 1 1 1
state: 0 start: 31753 valid_bits:    0 1 1 1
state: 0 start: 31774 valid_bits:    0 1 0 1
state: 0 start: 31794 valid_bits:    2 1 1 1
state: 0 start: 31814 valid_bits:    0 1 1 1
state: 0 start: 31834 valid_bits:    0 1 1 1
state: 0 start: 31854 valid_bits:    0 1 1 1
state: 0 start: 31883 valid_bits:    0 1 0 1
state: 0 start: 31901 valid_bits:    2 1 1 1
state: 0 start: 31919 valid_bits:    0 1 1 1
state: 0 start: 31939 valid_bits:    0 1 1 1
state: 0 start: 31959 valid_bits:    0 1 1 1
state: 0 start: 31979 valid_bits:    0 1 1 1
state: 0 start: 31997 valid_bits:    0 1 1 1
state: 0 start: 32020 valid_bits:    0 1 1 1
state: 0 start: 32044 valid_bits:    0 0 0 1
state: 0 start: 32064 valid_bits:    1 1 1 1
state: 0 start: 32083 valid_bits:    0 1 0 1
state: 0 start: 32112 valid_bits:    2 1 1 1
state: 0 start: 32130 valid_bits:    0 1 1 1
state: 0 start: 32153 valid_bits:    0 1 1 1
state: 0 start: 32173 valid_bits:    0 0 1 1
state: 0 start: 32193 valid_bits:    0 1 1 1
state: 0 start: 32213 valid_bits:    0 1 1 1
state: 0 start: 32233 valid_bits:    0 1 1 1
state: 0 start: 32263 valid_bits:    0 1 1 1
state: 0 start: 32287 valid_bits:    0 1 1 1
state: 0 start: 32310 valid_bits:    0 1 1 1
state: 0 start: 32329 valid_bits:    0 1 1 1
state: 0 start: 32359 valid_bits:    0 1 1 1
state: 0 start: 32386 valid_bits:    0 1 1 1
state: 0 start: 32417 valid_bits:    0 0 0 1
state: 0 start: 32445 valid_bits:    1 1 1 1
state: 0 start: 32463 valid_bits:    0 1 1 1
state: 0 start: 32483 valid_bits:    0 1 1 1
state: 0 start: 32512 valid_bits:    0 1 1 1
state: 0 start: 32529 valid_bits:    0 1 1 1
state: 0 start: 32554 valid_bits:    0 1 1 1
state: 0 start: 32578 valid_bits:    0 1 1 1
state: 0 start: 32598 valid_bits:    0 1 1 1
state: 0 start: 32618 valid_bits:    0 1 1 1
state: 0 start: 32638 valid_bits:    0 1 1 1
state: 0 start: 32658 valid_bits:    0 1 1 1
state: 0 start: 32689 valid_bits:    0 1 1 1
state: 0 start: 32709 valid_bits:    0 0 1 1
state: 0 start: 32729 valid_bits:    0 1 1 1
state: 0 start: 32749 valid_bits:    0 1 1 1
state: 0 start: 32769 valid_bits:    0 1 1 1
state: 0 start: 32797 valid_bits:    0 1 1 1
state: 0 start: 32815 valid_bits:    0 0 1 1
state: 0 start: 32840 valid_bits:    0 1 0 1
state: 0 start: 32862 valid_bits:    2 1 1 1
state: 0 start: 32883 valid_bits:    0 1 1 1
state: 0 start: 32903 valid_bits:    0 1 1 0
state: 0 start: 32920 valid_bits:    1 1 1 1
state: 0 start: 32953 valid_bits:    0 1 1 1
state: 0 start: 32978 valid_bits:    0 1 1 1
state: 0 start: 32998 valid_bits:    0 1 1 1
state: 0 start: 33018 valid_bits:    0 1 1 1
state: 0 start: 33053 valid_bits:    0 1 1 1
state: 0 start: 33088 valid_bits:    0 1 1 1
state: 0 start: 33109 valid_bits:    0 1 1 1
state: 0 start: 33129 valid_bits:    0 1 1 1
state: 0 start: 33154 valid_bits:    0 1 1 1
state: 0 start: 33187 valid_bits:    0 1 0 1
state: 0 start: 33215 valid_bits:    2 0 1 1
state: 0 start: 33244 valid_bits:    0 1 1 1
state: 0 start: 33264 valid_bits:    0 1 1 1
state: 0 start: 33283 valid_bits:    0 1 1 1
state: 0 start: 33303 valid_bits:    0 1 1 0
state: 0 start: 33320 valid_bits:    1 1 1 1
state: 0 start: 33354 valid_bits:    0 1 1 1
state: 0 start: 33378 valid_bits:    0 1 1 1
state: 0 start: 33398 valid_bits:    0 1 1 1
state: 0 start: 33418 valid_bits:    0 1 1 1
state: 0 start: 33454 valid_bits:    0 1 1 1
state: 0 start: 33487 valid_bits:    0 1 1 1
state: 0 start: 33519 valid_bits:    0 1 1 1
state: 0 start: 33539 valid_bits:    0 1 1 1
state: 0 start: 33574 valid_bits:    0 0 1 1
state: 0 start: 33597 valid_bits:    0 1 0 1
state: 0 start: 33620 valid_bits:    2 1 1 1
state: 0 start: 33645 valid_bits:    0 1 1 1
state: 0 start: 33663 valid_bits:    0 1 1 1
state: 0 start: 33683 valid_bits:    0 1 1 1
state: 0 start: 33707 valid_bits:    0 0 1 1
state: 0 start: 33727 valid_bits:    0 1 1 1
state: 0 start: 33751 valid_bits:    0 0 1 1
state: 0 start: 33777 valid_bits:    0 0 0 1
state: 0 start: 33796 valid_bits:    1 1 1 1
state: 0 start: 33815 valid_bits:    0 1 1 1
state: 0 start: 33835 valid_bits:    0 1 1 1
state: 0 start: 33863 valid_bits:    0 1 1 1
state: 0 start: 33882 valid_bits:    0 1 1 1
state: 0 start: 33901 valid_bits:    0 1 1 0
state: 0 start: 33917 valid_bits:    1 0 1 1
state: 0 start: 33937 valid_bits:    0 1 1 1
state: 0 start: 33957 valid_bits:    0 1 1 1
state: 0 start: 33987 valid_bits:    0 1 1 1
state: 0 start: 34016 valid_bits:    0 0 1 1
state: 0 start: 34044 valid_bits:    0 1 0 1
state: 0 start: 34064 valid_bits:    2 1 1 1
state: 0 start: 34093 valid_bits:    0 1 1 1
state: 0 start: 34113 valid_bits:    0 1 1 0
state: 0 start: 34130 valid_bits:    1 1 1 1
state: 0 start: 34150 valid_bits:    0 0 1 0
state: 0 start: 34167 valid_bits:    3 1 1 1
state: 0 start: 34187 valid_bits:    0 1 1 1
state: 0 start: 34207 valid_bits:    0 1 1 1
state: 0 start: 34227 valid_bits:    0 1 1 1
state: 0 start: 34254 valid_bits:    0 1 0 1
state: 0 start: 34285 valid_bits:    2 1 1 1
state: 0 start: 34305 valid_bits:    0 1 1 1
state: 0 start: 34330 valid_bits:    0 1 1 1
state: 0 start: 34350 valid_bits:    0 1 1 1
state: 0 start: 34370 valid_bits:    0 1 1 0
state: 0 start: 34387 valid_bits:    1 1 0 1
state: 0 start: 34407 valid_bits:    4 1 1 1
state: 0 start: 34441 valid_bits:    0 0 1 1
state: 0 start: 34463 valid_bits:    0 1 1 1
state: 0 start: 34483 valid_bits:    0 1 1 1
state: 0 start: 34511 valid_bits:    0 1 0 1
state: 0 start: 34531 valid_bits:    2 1 1 1
state: 0 start: 34555 valid_bits:    0 0 1 1
state: 0 start: 34578 valid_bits:    0 1 1 1
state: 0 start: 34598 valid_bits:    0 1 1 1
state: 0 start: 34631 valid_bits:    0 0 1 1
state: 0 start: 34649 valid_bits:    0 0 1 1
state: 0 start: 34683 valid_bits:    0 0 1 1
state: 0 start: 34706 valid_bits:    0 0 0 1
state: 0 start: 34730 valid_bits:    1 1 1 1
state: 0 start: 34750 valid_bits:    0 1 1 1
state: 0 start: 34779 valid_bits:    0 1 1 1
state: 0 start: 34799 valid_bits:    0 1 1 1
state: 0 start: 34835 valid_bits:    0 1 0 1
state: 0 start: 34852 valid_bits:    2 1 1 1
state: 0 start: 34872 valid_bits:    0 1 1 1
state: 0 start: 34892 valid_bits:    0 1 1 1
state: 0 start: 34912 valid_bits:    0 1 1 1
state: 0 start: 34932 valid_bits:    0 1 1 1
state: 0 start: 34965 valid_bits:    0 0 0 1
state: 0 start: 34985 valid_bits:    1 1 1 1
state: 0 start: 35005 valid_bits:    0 1 1 1
state: 0 start: 35025 valid_bits:    0 1 1 1
state: 0 start: 35046 valid_bits:    0 1 1 1
state: 0 start: 35064 valid_bits:    0 1 1 1
state: 0 start: 35084 valid_bits:    0 1 1 1
state: 0 start: 35111 valid_bits:    0 1 0 1
state: 0 start: 35130 valid_bits:    2 1 1 1
state: 0 start: 35150 valid_bits:    0 1 1 1
state: 0 start: 35179 valid_bits:    0 1 1 1
state: 0 start: 35197 valid_bits:    0 1 1 1
state: 0 start: 35221 valid_bits:    0 0 1 1
state: 0 start: 35243 valid_bits:    0 0 0 1
state: 0 start: 35263 valid_bits:    1 1 1 1
state: 0 start: 35282 valid_bits:    0 0 1 1
state: 0 start: 35301 valid_bits:    0 1 1 1
state: 0 start: 35320 valid_bits:    0 1 0 1
state: 0 start: 35355 valid_bits:    2 0 1 1
state: 0 start: 35378 valid_bits:    0 1 1 1
state: 0 start: 35398 valid_bits:    0 1 1 1
state: 0 start: 35426 valid_bits:    0 1 1 1
state: 0 start: 35446 valid_bits:    0 1 1 1
state: 0 start: 35464 valid_bits:    0 1 1 1
state: 0 start: 35483 valid_bits:    0 0 1 1
state: 0 start: 35509 valid_bits:    0 0 1 1
state: 0 start: 35529 valid_bits:    0 1 1 1
state: 0 start: 35549 valid_bits:    0 1 1 1
state: 0 start: 35577 valid_bits:    0 1 1 1
state: 0 start: 35597 valid_bits:    0 1 1 1
state: 0 start: 35617 valid_bits:    0 0 1 0
state: 0 start: 35633 valid_bits:    3 1 1 0
state: 0 start: 35651 valid_bits:    1 1 1 1
state: 0 start: 35671 valid_bits:    0 1 1 1
state: 0 start: 35691 valid_bits:    0 1 1 1
state: 0 start: 35720 valid_bits:    0 1 1 1
state: 0 start: 35754 valid_bits:    0 1 1 1
state: 0 start: 35776 valid_bits:    0 0 0 1
state: 0 start: 35797 valid_bits:    1 1 1 0
state: 0 start: 35813 valid_bits:    1 1 1 1
state: 0 start: 35833 valid_bits:    0 1 1 1
state: 0 start: 35854 valid_bits:    0 1 0 1
state: 0 start: 35883 valid_bits:    2 1 1 1
state: 0 start: 35912 valid_bits:    0 1 1 1
state: 0 start: 35943 valid_bits:    0 1 1 1
state: 0 start: 35974 valid_bits:    0 1 1 1
state: 0 start: 35994 valid_bits:    0 1 1 1
state: 0 start: 36021 valid_bits:    0 1 1 1
state: 0 start: 36045 valid_bits:    0 1 1 1
state: 0 start: 36064 valid_bits:    0 1 1 1
state: 0 start: 36084 valid_bits:    0 1 1 1
state: 0 start: 36106 valid_bits:    0 1 1 1
state: 0 start: 36122 valid_bits:    0 1 1 1
state: 0 start: 36150 valid_bits:    0 0 1 1
state: 0 start: 36175 valid_bits:    0 0 1 1
state: 0 start: 36195 valid_bits:    0 1 1 1
state: 0 start: 36215 valid_bits:    0 1 1 1
state: 0 start: 36235 valid_bits:    0 1 1 1
state: 0 start: 36253 valid_bits:    0 0 1 1
state: 0 start: 36283 valid_bits:    0 1 1 1
state: 0 start: 36301 valid_bits:    0 1 0 1
state: 0 start: 36319 valid_bits:    2 0 1 1
state: 0 start: 36339 valid_bits:    0 1 1 1
state: 0 start: 36359 valid_bits:    0 1 1 1
state: 0 start: 36387 valid_bits:    0 1 0 1
state: 0 start: 36420 valid_bits:    2 1 1 1
state: 0 start: 36445 valid_bits:    0 1 1 1
state: 0 start: 36463 valid_bits:    0 1 1 1
state: 0 start: 36484 valid_bits:    0 1 1 1
state: 0 start: 36504 valid_bits:    0 1 1 0
state: 0 start: 36521 valid_bits:    1 1 0 1
state: 0 start: 36554 valid_bits:    4 1 1 1
state: 0 start: 36584 valid_bits:    0 0 1 1
state: 0 start: 36604 valid_bits:    0 1 1 1
state: 0 start: 36624 valid_bits:    0 1 1 1
state: 0 start: 36654 valid_bits:    0 1 0 1
state: 0 start: 36676 valid_bits:    2 1 1 1
state: 0 start: 36696 valid_bits:    0 1 1 0
state: 0 start: 36712 valid_bits:    1 0 1 1
state: 0 start: 36730 valid_bits:    0 1 1 1
state: 0 start: 36750 valid_bits:    0 1 1 1
state: 0 start: 36777 valid_bits:    0 1 0 1
state: 0 start: 36797 valid_bits:    2 1 1 1
state: 0 start: 36819 valid_bits:    0 0 1 1
state: 0 start: 36845 valid_bits:    0 1 1 1
state: 0 start: 36864 valid_bits:    0 1 1 1
state: 0 start: 36893 valid_bits:    0 1 1 1
state: 0 start: 36921 valid_bits:    0 1 0 1
state: 0 start: 36952 valid_bits:    2 1 1 1
state: 0 start: 36979 valid_bits:    0 1 1 1
state: 0 start: 36997 valid_bits:    0 1 1 1
state: 0 start: 37015 valid_bits:    0 1 1 1
state: 0 start: 37035 valid_bits:    0 1 1 1
state: 0 start: 37054 valid_bits:    0 1 1 1
state: 0 start: 37089 valid_bits:    0 1 1 1
state: 0 start: 37113 valid_bits:    0 1 1 1
state: 0 start: 37133 valid_bits:    0 1 1 1
state: 0 start: 37153 valid_bits:    0 1 1 1
state: 0 start: 37175 valid_bits:    0 1 1 1
state: 0 start: 37198 valid_bits:    0 1 1 1
state: 0 start: 37222 valid_bits:    0 1 0 1
state: 0 start: 37242 valid_bits:    2 1 0 1
state: 0 start: 37262 valid_bits:    2 1 1 1
state: 0 start: 37282 valid_bits:    0 1 1 1
state: 0 start: 37302 valid_bits:    0 1 1 1
state: 0 start: 37330 valid_bits:    0 1 1 1
state: 0 start: 37350 valid_bits:    0 1 1 1
state: 0 start: 37378 valid_bits:    0 1 1 1
state: 0 start: 37398 valid_bits:    0 1 1 1
state: 0 start: 37418 valid_bits:    0 1 1 1
state: 0 start: 37454 valid_bits:    0 1 0 1
state: 0 start: 37485 valid_bits:    2 0 1 1
state: 0 start: 37518 valid_bits:    0 0 1 1
state: 0 start: 37543 valid_bits:    0 1 1 1
state: 0 start: 37563 valid_bits:    0 1 1 1
state: 0 start: 37588 valid_bits:    0 1 0 1
state: 0 start: 37622 valid_bits:    2 1 1 1
state: 0 start: 37646 valid_bits:    0 1 1 1
state: 0 start: 37664 valid_bits:    0 1 1 1
state: 0 start: 37684 valid_bits:    0 1 1 1
state: 0 start: 37712 valid_bits:    0 1 0 1
state: 0 start: 37731 valid_bits:    2 1 1 1
state: 0 start: 37750 valid_bits:    0 0 1 1
state: 0 start: 37779 valid_bits:    0 1 1 1
state: 0 start: 37797 valid_bits:    0 1 1 1
state: 0 start: 37817 valid_bits:    0 1 1 1
state: 0 start: 37837 valid_bits:    0 1 1 0
state: 0 start: 37854 valid_bits:    1 1 0 1
state: 0 start: 37887 valid_bits:    4 0 1 1
state: 0 start: 37912 valid_bits:    0 0 1 1
state: 0 start: 37930 valid_bits:    0 1 1 1
state: 0 start: 37950 valid_bits:    0 1 1 1
state: 0 start: 37970 valid_bits:    0 1 1 1
state: 0 start: 37987 valid_bits:    0 1 1 1
state: 0 start: 38019 valid_bits:    0 0 1 0
state: 0 start: 38036 valid_bits:    3 1 0 1
state: 0 start: 38056 valid_bits:    6 1 1 1
state: 0 start: 38076 valid_bits:    0 1 1 1
state: 0 start: 38096 valid_bits:    0 1 1 1
state: 0 start: 38121 valid_bits:    0 1 0 1
state: 0 start: 38150 valid_bits:    2 0 0 1
state: 0 start: 38173 valid_bits:    1 1 1 1
state: 0 start: 38197 valid_bits:    0 1 1 1
state: 0 start: 38217 valid_bits:    0 1 1 1
state: 0 start: 38237 valid_bits:    0 1 1 1
state: 0 start: 38257 valid_bits:    0 1 1 1
state: 0 start: 38285 valid_bits:    0 1 1 0
state: 0 start: 38302 valid_bits:    1 1 1 0
state: 0 start: 38318 valid_bits:    1 0 1 1
state: 0 start: 38338 valid_bits:    0 1 1 1
state: 0 start: 38360 valid_bits:    0 1 1 1
state: 0 start: 38376 valid_bits:    0 1 1 1
state: 0 start: 38398 valid_bits:    0 1 1 1
state: 0 start: 38420 valid_bits:    0 0 1 1
state: 0 start: 38446 valid_bits:    0 1 1 1
state: 0 start: 38464 valid_bits:    0 1 1 1
state: 0 start: 38484 valid_bits:    0 1 1 1
state: 0 start: 38504 valid_bits:    0 1 1 1
state: 0 start: 38531 valid_bits:    0 1 1 1
state: 0 start: 38552 valid_bits:    0 0 1 1
state: 0 start: 38574 valid_bits:    0 0 0 1
state: 0 start: 38597 valid_bits:    1 1 1 1
state: 0 start: 38617 valid_bits:    0 1 1 1
state: 0 start: 38637 valid_bits:    0 1 1 1
state: 0 start: 38655 valid_bits:    0 1 1 1
state: 0 start: 38689 valid_bits:    0 0 1 1
state: 0 start: 38712 valid_bits:    0 1 1 1
state: 0 start: 38730 valid_bits:    0 1 1 1
state: 0 start: 38750 valid_bits:    0 1 1 1
state: 0 start: 38770 valid_bits:    0 1 1 1
state: 0 start: 38788 valid_bits:    0 1 0 1
state: 0 start: 38808 valid_bits:    2 1 1 1
state: 0 start: 38826 valid_bits:    0 1 1 1
state: 0 start: 38847 valid_bits:    0 0 1 0
state: 0 start: 38863 valid_bits:    3 1 1 1
state: 0 start: 38883 valid_bits:    0 1 1 1
state: 0 start: 38917 valid_bits:    0 1 1 1
state: 0 start: 38953 valid_bits:    0 0 1 1
state: 0 start: 38975 valid_bits:    0 1 0 1
state: 0 start: 38995 valid_bits:    2 1 1 1
state: 0 start: 39014 valid_bits:    0 1 1 1
state: 0 start: 39046 valid_bits:    0 1 0 1
state: 0 start: 39066 valid_bits:    2 1 1 1
state: 0 start: 39085 valid_bits:    0 0 1 1
state: 0 start: 39108 valid_bits:    0 1 1 1
state: 0 start: 39128 valid_bits:    0 1 1 1
state: 0 start: 39148 valid_bits:    0 1 1 1
state: 0 start: 39177 valid_bits:    0 1 1 1
state: 0 start: 39198 valid_bits:    0 1 1 1
state: 0 start: 39219 valid_bits:    0 0 1 1
state: 0 start: 39235 valid_bits:    0 1 1 1
state: 0 start: 39253 valid_bits:    0 1 1 1
state: 0 start: 39273 valid_bits:    0 1 1 1
state: 0 start: 39304 valid_bits:    0 1 0 1
state: 0 start: 39324 valid_bits:    2 1 1 1
state: 0 start: 39352 valid_bits:    0 0 1 1
state: 0 start: 39384 valid_bits:    0 0 1 1
state: 0 start: 39404 valid_bits:    0 1 1 1
state: 0 start: 39422 valid_bits:    0 1 1 1
state: 0 start: 39442 valid_bits:    0 1 1 1
state: 0 start: 39465 valid_bits:    0 1 1 1
state: 0 start: 39488 valid_bits:    0 1 1 1
state: 0 start: 39512 valid_bits:    0 1 0 1
state: 0 start: 39531 valid_bits:    2 1 1 1
state: 0 start: 39551 valid_bits:    0 1 1 1
state: 0 start: 39571 valid_bits:    0 1 1 1
state: 0 start: 39591 valid_bits:    0 1 1 1
state: 0 start: 39621 valid_bits:    0 1 1 1
state: 0 start: 39645 valid_bits:    0 0 0 1
state: 0 start: 39665 valid_bits:    1 1 1 1
state: 0 start: 39685 valid_bits:    0 1 1 1
state: 0 start: 39720 valid_bits:    0 0 1 1
state: 0 start: 39752 valid_bits:    0 0 1 1
state: 0 start: 39779 valid_bits:    0 1 0 1
state: 0 start: 39797 valid_bits:    2 1 1 1
state: 0 start: 39817 valid_bits:    0 1 1 1
state: 0 start: 39836 valid_bits:    0 1 1 1
state: 0 start: 39865 valid_bits:    0 1 1 1
state: 0 start: 39888 valid_bits:    0 0 1 1
state: 0 start: 39913 valid_bits:    0 1 1 1
state: 0 start: 39933 valid_bits:    0 1 1 1
state: 0 start: 39956 valid_bits:    0 1 1 1
state: 0 start: 39976 valid_bits:    0 1 1 1
state: 0 start: 39996 valid_bits:    0 1 1 1
state: 0 start: 40022 valid_bits:    0 1 1 1
state: 0 start: 40046 valid_bits:    0 1 0 1
state: 0 start: 40066 valid_bits:    2 1 1 1
state: 0 start: 40086 valid_bits:    0 1 1 1
state: 0 start: 40106 valid_bits:    0 1 1 1
state: 0 start: 40126 valid_bits:    0 1 1 1
state: 0 start: 40150 valid_bits:    0 0 1 1
state: 0 start: 40168 valid_bits:    0 0 1 1
state: 0 start: 40186 valid_bits:    0 1 1 1
state: 0 start: 40206 valid_bits:    0 1 1 1
state: 0 start: 40226 valid_bits:    0 1 1 1
state: 0 start: 40254 valid_bits:    0 1 1 1
state: 0 start: 40289 valid_bits:    0 1 1 1
state: 0 start: 40310 valid_bits:    0 1 1 1
state: 0 start: 40344 valid_bits:    0 1 1 1
state: 0 start: 40364 valid_bits:    0 1 1 1
state: 0 start: 40384 valid_bits:    0 1 1 1
state: 0 start: 40404 valid_bits:    0 1 1 1
state: 0 start: 40435 valid_bits:    0 1 0 1
state: 0 start: 40453 valid_bits:    2 0 1 1
state: 0 start: 40473 valid_bits:    0 1 1 1
state: 0 start: 40493 valid_bits:    0 1 1 1
state: 0 start: 40513 valid_bits:    0 1 1 1
state: 0 start: 40532 valid_bits:    0 1 1 1
state: 0 start: 40557 valid_bits:    0 1 1 1
state: 0 start: 40576 valid_bits:    0 1 0 1
state: 0 start: 40596 valid_bits:    2 1 1 1
state: 0 start: 40616 valid_bits:    0 1 1 1
state: 0 start: 40636 valid_bits:    0 1 1 1
state: 0 start: 40654 valid_bits:    0 0 1 1
state: 0 start: 40685 valid_bits:    0 1 1 1
state: 0 start: 40701 valid_bits:    0 1 1 0
state: 0 start: 40722 valid_bits:    1 1 1 1
state: 0 start: 40752 valid_bits:    0 1 1 1
state: 0 start: 40772 valid_bits:    0 1 1 1
state: 0 start: 40792 valid_bits:    0 1 1 1
state: 0 start: 40823 valid_bits:    0 1 1 1
state: 0 start: 40846 valid_bits:    0 1 1 1
state: 0 start: 40865 valid_bits:    0 1 1 1
state: 0 start: 40885 valid_bits:    0 1 1 1
state: 0 start: 40921 valid_bits:    0 0 1 1
state: 0 start: 40955 valid_bits:    0 1 1 1
state: 0 start: 40971 valid_bits:    0 1 1 0
state: 0 start: 40990 valid_bits:    1 1 1 1
state: 0 start: 41010 valid_bits:    0 1 1 1
state: 0 start: 41030 valid_bits:    0 1 1 1
state: 0 start: 41054 valid_bits:    0 1 1 1
state: 0 start: 41087 valid_bits:    0 1 1 1
state: 0 start: 41113 valid_bits:    0 1 1 1
state: 0 start: 41144 valid_bits:    0 1 1 1
state: 0 start: 41175 valid_bits:    0 1 1 1
state: 0 start: 41195 valid_bits:    0 1 1 1
state: 0 start: 41218 valid_bits:    0 1 0 1
state: 0 start: 41240 valid_bits:    2 0 1 1
state: 0 start: 41264 valid_bits:    0 1 1 1
state: 0 start: 41284 valid_bits:    0 1 1 1
state: 0 start: 41304 valid_bits:    0 1 1 1
state: 0 start: 41321 valid_bits:    0 1 1 1
state: 0 start: 41354 valid_bits:    0 1 1 1
state: 0 start: 41380 valid_bits:    0 1 1 1
state: 0 start: 41400 valid_bits:    0 1 1 1
state: 0 start: 41420 valid_bits:    0 1 1 1
state: 0 start: 41442 valid_bits:    0 1 1 1
state: 0 start: 41465 valid_bits:    0 1 1 1
state: 0 start: 41482 valid_bits:    0 0 0 1
state: 0 start: 41518 valid_bits:    1 1 1 1
state: 0 start: 41538 valid_bits:    0 1 1 1
state: 0 start: 41558 valid_bits:    0 1 1 1
state: 0 start: 41578 valid_bits:    0 1 1 1
state: 0 start: 41598 valid_bits:    0 1 1 1
state: 0 start: 41618 valid_bits:    0 0 1 1
state: 0 start: 41638 valid_bits:    0 1 0 1
state: 0 start: 41665 valid_bits:    2 1 1 1
state: 0 start: 41684 valid_bits:    0 1 0 1
state: 0 start: 41704 valid_bits:    2 1 1 1
state: 0 start: 41731 valid_bits:    0 1 1 1
state: 0 start: 41755 valid_bits:    0 1 1 1
state: 0 start: 41780 valid_bits:    0 1 1 1
state: 0 start: 41798 valid_bits:    0 1 1 1
state: 0 start: 41818 valid_bits:    0 1 1 1
state: 0 start: 41844 valid_bits:    0 1 0 1
state: 0 start: 41864 valid_bits:    2 1 1 1
state: 0 start: 41884 valid_bits:    0 1 1 1
state: 0 start: 41904 valid_bits:    0 1 1 1
state: 0 start: 41924 valid_bits:    0 1 1 1
state: 0 start: 41944 valid_bits:    0 1 1 1
state: 0 start: 41964 valid_bits:    0 1 1 1
state: 0 start: 41987 valid_bits:    0 1 1 1
state: 0 start: 42007 valid_bits:    0 1 1 1
state: 0 start: 42027 valid_bits:    0 1 1 1
state: 0 start: 42047 valid_bits:    0 1 1 1
state: 0 start: 42067 valid_bits:    0 1 1 1
state: 0 start: 42087 valid_bits:    0 1 1 1
state: 0 start: 42110 valid_bits:    0 1 1 1
state: 0 start: 42130 valid_bits:    0 1 1 1
state: 0 start: 42149 valid_bits:    0 1 1 1
state: 0 start: 42183 valid_bits:    0 0 0 1
state: 0 start: 42212 valid_bits:    1 1 0 0
state: 0 start: 42229 valid_bits:    0 1 1 0
state: 0 start: 42248 valid_bits:    1 1 1 1
state: 0 start: 42275 valid_bits:    0 1 1 1
state: 0 start: 42295 valid_bits:    0 1 1 1
state: 0 start: 42315 valid_bits:    0 1 1 1
state: 0 start: 42335 valid_bits:    0 1 1 1
state: 0 start: 42355 valid_bits:    0 1 1 1
state: 0 start: 42372 valid_bits:    0 0 1 1
state: 0 start: 42392 valid_bits:    0 1 1 1
state: 0 start: 42418 valid_bits:    0 1 1 0
state: 0 start: 42437 valid_bits:    1 1 1 1
state: 0 start: 42456 valid_bits:    0 1 1 0
state: 0 start: 42474 valid_bits:    1 1 1 1
state: 0 start: 42507 valid_bits:    0 1 0 1
state: 0 start: 42528 valid_bits:    2 0 0 0
state: 0 start: 42546 valid_bits:    0 1 1 0
state: 0 start: 42568 valid_bits:    1 1 0 0
state: 0 start: 42587 valid_bits:    0 1 0 1
state: 0 start: 42604 valid_bits:    3 1 0 0
state: 0 start: 42625 valid_bits:    0 1 1 1
state: 0 start: 42644 valid_bits:    0 0 1 0
state: 0 start: 42661 valid_bits:    3 1 1 1
state: 0 start: 42697 valid_bits:    0 1 1 1
state: 0 start: 42725 valid_bits:    0 0 0 1
state: 0 start: 42750 valid_bits:    1 0 1 1
state: 0 start: 42770 valid_bits:    0 1 1 1
state: 0 start: 42795 valid_bits:    0 1 1 1
state: 0 start: 42813 valid_bits:    0 1 1 1
state: 0 start: 42842 valid_bits:    0 1 1 1
state: 0 start: 42863 valid_bits:    0 0 1 1
state: 0 start: 42889 valid_bits:    0 1 1 1
state: 0 start: 42909 valid_bits:    0 1 1 0
state: 0 start: 42925 valid_bits:    1 0 0 1
state: 0 start: 42954 valid_bits:    1 0 1 1
state: 0 start: 42974 valid_bits:    0 1 1 1
state: 0 start: 43006 valid_bits:    0 0 1 1
state: 0 start: 43035 valid_bits:    0 1 1 1
state: 0 start: 43055 valid_bits:    0 1 1 1
state: 0 start: 43079 valid_bits:    0 1 1 1
state: 0 start: 43099 valid_bits:    0 1 1 1
state: 0 start: 43119 valid_bits:    0 1 1 1
state: 0 start: 43139 valid_bits:    0 1 1 1
state: 0 start: 43159 valid_bits:    0 1 1 1
state: 0 start: 43187 valid_bits:    0 1 1 1
state: 0 start: 43216 valid_bits:    0 1 1 1
state: 0 start: 43236 valid_bits:    0 1 1 1
state: 0 start: 43256 valid_bits:    0 1 1 1
state: 0 start: 43276 valid_bits:    0 1 1 1
state: 0 start: 43296 valid_bits:    0 1 1 1
state: 0 start: 43316 valid_bits:    0 1 1 1
state: 0 start: 43336 valid_bits:    0 1 1 1
state: 0 start: 43362 valid_bits:    0 0 0 1
state: 0 start: 43382 valid_bits:    1 1 1 1
state: 0 start: 43402 valid_bits:    0 1 1 1
state: 0 start: 43422 valid_bits:    0 1 1 1
state: 0 start: 43442 valid_bits:    0 1 1 1
state: 0 start: 43469 valid_bits:    0 1 1 1
state: 0 start: 43500 valid_bits:    0 1 1 1
state: 0 start: 43522 valid_bits:    0 1 1 1
state: 0 start: 43542 valid_bits:    0 1 1 1
state: 0 start: 43562 valid_bits:    0 1 1 1
state: 0 start: 43595 valid_bits:    0 1 1 1
state: 0 start: 43615 valid_bits:    0 1 1 1
state: 0 start: 43645 valid_bits:    0 1 1 1
state: 0 start: 43677 valid_bits:    0 1 1 1
state: 0 start: 43697 valid_bits:    0 1 1 1
state: 0 start: 43717 valid_bits:    0 1 1 1
state: 0 start: 43737 valid_bits:    0 1 1 1
state: 0 start: 43757 valid_bits:    0 1 1 1
state: 0 start: 43777 valid_bits:    0 1 1 1
state: 0 start: 43797 valid_bits:    0 1 1 1
state: 0 start: 43817 valid_bits:    0 1 1 1
state: 0 start: 43844 valid_bits:    0 1 1 1
state: 0 start: 43871 valid_bits:    0 1 1 1
state: 0 start: 43891 valid_bits:    0 1 1 1
state: 0 start: 43911 valid_bits:    0 1 1 1
state: 0 start: 43931 valid_bits:    0 1 1 1
state: 0 start: 43967 valid_bits:    0 1 1 1
state: 0 start: 43987 valid_bits:    0 1 1 1
state: 0 start: 44013 valid_bits:    0 1 1 1
state: 0 start: 44033 valid_bits:    0 1 1 1
state: 0 start: 44053 valid_bits:    0 1 1 1
state: 0 start: 44072 valid_bits:    0 1 1 1
state: 0 start: 44092 valid_bits:    0 1 1 1
state: 0 start: 44112 valid_bits:    0 1 1 1
state: 0 start: 44132 valid_bits:    0 1 1 1
state: 0 start: 44152 valid_bits:    0 1 1 1
state: 0 start: 44172 valid_bits:    0 1 1 1
state: 0 start: 44192 valid_bits:    0 1 1 1
state: 0 start: 44225 valid_bits:    0 1 1 1
state: 0 start: 44245 valid_bits:    0 1 1 1
state: 0 start: 44279 valid_bits:    0 1 1 0
state: 0 start: 44296 valid_bits:    1 1 1 1
state: 0 start: 44316 valid_bits:    0 1 1 1
state: 0 start: 44336 valid_bits:    0 1 1 1
state: 0 start: 44356 valid_bits:    0 1 1 1
state: 0 start: 44376 valid_bits:    0 1 1 1
state: 0 start: 44396 valid_bits:    0 1 1 1
state: 0 start: 44416 valid_bits:    0 1 1 1
state: 0 start: 44448 valid_bits:    0 1 1 1
state: 0 start: 44468 valid_bits:    0 1 1 1
state: 0 start: 44488 valid_bits:    0 1 1 1
state: 0 start: 44508 valid_bits:    0 1 1 1
state: 0 start: 44528 valid_bits:    0 1 1 1
state: 0 start: 44548 valid_bits:    0 1 1 1
state: 0 start: 44568 valid_bits:    0 1 1 1
state: 0 start: 44588 valid_bits:    0 1 1 1
state: 0 start: 44608 valid_bits:    0 1 1 1
state: 0 start: 44628 valid_bits:    0 1 1 1
state: 0 start: 44648 valid_bits:    0 1 1 1
state: 0 start: 44668 valid_bits:    0 1 1 1
state: 0 start: 44688 valid_bits:    0 1 1 1
state: 0 start: 44708 valid_bits:    0 1 1 1
state: 0 start: 44728 valid_bits:    0 1 1 1
state: 0 start: 44748 valid_bits:    0 1 1 1
state: 0 start: 44766 valid_bits:    0 1 1 1
state: 0 start: 44786 valid_bits:    0 1 1 1
state: 0 start: 44806 valid_bits:    0 1 1 1
state: 0 start: 44826 valid_bits:    0 1 1 1
state: 0 start: 44851 valid_bits:    0 1 1 1
state: 0 start: 44871 valid_bits:    0 1 1 1
state: 0 start: 44891 valid_bits:    0 1 1 1
state: 0 start: 44911 valid_bits:    0 1 1 1
state: 0 start: 44939 valid_bits:    0 0 0 1
state: 0 start: 44959 valid_bits:    1 1 1 1
state: 0 start: 44979 valid_bits:    0 1 1 1
state: 0 start: 44999 valid_bits:    0 1 1 1
state: 0 start: 45019 valid_bits:    0 1 1 1
state: 0 start: 45039 valid_bits:    0 1 1 1
state: 0 start: 45059 valid_bits:    0 1 1 1
state: 0 start: 45079 valid_bits:    0 1 1 0
state: 0 start: 45096 valid_bits:    1 1 1 1
state: 0 start: 45113 valid_bits:    0 0 0 1
state: 0 start: 45139 valid_bits:    1 1 1 1
state: 0 start: 45159 valid_bits:    0 1 1 1
state: 0 start: 45179 valid_bits:    0 1 1 1
state: 0 start: 45199 valid_bits:    0 1 1 1
state: 0 start: 45219 valid_bits:    0 1 1 1
state: 0 start: 45239 valid_bits:    0 1 1 1
state: 0 start: 45259 valid_bits:    0 1 1 1
state: 0 start: 45279 valid_bits:    0 1 1 1
state: 0 start: 45305 valid_bits:    0 1 1 1
state: 0 start: 45325 valid_bits:    0 1 1 1
state: 0 start: 45345 valid_bits:    0 1 1 1
state: 0 start: 45365 valid_bits:    0 1 1 1
state: 0 start: 45385 valid_bits:    0 1 1 1
state: 0 start: 45405 valid_bits:    0 1 1 1
state: 0 start: 45425 valid_bits:    0 1 1 1
state: 0 start: 45459 valid_bits:    0 1 1 1
state: 0 start: 45479 valid_bits:    0 1 1 1
state: 0 start: 45499 valid_bits:    0 1 1 1
state: 0 start: 45530 valid_bits:    0 1 1 1
state: 0 start: 45550 valid_bits:    0 1 1 1
state: 0 start: 45585 valid_bits:    0 1 1 1
state: 0 start: 45605 valid_bits:    0 1 1 0
state: 0 start: 45622 valid_bits:    1 0 0 1
state: 0 start: 45641 valid_bits:    1 1 1 1
state: 0 start: 45661 valid_bits:    0 1 1 1
state: 0 start: 45681 valid_bits:    0 1 1 1
state: 0 start: 45705 valid_bits:    0 0 0 1
state: 0 start: 45724 valid_bits:    1 1 1 1
state: 0 start: 45756 valid_bits:    0 1 1 1
state: 0 start: 45776 valid_bits:    0 1 1 1
state: 0 start: 45806 valid_bits:    0 1 1 1
state: 0 start: 45829 valid_bits:    0 1 1 1
state: 0 start: 45849 valid_bits:    0 1 1 1
state: 0 start: 45869 valid_bits:    0 1 1 1
state: 0 start: 45889 valid_bits:    0 1 1 1
state: 0 start: 45923 valid_bits:    0 0 1 1
state: 0 start: 45943 valid_bits:    0 1 1 1
state: 0 start: 45963 valid_bits:    0 1 1 1
state: 0 start: 45983 valid_bits:    0 1 1 1
state: 0 start: 46003 valid_bits:    0 1 1 1
state: 0 start: 46023 valid_bits:    0 1 1 1
state: 0 start: 46057 valid_bits:    0 1 1 1
state: 0 start: 46077 valid_bits:    0 1 1 1
state: 0 start: 46097 valid_bits:    0 1 1 1
state: 0 start: 46117 valid_bits:    0 1 1 1
state: 0 start: 46137 valid_bits:    0 1 1 1
state: 0 start: 46157 valid_bits:    0 1 1 1
state: 0 start: 46177 valid_bits:    0 1 1 1
state: 0 start: 46197 valid_bits:    0 1 1 1
state: 0 start: 46223 valid_bits:    0 1 1 1
state: 0 start: 46243 valid_bits:    0 1 1 1
state: 0 start: 46263 valid_bits:    0 1 1 1
state: 0 start: 46283 valid_bits:    0 1 1 1
state: 0 start: 46303 valid_bits:    0 1 1 1
state: 0 start: 46323 valid_bits:    0 1 1 1
state: 0 start: 46343 valid_bits:    0 1 1 1
state: 0 start: 46363 valid_bits:    0 1 1 1
state: 0 start: 46393 valid_bits:    0 1 1 1
state: 0 start: 46413 valid_bits:    0 1 1 1
state: 0 start: 46433 valid_bits:    0 1 1 1
state: 0 start: 46453 valid_bits:    0 1 1 1
state: 0 start: 46473 valid_bits:    0 1 1 1
state: 0 start: 46493 valid_bits:    0 1 1 1
state: 0 start: 46513 valid_bits:    0 1 1 1
state: 0 start: 46533 valid_bits:    0 1 1 1
state: 0 start: 46553 valid_bits:    0 1 1 1
state: 0 start: 46573 valid_bits:    0 1 1 1
state: 0 start: 46593 valid_bits:    0 1 1 1
state: 0 start: 46613 valid_bits:    0 1 1 1
state: 0 start: 46633 valid_bits:    0 1 1 1
state: 0 start: 46653 valid_bits:    0 1 1 1
state: 0 start: 46673 valid_bits:    0 1 1 1
state: 0 start: 46693 valid_bits:    0 1 1 1
state: 0 start: 46713 valid_bits:    0 1 1 1
state: 0 start: 46733 valid_bits:    0 1 1 1
state: 0 start: 46753 valid_bits:    0 1 1 1
state: 0 start: 46773 valid_bits:    0 1 1 1
state: 0 start: 46793 valid_bits:    0 1 1 1
state: 0 start: 46813 valid_bits:    0 1 1 1
state: 0 start: 46833 valid_bits:    0 1 1 1
state: 0 start: 46853 valid_bits:    0 1 1 1
state: 0 start: 46873 valid_bits:    0 1 1 1
state: 0 start: 46893 valid_bits:    0 1 1 1
state: 0 start: 46913 valid_bits:    0 1 1 1
state: 0 start: 46931 valid_bits:    0 1 1 1
state: 0 start: 46951 valid_bits:    0 1 1 1
state: 0 start: 46971 valid_bits:    0 1 1 1
state: 0 start: 46991 valid_bits:    0 1 1 1
state: 0 start: 47011 valid_bits:    0 1 1 1
state: 0 start: 47031 valid_bits:    0 1 1 1
state: 0 start: 47051 valid_bits:    0 1 1 1
state: 0 start: 47071 valid_bits:    0 1 1 1
state: 0 start: 47091 valid_bits:    0 1 1 1
state: 0 start: 47111 valid_bits:    0 1 1 1
state: 0 start: 47131 valid_bits:    0 1 1 1
state: 0 start: 47151 valid_bits:    0 1 1 1
state: 0 start: 47171 valid_bits:    0 1 1 1
state: 0 start: 47191 valid_bits:    0 1 1 1
state: 0 start: 47211 valid_bits:    0 1 1 1
state: 0 start: 47231 valid_bits:    0 1 1 1
state: 0 start: 47251 valid_bits:    0 1 1 1
state: 0 start: 47271 valid_bits:    0 1 1 1
state: 0 start: 47291 valid_bits:    0 1 1 1
state: 0 start: 47311 valid_bits:    0 1 1 1
state: 0 start: 47331 valid_bits:    0 1 1 1
state: 0 start: 47351 valid_bits:    0 1 1 1
state: 0 start: 47371 valid_bits:    0 1 1 1
state: 0 start: 47391 valid_bits:    0 1 1 1
state: 0 start: 47411 valid_bits:    0 1 1 1
state: 0 start: 47431 valid_bits:    0 1 1 1
state: 0 start: 47451 valid_bits:    0 1 1 1
state: 0 start: 47471 valid_bits:    0 1 1 1
state: 0 start: 47491 valid_bits:    0 1 1 1
state: 0 start: 47511 valid_bits:    0 1 1 1
state: 0 start: 47531 valid_bits:    0 1 1 1
state: 0 start: 47551 valid_bits:    0 1 1 1
state: 0 start: 47571 valid_bits:    0 1 1 1
state: 0 start: 47591 valid_bits:    0 1 1 1
state: 0 start: 47611 valid_bits:    0 1 1 1
state: 0 start: 47631 valid_bits:    0 1 1 1
state: 0 start: 47651 valid_bits:    0 1 1 1
state: 0 start: 47671 valid_bits:    0 1 1 1
state: 0 start: 47691 valid_bits:    0 1 1 1
state: 0 start: 47711 valid_bits:    0 1 1 1
state: 0 start: 47731 valid_bits:    0 1 1 1
state: 0 start: 47751 valid_bits:    0 1 1 1
state: 0 start: 47771 valid_bits:    0 1 1 1
state: 0 start: 47791 valid_bits:    0 1 1 1
state: 0 start: 47811 valid_bits:    0 1 1 1
state: 0 start: 47831 valid_bits:    0 1 1 1
state: 0 start: 47851 valid_bits:    0 1 1 1
state: 0 start: 47871 valid_bits:    0 1 1 1
state: 0 start: 47891 valid_bits:    0 1 1 1
state: 0 start: 47911 valid_bits:    0 1 1 1
state: 0 start: 47931 valid_bits:    0 1 1 1
state: 0 start: 47951 valid_bits:    0 1 1 1
state: 0 start: 47971 valid_bits:    0 1 1 1
state: 0 start: 47991 valid_bits:    0 1 1 1
state: 0 start: 48011 valid_bits:    0 1 1 1
state: 0 start: 48031 valid_bits:    0 1 1 1
state: 0 start: 48051 valid_bits:    0 1 1 1
state: 0 start: 48071 valid_bits:    0 1 1 1
state: 0 start: 48091 valid_bits:    0 1 1 1
state: 0 start: 48111 valid_bits:    0 1 1 1
state: 0 start: 48139 valid_bits:    0 1 1 1
state: 0 start: 48159 valid_bits:    0 1 1 1
state: 0 start: 48179 valid_bits:    0 1 1 1
state: 0 start: 48199 valid_bits:    0 1 1 1
state: 0 start: 48219 valid_bits:    0 1 1 1
state: 0 start: 48239 valid_bits:    0 1 1 1
state: 0 start: 48259 valid_bits:    0 1 1 1
state: 0 start: 48279 valid_bits:    0 1 1 1
state: 0 start: 48299 valid_bits:    0 1 1 1
state: 0 start: 48319 valid_bits:    0 1 1 1
state: 0 start: 48339 valid_bits:    0 1 1 1
state: 0 start: 48359 valid_bits:    0 1 1 1
state: 0 start: 48379 valid_bits:    0 1 1 1
state: 0 start: 48399 valid_bits:    0 1 1 1
state: 0 start: 48419 valid_bits:    0 1 1 1
state: 0 start: 48439 valid_bits:    0 1 1 1
state: 0 start: 48459 valid_bits:    0 1 1 1
state: 0 start: 48479 valid_bits:    0 1 1 1
state: 0 start: 48499 valid_bits:    0 1 1 1
state: 0 start: 48519 valid_bits:    0 1 1 1
state: 0 start: 48541 valid_bits:    0 1 1 1
state: 0 start: 48561 valid_bits:    0 1 1 1
state: 0 start: 48581 valid_bits:    0 1 1 1
state: 0 start: 48601 valid_bits:    0 1 1 1
state: 0 start: 48621 valid_bits:    0 1 1 1
state: 0 start: 48641 valid_bits:    0 1 1 1
state: 0 start: 48661 valid_bits:    0 1 1 1
state: 0 start: 48681 valid_bits:    0 1 1 1
state: 0 start: 48701 valid_bits:    0 1 1 1
state: 0 start: 48721 valid_bits:    0 1 1 1
state: 0 start: 48741 valid_bits:    0 1 1 1
state: 0 start: 48761 valid_bits:    0 1 1 1
state: 0 start: 48781 valid_bits:    0 1 1 1
state: 0 start: 48801 valid_bits:    0 1 1 1
state: 0 start: 48821 valid_bits:    0 1 1 1
state: 0 start: 48841 valid_bits:    0 1 1 1
state: 0 start: 48861 valid_bits:    0 1 1 1
state: 0 start: 48881 valid_bits:    0 1 1 1
state: 0 start: 48901 valid_bits:    0 1 1 1
state: 0 start: 48921 valid_bits:    0 1 1 1
state: 0 start: 48942 valid_bits:    0 1 1 1
state: 0 start: 48962 valid_bits:    0 1 1 1
state: 0 start: 48982 valid_bits:    0 1 1 1
state: 0 start: 49002 valid_bits:    0 1 1 1
state: 0 start: 49022 valid_bits:    0 1 1 1
state: 0 start: 49042 valid_bits:    0 1 1 1
state: 0 start: 49062 valid_bits:    0 1 1 1
state: 0 start: 49082 valid_bits:    0 1 1 1
state: 0 start: 49102 valid_bits:    0 1 1 1
state: 0 start: 49122 valid_bits:    0 1 1 1
state: 0 start: 49142 valid_bits:    0 1 1 1
state: 0 start: 49162 valid_bits:    0 1 1 1
state: 0 start: 49182 valid_bits:    0 1 1 1
state: 0 start: 49202 valid_bits:    0 1 1 1
state: 0 start: 49222 valid_bits:    0 1 1 1
state: 0 start: 49242 valid_bits:    0 1 1 1
state: 0 start: 49262 valid_bits:    0 1 1 1
state: 0 start: 49282 valid_bits:    0 1 1 1
state: 0 start: 49302 valid_bits:    0 1 1 1
state: 0 start: 49322 valid_bits:    0 1 1 1
state: 0 start: 49342 valid_bits:    0 1 1 1
state: 0 start: 49362 valid_bits:    0 1 1 1
state: 0 start: 49382 valid_bits:    0 1 1 1
state: 0 start: 49402 valid_bits:    0 1 1 1
state: 0 start: 49422 valid_bits:    0 1 1 1
state: 0 start: 49442 valid_bits:    0 1 1 1
state: 0 start: 49462 valid_bits:    0 1 1 1
state: 0 start: 49482 valid_bits:    0 1 1 1
state: 0 start: 49502 valid_bits:    0 1 1 1
state: 0 start: 49522 valid_bits:    0 1 1 1
state: 0 start: 49542 valid_bits:    0 1 1 1
state: 0 start: 49562 valid_bits:    0 1 1 1
state: 0 start: 49582 valid_bits:    0 1 1 1
state: 0 start: 49602 valid_bits:    0 1 1 1
state: 0 start: 49622 valid_bits:    0 1 1 1
state: 0 start: 49642 valid_bits:    0 1 1 1
state: 0 start: 49662 valid_bits:    0 1 1 1
state: 0 start: 49682 valid_bits:    0 1 1 1
state: 0 start: 49702 valid_bits:    0 1 1 1
state: 0 start: 49722 valid_bits:    0 1 1 1
state: 0 start: 49746 valid_bits:    0 1 1 1
state: 0 start: 49766 valid_bits:    0 1 1 1
state: 0 start: 49786 valid_bits:    0 1 1 1
state: 0 start: 49806 valid_bits:    0 1 1 1
state: 0 start: 49826 valid_bits:    0 1 1 1
state: 0 start: 49846 valid_bits:    0 1 1 1
state: 0 start: 49866 valid_bits:    0 1 1 1
state: 0 start: 49886 valid_bits:    0 1 1 1
state: 0 start: 49906 valid_bits:    0 1 1 1
state: 0 start: 49926 valid_bits:    0 1 1 1
state: 0 start: 49946 valid_bits:    0 1 1 1
state: 0 start: 49966 valid_bits:    0 1 1 1
state: 0 start: 49986 valid_bits:    0 1 1 1
state: 0 start: 50006 valid_bits:    0 1 1 1
state: 0 start: 50026 valid_bits:    0 1 1 1
state: 0 start: 50046 valid_bits:    0 1 1 1
state: 0 start: 50066 valid_bits:    0 1 1 1
state: 0 start: 50086 valid_bits:    0 1 1 1
state: 0 start: 50106 valid_bits:    0 1 1 1
state: 0 start: 50126 valid_bits:    0 1 1 1
state: 0 start: 50146 valid_bits:    0 1 1 1
state: 0 start: 50166 valid_bits:    0 1 1 1
state: 0 start: 50186 valid_bits:    0 1 1 1
state: 0 start: 50206 valid_bits:    0 1 1 1
state: 0 start: 50226 valid_bits:    0 1 1 1
state: 0 start: 50246 valid_bits:    0 1 1 1
state: 0 start: 50266 valid_bits:    0 1 1 1
state: 0 start: 50286 valid_bits:    0 1 1 1
state: 0 start: 50306 valid_bits:    0 1 1 1
state: 0 start: 50326 valid_bits:    0 1 1 1
state: 0 start: 50346 valid_bits:    0 1 1 1
state: 0 start: 50366 valid_bits:    0 1 1 1
state: 0 start: 50386 valid_bits:    0 1 1 1
state: 0 start: 50406 valid_bits:    0 1 1 1
state: 0 start: 50426 valid_bits:    0 1 1 1
state: 0 start: 50446 valid_bits:    0 1 1 1
state: 0 start: 50466 valid_bits:    0 1 1 1
state: 0 start: 50486 valid_bits:    0 1 1 1
state: 0 start: 50506 valid_bits:    0 1 1 1
state: 0 start: 50526 valid_bits:    0 1 1 1
state: 0 start: 50551 valid_bits:    0 1 1 1
state: 0 start: 50571 valid_bits:    0 1 1 1
state: 0 start: 50591 valid_bits:    0 1 1 1
state: 0 start: 50611 valid_bits:    0 1 1 1
state: 0 start: 50631 valid_bits:    0 1 1 1
state: 0 start: 50651 valid_bits:    0 1 1 1
state: 0 start: 50671 valid_bits:    0 1 1 1
state: 0 start: 50691 valid_bits:    0 1 1 1
state: 0 start: 50711 valid_bits:    0 1 1 1
state: 0 start: 50731 valid_bits:    0 1 1 1
state: 0 start: 50752 valid_bits:    0 1 1 1
state: 0 start: 50772 valid_bits:    0 1 1 1
state: 0 start: 50792 valid_bits:    0 1 1 1
state: 0 start: 50812 valid_bits:    0 1 1 1
state: 0 start: 50832 valid_bits:    0 1 1 1
state: 0 start: 50852 valid_bits:    0 1 1 1
state: 0 start: 50872 valid_bits:    0 1 1 1
state: 0 start: 50892 valid_bits:    0 1 1 1
state: 0 start: 50912 valid_bits:    0 1 1 1
state: 0 start: 50932 valid_bits:    0 1 1 1
state: 0 start: 50953 valid_bits:    0 1 1 1
state: 0 start: 50973 valid_bits:    0 1 1 1
state: 0 start: 50993 valid_bits:    0 1 1 1
state: 0 start: 51013 valid_bits:    0 1 1 1
state: 0 start: 51033 valid_bits:    0 1 1 1
state: 0 start: 51053 valid_bits:    0 1 1 1
state: 0 start: 51073 valid_bits:    0 1 1 1
state: 0 start: 51093 valid_bits:    0 1 1 1
state: 0 start: 51113 valid_bits:    0 1 1 1
state: 0 start: 51133 valid_bits:    0 1 1 1
state: 0 start: 51153 valid_bits:    0 1 1 1
state: 0 start: 51173 valid_bits:    0 1 1 1
state: 0 start: 51193 valid_bits:    0 1 1 1
state: 0 start: 51213 valid_bits:    0 1 1 1
state: 0 start: 51233 valid_bits:    0 1 1 1
state: 0 start: 51253 valid_bits:    0 1 1 1
state: 0 start: 51273 valid_bits:    0 1 1 1
state: 0 start: 51293 valid_bits:    0 1 1 1
state: 0 start: 51313 valid_bits:    0 1 1 1
state: 0 start: 51333 valid_bits:    0 1 1 1
state: 0 start: 51353 valid_bits:    0 1 1 1
state: 0 start: 51373 valid_bits:    0 1 1 1
state: 0 start: 51393 valid_bits:    0 1 1 1
state: 0 start: 51413 valid_bits:    0 1 1 1
state: 0 start: 51433 valid_bits:    0 1 1 1
state: 0 start: 51453 valid_bits:    0 1 1 1
state: 0 start: 51473 valid_bits:    0 1 1 1
state: 0 start: 51493 valid_bits:    0 1 1 1
state: 0 start: 51513 valid_bits:    0 1 1 1
state: 0 start: 51533 valid_bits:    0 1 1 1
state: 0 start: 51551 valid_bits:    0 0 1 1
state: 0 start: 51571 valid_bits:    0 1 1 1
state: 0 start: 51591 valid_bits:    0 1 1 1
state: 0 start: 51611 valid_bits:    0 1 1 1
state: 0 start: 51631 valid_bits:    0 1 1 1
state: 0 start: 51651 valid_bits:    0 1 1 1
state: 0 start: 51671 valid_bits:    0 1 1 1
state: 0 start: 51691 valid_bits:    0 1 1 1
state: 0 start: 51711 valid_bits:    0 1 1 1
state: 0 start: 51731 valid_bits:    0 1 1 1
state: 0 start: 51757 valid_bits:    0 1 1 1
state: 0 start: 51777 valid_bits:    0 1 1 1
state: 0 start: 51797 valid_bits:    0 1 1 1
state: 0 start: 51817 valid_bits:    0 1 1 1
state: 0 start: 51837 valid_bits:    0 1 1 1
state: 0 start: 51857 valid_bits:    0 1 1 1
state: 0 start: 51877 valid_bits:    0 1 1 1
state: 0 start: 51897 valid_bits:    0 1 1 1
state: 0 start: 51917 valid_bits:    0 1 1 1
state: 0 start: 51948 valid_bits:    0 1 1 1
state: 0 start: 51968 valid_bits:    0 1 1 1
state: 0 start: 51988 valid_bits:    0 1 1 1
state: 0 start: 52008 valid_bits:    0 1 1 1
state: 0 start: 52028 valid_bits:    0 1 1 1
state: 0 start: 52048 valid_bits:    0 1 1 1
state: 0 start: 52068 valid_bits:    0 1 1 1
state: 0 start: 52088 valid_bits:    0 1 1 1
state: 0 start: 52108 valid_bits:    0 1 1 1
state: 0 start: 52128 valid_bits:    0 1 1 1
state: 0 start: 52152 valid_bits:    0 1 1 1
state: 0 start: 52172 valid_bits:    0 1 1 1
state: 0 start: 52192 valid_bits:    0 1 1 1
state: 0 start: 52212 valid_bits:    0 1 1 1
state: 0 start: 52232 valid_bits:    0 1 1 1
state: 0 start: 52252 valid_bits:    0 1 1 1
state: 0 start: 52272 valid_bits:    0 1 1 1
state: 0 start: 52292 valid_bits:    0 1 1 1
state: 0 start: 52312 valid_bits:    0 1 1 1
state: 0 start: 52339 valid_bits:    0 1 1 1
state: 0 start: 52359 valid_bits:    0 1 1 1
state: 0 start: 52379 valid_bits:    0 1 1 1
state: 0 start: 52399 valid_bits:    0 1 1 1
state: 0 start: 52419 valid_bits:    0 1 1 1
state: 0 start: 52439 valid_bits:    0 1 1 1
state: 0 start: 52459 valid_bits:    0 1 1 1
state: 0 start: 52479 valid_bits:    0 1 1 1
state: 0 start: 52499 valid_bits:    0 1 1 1
state: 0 start: 52519 valid_bits:    0 1 1 1
state: 0 start: 52539 valid_bits:    0 1 1 1
state: 0 start: 52561 valid_bits:    0 1 1 1
state: 0 start: 52581 valid_bits:    0 1 1 1
state: 0 start: 52601 valid_bits:    0 1 1 1
state: 0 start: 52621 valid_bits:    0 1 1 1
state: 0 start: 52641 valid_bits:    0 1 1 1
state: 0 start: 52661 valid_bits:    0 1 1 1
state: 0 start: 52681 valid_bits:    0 1 1 1
state: 0 start: 52701 valid_bits:    0 1 1 1
state: 0 start: 52721 valid_bits:    0 1 1 1
state: 0 start: 52741 valid_bits:    0 1 1 0
state: 0 start: 52757 valid_bits:    1 1 1 1
state: 0 start: 52777 valid_bits:    0 1 1 1
state: 0 start: 52797 valid_bits:    0 1 1 1
state: 0 start: 52817 valid_bits:    0 1 1 1
state: 0 start: 52837 valid_bits:    0 1 1 1
state: 0 start: 52857 valid_bits:    0 1 1 1
state: 0 start: 52877 valid_bits:    0 1 1 1
state: 0 start: 52897 valid_bits:    0 1 1 1
state: 0 start: 52917 valid_bits:    0 1 1 1
state: 0 start: 52937 valid_bits:    0 1 1 1
state: 0 start: 52962 valid_bits:    0 1 1 1
state: 0 start: 52982 valid_bits:    0 1 1 1
state: 0 start: 53002 valid_bits:    0 1 1 1
state: 0 start: 53022 valid_bits:    0 1 1 1
state: 0 start: 53042 valid_bits:    0 1 1 1
state: 0 start: 53062 valid_bits:    0 1 1 1
state: 0 start: 53082 valid_bits:    0 1 1 1
state: 0 start: 53102 valid_bits:    0 1 1 1
state: 0 start: 53122 valid_bits:    0 1 1 1
state: 0 start: 53142 valid_bits:    0 1 1 1
state: 0 start: 53162 valid_bits:    0 1 1 1
state: 0 start: 53182 valid_bits:    0 1 1 1
state: 0 start: 53202 valid_bits:    0 1 1 1
state: 0 start: 53222 valid_bits:    0 1 1 1
state: 0 start: 53242 valid_bits:    0 1 1 1
state: 0 start: 53262 valid_bits:    0 1 1 1
state: 0 start: 53282 valid_bits:    0 1 1 1
state: 0 start: 53302 valid_bits:    0 1 1 1
state: 0 start: 53322 valid_bits:    0 1 1 1
state: 0 start: 53342 valid_bits:    0 1 1 1
state: 0 start: 53364 valid_bits:    0 1 1 1
state: 0 start: 53384 valid_bits:    0 1 1 1
state: 0 start: 53404 valid_bits:    0 1 1 1
state: 0 start: 53424 valid_bits:    0 1 1 1
state: 0 start: 53444 valid_bits:    0 1 1 1
state: 0 start: 53464 valid_bits:    0 1 1 1
state: 0 start: 53484 valid_bits:    0 1 1 1
state: 0 start: 53504 valid_bits:    0 1 1 1
state: 0 start: 53524 valid_bits:    0 1 1 1
state: 0 start: 53544 valid_bits:    0 1 1 1
state: 0 start: 53564 valid_bits:    0 1 1 1
state: 0 start: 53584 valid_bits:    0 1 1 1
state: 0 start: 53604 valid_bits:    0 1 1 1
state: 0 start: 53624 valid_bits:    0 1 1 1
state: 0 start: 53644 valid_bits:    0 1 1 1
state: 0 start: 53664 valid_bits:    0 1 1 1
state: 0 start: 53684 valid_bits:    0 1 1 1
state: 0 start: 53704 valid_bits:    0 1 1 1
state: 0 start: 53724 valid_bits:    0 1 1 1
state: 0 start: 53744 valid_bits:    0 1 1 1
state: 0 start: 53764 valid_bits:    0 1 1 1
state: 0 start: 53784 valid_bits:    0 1 1 1
state: 0 start: 53804 valid_bits:    0 1 1 1
state: 0 start: 53824 valid_bits:    0 1 1 1
state: 0 start: 53844 valid_bits:    0 1 1 1
state: 0 start: 53864 valid_bits:    0 1 1 1
state: 0 start: 53884 valid_bits:    0 1 1 1
state: 0 start: 53904 valid_bits:    0 1 1 1
state: 0 start: 53924 valid_bits:    0 1 1 1
state: 0 start: 53944 valid_bits:    0 1 1 1
state: 0 start: 53964 valid_bits:    0 1 1 1
state: 0 start: 53984 valid_bits:    0 1 1 1
state: 0 start: 54004 valid_bits:    0 1 1 1
state: 0 start: 54024 valid_bits:    0 1 1 1
state: 0 start: 54044 valid_bits:    0 1 1 1
state: 0 start: 54064 valid_bits:    0 1 1 1
state: 0 start: 54084 valid_bits:    0 1 1 1
state: 0 start: 54104 valid_bits:    0 1 1 1
state: 0 start: 54124 valid_bits:    0 1 1 1
state: 0 start: 54144 valid_bits:    0 1 1 1
state: 0 start: 54164 valid_bits:    0 1 1 1
state: 0 start: 54184 valid_bits:    0 1 1 1
state: 0 start: 54204 valid_bits:    0 1 1 1
state: 0 start: 54224 valid_bits:    0 1 1 1
state: 0 start: 54244 valid_bits:    0 1 1 1
state: 0 start: 54264 valid_bits:    0 1 1 1
state: 0 start: 54284 valid_bits:    0 1 1 1
state: 0 start: 54304 valid_bits:    0 1 1 1
state: 0 start: 54324 valid_bits:    0 1 1 1
state: 0 start: 54353 valid_bits:    0 1 1 1
state: 0 start: 54373 valid_bits:    0 1 1 1
state: 0 start: 54393 valid_bits:    0 1 1 1
state: 0 start: 54413 valid_bits:    0 1 1 1
state: 0 start: 54433 valid_bits:    0 1 1 1
state: 0 start: 54453 valid_bits:    0 1 1 1
state: 0 start: 54473 valid_bits:    0 1 1 1
state: 0 start: 54493 valid_bits:    0 1 1 1
state: 0 start: 54513 valid_bits:    0 1 1 1
state: 0 start: 54533 valid_bits:    0 1 1 1
state: 0 start: 54553 valid_bits:    0 1 1 1
state: 0 start: 54570 valid_bits:    0 1 1 1
state: 0 start: 54590 valid_bits:    0 1 1 1
state: 0 start: 54610 valid_bits:    0 1 1 1
state: 0 start: 54630 valid_bits:    0 1 1 1
state: 0 start: 54650 valid_bits:    0 1 1 1
state: 0 start: 54670 valid_bits:    0 1 1 1
state: 0 start: 54690 valid_bits:    0 1 1 1
state: 0 start: 54710 valid_bits:    0 1 1 1
state: 0 start: 54730 valid_bits:    0 1 1 1
state: 0 start: 54754 valid_bits:    0 1 1 1
state: 0 start: 54774 valid_bits:    0 1 1 1
state: 0 start: 54794 valid_bits:    0 1 1 1
state: 0 start: 54814 valid_bits:    0 1 1 1
state: 0 start: 54834 valid_bits:    0 1 1 1
state: 0 start: 54854 valid_bits:    0 1 1 1
state: 0 start: 54874 valid_bits:    0 1 1 1
state: 0 start: 54894 valid_bits:    0 1 1 1
state: 0 start: 54914 valid_bits:    0 1 1 1
state: 0 start: 54934 valid_bits:    0 1 1 1
state: 0 start: 54954 valid_bits:    0 1 1 1
state: 0 start: 54973 valid_bits:    0 1 1 1
state: 0 start: 54993 valid_bits:    0 1 1 1
state: 0 start: 55013 valid_bits:    0 1 1 1
state: 0 start: 55033 valid_bits:    0 1 1 1
state: 0 start: 55053 valid_bits:    0 1 1 1
state: 0 start: 55073 valid_bits:    0 1 1 1
state: 0 start: 55093 valid_bits:    0 1 1 1
state: 0 start: 55113 valid_bits:    0 1 1 1
state: 0 start: 55133 valid_bits:    0 1 1 1
state: 0 start: 55155 valid_bits:    0 1 1 1
state: 0 start: 55175 valid_bits:    0 1 1 1
state: 0 start: 55195 valid_bits:    0 1 1 1
state: 0 start: 55215 valid_bits:    0 1 1 1
state: 0 start: 55235 valid_bits:    0 1 1 1
state: 0 start: 55255 valid_bits:    0 1 1 1
state: 0 start: 55275 valid_bits:    0 1 1 1
state: 0 start: 55295 valid_bits:    0 1 1 1
state: 0 start: 55315 valid_bits:    0 1 1 1
state: 0 start: 55335 valid_bits:    0 1 1 1
state: 0 start: 55354 valid_bits:    0 1 1 1
state: 0 start: 55374 valid_bits:    0 1 1 1
state: 0 start: 55394 valid_bits:    0 1 1 1
state: 0 start: 55414 valid_bits:    0 1 1 1
state: 0 start: 55434 valid_bits:    0 1 1 1
state: 0 start: 55454 valid_bits:    0 1 1 1
state: 0 start: 55474 valid_bits:    0 1 1 1
state: 0 start: 55494 valid_bits:    0 1 1 1
state: 0 start: 55514 valid_bits:    0 1 1 1
state: 0 start: 55534 valid_bits:    0 1 1 1
state: 0 start: 55555 valid_bits:    0 1 1 1
state: 0 start: 55575 valid_bits:    0 1 1 1
state: 0 start: 55595 valid_bits:    0 1 1 1
state: 0 start: 55615 valid_bits:    0 1 1 1
state: 0 start: 55635 valid_bits:    0 1 1 1
state: 0 start: 55655 valid_bits:    0 1 1 1
state: 0 start: 55675 valid_bits:    0 1 1 1
state: 0 start: 55695 valid_bits:    0 1 1 1
state: 0 start: 55715 valid_bits:    0 1 1 1
state: 0 start: 55735 valid_bits:    0 1 1 1
state: 0 start: 55755 valid_bits:    0 1 1 1
state: 0 start: 55771 valid_bits:    0 1 1 1
state: 0 start: 55791 valid_bits:    0 1 1 1
state: 0 start: 55811 valid_bits:    0 1 1 1
state: 0 start: 55831 valid_bits:    0 1 1 1
state: 0 start: 55851 valid_bits:    0 1 1 1
state: 0 start: 55871 valid_bits:    0 1 1 1
state: 0 start: 55891 valid_bits:    0 1 1 1
state: 0 start: 55911 valid_bits:    0 1 1 1
state: 0 start: 55931 valid_bits:    0 1 1 1
state: 0 start: 55951 valid_bits:    0 1 1 1
state: 0 start: 55971 valid_bits:    0 1 1 1
state: 0 start: 55991 valid_bits:    0 1 1 1
state: 0 start: 56011 valid_bits:    0 1 1 1
state: 0 start: 56031 valid_bits:    0 1 1 1
state: 0 start: 56051 valid_bits:    0 1 1 1
state: 0 start: 56071 valid_bits:    0 1 1 1
state: 0 start: 56091 valid_bits:    0 1 1 1
state: 0 start: 56111 valid_bits:    0 1 1 1
state: 0 start: 56131 valid_bits:    0 1 1 1
state: 0 start: 56155 valid_bits:    0 0 1 1
state: 0 start: 56178 valid_bits:    0 1 1 1
state: 0 start: 56198 valid_bits:    0 1 1 1
state: 0 start: 56218 valid_bits:    0 1 1 1
state: 0 start: 56238 valid_bits:    0 1 1 1
state: 0 start: 56258 valid_bits:    0 1 1 1
state: 0 start: 56278 valid_bits:    0 1 1 1
state: 0 start: 56298 valid_bits:    0 1 1 1
state: 0 start: 56318 valid_bits:    0 1 1 1
state: 0 start: 56338 valid_bits:    0 1 1 1
state: 0 start: 56358 valid_bits:    0 1 1 1
state: 0 start: 56378 valid_bits:    0 1 1 1
state: 0 start: 56398 valid_bits:    0 1 1 1
state: 0 start: 56418 valid_bits:    0 1 1 1
state: 0 start: 56438 valid_bits:    0 1 1 1
state: 0 start: 56458 valid_bits:    0 1 1 1
state: 0 start: 56478 valid_bits:    0 1 1 1
state: 0 start: 56498 valid_bits:    0 1 1 1
state: 0 start: 56518 valid_bits:    0 1 1 1
state: 0 start: 56538 valid_bits:    0 1 1 1
state: 0 start: 56558 valid_bits:    0 1 1 1
state: 0 start: 56580 valid_bits:    0 1 1 1
state: 0 start: 56600 valid_bits:    0 1 1 1
state: 0 start: 56620 valid_bits:    0 1 1 1
state: 0 start: 56640 valid_bits:    0 1 1 1
state: 0 start: 56660 valid_bits:    0 1 1 1
state: 0 start: 56680 valid_bits:    0 1 1 1
state: 0 start: 56700 valid_bits:    0 1 1 1
state: 0 start: 56720 valid_bits:    0 1 1 1
state: 0 start: 56740 valid_bits:    0 1 1 1
state: 0 start: 56760 valid_bits:    0 1 1 1
state: 0 start: 56780 valid_bits:    0 1 1 1
state: 0 start: 56800 valid_bits:    0 1 1 1
state: 0 start: 56820 valid_bits:    0 1 1 1
state: 0 start: 56840 valid_bits:    0 1 1 1
state: 0 start: 56860 valid_bits:    0 1 1 1
state: 0 start: 56880 valid_bits:    0 1 1 1
state: 0 start: 56900 valid_bits:    0 1 1 1
state: 0 start: 56920 valid_bits:    0 1 1 1
state: 0 start: 56940 valid_bits:    0 1 1 1
state: 0 start: 56960 valid_bits:    0 1 1 1
state: 0 start: 56980 valid_bits:    0 1 1 1
state: 0 start: 57000 valid_bits:    0 1 1 1
state: 0 start: 57020 valid_bits:    0 1 1 1
state: 0 start: 57040 valid_bits:    0 1 1 1
state: 0 start: 57060 valid_bits:    0 1 1 1
state: 0 start: 57080 valid_bits:    0 1 1 1
state: 0 start: 57100 valid_bits:    0 1 1 1
state: 0 start: 57120 valid_bits:    0 1 1 1
state: 0 start: 57140 valid_bits:    0 1 1 1
state: 0 start: 57160 valid_bits:    0 1 1 1
state: 0 start: 57180 valid_bits:    0 1 1 1
state: 0 start: 57200 valid_bits:    0 1 1 1
state: 0 start: 57220 valid_bits:    0 1 1 1
state: 0 start: 57240 valid_bits:    0 1 1 1
state: 0 start: 57260 valid_bits:    0 1 1 1
state: 0 start: 57280 valid_bits:    0 1 1 1
state: 0 start: 57300 valid_bits:    0 1 1 1
state: 0 start: 57320 valid_bits:    0 1 1 1
state: 0 start: 57355 valid_bits:    0 1 1 1
state: 0 start: 57371 valid_bits:    0 1 1 1
state: 0 start: 57391 valid_bits:    0 1 1 1
state: 0 start: 57411 valid_bits:    0 1 1 1
state: 0 start: 57431 valid_bits:    0 1 1 1
state: 0 start: 57451 valid_bits:    0 1 1 1
state: 0 start: 57471 valid_bits:    0 1 1 1
state: 0 start: 57491 valid_bits:    0 1 1 1
state: 0 start: 57511 valid_bits:    0 1 1 1
state: 0 start: 57531 valid_bits:    0 1 1 1
state: 0 start: 57565 valid_bits:    0 1 1 1
state: 0 start: 57585 valid_bits:    0 1 1 1
state: 0 start: 57605 valid_bits:    0 1 1 1
state: 0 start: 57625 valid_bits:    0 1 1 1
state: 0 start: 57645 valid_bits:    0 1 1 1
state: 0 start: 57665 valid_bits:    0 1 1 1
state: 0 start: 57685 valid_bits:    0 1 1 1
state: 0 start: 57705 valid_bits:    0 1 1 1
state: 0 start: 57725 valid_bits:    0 1 1 1
state: 0 start: 57745 valid_bits:    0 1 1 1
state: 0 start: 57765 valid_bits:    0 1 1 1
state: 0 start: 57787 valid_bits:    0 1 1 1
state: 0 start: 57807 valid_bits:    0 1 1 1
state: 0 start: 57827 valid_bits:    0 1 1 1
state: 0 start: 57847 valid_bits:    0 1 1 1
state: 0 start: 57867 valid_bits:    0 1 1 1
state: 0 start: 57887 valid_bits:    0 1 1 1
state: 0 start: 57907 valid_bits:    0 1 1 1
state: 0 start: 57927 valid_bits:    0 1 1 1
state: 0 start: 57947 valid_bits:    0 1 1 1
state: 0 start: 57968 valid_bits:    0 1 1 1
state: 0 start: 57988 valid_bits:    0 1 1 1
state: 0 start: 58008 valid_bits:    0 1 1 1
state: 0 start: 58028 valid_bits:    0 1 1 1
state: 0 start: 58048 valid_bits:    0 1 1 1
state: 0 start: 58068 valid_bits:    0 1 1 1
state: 0 start: 58088 valid_bits:    0 1 1 1
state: 0 start: 58108 valid_bits:    0 1 1 1
state: 0 start: 58128 valid_bits:    0 1 1 1
state: 0 start: 58157 valid_bits:    0 1 1 1
state: 0 start: 58188 valid_bits:    0 1 1 1
state: 0 start: 58208 valid_bits:    0 1 1 1
state: 0 start: 58228 valid_bits:    0 1 1 1
state: 0 start: 58248 valid_bits:    0 1 1 1
state: 0 start: 58268 valid_bits:    0 1 1 1
state: 0 start: 58288 valid_bits:    0 1 1 1
state: 0 start: 58308 valid_bits:    0 1 1 1
state: 0 start: 58328 valid_bits:    0 1 1 1
state: 0 start: 58348 valid_bits:    0 1 1 1
state: 0 start: 58368 valid_bits:    0 1 1 1
state: 0 start: 58388 valid_bits:    0 1 1 1
state: 0 start: 58408 valid_bits:    0 1 1 1
state: 0 start: 58428 valid_bits:    0 1 1 1
state: 0 start: 58448 valid_bits:    0 1 1 1
state: 0 start: 58468 valid_bits:    0 1 1 1
state: 0 start: 58488 valid_bits:    0 1 1 1
state: 0 start: 58508 valid_bits:    0 1 1 1
state: 0 start: 58528 valid_bits:    0 1 1 1
state: 0 start: 58558 valid_bits:    0 1 1 1
state: 0 start: 58578 valid_bits:    0 1 1 1
state: 0 start: 58598 valid_bits:    0 1 1 1
state: 0 start: 58618 valid_bits:    0 1 1 1
state: 0 start: 58638 valid_bits:    0 1 1 1
state: 0 start: 58658 valid_bits:    0 1 1 1
state: 0 start: 58678 valid_bits:    0 1 1 1
state: 0 start: 58698 valid_bits:    0 1 1 1
state: 0 start: 58718 valid_bits:    0 1 1 1
state: 0 start: 58738 valid_bits:    0 1 1 1
state: 0 start: 58758 valid_bits:    0 1 1 1
state: 0 start: 58778 valid_bits:    0 1 1 1
state: 0 start: 58798 valid_bits:    0 1 1 1
state: 0 start: 58818 valid_bits:    0 1 1 1
state: 0 start: 58838 valid_bits:    0 1 1 1
state: 0 start: 58858 valid_bits:    0 1 1 1
state: 0 start: 58878 valid_bits:    0 1 1 1
state: 0 start: 58898 valid_bits:    0 1 1 1
state: 0 start: 58918 valid_bits:    0 1 1 1
state: 0 start: 58938 valid_bits:    0 1 1 1
state: 0 start: 58958 valid_bits:    0 1 1 1
state: 0 start: 58993 valid_bits:    0 1 1 1
state: 0 start: 59013 valid_bits:    0 1 1 1
state: 0 start: 59033 valid_bits:    0 1 1 1
state: 0 start: 59053 valid_bits:    0 1 1 1
state: 0 start: 59073 valid_bits:    0 1 1 1
state: 0 start: 59093 valid_bits:    0 1 1 1
state: 0 start: 59113 valid_bits:    0 1 1 1
state: 0 start: 59133 valid_bits:    0 1 1 1
state: 0 start: 59153 valid_bits:    0 1 1 1
state: 0 start: 59173 valid_bits:    0 1 1 1
state: 0 start: 59193 valid_bits:    0 1 1 1
state: 0 start: 59213 valid_bits:    0 1 1 1
state: 0 start: 59233 valid_bits:    0 1 1 1
state: 0 start: 59253 valid_bits:    0 1 1 1
state: 0 start: 59273 valid_bits:    0 1 1 1
state: 0 start: 59293 valid_bits:    0 1 1 1
state: 0 start: 59313 valid_bits:    0 1 1 1
state: 0 start: 59333 valid_bits:    0 1 1 1
state: 0 start: 59353 valid_bits:    0 1 1 1
state: 0 start: 59373 valid_bits:    0 1 1 1
state: 0 start: 59394 valid_bits:    0 1 1 1
state: 0 start: 59414 valid_bits:    0 1 1 1
state: 0 start: 59434 valid_bits:    0 1 1 1
state: 0 start: 59454 valid_bits:    0 1 1 1
state: 0 start: 59474 valid_bits:    0 1 1 1
state: 0 start: 59494 valid_bits:    0 1 1 1
state: 0 start: 59514 valid_bits:    0 1 1 1
state: 0 start: 59534 valid_bits:    0 1 1 1
state: 0 start: 59554 valid_bits:    0 1 1 1
state: 0 start: 59574 valid_bits:    0 1 1 1
state: 0 start: 59594 valid_bits:    0 1 1 1
state: 0 start: 59614 valid_bits:    0 1 1 1
state: 0 start: 59634 valid_bits:    0 1 1 1
state: 0 start: 59654 valid_bits:    0 1 1 1
state: 0 start: 59674 valid_bits:    0 1 1 1
state: 0 start: 59694 valid_bits:    0 1 1 1
state: 0 start: 59714 valid_bits:    0 1 1 1
state: 0 start: 59734 valid_bits:    0 1 1 1
state: 0 start: 59754 valid_bits:    0 1 1 1
state: 0 start: 59774 valid_bits:    0 1 1 1
state: 0 start: 59794 valid_bits:    0 1 1 1
state: 0 start: 59814 valid_bits:    0 1 1 1
state: 0 start: 59834 valid_bits:    0 1 1 1
state: 0 start: 59854 valid_bits:    0 1 1 1
state: 0 start: 59874 valid_bits:    0 1 1 1
state: 0 start: 59894 valid_bits:    0 1 1 1
state: 0 start: 59914 valid_bits:    0 1 1 1
state: 0 start: 59934 valid_bits:    0 1 1 1
state: 0 start: 59954 valid_bits:    0 1 1 1
state: 0 start: 59974 valid_bits:    0 1 1 1
state: 0 start: 59996 valid_bits:    0 1 1 1
state: 0 start: 60016 valid_bits:    0 1 1 1
state: 0 start: 60036 valid_bits:    0 1 1 1
state: 0 start: 60056 valid_bits:    0 1 1 1
state: 0 start: 60076 valid_bits:    0 1 1 1
state: 0 start: 60096 valid_bits:    0 1 1 1
state: 0 start: 60116 valid_bits:    0 1 1 1
state: 0 start: 60136 valid_bits:    0 1 1 1
state: 0 start: 60156 valid_bits:    0 1 1 1
state: 0 start: 60176 valid_bits:    0 1 1 1
state: 0 start: 60195 valid_bits:    0 1 1 1
state: 0 start: 60215 valid_bits:    0 1 1 1
state: 0 start: 60235 valid_bits:    0 1 1 1
state: 0 start: 60255 valid_bits:    0 1 1 1
state: 0 start: 60275 valid_bits:    0 1 1 1
state: 0 start: 60295 valid_bits:    0 1 1 1
state: 0 start: 60315 valid_bits:    0 1 1 1
state: 0 start: 60335 valid_bits:    0 1 1 1
state: 0 start: 60355 valid_bits:    0 1 1 1
state: 0 start: 60379 valid_bits:    0 1 1 1
state: 0 start: 60399 valid_bits:    0 1 1 1
state: 0 start: 60419 valid_bits:    0 1 1 1
state: 0 start: 60439 valid_bits:    0 1 1 1
state: 0 start: 60459 valid_bits:    0 1 1 1
state: 0 start: 60479 valid_bits:    0 1 1 1
state: 0 start: 60499 valid_bits:    0 1 1 1
state: 0 start: 60519 valid_bits:    0 1 1 1
state: 0 start: 60539 valid_bits:    0 1 1 1
state: 0 start: 60559 valid_bits:    0 1 1 1
state: 0 start: 60579 valid_bits:    0 1 1 1
state: 0 start: 60599 valid_bits:    0 1 1 1
state: 0 start: 60619 valid_bits:    0 1 1 1
state: 0 start: 60639 valid_bits:    0 1 1 1
state: 0 start: 60659 valid_bits:    0 1 1 1
state: 0 start: 60679 valid_bits:    0 1 1 1
state: 0 start: 60699 valid_bits:    0 1 1 1
state: 0 start: 60719 valid_bits:    0 1 1 1
state: 0 start: 60739 valid_bits:    0 1 1 1
state: 0 start: 60759 valid_bits:    0 1 1 1
state: 0 start: 60781 valid_bits:    0 1 1 1
state: 0 start: 60801 valid_bits:    0 1 1 1
state: 0 start: 60821 valid_bits:    0 1 1 1
state: 0 start: 60841 valid_bits:    0 1 1 1
state: 0 start: 60861 valid_bits:    0 1 1 1
state: 0 start: 60881 valid_bits:    0 1 1 1
state: 0 start: 60901 valid_bits:    0 1 1 1
state: 0 start: 60921 valid_bits:    0 1 1 1
state: 0 start: 60941 valid_bits:    0 1 1 1
state: 0 start: 60961 valid_bits:    0 1 1 1
state: 0 start: 60981 valid_bits:    0 1 1 1
state: 0 start: 61002 valid_bits:    0 1 1 1
state: 0 start: 61022 valid_bits:    0 1 1 1
state: 0 start: 61042 valid_bits:    0 1 1 1
state: 0 start: 61062 valid_bits:    0 1 1 1
state: 0 start: 61082 valid_bits:    0 1 1 1
state: 0 start: 61102 valid_bits:    0 1 1 1
state: 0 start: 61122 valid_bits:    0 1 1 1
state: 0 start: 61142 valid_bits:    0 1 1 1
state: 0 start: 61162 valid_bits:    0 1 1 1
state: 0 start: 61182 valid_bits:    0 1 1 1
state: 0 start: 61202 valid_bits:    0 1 1 1
state: 0 start: 61222 valid_bits:    0 1 1 1
state: 0 start: 61242 valid_bits:    0 1 1 1
state: 0 start: 61262 valid_bits:    0 1 1 1
state: 0 start: 61282 valid_bits:    0 1 1 1
state: 0 start: 61302 valid_bits:    0 1 1 1
state: 0 start: 61322 valid_bits:    0 1 1 1
state: 0 start: 61342 valid_bits:    0 1 1 1
state: 0 start: 61362 valid_bits:    0 1 1 1
state: 0 start: 61382 valid_bits:    0 1 1 1
state: 0 start: 61405 valid_bits:    0 1 1 1
state: 0 start: 61425 valid_bits:    0 1 1 1
state: 0 start: 61445 valid_bits:    0 1 1 1
state: 0 start: 61465 valid_bits:    0 1 1 1
state: 0 start: 61485 valid_bits:    0 1 1 1
state: 0 start: 61505 valid_bits:    0 1 1 1
state: 0 start: 61525 valid_bits:    0 1 1 1
state: 0 start: 61545 valid_bits:    0 1 1 1
state: 0 start: 61565 valid_bits:    0 1 1 1
state: 0 start: 61585 valid_bits:    0 1 1 1
state: 0 start: 61605 valid_bits:    0 1 1 1
state: 0 start: 61625 valid_bits:    0 1 1 1
state: 0 start: 61645 valid_bits:    0 1 1 1
state: 0 start: 61665 valid_bits:    0 1 1 1
state: 0 start: 61685 valid_bits:    0 1 1 1
state: 0 start: 61705 valid_bits:    0 1 1 1
state: 0 start: 61725 valid_bits:    0 1 1 1
state: 0 start: 61745 valid_bits:    0 1 1 1
state: 0 start: 61765 valid_bits:    0 1 1 1
state: 0 start: 61785 valid_bits:    0 1 1 1
state: 0 start: 61805 valid_bits:    0 1 1 1
state: 0 start: 61825 valid_bits:    0 1 1 1
state: 0 start: 61845 valid_bits:    0 1 1 1
state: 0 start: 61865 valid_bits:    0 1 1 1
state: 0 start: 61885 valid_bits:    0 1 1 1
state: 0 start: 61905 valid_bits:    0 1 1 1
state: 0 start: 61925 valid_bits:    0 1 1 1
state: 0 start: 61945 valid_bits:    0 1 1 1
state: 0 start: 61965 valid_bits:    0 1 1 1
state: 0 start: 61985 valid_bits:    0 1 1 1
state: 0 start: 62005 valid_bits:    0 1 1 1
state: 0 start: 62025 valid_bits:    0 1 1 1
state: 0 start: 62045 valid_bits:    0 1 1 1
state: 0 start: 62065 valid_bits:    0 1 1 1
state: 0 start: 62085 valid_bits:    0 1 1 1
state: 0 start: 62105 valid_bits:    0 1 1 1
state: 0 start: 62125 valid_bits:    0 1 1 1
state: 0 start: 62145 valid_bits:    0 1 1 1
state: 0 start: 62165 valid_bits:    0 1 1 1
state: 0 start: 62185 valid_bits:    0 1 1 1
state: 0 start: 62204 valid_bits:    0 0 1 1
state: 0 start: 62224 valid_bits:    0 1 1 1
state: 0 start: 62244 valid_bits:    0 1 1 1
state: 0 start: 62264 valid_bits:    0 1 1 1
state: 0 start: 62284 valid_bits:    0 1 1 1
state: 0 start: 62304 valid_bits:    0 1 1 1
state: 0 start: 62324 valid_bits:    0 1 1 1
state: 0 start: 62344 valid_bits:    0 1 1 1
state: 0 start: 62364 valid_bits:    0 1 1 1
state: 0 start: 62391 valid_bits:    0 1 1 1
state: 0 start: 62411 valid_bits:    0 1 1 1
state: 0 start: 62431 valid_bits:    0 1 1 1
state: 0 start: 62451 valid_bits:    0 1 1 1
state: 0 start: 62471 valid_bits:    0 1 1 1
state: 0 start: 62491 valid_bits:    0 1 1 1
state: 0 start: 62511 valid_bits:    0 1 1 1
state: 0 start: 62531 valid_bits:    0 1 1 1
state: 0 start: 62551 valid_bits:    0 1 1 1
state: 0 start: 62571 valid_bits:    0 1 1 1
state: 0 start: 62591 valid_bits:    0 1 1 1
state: 0 start: 62611 valid_bits:    0 1 1 1
state: 0 start: 62631 valid_bits:    0 1 1 1
state: 0 start: 62651 valid_bits:    0 1 1 1
state: 0 start: 62671 valid_bits:    0 1 1 1
state: 0 start: 62691 valid_bits:    0 1 1 1
state: 0 start: 62711 valid_bits:    0 1 1 1
state: 0 start: 62731 valid_bits:    0 1 1 1
state: 0 start: 62751 valid_bits:    0 1 1 1
state: 0 start: 62771 valid_bits:    0 1 1 1
state: 0 start: 62791 valid_bits:    0 1 1 1
state: 0 start: 62820 valid_bits:    0 1 1 1
state: 0 start: 62840 valid_bits:    0 1 1 1
state: 0 start: 62860 valid_bits:    0 1 1 1
state: 0 start: 62880 valid_bits:    0 1 1 1
state: 0 start: 62900 valid_bits:    0 1 1 1
state: 0 start: 62920 valid_bits:    0 1 1 1
state: 0 start: 62948 valid_bits:    0 0 1 1
state: 0 start: 62966 valid_bits:    0 1 0 0
state: 0 start: 62985 valid_bits:    0 1 0 1
state: 0 start: 63005 valid_bits:    3 1 1 1
state: 0 start: 63023 valid_bits:    0 1 1 1
state: 0 start: 63053 valid_bits:    0 0 0 1
state: 0 start: 63078 valid_bits:    1 1 1 1
state: 0 start: 63098 valid_bits:    0 1 1 1
state: 0 start: 63118 valid_bits:    0 1 1 1
state: 0 start: 63138 valid_bits:    0 1 1 1
state: 0 start: 63158 valid_bits:    0 1 1 1
state: 0 start: 63178 valid_bits:    0 1 1 1
state: 0 start: 63198 valid_bits:    0 1 1 1
state: 0 start: 63218 valid_bits:    0 1 1 1
state: 0 start: 63238 valid_bits:    0 1 1 1
state: 0 start: 63258 valid_bits:    0 1 1 1
state: 0 start: 63278 valid_bits:    0 1 1 1
state: 0 start: 63298 valid_bits:    0 1 1 1
state: 0 start: 63318 valid_bits:    0 1 1 1
state: 0 start: 63348 valid_bits:    0 0 1 0
state: 0 start: 63366 valid_bits:    3 0 1 0
state: 0 start: 63390 valid_bits:    2 1 1 0
state: 0 start: 63406 valid_bits:    1 0 1 1
state: 0 start: 63424 valid_bits:    0 1 1 1
state: 0 start: 63446 valid_bits:    0 0 1 1
state: 0 start: 63465 valid_bits:    0 1 0 1
state: 0 start: 63482 valid_bits:    2 1 1 0
state: 0 start: 63499 valid_bits:    1 0 1 0
state: 0 start: 63515 valid_bits:    2 0 0 1
state: 0 start: 63534 valid_bits:    1 0 0 1
state: 0 start: 63554 valid_bits:    1 1 1 1
state: 0 start: 63574 valid_bits:    0 1 1 1
state: 0 start: 63604 valid_bits:    0 1 1 0
state: 0 start: 63622 valid_bits:    1 1 1 1
state: 0 start: 63638 valid_bits:    0 1 1 1
state: 0 start: 63654 valid_bits:    0 1 1 1
state: 0 start: 63672 valid_bits:    0 0 1 1
state: 0 start: 63688 valid_bits:    0 1 1 1
state: 0 start: 63708 valid_bits:    0 1 1 1
state: 0 start: 63741 valid_bits:    0 0 1 1
state: 0 start: 63761 valid_bits:    0 1 1 1
state: 0 start: 63781 valid_bits:    0 1 1 1
state: 0 start: 63801 valid_bits:    0 1 1 1
state: 0 start: 63821 valid_bits:    0 1 1 1
state: 0 start: 63854 valid_bits:    0 1 1 1
state: 0 start: 63874 valid_bits:    0 1 1 1
state: 0 start: 63910 valid_bits:    0 1 1 1
state: 0 start: 63942 valid_bits:    0 1 1 1
state: 0 start: 63971 valid_bits:    0 1 0 1
state: 0 start: 63991 valid_bits:    2 1 1 1
state: 0 start: 64011 valid_bits:    0 1 1 1
state: 0 start: 64031 valid_bits:    0 1 1 1
state: 0 start: 64051 valid_bits:    0 1 1 1
state: 0 start: 64075 valid_bits:    0 1 1 1
state: 0 start: 64095 valid_bits:    0 1 1 1
state: 0 start: 64115 valid_bits:    0 1 1 1
state: 0 start: 64133 valid_bits:    0 1 1 1
state: 0 start: 64152 valid_bits:    0 1 1 1
state: 0 start: 64178 valid_bits:    0 1 1 1
state: 0 start: 64198 valid_bits:    0 1 1 1
state: 0 start: 64218 valid_bits:    0 1 1 1
state: 0 start: 64238 valid_bits:    0 1 1 1
state: 0 start: 64258 valid_bits:    0 1 1 1
state: 0 start: 64278 valid_bits:    0 1 1 1
state: 0 start: 64298 valid_bits:    0 1 1 1
state: 0 start: 64329 valid_bits:    0 1 1 1
state: 0 start: 64357 valid_bits:    0 0 0 1
state: 0 start: 64373 valid_bits:    1 1 1 1
state: 0 start: 64393 valid_bits:    0 1 1 1
state: 0 start: 64413 valid_bits:    0 1 1 1
state: 0 start: 64434 valid_bits:    0 1 1 0
state: 0 start: 64455 valid_bits:    1 1 1 0
state: 0 start: 64472 valid_bits:    1 0 0 1
state: 0 start: 64503 valid_bits:    1 1 1 1
state: 0 start: 64529 valid_bits:    0 0 1 1
state: 0 start: 64549 valid_bits:    0 1 1 1
state: 0 start: 64570 valid_bits:    0 1 1 1
state: 0 start: 64600 valid_bits:    0 1 1 1
state: 0 start: 64625 valid_bits:    0 1 1 1
state: 0 start: 64645 valid_bits:    0 1 1 1
state: 0 start: 64672 valid_bits:    0 1 1 1
state: 0 start: 64692 valid_bits:    0 1 1 0
state: 0 start: 64708 valid_bits:    1 0 1 1
state: 0 start: 64728 valid_bits:    0 1 1 0
state: 0 start: 64745 valid_bits:    1 1 1 1
state: 0 start: 64779 valid_bits:    0 1 0 1
state: 0 start: 64799 valid_bits:    2 1 1 1
state: 0 start: 64819 valid_bits:    0 1 1 1
state: 0 start: 64839 valid_bits:    0 1 1 1
state: 0 start: 64874 valid_bits:    0 0 0 1
state: 0 start: 64894 valid_bits:    1 1 1 0
state: 0 start: 64911 valid_bits:    1 1 1 1
state: 0 start: 64931 valid_bits:    0 1 1 1
state: 0 start: 64951 valid_bits:    0 1 1 1
state: 0 start: 64971 valid_bits:    0 1 1 1
state: 0 start: 64993 valid_bits:    0 1 1 1
state: 0 start: 65022 valid_bits:    0 1 1 1
state: 0 start: 65043 valid_bits:    0 0 1 0
state: 0 start: 65061 valid_bits:    3 1 0 1
state: 0 start: 65081 valid_bits:    6 1 1 1
state: 0 start: 65101 valid_bits:    0 1 1 1
state: 0 start: 65121 valid_bits:    0 1 1 1
state: 0 start: 65141 valid_bits:    0 1 1 0
state: 0 start: 65158 valid_bits:    1 1 1 1
state: 0 start: 65184 valid_bits:    0 0 0 1
state: 0 start: 65211 valid_bits:    1 1 1 1
state: 0 start: 65231 valid_bits:    0 1 1 1
state: 0 start: 65251 valid_bits:    0 1 1 1
state: 0 start: 65279 valid_bits:    0 1 1 1
state: 0 start: 65304 valid_bits:    0 1 1 1
state: 0 start: 65322 valid_bits:    0 1 1 0
state: 0 start: 65339 valid_bits:    1 1 1 1
state: 0 start: 65359 valid_bits:    0 1 1 1
state: 0 start: 65379 valid_bits:    0 1 1 1
state: 0 start: 65399 valid_bits:    0 1 1 1
state: 0 start: 65419 valid_bits:    0 1 1 1
state: 0 start: 65439 valid_bits:    0 1 1 1
state: 0 start: 65465 valid_bits:    0 1 1 1
state: 0 start: 65485 valid_bits:    0 1 1 1
state: 0 start: 65517 valid_bits:    0 1 1 1
state: 0 start: 65537 valid_bits:    0 1 1 1
state: 0 start: 65569 valid_bits:    0 0 1 1
state: 0 start: 65589 valid_bits:    0 1 1 1
state: 0 start: 65609 valid_bits:    0 1 1 1
state: 0 start: 65635 valid_bits:    0 1 1 1
state: 0 start: 65655 valid_bits:    0 1 1 1
state: 0 start: 65675 valid_bits:    0 1 1 1
state: 0 start: 65695 valid_bits:    0 1 1 1
state: 0 start: 65726 valid_bits:    0 1 1 1
state: 0 start: 65746 valid_bits:    0 1 1 1
state: 0 start: 65766 valid_bits:    0 1 1 1
state: 0 start: 65801 valid_bits:    0 1 1 1
state: 0 start: 65821 valid_bits:    0 1 1 1
state: 0 start: 65841 valid_bits:    0 1 1 1
state: 0 start: 65861 valid_bits:    0 1 1 1
state: 0 start: 65881 valid_bits:    0 1 1 1
state: 0 start: 65901 valid_bits:    0 1 1 1
state: 0 start: 65921 valid_bits:    0 1 1 1
state: 0 start: 65941 valid_bits:    0 1 1 1
state: 0 start: 65975 valid_bits:    0 1 1 1
state: 0 start: 65995 valid_bits:    0 1 0 1
state: 0 start: 66016 valid_bits:    2 1 1 1
state: 0 start: 66036 valid_bits:    0 1 1 1
state: 0 start: 66056 valid_bits:    0 1 1 1
state: 0 start: 66076 valid_bits:    0 1 1 1
state: 0 start: 66096 valid_bits:    0 1 1 1
state: 0 start: 66116 valid_bits:    0 1 1 1
state: 0 start: 66136 valid_bits:    0 1 1 1
state: 0 start: 66156 valid_bits:    0 1 1 1
state: 0 start: 66176 valid_bits:    0 1 1 1
state: 0 start: 66196 valid_bits:    0 1 1 1
state: 0 start: 66224 valid_bits:    0 1 1 1
state: 0 start: 66244 valid_bits:    0 1 1 1
state: 0 start: 66264 valid_bits:    0 1 1 1
state: 0 start: 66284 valid_bits:    0 1 1 0
state: 0 start: 66301 valid_bits:    1 1 1 1
state: 0 start: 66321 valid_bits:    0 1 1 1
state: 0 start: 66341 valid_bits:    0 1 1 1
state: 0 start: 66361 valid_bits:    0 1 1 1
state: 0 start: 66381 valid_bits:    0 1 1 1
state: 0 start: 66401 valid_bits:    0 1 1 1
state: 0 start: 66421 valid_bits:    0 1 1 1
state: 0 start: 66441 valid_bits:    0 1 1 1
state: 0 start: 66475 valid_bits:    0 1 1 1
state: 0 start: 66495 valid_bits:    0 1 1 1
state: 0 start: 66515 valid_bits:    0 1 1 1
state: 0 start: 66535 valid_bits:    0 1 1 1
state: 0 start: 66555 valid_bits:    0 1 1 1
state: 0 start: 66575 valid_bits:    0 1 1 1
state: 0 start: 66595 valid_bits:    0 1 1 1
state: 0 start: 66628 valid_bits:    0 1 1 1
state: 0 start: 66661 valid_bits:    0 1 1 1
state: 0 start: 66690 valid_bits:    0 0 0 1
state: 0 start: 66712 valid_bits:    1 1 1 1
state: 0 start: 66732 valid_bits:    0 1 1 1
state: 0 start: 66752 valid_bits:    0 1 1 1
state: 0 start: 66772 valid_bits:    0 1 1 1
state: 0 start: 66792 valid_bits:    0 1 1 1
state: 0 start: 66812 valid_bits:    0 1 1 0
state: 0 start: 66829 valid_bits:    1 1 1 0
state: 0 start: 66848 valid_bits:    1 1 1 1
state: 0 start: 66870 valid_bits:    0 0 0 1
state: 0 start: 66886 valid_bits:    1 1 1 1
state: 0 start: 66922 valid_bits:    0 1 1 1
state: 0 start: 66944 valid_bits:    0 1 1 1
state: 0 start: 66964 valid_bits:    0 1 1 1
state: 0 start: 66984 valid_bits:    0 1 1 1
state: 0 start: 67019 valid_bits:    0 1 1 1
state: 0 start: 67039 valid_bits:    0 1 1 1
state: 0 start: 67071 valid_bits:    0 1 1 1
state: 0 start: 67091 valid_bits:    0 1 1 1
state: 0 start: 67112 valid_bits:    0 1 0 1
state: 0 start: 67142 valid_bits:    2 1 1 0
state: 0 start: 67159 valid_bits:    1 1 1 1
state: 0 start: 67179 valid_bits:    0 1 1 1
state: 0 start: 67199 valid_bits:    0 1 1 1
state: 0 start: 67226 valid_bits:    0 0 1 0
state: 0 start: 67249 valid_bits:    3 1 0 1
state: 0 start: 67269 valid_bits:    6 0 1 0
state: 0 start: 67289 valid_bits:    9 1 0 1
state: 0 start: 67309 valid_bits:   12 0 1 0
state: 0 start: 67329 valid_bits:   15 1 0 1
state: 0 start: 67349 valid_bits:   18 0 1 0
state: 0 start: 67369 valid_bits:   21 1 0 1
state: 0 start: 67389 valid_bits:   24 0 1 0
state: 0 start: 67409 valid_bits:   27 1 0 1
state: 0 start: 67429 valid_bits:   30 0 1 0
state: 0 start: 67449 valid_bits:   33 1 0 1
state: 0 start: 67469 valid_bits:   36 0 1 0
state: 0 start: 67489 valid_bits:   39 1 0 1
state: 0 start: 67509 valid_bits:   42 0 1 0
state: 0 start: 67529 valid_bits:   45 1 0 1
state: 0 start: 67549 valid_bits:   48 0 1 0
WAIT_FOR_MSS
state: 1 start: 67569 valid_bits:    0 1 0 1
state: 1 start: 67589 valid_bits:    1 0 1 0
state: 1 start: 67609 valid_bits:    0 1 0 1
state: 1 start: 67629 valid_bits:    1 0 1 0
state: 1 start: 67649 valid_bits:    0 1 0 1
state: 1 start: 67669 valid_bits:    1 0 1 0
state: 1 start: 67689 valid_bits:    0 1 0 1
state: 1 start: 67709 valid_bits:    1 0 1 0
state: 1 start: 67729 valid_bits:    0 1 0 1
state: 1 start: 67749 valid_bits:    1 0 1 0
state: 1 start: 67769 valid_bits:    0 1 0 1
state: 1 start: 67789 valid_bits:    1 0 1 0
state: 1 start: 67809 valid_bits:    0 1 0 1
state: 1 start: 67829 valid_bits:    1 0 1 0
state: 1 start: 67849 valid_bits:    0 1 0 1
state: 1 start: 67869 valid_bits:    1 0 1 0
state: 1 start: 67889 valid_bits:    0 1 0 1
state: 1 start: 67909 valid_bits:    1 0 1 0
state: 1 start: 67929 valid_bits:    0 1 0 1
state: 1 start: 67949 valid_bits:    1 0 1 0
state: 1 start: 67969 valid_bits:    0 1 0 1
state: 1 start: 67989 valid_bits:    1 0 1 0
state: 1 start: 68009 valid_bits:    0 1 0 1
state: 1 start: 68029 valid_bits:    1 0 1 0
state: 1 start: 68049 valid_bits:    0 1 0 1
state: 1 start: 68069 valid_bits:    1 0 1 0
state: 1 start: 68089 valid_bits:    0 1 0 1
state: 1 start: 68109 valid_bits:    1 0 1 0
state: 1 start: 68129 valid_bits:    0 1 0 1
state: 1 start: 68149 valid_bits:    1 0 1 0
state: 1 start: 68169 valid_bits:    0 1 0 1
state: 1 start: 68189 valid_bits:    1 0 1 0
state: 1 start: 68209 valid_bits:    0 1 0 1
state: 1 start: 68229 valid_bits:    1 0 1 0
state: 1 start: 68249 valid_bits:    0 1 0 1
state: 1 start: 68269 valid_bits:    1 0 1 0
state: 1 start: 68289 valid_bits:    0 1 0 1
state: 1 start: 68309 valid_bits:    1 0 1 0
state: 1 start: 68329 valid_bits:    0 1 0 1
state: 1 start: 68349 valid_bits:    1 0 1 0
state: 1 start: 68369 valid_bits:    0 1 0 1
state: 1 start: 68389 valid_bits:    1 0 1 0
state: 1 start: 68409 valid_bits:    0 1 0 1
state: 1 start: 68429 valid_bits:    1 0 1 0
state: 1 start: 68449 valid_bits:    0 1 0 1
state: 1 start: 68469 valid_bits:    1 0 1 0
state: 1 start: 68489 valid_bits:    0 1 0 1
state: 1 start: 68509 valid_bits:    1 0 1 0
state: 1 start: 68529 valid_bits:    0 1 0 1
state: 1 start: 68549 valid_bits:    1 0 1 0
state: 1 start: 68569 valid_bits:    0 1 0 1
state: 1 start: 68589 valid_bits:    1 0 1 0
state: 1 start: 68609 valid_bits:    0 1 0 1
state: 1 start: 68629 valid_bits:    1 0 1 0
state: 1 start: 68649 valid_bits:    0 1 0 1
state: 1 start: 68669 valid_bits:    1 0 1 0
state: 1 start: 68689 valid_bits:    0 1 0 1
state: 1 start: 68709 valid_bits:    1 0 1 0
state: 1 start: 68729 valid_bits:    0 1 0 1
state: 1 start: 68749 valid_bits:    1 0 1 0
state: 1 start: 68769 valid_bits:    0 1 0 1
state: 1 start: 68789 valid_bits:    1 0 1 0
state: 1 start: 68809 valid_bits:    0 1 0 1
state: 1 start: 68829 valid_bits:    1 0 1 0
state: 1 start: 68849 valid_bits:    0 1 0 1
state: 1 start: 68869 valid_bits:    1 0 1 0
state: 1 start: 68889 valid_bits:    0 1 0 1
state: 1 start: 68909 valid_bits:    1 0 1 0
state: 1 start: 68929 valid_bits:    0 1 0 1
state: 1 start: 68949 valid_bits:    1 0 1 0
state: 1 start: 68969 valid_bits:    0 1 0 1
state: 1 start: 68989 valid_bits:    1 0 1 0
state: 1 start: 69009 valid_bits:    0 1 0 1
state: 1 start: 69029 valid_bits:    1 0 1 0
state: 1 start: 69049 valid_bits:    0 1 0 1
state: 1 start: 69069 valid_bits:    1 0 1 0
state: 1 start: 69089 valid_bits:    0 1 0 1
state: 1 start: 69109 valid_bits:    1 0 1 0
state: 1 start: 69129 valid_bits:    0 1 0 1
state: 1 start: 69149 valid_bits:    1 0 1 0
state: 1 start: 69169 valid_bits:    0 1 0 1
state: 1 start: 69189 valid_bits:    1 0 1 0
state: 1 start: 69209 valid_bits:    0 1 0 1
state: 1 start: 69229 valid_bits:    1 1 1 1
state: 1 start: 69249 valid_bits:    4 1 1 1
state: 1 start: 69269 valid_bits:    7 1 1 1
state: 1 start: 69289 valid_bits:   10 1 1 1
state: 1 start: 69309 valid_bits:   13 1 1 1
state: 1 start: 69329 valid_bits:   16 1 1 1
state: 1 start: 69349 valid_bits:   19 1 1 1
state: 1 start: 69369 valid_bits:   22 1 1 1
state: 1 start: 69389 valid_bits:   25 1 1 1
state: 1 start: 69409 valid_bits:   28 1 1 1
state: 1 start: 69429 valid_bits:   31 1 1 1
state: 1 start: 69449 valid_bits:   34 1 1 1
state: 1 start: 69469 valid_bits:   37 1 1 1
state: 1 start: 69489 valid_bits:   40 1 1 1
state: 1 start: 69509 valid_bits:   43 1 1 1
state: 1 start: 69529 valid_bits:   46 1 1 1
state: 1 start: 69549 valid_bits:   49 1 1 1
WAIT_FOR_ASCII
state: 2 start: 69615 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 69681 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 69747 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 69813 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 69879 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 69945 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70011 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70077 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70143 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70209 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70275 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70341 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70407 valid_bits:    0	 1 1 1 1 1 1 1 1
state: 2 start: 70475 valid_bits:    0	 0 0 0 0 0 0 0 1 € 0x80
state: 3 start: 70541 valid_bits:    0	 1 1 1 0 0 1 0 0 ' 0x27
state: 4 start: 70608 valid_bits:    0	 1 0 0 0 0 0 0 0  0x01
state: 4 start: 70675 valid_bits:    0	 0 0 0 1 0 0 0 0  0x08
state: 4 start: 70741 valid_bits:    0	 0 0 0 0 1 1 0 0 0 0x30
state: 4 start: 70808 valid_bits:    0	 0 1 0 0 1 1 0 0 2 0x32
state: 4 start: 70875 valid_bits:    0	 0 1 0 0 1 1 0 0 2 0x32
state: 4 start: 70941 valid_bits:    0	 1 0 0 0 1 1 0 0 1 0x31
state: 4 start: 71008 valid_bits:    0	 0 1 0 0 1 1 0 0 2 0x32
state: 4 start: 71075 valid_bits:    0	 1 1 0 0 1 1 0 0 3 0x33
state: 4 start: 71141 valid_bits:    0	 1 1 0 0 1 1 0 0 3 0x33
state: 4 start: 71208 valid_bits:    0	 0 0 0 0 1 1 0 0 0 0x30
state: 4 start: 71275 valid_bits:    0	 0 1 0 0 0 0 0 0  0x02
state: 4 start: 71341 valid_bits:    0	 0 1 0 1 0 0 0 0 
 0x0a
state: 4 start: 71408 valid_bits:    0	 1 0 1 0 1 1 0 0 5 0x35
state: 4 start: 71475 valid_bits:    0	 1 0 0 0 1 1 0 0 1 0x31
state: 4 start: 71541 valid_bits:    0	 0 0 0 0 1 1 0 0 0 0x30
state: 4 start: 71608 valid_bits:    0	 1 1 0 0 1 1 0 0 3 0x33
state: 4 start: 71674 valid_bits:    0	 1 0 0 1 1 1 0 0 9 0x39
state: 4 start: 71741 valid_bits:    0	 1 1 0 0 1 1 0 0 3 0x33
state: 4 start: 71808 valid_bits:    0	 1 0 0 1 1 1 0 0 9 0x39
state: 4 start: 71874 valid_bits:    0	 0 1 1 0 1 1 0 0 6 0x36
state: 4 start: 71941 valid_bits:    0	 0 1 0 0 1 1 0 0 2 0x32
state: 4 start: 72008 valid_bits:    0	 0 0 0 1 1 1 0 0 8 0x38
state: 4 start: 72074 valid_bits:    0	 1 1 1 0 0 0 0 0  0x07
state: 4 start: 72141 valid_bits:    0	 1 1 1 1 0 0 0 0  0x0f
state: 4 start: 72208 valid_bits:    0	 0 1 1 1 0 0 1 0 N 0x4e
state: 4 start: 72275 valid_bits:    0	 1 0 1 0 0 0 1 0 E 0x45
state: 4 start: 72341 valid_bits:    0	 1 1 0 0 1 0 1 0 S 0x53
state: 4 start: 72408 valid_bits:    0	 0 1 0 0 0 0 1 0 B 0x42
state: 4 start: 72475 valid_bits:    0	 1 0 0 1 0 0 1 0 I 0x49
state: 4 start: 72541 valid_bits:    0	 0 0 1 0 1 0 1 0 T 0x54
state: 4 start: 72608 valid_bits:    0	 0 0 1 0 1 0 1 0 T 0x54
state: 4 start: 72675 valid_bits:    0	 0 0 0 0 0 1 0 0   0x20
state: 4 start: 72741 valid_bits:    0	 0 1 0 0 0 0 1 0 B 0x42
state: 4 start: 72808 valid_bits:    0	 0 1 0 0 1 0 1 0 R 0x52
state: 4 start: 72874 valid_bits:    0	 1 0 0 1 1 0 1 0 Y 0x59
state: 4 start: 72941 valid_bits:    0	 1 1 0 0 0 0 1 0 C 0x43
state: 4 start: 73008 valid_bits:    0	 1 0 1 0 0 0 1 0 E 0x45
state: 4 start: 73074 valid_bits:    0	 0 0 0 0 0 1 0 0   0x20
state: 4 start: 73141 valid_bits:    0	 0 0 0 0 0 1 0 0   0x20
state: 5 start: 73208 valid_bits:    0	 1 0 1 0 0 1 0 1 ¥ 0xa5
