long[] data = { 9007199257362432L, 1125899906842624L, 4096L, 0L, 0L, 0L};
long[] data = { 9007199257362432L, 1125899906842624L, 8192L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { 9007199257362432L, 1125899906842624L, 4096L, 0L, 0L, 0L};		return data;	}