private static long[] mk_tokenSet_9_()
{
long[] data = new long[2048];
data[0]=-9224L;
data[1]=-4294967297L;
for (int i = 2; i<=1022; i++) { data[i]=-1L; }
data[1023]=9223372036854775807L;
for (int i = 1024; i<=2047; i++) { data[i]=0L; }
return data;
}