long[] data = new long[8]; data[0]=-16L; data[1]=-2305843284091600897L; data[2]=36028797018963967L;
long[] data = { 0L, 137438953480L, 1073742208L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_12() {		long[] data = new long[8];		data[0]=-16L;		data[1]=-2305843284091600897L;		data[2]=36028797018963967L;		return data;	}