There are no maps with codomain Decorated permutations in the database:
(and possibly some waiting for verification)