long[] data = { 1085384243388874752L, 216212360289321920L, 0L, 0L};
long[] data = { 2170768486777749504L, 864849441157287680L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { 1085384243388874752L, 216212360289321920L, 0L, 0L};		return data;	}