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