long[] data = { 288511851128422400L, 6701356245527298048L, 0L, 0L};
long[] data = new long[8]; data[0]=-16L; data[1]=-18014400656965633L; data[2]=35184372088831L;
	private static final long[] mk_tokenSet_12() {		long[] data = { 288511851128422400L, 6701356245527298048L, 0L, 0L};		return data;	}