private static long[] mk_tokenSet_31_() { long[] numArray1 = new long[2]; numArray1[0] = 0x800607f8a193100L; return numArray1; }