(ab|bc).?_x_C(D(?.abc))	(0,{0})_I	(1,{0,1})	(2,{0})	(3,{0})_A	(3,{0,1})_A	(3,{0,2})_A	(3,{0,3})
a	(1,{0,1})			(3,{0,1})	(3,{0,1})	(3,{0,1})	(3,{0,1})
b	(2,{0})	(3,{0,2})		(3,{0})	(3,{0,2})	(3,{0})	(3,{0})
c			(3,{0})	(3,{0})	(3,{0})	(3,{0,3})	(3,{0})