private static long[] mk_tokenSet_4_()
{
long[] data = new long[1025];
data[0]=287948901175001088L;
data[1]=541165879422L;
for (int i = 2; i<=1024; i++) { data[i]=0L; }
return data;
}