data[2]=2305843284091600912L; data[3]=1L;
data[2]=-9223371761976868848L; data[3]=4L;
	private static final long[] mk_tokenSet_13() {		long[] data = new long[8];		data[1]=25165824L;		data[2]=2305843284091600912L;		data[3]=1L;		return data;	}