long[] data = { 3325941791198281728L, 1296897721499663384L, 384L, 0L, 0L, 0L};
long[] data = { 9090549314232516608L, 2593795442999326768L, 768L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { 3325941791198281728L, 1296897721499663384L, 384L, 0L, 0L, 0L};		return data;	}