Input, | a b c 〉
Output, U | a b c 〉 = | c b a 〉
| 000 〉
| 001 〉
| 100 〉
| 002 〉
| 200 〉
| 010 〉
| 011 〉
| 110 〉
| 012 〉
| 210 〉
⋮
| 220 〉
| 022 〉
| 221 〉
| 122 〉
| 222 〉