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