long[] data = { 562949956042752L, 1099511627776L, 8L, 0L, 0L, 0L};
long[] data = { 562949956042752L, 4398046511104L, 32L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_1() {		long[] data = { 562949956042752L, 1099511627776L, 8L, 0L, 0L, 0L};		return data;	}