private static long[] mk_tokenSet_7_() { long[] data = { 3157167522465320960L, 9569559L, 0L, 0L}; return data; }