long[] data = { 562949953421312L, 4398063288320L, 40L, 0L, 0L, 0L};
long[] data = { 562949953421312L, 8796126576640L, 80L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_9() {		long[] data = { 562949953421312L, 4398063288320L, 40L, 0L, 0L, 0L};		return data;	}