1 2 3 4
0 ||| a b c d ||| x=1 ||| 10 0 ||| a b d c ||| x=1 ||| 9 0 ||| a d b c ||| x=1 ||| 8 0 ||| d a b c ||| x=1 ||| 7