long[] data = new long[8]; data[0]=-16L; data[1]=-18014400656965633L; data[2]=35184372088831L;
long[] data = { 1152921504606846976L, 1073741824L, 4194307L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_13() {		long[] data = new long[8];		data[0]=-16L;		data[1]=-18014400656965633L;		data[2]=35184372088831L;		return data;	}