long[] data = { -4057250683051573248L, 8013775106948149205L, 100728768L, 0L, 0L, 0L};
long[] data = { 288511851128422400L, 6701356245527298048L, 0L, 0L};
	private static final long[] mk_tokenSet_11() {		long[] data = { -4057250683051573248L, 8013775106948149205L, 100728768L, 0L, 0L, 0L};		return data;	}