long[] data = { 140737488355328L, 8071015131468791808L, 0L, 0L};
long[] data = { 140737488355328L, -2304713810771968000L, 0L, 0L};
	private static final long[] mk_tokenSet_3() {		long[] data = { 140737488355328L, 8071015131468791808L, 0L, 0L};		return data;	}