@Override
  public @NotNull String dumpState() {
    try {
      validateState();
      return "valid";
    }
    catch (Exception e) {
      return "invalid (" + e.getMessage() + ")";
    }
  }
@Override
  public @NotNull String dumpState()