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