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:   79 valid_bits:    0 1 0 1
state: 0 start:   99 valid_bits:    2 1 1 1
state: 0 start:  119 valid_bits:    0 1 1 1
state: 0 start:  139 valid_bits:    0 1 1 1
state: 0 start:  159 valid_bits:    0 1 1 1
state: 0 start:  179 valid_bits:    0 1 1 1
state: 0 start:  199 valid_bits:    0 1 1 1
state: 0 start:  219 valid_bits:    0 1 1 1
state: 0 start:  239 valid_bits:    0 1 0 1
state: 0 start:  259 valid_bits:    2 1 1 1
state: 0 start:  279 valid_bits:    0 1 1 1
state: 0 start:  299 valid_bits:    0 1 1 1
state: 0 start:  332 valid_bits:    0 1 1 1
state: 0 start:  352 valid_bits:    0 1 1 1
state: 0 start:  372 valid_bits:    0 1 1 1
state: 0 start:  399 valid_bits:    0 1 0 1
state: 0 start:  419 valid_bits:    2 1 1 1
state: 0 start:  439 valid_bits:    0 1 1 1
state: 0 start:  459 valid_bits:    0 1 1 1
state: 0 start:  492 valid_bits:    0 1 1 1
state: 0 start:  512 valid_bits:    0 1 1 1
state: 0 start:  532 valid_bits:    0 1 1 1
state: 0 start:  559 valid_bits:    0 1 0 1
state: 0 start:  579 valid_bits:    2 1 1 1
state: 0 start:  599 valid_bits:    0 1 1 1
state: 0 start:  619 valid_bits:    0 1 1 1
state: 0 start:  639 valid_bits:    0 1 1 1
state: 0 start:  659 valid_bits:    0 1 1 1
state: 0 start:  679 valid_bits:    0 1 1 1
state: 0 start:  699 valid_bits:    0 1 1 1
state: 0 start:  719 valid_bits:    0 1 0 1
state: 0 start:  739 valid_bits:    2 1 1 1
state: 0 start:  759 valid_bits:    0 1 1 1
state: 0 start:  779 valid_bits:    0 1 1 1
state: 0 start:  812 valid_bits:    0 1 1 1
state: 0 start:  832 valid_bits:    0 1 1 1
state: 0 start:  852 valid_bits:    0 1 1 1
state: 0 start:  879 valid_bits:    0 1 0 1
state: 0 start:  899 valid_bits:    2 1 1 1
state: 0 start:  919 valid_bits:    0 1 1 1
state: 0 start:  939 valid_bits:    0 1 1 1
state: 0 start:  959 valid_bits:    0 1 1 1
state: 0 start:  979 valid_bits:    0 1 1 1
state: 0 start:  999 valid_bits:    0 1 1 1
state: 0 start: 1019 valid_bits:    0 1 1 1
state: 0 start: 1039 valid_bits:    0 1 0 1
state: 0 start: 1059 valid_bits:    2 1 1 1
state: 0 start: 1079 valid_bits:    0 1 1 1
state: 0 start: 1099 valid_bits:    0 1 1 1
state: 0 start: 1119 valid_bits:    0 1 1 1
state: 0 start: 1139 valid_bits:    0 1 1 1
state: 0 start: 1159 valid_bits:    0 1 1 1
state: 0 start: 1179 valid_bits:    0 1 1 1
state: 0 start: 1199 valid_bits:    0 1 1 1
state: 0 start: 1219 valid_bits:    0 1 1 1
state: 0 start: 1239 valid_bits:    0 1 1 1
state: 0 start: 1259 valid_bits:    0 1 1 1
state: 0 start: 1291 valid_bits:    0 0 1 0
state: 0 start: 1321 valid_bits:    3 1 1 1
state: 0 start: 1341 valid_bits:    0 1 1 1
state: 0 start: 1361 valid_bits:    0 1 1 1
state: 0 start: 1381 valid_bits:    0 1 1 1
state: 0 start: 1404 valid_bits:    0 0 0 0
state: 0 start: 1421 valid_bits:    0 1 0 1
state: 0 start: 1453 valid_bits:    3 1 1 1
state: 0 start: 1479 valid_bits:    0 0 1 1
state: 0 start: 1499 valid_bits:    0 1 1 1
state: 0 start: 1519 valid_bits:    0 1 1 1
state: 0 start: 1539 valid_bits:    0 1 1 1
state: 0 start: 1566 valid_bits:    0 0 1 1
state: 0 start: 1586 valid_bits:    0 1 1 1
state: 0 start: 1607 valid_bits:    0 1 1 1
state: 0 start: 1627 valid_bits:    0 1 1 1
state: 0 start: 1647 valid_bits:    0 1 1 1
state: 0 start: 1682 valid_bits:    0 1 1 1
state: 0 start: 1702 valid_bits:    0 1 1 1
state: 0 start: 1733 valid_bits:    0 1 1 1
state: 0 start: 1755 valid_bits:    0 1 1 0
state: 0 start: 1771 valid_bits:    1 0 1 1
state: 0 start: 1790 valid_bits:    0 1 1 1
state: 0 start: 1812 valid_bits:    0 0 1 1
state: 0 start: 1830 valid_bits:    0 0 1 1
state: 0 start: 1853 valid_bits:    0 1 1 1
state: 0 start: 1877 valid_bits:    0 1 1 1
state: 0 start: 1896 valid_bits:    0 1 1 0
state: 0 start: 1913 valid_bits:    1 1 1 1
state: 0 start: 1947 valid_bits:    0 0 1 1
state: 0 start: 1967 valid_bits:    0 0 1 1
state: 0 start: 1987 valid_bits:    0 1 1 1
state: 0 start: 2009 valid_bits:    0 1 1 1
state: 0 start: 2029 valid_bits:    0 1 1 1
state: 0 start: 2047 valid_bits:    0 1 1 1
state: 0 start: 2083 valid_bits:    0 1 1 1
state: 0 start: 2103 valid_bits:    0 1 1 1
state: 0 start: 2124 valid_bits:    0 1 1 1
state: 0 start: 2144 valid_bits:    0 1 1 1
state: 0 start: 2164 valid_bits:    0 1 1 1
state: 0 start: 2184 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: 2363 valid_bits:    0 1 1 1
state: 0 start: 2394 valid_bits:    0 1 1 0
state: 0 start: 2415 valid_bits:    1 1 1 1
state: 0 start: 2435 valid_bits:    0 1 1 1
state: 0 start: 2464 valid_bits:    0 0 1 1
state: 0 start: 2484 valid_bits:    0 1 1 1
state: 0 start: 2506 valid_bits:    0 1 1 1
state: 0 start: 2537 valid_bits:    0 1 0 0
state: 0 start: 2554 valid_bits:    0 1 1 0
state: 0 start: 2571 valid_bits:    1 1 1 1
state: 0 start: 2601 valid_bits:    0 1 1 1
state: 0 start: 2621 valid_bits:    0 1 1 1
state: 0 start: 2641 valid_bits:    0 1 1 1
state: 0 start: 2661 valid_bits:    0 1 1 1
state: 0 start: 2681 valid_bits:    0 1 1 1
state: 0 start: 2701 valid_bits:    0 1 1 1
state: 0 start: 2719 valid_bits:    0 1 0 1
state: 0 start: 2749 valid_bits:    2 1 0 0
state: 0 start: 2766 valid_bits:    0 1 1 1
state: 0 start: 2786 valid_bits:    0 1 1 1
state: 0 start: 2806 valid_bits:    0 1 1 1
state: 0 start: 2826 valid_bits:    0 1 1 1
state: 0 start: 2858 valid_bits:    0 1 1 1
state: 0 start: 2886 valid_bits:    0 0 1 1
state: 0 start: 2906 valid_bits:    0 1 1 1
state: 0 start: 2926 valid_bits:    0 1 1 1
state: 0 start: 2946 valid_bits:    0 1 1 1
state: 0 start: 2966 valid_bits:    0 0 1 1
state: 0 start: 3000 valid_bits:    0 1 1 1
state: 0 start: 3016 valid_bits:    0 1 1 0
state: 0 start: 3032 valid_bits:    1 1 1 1
state: 0 start: 3048 valid_bits:    0 1 1 0
state: 0 start: 3069 valid_bits:    1 1 0 1
state: 0 start: 3089 valid_bits:    4 1 1 1
state: 0 start: 3109 valid_bits:    0 1 1 1
state: 0 start: 3129 valid_bits:    0 1 1 1
state: 0 start: 3149 valid_bits:    0 1 1 1
state: 0 start: 3170 valid_bits:    0 1 1 1
state: 0 start: 3186 valid_bits:    0 1 1 1
state: 0 start: 3206 valid_bits:    0 1 1 0
state: 0 start: 3223 valid_bits:    1 0 1 1
state: 0 start: 3243 valid_bits:    0 1 1 1
state: 0 start: 3263 valid_bits:    0 1 1 1
state: 0 start: 3283 valid_bits:    0 1 1 1
state: 0 start: 3303 valid_bits:    0 1 1 1
state: 0 start: 3338 valid_bits:    0 1 1 1
state: 0 start: 3368 valid_bits:    0 0 1 1
state: 0 start: 3388 valid_bits:    0 1 1 1
state: 0 start: 3408 valid_bits:    0 1 1 1
state: 0 start: 3435 valid_bits:    0 1 0 1
state: 0 start: 3454 valid_bits:    2 1 1 1
state: 0 start: 3474 valid_bits:    0 1 1 1
state: 0 start: 3494 valid_bits:    0 1 1 1
state: 0 start: 3527 valid_bits:    0 0 1 1
state: 0 start: 3548 valid_bits:    0 1 0 1
state: 0 start: 3568 valid_bits:    2 1 1 1
state: 0 start: 3598 valid_bits:    0 1 1 1
state: 0 start: 3618 valid_bits:    0 1 1 1
state: 0 start: 3638 valid_bits:    0 1 1 1
state: 0 start: 3656 valid_bits:    0 1 1 1
state: 0 start: 3676 valid_bits:    0 1 1 1
state: 0 start: 3696 valid_bits:    0 1 1 1
state: 0 start: 3714 valid_bits:    0 0 1 1
state: 0 start: 3734 valid_bits:    0 1 1 1
state: 0 start: 3754 valid_bits:    0 1 1 1
state: 0 start: 3774 valid_bits:    0 1 1 1
state: 0 start: 3794 valid_bits:    0 1 1 1
state: 0 start: 3816 valid_bits:    0 1 1 1
state: 0 start: 3843 valid_bits:    0 1 0 1
state: 0 start: 3868 valid_bits:    2 0 0 1
state: 0 start: 3886 valid_bits:    1 1 1 1
state: 0 start: 3906 valid_bits:    0 1 1 1
state: 0 start: 3926 valid_bits:    0 1 1 1
state: 0 start: 3946 valid_bits:    0 1 1 1
state: 0 start: 3966 valid_bits:    0 1 1 1
state: 0 start: 4001 valid_bits:    0 1 1 1
state: 0 start: 4033 valid_bits:    0 1 1 1
state: 0 start: 4053 valid_bits:    0 1 1 1
state: 0 start: 4073 valid_bits:    0 1 1 1
state: 0 start: 4093 valid_bits:    0 1 1 1
state: 0 start: 4117 valid_bits:    0 1 1 1
state: 0 start: 4133 valid_bits:    0 0 1 1
state: 0 start: 4155 valid_bits:    0 1 1 1
state: 0 start: 4171 valid_bits:    0 1 1 1
state: 0 start: 4190 valid_bits:    0 1 0 1
state: 0 start: 4206 valid_bits:    2 1 1 1
state: 0 start: 4237 valid_bits:    0 1 1 1
state: 0 start: 4260 valid_bits:    0 1 0 1
state: 0 start: 4277 valid_bits:    2 1 1 1
state: 0 start: 4303 valid_bits:    0 1 1 0
state: 0 start: 4320 valid_bits:    1 1 0 1
state: 0 start: 4340 valid_bits:    4 1 1 1
state: 0 start: 4360 valid_bits:    0 1 1 1
state: 0 start: 4380 valid_bits:    0 1 1 1
state: 0 start: 4400 valid_bits:    0 1 1 1
state: 0 start: 4430 valid_bits:    0 1 1 1
state: 0 start: 4458 valid_bits:    0 1 1 1
state: 0 start: 4475 valid_bits:    0 1 1 1
state: 0 start: 4499 valid_bits:    0 0 0 1
state: 0 start: 4522 valid_bits:    1 1 1 1
state: 0 start: 4540 valid_bits:    0 1 1 1
state: 0 start: 4560 valid_bits:    0 1 1 1
state: 0 start: 4580 valid_bits:    0 1 1 1
state: 0 start: 4600 valid_bits:    0 1 1 0
state: 0 start: 4617 valid_bits:    1 1 1 1
state: 0 start: 4633 valid_bits:    0 1 0 1
state: 0 start: 4650 valid_bits:    2 1 1 1
state: 0 start: 4671 valid_bits:    0 1 1 1
state: 0 start: 4689 valid_bits:    0 1 0 1
state: 0 start: 4709 valid_bits:    2 1 1 1
state: 0 start: 4729 valid_bits:    0 1 1 1
state: 0 start: 4749 valid_bits:    0 1 1 1
state: 0 start: 4774 valid_bits:    0 0 0 1
state: 0 start: 4793 valid_bits:    1 1 1 0
state: 0 start: 4814 valid_bits:    1 1 1 1
state: 0 start: 4832 valid_bits:    0 0 0 1
state: 0 start: 4852 valid_bits:    1 1 1 1
state: 0 start: 4872 valid_bits:    0 1 1 1
state: 0 start: 4892 valid_bits:    0 1 1 1
state: 0 start: 4925 valid_bits:    0 1 1 0
state: 0 start: 4945 valid_bits:    1 1 1 1
state: 0 start: 4966 valid_bits:    0 0 1 0
state: 0 start: 4983 valid_bits:    3 1 1 1
state: 0 start: 5003 valid_bits:    0 1 1 1
state: 0 start: 5023 valid_bits:    0 1 1 1
state: 0 start: 5041 valid_bits:    0 1 1 1
state: 0 start: 5061 valid_bits:    0 1 1 1
state: 0 start: 5081 valid_bits:    0 1 1 1
state: 0 start: 5101 valid_bits:    0 1 1 1
state: 0 start: 5126 valid_bits:    0 0 1 1
state: 0 start: 5158 valid_bits:    0 1 1 1
state: 0 start: 5178 valid_bits:    0 1 1 1
state: 0 start: 5198 valid_bits:    0 1 1 1
state: 0 start: 5216 valid_bits:    0 0 1 1
state: 0 start: 5236 valid_bits:    0 1 1 1
state: 0 start: 5257 valid_bits:    0 1 1 1
state: 0 start: 5277 valid_bits:    0 1 1 1
state: 0 start: 5307 valid_bits:    0 0 1 0
state: 0 start: 5324 valid_bits:    3 1 1 1
state: 0 start: 5344 valid_bits:    0 1 1 1
state: 0 start: 5369 valid_bits:    0 1 1 1
state: 0 start: 5389 valid_bits:    0 1 1 1
state: 0 start: 5416 valid_bits:    0 1 0 1
state: 0 start: 5451 valid_bits:    2 1 1 1
state: 0 start: 5478 valid_bits:    0 1 1 1
state: 0 start: 5498 valid_bits:    0 1 1 1
state: 0 start: 5516 valid_bits:    0 1 1 1
state: 0 start: 5536 valid_bits:    0 1 1 1
state: 0 start: 5556 valid_bits:    0 1 1 1
state: 0 start: 5577 valid_bits:    0 1 1 1
state: 0 start: 5597 valid_bits:    0 1 1 1
state: 0 start: 5617 valid_bits:    0 1 1 1
state: 0 start: 5640 valid_bits:    0 1 1 1
state: 0 start: 5671 valid_bits:    0 0 0 1
state: 0 start: 5691 valid_bits:    1 1 1 1
state: 0 start: 5711 valid_bits:    0 1 1 1
state: 0 start: 5731 valid_bits:    0 1 1 1
state: 0 start: 5752 valid_bits:    0 1 0 1
state: 0 start: 5772 valid_bits:    2 1 1 1
state: 0 start: 5795 valid_bits:    0 1 1 1
state: 0 start: 5816 valid_bits:    0 1 1 1
state: 0 start: 5836 valid_bits:    0 1 1 1
state: 0 start: 5861 valid_bits:    0 1 1 1
state: 0 start: 5897 valid_bits:    0 1 1 1
state: 0 start: 5913 valid_bits:    0 1 1 0
state: 0 start: 5931 valid_bits:    1 1 1 1
state: 0 start: 5954 valid_bits:    0 0 0 1
state: 0 start: 5974 valid_bits:    1 1 1 1
state: 0 start: 5994 valid_bits:    0 1 1 0
state: 0 start: 6011 valid_bits:    1 1 1 1
state: 0 start: 6031 valid_bits:    0 1 1 1
state: 0 start: 6056 valid_bits:    0 1 1 1
state: 0 start: 6085 valid_bits:    0 0 1 1
state: 0 start: 6104 valid_bits:    0 1 1 1
state: 0 start: 6127 valid_bits:    0 1 1 1
state: 0 start: 6147 valid_bits:    0 1 1 1
state: 0 start: 6167 valid_bits:    0 1 1 1
state: 0 start: 6187 valid_bits:    0 1 1 1
state: 0 start: 6215 valid_bits:    0 1 1 1
state: 0 start: 6235 valid_bits:    0 1 1 1
state: 0 start: 6259 valid_bits:    0 1 1 0
state: 0 start: 6280 valid_bits:    1 1 1 1
state: 0 start: 6300 valid_bits:    0 1 1 1
state: 0 start: 6319 valid_bits:    0 0 1 1
state: 0 start: 6335 valid_bits:    0 1 1 1
state: 0 start: 6355 valid_bits:    0 1 1 1
state: 0 start: 6375 valid_bits:    0 1 1 1
state: 0 start: 6395 valid_bits:    0 1 1 1
state: 0 start: 6414 valid_bits:    0 1 1 1
state: 0 start: 6430 valid_bits:    0 1 1 1
state: 0 start: 6451 valid_bits:    0 0 0 1
state: 0 start: 6471 valid_bits:    1 1 1 1
state: 0 start: 6491 valid_bits:    0 1 1 1
state: 0 start: 6511 valid_bits:    0 1 1 1
state: 0 start: 6537 valid_bits:    0 1 1 1
state: 0 start: 6566 valid_bits:    0 0 1 0
state: 0 start: 6582 valid_bits:    3 0 1 1
state: 0 start: 6602 valid_bits:    0 1 1 1
state: 0 start: 6622 valid_bits:    0 1 1 1
state: 0 start: 6648 valid_bits:    0 1 1 1
state: 0 start: 6664 valid_bits:    0 0 1 1
state: 0 start: 6685 valid_bits:    0 1 1 1
state: 0 start: 6705 valid_bits:    0 1 1 1
state: 0 start: 6739 valid_bits:    0 1 1 1
state: 0 start: 6762 valid_bits:    0 1 1 1
state: 0 start: 6782 valid_bits:    0 1 1 1
state: 0 start: 6802 valid_bits:    0 1 1 1
state: 0 start: 6822 valid_bits:    0 1 1 1
state: 0 start: 6858 valid_bits:    0 1 1 1
state: 0 start: 6883 valid_bits:    0 1 1 1
state: 0 start: 6903 valid_bits:    0 1 1 1
state: 0 start: 6923 valid_bits:    0 1 1 1
state: 0 start: 6943 valid_bits:    0 1 1 1
state: 0 start: 6973 valid_bits:    0 0 1 1
state: 0 start: 6995 valid_bits:    0 1 0 1
state: 0 start: 7014 valid_bits:    2 1 1 1
state: 0 start: 7046 valid_bits:    0 0 1 1
state: 0 start: 7064 valid_bits:    0 0 1 1
state: 0 start: 7087 valid_bits:    0 1 1 1
state: 0 start: 7107 valid_bits:    0 1 1 1
state: 0 start: 7127 valid_bits:    0 1 1 1
state: 0 start: 7147 valid_bits:    0 1 1 1
state: 0 start: 7176 valid_bits:    0 1 1 1
state: 0 start: 7201 valid_bits:    0 0 1 1
state: 0 start: 7221 valid_bits:    0 0 1 1
state: 0 start: 7241 valid_bits:    0 1 1 1
state: 0 start: 7261 valid_bits:    0 1 1 1
state: 0 start: 7294 valid_bits:    0 1 1 1
state: 0 start: 7314 valid_bits:    0 1 1 1
state: 0 start: 7337 valid_bits:    0 1 1 1
state: 0 start: 7369 valid_bits:    0 0 1 1
state: 0 start: 7398 valid_bits:    0 1 1 1
state: 0 start: 7418 valid_bits:    0 1 1 1
state: 0 start: 7448 valid_bits:    0 1 1 1
state: 0 start: 7468 valid_bits:    0 1 1 1
state: 0 start: 7500 valid_bits:    0 0 1 1
state: 0 start: 7519 valid_bits:    0 1 0 1
state: 0 start: 7544 valid_bits:    2 0 0 1
state: 0 start: 7562 valid_bits:    1 1 1 1
state: 0 start: 7582 valid_bits:    0 1 1 1
state: 0 start: 7604 valid_bits:    0 0 1 1
state: 0 start: 7624 valid_bits:    0 1 1 1
state: 0 start: 7642 valid_bits:    0 0 1 1
state: 0 start: 7660 valid_bits:    0 0 1 1
state: 0 start: 7690 valid_bits:    0 0 1 1
state: 0 start: 7710 valid_bits:    0 1 1 0
state: 0 start: 7727 valid_bits:    1 0 0 1
state: 0 start: 7747 valid_bits:    1 1 1 1
state: 0 start: 7767 valid_bits:    0 1 1 1
state: 0 start: 7803 valid_bits:    0 1 1 1
state: 0 start: 7823 valid_bits:    0 1 1 1
state: 0 start: 7847 valid_bits:    0 1 1 0
state: 0 start: 7867 valid_bits:    1 1 1 1
state: 0 start: 7887 valid_bits:    0 1 0 1
state: 0 start: 7907 valid_bits:    2 1 1 1
state: 0 start: 7942 valid_bits:    0 0 0 1
state: 0 start: 7961 valid_bits:    1 1 1 0
state: 0 start: 7978 valid_bits:    1 1 1 1
state: 0 start: 7998 valid_bits:    0 1 1 1
state: 0 start: 8019 valid_bits:    0 0 1 1
state: 0 start: 8040 valid_bits:    0 0 1 1
state: 0 start: 8060 valid_bits:    0 1 1 0
state: 0 start: 8077 valid_bits:    1 1 1 1
state: 0 start: 8097 valid_bits:    0 1 1 1
state: 0 start: 8117 valid_bits:    0 1 1 1
state: 0 start: 8140 valid_bits:    0 1 1 1
state: 0 start: 8166 valid_bits:    0 0 1 1
state: 0 start: 8186 valid_bits:    0 1 1 1
state: 0 start: 8206 valid_bits:    0 1 1 1
state: 0 start: 8226 valid_bits:    0 1 1 1
state: 0 start: 8246 valid_bits:    0 1 1 1
state: 0 start: 8264 valid_bits:    0 1 1 0
state: 0 start: 8281 valid_bits:    1 1 1 1
state: 0 start: 8301 valid_bits:    0 1 1 1
state: 0 start: 8323 valid_bits:    0 1 1 1
state: 0 start: 8348 valid_bits:    0 0 0 1
state: 0 start: 8370 valid_bits:    1 1 1 1
state: 0 start: 8402 valid_bits:    0 0 0 1
state: 0 start: 8422 valid_bits:    1 1 1 1
state: 0 start: 8455 valid_bits:    0 1 1 1
state: 0 start: 8482 valid_bits:    0 1 1 1
state: 0 start: 8516 valid_bits:    0 1 1 1
state: 0 start: 8536 valid_bits:    0 1 1 1
state: 0 start: 8566 valid_bits:    0 1 1 1
state: 0 start: 8586 valid_bits:    0 1 1 1
state: 0 start: 8613 valid_bits:    0 0 1 1
state: 0 start: 8633 valid_bits:    0 1 1 1
state: 0 start: 8653 valid_bits:    0 1 1 1
state: 0 start: 8676 valid_bits:    0 1 0 1
state: 0 start: 8692 valid_bits:    2 1 1 1
state: 0 start: 8712 valid_bits:    0 1 1 1
state: 0 start: 8736 valid_bits:    0 1 1 1
state: 0 start: 8756 valid_bits:    0 1 1 1
state: 0 start: 8777 valid_bits:    0 0 0 1
state: 0 start: 8802 valid_bits:    1 1 1 0
state: 0 start: 8820 valid_bits:    1 1 0 1
state: 0 start: 8836 valid_bits:    4 1 1 1
state: 0 start: 8856 valid_bits:    0 1 1 1
state: 0 start: 8876 valid_bits:    0 1 1 1
state: 0 start: 8896 valid_bits:    0 1 1 1
state: 0 start: 8916 valid_bits:    0 1 1 1
state: 0 start: 8937 valid_bits:    0 1 1 1
state: 0 start: 8957 valid_bits:    0 1 1 1
state: 0 start: 8977 valid_bits:    0 1 1 1
state: 0 start: 8997 valid_bits:    0 1 1 1
state: 0 start: 9031 valid_bits:    0 1 1 1
state: 0 start: 9051 valid_bits:    0 1 1 1
state: 0 start: 9071 valid_bits:    0 1 1 1
state: 0 start: 9089 valid_bits:    0 1 1 1
state: 0 start: 9118 valid_bits:    0 1 0 1
state: 0 start: 9148 valid_bits:    2 1 1 1
state: 0 start: 9164 valid_bits:    0 1 1 1
state: 0 start: 9185 valid_bits:    0 1 1 1
state: 0 start: 9205 valid_bits:    0 1 1 1
state: 0 start: 9225 valid_bits:    0 1 1 1
state: 0 start: 9256 valid_bits:    0 1 1 0
state: 0 start: 9273 valid_bits:    1 1 1 1
state: 0 start: 9299 valid_bits:    0 1 1 1
state: 0 start: 9319 valid_bits:    0 1 1 1
state: 0 start: 9339 valid_bits:    0 1 1 1
state: 0 start: 9359 valid_bits:    0 1 1 1
state: 0 start: 9379 valid_bits:    0 1 1 1
state: 0 start: 9399 valid_bits:    0 1 1 1
state: 0 start: 9419 valid_bits:    0 1 1 1
state: 0 start: 9452 valid_bits:    0 1 1 1
state: 0 start: 9470 valid_bits:    0 1 1 1
state: 0 start: 9495 valid_bits:    0 0 1 1
state: 0 start: 9515 valid_bits:    0 1 1 1
state: 0 start: 9546 valid_bits:    0 0 1 1
state: 0 start: 9569 valid_bits:    0 1 1 1
state: 0 start: 9589 valid_bits:    0 1 1 1
state: 0 start: 9609 valid_bits:    0 1 1 1
state: 0 start: 9639 valid_bits:    0 1 1 1
state: 0 start: 9659 valid_bits:    0 1 1 1
state: 0 start: 9692 valid_bits:    0 1 1 1
state: 0 start: 9712 valid_bits:    0 1 1 1
state: 0 start: 9736 valid_bits:    0 1 1 1
state: 0 start: 9754 valid_bits:    0 1 1 1
state: 0 start: 9777 valid_bits:    0 1 1 0
state: 0 start: 9794 valid_bits:    1 0 0 1
state: 0 start: 9814 valid_bits:    1 1 1 1
state: 0 start: 9834 valid_bits:    0 1 1 1
state: 0 start: 9854 valid_bits:    0 1 1 1
state: 0 start: 9879 valid_bits:    0 1 1 1
state: 0 start: 9896 valid_bits:    0 0 1 1
state: 0 start: 9930 valid_bits:    0 0 1 1
state: 0 start: 9949 valid_bits:    0 1 1 1
state: 0 start: 9969 valid_bits:    0 1 1 1
state: 0 start: 9989 valid_bits:    0 1 1 1
state: 0 start: 10009 valid_bits:    0 1 1 1
state: 0 start: 10029 valid_bits:    0 1 1 1
state: 0 start: 10056 valid_bits:    0 1 1 1
state: 0 start: 10074 valid_bits:    0 1 1 0
state: 0 start: 10096 valid_bits:    1 1 0 1
state: 0 start: 10121 valid_bits:    4 1 1 1
state: 0 start: 10141 valid_bits:    0 1 1 1
state: 0 start: 10161 valid_bits:    0 1 1 1
state: 0 start: 10181 valid_bits:    0 1 1 1
state: 0 start: 10217 valid_bits:    0 1 1 1
state: 0 start: 10237 valid_bits:    0 1 1 1
state: 0 start: 10259 valid_bits:    0 1 0 1
state: 0 start: 10279 valid_bits:    2 0 1 1
state: 0 start: 10299 valid_bits:    0 1 1 1
state: 0 start: 10322 valid_bits:    0 0 1 1
state: 0 start: 10342 valid_bits:    0 1 1 1
state: 0 start: 10362 valid_bits:    0 1 1 1
state: 0 start: 10382 valid_bits:    0 1 1 1
state: 0 start: 10402 valid_bits:    0 1 1 1
state: 0 start: 10421 valid_bits:    0 0 1 1
state: 0 start: 10445 valid_bits:    0 1 0 1
state: 0 start: 10465 valid_bits:    2 1 1 1
state: 0 start: 10490 valid_bits:    0 1 1 1
state: 0 start: 10512 valid_bits:    0 1 1 1
state: 0 start: 10538 valid_bits:    0 1 1 1
state: 0 start: 10566 valid_bits:    0 0 1 1
state: 0 start: 10587 valid_bits:    0 0 1 1
state: 0 start: 10606 valid_bits:    0 1 1 1
state: 0 start: 10626 valid_bits:    0 1 1 1
state: 0 start: 10646 valid_bits:    0 1 1 1
state: 0 start: 10666 valid_bits:    0 1 1 1
state: 0 start: 10699 valid_bits:    0 1 1 1
state: 0 start: 10727 valid_bits:    0 0 1 1
state: 0 start: 10757 valid_bits:    0 0 1 1
state: 0 start: 10777 valid_bits:    0 1 1 1
state: 0 start: 10797 valid_bits:    0 1 1 1
state: 0 start: 10817 valid_bits:    0 1 1 1
state: 0 start: 10844 valid_bits:    0 1 0 1
state: 0 start: 10862 valid_bits:    2 0 1 1
state: 0 start: 10882 valid_bits:    0 1 1 1
state: 0 start: 10902 valid_bits:    0 1 1 1
state: 0 start: 10922 valid_bits:    0 1 1 1
state: 0 start: 10942 valid_bits:    0 1 1 1
state: 0 start: 10962 valid_bits:    0 1 1 1
state: 0 start: 10982 valid_bits:    0 1 1 1
state: 0 start: 11017 valid_bits:    0 1 1 1
state: 0 start: 11037 valid_bits:    0 1 1 1
state: 0 start: 11061 valid_bits:    0 0 1 1
state: 0 start: 11085 valid_bits:    0 0 1 1
state: 0 start: 11109 valid_bits:    0 1 1 1
state: 0 start: 11134 valid_bits:    0 1 1 1
state: 0 start: 11154 valid_bits:    0 1 1 1
state: 0 start: 11178 valid_bits:    0 1 1 1
state: 0 start: 11199 valid_bits:    0 1 1 1
state: 0 start: 11215 valid_bits:    0 1 1 1
state: 0 start: 11237 valid_bits:    0 1 1 1
state: 0 start: 11257 valid_bits:    0 1 1 1
state: 0 start: 11277 valid_bits:    0 1 1 1
state: 0 start: 11295 valid_bits:    0 0 1 1
state: 0 start: 11315 valid_bits:    0 1 1 1
state: 0 start: 11337 valid_bits:    0 1 1 1
state: 0 start: 11363 valid_bits:    0 1 1 1
state: 0 start: 11379 valid_bits:    0 1 0 0
state: 0 start: 11401 valid_bits:    0 1 1 1
state: 0 start: 11421 valid_bits:    0 1 1 1
state: 0 start: 11441 valid_bits:    0 1 1 1
state: 0 start: 11461 valid_bits:    0 1 1 1
state: 0 start: 11486 valid_bits:    0 1 0 1
state: 0 start: 11506 valid_bits:    2 1 1 1
state: 0 start: 11526 valid_bits:    0 1 1 1
state: 0 start: 11547 valid_bits:    0 0 0 1
state: 0 start: 11565 valid_bits:    1 1 1 1
state: 0 start: 11585 valid_bits:    0 1 1 1
state: 0 start: 11609 valid_bits:    0 1 1 1
state: 0 start: 11629 valid_bits:    0 1 1 1
state: 0 start: 11654 valid_bits:    0 1 1 1
state: 0 start: 11685 valid_bits:    0 0 1 1
state: 0 start: 11717 valid_bits:    0 1 1 1
state: 0 start: 11737 valid_bits:    0 1 1 1
state: 0 start: 11757 valid_bits:    0 1 1 1
state: 0 start: 11775 valid_bits:    0 1 1 1
state: 0 start: 11799 valid_bits:    0 1 1 1
state: 0 start: 11817 valid_bits:    0 1 1 1
state: 0 start: 11846 valid_bits:    0 0 1 1
state: 0 start: 11866 valid_bits:    0 1 1 1
state: 0 start: 11887 valid_bits:    0 1 1 1
state: 0 start: 11907 valid_bits:    0 1 1 1
state: 0 start: 11927 valid_bits:    0 1 1 1
state: 0 start: 11953 valid_bits:    0 1 1 1
state: 0 start: 11975 valid_bits:    0 0 0 1
state: 0 start: 11995 valid_bits:    1 1 1 1
state: 0 start: 12015 valid_bits:    0 1 1 1
state: 0 start: 12040 valid_bits:    0 1 0 1
state: 0 start: 12060 valid_bits:    2 1 1 1
state: 0 start: 12084 valid_bits:    0 1 0 1
state: 0 start: 12105 valid_bits:    2 1 1 1
state: 0 start: 12138 valid_bits:    0 1 1 1
state: 0 start: 12158 valid_bits:    0 1 0 1
state: 0 start: 12179 valid_bits:    2 1 0 1
state: 0 start: 12201 valid_bits:    2 1 1 1
state: 0 start: 12228 valid_bits:    0 0 1 0
state: 0 start: 12246 valid_bits:    3 1 1 1
state: 0 start: 12266 valid_bits:    0 1 1 1
state: 0 start: 12296 valid_bits:    0 1 0 1
state: 0 start: 12323 valid_bits:    2 0 1 1
state: 0 start: 12339 valid_bits:    0 1 0 1
state: 0 start: 12364 valid_bits:    2 1 0 1
state: 0 start: 12383 valid_bits:    2 1 1 1
state: 0 start: 12403 valid_bits:    0 1 1 1
state: 0 start: 12423 valid_bits:    0 1 1 1
state: 0 start: 12457 valid_bits:    0 1 1 1
state: 0 start: 12486 valid_bits:    0 0 1 1
state: 0 start: 12512 valid_bits:    0 0 1 1
state: 0 start: 12540 valid_bits:    0 0 0 1
state: 0 start: 12561 valid_bits:    1 1 1 1
state: 0 start: 12581 valid_bits:    0 1 1 1
state: 0 start: 12616 valid_bits:    0 1 0 1
state: 0 start: 12643 valid_bits:    2 1 0 1
state: 0 start: 12659 valid_bits:    2 1 1 1
state: 0 start: 12684 valid_bits:    0 1 0 1
state: 0 start: 12704 valid_bits:    2 1 1 1
state: 0 start: 12724 valid_bits:    0 1 1 1
state: 0 start: 12753 valid_bits:    0 1 1 1
state: 0 start: 12776 valid_bits:    0 1 1 1
state: 0 start: 12796 valid_bits:    0 1 1 1
state: 0 start: 12828 valid_bits:    0 0 1 1
state: 0 start: 12848 valid_bits:    0 1 1 1
state: 0 start: 12868 valid_bits:    0 1 1 1
state: 0 start: 12888 valid_bits:    0 1 1 1
state: 0 start: 12908 valid_bits:    0 1 1 1
state: 0 start: 12937 valid_bits:    0 1 1 1
state: 0 start: 12957 valid_bits:    0 1 1 1
state: 0 start: 12977 valid_bits:    0 1 1 1
state: 0 start: 12997 valid_bits:    0 1 1 1
state: 0 start: 13017 valid_bits:    0 1 1 1
state: 0 start: 13051 valid_bits:    0 1 1 1
state: 0 start: 13071 valid_bits:    0 1 1 1
state: 0 start: 13097 valid_bits:    0 1 1 0
state: 0 start: 13114 valid_bits:    1 1 1 1
state: 0 start: 13138 valid_bits:    0 1 1 1
state: 0 start: 13161 valid_bits:    0 1 1 1
state: 0 start: 13181 valid_bits:    0 1 1 1
state: 0 start: 13201 valid_bits:    0 1 1 1
state: 0 start: 13233 valid_bits:    0 1 1 1
state: 0 start: 13257 valid_bits:    0 1 1 1
state: 0 start: 13277 valid_bits:    0 1 1 1
state: 0 start: 13311 valid_bits:    0 0 0 1
state: 0 start: 13331 valid_bits:    1 1 1 1
state: 0 start: 13351 valid_bits:    0 1 1 1
state: 0 start: 13371 valid_bits:    0 1 1 1
state: 0 start: 13391 valid_bits:    0 1 1 1
state: 0 start: 13413 valid_bits:    0 1 1 1
state: 0 start: 13433 valid_bits:    0 1 1 1
state: 0 start: 13457 valid_bits:    0 1 1 1
state: 0 start: 13481 valid_bits:    0 1 1 1
state: 0 start: 13501 valid_bits:    0 1 1 1
state: 0 start: 13521 valid_bits:    0 1 1 1
state: 0 start: 13541 valid_bits:    0 1 1 0
state: 0 start: 13558 valid_bits:    1 1 1 1
state: 0 start: 13576 valid_bits:    0 0 1 0
state: 0 start: 13592 valid_bits:    3 1 1 0
state: 0 start: 13611 valid_bits:    1 1 1 0
state: 0 start: 13628 valid_bits:    1 1 1 1
state: 0 start: 13646 valid_bits:    0 1 1 1
state: 0 start: 13673 valid_bits:    0 1 1 1
state: 0 start: 13691 valid_bits:    0 1 1 1
state: 0 start: 13711 valid_bits:    0 1 1 1
state: 0 start: 13738 valid_bits:    0 1 1 1
state: 0 start: 13762 valid_bits:    0 1 1 0
state: 0 start: 13779 valid_bits:    1 1 1 1
state: 0 start: 13801 valid_bits:    0 0 1 1
state: 0 start: 13821 valid_bits:    0 1 1 1
state: 0 start: 13841 valid_bits:    0 1 1 1
state: 0 start: 13875 valid_bits:    0 0 1 1
state: 0 start: 13896 valid_bits:    0 1 1 1
state: 0 start: 13912 valid_bits:    0 1 0 1
state: 0 start: 13932 valid_bits:    2 0 1 1
state: 0 start: 13962 valid_bits:    0 1 1 1
state: 0 start: 13981 valid_bits:    0 1 1 1
state: 0 start: 14015 valid_bits:    0 0 1 1
state: 0 start: 14035 valid_bits:    0 1 1 1
state: 0 start: 14059 valid_bits:    0 1 1 1
state: 0 start: 14086 valid_bits:    0 0 1 1
state: 0 start: 14108 valid_bits:    0 1 1 1
state: 0 start: 14124 valid_bits:    0 1 1 1
state: 0 start: 14144 valid_bits:    0 1 1 1
state: 0 start: 14164 valid_bits:    0 1 1 1
state: 0 start: 14184 valid_bits:    0 1 1 1
state: 0 start: 14216 valid_bits:    0 1 1 1
state: 0 start: 14246 valid_bits:    0 0 1 1
state: 0 start: 14277 valid_bits:    0 1 1 1
state: 0 start: 14297 valid_bits:    0 1 1 1
state: 0 start: 14317 valid_bits:    0 1 1 1
state: 0 start: 14348 valid_bits:    0 0 1 1
state: 0 start: 14367 valid_bits:    0 1 0 0
state: 0 start: 14386 valid_bits:    0 1 1 1
state: 0 start: 14406 valid_bits:    0 1 1 1
state: 0 start: 14433 valid_bits:    0 1 1 1
state: 0 start: 14449 valid_bits:    0 1 0 1
state: 0 start: 14478 valid_bits:    2 1 1 1
state: 0 start: 14503 valid_bits:    0 1 1 1
state: 0 start: 14523 valid_bits:    0 1 1 0
state: 0 start: 14540 valid_bits:    1 1 1 1
state: 0 start: 14567 valid_bits:    0 1 1 0
state: 0 start: 14586 valid_bits:    1 1 0 1
state: 0 start: 14602 valid_bits:    4 1 1 1
state: 0 start: 14622 valid_bits:    0 1 1 1
state: 0 start: 14642 valid_bits:    0 1 1 1
state: 0 start: 14662 valid_bits:    0 1 1 1
state: 0 start: 14691 valid_bits:    0 0 1 1
state: 0 start: 14726 valid_bits:    0 0 1 1
state: 0 start: 14746 valid_bits:    0 1 1 1
state: 0 start: 14777 valid_bits:    0 1 1 1
state: 0 start: 14797 valid_bits:    0 1 1 1
state: 0 start: 14817 valid_bits:    0 1 1 1
state: 0 start: 14837 valid_bits:    0 1 1 1
state: 0 start: 14857 valid_bits:    0 1 1 1
state: 0 start: 14877 valid_bits:    0 1 1 1
state: 0 start: 14904 valid_bits:    0 1 1 1
state: 0 start: 14924 valid_bits:    0 1 1 1
state: 0 start: 14956 valid_bits:    0 1 0 1
state: 0 start: 14991 valid_bits:    2 1 1 1
state: 0 start: 15017 valid_bits:    0 1 1 1
state: 0 start: 15033 valid_bits:    0 1 0 0
state: 0 start: 15055 valid_bits:    0 1 1 1
state: 0 start: 15074 valid_bits:    0 0 0 1
state: 0 start: 15094 valid_bits:    1 1 1 1
state: 0 start: 15114 valid_bits:    0 1 1 1
state: 0 start: 15134 valid_bits:    0 1 1 1
state: 0 start: 15154 valid_bits:    0 1 1 1
state: 0 start: 15179 valid_bits:    0 1 1 1
state: 0 start: 15199 valid_bits:    0 1 1 1
state: 0 start: 15224 valid_bits:    0 1 1 1
state: 0 start: 15244 valid_bits:    0 1 1 1
state: 0 start: 15264 valid_bits:    0 1 1 1
state: 0 start: 15284 valid_bits:    0 1 1 1
state: 0 start: 15312 valid_bits:    0 0 0 1
state: 0 start: 15337 valid_bits:    1 1 1 0
state: 0 start: 15354 valid_bits:    1 1 1 0
state: 0 start: 15371 valid_bits:    1 1 1 1
state: 0 start: 15388 valid_bits:    0 1 1 1
state: 0 start: 15408 valid_bits:    0 1 1 1
state: 0 start: 15428 valid_bits:    0 1 1 1
state: 0 start: 15448 valid_bits:    0 1 1 1
state: 0 start: 15468 valid_bits:    0 1 1 1
state: 0 start: 15497 valid_bits:    0 1 1 1
state: 0 start: 15523 valid_bits:    0 1 1 1
state: 0 start: 15539 valid_bits:    0 1 1 1
state: 0 start: 15563 valid_bits:    0 1 1 1
state: 0 start: 15583 valid_bits:    0 1 1 1
state: 0 start: 15613 valid_bits:    0 1 1 1
state: 0 start: 15633 valid_bits:    0 1 1 1
state: 0 start: 15652 valid_bits:    0 1 1 1
state: 0 start: 15683 valid_bits:    0 1 1 1
state: 0 start: 15709 valid_bits:    0 0 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: 15767 valid_bits:    0 1 1 1
state: 0 start: 15787 valid_bits:    0 1 1 1
state: 0 start: 15817 valid_bits:    0 1 1 0
state: 0 start: 15837 valid_bits:    1 1 0 1
state: 0 start: 15859 valid_bits:    4 1 1 0
state: 0 start: 15881 valid_bits:    1 1 1 0
state: 0 start: 15901 valid_bits:    1 1 1 1
state: 0 start: 15923 valid_bits:    0 1 1 1
state: 0 start: 15943 valid_bits:    0 1 1 1
state: 0 start: 15963 valid_bits:    0 1 1 1
state: 0 start: 15983 valid_bits:    0 1 1 1
state: 0 start: 16010 valid_bits:    0 0 1 1
state: 0 start: 16036 valid_bits:    0 1 1 1
state: 0 start: 16056 valid_bits:    0 1 1 1
state: 0 start: 16076 valid_bits:    0 1 1 1
state: 0 start: 16096 valid_bits:    0 1 1 1
state: 0 start: 16116 valid_bits:    0 1 1 1
state: 0 start: 16136 valid_bits:    0 1 1 1
state: 0 start: 16156 valid_bits:    0 1 1 1
state: 0 start: 16176 valid_bits:    0 1 1 1
state: 0 start: 16196 valid_bits:    0 1 1 1
state: 0 start: 16216 valid_bits:    0 1 1 1
state: 0 start: 16239 valid_bits:    0 1 0 1
state: 0 start: 16259 valid_bits:    2 1 1 1
state: 0 start: 16279 valid_bits:    0 1 1 1
state: 0 start: 16299 valid_bits:    0 1 1 1
state: 0 start: 16319 valid_bits:    0 1 1 1
state: 0 start: 16339 valid_bits:    0 1 1 1
state: 0 start: 16359 valid_bits:    0 1 1 1
state: 0 start: 16379 valid_bits:    0 1 1 1
state: 0 start: 16399 valid_bits:    0 1 0 1
state: 0 start: 16419 valid_bits:    2 1 1 1
state: 0 start: 16439 valid_bits:    0 1 1 1
state: 0 start: 16459 valid_bits:    0 1 1 1
state: 0 start: 16479 valid_bits:    0 1 1 1
state: 0 start: 16499 valid_bits:    0 1 1 1
state: 0 start: 16519 valid_bits:    0 1 1 1
state: 0 start: 16539 valid_bits:    0 1 1 1
state: 0 start: 16559 valid_bits:    0 1 1 1
state: 0 start: 16579 valid_bits:    0 1 1 1
state: 0 start: 16599 valid_bits:    0 1 1 1
state: 0 start: 16619 valid_bits:    0 1 1 1
state: 0 start: 16639 valid_bits:    0 1 1 1
state: 0 start: 16659 valid_bits:    0 1 1 1
state: 0 start: 16679 valid_bits:    0 1 1 1
state: 0 start: 16699 valid_bits:    0 1 1 1
state: 0 start: 16719 valid_bits:    0 1 1 1
state: 0 start: 16739 valid_bits:    0 1 1 1
state: 0 start: 16759 valid_bits:    0 1 1 1
state: 0 start: 16779 valid_bits:    0 1 1 1
state: 0 start: 16799 valid_bits:    0 1 1 1
state: 0 start: 16819 valid_bits:    0 1 1 1
state: 0 start: 16839 valid_bits:    0 1 1 1
state: 0 start: 16859 valid_bits:    0 1 1 1
state: 0 start: 16879 valid_bits:    0 1 1 1
state: 0 start: 16899 valid_bits:    0 1 1 1
state: 0 start: 16919 valid_bits:    0 1 1 1
state: 0 start: 16939 valid_bits:    0 1 1 1
state: 0 start: 16959 valid_bits:    0 1 1 1
state: 0 start: 16979 valid_bits:    0 1 1 1
state: 0 start: 16999 valid_bits:    0 1 1 1
state: 0 start: 17019 valid_bits:    0 1 1 1
state: 0 start: 17039 valid_bits:    0 1 1 1
state: 0 start: 17059 valid_bits:    0 1 1 1
state: 0 start: 17079 valid_bits:    0 1 1 1
state: 0 start: 17099 valid_bits:    0 1 1 1
state: 0 start: 17119 valid_bits:    0 1 1 1
state: 0 start: 17139 valid_bits:    0 1 1 1
state: 0 start: 17159 valid_bits:    0 1 1 1
state: 0 start: 17179 valid_bits:    0 1 1 1
state: 0 start: 17199 valid_bits:    0 1 1 1
state: 0 start: 17219 valid_bits:    0 1 1 1
state: 0 start: 17239 valid_bits:    0 1 1 1
state: 0 start: 17259 valid_bits:    0 1 1 1
state: 0 start: 17279 valid_bits:    0 1 1 1
state: 0 start: 17299 valid_bits:    0 1 1 1
state: 0 start: 17319 valid_bits:    0 1 1 1
state: 0 start: 17339 valid_bits:    0 1 1 1
state: 0 start: 17359 valid_bits:    0 1 1 1
state: 0 start: 17379 valid_bits:    0 1 1 1
state: 0 start: 17399 valid_bits:    0 1 1 1
state: 0 start: 17419 valid_bits:    0 1 1 1
state: 0 start: 17439 valid_bits:    0 1 1 1
state: 0 start: 17459 valid_bits:    0 1 1 1
state: 0 start: 17479 valid_bits:    0 1 1 1
state: 0 start: 17499 valid_bits:    0 1 1 1
state: 0 start: 17519 valid_bits:    0 1 1 1
state: 0 start: 17539 valid_bits:    0 1 1 1
state: 0 start: 17559 valid_bits:    0 1 1 1
state: 0 start: 17579 valid_bits:    0 1 1 1
state: 0 start: 17599 valid_bits:    0 1 1 1
state: 0 start: 17619 valid_bits:    0 1 1 1
state: 0 start: 17639 valid_bits:    0 1 1 1
state: 0 start: 17659 valid_bits:    0 1 1 1
state: 0 start: 17679 valid_bits:    0 1 1 1
state: 0 start: 17699 valid_bits:    0 1 1 1
state: 0 start: 17719 valid_bits:    0 1 1 1
state: 0 start: 17739 valid_bits:    0 1 1 1
state: 0 start: 17759 valid_bits:    0 1 1 1
state: 0 start: 17779 valid_bits:    0 1 1 1
state: 0 start: 17799 valid_bits:    0 1 1 1
state: 0 start: 17819 valid_bits:    0 1 1 1
state: 0 start: 17839 valid_bits:    0 1 1 1
state: 0 start: 17859 valid_bits:    0 1 1 1
state: 0 start: 17879 valid_bits:    0 1 1 1
state: 0 start: 17899 valid_bits:    0 1 1 1
state: 0 start: 17919 valid_bits:    0 1 1 1
state: 0 start: 17939 valid_bits:    0 1 1 1
state: 0 start: 17959 valid_bits:    0 1 1 1
state: 0 start: 17979 valid_bits:    0 1 1 1
state: 0 start: 17999 valid_bits:    0 1 1 1
state: 0 start: 18019 valid_bits:    0 1 1 1
state: 0 start: 18039 valid_bits:    0 1 1 1
state: 0 start: 18059 valid_bits:    0 1 1 1
state: 0 start: 18079 valid_bits:    0 1 1 1
state: 0 start: 18099 valid_bits:    0 1 1 1
state: 0 start: 18119 valid_bits:    0 1 1 1
state: 0 start: 18139 valid_bits:    0 1 1 1
state: 0 start: 18159 valid_bits:    0 1 1 1
state: 0 start: 18179 valid_bits:    0 1 1 1
state: 0 start: 18199 valid_bits:    0 1 1 1
state: 0 start: 18219 valid_bits:    0 1 1 1
state: 0 start: 18239 valid_bits:    0 1 1 1
state: 0 start: 18259 valid_bits:    0 1 1 1
state: 0 start: 18279 valid_bits:    0 1 1 1
state: 0 start: 18299 valid_bits:    0 1 1 1
state: 0 start: 18319 valid_bits:    0 1 1 1
state: 0 start: 18339 valid_bits:    0 1 1 1
state: 0 start: 18359 valid_bits:    0 1 1 1
state: 0 start: 18379 valid_bits:    0 1 1 1
state: 0 start: 18399 valid_bits:    0 1 1 1
state: 0 start: 18419 valid_bits:    0 1 1 1
state: 0 start: 18439 valid_bits:    0 1 1 1
state: 0 start: 18459 valid_bits:    0 1 1 1
state: 0 start: 18479 valid_bits:    0 1 1 1
state: 0 start: 18499 valid_bits:    0 1 1 1
state: 0 start: 18519 valid_bits:    0 1 1 1
state: 0 start: 18539 valid_bits:    0 1 1 1
state: 0 start: 18559 valid_bits:    0 1 1 1
state: 0 start: 18579 valid_bits:    0 1 1 1
state: 0 start: 18599 valid_bits:    0 1 1 1
state: 0 start: 18619 valid_bits:    0 1 1 1
state: 0 start: 18639 valid_bits:    0 1 1 1
state: 0 start: 18659 valid_bits:    0 1 1 1
state: 0 start: 18679 valid_bits:    0 1 1 1
state: 0 start: 18699 valid_bits:    0 1 1 1
state: 0 start: 18719 valid_bits:    0 1 1 1
state: 0 start: 18739 valid_bits:    0 1 1 1
state: 0 start: 18759 valid_bits:    0 1 1 1
state: 0 start: 18779 valid_bits:    0 1 1 1
state: 0 start: 18799 valid_bits:    0 1 1 1
state: 0 start: 18819 valid_bits:    0 1 1 1
state: 0 start: 18839 valid_bits:    0 1 1 1
state: 0 start: 18859 valid_bits:    0 1 1 1
state: 0 start: 18879 valid_bits:    0 1 1 1
state: 0 start: 18899 valid_bits:    0 1 1 1
state: 0 start: 18919 valid_bits:    0 1 1 1
state: 0 start: 18939 valid_bits:    0 1 1 1
state: 0 start: 18959 valid_bits:    0 1 1 1
state: 0 start: 18979 valid_bits:    0 1 1 1
state: 0 start: 18999 valid_bits:    0 1 1 1
state: 0 start: 19019 valid_bits:    0 1 1 1
state: 0 start: 19039 valid_bits:    0 1 1 1
state: 0 start: 19059 valid_bits:    0 1 1 1
state: 0 start: 19079 valid_bits:    0 1 1 1
state: 0 start: 19099 valid_bits:    0 1 1 1
state: 0 start: 19119 valid_bits:    0 1 1 1
state: 0 start: 19139 valid_bits:    0 1 1 1
state: 0 start: 19159 valid_bits:    0 1 1 1
state: 0 start: 19179 valid_bits:    0 1 1 1
state: 0 start: 19199 valid_bits:    0 1 1 1
state: 0 start: 19219 valid_bits:    0 1 1 1
state: 0 start: 19239 valid_bits:    0 1 1 1
state: 0 start: 19259 valid_bits:    0 1 1 1
state: 0 start: 19279 valid_bits:    0 1 1 1
state: 0 start: 19299 valid_bits:    0 1 1 1
state: 0 start: 19319 valid_bits:    0 1 1 1
state: 0 start: 19339 valid_bits:    0 1 1 1
state: 0 start: 19359 valid_bits:    0 1 1 1
state: 0 start: 19379 valid_bits:    0 1 1 1
state: 0 start: 19399 valid_bits:    0 1 1 1
state: 0 start: 19419 valid_bits:    0 1 1 1
state: 0 start: 19439 valid_bits:    0 1 1 1
state: 0 start: 19459 valid_bits:    0 1 1 1
state: 0 start: 19479 valid_bits:    0 1 1 1
state: 0 start: 19499 valid_bits:    0 1 1 1
state: 0 start: 19519 valid_bits:    0 1 1 1
state: 0 start: 19539 valid_bits:    0 1 1 1
state: 0 start: 19559 valid_bits:    0 1 1 1
state: 0 start: 19579 valid_bits:    0 1 1 1
state: 0 start: 19599 valid_bits:    0 1 1 1
state: 0 start: 19619 valid_bits:    0 1 1 1
state: 0 start: 19639 valid_bits:    0 1 1 1
state: 0 start: 19659 valid_bits:    0 1 1 1
state: 0 start: 19679 valid_bits:    0 1 1 1
state: 0 start: 19699 valid_bits:    0 1 1 1
state: 0 start: 19719 valid_bits:    0 1 1 1
state: 0 start: 19739 valid_bits:    0 1 1 1
state: 0 start: 19759 valid_bits:    0 1 1 1
state: 0 start: 19779 valid_bits:    0 1 1 1
state: 0 start: 19799 valid_bits:    0 1 1 1
state: 0 start: 19819 valid_bits:    0 1 1 1
state: 0 start: 19839 valid_bits:    0 1 1 1
state: 0 start: 19859 valid_bits:    0 1 1 1
state: 0 start: 19879 valid_bits:    0 1 1 1
state: 0 start: 19899 valid_bits:    0 1 1 1
state: 0 start: 19919 valid_bits:    0 1 1 1
state: 0 start: 19939 valid_bits:    0 1 1 1
state: 0 start: 19959 valid_bits:    0 1 1 1
state: 0 start: 19979 valid_bits:    0 1 1 1
state: 0 start: 19999 valid_bits:    0 1 1 1
state: 0 start: 20019 valid_bits:    0 1 1 1
state: 0 start: 20039 valid_bits:    0 1 1 1
state: 0 start: 20059 valid_bits:    0 1 1 1
state: 0 start: 20079 valid_bits:    0 1 1 1
state: 0 start: 20099 valid_bits:    0 1 1 1
state: 0 start: 20119 valid_bits:    0 1 1 1
state: 0 start: 20139 valid_bits:    0 1 1 1
state: 0 start: 20159 valid_bits:    0 1 1 1
state: 0 start: 20179 valid_bits:    0 1 1 1
state: 0 start: 20199 valid_bits:    0 1 1 1
state: 0 start: 20219 valid_bits:    0 1 1 1
state: 0 start: 20239 valid_bits:    0 1 1 1
state: 0 start: 20259 valid_bits:    0 1 1 1
state: 0 start: 20279 valid_bits:    0 1 1 1
state: 0 start: 20299 valid_bits:    0 1 1 1
state: 0 start: 20319 valid_bits:    0 1 1 1
state: 0 start: 20339 valid_bits:    0 1 1 1
state: 0 start: 20359 valid_bits:    0 1 1 1
state: 0 start: 20379 valid_bits:    0 1 1 1
state: 0 start: 20399 valid_bits:    0 1 1 1
state: 0 start: 20419 valid_bits:    0 1 1 1
state: 0 start: 20439 valid_bits:    0 1 1 1
state: 0 start: 20459 valid_bits:    0 1 1 1
state: 0 start: 20479 valid_bits:    0 1 1 1
state: 0 start: 20499 valid_bits:    0 1 1 1
state: 0 start: 20519 valid_bits:    0 1 1 1
state: 0 start: 20539 valid_bits:    0 1 1 1
state: 0 start: 20559 valid_bits:    0 1 1 1
state: 0 start: 20579 valid_bits:    0 1 1 1
state: 0 start: 20599 valid_bits:    0 1 1 1
state: 0 start: 20619 valid_bits:    0 1 1 1
state: 0 start: 20639 valid_bits:    0 1 1 1
state: 0 start: 20659 valid_bits:    0 1 1 1
state: 0 start: 20679 valid_bits:    0 1 1 1
state: 0 start: 20699 valid_bits:    0 1 1 1
state: 0 start: 20719 valid_bits:    0 1 1 1
state: 0 start: 20739 valid_bits:    0 1 1 1
state: 0 start: 20759 valid_bits:    0 1 1 1
state: 0 start: 20779 valid_bits:    0 1 1 1
state: 0 start: 20799 valid_bits:    0 1 1 1
state: 0 start: 20819 valid_bits:    0 1 1 1
state: 0 start: 20839 valid_bits:    0 1 1 1
state: 0 start: 20859 valid_bits:    0 1 1 1
state: 0 start: 20879 valid_bits:    0 1 1 1
state: 0 start: 20899 valid_bits:    0 1 1 1
state: 0 start: 20919 valid_bits:    0 1 1 1
state: 0 start: 20939 valid_bits:    0 1 1 1
state: 0 start: 20959 valid_bits:    0 1 1 1
state: 0 start: 20979 valid_bits:    0 1 1 1
state: 0 start: 20999 valid_bits:    0 1 1 1
state: 0 start: 21019 valid_bits:    0 1 1 1
state: 0 start: 21039 valid_bits:    0 1 1 1
state: 0 start: 21059 valid_bits:    0 1 1 1
state: 0 start: 21079 valid_bits:    0 1 1 1
state: 0 start: 21099 valid_bits:    0 1 1 1
state: 0 start: 21119 valid_bits:    0 1 1 1
state: 0 start: 21139 valid_bits:    0 1 1 1
state: 0 start: 21159 valid_bits:    0 1 1 1
state: 0 start: 21179 valid_bits:    0 1 1 1
state: 0 start: 21199 valid_bits:    0 1 1 1
state: 0 start: 21219 valid_bits:    0 1 1 1
state: 0 start: 21239 valid_bits:    0 1 1 1
state: 0 start: 21259 valid_bits:    0 1 1 1
state: 0 start: 21279 valid_bits:    0 1 1 1
state: 0 start: 21299 valid_bits:    0 1 1 1
state: 0 start: 21319 valid_bits:    0 1 1 1
state: 0 start: 21339 valid_bits:    0 1 1 1
state: 0 start: 21359 valid_bits:    0 1 1 1
state: 0 start: 21379 valid_bits:    0 1 1 1
state: 0 start: 21399 valid_bits:    0 1 1 1
state: 0 start: 21419 valid_bits:    0 1 1 1
state: 0 start: 21439 valid_bits:    0 1 1 1
state: 0 start: 21459 valid_bits:    0 1 1 1
state: 0 start: 21479 valid_bits:    0 1 1 1
state: 0 start: 21499 valid_bits:    0 1 1 1
state: 0 start: 21519 valid_bits:    0 1 1 1
state: 0 start: 21539 valid_bits:    0 1 1 1
state: 0 start: 21559 valid_bits:    0 1 1 1
state: 0 start: 21579 valid_bits:    0 1 1 1
state: 0 start: 21599 valid_bits:    0 1 1 1
state: 0 start: 21619 valid_bits:    0 1 1 1
state: 0 start: 21639 valid_bits:    0 1 1 1
state: 0 start: 21659 valid_bits:    0 1 1 1
state: 0 start: 21679 valid_bits:    0 1 1 1
state: 0 start: 21699 valid_bits:    0 1 1 1
state: 0 start: 21719 valid_bits:    0 1 1 1
state: 0 start: 21739 valid_bits:    0 1 1 1
state: 0 start: 21759 valid_bits:    0 1 1 1
state: 0 start: 21779 valid_bits:    0 1 1 1
state: 0 start: 21799 valid_bits:    0 1 1 1
state: 0 start: 21819 valid_bits:    0 1 1 1
state: 0 start: 21839 valid_bits:    0 1 1 1
state: 0 start: 21859 valid_bits:    0 1 1 1
state: 0 start: 21879 valid_bits:    0 1 1 1
state: 0 start: 21899 valid_bits:    0 1 1 1
state: 0 start: 21919 valid_bits:    0 1 1 1
state: 0 start: 21939 valid_bits:    0 1 1 1
state: 0 start: 21959 valid_bits:    0 1 1 1
state: 0 start: 21979 valid_bits:    0 1 1 1
state: 0 start: 21999 valid_bits:    0 1 1 1
state: 0 start: 22019 valid_bits:    0 1 1 1
state: 0 start: 22039 valid_bits:    0 1 1 1
state: 0 start: 22059 valid_bits:    0 1 1 1
state: 0 start: 22079 valid_bits:    0 1 1 1
state: 0 start: 22099 valid_bits:    0 1 1 1
state: 0 start: 22119 valid_bits:    0 1 1 1
state: 0 start: 22139 valid_bits:    0 1 1 1
state: 0 start: 22159 valid_bits:    0 1 1 1
state: 0 start: 22179 valid_bits:    0 1 1 1
state: 0 start: 22199 valid_bits:    0 1 1 1
state: 0 start: 22219 valid_bits:    0 1 1 1
state: 0 start: 22239 valid_bits:    0 1 1 1
state: 0 start: 22259 valid_bits:    0 1 1 1
state: 0 start: 22279 valid_bits:    0 1 1 1
state: 0 start: 22299 valid_bits:    0 1 1 1
state: 0 start: 22319 valid_bits:    0 1 1 1
state: 0 start: 22339 valid_bits:    0 1 1 1
state: 0 start: 22359 valid_bits:    0 1 1 1
state: 0 start: 22379 valid_bits:    0 1 1 1
state: 0 start: 22399 valid_bits:    0 1 1 1
state: 0 start: 22419 valid_bits:    0 1 1 1
state: 0 start: 22439 valid_bits:    0 1 1 1
state: 0 start: 22459 valid_bits:    0 1 1 1
state: 0 start: 22479 valid_bits:    0 1 1 1
state: 0 start: 22499 valid_bits:    0 1 1 1
state: 0 start: 22519 valid_bits:    0 1 1 1
state: 0 start: 22539 valid_bits:    0 1 1 1
state: 0 start: 22559 valid_bits:    0 1 1 1
state: 0 start: 22579 valid_bits:    0 1 1 1
state: 0 start: 22599 valid_bits:    0 1 1 1
state: 0 start: 22619 valid_bits:    0 1 1 1
state: 0 start: 22639 valid_bits:    0 1 1 1
state: 0 start: 22659 valid_bits:    0 1 1 1
state: 0 start: 22679 valid_bits:    0 1 1 1
state: 0 start: 22699 valid_bits:    0 1 1 1
state: 0 start: 22719 valid_bits:    0 1 1 1
state: 0 start: 22739 valid_bits:    0 1 1 1
state: 0 start: 22759 valid_bits:    0 1 1 1
state: 0 start: 22779 valid_bits:    0 1 1 1
state: 0 start: 22799 valid_bits:    0 1 1 1
state: 0 start: 22819 valid_bits:    0 1 1 1
state: 0 start: 22839 valid_bits:    0 1 1 1
state: 0 start: 22859 valid_bits:    0 1 1 1
state: 0 start: 22879 valid_bits:    0 1 1 1
state: 0 start: 22899 valid_bits:    0 1 1 1
state: 0 start: 22919 valid_bits:    0 1 1 1
state: 0 start: 22939 valid_bits:    0 1 1 1
state: 0 start: 22959 valid_bits:    0 1 1 1
state: 0 start: 22979 valid_bits:    0 1 1 1
state: 0 start: 22999 valid_bits:    0 1 1 1
state: 0 start: 23019 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: 23079 valid_bits:    0 1 1 1
state: 0 start: 23099 valid_bits:    0 1 1 1
state: 0 start: 23119 valid_bits:    0 1 1 1
state: 0 start: 23139 valid_bits:    0 1 1 1
state: 0 start: 23159 valid_bits:    0 1 1 1
state: 0 start: 23179 valid_bits:    0 1 1 1
state: 0 start: 23199 valid_bits:    0 1 1 1
state: 0 start: 23219 valid_bits:    0 1 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: 23279 valid_bits:    0 1 1 1
state: 0 start: 23299 valid_bits:    0 1 1 1
state: 0 start: 23319 valid_bits:    0 1 1 1
state: 0 start: 23339 valid_bits:    0 1 1 1
state: 0 start: 23359 valid_bits:    0 1 1 1
state: 0 start: 23379 valid_bits:    0 1 1 1
state: 0 start: 23399 valid_bits:    0 1 1 1
state: 0 start: 23419 valid_bits:    0 1 1 1
state: 0 start: 23439 valid_bits:    0 1 1 1
state: 0 start: 23459 valid_bits:    0 1 1 1
state: 0 start: 23479 valid_bits:    0 1 1 1
state: 0 start: 23499 valid_bits:    0 1 1 1
state: 0 start: 23519 valid_bits:    0 1 1 1
state: 0 start: 23539 valid_bits:    0 1 1 1
state: 0 start: 23559 valid_bits:    0 1 1 1
state: 0 start: 23579 valid_bits:    0 1 1 1
state: 0 start: 23599 valid_bits:    0 1 1 1
state: 0 start: 23619 valid_bits:    0 1 1 1
state: 0 start: 23639 valid_bits:    0 1 1 1
state: 0 start: 23659 valid_bits:    0 1 1 1
state: 0 start: 23679 valid_bits:    0 1 1 1
state: 0 start: 23699 valid_bits:    0 1 1 1
state: 0 start: 23719 valid_bits:    0 1 1 1
state: 0 start: 23739 valid_bits:    0 1 1 1
state: 0 start: 23759 valid_bits:    0 1 1 1
state: 0 start: 23779 valid_bits:    0 1 1 1
state: 0 start: 23799 valid_bits:    0 1 1 1
state: 0 start: 23819 valid_bits:    0 1 1 1
state: 0 start: 23839 valid_bits:    0 1 1 1
state: 0 start: 23859 valid_bits:    0 1 1 1
state: 0 start: 23879 valid_bits:    0 1 1 1
state: 0 start: 23899 valid_bits:    0 1 1 1
state: 0 start: 23919 valid_bits:    0 1 1 1
state: 0 start: 23939 valid_bits:    0 1 1 1
state: 0 start: 23959 valid_bits:    0 1 1 1
state: 0 start: 23979 valid_bits:    0 1 1 1
state: 0 start: 23999 valid_bits:    0 1 1 1
state: 0 start: 24019 valid_bits:    0 1 1 1
state: 0 start: 24039 valid_bits:    0 1 1 1
state: 0 start: 24059 valid_bits:    0 1 1 1
state: 0 start: 24079 valid_bits:    0 1 1 1
state: 0 start: 24099 valid_bits:    0 1 1 1
state: 0 start: 24119 valid_bits:    0 1 1 1
state: 0 start: 24139 valid_bits:    0 1 1 1
state: 0 start: 24159 valid_bits:    0 1 1 1
state: 0 start: 24179 valid_bits:    0 1 1 1
state: 0 start: 24199 valid_bits:    0 1 1 1
state: 0 start: 24219 valid_bits:    0 1 1 1
state: 0 start: 24239 valid_bits:    0 1 1 1
state: 0 start: 24259 valid_bits:    0 1 1 1
state: 0 start: 24279 valid_bits:    0 1 1 1
state: 0 start: 24299 valid_bits:    0 1 1 1
state: 0 start: 24319 valid_bits:    0 1 1 1
state: 0 start: 24339 valid_bits:    0 1 1 1
state: 0 start: 24359 valid_bits:    0 1 1 1
state: 0 start: 24379 valid_bits:    0 1 1 1
state: 0 start: 24399 valid_bits:    0 1 1 1
state: 0 start: 24419 valid_bits:    0 1 1 1
state: 0 start: 24439 valid_bits:    0 1 1 1
state: 0 start: 24459 valid_bits:    0 1 1 1
state: 0 start: 24479 valid_bits:    0 1 1 1
state: 0 start: 24499 valid_bits:    0 1 1 1
state: 0 start: 24519 valid_bits:    0 1 1 1
state: 0 start: 24539 valid_bits:    0 1 1 1
state: 0 start: 24559 valid_bits:    0 1 1 1
state: 0 start: 24579 valid_bits:    0 1 1 1
state: 0 start: 24599 valid_bits:    0 1 1 1
state: 0 start: 24619 valid_bits:    0 1 1 1
state: 0 start: 24639 valid_bits:    0 1 1 1
state: 0 start: 24659 valid_bits:    0 1 1 1
state: 0 start: 24679 valid_bits:    0 1 1 1
state: 0 start: 24699 valid_bits:    0 1 1 1
state: 0 start: 24719 valid_bits:    0 1 1 1
state: 0 start: 24739 valid_bits:    0 1 1 1
state: 0 start: 24759 valid_bits:    0 1 1 1
state: 0 start: 24779 valid_bits:    0 1 1 1
state: 0 start: 24799 valid_bits:    0 1 1 1
state: 0 start: 24819 valid_bits:    0 1 1 1
state: 0 start: 24839 valid_bits:    0 1 1 1
state: 0 start: 24859 valid_bits:    0 1 1 1
state: 0 start: 24879 valid_bits:    0 1 1 1
state: 0 start: 24899 valid_bits:    0 1 1 1
state: 0 start: 24919 valid_bits:    0 1 1 1
state: 0 start: 24939 valid_bits:    0 1 1 1
state: 0 start: 24959 valid_bits:    0 1 1 1
state: 0 start: 24979 valid_bits:    0 1 1 1
state: 0 start: 24999 valid_bits:    0 1 1 1
state: 0 start: 25019 valid_bits:    0 1 1 1
state: 0 start: 25039 valid_bits:    0 1 1 1
state: 0 start: 25059 valid_bits:    0 1 1 1
state: 0 start: 25079 valid_bits:    0 1 1 1
state: 0 start: 25099 valid_bits:    0 1 1 1
state: 0 start: 25119 valid_bits:    0 1 1 1
state: 0 start: 25139 valid_bits:    0 1 1 1
state: 0 start: 25159 valid_bits:    0 1 1 1
state: 0 start: 25179 valid_bits:    0 1 1 1
state: 0 start: 25199 valid_bits:    0 1 1 1
state: 0 start: 25219 valid_bits:    0 1 1 1
state: 0 start: 25239 valid_bits:    0 1 1 1
state: 0 start: 25259 valid_bits:    0 1 1 1
state: 0 start: 25279 valid_bits:    0 1 1 1
state: 0 start: 25299 valid_bits:    0 1 1 1
state: 0 start: 25319 valid_bits:    0 1 1 1
state: 0 start: 25339 valid_bits:    0 1 1 1
state: 0 start: 25359 valid_bits:    0 1 1 1
state: 0 start: 25379 valid_bits:    0 1 1 1
state: 0 start: 25399 valid_bits:    0 1 1 1
state: 0 start: 25419 valid_bits:    0 1 1 1
state: 0 start: 25439 valid_bits:    0 1 1 1
state: 0 start: 25459 valid_bits:    0 1 1 1
state: 0 start: 25479 valid_bits:    0 1 1 1
state: 0 start: 25499 valid_bits:    0 1 1 1
state: 0 start: 25519 valid_bits:    0 1 1 1
state: 0 start: 25539 valid_bits:    0 1 1 1
state: 0 start: 25559 valid_bits:    0 1 1 1
state: 0 start: 25579 valid_bits:    0 1 1 1
state: 0 start: 25599 valid_bits:    0 1 1 1
state: 0 start: 25619 valid_bits:    0 1 1 1
state: 0 start: 25639 valid_bits:    0 1 1 1
state: 0 start: 25659 valid_bits:    0 1 1 1
state: 0 start: 25679 valid_bits:    0 1 1 1
state: 0 start: 25699 valid_bits:    0 1 1 1
state: 0 start: 25719 valid_bits:    0 1 1 1
state: 0 start: 25739 valid_bits:    0 1 1 1
state: 0 start: 25759 valid_bits:    0 1 1 1
state: 0 start: 25779 valid_bits:    0 1 1 1
state: 0 start: 25799 valid_bits:    0 1 1 1
state: 0 start: 25819 valid_bits:    0 1 1 1
state: 0 start: 25839 valid_bits:    0 1 1 1
state: 0 start: 25859 valid_bits:    0 1 1 1
state: 0 start: 25879 valid_bits:    0 1 1 1
state: 0 start: 25899 valid_bits:    0 1 1 1
state: 0 start: 25919 valid_bits:    0 1 1 1
state: 0 start: 25939 valid_bits:    0 1 1 1
state: 0 start: 25959 valid_bits:    0 1 1 1
state: 0 start: 25979 valid_bits:    0 1 1 1
state: 0 start: 25999 valid_bits:    0 1 1 1
state: 0 start: 26019 valid_bits:    0 1 1 1
state: 0 start: 26039 valid_bits:    0 1 1 1
state: 0 start: 26059 valid_bits:    0 1 1 1
state: 0 start: 26079 valid_bits:    0 1 1 1
state: 0 start: 26099 valid_bits:    0 1 1 1
state: 0 start: 26119 valid_bits:    0 1 1 1
state: 0 start: 26139 valid_bits:    0 1 1 1
state: 0 start: 26159 valid_bits:    0 1 1 1
state: 0 start: 26179 valid_bits:    0 1 1 1
state: 0 start: 26199 valid_bits:    0 1 1 1
state: 0 start: 26219 valid_bits:    0 1 1 1
state: 0 start: 26239 valid_bits:    0 1 1 1
state: 0 start: 26259 valid_bits:    0 1 1 1
state: 0 start: 26279 valid_bits:    0 1 1 1
state: 0 start: 26299 valid_bits:    0 1 1 1
state: 0 start: 26319 valid_bits:    0 1 1 1
state: 0 start: 26339 valid_bits:    0 1 1 1
state: 0 start: 26359 valid_bits:    0 1 1 1
state: 0 start: 26379 valid_bits:    0 1 1 1
state: 0 start: 26399 valid_bits:    0 1 1 1
state: 0 start: 26419 valid_bits:    0 1 1 1
state: 0 start: 26439 valid_bits:    0 1 1 1
state: 0 start: 26459 valid_bits:    0 1 1 1
state: 0 start: 26479 valid_bits:    0 1 1 1
state: 0 start: 26499 valid_bits:    0 1 1 1
state: 0 start: 26519 valid_bits:    0 1 1 1
state: 0 start: 26539 valid_bits:    0 1 1 1
state: 0 start: 26559 valid_bits:    0 1 1 1
state: 0 start: 26579 valid_bits:    0 1 1 1
state: 0 start: 26599 valid_bits:    0 1 1 1
state: 0 start: 26619 valid_bits:    0 1 1 1
state: 0 start: 26639 valid_bits:    0 1 1 1
state: 0 start: 26659 valid_bits:    0 1 1 1
state: 0 start: 26679 valid_bits:    0 1 1 1
state: 0 start: 26699 valid_bits:    0 1 1 1
state: 0 start: 26719 valid_bits:    0 1 1 1
state: 0 start: 26739 valid_bits:    0 1 1 1
state: 0 start: 26759 valid_bits:    0 1 1 1
state: 0 start: 26779 valid_bits:    0 1 1 1
state: 0 start: 26799 valid_bits:    0 1 1 1
state: 0 start: 26819 valid_bits:    0 1 1 1
state: 0 start: 26839 valid_bits:    0 1 1 1
state: 0 start: 26859 valid_bits:    0 1 1 1
state: 0 start: 26879 valid_bits:    0 1 1 1
state: 0 start: 26899 valid_bits:    0 1 1 1
state: 0 start: 26919 valid_bits:    0 1 1 1
state: 0 start: 26939 valid_bits:    0 1 1 1
state: 0 start: 26959 valid_bits:    0 1 1 1
state: 0 start: 26979 valid_bits:    0 1 1 1
state: 0 start: 26999 valid_bits:    0 1 1 1
state: 0 start: 27019 valid_bits:    0 1 1 1
state: 0 start: 27039 valid_bits:    0 1 1 1
state: 0 start: 27059 valid_bits:    0 1 1 1
state: 0 start: 27079 valid_bits:    0 1 1 1
state: 0 start: 27099 valid_bits:    0 1 1 1
state: 0 start: 27119 valid_bits:    0 1 1 1
state: 0 start: 27139 valid_bits:    0 1 1 1
state: 0 start: 27159 valid_bits:    0 1 1 1
state: 0 start: 27179 valid_bits:    0 1 1 1
state: 0 start: 27199 valid_bits:    0 1 1 1
state: 0 start: 27219 valid_bits:    0 1 1 1
state: 0 start: 27239 valid_bits:    0 1 1 1
state: 0 start: 27259 valid_bits:    0 1 1 1
state: 0 start: 27279 valid_bits:    0 1 1 1
state: 0 start: 27299 valid_bits:    0 1 1 1
state: 0 start: 27319 valid_bits:    0 1 1 1
state: 0 start: 27339 valid_bits:    0 1 1 1
state: 0 start: 27359 valid_bits:    0 1 1 1
state: 0 start: 27379 valid_bits:    0 1 1 1
state: 0 start: 27399 valid_bits:    0 1 1 1
state: 0 start: 27419 valid_bits:    0 1 1 1
state: 0 start: 27439 valid_bits:    0 1 1 1
state: 0 start: 27459 valid_bits:    0 1 1 1
state: 0 start: 27479 valid_bits:    0 1 1 1
state: 0 start: 27499 valid_bits:    0 1 1 1
state: 0 start: 27519 valid_bits:    0 1 1 1
state: 0 start: 27539 valid_bits:    0 1 1 1
state: 0 start: 27559 valid_bits:    0 1 1 1
state: 0 start: 27579 valid_bits:    0 1 1 1
state: 0 start: 27599 valid_bits:    0 1 1 1
state: 0 start: 27619 valid_bits:    0 1 1 1
state: 0 start: 27639 valid_bits:    0 1 1 1
state: 0 start: 27659 valid_bits:    0 1 1 1
state: 0 start: 27679 valid_bits:    0 1 1 1
state: 0 start: 27699 valid_bits:    0 1 1 1
state: 0 start: 27719 valid_bits:    0 1 1 1
state: 0 start: 27739 valid_bits:    0 1 1 1
state: 0 start: 27759 valid_bits:    0 1 1 1
state: 0 start: 27779 valid_bits:    0 1 1 1
state: 0 start: 27799 valid_bits:    0 1 1 1
state: 0 start: 27819 valid_bits:    0 1 1 1
state: 0 start: 27839 valid_bits:    0 1 1 1
state: 0 start: 27859 valid_bits:    0 1 1 1
state: 0 start: 27879 valid_bits:    0 1 1 1
state: 0 start: 27899 valid_bits:    0 1 1 1
state: 0 start: 27919 valid_bits:    0 1 1 1
state: 0 start: 27939 valid_bits:    0 1 1 1
state: 0 start: 27959 valid_bits:    0 1 1 1
state: 0 start: 27979 valid_bits:    0 1 1 1
state: 0 start: 27999 valid_bits:    0 1 1 1
state: 0 start: 28019 valid_bits:    0 1 1 1
state: 0 start: 28039 valid_bits:    0 1 1 1
state: 0 start: 28059 valid_bits:    0 1 1 1
state: 0 start: 28079 valid_bits:    0 1 1 1
state: 0 start: 28099 valid_bits:    0 1 1 1
state: 0 start: 28119 valid_bits:    0 1 1 1
state: 0 start: 28139 valid_bits:    0 1 1 1
state: 0 start: 28159 valid_bits:    0 1 1 1
state: 0 start: 28179 valid_bits:    0 1 1 1
state: 0 start: 28199 valid_bits:    0 1 1 1
state: 0 start: 28219 valid_bits:    0 1 1 1
state: 0 start: 28239 valid_bits:    0 1 1 1
state: 0 start: 28259 valid_bits:    0 1 1 1
state: 0 start: 28279 valid_bits:    0 1 1 1
state: 0 start: 28299 valid_bits:    0 1 1 1
state: 0 start: 28319 valid_bits:    0 1 1 1
state: 0 start: 28339 valid_bits:    0 1 1 1
state: 0 start: 28359 valid_bits:    0 1 1 1
state: 0 start: 28379 valid_bits:    0 1 1 1
state: 0 start: 28399 valid_bits:    0 1 1 1
state: 0 start: 28419 valid_bits:    0 1 1 1
state: 0 start: 28439 valid_bits:    0 1 1 1
state: 0 start: 28459 valid_bits:    0 1 1 1
state: 0 start: 28479 valid_bits:    0 1 1 1
state: 0 start: 28499 valid_bits:    0 1 1 1
state: 0 start: 28519 valid_bits:    0 1 1 1
state: 0 start: 28539 valid_bits:    0 1 1 1
state: 0 start: 28559 valid_bits:    0 1 1 1
state: 0 start: 28579 valid_bits:    0 1 1 1
state: 0 start: 28599 valid_bits:    0 1 1 1
state: 0 start: 28619 valid_bits:    0 1 1 1
state: 0 start: 28639 valid_bits:    0 1 1 1
state: 0 start: 28659 valid_bits:    0 1 1 1
state: 0 start: 28679 valid_bits:    0 1 1 1
state: 0 start: 28699 valid_bits:    0 1 1 1
state: 0 start: 28719 valid_bits:    0 1 1 1
state: 0 start: 28739 valid_bits:    0 1 1 1
state: 0 start: 28759 valid_bits:    0 1 1 1
state: 0 start: 28779 valid_bits:    0 1 1 1
state: 0 start: 28799 valid_bits:    0 1 1 1
state: 0 start: 28819 valid_bits:    0 1 1 1
state: 0 start: 28839 valid_bits:    0 1 1 1
state: 0 start: 28859 valid_bits:    0 1 1 1
state: 0 start: 28879 valid_bits:    0 1 1 1
state: 0 start: 28899 valid_bits:    0 1 1 1
state: 0 start: 28919 valid_bits:    0 1 1 1
state: 0 start: 28939 valid_bits:    0 1 1 1
state: 0 start: 28959 valid_bits:    0 1 1 1
state: 0 start: 28979 valid_bits:    0 1 1 1
state: 0 start: 28999 valid_bits:    0 1 1 1
state: 0 start: 29019 valid_bits:    0 1 1 1
state: 0 start: 29039 valid_bits:    0 1 1 1
state: 0 start: 29059 valid_bits:    0 1 1 1
state: 0 start: 29079 valid_bits:    0 1 1 1
state: 0 start: 29099 valid_bits:    0 1 1 1
state: 0 start: 29119 valid_bits:    0 1 1 1
state: 0 start: 29139 valid_bits:    0 1 1 1
state: 0 start: 29159 valid_bits:    0 1 1 1
state: 0 start: 29179 valid_bits:    0 1 1 1
state: 0 start: 29199 valid_bits:    0 1 1 1
state: 0 start: 29219 valid_bits:    0 1 1 1
state: 0 start: 29239 valid_bits:    0 1 1 1
state: 0 start: 29259 valid_bits:    0 1 1 1
state: 0 start: 29279 valid_bits:    0 1 1 1
state: 0 start: 29299 valid_bits:    0 1 1 1
state: 0 start: 29319 valid_bits:    0 1 1 1
state: 0 start: 29339 valid_bits:    0 1 1 1
state: 0 start: 29359 valid_bits:    0 1 1 1
state: 0 start: 29379 valid_bits:    0 1 1 1
state: 0 start: 29399 valid_bits:    0 1 1 1
state: 0 start: 29419 valid_bits:    0 1 1 1
state: 0 start: 29439 valid_bits:    0 1 1 1
state: 0 start: 29459 valid_bits:    0 1 1 1
state: 0 start: 29479 valid_bits:    0 1 1 1
state: 0 start: 29499 valid_bits:    0 1 1 1
state: 0 start: 29519 valid_bits:    0 1 1 1
state: 0 start: 29539 valid_bits:    0 1 1 1
state: 0 start: 29559 valid_bits:    0 1 1 1
state: 0 start: 29579 valid_bits:    0 1 1 1
state: 0 start: 29599 valid_bits:    0 1 1 1
state: 0 start: 29619 valid_bits:    0 1 1 1
state: 0 start: 29639 valid_bits:    0 1 1 1
state: 0 start: 29659 valid_bits:    0 1 1 1
state: 0 start: 29679 valid_bits:    0 1 1 1
state: 0 start: 29699 valid_bits:    0 1 1 1
state: 0 start: 29719 valid_bits:    0 1 1 1
state: 0 start: 29739 valid_bits:    0 1 1 1
state: 0 start: 29759 valid_bits:    0 1 1 1
state: 0 start: 29779 valid_bits:    0 1 1 1
state: 0 start: 29799 valid_bits:    0 1 1 1
state: 0 start: 29819 valid_bits:    0 1 1 1
state: 0 start: 29839 valid_bits:    0 1 1 1
state: 0 start: 29859 valid_bits:    0 1 1 1
state: 0 start: 29879 valid_bits:    0 1 1 1
state: 0 start: 29899 valid_bits:    0 1 1 1
state: 0 start: 29919 valid_bits:    0 1 1 1
state: 0 start: 29939 valid_bits:    0 1 1 1
state: 0 start: 29959 valid_bits:    0 1 1 1
state: 0 start: 29979 valid_bits:    0 1 1 1
state: 0 start: 29999 valid_bits:    0 1 1 1
state: 0 start: 30019 valid_bits:    0 1 1 1
state: 0 start: 30039 valid_bits:    0 1 1 1
state: 0 start: 30059 valid_bits:    0 1 1 1
state: 0 start: 30079 valid_bits:    0 1 1 1
state: 0 start: 30099 valid_bits:    0 1 1 1
state: 0 start: 30119 valid_bits:    0 1 1 1
state: 0 start: 30139 valid_bits:    0 1 1 1
state: 0 start: 30159 valid_bits:    0 1 1 1
state: 0 start: 30179 valid_bits:    0 1 1 1
state: 0 start: 30199 valid_bits:    0 1 1 1
state: 0 start: 30219 valid_bits:    0 1 1 1
state: 0 start: 30239 valid_bits:    0 1 1 1
state: 0 start: 30259 valid_bits:    0 1 1 1
state: 0 start: 30279 valid_bits:    0 1 1 1
state: 0 start: 30299 valid_bits:    0 1 1 1
state: 0 start: 30319 valid_bits:    0 1 1 1
state: 0 start: 30339 valid_bits:    0 1 1 1
state: 0 start: 30359 valid_bits:    0 1 1 1
state: 0 start: 30379 valid_bits:    0 1 1 1
state: 0 start: 30399 valid_bits:    0 1 1 1
state: 0 start: 30419 valid_bits:    0 1 1 1
state: 0 start: 30439 valid_bits:    0 1 1 1
state: 0 start: 30459 valid_bits:    0 1 1 1
state: 0 start: 30479 valid_bits:    0 1 1 1
state: 0 start: 30499 valid_bits:    0 1 1 1
state: 0 start: 30519 valid_bits:    0 1 1 1
state: 0 start: 30539 valid_bits:    0 1 1 1
state: 0 start: 30559 valid_bits:    0 1 1 1
state: 0 start: 30579 valid_bits:    0 1 1 1
state: 0 start: 30599 valid_bits:    0 1 1 1
state: 0 start: 30619 valid_bits:    0 1 1 1
state: 0 start: 30639 valid_bits:    0 1 1 1
state: 0 start: 30659 valid_bits:    0 1 1 1
state: 0 start: 30679 valid_bits:    0 1 1 1
state: 0 start: 30699 valid_bits:    0 1 1 1
state: 0 start: 30719 valid_bits:    0 1 1 1
state: 0 start: 30739 valid_bits:    0 1 1 1
state: 0 start: 30759 valid_bits:    0 1 1 1
state: 0 start: 30779 valid_bits:    0 1 1 1
state: 0 start: 30799 valid_bits:    0 1 1 1
state: 0 start: 30819 valid_bits:    0 1 1 1
state: 0 start: 30839 valid_bits:    0 1 1 1
state: 0 start: 30859 valid_bits:    0 1 1 1
state: 0 start: 30879 valid_bits:    0 1 1 1
state: 0 start: 30899 valid_bits:    0 1 1 1
state: 0 start: 30919 valid_bits:    0 1 1 1
state: 0 start: 30939 valid_bits:    0 1 1 1
state: 0 start: 30959 valid_bits:    0 1 1 1
state: 0 start: 30979 valid_bits:    0 1 1 1
state: 0 start: 30999 valid_bits:    0 1 1 1
state: 0 start: 31019 valid_bits:    0 1 1 1
state: 0 start: 31039 valid_bits:    0 1 1 1
state: 0 start: 31059 valid_bits:    0 1 1 1
state: 0 start: 31079 valid_bits:    0 1 1 1
state: 0 start: 31099 valid_bits:    0 1 1 1
state: 0 start: 31119 valid_bits:    0 1 1 1
state: 0 start: 31139 valid_bits:    0 1 1 1
state: 0 start: 31159 valid_bits:    0 1 1 1
state: 0 start: 31179 valid_bits:    0 1 1 1
state: 0 start: 31199 valid_bits:    0 1 1 1
state: 0 start: 31219 valid_bits:    0 1 1 1
state: 0 start: 31239 valid_bits:    0 1 1 1
state: 0 start: 31259 valid_bits:    0 1 1 1
state: 0 start: 31279 valid_bits:    0 1 1 1
state: 0 start: 31299 valid_bits:    0 1 1 1
state: 0 start: 31319 valid_bits:    0 1 1 1
state: 0 start: 31339 valid_bits:    0 1 1 1
state: 0 start: 31359 valid_bits:    0 1 1 1
state: 0 start: 31379 valid_bits:    0 1 1 1
state: 0 start: 31399 valid_bits:    0 1 1 1
state: 0 start: 31419 valid_bits:    0 1 1 1
state: 0 start: 31439 valid_bits:    0 1 1 1
state: 0 start: 31459 valid_bits:    0 1 1 1
state: 0 start: 31479 valid_bits:    0 1 1 1
state: 0 start: 31499 valid_bits:    0 1 1 1
state: 0 start: 31519 valid_bits:    0 1 1 1
state: 0 start: 31539 valid_bits:    0 1 1 1
state: 0 start: 31559 valid_bits:    0 1 1 1
state: 0 start: 31579 valid_bits:    0 1 1 1
state: 0 start: 31599 valid_bits:    0 1 1 1
state: 0 start: 31619 valid_bits:    0 1 1 1
state: 0 start: 31639 valid_bits:    0 1 1 1
state: 0 start: 31659 valid_bits:    0 1 1 1
state: 0 start: 31679 valid_bits:    0 1 1 1
state: 0 start: 31699 valid_bits:    0 1 1 1
state: 0 start: 31719 valid_bits:    0 1 1 1
state: 0 start: 31739 valid_bits:    0 1 1 1
state: 0 start: 31759 valid_bits:    0 1 1 1
state: 0 start: 31779 valid_bits:    0 1 1 1
state: 0 start: 31799 valid_bits:    0 1 1 1
state: 0 start: 31819 valid_bits:    0 1 1 1
state: 0 start: 31839 valid_bits:    0 1 1 1
state: 0 start: 31859 valid_bits:    0 1 1 1
state: 0 start: 31879 valid_bits:    0 1 1 1
state: 0 start: 31899 valid_bits:    0 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
