data[0]=-1810447050202939392L; data[1]=-526921188740980745L; data[2]=71917949238321047L; data[3]=192L;
data[0]=-3620894100405878784L; data[1]=-1630303129785384977L; data[2]=287671796953284191L; data[3]=768L;
	private static final long[] mk_tokenSet_2() {		long[] data = new long[8];		data[0]=-1810447050202939392L;		data[1]=-526921188740980745L;		data[2]=71917949238321047L;		data[3]=192L;		return data;	}