long[] data = { 0L, 50331648L, -4611686018427387904L, 0L, 0L, 0L};
long[] data = new long[8]; data[1]=100663296L; data[3]=3L;
	private static final long[] mk_tokenSet_15() {		long[] data = { 0L, 50331648L, -4611686018427387904L, 0L, 0L, 0L};		return data;	}