long[] data = { -4057250683051573248L, 9166696611554996181L, 100728816L, 0L, 0L, 0L};
long[] data = { -3461632040145780736L, -56675424226037819L, 101187523L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_8() {		long[] data = { -4057250683051573248L, 9166696611554996181L, 100728816L, 0L, 0L, 0L};		return data;	}