private static long[] mk_tokenSet_125_() { long[] data = { -175870491560746736L, 576460748008434788L, 0L, 0L}; return data; }