This is what I got by running unreachable.py'. I cannot get the claimedIn my computation, there are 2792 out of 4096 states are valid, 1304 invalid. so number of valid reachable states = 2792* 2^7 = 357,376' in the comments.
reachables: 2794 out of 4118 unreachables: 1324 out of 4118 106 0 64 1 831 2 4951 3 17753 4 42403 5 70715 6 84050 7 71394 8 42754 9 17453 10 4551 11 669 12 43 13 1 357632
This is what I got by running
unreachable.py'. I cannot get the claimedIn my computation, there are 2792 out of 4096 states are valid, 1304 invalid. so number of valid reachable states = 2792* 2^7 = 357,376' in the comments.reachables: 2794 out of 4118 unreachables: 1324 out of 4118 106 0 64 1 831 2 4951 3 17753 4 42403 5 70715 6 84050 7 71394 8 42754 9 17453 10 4551 11 669 12 43 13 1 357632