data[2]=-2147483713L; data[3]=268435455L;
data[2]=-8589934849L; data[3]=1073741823L;
	private static final long[] mk_tokenSet_13() {		long[] data = new long[12];		data[0]=-16L;		data[1]=-1L;		data[2]=-2147483713L;		data[3]=268435455L;		return data;	}