(
	((INIT
	DX
	DXHIGH
	DXLOW 
	CX 
	CX 
	CX 
	DXHIGH 
	DXLOW 
	DXHIGH 
	CX 
	DXLOW) 
	(DX,	 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX) 
	(DHIGH 
	DX 
	DHIGH 
	DX 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DX 
	DHIGH 
	DHIGH 
	DHIGH) 
	(DLOW 
	DX 
	DX 
	DLOW
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DX
	DLOW 
	DLOW) 
	(CX 
	DX 
	DXHIGH 
	DXLOW 
	CX 
	CX 
	CX 
	DXHIGH 
	DXLOW 
	DXHIGH 
	CX
	DXLOW) 
	(CX 
	DX 
	DXHIGH 
	DXLOW 
	CX 
	CHIGH 
	CX 
	DXHIGH 
	DXLOW 
	DXHIGH 
	CX 
	DXLOW) 
	(CX 
	DX 
	DXHIGH
	DXLOW 
	CX 
	CX 
	CLOW 
	DXHIGH 
	DXLOW 
	DXHIGH 
	CX 
	DXLOW) 
	(PU 
	DX 
	PU 
	DXLOW 
	PU 
	PU 
	PU 
	PU 
	DXLOW 
	PU 
	PU 
	DX) 
	(DXLOW 
	DX 
	DX 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW
	DX
	DXLOW
	DX 
	DXLOW 
	DXLOW) 
	(DXHIGH 
	DX 
	DXHIGH 
	DX 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DX 
	DXHIGH 
	DXHIGH 
	DX) 
	(CX
	DX 
	DXHIGH 
	DXLOW 
	CX
	CX 
	CX 
	DXHIGH 
	DXLOW 
	DXHIGH
	CSHARE 
	DXLOW)
	(PD 
	DX 
	DXHIGH 
	PD 
	PD 
	PD 
	PD 
	DX 
	PD 
	DXHIGH 
	PD
	PD)
) 
	((INIT 
	DX 
	DHIGH 
	DLOW 
	CX 
	CHIGH 
	CLOW 
	PU 
	DXLOW 
	DXHIGH 
	CSHARE 
	PD) 
	(DX
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX) 
	(DHIGH
	DX 
	DHIGH 
	DX
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DX 
	DHIGH 
	DHIGH 
	DHIGH) 
	(DLOW 
	DX 
	DX 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DX 
	DLOW 
	DLOW) 
	(CX
	DX 
	DHIGH 
	DLOW 
	CX 
	CSHARE 
	CSHARE 
	PU 
	DXLOW 
	DXHIGH 
	CSHARE 
	PD) 
	(CHIGH 
	DX 
	DHIGH 
	DLOW 
	CSHARE 
	CHIGH 
	CSHARE 
	PU 
	DXLOW 
	DXHIGH 
	CSHARE 
	PD) 
	(CLOW 
	DX 
	DHIGH 
	DLOW 
	CSHARE 
	CSHARE 
	CLOW 
	PU 
	DXLOW 
	DXHIGH 
	CSHARE 
	PD) 
	(PU 
	DX 
	DHIGH 
	DLOW 
	PU 
	PU 
	PU 
	PU 
	DXLOW 
	DXHIGH
	PU 
	DX) 
	(DXLOW 
	DX 
	DX 
	DLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DX 
	DXLOW 
	DXLOW) 
	(DXHIGH 
	DX 
	DHIGH 
	DX 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DX 
	DXHIGH 
	DXHIGH 
	DXHIGH) 
	(CSHARE 
	DX 
	DHIGH 
	DLOW 
	CSHARE 
	CSHARE 
	CSHARE 
	PU 
	DXLOW 
	DXHIGH 
	CSHARE 
	PD) 
	(PD 
	DX 
	DHIGH 
	DLOW 
	PD 
	PD 
	PD 
	DX 
	DXLOW 
	DXHIGH 
	PD 
	PD) 
  )
	((INIT 
	INIT 
	INIT 
	INIT 
	INIT 
	INIT 
	INIT
	INIT 
	INIT 
	INIT 
	INIT 
	INIT) 
	(DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX 
	DX) 
	(DHIGH
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH 
	DHIGH) 
	(DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW 
	DLOW) 
	(CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX 
	CX) 
	(CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH 
	CHIGH) 
	(CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW 
	CLOW
	CLOW) 
	(PU
	PU
	PU 
	PU 
	PU 
	PU 
	PU 
	PU 
	PU 
	PU 
	PU
	PU) 
	(DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW 
	DXLOW
	DXLOW 
	DXLOW 
	DXLOW) 
	(DXHIGH 
	DXHIGH
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH
	DXHIGH 
	DXHIGH 
	DXHIGH 
	DXHIGH) 
	(CSHARE 
	CSHARE 
	CSHARE 
	CSHARE 
	CSHARE 
	CSHARE 
	CSHARE
	CSHARE 
	CSHARE 
	CSHARE 
	CSHARE
	CSHARE)
	(PD 
	PD
	PD 
	PD
	PD 
	PD 
	PD 
	PD
	PD 
	PD 
	PD 
	PD) 
  ) 
)