private static long[] mk_tokenSet_57_() { long[] numArray1 = new long[4]; numArray1[0] = -5188123130542387200L; numArray1[1] = 0x3e8001058010L; return numArray1; }