long[] data = new long[2048]; data[0]=-549755813896L; for (int i = 1; i<=1023; i++) { data[i]=-1L; } return data; }
long[] data = new long[2504]; data[192]=4389456576640L; for (int i = 312; i<=637; i++) { data[i]=-1L; } data[638]=274877906943L; return data; }
	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;	}