long[] data = { 2305843009213693952L, -9223372036854775808L, 31L, 0L, 0L, 0L};
long[] data = { 18014398509481984L, 246702921482240L, 0L, 0L};
	private static final long[] mk_tokenSet_4() {		long[] data = { 2305843009213693952L, -9223372036854775808L, 31L, 0L, 0L, 0L};		return data;	}