[.,.] => [[],[]] => ([(0,2),(1,2)],3) => ([(1,2)],3) => [2,1]
[.,[.,.]] => [[],[[],[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => [5]
[[.,.],.] => [[[],[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => [5]
[.,[.,[.,.]]] => [[],[[],[[],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7]
[.,[[.,.],.]] => [[],[[[],[]],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7]
[[.,.],[.,.]] => [[[],[]],[[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7]
[[.,[.,.]],.] => [[[],[[],[]]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7]
[[[.,.],.],.] => [[[[],[]],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7]
[.,[.,[.,[.,.]]]] => [[],[[],[[],[[],[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[.,[.,[[.,.],.]]] => [[],[[],[[[],[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[.,[[.,.],[.,.]]] => [[],[[[],[]],[[],[]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(2,8),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[.,[[.,[.,.]],.]] => [[],[[[],[[],[]]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[.,[[[.,.],.],.]] => [[],[[[[],[]],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[.,.],[.,[.,.]]] => [[[],[]],[[],[[],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,2),(0,4),(0,5),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[.,.],[[.,.],.]] => [[[],[]],[[[],[]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,2),(0,4),(0,5),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[.,[.,.]],[.,.]] => [[[],[[],[]]],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,2),(0,4),(0,5),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[[.,.],.],[.,.]] => [[[[],[]],[]],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,2),(0,4),(0,5),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[.,[.,[.,.]]],.] => [[[],[[],[[],[]]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[.,[[.,.],.]],.] => [[[],[[[],[]],[]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[[.,.],[.,.]],.] => [[[[],[]],[[],[]]],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(2,8),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[[.,[.,.]],.],.] => [[[[],[[],[]]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[[[[.,.],.],.],.] => [[[[[],[]],[]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,4),(1,5),(1,7),(1,8),(2,3),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(5,7),(5,8),(6,7),(6,8),(7,8)],9) => [9]
[.,[.,[.,[.,[.,.]]]]] => [[],[[],[[],[[],[[],[]]]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[.,[.,[[.,.],.]]]] => [[],[[],[[],[[[],[]],[]]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[.,[[.,.],[.,.]]]] => [[],[[],[[[],[]],[[],[]]]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,8),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[.,[[.,[.,.]],.]]] => [[],[[],[[[],[[],[]]],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[.,[[[.,.],.],.]]] => [[],[[],[[[[],[]],[]],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[.,.],[.,[.,.]]]] => [[],[[[],[]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[.,.],[[.,.],.]]] => [[],[[[],[]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[.,[.,.]],[.,.]]] => [[],[[[],[[],[]]],[[],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[[.,.],.],[.,.]]] => [[],[[[[],[]],[]],[[],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[.,[.,[.,.]]],.]] => [[],[[[],[[],[[],[]]]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[.,[[.,.],.]],.]] => [[],[[[],[[[],[]],[]]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[[.,.],[.,.]],.]] => [[],[[[[],[]],[[],[]]],[]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,8),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[[.,[.,.]],.],.]] => [[],[[[[],[[],[]]],[]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[[[[.,.],.],.],.]] => [[],[[[[[],[]],[]],[]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,.],[.,[.,[.,.]]]] => [[[],[]],[[],[[],[[],[]]]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,.],[.,[[.,.],.]]] => [[[],[]],[[],[[[],[]],[]]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,.],[[.,.],[.,.]]] => [[[],[]],[[[],[]],[[],[]]]] => ([(0,9),(1,9),(2,8),(3,8),(4,7),(5,7),(6,9),(6,10),(7,10),(8,10)],11) => ([(0,3),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,.],[[.,[.,.]],.]] => [[[],[]],[[[],[[],[]]],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,.],[[[.,.],.],.]] => [[[],[]],[[[[],[]],[]],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[.,.]],[.,[.,.]]] => [[[],[[],[]]],[[],[[],[]]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,1),(0,3),(0,5),(0,6),(0,7),(0,8),(0,10),(1,2),(1,5),(1,6),(1,7),(1,8),(1,9),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,4),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[.,.]],[[.,.],.]] => [[[],[[],[]]],[[[],[]],[]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,1),(0,3),(0,5),(0,6),(0,7),(0,8),(0,10),(1,2),(1,5),(1,6),(1,7),(1,8),(1,9),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,4),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,.],.],[.,[.,.]]] => [[[[],[]],[]],[[],[[],[]]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,1),(0,3),(0,5),(0,6),(0,7),(0,8),(0,10),(1,2),(1,5),(1,6),(1,7),(1,8),(1,9),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,4),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,.],.],[[.,.],.]] => [[[[],[]],[]],[[[],[]],[]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,1),(0,3),(0,5),(0,6),(0,7),(0,8),(0,10),(1,2),(1,5),(1,6),(1,7),(1,8),(1,9),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,4),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[.,[.,.]]],[.,.]] => [[[],[[],[[],[]]]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[[.,.],.]],[.,.]] => [[[],[[[],[]],[]]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,.],[.,.]],[.,.]] => [[[[],[]],[[],[]]],[[],[]]] => ([(0,9),(1,9),(2,8),(3,8),(4,7),(5,7),(6,9),(6,10),(7,10),(8,10)],11) => ([(0,3),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,[.,.]],.],[.,.]] => [[[[],[[],[]]],[]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[[.,.],.],.],[.,.]] => [[[[[],[]],[]],[]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,3),(0,4),(0,5),(0,6),(0,7),(0,9),(0,10),(1,2),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[.,[.,[.,.]]]],.] => [[[],[[],[[],[[],[]]]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[.,[[.,.],.]]],.] => [[[],[[],[[[],[]],[]]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[[.,.],[.,.]]],.] => [[[],[[[],[]],[[],[]]]],[]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,8),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[[.,[.,.]],.]],.] => [[[],[[[],[[],[]]],[]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[.,[[[.,.],.],.]],.] => [[[],[[[[],[]],[]],[]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,.],[.,[.,.]]],.] => [[[[],[]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,.],[[.,.],.]],.] => [[[[],[]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,[.,.]],[.,.]],.] => [[[[],[[],[]]],[[],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[[.,.],.],[.,.]],.] => [[[[[],[]],[]],[[],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,9),(3,10),(4,5),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,[.,[.,.]]],.],.] => [[[[],[[],[[],[]]]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[.,[[.,.],.]],.],.] => [[[[],[[[],[]],[]]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[[.,.],[.,.]],.],.] => [[[[[],[]],[[],[]]],[]],[]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,4),(2,5),(2,8),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,10),(4,5),(4,6),(4,7),(4,8),(4,9),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[[.,[.,.]],.],.],.] => [[[[[],[[],[]]],[]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[[[[[.,.],.],.],.],.] => [[[[[[],[]],[]],[]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,3),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(1,2),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(2,3),(2,5),(2,6),(2,7),(2,9),(2,10),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,8),(7,9),(7,10),(8,9),(8,10),(9,10)],11) => [11]
[.,[.,[.,[.,[.,[.,.]]]]]] => [[],[[],[[],[[],[[],[[],[]]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[.,[.,[[.,.],.]]]]] => [[],[[],[[],[[],[[[],[]],[]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[.,[[.,.],[.,.]]]]] => [[],[[],[[],[[[],[]],[[],[]]]]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[.,[[.,[.,.]],.]]]] => [[],[[],[[],[[[],[[],[]]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[.,[[[.,.],.],.]]]] => [[],[[],[[],[[[[],[]],[]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[.,.],[.,[.,.]]]]] => [[],[[],[[[],[]],[[],[[],[]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[.,.],[[.,.],.]]]] => [[],[[],[[[],[]],[[[],[]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[.,[.,.]],[.,.]]]] => [[],[[],[[[],[[],[]]],[[],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[[.,.],.],[.,.]]]] => [[],[[],[[[[],[]],[]],[[],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[.,[.,[.,.]]],.]]] => [[],[[],[[[],[[],[[],[]]]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[.,[[.,.],.]],.]]] => [[],[[],[[[],[[[],[]],[]]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[[.,.],[.,.]],.]]] => [[],[[],[[[[],[]],[[],[]]],[]]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[[.,[.,.]],.],.]]] => [[],[[],[[[[],[[],[]]],[]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[.,[[[[.,.],.],.],.]]] => [[],[[],[[[[[],[]],[]],[]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,.],[.,[.,[.,.]]]]] => [[],[[[],[]],[[],[[],[[],[]]]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,.],[.,[[.,.],.]]]] => [[],[[[],[]],[[],[[[],[]],[]]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,.],[[.,.],[.,.]]]] => [[],[[[],[]],[[[],[]],[[],[]]]]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,12),(4,5),(4,8),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,.],[[.,[.,.]],.]]] => [[],[[[],[]],[[[],[[],[]]],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,.],[[[.,.],.],.]]] => [[],[[[],[]],[[[[],[]],[]],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[.,.]],[.,[.,.]]]] => [[],[[[],[[],[]]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[.,.]],[[.,.],.]]] => [[],[[[],[[],[]]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,.],.],[.,[.,.]]]] => [[],[[[[],[]],[]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,.],.],[[.,.],.]]] => [[],[[[[],[]],[]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[.,[.,.]]],[.,.]]] => [[],[[[],[[],[[],[]]]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[[.,.],.]],[.,.]]] => [[],[[[],[[[],[]],[]]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,.],[.,.]],[.,.]]] => [[],[[[[],[]],[[],[]]],[[],[]]]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,12),(4,5),(4,8),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,[.,.]],.],[.,.]]] => [[],[[[[],[[],[]]],[]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[[.,.],.],.],[.,.]]] => [[],[[[[[],[]],[]],[]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[.,[.,[.,.]]]],.]] => [[],[[[],[[],[[],[[],[]]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[.,[[.,.],.]]],.]] => [[],[[[],[[],[[[],[]],[]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[[.,.],[.,.]]],.]] => [[],[[[],[[[],[]],[[],[]]]],[]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[[.,[.,.]],.]],.]] => [[],[[[],[[[],[[],[]]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[.,[[[.,.],.],.]],.]] => [[],[[[],[[[[],[]],[]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,.],[.,[.,.]]],.]] => [[],[[[[],[]],[[],[[],[]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,.],[[.,.],.]],.]] => [[],[[[[],[]],[[[],[]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,[.,.]],[.,.]],.]] => [[],[[[[],[[],[]]],[[],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[[.,.],.],[.,.]],.]] => [[],[[[[[],[]],[]],[[],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
>>> Load all 196 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => [[],[[[[],[[],[[],[]]]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[.,[[.,.],.]],.],.]] => [[],[[[[],[[[],[]],[]]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[[.,.],[.,.]],.],.]] => [[],[[[[[],[]],[[],[]]],[]],[]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[[.,[.,.]],.],.],.]] => [[],[[[[[],[[],[]]],[]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[.,[[[[[.,.],.],.],.],.]] => [[],[[[[[[],[]],[]],[]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[.,[.,[.,[.,.]]]]] => [[[],[]],[[],[[],[[],[[],[]]]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[.,[.,[[.,.],.]]]] => [[[],[]],[[],[[],[[[],[]],[]]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[.,[[.,.],[.,.]]]] => [[[],[]],[[],[[[],[]],[[],[]]]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[.,[[.,[.,.]],.]]] => [[[],[]],[[],[[[],[[],[]]],[]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[.,[[[.,.],.],.]]] => [[[],[]],[[],[[[[],[]],[]],[]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[.,.],[.,[.,.]]]] => [[[],[]],[[[],[]],[[],[[],[]]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[.,.],[[.,.],.]]] => [[[],[]],[[[],[]],[[[],[]],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[.,[.,.]],[.,.]]] => [[[],[]],[[[],[[],[]]],[[],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[[.,.],.],[.,.]]] => [[[],[]],[[[[],[]],[]],[[],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[.,[.,[.,.]]],.]] => [[[],[]],[[[],[[],[[],[]]]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[.,[[.,.],.]],.]] => [[[],[]],[[[],[[[],[]],[]]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[[.,.],[.,.]],.]] => [[[],[]],[[[[],[]],[[],[]]],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[[.,[.,.]],.],.]] => [[[],[]],[[[[],[[],[]]],[]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,.],[[[[.,.],.],.],.]] => [[[],[]],[[[[[],[]],[]],[]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,.]],[.,[.,[.,.]]]] => [[[],[[],[]]],[[],[[],[[],[]]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,.]],[.,[[.,.],.]]] => [[[],[[],[]]],[[],[[[],[]],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,.]],[[.,.],[.,.]]] => [[[],[[],[]]],[[[],[]],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,.]],[[.,[.,.]],.]] => [[[],[[],[]]],[[[],[[],[]]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,.]],[[[.,.],.],.]] => [[[],[[],[]]],[[[[],[]],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],.],[.,[.,[.,.]]]] => [[[[],[]],[]],[[],[[],[[],[]]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],.],[.,[[.,.],.]]] => [[[[],[]],[]],[[],[[[],[]],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],.],[[.,.],[.,.]]] => [[[[],[]],[]],[[[],[]],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],.],[[.,[.,.]],.]] => [[[[],[]],[]],[[[],[[],[]]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],.],[[[.,.],.],.]] => [[[[],[]],[]],[[[[],[]],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[.,.]]],[.,[.,.]]] => [[[],[[],[[],[]]]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[.,.]]],[[.,.],.]] => [[[],[[],[[],[]]]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,.],.]],[.,[.,.]]] => [[[],[[[],[]],[]]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,.],.]],[[.,.],.]] => [[[],[[[],[]],[]]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[.,.]],[.,[.,.]]] => [[[[],[]],[[],[]]],[[],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[.,.]],[[.,.],.]] => [[[[],[]],[[],[]]],[[[],[]],[]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,.]],.],[.,[.,.]]] => [[[[],[[],[]]],[]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,.]],.],[[.,.],.]] => [[[[],[[],[]]],[]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],.],.],[.,[.,.]]] => [[[[[],[]],[]],[]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],.],.],[[.,.],.]] => [[[[[],[]],[]],[]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(1,2),(1,3),(1,4),(1,6),(1,7),(1,8),(1,9),(1,10),(1,12),(2,3),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,8),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[.,[.,.]]]],[.,.]] => [[[],[[],[[],[[],[]]]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[[.,.],.]]],[.,.]] => [[[],[[],[[[],[]],[]]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,.],[.,.]]],[.,.]] => [[[],[[[],[]],[[],[]]]],[[],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,[.,.]],.]],[.,.]] => [[[],[[[],[[],[]]],[]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[[.,.],.],.]],[.,.]] => [[[],[[[[],[]],[]],[]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[.,[.,.]]],[.,.]] => [[[[],[]],[[],[[],[]]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[[.,.],.]],[.,.]] => [[[[],[]],[[[],[]],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,.]],[.,.]],[.,.]] => [[[[],[[],[]]],[[],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],.],[.,.]],[.,.]] => [[[[[],[]],[]],[[],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,2),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,8),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,[.,.]]],.],[.,.]] => [[[[],[[],[[],[]]]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[[.,.],.]],.],[.,.]] => [[[[],[[[],[]],[]]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],[.,.]],.],[.,.]] => [[[[[],[]],[[],[]]],[]],[[],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,4),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,[.,.]],.],.],[.,.]] => [[[[[],[[],[]]],[]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[.,.],.],.],.],[.,.]] => [[[[[[],[]],[]],[]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,3),(0,4),(0,5),(0,6),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,6),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[.,[.,[.,.]]]]],.] => [[[],[[],[[],[[],[[],[]]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[.,[[.,.],.]]]],.] => [[[],[[],[[],[[[],[]],[]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[[.,.],[.,.]]]],.] => [[[],[[],[[[],[]],[[],[]]]]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[[.,[.,.]],.]]],.] => [[[],[[],[[[],[[],[]]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[.,[[[.,.],.],.]]],.] => [[[],[[],[[[[],[]],[]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,.],[.,[.,.]]]],.] => [[[],[[[],[]],[[],[[],[]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,.],[[.,.],.]]],.] => [[[],[[[],[]],[[[],[]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,[.,.]],[.,.]]],.] => [[[],[[[],[[],[]]],[[],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[[.,.],.],[.,.]]],.] => [[[],[[[[],[]],[]],[[],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,[.,[.,.]]],.]],.] => [[[],[[[],[[],[[],[]]]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[.,[[.,.],.]],.]],.] => [[[],[[[],[[[],[]],[]]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[[.,.],[.,.]],.]],.] => [[[],[[[[],[]],[[],[]]],[]]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[[.,[.,.]],.],.]],.] => [[[],[[[[],[[],[]]],[]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[.,[[[[.,.],.],.],.]],.] => [[[],[[[[[],[]],[]],[]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[.,[.,[.,.]]]],.] => [[[[],[]],[[],[[],[[],[]]]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[.,[[.,.],.]]],.] => [[[[],[]],[[],[[[],[]],[]]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[[.,.],[.,.]]],.] => [[[[],[]],[[[],[]],[[],[]]]],[]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,12),(4,5),(4,8),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[[.,[.,.]],.]],.] => [[[[],[]],[[[],[[],[]]],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,.],[[[.,.],.],.]],.] => [[[[],[]],[[[[],[]],[]],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,.]],[.,[.,.]]],.] => [[[[],[[],[]]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,.]],[[.,.],.]],.] => [[[[],[[],[]]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],.],[.,[.,.]]],.] => [[[[[],[]],[]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],.],[[.,.],.]],.] => [[[[[],[]],[]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,3),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,4),(1,5),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,[.,.]]],[.,.]],.] => [[[[],[[],[[],[]]]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[[.,.],.]],[.,.]],.] => [[[[],[[[],[]],[]]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],[.,.]],[.,.]],.] => [[[[[],[]],[[],[]]],[[],[]]],[]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,7),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,12),(4,5),(4,8),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,11),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,[.,.]],.],[.,.]],.] => [[[[[],[[],[]]],[]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[.,.],.],.],[.,.]],.] => [[[[[[],[]],[]],[]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,1),(0,4),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,9),(3,10),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,9),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,[.,[.,.]]]],.],.] => [[[[],[[],[[],[[],[]]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[.,[[.,.],.]]],.],.] => [[[[],[[],[[[],[]],[]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[[.,.],[.,.]]],.],.] => [[[[],[[[],[]],[[],[]]]],[]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[[.,[.,.]],.]],.],.] => [[[[],[[[],[[],[]]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[.,[[[.,.],.],.]],.],.] => [[[[],[[[[],[]],[]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],[.,[.,.]]],.],.] => [[[[[],[]],[[],[[],[]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,.],[[.,.],.]],.],.] => [[[[[],[]],[[[],[]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,[.,.]],[.,.]],.],.] => [[[[[],[[],[]]],[[],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[.,.],.],[.,.]],.],.] => [[[[[[],[]],[]],[[],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,2),(1,3),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,7),(3,8),(3,11),(3,12),(4,5),(4,6),(4,9),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,[.,[.,.]]],.],.],.] => [[[[[],[[],[[],[]]]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[.,[[.,.],.]],.],.],.] => [[[[[],[[[],[]],[]]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[.,.],[.,.]],.],.],.] => [[[[[[],[]],[[],[]]],[]],[]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,2),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11),(2,3),(2,4),(2,7),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,5),(3,6),(3,9),(3,10),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(5,10),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[.,[.,.]],.],.],.],.] => [[[[[[],[[],[]]],[]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]
[[[[[[.,.],.],.],.],.],.] => [[[[[[[],[]],[]],[]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,1),(0,4),(0,5),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,3),(1,5),(1,6),(1,7),(1,9),(1,10),(1,11),(1,12),(2,3),(2,4),(2,5),(2,6),(2,8),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,7),(3,8),(3,9),(3,11),(3,12),(4,5),(4,6),(4,7),(4,8),(4,9),(4,10),(5,6),(5,7),(5,8),(5,10),(5,11),(5,12),(6,7),(6,8),(6,9),(6,10),(6,11),(6,12),(7,8),(7,9),(7,10),(7,11),(7,12),(8,9),(8,10),(8,11),(8,12),(9,10),(9,11),(9,12),(10,11),(10,12),(11,12)],13) => [13]