long[] data = { 0L, 1125899906842624L, 67553994410557440L, 0L, 0L, 0L};
long[] data = { 0L, 2251799813685248L, 270215977642229760L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_10() {		long[] data = { 0L, 1125899906842624L, 67553994410557440L, 0L, 0L, 0L};		return data;	}