-- SimTtable.mesa
-- last edited by Suzuki: May 14, 1981  4:11 PM 

DIRECTORY
	SimTsim;

SimTTable: PROGRAM 
	EXPORTS SimTsim = { OPEN SimTsim;

--#einclude "tsim.h"

-- table of transistor markings for tsim 
-- automatically generated by gentable.c 

transTbl: PUBLIC ARRAY GateState OF ARRAY Potential OF ARRAY Potential OF Potential ← [
	[[INIT,	-- gate: unknown, source: initial, drain: initial 
	DX,	-- gate: unknown, source: initial, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: initial, drain: driven high 
	DXLOW,	-- gate: unknown, source: initial, drain: driven low 
	CX,	-- gate: unknown, source: initial, drain: charged unknown 
	CX,	-- gate: unknown, source: initial, drain: charged high 
	CX,	-- gate: unknown, source: initial, drain: charged low 
	DXHIGH,	-- gate: unknown, source: initial, drain: pulled up 
	DXLOW,	-- gate: unknown, source: initial, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: initial, drain: unknown-high 
	CX],	-- gate: unknown, source: initial, drain: shared charge 
	[DX,	-- gate: unknown, source: driven unknown, drain: initial 
	DX,	-- gate: unknown, source: driven unknown, drain: driven unknown 
	DX,	-- gate: unknown, source: driven unknown, drain: driven high 
	DX,	-- gate: unknown, source: driven unknown, drain: driven low 
	DX,	-- gate: unknown, source: driven unknown, drain: charged unknown 
	DX,	-- gate: unknown, source: driven unknown, drain: charged high 
	DX,	-- gate: unknown, source: driven unknown, drain: charged low 
	DX,	-- gate: unknown, source: driven unknown, drain: pulled up 
	DX,	-- gate: unknown, source: driven unknown, drain: unknown-low 
	DX,	-- gate: unknown, source: driven unknown, drain: unknown-high 
	DX],	-- gate: unknown, source: driven unknown, drain: shared charge 
	[DHIGH,	-- gate: unknown, source: driven high, drain: initial 
	DX,	-- gate: unknown, source: driven high, drain: driven unknown 
	DHIGH,	-- gate: unknown, source: driven high, drain: driven high 
	DX,	-- gate: unknown, source: driven high, drain: driven low 
	DHIGH,	-- gate: unknown, source: driven high, drain: charged unknown 
	DHIGH,	-- gate: unknown, source: driven high, drain: charged high 
	DHIGH,	-- gate: unknown, source: driven high, drain: charged low 
	DHIGH,	-- gate: unknown, source: driven high, drain: pulled up 
	DX,	-- gate: unknown, source: driven high, drain: unknown-low 
	DHIGH,	-- gate: unknown, source: driven high, drain: unknown-high 
	DHIGH],	-- gate: unknown, source: driven high, drain: shared charge 
	[DLOW,	-- gate: unknown, source: driven low, drain: initial 
	DX,	-- gate: unknown, source: driven low, drain: driven unknown 
	DX,	-- gate: unknown, source: driven low, drain: driven high 
	DLOW,	-- gate: unknown, source: driven low, drain: driven low 
	DLOW,	-- gate: unknown, source: driven low, drain: charged unknown 
	DLOW,	-- gate: unknown, source: driven low, drain: charged high 
	DLOW,	-- gate: unknown, source: driven low, drain: charged low 
	DLOW,	-- gate: unknown, source: driven low, drain: pulled up 
	DLOW,	-- gate: unknown, source: driven low, drain: unknown-low 
	DX,	-- gate: unknown, source: driven low, drain: unknown-high 
	DLOW],	-- gate: unknown, source: driven low, drain: shared charge 
	[CX,	-- gate: unknown, source: charged unknown, drain: initial 
	DX,	-- gate: unknown, source: charged unknown, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: charged unknown, drain: driven high 
	DXLOW,	-- gate: unknown, source: charged unknown, drain: driven low 
	CX,	-- gate: unknown, source: charged unknown, drain: charged unknown 
	CX,	-- gate: unknown, source: charged unknown, drain: charged high 
	CX,	-- gate: unknown, source: charged unknown, drain: charged low 
	DXHIGH,	-- gate: unknown, source: charged unknown, drain: pulled up 
	DXLOW,	-- gate: unknown, source: charged unknown, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: charged unknown, drain: unknown-high 
	CX],	-- gate: unknown, source: charged unknown, drain: shared charge 
	[CX,	-- gate: unknown, source: charged high, drain: initial 
	DX,	-- gate: unknown, source: charged high, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: charged high, drain: driven high 
	DXLOW,	-- gate: unknown, source: charged high, drain: driven low 
	CX,	-- gate: unknown, source: charged high, drain: charged unknown 
	CHIGH,	-- gate: unknown, source: charged high, drain: charged high 
	CX,	-- gate: unknown, source: charged high, drain: charged low 
	DXHIGH,	-- gate: unknown, source: charged high, drain: pulled up 
	DXLOW,	-- gate: unknown, source: charged high, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: charged high, drain: unknown-high 
	CX],	-- gate: unknown, source: charged high, drain: shared charge 
	[CX,	-- gate: unknown, source: charged low, drain: initial 
	DX,	-- gate: unknown, source: charged low, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: charged low, drain: driven high 
	DXLOW,	-- gate: unknown, source: charged low, drain: driven low 
	CX,	-- gate: unknown, source: charged low, drain: charged unknown 
	CX,	-- gate: unknown, source: charged low, drain: charged high 
	CLOW,	-- gate: unknown, source: charged low, drain: charged low 
	DXHIGH,	-- gate: unknown, source: charged low, drain: pulled up 
	DXLOW,	-- gate: unknown, source: charged low, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: charged low, drain: unknown-high 
	CX],	-- gate: unknown, source: charged low, drain: shared charge 
	[P,	-- gate: unknown, source: pulled up, drain: initial 
	DX,	-- gate: unknown, source: pulled up, drain: driven unknown 
	P,	-- gate: unknown, source: pulled up, drain: driven high 
	DXLOW,	-- gate: unknown, source: pulled up, drain: driven low 
	P,	-- gate: unknown, source: pulled up, drain: charged unknown 
	P,	-- gate: unknown, source: pulled up, drain: charged high 
	P,	-- gate: unknown, source: pulled up, drain: charged low 
	P,	-- gate: unknown, source: pulled up, drain: pulled up 
	DXLOW,	-- gate: unknown, source: pulled up, drain: unknown-low 
	P,	-- gate: unknown, source: pulled up, drain: unknown-high 
	P],	-- gate: unknown, source: pulled up, drain: shared charge 
	[DXLOW,	-- gate: unknown, source: unknown-low, drain: initial 
	DX,	-- gate: unknown, source: unknown-low, drain: driven unknown 
	DX,	-- gate: unknown, source: unknown-low, drain: driven high 
	DXLOW,	-- gate: unknown, source: unknown-low, drain: driven low 
	DXLOW,	-- gate: unknown, source: unknown-low, drain: charged unknown 
	DXLOW,	-- gate: unknown, source: unknown-low, drain: charged high 
	DXLOW,	-- gate: unknown, source: unknown-low, drain: charged low 
	DX,	-- gate: unknown, source: unknown-low, drain: pulled up 
	DXLOW,	-- gate: unknown, source: unknown-low, drain: unknown-low 
	DX,	-- gate: unknown, source: unknown-low, drain: unknown-high 
	DXLOW],	-- gate: unknown, source: unknown-low, drain: shared charge 
	[DXHIGH,	-- gate: unknown, source: unknown-high, drain: initial 
	DX,	-- gate: unknown, source: unknown-high, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: driven high 
	DX,	-- gate: unknown, source: unknown-high, drain: driven low 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: charged unknown 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: charged high 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: charged low 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: pulled up 
	DX,	-- gate: unknown, source: unknown-high, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: unknown-high, drain: unknown-high 
	DXHIGH],	-- gate: unknown, source: unknown-high, drain: shared charge 
	[CX,	-- gate: unknown, source: shared charge, drain: initial 
	DX,	-- gate: unknown, source: shared charge, drain: driven unknown 
	DXHIGH,	-- gate: unknown, source: shared charge, drain: driven high 
	DXLOW,	-- gate: unknown, source: shared charge, drain: driven low 
	CX,	-- gate: unknown, source: shared charge, drain: charged unknown 
	CX,	-- gate: unknown, source: shared charge, drain: charged high 
	CX,	-- gate: unknown, source: shared charge, drain: charged low 
	DXHIGH,	-- gate: unknown, source: shared charge, drain: pulled up 
	DXLOW,	-- gate: unknown, source: shared charge, drain: unknown-low 
	DXHIGH,	-- gate: unknown, source: shared charge, drain: unknown-high 
	CSHARE]],	-- gate: unknown, source: shared charge, drain: shared charge 
	[[INIT,	-- gate: high, source: initial, drain: initial 
	DX,	-- gate: high, source: initial, drain: driven unknown 
	DHIGH,	-- gate: high, source: initial, drain: driven high 
	DLOW,	-- gate: high, source: initial, drain: driven low 
	CX,	-- gate: high, source: initial, drain: charged unknown 
	CHIGH,	-- gate: high, source: initial, drain: charged high 
	CLOW,	-- gate: high, source: initial, drain: charged low 
	P,	-- gate: high, source: initial, drain: pulled up 
	DXLOW,	-- gate: high, source: initial, drain: unknown-low 
	DXHIGH,	-- gate: high, source: initial, drain: unknown-high 
	CSHARE],	-- gate: high, source: initial, drain: shared charge 
	[DX,	-- gate: high, source: driven unknown, drain: initial 
	DX,	-- gate: high, source: driven unknown, drain: driven unknown 
	DX,	-- gate: high, source: driven unknown, drain: driven high 
	DX,	-- gate: high, source: driven unknown, drain: driven low 
	DX,	-- gate: high, source: driven unknown, drain: charged unknown 
	DX,	-- gate: high, source: driven unknown, drain: charged high 
	DX,	-- gate: high, source: driven unknown, drain: charged low 
	DX,	-- gate: high, source: driven unknown, drain: pulled up 
	DX,	-- gate: high, source: driven unknown, drain: unknown-low 
	DX,	-- gate: high, source: driven unknown, drain: unknown-high 
	DX],	-- gate: high, source: driven unknown, drain: shared charge 
	[DHIGH,	-- gate: high, source: driven high, drain: initial 
	DX,	-- gate: high, source: driven high, drain: driven unknown 
	DHIGH,	-- gate: high, source: driven high, drain: driven high 
	DX,	-- gate: high, source: driven high, drain: driven low 
	DHIGH,	-- gate: high, source: driven high, drain: charged unknown 
	DHIGH,	-- gate: high, source: driven high, drain: charged high 
	DHIGH,	-- gate: high, source: driven high, drain: charged low 
	DHIGH,	-- gate: high, source: driven high, drain: pulled up 
	DX,	-- gate: high, source: driven high, drain: unknown-low 
	DHIGH,	-- gate: high, source: driven high, drain: unknown-high 
	DHIGH],	-- gate: high, source: driven high, drain: shared charge 
	[DLOW,	-- gate: high, source: driven low, drain: initial 
	DX,	-- gate: high, source: driven low, drain: driven unknown 
	DX,	-- gate: high, source: driven low, drain: driven high 
	DLOW,	-- gate: high, source: driven low, drain: driven low 
	DLOW,	-- gate: high, source: driven low, drain: charged unknown 
	DLOW,	-- gate: high, source: driven low, drain: charged high 
	DLOW,	-- gate: high, source: driven low, drain: charged low 
	DLOW,	-- gate: high, source: driven low, drain: pulled up 
	DLOW,	-- gate: high, source: driven low, drain: unknown-low 
	DX,	-- gate: high, source: driven low, drain: unknown-high 
	DLOW],	-- gate: high, source: driven low, drain: shared charge 
	[CX,	-- gate: high, source: charged unknown, drain: initial 
	DX,	-- gate: high, source: charged unknown, drain: driven unknown 
	DHIGH,	-- gate: high, source: charged unknown, drain: driven high 
	DLOW,	-- gate: high, source: charged unknown, drain: driven low 
	CX,	-- gate: high, source: charged unknown, drain: charged unknown 
	CSHARE,	-- gate: high, source: charged unknown, drain: charged high 
	CSHARE,	-- gate: high, source: charged unknown, drain: charged low 
	P,	-- gate: high, source: charged unknown, drain: pulled up 
	DXLOW,	-- gate: high, source: charged unknown, drain: unknown-low 
	DXHIGH,	-- gate: high, source: charged unknown, drain: unknown-high 
	CSHARE],	-- gate: high, source: charged unknown, drain: shared charge 
	[CHIGH,	-- gate: high, source: charged high, drain: initial 
	DX,	-- gate: high, source: charged high, drain: driven unknown 
	DHIGH,	-- gate: high, source: charged high, drain: driven high 
	DLOW,	-- gate: high, source: charged high, drain: driven low 
	CSHARE,	-- gate: high, source: charged high, drain: charged unknown 
	CHIGH,	-- gate: high, source: charged high, drain: charged high 
	CSHARE,	-- gate: high, source: charged high, drain: charged low 
	P,	-- gate: high, source: charged high, drain: pulled up 
	DXLOW,	-- gate: high, source: charged high, drain: unknown-low 
	DXHIGH,	-- gate: high, source: charged high, drain: unknown-high 
	CSHARE],	-- gate: high, source: charged high, drain: shared charge 
	[CLOW,	-- gate: high, source: charged low, drain: initial 
	DX,	-- gate: high, source: charged low, drain: driven unknown 
	DHIGH,	-- gate: high, source: charged low, drain: driven high 
	DLOW,	-- gate: high, source: charged low, drain: driven low 
	CSHARE,	-- gate: high, source: charged low, drain: charged unknown 
	CSHARE,	-- gate: high, source: charged low, drain: charged high 
	CLOW,	-- gate: high, source: charged low, drain: charged low 
	P,	-- gate: high, source: charged low, drain: pulled up 
	DXLOW,	-- gate: high, source: charged low, drain: unknown-low 
	DXHIGH,	-- gate: high, source: charged low, drain: unknown-high 
	CSHARE],	-- gate: high, source: charged low, drain: shared charge 
	[P,	-- gate: high, source: pulled up, drain: initial 
	DX,	-- gate: high, source: pulled up, drain: driven unknown 
	DHIGH,	-- gate: high, source: pulled up, drain: driven high 
	DLOW,	-- gate: high, source: pulled up, drain: driven low 
	P,	-- gate: high, source: pulled up, drain: charged unknown 
	P,	-- gate: high, source: pulled up, drain: charged high 
	P,	-- gate: high, source: pulled up, drain: charged low 
	P,	-- gate: high, source: pulled up, drain: pulled up 
	DXLOW,	-- gate: high, source: pulled up, drain: unknown-low 
	DXHIGH,	-- gate: high, source: pulled up, drain: unknown-high 
	P],	-- gate: high, source: pulled up, drain: shared charge 
	[DXLOW,	-- gate: high, source: unknown-low, drain: initial 
	DX,	-- gate: high, source: unknown-low, drain: driven unknown 
	DX,	-- gate: high, source: unknown-low, drain: driven high 
	DLOW,	-- gate: high, source: unknown-low, drain: driven low 
	DXLOW,	-- gate: high, source: unknown-low, drain: charged unknown 
	DXLOW,	-- gate: high, source: unknown-low, drain: charged high 
	DXLOW,	-- gate: high, source: unknown-low, drain: charged low 
	DXLOW,	-- gate: high, source: unknown-low, drain: pulled up 
	DXLOW,	-- gate: high, source: unknown-low, drain: unknown-low 
	DX,	-- gate: high, source: unknown-low, drain: unknown-high 
	DXLOW],	-- gate: high, source: unknown-low, drain: shared charge 
	[DXHIGH,	-- gate: high, source: unknown-high, drain: initial 
	DX,	-- gate: high, source: unknown-high, drain: driven unknown 
	DHIGH,	-- gate: high, source: unknown-high, drain: driven high 
	DX,	-- gate: high, source: unknown-high, drain: driven low 
	DXHIGH,	-- gate: high, source: unknown-high, drain: charged unknown 
	DXHIGH,	-- gate: high, source: unknown-high, drain: charged high 
	DXHIGH,	-- gate: high, source: unknown-high, drain: charged low 
	DXHIGH,	-- gate: high, source: unknown-high, drain: pulled up 
	DX,	-- gate: high, source: unknown-high, drain: unknown-low 
	DXHIGH,	-- gate: high, source: unknown-high, drain: unknown-high 
	DXHIGH],	-- gate: high, source: unknown-high, drain: shared charge 
	[CSHARE,	-- gate: high, source: shared charge, drain: initial 
	DX,	-- gate: high, source: shared charge, drain: driven unknown 
	DHIGH,	-- gate: high, source: shared charge, drain: driven high 
	DLOW,	-- gate: high, source: shared charge, drain: driven low 
	CSHARE,	-- gate: high, source: shared charge, drain: charged unknown 
	CSHARE,	-- gate: high, source: shared charge, drain: charged high 
	CSHARE,	-- gate: high, source: shared charge, drain: charged low 
	P,	-- gate: high, source: shared charge, drain: pulled up 
	DXLOW,	-- gate: high, source: shared charge, drain: unknown-low 
	DXHIGH,	-- gate: high, source: shared charge, drain: unknown-high 
	CSHARE]],	-- gate: high, source: shared charge, drain: shared charge 
	[[INIT,	-- gate: low, source: initial, drain: initial 
	INIT,	-- gate: low, source: initial, drain: driven unknown 
	INIT,	-- gate: low, source: initial, drain: driven high 
	INIT,	-- gate: low, source: initial, drain: driven low 
	INIT,	-- gate: low, source: initial, drain: charged unknown 
	INIT,	-- gate: low, source: initial, drain: charged high 
	INIT,	-- gate: low, source: initial, drain: charged low 
	INIT,	-- gate: low, source: initial, drain: pulled up 
	INIT,	-- gate: low, source: initial, drain: unknown-low 
	INIT,	-- gate: low, source: initial, drain: unknown-high 
	INIT],	-- gate: low, source: initial, drain: shared charge 
	[DX,	-- gate: low, source: driven unknown, drain: initial 
	DX,	-- gate: low, source: driven unknown, drain: driven unknown 
	DX,	-- gate: low, source: driven unknown, drain: driven high 
	DX,	-- gate: low, source: driven unknown, drain: driven low 
	DX,	-- gate: low, source: driven unknown, drain: charged unknown 
	DX,	-- gate: low, source: driven unknown, drain: charged high 
	DX,	-- gate: low, source: driven unknown, drain: charged low 
	DX,	-- gate: low, source: driven unknown, drain: pulled up 
	DX,	-- gate: low, source: driven unknown, drain: unknown-low 
	DX,	-- gate: low, source: driven unknown, drain: unknown-high 
	DX],	-- gate: low, source: driven unknown, drain: shared charge 
	[DHIGH,	-- gate: low, source: driven high, drain: initial 
	DHIGH,	-- gate: low, source: driven high, drain: driven unknown 
	DHIGH,	-- gate: low, source: driven high, drain: driven high 
	DHIGH,	-- gate: low, source: driven high, drain: driven low 
	DHIGH,	-- gate: low, source: driven high, drain: charged unknown 
	DHIGH,	-- gate: low, source: driven high, drain: charged high 
	DHIGH,	-- gate: low, source: driven high, drain: charged low 
	DHIGH,	-- gate: low, source: driven high, drain: pulled up 
	DHIGH,	-- gate: low, source: driven high, drain: unknown-low 
	DHIGH,	-- gate: low, source: driven high, drain: unknown-high 
	DHIGH],	-- gate: low, source: driven high, drain: shared charge 
	[DLOW,	-- gate: low, source: driven low, drain: initial 
	DLOW,	-- gate: low, source: driven low, drain: driven unknown 
	DLOW,	-- gate: low, source: driven low, drain: driven high 
	DLOW,	-- gate: low, source: driven low, drain: driven low 
	DLOW,	-- gate: low, source: driven low, drain: charged unknown 
	DLOW,	-- gate: low, source: driven low, drain: charged high 
	DLOW,	-- gate: low, source: driven low, drain: charged low 
	DLOW,	-- gate: low, source: driven low, drain: pulled up 
	DLOW,	-- gate: low, source: driven low, drain: unknown-low 
	DLOW,	-- gate: low, source: driven low, drain: unknown-high 
	DLOW],	-- gate: low, source: driven low, drain: shared charge 
	[CX,	-- gate: low, source: charged unknown, drain: initial 
	CX,	-- gate: low, source: charged unknown, drain: driven unknown 
	CX,	-- gate: low, source: charged unknown, drain: driven high 
	CX,	-- gate: low, source: charged unknown, drain: driven low 
	CX,	-- gate: low, source: charged unknown, drain: charged unknown 
	CX,	-- gate: low, source: charged unknown, drain: charged high 
	CX,	-- gate: low, source: charged unknown, drain: charged low 
	CX,	-- gate: low, source: charged unknown, drain: pulled up 
	CX,	-- gate: low, source: charged unknown, drain: unknown-low 
	CX,	-- gate: low, source: charged unknown, drain: unknown-high 
	CX],	-- gate: low, source: charged unknown, drain: shared charge 
	[CHIGH,	-- gate: low, source: charged high, drain: initial 
	CHIGH,	-- gate: low, source: charged high, drain: driven unknown 
	CHIGH,	-- gate: low, source: charged high, drain: driven high 
	CHIGH,	-- gate: low, source: charged high, drain: driven low 
	CHIGH,	-- gate: low, source: charged high, drain: charged unknown 
	CHIGH,	-- gate: low, source: charged high, drain: charged high 
	CHIGH,	-- gate: low, source: charged high, drain: charged low 
	CHIGH,	-- gate: low, source: charged high, drain: pulled up 
	CHIGH,	-- gate: low, source: charged high, drain: unknown-low 
	CHIGH,	-- gate: low, source: charged high, drain: unknown-high 
	CHIGH],	-- gate: low, source: charged high, drain: shared charge 
	[CLOW,	-- gate: low, source: charged low, drain: initial 
	CLOW,	-- gate: low, source: charged low, drain: driven unknown 
	CLOW,	-- gate: low, source: charged low, drain: driven high 
	CLOW,	-- gate: low, source: charged low, drain: driven low 
	CLOW,	-- gate: low, source: charged low, drain: charged unknown 
	CLOW,	-- gate: low, source: charged low, drain: charged high 
	CLOW,	-- gate: low, source: charged low, drain: charged low 
	CLOW,	-- gate: low, source: charged low, drain: pulled up 
	CLOW,	-- gate: low, source: charged low, drain: unknown-low 
	CLOW,	-- gate: low, source: charged low, drain: unknown-high 
	CLOW],	-- gate: low, source: charged low, drain: shared charge 
	[P,	-- gate: low, source: pulled up, drain: initial 
	P,	-- gate: low, source: pulled up, drain: driven unknown 
	P,	-- gate: low, source: pulled up, drain: driven high 
	P,	-- gate: low, source: pulled up, drain: driven low 
	P,	-- gate: low, source: pulled up, drain: charged unknown 
	P,	-- gate: low, source: pulled up, drain: charged high 
	P,	-- gate: low, source: pulled up, drain: charged low 
	P,	-- gate: low, source: pulled up, drain: pulled up 
	P,	-- gate: low, source: pulled up, drain: unknown-low 
	P,	-- gate: low, source: pulled up, drain: unknown-high 
	P],	-- gate: low, source: pulled up, drain: shared charge 
	[DXLOW,	-- gate: low, source: unknown-low, drain: initial 
	DXLOW,	-- gate: low, source: unknown-low, drain: driven unknown 
	DXLOW,	-- gate: low, source: unknown-low, drain: driven high 
	DXLOW,	-- gate: low, source: unknown-low, drain: driven low 
	DXLOW,	-- gate: low, source: unknown-low, drain: charged unknown 
	DXLOW,	-- gate: low, source: unknown-low, drain: charged high 
	DXLOW,	-- gate: low, source: unknown-low, drain: charged low 
	DXLOW,	-- gate: low, source: unknown-low, drain: pulled up 
	DXLOW,	-- gate: low, source: unknown-low, drain: unknown-low 
	DXLOW,	-- gate: low, source: unknown-low, drain: unknown-high 
	DXLOW],	-- gate: low, source: unknown-low, drain: shared charge 
	[DXHIGH,	-- gate: low, source: unknown-high, drain: initial 
	DXHIGH,	-- gate: low, source: unknown-high, drain: driven unknown 
	DXHIGH,	-- gate: low, source: unknown-high, drain: driven high 
	DXHIGH,	-- gate: low, source: unknown-high, drain: driven low 
	DXHIGH,	-- gate: low, source: unknown-high, drain: charged unknown 
	DXHIGH,	-- gate: low, source: unknown-high, drain: charged high 
	DXHIGH,	-- gate: low, source: unknown-high, drain: charged low 
	DXHIGH,	-- gate: low, source: unknown-high, drain: pulled up 
	DXHIGH,	-- gate: low, source: unknown-high, drain: unknown-low 
	DXHIGH,	-- gate: low, source: unknown-high, drain: unknown-high 
	DXHIGH],	-- gate: low, source: unknown-high, drain: shared charge 
	[CSHARE,	-- gate: low, source: shared charge, drain: initial 
	CSHARE,	-- gate: low, source: shared charge, drain: driven unknown 
	CSHARE,	-- gate: low, source: shared charge, drain: driven high 
	CSHARE,	-- gate: low, source: shared charge, drain: driven low 
	CSHARE,	-- gate: low, source: shared charge, drain: charged unknown 
	CSHARE,	-- gate: low, source: shared charge, drain: charged high 
	CSHARE,	-- gate: low, source: shared charge, drain: charged low 
	CSHARE,	-- gate: low, source: shared charge, drain: pulled up 
	CSHARE,	-- gate: low, source: shared charge, drain: unknown-low 
	CSHARE,	-- gate: low, source: shared charge, drain: unknown-high 
	CSHARE]]	-- gate: low, source: shared charge, drain: shared charge 
];

}.