long[] data = { 9007199254740992L, 1125899908939776L, 5120L, 0L, 0L, 0L};
long[] data = { 9007199254740992L, 1125899908939776L, 10240L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_12() {		long[] data = { 9007199254740992L, 1125899908939776L, 5120L, 0L, 0L, 0L};		return data;	}