<PERM (('45')) <PERM (('123')) <PERM ( ('123') ('45') ) e.1 >>>;