Permutation table for the uxntal stack opcodes.
The stack assumes the elements a b c.
| POP POP | a |
| POP POP DUP | a a |
| POP POP DUPk | a a a |
| POP OVR SWP | a a b |
| NIP OVR SWP | a a c |
| POP | a b |
| POP OVR | a b a |
| POP OVR DUP | a b a a |
| POP OVR DUPk | a b a a a |
| POP OVR SWPk | a b a a b |
| POP OVR OVR | a b a b |
| POP OVRk | a b a b a |
| POP OVR ROTk | a b a b a a |
| POP OVRk DUPk | a b a b a a a |
| POP OVRk SWPk | a b a b a a b |
| POP OVR OVRk | a b a b a b |
| POP OVRk ROTk | a b a b a b a a |
| POP OVRk OVRk | a b a b a b a b |
| POP DUP | a b b |
| POP SWPk | a b b a |
| POP SWPk DUP | a b b a a |
| POP SWPk DUPk | a b b a a a |
| POP SWPk SWPk | a b b a a b |
| POP SWPk OVR | a b b a b |
| POP SWPk OVRk | a b b a b a b |
| ROTk NIP ROT | a b b a c |
| POP DUPk | a b b b |
| POP DUP DUPk | a b b b b |
| POP DUP ROTk | a b b b b a |
| POP DUP OVRk | a b b b b b |
| POP DUPk OVRk | a b b b b b b |
| OVR DUP ROT | a b b b c |
| OVR SWP | a b b c |
| OVR SWP OVR | a b b c b |
| OVR SWP OVRk | a b b c b c b |
| OVR SWP DUP | a b b c c |
| OVR SWP SWPk | a b b c c b |
| OVR SWP DUPk | a b b c c c |
| POPk | a b c |
| ROTk NIP NIP | a b c a |
| ROTk NIP SWP | a b c a b |
| ROTk ROT ROT | a b c a b c |
| ROTk SWP ROT | a b c a c b |
| OVR | a b c b |
| ROTk NIP | a b c b a |
| ROTk NIP DUP | a b c b a a |
| ROTk NIP DUPk | a b c b a a a |
| ROTk NIP SWPk | a b c b a a b |
| ROTk DUP ROT | a b c b a a c |
| ROTk NIP OVR | a b c b a b |
| ROTk NIP OVRk | a b c b a b a b |
| ROTk NIP ROTk | a b c b a b a c |
| ROTk SWP | a b c b a c |
| ROTk SWP OVR | a b c b a c a |
| ROTk SWP OVRk | a b c b a c a c a |
| ROTk SWP ROTk | a b c b a c a c b |
| ROTk SWP DUP | a b c b a c c |
| ROTk SWP SWPk | a b c b a c c a |
| ROTk SWP DUPk | a b c b a c c c |
| OVR DUP | a b c b b |
| OVR DUPk | a b c b b b |
| OVR DUP DUPk | a b c b b b b |
| OVR DUP OVRk | a b c b b b b b |
| OVR DUPk OVRk | a b c b b b b b b |
| OVR DUP ROTk | a b c b b b b c |
| OVR ROTk ROT | a b c b b b c |
| OVR SWPk | a b c b b c |
| OVR SWPk OVR | a b c b b c b |
| OVR SWPk OVRk | a b c b b c b c b |
| OVR SWPk DUP | a b c b b c c |
| OVR SWPk SWPk | a b c b b c c b |
| OVR SWPk DUPk | a b c b b c c c |
| OVR OVR | a b c b c |
| ROTk | a b c b c a |
| ROTk DUP | a b c b c a a |
| ROTk DUPk | a b c b c a a a |
| ROTk DUP DUPk | a b c b c a a a a |
| ROTk DUP OVRk | a b c b c a a a a a |
| ROTk DUPk OVRk | a b c b c a a a a a a |
| ROTk DUP ROTk | a b c b c a a a a c |
| ROTk ROTk ROT | a b c b c a a b c |
| ROTk SWPk | a b c b c a a c |
| ROTk SWPk OVR | a b c b c a a c a |
| ROTk SWPk OVRk | a b c b c a a c a c a |
| ROTk SWPk DUP | a b c b c a a c c |
| ROTk SWPk SWPk | a b c b c a a c c a |
| ROTk SWPk DUPk | a b c b c a a c c c |
| ROTk OVR | a b c b c a c |
| ROTk OVR OVR | a b c b c a c a |
| ROTk ROTk | a b c b c a c a b |
| ROTk ROTk OVR | a b c b c a c a b a |
| ROTk ROTk OVRk | a b c b c a c a b a b a |
| ROTk ROTk ROTk | a b c b c a c a b a b c |
| ROTk ROTk DUP | a b c b c a c a b b |
| ROTk ROTk SWPk | a b c b c a c a b b a |
| ROTk ROTk DUPk | a b c b c a c a b b b |
| ROTk OVRk | a b c b c a c a c |
| ROTk OVR OVRk | a b c b c a c a c a |
| ROTk OVRk OVRk | a b c b c a c a c a c a |
| ROTk OVRk ROTk | a b c b c a c a c a c c |
| ROTk OVR ROTk | a b c b c a c a c c |
| ROTk OVRk SWPk | a b c b c a c a c c a |
| ROTk OVRk DUPk | a b c b c a c a c c c |
| ROTk ROTk NIP | a b c b c a c b |
| ROTk ROTk SWP | a b c b c a c b a |
| ROTk OVR DUP | a b c b c a c c |
| ROTk OVR SWPk | a b c b c a c c a |
| ROTk OVR DUPk | a b c b c a c c c |
| OVRk | a b c b c b |
| OVR ROTk | a b c b c b b |
| OVRk DUPk | a b c b c b b b |
| OVR ROTk DUPk | a b c b c b b b b |
| OVR ROTk OVRk | a b c b c b b b b b |
| OVRk DUPk OVRk | a b c b c b b b b b b |
| OVR ROTk ROTk | a b c b c b b b b c |
| OVRk ROTk ROT | a b c b c b b b c |
| OVRk SWPk | a b c b c b b c |
| OVRk SWPk OVR | a b c b c b b c b |
| OVRk SWPk OVRk | a b c b c b b c b c b |
| OVRk SWPk DUP | a b c b c b b c c |
| OVRk SWPk SWPk | a b c b c b b c c b |
| OVRk SWPk DUPk | a b c b c b b c c c |
| OVR OVRk | a b c b c b c |
| OVR OVR OVRk | a b c b c b c b |
| OVRk ROTk | a b c b c b c b b |
| OVRk ROTk DUP | a b c b c b c b b b |
| OVRk ROTk DUPk | a b c b c b c b b b b |
| OVRk ROTk OVRk | a b c b c b c b b b b b |
| OVRk ROTk ROTk | a b c b c b c b b b b c |
| OVRk OVRk | a b c b c b c b c |
| OVR OVRk OVRk | a b c b c b c b c b |
| OVRk OVRk OVRk | a b c b c b c b c b c b |
| OVRk OVRk ROTk | a b c b c b c b c b c c |
| OVR OVRk ROTk | a b c b c b c b c c |
| OVRk OVRk SWPk | a b c b c b c b c c b |
| OVRk OVRk DUPk | a b c b c b c b c c c |
| OVR OVR ROTk | a b c b c b c c |
| OVR OVRk SWPk | a b c b c b c c b |
| OVR OVRk DUPk | a b c b c b c c c |
| OVR OVR DUP | a b c b c c |
| ROTk OVR SWP | a b c b c c a |
| OVR OVR SWPk | a b c b c c b |
| OVR OVR DUPk | a b c b c c c |
| DUP | a b c c |
| ROTk ROT POP | a b c c a |
| ROTk ROT | a b c c a b |
| ROTk ROT OVR | a b c c a b a |
| ROTk ROT OVRk | a b c c a b a b a |
| ROTk ROT ROTk | a b c c a b a b c |
| ROTk ROT DUP | a b c c a b b |
| ROTk ROT SWPk | a b c c a b b a |
| ROTk ROT DUPk | a b c c a b b b |
| SWPk | a b c c b |
| ROTk ROT SWP | a b c c b a |
| SWPk DUP | a b c c b b |
| SWPk DUPk | a b c c b b b |
| SWPk DUP DUPk | a b c c b b b b |
| SWPk DUP OVRk | a b c c b b b b b |
| SWPk DUPk OVRk | a b c c b b b b b b |
| SWPk DUP ROTk | a b c c b b b b c |
| SWPk SWPk | a b c c b b c |
| SWPk SWPk OVR | a b c c b b c b |
| SWPk SWPk OVRk | a b c c b b c b c b |
| SWPk SWPk DUP | a b c c b b c c |
| SWPk SWPk SWPk | a b c c b b c c b |
| SWPk SWPk DUPk | a b c c b b c c c |
| SWPk OVR | a b c c b c |
| SWPk OVR OVR | a b c c b c b |
| SWPk OVRk | a b c c b c b c |
| SWPk OVR OVRk | a b c c b c b c b |
| SWPk OVRk OVRk | a b c c b c b c b c b |
| SWPk OVRk ROTk | a b c c b c b c b c c |
| SWPk OVR ROTk | a b c c b c b c c |
| SWPk OVRk SWPk | a b c c b c b c c b |
| SWPk OVRk DUPk | a b c c b c b c c c |
| SWPk OVR DUP | a b c c b c c |
| SWPk OVR SWPk | a b c c b c c b |
| SWPk OVR DUPk | a b c c b c c c |
| DUPk | a b c c c |
| DUP ROTk NIP | a b c c c b |
| DUP ROTk SWP | a b c c c b c |
| DUP DUPk | a b c c c c |
| DUP ROTk | a b c c c c b |
| DUP ROTk DUP | a b c c c c b b |
| DUP ROTk DUPk | a b c c c c b b b |
| DUP ROTk SWPk | a b c c c c b b c |
| DUP ROTk OVR | a b c c c c b c |
| DUP ROTk OVRk | a b c c c c b c b c |
| DUP OVRk | a b c c c c c |
| DUPk OVRk | a b c c c c c c |
| DUP DUPk OVRk | a b c c c c c c c |
| DUP OVRk OVRk | a b c c c c c c c c |
| DUPk OVRk OVRk | a b c c c c c c c c c |
| NIP | a c |
| NIP OVR | a c a |
| NIP OVR DUP | a c a a |
| NIP OVR DUPk | a c a a a |
| NIP OVR SWPk | a c a a c |
| NIP OVR OVR | a c a c |
| NIP OVRk | a c a c a |
| NIP OVR ROTk | a c a c a a |
| NIP OVRk DUPk | a c a c a a a |
| NIP OVRk SWPk | a c a c a a c |
| NIP OVR OVRk | a c a c a c |
| NIP OVRk ROTk | a c a c a c a a |
| NIP OVRk OVRk | a c a c a c a c |
| SWP | a c b |
| SWP DUP | a c b b |
| SWP ROTk ROT | a c b b a c |
| SWP DUPk | a c b b b |
| SWP DUP DUPk | a c b b b b |
| SWP DUP OVRk | a c b b b b b |
| SWP DUPk OVRk | a c b b b b b b |
| SWP DUP ROTk | a c b b b b c |
| SWP SWPk | a c b b c |
| SWP SWPk OVR | a c b b c b |
| SWP SWPk OVRk | a c b b c b c b |
| SWP SWPk DUP | a c b b c c |
| SWP SWPk SWPk | a c b b c c b |
| SWP SWPk DUPk | a c b b c c c |
| SWP OVR | a c b c |
| SWP ROTk NIP | a c b c a |
| SWP ROTk SWP | a c b c a b |
| SWP OVR OVR | a c b c b |
| SWP ROTk | a c b c b a |
| SWP ROTk DUP | a c b c b a a |
| SWP ROTk DUPk | a c b c b a a a |
| SWP ROTk SWPk | a c b c b a a b |
| SWP ROTk OVR | a c b c b a b |
| SWP ROTk OVRk | a c b c b a b a b |
| SWP ROTk ROTk | a c b c b a b a c |
| SWP OVRk | a c b c b c |
| SWP OVR OVRk | a c b c b c b |
| SWP OVRk OVRk | a c b c b c b c b |
| SWP OVRk ROTk | a c b c b c b c c |
| SWP OVR ROTk | a c b c b c c |
| SWP OVRk SWPk | a c b c b c c b |
| SWP OVRk DUPk | a c b c b c c c |
| SWP OVR DUP | a c b c c |
| SWP OVR SWPk | a c b c c b |
| SWP OVR DUPk | a c b c c c |
| NIP DUP | a c c |
| NIP SWPk | a c c a |
| NIP SWPk DUP | a c c a a |
| NIP SWPk DUPk | a c c a a a |
| NIP SWPk SWPk | a c c a a c |
| NIP SWPk OVR | a c c a c |
| NIP SWPk OVRk | a c c a c a c |
| DUP ROT | a c c b |
| DUP ROT DUP | a c c b b |
| DUP ROT DUPk | a c c b b b |
| DUP ROT SWPk | a c c b b c |
| DUP ROT OVR | a c c b c |
| DUP ROT OVRk | a c c b c b c |
| NIP DUPk | a c c c |
| NIP DUP DUPk | a c c c c |
| NIP DUP ROTk | a c c c c a |
| NIP DUP OVRk | a c c c c c |
| NIP DUPk OVRk | a c c c c c c |
| POP NIP | b |
| POP SWP | b a |
| POP SWP DUP | b a a |
| POP SWP DUPk | b a a a |
| POP SWP SWPk | b a a b |
| ROT DUP ROT | b a a c |
| POP SWP OVR | b a b |
| POP SWP OVRk | b a b a b |
| ROT SWP | b a c |
| ROT SWP OVR | b a c a |
| ROT SWP OVRk | b a c a c a |
| ROT SWP ROTk | b a c a c b |
| ROT SWP DUP | b a c c |
| ROT SWP SWPk | b a c c a |
| ROT SWP DUPk | b a c c c |
| POP NIP DUP | b b |
| POP DUP ROT | b b a |
| POP NIP DUPk | b b b |
| ROT POP | b c |
| ROT | b c a |
| ROT DUP | b c a a |
| ROT DUPk | b c a a a |
| ROT DUP DUPk | b c a a a a |
| ROT DUP OVRk | b c a a a a a |
| ROT DUPk OVRk | b c a a a a a a |
| ROT DUP ROTk | b c a a a a c |
| ROT ROTk ROT | b c a a b c |
| ROT SWPk | b c a a c |
| ROT SWPk OVR | b c a a c a |
| ROT SWPk OVRk | b c a a c a c a |
| ROT SWPk DUP | b c a a c c |
| ROT SWPk SWPk | b c a a c c a |
| ROT SWPk DUPk | b c a a c c c |
| ROT OVR | b c a c |
| ROT OVR OVR | b c a c a |
| ROT ROTk | b c a c a b |
| ROT ROTk OVR | b c a c a b a |
| ROT ROTk OVRk | b c a c a b a b a |
| ROT ROTk ROTk | b c a c a b a b c |
| ROT ROTk DUP | b c a c a b b |
| ROT ROTk SWPk | b c a c a b b a |
| ROT ROTk DUPk | b c a c a b b b |
| ROT OVRk | b c a c a c |
| ROT OVR OVRk | b c a c a c a |
| ROT OVRk OVRk | b c a c a c a c a |
| ROT OVRk ROTk | b c a c a c a c c |
| ROT OVR ROTk | b c a c a c c |
| ROT OVRk SWPk | b c a c a c c a |
| ROT OVRk DUPk | b c a c a c c c |
| ROT ROTk NIP | b c a c b |
| ROT ROTk SWP | b c a c b a |
| ROT OVR DUP | b c a c c |
| ROT OVR SWPk | b c a c c a |
| ROT OVR DUPk | b c a c c c |
| ROT POP OVR | b c b |
| ROT POP OVRk | b c b c b |
| ROT POP DUP | b c c |
| ROT OVR SWP | b c c a |
| ROT POP SWPk | b c c b |
| ROT POP DUPk | b c c c |
| NIP NIP | c |
| NIP SWP | c a |
| NIP SWP DUP | c a a |
| NIP SWP DUPk | c a a a |
| NIP SWP SWPk | c a a c |
| ROT ROT | c a b |
| ROT ROT OVR | c a b a |
| ROT ROT OVRk | c a b a b a |
| ROT ROT ROTk | c a b a b c |
| ROT ROT DUP | c a b b |
| ROT ROT SWPk | c a b b a |
| ROT ROT DUPk | c a b b b |
| NIP SWP OVR | c a c |
| NIP SWP OVRk | c a c a c |
| SWP ROT POP | c b |
| SWP ROT | c b a |
| SWP ROT DUP | c b a a |
| SWP ROT DUPk | c b a a a |
| SWP ROT SWPk | c b a a b |
| SWP ROT OVR | c b a b |
| SWP ROT OVRk | c b a b a b |
| SWP ROT ROTk | c b a b a c |
| NIP NIP DUP | c c |
| NIP DUP ROT | c c a |
| NIP NIP DUPk | c c c |