long[] data = { 52226807037952L, 512L, 4398046609408L, 0L, 0L, 0L};
long[] data = { 52226807037952L, 1024L, 17592186437632L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { 52226807037952L, 512L, 4398046609408L, 0L, 0L, 0L};		return data;	}