private static long[] mk_tokenSet_25_() { long[] data = { -9077574971949262L, 576460748008439807L, 0L, 0L}; return data; }