public String toString() {
    String s = "";
    for (int r = 0; r < 4; r++) {
      s += "[ ";
      for (int c = 0; c < 4; c++) {
        s += get(c, r) + " ";
      }
      s += "]\n";
    }
    return s;
  }