#show+

main = ~&K7 <'abc','ABC','123'>