private static long[] mk_tokenSet_12_() { long[] data = { -2895089028210647262L, 575902203140620287L, 0L, 0L}; return data; }