long[] data = { -216172799123095664L, 328703L, 0L, 0L};
long[] data = { -68942543814768L, 673185743L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { -216172799123095664L, 328703L, 0L, 0L};		return data;	}