XXIIVV

Permutation table for the uxntal stack opcodes.

The stack assumes the elements a b c.

POP POPa
POP POP DUPa a
POP POP DUPka a a
POP OVR SWPa a b
NIP OVR SWPa a c
POPa b
POP OVRa b a
POP OVR DUPa b a a
POP OVR DUPka b a a a
POP OVR SWPka b a a b
POP OVR OVRa b a b
POP OVRka b a b a
POP OVR ROTka b a b a a
POP OVRk DUPka b a b a a a
POP OVRk SWPka b a b a a b
POP OVR OVRka b a b a b
POP OVRk ROTka b a b a b a a
POP OVRk OVRka b a b a b a b
POP DUPa b b
POP SWPka b b a
POP SWPk DUPa b b a a
POP SWPk DUPka b b a a a
POP SWPk SWPka b b a a b
POP SWPk OVRa b b a b
POP SWPk OVRka b b a b a b
ROTk NIP ROTa b b a c
POP DUPka b b b
POP DUP DUPka b b b b
POP DUP ROTka b b b b a
POP DUP OVRka b b b b b
POP DUPk OVRka b b b b b b
OVR DUP ROTa b b b c
OVR SWPa b b c
OVR SWP OVRa b b c b
OVR SWP OVRka b b c b c b
OVR SWP DUPa b b c c
OVR SWP SWPka b b c c b
OVR SWP DUPka b b c c c
POPka b c
ROTk NIP NIPa b c a
ROTk NIP SWPa b c a b
ROTk ROT ROTa b c a b c
ROTk SWP ROTa b c a c b
OVRa b c b
ROTk NIPa b c b a
ROTk NIP DUPa b c b a a
ROTk NIP DUPka b c b a a a
ROTk NIP SWPka b c b a a b
ROTk DUP ROTa b c b a a c
ROTk NIP OVRa b c b a b
ROTk NIP OVRka b c b a b a b
ROTk NIP ROTka b c b a b a c
ROTk SWPa b c b a c
ROTk SWP OVRa b c b a c a
ROTk SWP OVRka b c b a c a c a
ROTk SWP ROTka b c b a c a c b
ROTk SWP DUPa b c b a c c
ROTk SWP SWPka b c b a c c a
ROTk SWP DUPka b c b a c c c
OVR DUPa b c b b
OVR DUPka b c b b b
OVR DUP DUPka b c b b b b
OVR DUP OVRka b c b b b b b
OVR DUPk OVRka b c b b b b b b
OVR DUP ROTka b c b b b b c
OVR ROTk ROTa b c b b b c
OVR SWPka b c b b c
OVR SWPk OVRa b c b b c b
OVR SWPk OVRka b c b b c b c b
OVR SWPk DUPa b c b b c c
OVR SWPk SWPka b c b b c c b
OVR SWPk DUPka b c b b c c c
OVR OVRa b c b c
ROTka b c b c a
ROTk DUPa b c b c a a
ROTk DUPka b c b c a a a
ROTk DUP DUPka b c b c a a a a
ROTk DUP OVRka b c b c a a a a a
ROTk DUPk OVRka b c b c a a a a a a
ROTk DUP ROTka b c b c a a a a c
ROTk ROTk ROTa b c b c a a b c
ROTk SWPka b c b c a a c
ROTk SWPk OVRa b c b c a a c a
ROTk SWPk OVRka b c b c a a c a c a
ROTk SWPk DUPa b c b c a a c c
ROTk SWPk SWPka b c b c a a c c a
ROTk SWPk DUPka b c b c a a c c c
ROTk OVRa b c b c a c
ROTk OVR OVRa b c b c a c a
ROTk ROTka b c b c a c a b
ROTk ROTk OVRa b c b c a c a b a
ROTk ROTk OVRka b c b c a c a b a b a
ROTk ROTk ROTka b c b c a c a b a b c
ROTk ROTk DUPa b c b c a c a b b
ROTk ROTk SWPka b c b c a c a b b a
ROTk ROTk DUPka b c b c a c a b b b
ROTk OVRka b c b c a c a c
ROTk OVR OVRka b c b c a c a c a
ROTk OVRk OVRka b c b c a c a c a c a
ROTk OVRk ROTka b c b c a c a c a c c
ROTk OVR ROTka b c b c a c a c c
ROTk OVRk SWPka b c b c a c a c c a
ROTk OVRk DUPka b c b c a c a c c c
ROTk ROTk NIPa b c b c a c b
ROTk ROTk SWPa b c b c a c b a
ROTk OVR DUPa b c b c a c c
ROTk OVR SWPka b c b c a c c a
ROTk OVR DUPka b c b c a c c c
OVRka b c b c b
OVR ROTka b c b c b b
OVRk DUPka b c b c b b b
OVR ROTk DUPka b c b c b b b b
OVR ROTk OVRka b c b c b b b b b
OVRk DUPk OVRka b c b c b b b b b b
OVR ROTk ROTka b c b c b b b b c
OVRk ROTk ROTa b c b c b b b c
OVRk SWPka b c b c b b c
OVRk SWPk OVRa b c b c b b c b
OVRk SWPk OVRka b c b c b b c b c b
OVRk SWPk DUPa b c b c b b c c
OVRk SWPk SWPka b c b c b b c c b
OVRk SWPk DUPka b c b c b b c c c
OVR OVRka b c b c b c
OVR OVR OVRka b c b c b c b
OVRk ROTka b c b c b c b b
OVRk ROTk DUPa b c b c b c b b b
OVRk ROTk DUPka b c b c b c b b b b
OVRk ROTk OVRka b c b c b c b b b b b
OVRk ROTk ROTka b c b c b c b b b b c
OVRk OVRka b c b c b c b c
OVR OVRk OVRka b c b c b c b c b
OVRk OVRk OVRka b c b c b c b c b c b
OVRk OVRk ROTka b c b c b c b c b c c
OVR OVRk ROTka b c b c b c b c c
OVRk OVRk SWPka b c b c b c b c c b
OVRk OVRk DUPka b c b c b c b c c c
OVR OVR ROTka b c b c b c c
OVR OVRk SWPka b c b c b c c b
OVR OVRk DUPka b c b c b c c c
OVR OVR DUPa b c b c c
ROTk OVR SWPa b c b c c a
OVR OVR SWPka b c b c c b
OVR OVR DUPka b c b c c c
DUPa b c c
ROTk ROT POPa b c c a
ROTk ROTa b c c a b
ROTk ROT OVRa b c c a b a
ROTk ROT OVRka b c c a b a b a
ROTk ROT ROTka b c c a b a b c
ROTk ROT DUPa b c c a b b
ROTk ROT SWPka b c c a b b a
ROTk ROT DUPka b c c a b b b
SWPka b c c b
ROTk ROT SWPa b c c b a
SWPk DUPa b c c b b
SWPk DUPka b c c b b b
SWPk DUP DUPka b c c b b b b
SWPk DUP OVRka b c c b b b b b
SWPk DUPk OVRka b c c b b b b b b
SWPk DUP ROTka b c c b b b b c
SWPk SWPka b c c b b c
SWPk SWPk OVRa b c c b b c b
SWPk SWPk OVRka b c c b b c b c b
SWPk SWPk DUPa b c c b b c c
SWPk SWPk SWPka b c c b b c c b
SWPk SWPk DUPka b c c b b c c c
SWPk OVRa b c c b c
SWPk OVR OVRa b c c b c b
SWPk OVRka b c c b c b c
SWPk OVR OVRka b c c b c b c b
SWPk OVRk OVRka b c c b c b c b c b
SWPk OVRk ROTka b c c b c b c b c c
SWPk OVR ROTka b c c b c b c c
SWPk OVRk SWPka b c c b c b c c b
SWPk OVRk DUPka b c c b c b c c c
SWPk OVR DUPa b c c b c c
SWPk OVR SWPka b c c b c c b
SWPk OVR DUPka b c c b c c c
DUPka b c c c
DUP ROTk NIPa b c c c b
DUP ROTk SWPa b c c c b c
DUP DUPka b c c c c
DUP ROTka b c c c c b
DUP ROTk DUPa b c c c c b b
DUP ROTk DUPka b c c c c b b b
DUP ROTk SWPka b c c c c b b c
DUP ROTk OVRa b c c c c b c
DUP ROTk OVRka b c c c c b c b c
DUP OVRka b c c c c c
DUPk OVRka b c c c c c c
DUP DUPk OVRka b c c c c c c c
DUP OVRk OVRka b c c c c c c c c
DUPk OVRk OVRka b c c c c c c c c c
NIPa c
NIP OVRa c a
NIP OVR DUPa c a a
NIP OVR DUPka c a a a
NIP OVR SWPka c a a c
NIP OVR OVRa c a c
NIP OVRka c a c a
NIP OVR ROTka c a c a a
NIP OVRk DUPka c a c a a a
NIP OVRk SWPka c a c a a c
NIP OVR OVRka c a c a c
NIP OVRk ROTka c a c a c a a
NIP OVRk OVRka c a c a c a c
SWPa c b
SWP DUPa c b b
SWP ROTk ROTa c b b a c
SWP DUPka c b b b
SWP DUP DUPka c b b b b
SWP DUP OVRka c b b b b b
SWP DUPk OVRka c b b b b b b
SWP DUP ROTka c b b b b c
SWP SWPka c b b c
SWP SWPk OVRa c b b c b
SWP SWPk OVRka c b b c b c b
SWP SWPk DUPa c b b c c
SWP SWPk SWPka c b b c c b
SWP SWPk DUPka c b b c c c
SWP OVRa c b c
SWP ROTk NIPa c b c a
SWP ROTk SWPa c b c a b
SWP OVR OVRa c b c b
SWP ROTka c b c b a
SWP ROTk DUPa c b c b a a
SWP ROTk DUPka c b c b a a a
SWP ROTk SWPka c b c b a a b
SWP ROTk OVRa c b c b a b
SWP ROTk OVRka c b c b a b a b
SWP ROTk ROTka c b c b a b a c
SWP OVRka c b c b c
SWP OVR OVRka c b c b c b
SWP OVRk OVRka c b c b c b c b
SWP OVRk ROTka c b c b c b c c
SWP OVR ROTka c b c b c c
SWP OVRk SWPka c b c b c c b
SWP OVRk DUPka c b c b c c c
SWP OVR DUPa c b c c
SWP OVR SWPka c b c c b
SWP OVR DUPka c b c c c
NIP DUPa c c
NIP SWPka c c a
NIP SWPk DUPa c c a a
NIP SWPk DUPka c c a a a
NIP SWPk SWPka c c a a c
NIP SWPk OVRa c c a c
NIP SWPk OVRka c c a c a c
DUP ROTa c c b
DUP ROT DUPa c c b b
DUP ROT DUPka c c b b b
DUP ROT SWPka c c b b c
DUP ROT OVRa c c b c
DUP ROT OVRka c c b c b c
NIP DUPka c c c
NIP DUP DUPka c c c c
NIP DUP ROTka c c c c a
NIP DUP OVRka c c c c c
NIP DUPk OVRka c c c c c c
POP NIPb
POP SWPb a
POP SWP DUPb a a
POP SWP DUPkb a a a
POP SWP SWPkb a a b
ROT DUP ROTb a a c
POP SWP OVRb a b
POP SWP OVRkb a b a b
ROT SWPb a c
ROT SWP OVRb a c a
ROT SWP OVRkb a c a c a
ROT SWP ROTkb a c a c b
ROT SWP DUPb a c c
ROT SWP SWPkb a c c a
ROT SWP DUPkb a c c c
POP NIP DUPb b
POP DUP ROTb b a
POP NIP DUPkb b b
ROT POPb c
ROTb c a
ROT DUPb c a a
ROT DUPkb c a a a
ROT DUP DUPkb c a a a a
ROT DUP OVRkb c a a a a a
ROT DUPk OVRkb c a a a a a a
ROT DUP ROTkb c a a a a c
ROT ROTk ROTb c a a b c
ROT SWPkb c a a c
ROT SWPk OVRb c a a c a
ROT SWPk OVRkb c a a c a c a
ROT SWPk DUPb c a a c c
ROT SWPk SWPkb c a a c c a
ROT SWPk DUPkb c a a c c c
ROT OVRb c a c
ROT OVR OVRb c a c a
ROT ROTkb c a c a b
ROT ROTk OVRb c a c a b a
ROT ROTk OVRkb c a c a b a b a
ROT ROTk ROTkb c a c a b a b c
ROT ROTk DUPb c a c a b b
ROT ROTk SWPkb c a c a b b a
ROT ROTk DUPkb c a c a b b b
ROT OVRkb c a c a c
ROT OVR OVRkb c a c a c a
ROT OVRk OVRkb c a c a c a c a
ROT OVRk ROTkb c a c a c a c c
ROT OVR ROTkb c a c a c c
ROT OVRk SWPkb c a c a c c a
ROT OVRk DUPkb c a c a c c c
ROT ROTk NIPb c a c b
ROT ROTk SWPb c a c b a
ROT OVR DUPb c a c c
ROT OVR SWPkb c a c c a
ROT OVR DUPkb c a c c c
ROT POP OVRb c b
ROT POP OVRkb c b c b
ROT POP DUPb c c
ROT OVR SWPb c c a
ROT POP SWPkb c c b
ROT POP DUPkb c c c
NIP NIPc
NIP SWPc a
NIP SWP DUPc a a
NIP SWP DUPkc a a a
NIP SWP SWPkc a a c
ROT ROTc a b
ROT ROT OVRc a b a
ROT ROT OVRkc a b a b a
ROT ROT ROTkc a b a b c
ROT ROT DUPc a b b
ROT ROT SWPkc a b b a
ROT ROT DUPkc a b b b
NIP SWP OVRc a c
NIP SWP OVRkc a c a c
SWP ROT POPc b
SWP ROTc b a
SWP ROT DUPc b a a
SWP ROT DUPkc b a a a
SWP ROT SWPkc b a a b
SWP ROT OVRc b a b
SWP ROT OVRkc b a b a b
SWP ROT ROTkc b a b a c
NIP NIP DUPc c
NIP DUP ROTc c a
NIP NIP DUPkc c c