long[] data = { -11470105300959232L, -7254454334769073796L, 25836904959L, 0L, 0L, 0L};
long[] data = { 0L, 0L, 516098L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_8() {		long[] data = { -11470105300959232L, -7254454334769073796L, 25836904959L, 0L, 0L, 0L};		return data;	}