long[] data = { 5877866085510446992L, 288223776934460416L, 8L, 0L, 0L, 0L};
long[] data = { -5651348960558022768L, 1152895107737841664L, 32L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_0() {		long[] data = { 5877866085510446992L, 288223776934460416L, 8L, 0L, 0L, 0L};		return data;	}