public final String toString() {
		StringBuffer sb = new StringBuffer();
		sb.append('(');
		for (int i = 0; i < 4; i++) {
			if (i != 0)
				sb.append(";  ");
			for (int j = 0; j < 4; j++) {
				if (j != 0)
					sb.append(',');
				sb.append(' ');
				sb.append(entry[i][j]);
			}
		}
		sb.append(" )");
		return sb.toString();
	}