private static long[] mk_tokenSet_12_() { long[] numArray1 = new long[4]; numArray1[0] = -5187020888368892126L; numArray1[1] = 0x3e880105a010L; return numArray1; }