long[] data = { -3479646438655262720L, -56675424226037819L, 101187523L, 0L, 0L, 0L};
long[] data = { 0L, 288230376151711744L, 4032L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_9() {		long[] data = { -3479646438655262720L, -56675424226037819L, 101187523L, 0L, 0L, 0L};		return data;	}