Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

This notebook counts and displays the number of permutations that avoid any two patterns

168 views
ubuntu2004
Kernel: SageMath 9.7

Permutation Avoidance

def perm_to_str(perm_list): perm_str = str(perm_list) convert_str = perm_str + " -> " + perm_list.cycle_string(singletons = True) return convert_str # Get the user input n = int(input('Please enter the length of the permutation (Ex: 5)> ')) num_pats = int(input('Please enter the number of patterns to avoid (Ex: 3)> ')) pats = [] # Get each patterns for i in range(num_pats): pats.append(input(f'Please enter pattern number {i + 1} (Ex: 132)> ')) print() # Convert each pattern from a string into a list def pat_to_list(pat): return [int(x) for x in str(pat)] pat_lists = [pat_to_list(pat) for pat in pats] p = Permutations(n, avoiding=pat_lists) perm_per_cycle = {} # Split the permutations into the number of cycles for perm in p: num_cycles = len(perm.cycle_type()) if num_cycles in perm_per_cycle.keys(): perm_per_cycle[num_cycles].append(perm) else: perm_per_cycle[num_cycles] = [perm] # Output the cycle types and number of permutations per cycle type for k in sorted(perm_per_cycle): cycle_num = len(perm_per_cycle[k]) print(f'Cycle Type: {k}\t Total Perms of Cycle Type {k}: {cycle_num}') for perm in perm_per_cycle[k]: print('\t' + perm_to_str(perm)) # Output the final count print(f'\nTotal number of permutations avoiding the patterns: {len(p)}')
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
import numpy as np def reverse_order_list(length, offset): rev_list = np.arange(1, length + 1, 1)[::-1] rev_list += offset return rev_list def abc_to_perm(a, b, c): n = a + b + c a_list = reverse_order_list(a, n - a) b_list = reverse_order_list(b, 0) c_list = reverse_order_list(c, b) return Permutation(np.append(a_list, np.append(b_list, c_list))) def abc_count_cycles(a, b, c): p = abc_to_perm(a, b, c) return len(p.cycle_type()) a, b, c = map(int, input('Please enter a, b, and c seperated by spaces (EX: 3 4 5)> ').split(' ')) print(f'The number of cycle in the permutation of form ({a}, {b}, {c}) is {abc_count_cycles(a, b, c)}')
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
from tabulate import tabulate import math from termcolor import colored # table = [['col 1', 'col 2', 'col 3', 'col 4'], [1, 2222, 30, 500], [4, 55, 6777, 1]] # print(tabulate(table, headers='firstrow', tablefmt='fancy_grid')) def print_tables(): for a in range(1, 11): result_table = [] for b in range(1, 16): result_row = [] for c in range(1, 16): result = abc_count_cycles(a, b, c) if a < ((a + b + c) / 2) and math.gcd(b, c) != 1: result = '\x1b[2;37;41m ' + str(result) + ' \x1b[0m' result_row.append(result) result_table.append(result_row) print(f'a = {a}') print(tabulate(result_table, headers=[1..15], tablefmt='fancy_grid', showindex=[1..15])) print_tables()
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 │ ╘════╧═════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧═══════╧════════╛