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; }