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