$use StdIO;

$tfunc Fab e = e;

Fab {
	'A'  e2 = 'B' <Fab e2>;
	s1   e2 = s1 <Fab e2>;
	(e1) e2 = (<Fab e1>) <Fab e2>;
	/*empty*/ = /*empty*/;
};

Main =
	'ABABA'('CA'('A'('AEA')'ADA'('EA'('A'))'AAA')'AC')'BA' :: e1,
	<PrintLn e1>,
	<PrintLn <Fab e1> <Fab 'A'> (<Fab 'A'>)>;