%3 sa1 s sa2 s sa1->sa2  2 aa1 aa sa1->aa1  2 sa3 s sa2->sa3  2 aa2 aa sa2->aa2  2 ea [] sa3->ea  1 sb1 s sb2 s sb1->sb2  3 ab1 aa sb1->ab1  3 sb3 s sb2->sb3  2 ab2 aa sb2->ab2  2 eb [] sb3->eb  1