NOTA	1->0
HAD2	AT	1
HAD2	AT	0
SIGX	AT	1	IF	0T
HAD2	AT	0
HAD2	AT	1
NOTA	0->1
SIGX	AT	1	IF	0T
NOTA	2->0
HAD2	AT	1
HAD2	AT	0
SIGX	AT	1	IF	0T
HAD2	AT	2
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
HAD2	AT	0
SIGX	AT	2	IF	1T
HAD2	AT	1
HAD2	AT	2
NOTA	0->2
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
NOTA	3->0
HAD2	AT	2
HAD2	AT	1
SIGX	AT	2	IF	1T
HAD2	AT	0
SIGX	AT	1	IF	0T
SIGX	AT	2	IF	1T
HAD2	AT	3
SIGX	AT	3	IF	2T
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
HAD2	AT	0
SIGX	AT	2	IF	1T
HAD2	AT	1
SIGX	AT	3	IF	2T
HAD2	AT	2
HAD2	AT	3
NOTA	0->3
SIGX	AT	2	IF	1T
SIGX	AT	3	IF	2T
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
SIGX	AT	2	IF	1T
SIGX	AT	3	IF	2T
SIGX	AT	2	IF	1T
SIGX	AT	1	IF	0T
