long[] data = { 2305843009213693952L, -9223372036854775808L, 46L, 0L, 0L, 0L};
long[] data = new long[8]; data[0]=-16L; data[1]=-2305843284091600897L; data[2]=36028797018963967L;
	private static final long[] mk_tokenSet_11() {		long[] data = { 2305843009213693952L, -9223372036854775808L, 46L, 0L, 0L, 0L};		return data;	}