E	(a|b|\|)		|		(0,1)(0,1)
B	\\(^			\(^		(0,3)
B	a*+			aa+		(0,3)
B	a\{2\}+			aa+		(0,3)
EH	\Q\t*\E			\t*		(0,3)
EH	\Q\\t*\E		\\t*		(0,4)