data[0]=-824633720840L; for (int i = 1; i<=1022; i++) { data[i]=-1L; }
data[0]=-1152921521786716168L; data[1]=-2882303761517117441L; for (int i = 2; i<=1022; i++) { data[i]=-1L; }
								private static final long[] mk_tokenSet_13() {									long[] data = new long[2048];									data[0]=-824633720840L;									for (int i = 1; i<=1022; i++) { data[i]=-1L; }									data[1023]=9223372036854775807L;									return data;								}