data[0]=-1810447050202939392L; data[1]=-526921180151046153L; data[2]=71917811799367575L; data[3]=192L;
data[0]=-3620894100405878784L; data[1]=-1630303112605515793L; data[2]=287671247197470303L; data[3]=768L;
	private static final long[] mk_tokenSet_11() {		long[] data = new long[8];		data[0]=-1810447050202939392L;		data[1]=-526921180151046153L;		data[2]=71917811799367575L;		data[3]=192L;		return data;	}