This notebook counts and displays the number of permutations that avoid any two patterns
ubuntu2004
Kernel: SageMath 9.7
Permutation Avoidance
In [1]:
Out[1]:
Please enter the length of the permutation (Ex: 5)>
Please enter the number of patterns to avoid (Ex: 3)>
Please enter pattern number 1 (Ex: 132)>
Please enter pattern number 2 (Ex: 132)>
Please enter pattern number 3 (Ex: 132)>
Total number of permutations avoiding the patterns: 22
In [18]:
Out[18]:
Please enter a, b, and c seperated by spaces (EX: 3 4 5)>
The number of cycle in the permutation of form (2, 2, 2) is 1
In [53]:
Out[53]:
a = 1
╒════╤═════╤═══════╤═══════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╡
│ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 3 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 4 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 5 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 6 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 7 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 8 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 9 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 10 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 11 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 12 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 13 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 14 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │ 15 │ 15 │
├────┼─────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 15 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │ 15 │ 15 │
╘════╧═════╧═══════╧═══════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╛
a = 2
╒════╤═════╤═══════╤═══════╤═══════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╡
│ 1 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 3 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 4 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 5 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 6 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 7 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 8 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 9 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 10 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 11 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 12 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 13 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 14 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │
├────┼─────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 15 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │ 15 │
╘════╧═════╧═══════╧═══════╧═══════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╛
a = 3
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╡
│ 1 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 2 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 4 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 5 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 6 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 7 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 8 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 9 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 10 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 11 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 12 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 13 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 14 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │
├────┼─────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 15 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │ 14 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╛
a = 4
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤════════╤════════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪════════╪════════╪════════╪════════╪════════╪════════╡
│ 1 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 2 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 3 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 4 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 5 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 6 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 7 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 8 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 9 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 10 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 11 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 12 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 13 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 14 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┼────────┼────────┼────────┤
│ 15 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │ 14 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧════════╧════════╧════════╧════════╧════════╧════════╛
a = 5
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤════════╤════════╤═══════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪════════╪════════╪═══════╪════════╪════════╪════════╪════════╡
│ 1 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 2 │ 2 │ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 3 │ 2 │ 1 │ 3 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 4 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 5 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 6 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 7 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 8 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 9 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 10 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 11 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 12 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 13 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 14 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 15 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │ 13 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧════════╧════════╧═══════╧════════╧════════╧════════╧════════╛
a = 6
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤════════╤═══════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪════════╪═══════╪════════╪════════╪════════╪════════╡
│ 1 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 2 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 3 │ 2 │ 2 │ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 4 │ 2 │ 2 │ 1 │ 3 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 5 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 6 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 7 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 8 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 9 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 10 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 11 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 12 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 13 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 14 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 15 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │ 13 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧════════╧═══════╧════════╧════════╧════════╧════════╛
a = 7
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤═══════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪═══════╪════════╪════════╪════════╪════════╡
│ 1 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 2 │ 3 │ 4 │ 2 │ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 3 │ 3 │ 2 │ 4 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 4 │ 2 │ 3 │ 1 │ 4 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 5 │ 2 │ 1 │ 1 │ 2 │ 4 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 6 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 7 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 8 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 9 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 10 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 11 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 12 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 13 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 14 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┼────────┼────────┤
│ 15 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │ 12 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧═══════╧════════╧════════╧════════╧════════╛
a = 8
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤════════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪════════╪════════╪════════╡
│ 1 │ 4 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 2 │ 4 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 3 │ 3 │ 3 │ 4 │ 2 │ 1 │ 3 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 4 │ 3 │ 3 │ 2 │ 4 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 5 │ 2 │ 2 │ 1 │ 1 │ 4 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 6 │ 2 │ 2 │ 3 │ 1 │ 2 │ 4 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 7 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 8 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 9 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 10 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 11 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 12 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 13 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 14 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼────────┼────────┼────────┤
│ 15 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │ 12 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧════════╧════════╧════════╛
a = 9
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╤═══════╤════════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╪═══════╪════════╪════════╡
│ 1 │ 5 │ 4 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 2 │ 4 │ 5 │ 3 │ 4 │ 2 │ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 3 │ 4 │ 3 │ 5 │ 2 │ 2 │ 3 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 4 │ 3 │ 4 │ 2 │ 5 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 5 │ 3 │ 2 │ 2 │ 1 │ 5 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 6 │ 2 │ 3 │ 3 │ 2 │ 2 │ 5 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 7 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 5 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 8 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 9 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 10 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 11 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 12 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 13 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 14 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┼───────┼────────┼────────┤
│ 15 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │ 11 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╧═══════╧════════╧════════╛
a = 10
╒════╤═════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤═══════╤════════╕
│ │ 1 │ 2 │ 3 │ 4 │ 5 │ 6 │ 7 │ 8 │ 9 │ 10 │ 11 │ 12 │ 13 │ 14 │ 15 │
╞════╪═════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪═══════╪════════╡
│ 1 │ 5 │ 5 │ 4 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 2 │ 5 │ 5 │ 4 │ 4 │ 3 │ 3 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 3 │ 4 │ 4 │ 5 │ 3 │ 2 │ 4 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 4 │ 4 │ 4 │ 3 │ 5 │ 2 │ 2 │ 1 │ 3 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 5 │ 3 │ 3 │ 2 │ 2 │ 5 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 6 │ 3 │ 3 │ 4 │ 2 │ 1 │ 5 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 7 │ 2 │ 2 │ 1 │ 1 │ 2 │ 2 │ 5 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 8 │ 2 │ 2 │ 1 │ 3 │ 2 │ 2 │ 3 │ 5 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 9 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 10 │ 1 │ 1 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 11 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 12 │ 2 │ 2 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 13 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 14 │ 3 │ 3 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │
├────┼─────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼───────┼────────┤
│ 15 │ 4 │ 4 │ 5 │ 5 │ 6 │ 6 │ 7 │ 7 │ 8 │ 8 │ 9 │ 9 │ 10 │ 10 │ 11 │
╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╛
In [0]: