solve the bug in equals(150000 states less)