private static long[] mk_tokenSet_0_()
{
long[] data = new long[3072];
data[0]=0L;
data[1]=576460745995190271L;
for (int i = 2; i<=1022; i++) { data[i]=-1L; }
data[1023]=9223372036854775807L;
for (int i = 1024; i<=3071; i++) { data[i]=0L; }
return data;
}