long[] data = { 1085542581653209088L, 234257545325716416L, 0L, 0L};
long[] data = { 2171085163306418176L, 937030181302865664L, 0L, 0L};
	private static final long[] mk_tokenSet_6() {		long[] data = { 1085542581653209088L, 234257545325716416L, 0L, 0L};		return data;	}