private static long[] mk_tokenSet_56_() { long[] data = { 4611686019505324064L, 655360L, 0L, 0L}; return data; }