reduced state space has maximum dimension 11^2, therefore iterator->hasNext needs to be updated accordingly