long[] data = new long[2048]; data[0]=-549755813896L; for (int i = 1; i<=1023; i++) { data[i]=-1L; }
long[] data = new long[1025]; data[0]=288054454291267584L; data[1]=576460745995190270L; data[3]=-36028797027352577L;
	private static final long[] mk_tokenSet_2() {		long[] data = new long[2048];		data[0]=-549755813896L;		for (int i = 1; i<=1023; i++) { data[i]=-1L; }		return data;	}