private static long[] mk_tokenSet_124_() { long[] data = { -2593228891715010304L, 575902203379690596L, 0L, 0L}; return data; }