private static long[] mk_tokenSet_71_() { long[] data = { -4610841524776992512L, 575902203107076196L, 0L, 0L}; return data; }