long[] data = { 576460752303423488L, 0L, 57440L, 0L, 0L, 0L};
long[] data = { 1152921504606846976L, 0L, 229760L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_5() {		long[] data = { 576460752303423488L, 0L, 57440L, 0L, 0L, 0L};		return data;	}