data[1]=-35184372088833L; data[2]=-17L; data[3]=1L;
data[1]=-70368744177665L; data[2]=-33L; data[3]=7L;
	private static final long[] mk_tokenSet_11() {		long[] data = new long[12];		data[0]=-16L;		data[1]=-35184372088833L;		data[2]=-17L;		data[3]=1L;		return data;	}