private static long[] mk_tokenSet_54_() { long[] data = { 2580705669023797248L, 524561L, 0L, 0L}; return data; }