Identifier
Values
=>
Cc0014;cc-rep-0 Cc0002;cc-rep
([],1)=>[2]=>2 ([],2)=>[2,2]=>4 ([(0,1)],2)=>[3]=>3 ([],3)=>[2,2,2,2]=>8 ([(1,2)],3)=>[6]=>6 ([(0,1),(0,2)],3)=>[3,2]=>5 ([(0,2),(2,1)],3)=>[4]=>4 ([(0,2),(1,2)],3)=>[3,2]=>5 ([],4)=>[2,2,2,2,2,2,2,2]=>16 ([(2,3)],4)=>[6,6]=>12 ([(1,2),(1,3)],4)=>[6,2,2]=>10 ([(0,1),(0,2),(0,3)],4)=>[3,2,2,2]=>9 ([(0,2),(0,3),(3,1)],4)=>[7]=>7 ([(0,1),(0,2),(1,3),(2,3)],4)=>[4,2]=>6 ([(1,2),(2,3)],4)=>[4,4]=>8 ([(0,3),(3,1),(3,2)],4)=>[4,2]=>6 ([(1,3),(2,3)],4)=>[6,2,2]=>10 ([(0,3),(1,3),(3,2)],4)=>[4,2]=>6 ([(0,3),(1,3),(2,3)],4)=>[3,2,2,2]=>9 ([(0,3),(1,2)],4)=>[3,3,3]=>9 ([(0,3),(1,2),(1,3)],4)=>[5,3]=>8 ([(0,2),(0,3),(1,2),(1,3)],4)=>[3,2,2]=>7 ([(0,3),(2,1),(3,2)],4)=>[5]=>5 ([(0,3),(1,2),(2,3)],4)=>[7]=>7 ([(0,1),(0,2),(0,3),(0,4)],5)=>[3,2,2,2,2,2,2,2]=>17 ([(0,2),(0,3),(0,4),(4,1)],5)=>[7,6]=>13 ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)=>[7,2,2]=>11 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)=>[4,2,2,2]=>10 ([(1,3),(1,4),(4,2)],5)=>[14]=>14 ([(0,3),(0,4),(4,1),(4,2)],5)=>[7,2,2]=>11 ([(1,2),(1,3),(2,4),(3,4)],5)=>[4,4,2,2]=>12 ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>[5,2]=>7 ([(0,3),(0,4),(3,2),(4,1)],5)=>[4,3,3]=>10 ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)=>[5,4]=>9 ([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)=>[4,2,2]=>8 ([(2,3),(3,4)],5)=>[4,4,4,4]=>16 ([(1,4),(4,2),(4,3)],5)=>[4,4,2,2]=>12 ([(0,4),(4,1),(4,2),(4,3)],5)=>[4,2,2,2]=>10 ([(1,4),(2,4),(4,3)],5)=>[4,4,2,2]=>12 ([(0,4),(1,4),(4,2),(4,3)],5)=>[4,2,2]=>8 ([(0,4),(1,4),(2,4),(4,3)],5)=>[4,2,2,2]=>10 ([(0,4),(1,4),(2,4),(3,4)],5)=>[3,2,2,2,2,2,2,2]=>17 ([(0,4),(1,4),(2,3)],5)=>[6,3,3,3]=>15 ([(0,4),(1,3),(2,3),(2,4)],5)=>[8,3,2]=>13 ([(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>[5,3,2,2]=>12 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>[3,2,2,2,2]=>11 ([(0,4),(1,4),(2,3),(4,2)],5)=>[5,2]=>7 ([(0,4),(1,3),(2,3),(3,4)],5)=>[7,2,2]=>11 ([(0,4),(1,4),(2,3),(2,4)],5)=>[6,5,3]=>14 ([(0,4),(1,4),(2,3),(3,4)],5)=>[7,6]=>13 ([(1,4),(2,3),(2,4)],5)=>[10,6]=>16 ([(0,4),(1,2),(1,4),(2,3)],5)=>[8,3]=>11 ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)=>[5,4]=>9 ([(1,3),(1,4),(2,3),(2,4)],5)=>[6,2,2,2,2]=>14 ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)=>[7,2]=>9 ([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)=>[4,2,2]=>8 ([(0,4),(1,2),(1,4),(4,3)],5)=>[10]=>10 ([(0,4),(1,2),(1,3)],5)=>[6,3,3,3]=>15 ([(0,4),(1,2),(1,3),(1,4)],5)=>[6,5,3]=>14 ([(0,2),(0,4),(3,1),(4,3)],5)=>[5,4]=>9 ([(0,4),(1,2),(1,3),(3,4)],5)=>[10,2]=>12 ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)=>[8]=>8 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>[7,2,2]=>11 ([(0,3),(0,4),(1,2),(1,4)],5)=>[8,3,2]=>13 ([(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>[5,3,2,2]=>12 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>[3,2,2,2,2]=>11 ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)=>[10]=>10 ([(0,3),(1,2),(1,4),(3,4)],5)=>[8,3]=>11 ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)=>[7,2]=>9 ([(1,4),(3,2),(4,3)],5)=>[10]=>10 ([(0,3),(3,4),(4,1),(4,2)],5)=>[5,2]=>7 ([(1,4),(2,3),(3,4)],5)=>[14]=>14 ([(0,4),(1,2),(2,4),(4,3)],5)=>[8]=>8 ([(0,3),(1,4),(4,2)],5)=>[12]=>12 ([(0,4),(3,2),(4,1),(4,3)],5)=>[8]=>8 ([(0,4),(1,2),(2,3),(2,4)],5)=>[10]=>10 ([(0,4),(2,3),(3,1),(4,2)],5)=>[6]=>6 ([(0,3),(1,2),(2,4),(3,4)],5)=>[4,3,3]=>10 ([(0,4),(1,2),(2,3),(3,4)],5)=>[5,4]=>9 ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)=>[5,2]=>7 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)=>[5,2,2,2]=>11 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)=>[6,4,3,3]=>16 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)=>[8,4,2]=>14 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>[5,4,2,2]=>13 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>[4,2,2,2,2]=>12 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,5)],6)=>[6,5,4]=>15 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)=>[8,2,2]=>12 ([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6)=>[5,4,2,2]=>13 ([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)=>[10,7]=>17 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5)],6)=>[7,2,2,2,2]=>15 ([(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>[10,2,2]=>14 ([(0,3),(0,4),(3,5),(4,5),(5,1),(5,2)],6)=>[5,2,2]=>9 ([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>[4,4,2,2,2,2]=>16 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(5,1)],6)=>[8,2]=>10 ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>[5,2,2]=>9 ([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)=>[11]=>11 ([(0,4),(0,5),(4,3),(5,1),(5,2)],6)=>[6,4,3,3]=>16 ([(0,3),(0,4),(3,5),(4,1),(4,2),(4,5)],6)=>[6,5,4]=>15 ([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)=>[8,4,2]=>14 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5)],6)=>[5,4,2,2]=>13 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>[4,2,2,2,2]=>12 ([(1,4),(4,5),(5,2),(5,3)],6)=>[10,2,2]=>14 ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)=>[5,2,2,2]=>11 ([(1,5),(2,5),(5,3),(5,4)],6)=>[4,4,2,2,2,2]=>16 ([(0,5),(1,5),(5,2),(5,3),(5,4)],6)=>[4,2,2,2,2]=>12 ([(0,5),(1,5),(2,5),(5,3),(5,4)],6)=>[4,2,2,2,2]=>12 ([(0,5),(1,5),(2,5),(3,4),(5,3)],6)=>[5,2,2,2]=>11 ([(0,5),(1,4),(2,4),(2,5),(5,3)],6)=>[8,6,2]=>16 ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6)=>[8,4,2]=>14 ([(0,5),(1,4),(1,5),(2,4),(2,5),(4,3)],6)=>[8,3,2,2]=>15 ([(0,5),(1,3),(1,5),(2,3),(2,5),(3,4),(5,4)],6)=>[5,4,2,2]=>13 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)=>[7,2,2,2]=>13 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>[4,2,2,2,2]=>12 ([(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)=>[10,2,2]=>14 ([(1,5),(2,5),(3,4),(5,3)],6)=>[10,2,2]=>14 ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>[8,2,2]=>12 ([(0,5),(1,5),(4,2),(5,3),(5,4)],6)=>[8,2]=>10 ([(0,5),(1,5),(2,4),(5,3),(5,4)],6)=>[10,2,2]=>14 ([(0,5),(1,5),(2,3),(2,5),(5,4)],6)=>[10,6]=>16 ([(0,5),(1,5),(2,3),(2,5),(3,4),(5,4)],6)=>[6,5,4]=>15 ([(0,5),(1,5),(4,2),(4,3),(5,4)],6)=>[5,2,2]=>9 ([(0,4),(1,4),(2,3),(2,5),(4,5)],6)=>[8,6,3]=>17 ([(0,3),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>[7,2,2,2]=>13 ([(0,5),(1,2),(1,4),(3,5),(4,3)],6)=>[11,5]=>16 ([(0,3),(0,4),(1,5),(2,5),(4,1),(4,2)],6)=>[5,4,2,2]=>13 ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)=>[5,3,3]=>11 ([(0,5),(1,3),(1,4),(2,5),(3,5),(4,2)],6)=>[15]=>15 ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)=>[8,2,2]=>12 ([(0,5),(1,5),(2,3),(3,5),(5,4)],6)=>[8,6]=>14 ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>[6,2]=>8 ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>[6,4,3,3]=>16 ([(0,5),(1,4),(3,5),(4,2),(4,3)],6)=>[8,4,2]=>14 ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)=>[8,2,2]=>12 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>[5,4,4,4]=>17 ([(0,5),(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>[5,4,2,2]=>13 ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)=>[5,2,2,2]=>11 ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>[5,4,2,2]=>13 ([(0,4),(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>[5,2,2]=>9 ([(0,5),(1,4),(1,5),(4,2),(4,3)],6)=>[8,6,3]=>17 ([(0,4),(1,2),(1,4),(2,3),(2,5),(4,5)],6)=>[6,4,3]=>13 ([(0,5),(1,2),(1,5),(2,3),(2,4),(5,3),(5,4)],6)=>[5,4,2]=>11 ([(0,4),(1,2),(1,4),(2,5),(4,5),(5,3)],6)=>[5,5]=>10 ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)=>[10,4]=>14 ([(0,4),(1,2),(1,4),(2,5),(4,3),(4,5)],6)=>[8,4]=>12 ([(0,4),(0,5),(1,4),(1,5),(5,2),(5,3)],6)=>[7,2,2,2]=>13 ([(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>[4,4,2,2,2,2]=>16 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2)],6)=>[4,3,3,2]=>12 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2),(5,3)],6)=>[5,4,2]=>11 ([(0,4),(0,5),(1,4),(1,5),(4,2),(4,3),(5,2),(5,3)],6)=>[4,2,2,2]=>10 ([(0,4),(0,5),(1,4),(1,5),(2,3),(5,2)],6)=>[5,4,2]=>11 ([(0,4),(0,5),(1,4),(1,5),(3,2),(4,3),(5,3)],6)=>[5,2,2]=>9 ([(0,4),(0,5),(1,4),(1,5),(2,3),(4,2),(5,3)],6)=>[8,2]=>10 ([(0,5),(1,3),(1,4),(2,3),(2,4),(4,5)],6)=>[10,2,2,2]=>16 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>[7,2,2,2,2]=>15 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,5),(3,4)],6)=>[10,2,2]=>14 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6)=>[10,6]=>16 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,5)],6)=>[8,6,3]=>17 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6)=>[7,6,2]=>15 ([(0,5),(1,2),(1,5),(5,3),(5,4)],6)=>[10,2,2]=>14 ([(0,4),(1,2),(1,3),(1,4),(3,5),(4,5)],6)=>[11,5]=>16 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5)],6)=>[8,6,3]=>17 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>[6,5,4]=>15 ([(0,2),(0,3),(0,5),(4,1),(5,4)],6)=>[5,4,4,4]=>17 ([(0,2),(0,3),(0,4),(1,5),(3,5),(4,1)],6)=>[15]=>15 ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)=>[8,6]=>14 ([(0,3),(1,2),(1,4),(1,5),(3,4),(3,5)],6)=>[8,3,2,2]=>15 ([(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>[7,2,2,2]=>13 ([(0,3),(0,4),(4,5),(5,1),(5,2)],6)=>[5,4,2,2]=>13 ([(0,4),(0,5),(3,2),(4,3),(5,1)],6)=>[13]=>13 ([(0,2),(0,4),(2,5),(3,1),(4,3),(4,5)],6)=>[9,3]=>12 ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)=>[5,5]=>10 ([(0,3),(0,4),(2,5),(3,2),(4,1),(4,5)],6)=>[9,3]=>12 ([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5)],6)=>[11]=>11 ([(0,5),(1,2),(1,3),(3,5),(5,4)],6)=>[8,4,2]=>14 ([(1,3),(1,4),(2,5),(3,5),(4,2)],6)=>[8,8]=>16 ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)=>[9]=>9 ([(0,5),(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>[8,2,2]=>12 ([(0,5),(1,3),(1,4),(3,5),(4,2)],6)=>[11,3,3]=>17 ([(0,4),(1,2),(1,3),(2,5),(3,4),(3,5)],6)=>[13,2]=>15 ([(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>[10,2,2]=>14 ([(0,4),(1,2),(1,3),(2,5),(3,4),(4,5)],6)=>[11,2]=>13 ([(0,3),(0,4),(2,5),(3,5),(4,1),(4,2)],6)=>[11,2]=>13 ([(0,5),(1,3),(1,4),(3,5),(4,2),(4,5)],6)=>[11,5]=>16 ([(0,3),(0,5),(4,2),(5,1),(5,4)],6)=>[15]=>15 ([(0,4),(1,2),(1,3),(3,5),(4,5)],6)=>[11,3,3]=>17 ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)=>[6,4]=>10 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)=>[6,4,3,3]=>16 ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>[6,2]=>8 ([(0,4),(1,2),(1,3),(2,5),(3,5),(5,4)],6)=>[5,4,2,2]=>13 ([(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6)=>[9,7]=>16 ([(0,4),(0,5),(1,2),(1,4),(1,5),(4,3),(5,3)],6)=>[10,2,2]=>14 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6)=>[7,6,2]=>15 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(4,2),(5,2)],6)=>[7,2,2,2]=>13 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>[4,2,2,2,2]=>12 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3)],6)=>[8,6,3]=>17 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(5,3)],6)=>[7,5,2]=>14 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)=>[5,4,2,2]=>13 ([(0,4),(0,5),(1,3),(1,5),(5,2)],6)=>[7,5,5]=>17 ([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6)=>[6,4,3]=>13 ([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6)=>[7,5]=>12 ([(0,2),(0,5),(1,4),(1,5),(2,4),(4,3),(5,3)],6)=>[11]=>11 ([(0,2),(0,4),(1,3),(1,4),(3,5),(4,5)],6)=>[13,2]=>15 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5)],6)=>[13,2]=>15 ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6)=>[8,4]=>12 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5)],6)=>[8,7]=>15 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5),(4,5)],6)=>[8,4,2]=>14 ([(0,4),(0,5),(1,2),(1,4),(2,3),(3,5)],6)=>[13]=>13 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,5),(3,5)],6)=>[10,6]=>16 ([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3)],6)=>[10,6]=>16 ([(0,3),(0,4),(1,2),(1,4),(1,5),(3,5)],6)=>[17]=>17 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4)],6)=>[10,2,2]=>14 ([(0,4),(0,5),(1,2),(1,3),(3,4),(3,5)],6)=>[10,2,2,2]=>16 ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1)],6)=>[8,2]=>10 ([(0,2),(0,4),(2,5),(3,1),(3,5),(4,3)],6)=>[11]=>11 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,5)],6)=>[8,6,3]=>17 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)=>[8,7]=>15 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4),(3,5)],6)=>[7,5,2]=>14 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)=>[7,2,2,2]=>13 ([(0,3),(0,5),(1,2),(1,4),(2,5),(3,4)],6)=>[10,4]=>14 ([(0,4),(1,3),(1,5),(4,5),(5,2)],6)=>[5,5,3]=>13 ([(0,4),(0,5),(1,3),(3,4),(3,5),(5,2)],6)=>[11]=>11 ([(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)=>[8,2]=>10 ([(0,3),(1,4),(1,5),(3,5),(4,2)],6)=>[7,4,4]=>15 ([(0,3),(1,2),(1,4),(2,5),(3,4),(4,5)],6)=>[9,3]=>12 ([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6)=>[6,4,3]=>13 ([(0,2),(0,5),(3,4),(4,1),(5,3)],6)=>[11]=>11 ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)=>[8,2,2]=>12 ([(0,4),(1,3),(1,5),(4,2),(4,5)],6)=>[8,6,2]=>16 ([(0,4),(0,5),(1,2),(2,3),(2,4),(2,5)],6)=>[10,2,2]=>14 ([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6)=>[7,5]=>12 ([(1,5),(2,3),(3,5),(5,4)],6)=>[8,8]=>16 ([(0,5),(1,2),(2,5),(5,3),(5,4)],6)=>[8,2]=>10 ([(1,5),(4,3),(5,2),(5,4)],6)=>[8,8]=>16 ([(0,5),(1,4),(4,2),(4,5),(5,3)],6)=>[6,6]=>12 ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)=>[8,6]=>14 ([(0,5),(1,4),(4,2),(4,3),(4,5)],6)=>[10,6]=>16 ([(1,5),(3,4),(4,2),(5,3)],6)=>[6,6]=>12 ([(0,4),(3,5),(4,3),(5,1),(5,2)],6)=>[6,2]=>8 ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>[5,3,3]=>11 ([(0,5),(1,4),(4,2),(5,3)],6)=>[4,4,4,4]=>16 ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)=>[6,4]=>10 ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)=>[10,4]=>14 ([(0,3),(1,2),(2,4),(2,5),(3,4),(3,5)],6)=>[4,3,3,2]=>12 ([(1,4),(2,5),(3,5),(4,2),(4,3)],6)=>[10,2,2]=>14 ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)=>[6,2]=>8 ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>[6,4]=>10 ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)=>[9,5]=>14 ([(0,4),(1,2),(1,4),(2,3),(3,5),(4,5)],6)=>[9,3]=>12 ([(0,4),(1,2),(1,4),(2,5),(3,5),(4,3)],6)=>[11]=>11 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)=>[10,7]=>17 ([(0,5),(1,3),(1,5),(4,2),(5,4)],6)=>[7,5]=>12 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5)],6)=>[5,5,3,2,2]=>17 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>[5,3,2,2,2,2]=>16 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)=>[3,2,2,2,2,2,2]=>15 ([(0,4),(1,3),(1,5),(2,3),(2,4),(4,5)],6)=>[13,2]=>15 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4)],6)=>[17]=>17 ([(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6)=>[9,7]=>16 ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)=>[9,5]=>14 ([(0,4),(0,5),(1,2),(2,3),(3,4),(3,5)],6)=>[5,4,2]=>11 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(3,2)],6)=>[5,2,2]=>9 ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)=>[5,5]=>10 ([(0,5),(1,3),(4,2),(5,4)],6)=>[15]=>15 ([(0,5),(3,2),(4,1),(5,3),(5,4)],6)=>[5,3,3]=>11 ([(0,5),(1,4),(3,2),(4,3),(4,5)],6)=>[5,5,3]=>13 ([(0,5),(1,2),(2,3),(2,5),(3,4),(5,4)],6)=>[11]=>11 ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)=>[9]=>9 ([(0,5),(1,3),(3,4),(4,2),(4,5)],6)=>[7,5]=>12 ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>[7]=>7 ([(0,5),(1,4),(2,3),(3,4),(3,5)],6)=>[7,5,5]=>17 ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>[9]=>9 ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>[15]=>15 ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>[11]=>11 ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)=>[6,2]=>8 ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>[13]=>13 ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)=>[9]=>9 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1),(6,2)],7)=>[5,2,2,2,2]=>13 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7)=>[8,2,2,2]=>14 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[5,2,2,2,2]=>13 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,1)],7)=>[9,3,2,2]=>16 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)=>[5,5,2,2]=>14 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7)=>[11,2,2]=>15 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6),(6,1)],7)=>[9,6,2]=>17 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)=>[8,5,2]=>15 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6),(6,2)],7)=>[11,6]=>17 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>[8,2,2,2]=>14 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)=>[9,2,2]=>13 ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,5),(6,1),(6,5)],7)=>[11,2,2]=>15 ([(0,3),(0,4),(0,5),(4,6),(5,6),(6,1),(6,2)],7)=>[5,4,2,2,2,2]=>17 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)=>[11,2,2]=>15 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)=>[11,2,2,2]=>17 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>[8,2,2,2,2]=>16 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>[5,4,2,2,2,2]=>17 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>[5,4,2,2,2,2]=>17 ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>[4,2,2,2,2,2,2]=>16 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,6),(3,4),(3,5),(5,6)],7)=>[14,2]=>16 ([(0,4),(0,5),(4,6),(5,6),(6,1),(6,2),(6,3)],7)=>[5,2,2,2,2]=>13 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1),(6,2)],7)=>[8,2,2,2]=>14 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6),(6,1)],7)=>[6,2,2]=>10 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(5,2),(6,1)],7)=>[5,3,3,2]=>13 ([(0,2),(0,3),(2,4),(2,6),(3,4),(3,6),(4,5),(6,1),(6,5)],7)=>[5,5,2]=>12 ([(0,1),(0,2),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>[5,2,2,2]=>11 ([(0,4),(0,5),(4,6),(5,1),(5,6),(6,2),(6,3)],7)=>[11,2,2]=>15 ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(6,1)],7)=>[8,6,2]=>16 ([(0,1),(0,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>[8,2,2,2]=>14 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>[5,2,2,2,2]=>13 ([(0,3),(0,4),(3,5),(3,6),(4,2),(4,5),(4,6),(6,1)],7)=>[9,8]=>17 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)=>[11,2,2]=>15 ([(0,4),(0,5),(1,6),(4,6),(5,1),(6,2),(6,3)],7)=>[9,2]=>11 ([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7)=>[4,2,2,2,2,2,2]=>16 ([(0,6),(1,6),(2,6),(4,5),(6,3),(6,4)],7)=>[8,2,2,2]=>14 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,3)],7)=>[5,2,2,2,2]=>13 ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7)=>[6,2,2,2]=>12 ([(0,6),(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7)=>[11,2,2]=>15 ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)=>[6,2,2,2]=>12 ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,3),(6,4)],7)=>[5,2,2,2,2]=>13 ([(0,6),(1,5),(2,5),(3,6),(4,6),(5,3),(5,4)],7)=>[5,4,2,2,2,2]=>17 ([(0,5),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7)=>[5,2,2,2,2]=>13 ([(0,5),(1,4),(2,4),(2,5),(4,6),(5,6),(6,3)],7)=>[8,5,2]=>15 ([(0,6),(1,5),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>[8,4,2,2]=>16 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,4)],7)=>[6,4,3,2,2]=>17 ([(0,6),(1,3),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>[5,4,2,2,2]=>15 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7)=>[8,4,2,2]=>16 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7)=>[7,2,2,2,2,2]=>17 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7)=>[4,3,3,2,2,2]=>16 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3),(6,4)],7)=>[5,4,2,2,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>[4,2,2,2,2,2]=>14 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7)=>[5,4,2,2,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7)=>[5,2,2,2,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,4),(6,3)],7)=>[8,2,2,2]=>14 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3),(6,5)],7)=>[5,5,2,2]=>14 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3),(6,5)],7)=>[9,3,2,2]=>16 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,5),(6,3)],7)=>[11,2,2]=>15 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7)=>[7,5,2,2]=>16 ([(0,5),(1,4),(2,4),(2,5),(3,6),(4,6),(5,3)],7)=>[9,6,2]=>17 ([(0,6),(1,5),(2,5),(5,6),(6,3),(6,4)],7)=>[8,2,2,2]=>14 ([(0,6),(1,5),(2,5),(5,3),(5,6),(6,4)],7)=>[6,6,2,2]=>16 ([(0,6),(1,6),(5,2),(6,3),(6,4),(6,5)],7)=>[8,6,2]=>16 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>[6,5,4,2]=>17 ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4),(6,5)],7)=>[6,5,5]=>16 ([(0,5),(0,6),(1,4),(2,4),(4,5),(4,6),(6,3)],7)=>[11,2,2]=>15 ([(0,6),(1,6),(5,2),(5,3),(6,4),(6,5)],7)=>[8,2,2,2]=>14 ([(0,6),(1,6),(5,2),(5,3),(5,4),(6,5)],7)=>[5,2,2,2,2]=>13 ([(0,6),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7)=>[7,2,2,2,2,2]=>17 ([(0,6),(1,6),(4,3),(5,2),(5,4),(6,5)],7)=>[9,2]=>11 ([(0,6),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4),(6,5)],7)=>[8,2,2,2]=>14 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(6,5)],7)=>[11,6]=>17 ([(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,1),(4,2),(4,5)],7)=>[11,6]=>17 ([(0,3),(0,4),(1,5),(2,5),(3,2),(3,6),(4,1),(4,6)],7)=>[8,8]=>16 ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)=>[8,5,2]=>15 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)=>[6,4,2,2]=>14 ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)=>[6,5,5]=>16 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)=>[12]=>12 ([(0,6),(1,6),(2,5),(3,5),(4,2),(4,3),(6,4)],7)=>[6,2,2]=>10 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(6,4)],7)=>[11,2,2]=>15 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)=>[6,2,2]=>10 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)=>[6,5,3,3]=>17 ([(0,6),(1,6),(2,3),(3,6),(6,4),(6,5)],7)=>[8,6,2]=>16 ([(1,6),(2,6),(3,5),(5,4),(6,3)],7)=>[6,6,2,2]=>16 ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>[6,5,3,3]=>17 ([(0,6),(1,6),(4,2),(5,4),(6,3),(6,5)],7)=>[6,4,2]=>12 ([(0,6),(1,6),(4,5),(5,2),(5,3),(6,4)],7)=>[6,2,2]=>10 ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>[12]=>12 ([(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7)=>[6,6,2,2]=>16 ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)=>[7,2]=>9 ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>[7,2]=>9 ([(0,6),(1,4),(3,6),(4,5),(5,2),(5,3)],7)=>[14,2]=>16 ([(0,4),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)=>[9,2,2]=>13 ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>[6,4,2,2]=>14 ([(0,6),(1,6),(2,5),(3,5),(5,4),(6,2),(6,3)],7)=>[6,2,2]=>10 ([(0,6),(1,6),(3,5),(4,5),(6,2),(6,3),(6,4)],7)=>[8,2,2,2]=>14 ([(0,6),(1,6),(4,3),(5,2),(6,4),(6,5)],7)=>[5,3,3,2]=>13 ([(0,6),(1,6),(2,5),(3,4),(6,3),(6,5)],7)=>[5,5,3,2,2]=>17 ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>[9,2,2]=>13 ([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(6,4)],7)=>[11,6]=>17 ([(0,6),(1,5),(2,5),(3,4),(3,6),(5,3)],7)=>[7,5,2,2]=>16 ([(0,6),(1,6),(3,5),(4,2),(4,5),(6,3),(6,4)],7)=>[5,5,2]=>12 ([(0,5),(1,5),(2,4),(2,6),(3,6),(5,3),(5,4)],7)=>[7,5,2,2]=>16 ([(0,5),(1,2),(1,5),(2,6),(3,6),(4,6),(5,3),(5,4)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3)],7)=>[13,2,2]=>17 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,3)],7)=>[5,4,2,2,2]=>15 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(6,2),(6,3)],7)=>[5,2,2,2]=>11 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(6,2),(6,3)],7)=>[5,4,2,2,2]=>15 ([(0,3),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7)=>[5,4,2,2,2,2]=>17 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(5,3),(6,2)],7)=>[5,3,3,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,3),(5,4),(6,2),(6,4)],7)=>[5,5,2]=>12 ([(0,5),(0,6),(1,5),(1,6),(3,2),(4,2),(5,3),(5,4),(6,3),(6,4)],7)=>[5,2,2,2]=>11 ([(0,4),(0,5),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7)=>[8,2,2,2]=>14 ([(0,6),(1,2),(1,6),(3,5),(4,5),(6,3),(6,4)],7)=>[7,5,2,2]=>16 ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7)=>[9,6]=>15 ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>[11,2,2]=>15 ([(0,6),(1,6),(2,5),(3,5),(4,3),(6,2),(6,4)],7)=>[9,2]=>11 ([(0,5),(1,5),(2,4),(3,6),(4,6),(5,3),(5,4)],7)=>[11,2,2]=>15 ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>[9,8]=>17 ([(0,6),(1,2),(2,6),(3,5),(4,5),(6,3),(6,4)],7)=>[9,2]=>11 ([(0,6),(1,3),(1,6),(3,2),(3,4),(3,5),(6,4),(6,5)],7)=>[6,4,3,2,2]=>17 ([(0,6),(1,2),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7)=>[5,4,2,2,2]=>15 ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)=>[12,3]=>15 ([(0,6),(1,3),(1,6),(3,4),(3,5),(6,2),(6,4),(6,5)],7)=>[8,4,2,2]=>16 ([(0,5),(1,4),(1,5),(4,6),(5,6),(6,2),(6,3)],7)=>[5,5,2]=>12 ([(0,5),(1,4),(1,5),(3,6),(4,3),(5,6),(6,2)],7)=>[10,3]=>13 ([(0,6),(1,3),(1,6),(3,5),(5,4),(6,2),(6,5)],7)=>[14]=>14 ([(0,6),(1,4),(1,6),(3,5),(4,3),(6,2),(6,5)],7)=>[16]=>16 ([(0,6),(1,3),(1,6),(3,4),(4,2),(4,5),(6,5)],7)=>[16]=>16 ([(0,6),(1,2),(1,6),(2,3),(3,4),(3,5),(6,4),(6,5)],7)=>[9,3,2]=>14 ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3),(6,4)],7)=>[6,5,4,2]=>17 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,4)],7)=>[8,4,2,2]=>16 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,3),(6,4)],7)=>[5,4,2,2,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(5,2),(5,3),(5,4),(6,2),(6,3),(6,4)],7)=>[4,2,2,2,2,2]=>14 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)=>[13,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(2,3),(5,4),(6,2),(6,4)],7)=>[9,3,2]=>14 ([(0,5),(0,6),(1,5),(1,6),(4,2),(5,3),(5,4),(6,3),(6,4)],7)=>[8,2,2]=>12 ([(0,5),(0,6),(1,5),(1,6),(2,4),(5,2),(5,3),(6,3),(6,4)],7)=>[11,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2),(6,4)],7)=>[11,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,3),(6,2),(6,4)],7)=>[9,3,2]=>14 ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7)=>[8,2,2,2,2]=>16 ([(0,4),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,3)],7)=>[11,2,2,2]=>17 ([(0,5),(0,6),(1,5),(1,6),(4,3),(6,2),(6,4)],7)=>[15,2]=>17 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,2),(5,3),(6,4)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3)],7)=>[6,4,3,2,2]=>17 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3)],7)=>[7,5,2,2]=>16 ([(0,3),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(5,4),(6,4)],7)=>[11,2,2]=>15 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7)=>[8,4,2,2]=>16 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4),(6,4)],7)=>[11,6]=>17 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(6,4)],7)=>[5,4,2,2,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(5,4),(6,4)],7)=>[5,2,2,2]=>11 ([(0,5),(0,6),(1,5),(1,6),(3,2),(3,4),(5,3),(6,4)],7)=>[11,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(5,2),(6,3),(6,4)],7)=>[8,2,2]=>12 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)=>[7,2,2,2,2,2]=>17 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(4,1),(4,2)],7)=>[5,4,2,2,2,2]=>17 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,2),(4,1)],7)=>[5,3,3,2]=>13 ([(0,5),(0,6),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)=>[15,2]=>17 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7)=>[8,2,2,2]=>14 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,6),(4,1),(4,2)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(1,5),(1,6),(2,4),(4,5),(4,6),(6,3)],7)=>[11,6]=>17 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7)=>[8,6,2]=>16 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(6,3)],7)=>[11,2]=>13 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,2),(5,4),(6,4)],7)=>[6,2,2]=>10 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(5,3),(6,4)],7)=>[9,2]=>11 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(5,2),(6,4)],7)=>[6,4,2]=>12 ([(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>[8,2,2,2,2]=>16 ([(0,5),(0,6),(1,4),(2,6),(3,5),(3,6),(4,2),(4,3)],7)=>[5,5,4,2]=>16 ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>[5,5,2,2]=>14 ([(0,5),(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2),(4,3)],7)=>[5,4,2,2,2]=>15 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>[5,2,2,2,2]=>13 ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,6),(6,4)],7)=>[6,5,5]=>16 ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>[6,5,4,2]=>17 ([(0,3),(0,4),(0,5),(1,6),(4,6),(5,1),(6,2)],7)=>[9,8]=>17 ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)=>[9,6]=>15 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)=>[16]=>16 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)=>[6,4,2,2]=>14 ([(0,2),(0,3),(0,4),(1,5),(2,5),(2,6),(3,5),(3,6),(4,1),(4,6)],7)=>[11,6]=>17 ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)=>[6,5,5]=>16 ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)=>[6,5,3,3]=>17 ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)=>[6,2,2,2]=>12 ([(0,2),(0,3),(0,4),(3,6),(4,6),(5,1),(6,5)],7)=>[11,2,2]=>15 ([(0,3),(1,2),(1,5),(1,6),(3,5),(3,6),(5,4),(6,4)],7)=>[5,5,3,2,2]=>17 ([(0,3),(1,4),(1,5),(1,6),(3,4),(3,5),(3,6),(6,2)],7)=>[11,6]=>17 ([(0,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>[11,2,2]=>15 ([(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>[8,2,2,2]=>14 ([(0,3),(1,2),(1,4),(1,6),(2,5),(3,4),(3,6),(6,5)],7)=>[12,3,2]=>17 ([(0,3),(1,2),(1,4),(1,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>[9,3,2,2]=>16 ([(0,2),(0,4),(2,5),(3,1),(3,6),(4,3),(4,5),(5,6)],7)=>[6,5,3]=>14 ([(0,2),(0,3),(1,5),(1,6),(2,4),(3,1),(3,4),(4,5),(4,6)],7)=>[5,5,2]=>12 ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>[6,5]=>11 ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)=>[10,5]=>15 ([(0,3),(0,4),(2,5),(3,6),(4,2),(4,6),(6,1),(6,5)],7)=>[8,5]=>13 ([(0,3),(0,5),(3,6),(4,1),(4,6),(5,4),(6,2)],7)=>[7,6]=>13 ([(0,3),(0,4),(3,6),(4,5),(5,1),(5,2),(5,6)],7)=>[11,6]=>17 ([(0,4),(0,5),(3,2),(3,6),(4,3),(5,1),(5,6)],7)=>[9,6,2]=>17 ([(0,2),(0,4),(2,5),(2,6),(3,1),(3,6),(4,3),(4,5)],7)=>[14,2]=>16 ([(0,2),(0,3),(1,4),(1,6),(2,4),(2,5),(3,1),(3,5),(5,6)],7)=>[8,5]=>13 ([(0,3),(0,4),(2,5),(2,6),(3,2),(4,1),(4,5),(4,6)],7)=>[9,3,2,2]=>16 ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,1),(3,6)],7)=>[11,2,2]=>15 ([(0,3),(0,4),(2,6),(3,5),(3,6),(4,2),(4,5),(6,1)],7)=>[7,6]=>13 ([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5),(4,6),(5,6)],7)=>[12]=>12 ([(0,3),(0,4),(2,5),(3,5),(3,6),(4,2),(4,6),(6,1)],7)=>[6,5,3]=>14 ([(0,4),(0,5),(2,6),(4,2),(5,1),(5,6),(6,3)],7)=>[6,5,3]=>14 ([(0,6),(1,2),(1,3),(2,6),(3,6),(6,4),(6,5)],7)=>[8,2,2,2]=>14 ([(0,3),(1,4),(1,6),(3,6),(4,2),(4,5),(6,5)],7)=>[10,7]=>17 ([(0,2),(1,3),(1,6),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>[9,3,2]=>14 ([(0,4),(1,3),(1,6),(3,5),(4,5),(4,6),(6,2)],7)=>[10,3,3]=>16 ([(0,3),(1,2),(1,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[6,5,3]=>14 ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)=>[12,3]=>15 ([(0,4),(1,3),(1,5),(3,6),(4,5),(5,6),(6,2)],7)=>[10,3]=>13 ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)=>[12,3]=>15 ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)=>[7,4]=>11 ([(0,3),(0,5),(2,6),(3,6),(4,2),(5,1),(5,4)],7)=>[11,6]=>17 ([(0,2),(0,4),(1,5),(1,6),(2,5),(2,6),(3,1),(4,3)],7)=>[6,4,2]=>12 ([(0,6),(4,3),(5,2),(5,4),(6,1),(6,5)],7)=>[16]=>16 ([(0,3),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>[6,4,3,2,2]=>17 ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)=>[12,3]=>15 ([(0,2),(0,5),(2,6),(3,4),(4,1),(4,6),(5,3)],7)=>[7,6]=>13 ([(0,4),(0,5),(2,6),(4,6),(5,1),(5,2),(6,3)],7)=>[9,4,2]=>15 ([(0,2),(0,3),(1,6),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>[11,2,2]=>15 ([(0,5),(1,3),(1,4),(3,6),(4,5),(5,6),(6,2)],7)=>[12,2]=>14 ([(0,6),(1,3),(1,4),(3,6),(4,5),(6,2),(6,5)],7)=>[14,2]=>16 ([(0,6),(1,3),(1,4),(3,5),(3,6),(4,5),(4,6),(6,2)],7)=>[6,6,2,2]=>16 ([(0,6),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4)],7)=>[5,5,3,2,2]=>17 ([(0,6),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[11,2,2]=>15 ([(0,2),(0,3),(1,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[14,2]=>16 ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)=>[9,2,2]=>13 ([(0,6),(1,3),(1,5),(2,6),(3,6),(5,2),(6,4)],7)=>[16]=>16 ([(0,5),(1,2),(1,3),(2,6),(3,6),(5,6),(6,4)],7)=>[6,5,3,3]=>17 ([(0,5),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)=>[6,4,2,2]=>14 ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>[7,2]=>9 ([(1,3),(1,4),(3,6),(4,6),(5,2),(6,5)],7)=>[6,6,2,2]=>16 ([(0,6),(1,3),(1,4),(3,5),(4,5),(5,6),(6,2)],7)=>[6,4,2,2]=>14 ([(0,3),(0,4),(3,6),(4,6),(5,1),(6,2),(6,5)],7)=>[9,2]=>11 ([(0,5),(1,3),(1,4),(3,6),(4,6),(6,2),(6,5)],7)=>[7,5,2,2]=>16 ([(0,3),(0,4),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)=>[12,5]=>17 ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(5,6)],7)=>[8,5,2]=>15 ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)=>[5,5,2,2]=>14 ([(0,3),(0,4),(2,6),(3,1),(3,5),(4,2),(4,5),(5,6)],7)=>[14,2]=>16 ([(0,2),(0,3),(1,4),(2,4),(2,5),(2,6),(3,1),(3,5),(3,6)],7)=>[11,6]=>17 ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,5),(3,6),(6,4)],7)=>[9,6,2]=>17 ([(0,2),(0,3),(2,5),(2,6),(3,5),(3,6),(4,1),(6,4)],7)=>[6,4,2]=>12 ([(0,2),(0,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(6,1)],7)=>[9,2]=>11 ([(0,6),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7)=>[5,4,2,2,2,2]=>17 ([(0,3),(0,5),(3,6),(4,2),(5,1),(5,6),(6,4)],7)=>[7,6]=>13 ([(0,4),(0,5),(1,6),(2,6),(5,1),(5,2),(6,3)],7)=>[11,2,2]=>15 ([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)=>[6,3,3]=>12 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6),(6,2)],7)=>[5,2,2,2,2]=>13 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(5,2),(5,3),(6,2),(6,3)],7)=>[7,2,2,2,2,2]=>17 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(4,3),(5,2),(6,2),(6,3)],7)=>[8,4,2,2]=>16 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(3,6),(4,2),(4,6),(5,2),(5,6)],7)=>[5,4,2,2,2]=>15 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>[4,2,2,2,2,2]=>14 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(3,6),(4,6),(5,2),(5,6)],7)=>[6,5,4,2]=>17 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(3,2),(5,3),(6,3)],7)=>[5,4,2,2,2]=>15 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(3,2),(4,3),(5,3),(6,2)],7)=>[8,2,2,2]=>14 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(5,2),(6,3)],7)=>[15,2]=>17 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7)=>[8,6,2]=>16 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,6),(4,6),(5,6),(6,3)],7)=>[5,5,2,2]=>14 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(5,3),(6,3),(6,4)],7)=>[11,4,2]=>17 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,6),(4,3),(4,6),(5,3),(5,6)],7)=>[8,4,2,2]=>16 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(5,4),(6,3)],7)=>[8,5,4]=>17 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(4,6),(5,3),(5,6)],7)=>[5,5,4,2]=>16 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>[5,4,2,2,2]=>15 ([(0,5),(0,6),(1,2),(1,6),(2,5),(5,3),(6,4)],7)=>[16]=>16 ([(0,3),(0,6),(1,5),(1,6),(3,5),(5,4),(6,2),(6,4)],7)=>[12,3]=>15 ([(0,5),(0,6),(1,4),(1,5),(4,6),(6,2),(6,3)],7)=>[7,5,2,2]=>16 ([(0,3),(0,6),(1,5),(1,6),(3,5),(5,2),(5,4),(6,4)],7)=>[14]=>14 ([(0,2),(0,6),(1,5),(1,6),(2,5),(5,3),(5,4),(6,3),(6,4)],7)=>[11,2]=>13 ([(0,3),(0,5),(1,4),(1,5),(4,6),(5,6),(6,2)],7)=>[10,5,2]=>17 ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(6,2),(6,4)],7)=>[11,4,2]=>17 ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)=>[12,3]=>15 ([(0,3),(0,6),(1,5),(1,6),(3,2),(3,5),(5,4),(6,4)],7)=>[9,6,2]=>17 ([(0,2),(0,6),(1,5),(1,6),(2,4),(2,5),(5,3),(6,3),(6,4)],7)=>[14]=>14 ([(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4)],7)=>[8,4,2,2]=>16 ([(0,4),(0,5),(1,3),(1,5),(3,6),(4,6),(5,6),(6,2)],7)=>[8,5,2]=>15 ([(0,4),(0,5),(1,3),(1,5),(3,6),(4,6),(6,2)],7)=>[8,5,4]=>17 ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(5,4),(6,4)],7)=>[8,8]=>16 ([(0,2),(0,4),(1,3),(1,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>[11,4,2]=>17 ([(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6)],7)=>[8,5,4]=>17 ([(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>[8,4,2,2]=>16 ([(0,5),(0,6),(1,4),(1,6),(3,5),(4,3),(6,2)],7)=>[13,4]=>17 ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)=>[10,5]=>15 ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,5),(5,4),(6,4)],7)=>[14]=>14 ([(0,4),(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,5),(6,5)],7)=>[11,6]=>17 ([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(3,6),(4,6),(5,6)],7)=>[11,6]=>17 ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(5,3),(6,3)],7)=>[14,2]=>16 ([(0,2),(0,4),(1,4),(1,5),(1,6),(2,5),(2,6),(5,3),(6,3)],7)=>[7,5,2,2]=>16 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7)=>[11,2,2]=>15 ([(0,2),(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1)],7)=>[8,6,2]=>16 ([(0,2),(0,3),(0,4),(1,5),(1,6),(2,6),(3,5),(3,6),(4,1)],7)=>[9,8]=>17 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,1)],7)=>[8,2,2,2]=>14 ([(0,2),(0,4),(2,5),(2,6),(3,1),(3,5),(3,6),(4,3)],7)=>[11,2,2]=>15 ([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>[7,2,2,2,2,2]=>17 ([(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,2),(6,1)],7)=>[12]=>12 ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(4,6),(5,6)],7)=>[9,2]=>11 ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)=>[11,2,2,2]=>17 ([(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7)=>[11,2,2,2]=>17 ([(0,4),(0,6),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)=>[14,2]=>16 ([(0,5),(0,6),(1,2),(1,3),(2,6),(3,5),(3,6),(5,4)],7)=>[12,3,2]=>17 ([(0,5),(0,6),(1,2),(1,3),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[8,5,2]=>15 ([(0,5),(0,6),(1,3),(1,4),(3,5),(3,6),(4,5),(4,6),(6,2)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[8,2,2,2]=>14 ([(0,5),(0,6),(1,2),(1,4),(2,6),(4,5),(4,6),(6,3)],7)=>[14,2]=>16 ([(0,2),(0,3),(1,5),(1,6),(2,6),(3,5),(5,4),(6,4)],7)=>[8,8]=>16 ([(0,2),(0,3),(1,5),(1,6),(2,6),(3,4),(3,5),(6,4)],7)=>[17]=>17 ([(0,4),(0,6),(1,3),(1,5),(3,6),(4,5),(6,2)],7)=>[10,7]=>17 ([(0,3),(0,6),(1,2),(1,5),(2,6),(3,5),(5,4),(6,4)],7)=>[10,5]=>15 ([(0,2),(0,5),(2,6),(3,1),(4,3),(4,6),(5,4)],7)=>[6,5,3]=>14 ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)=>[12]=>12 ([(0,3),(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(6,4)],7)=>[16]=>16 ([(0,2),(0,4),(1,5),(2,5),(2,6),(3,1),(3,6),(4,3)],7)=>[7,6]=>13 ([(0,4),(0,6),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4)],7)=>[7,5,2,2]=>16 ([(0,2),(0,3),(1,4),(1,5),(2,6),(3,5),(3,6),(6,4)],7)=>[10,5,2]=>17 ([(0,3),(0,4),(3,6),(4,6),(5,1),(5,2),(6,5)],7)=>[6,2,2]=>10 ([(0,2),(0,3),(1,4),(1,5),(2,6),(3,6),(6,4),(6,5)],7)=>[5,4,2,2,2]=>15 ([(0,5),(1,4),(1,6),(5,6),(6,2),(6,3)],7)=>[5,5,3,2,2]=>17 ([(0,5),(0,6),(1,4),(4,5),(4,6),(6,2),(6,3)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(1,2),(2,5),(2,6),(5,4),(6,3)],7)=>[8,3,3]=>14 ([(0,3),(1,5),(1,6),(3,5),(3,6),(5,4),(6,2),(6,4)],7)=>[8,5]=>13 ([(0,2),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7)=>[8,2,2]=>12 ([(0,3),(0,5),(4,6),(5,4),(6,1),(6,2)],7)=>[11,2,2]=>15 ([(0,5),(0,6),(3,4),(4,2),(5,3),(6,1)],7)=>[16]=>16 ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)=>[10,5]=>15 ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)=>[10,3]=>13 ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)=>[10,5]=>15 ([(0,2),(0,4),(1,5),(2,5),(2,6),(3,1),(4,3),(4,6)],7)=>[14]=>14 ([(0,3),(1,5),(1,6),(3,2),(3,5),(3,6),(5,4),(6,4)],7)=>[6,6,2,2]=>16 ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)=>[12,3]=>15 ([(0,3),(1,5),(1,6),(2,6),(3,2),(3,5),(5,4),(6,4)],7)=>[7,6]=>13 ([(0,5),(0,6),(1,4),(3,6),(4,3),(4,5),(6,2)],7)=>[14]=>14 ([(0,5),(1,4),(1,6),(2,6),(5,2),(6,3)],7)=>[16]=>16 ([(0,5),(2,6),(4,1),(4,6),(5,2),(5,4),(6,3)],7)=>[12]=>12 ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)=>[10,5]=>15 ([(0,5),(2,6),(3,1),(4,3),(4,6),(5,2),(5,4)],7)=>[10,3]=>13 ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)=>[6,5]=>11 ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(4,5)],7)=>[10,7]=>17 ([(0,5),(0,6),(1,4),(3,5),(3,6),(4,3),(6,2)],7)=>[9,4]=>13 ([(0,2),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7)=>[6,4,2]=>12 ([(0,4),(2,5),(2,6),(3,5),(3,6),(4,2),(4,3),(6,1)],7)=>[9,2]=>11 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(3,2),(4,6),(5,6)],7)=>[6,2,2]=>10 ([(0,6),(1,2),(2,6),(6,3),(6,4),(6,5)],7)=>[8,2,2,2]=>14 ([(1,5),(2,6),(3,6),(5,2),(5,3),(6,4)],7)=>[6,6,2,2]=>16 ([(0,5),(1,6),(2,6),(5,1),(5,2),(6,3),(6,4)],7)=>[6,2,2]=>10 ([(0,6),(1,5),(5,2),(5,6),(6,3),(6,4)],7)=>[6,6,2,2]=>16 ([(0,5),(1,4),(3,6),(4,3),(4,5),(5,6),(6,2)],7)=>[12]=>12 ([(0,6),(1,5),(4,2),(5,4),(5,6),(6,3)],7)=>[16]=>16 ([(0,6),(1,4),(3,5),(4,3),(4,6),(6,2),(6,5)],7)=>[14]=>14 ([(0,6),(1,3),(3,4),(3,6),(4,2),(4,5),(6,5)],7)=>[12,3]=>15 ([(0,2),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7)=>[11,2]=>13 ([(0,5),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)=>[6,4,2,2]=>14 ([(0,6),(1,5),(3,6),(5,2),(5,3),(6,4)],7)=>[6,4,4,2]=>16 ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)=>[6,2,2,2]=>12 ([(0,6),(1,5),(2,6),(3,6),(5,2),(5,3),(6,4)],7)=>[6,4,2,2]=>14 ([(1,5),(4,6),(5,4),(6,2),(6,3)],7)=>[6,6,2,2]=>16 ([(0,5),(4,6),(5,4),(6,1),(6,2),(6,3)],7)=>[6,2,2,2]=>12 ([(0,5),(1,4),(4,6),(5,6),(6,2),(6,3)],7)=>[5,3,3,2]=>13 ([(0,4),(1,3),(3,5),(3,6),(4,5),(4,6),(6,2)],7)=>[8,3,3]=>14 ([(0,3),(1,2),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7)=>[5,3,3,2]=>13 ([(0,4),(1,5),(4,6),(5,2),(5,6),(6,3)],7)=>[16]=>16 ([(0,6),(4,5),(5,2),(5,3),(6,1),(6,4)],7)=>[6,4,2,2]=>14 ([(0,3),(1,2),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>[4,3,3,2,2,2]=>16 ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)=>[10]=>10 ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>[14]=>14 ([(0,6),(1,5),(2,6),(5,2),(6,3),(6,4)],7)=>[6,4,2]=>12 ([(0,6),(1,4),(1,6),(3,5),(4,5),(6,2),(6,3)],7)=>[14,2]=>16 ([(0,6),(1,3),(1,6),(2,5),(3,5),(5,4),(6,2)],7)=>[12]=>12 ([(0,6),(1,4),(1,6),(3,2),(4,3),(4,5),(6,5)],7)=>[10,7]=>17 ([(0,6),(1,3),(1,6),(3,4),(3,5),(5,2),(6,4),(6,5)],7)=>[8,5]=>13 ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)=>[12,3]=>15 ([(0,6),(1,4),(1,6),(3,5),(4,2),(4,5),(6,3)],7)=>[16]=>16 ([(0,6),(1,3),(1,6),(2,5),(3,4),(3,5),(6,2),(6,4)],7)=>[14]=>14 ([(0,6),(1,4),(1,6),(4,3),(5,2),(6,5)],7)=>[10,7]=>17 ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)=>[12,3]=>15 ([(0,6),(1,3),(1,6),(2,4),(3,2),(3,5),(5,4),(6,5)],7)=>[6,5,3]=>14 ([(0,6),(1,2),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4),(6,5)],7)=>[5,5,2]=>12 ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)=>[10,5]=>15 ([(0,6),(1,3),(1,6),(2,4),(3,5),(5,4),(6,2),(6,5)],7)=>[8,5]=>13 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>[5,4,2,2,2,2]=>17 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7)=>[7,2,2,2,2,2]=>17 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(4,3),(5,3),(6,3)],7)=>[4,2,2,2,2,2,2]=>16 ([(0,5),(1,4),(1,6),(2,4),(2,5),(5,6),(6,3)],7)=>[10,5,2]=>17 ([(0,5),(1,4),(1,6),(2,5),(2,6),(4,3),(5,4),(6,3)],7)=>[14,2]=>16 ([(0,6),(1,4),(1,5),(2,5),(2,6),(5,3),(6,3),(6,4)],7)=>[11,4,2]=>17 ([(0,3),(0,6),(1,5),(1,6),(2,5),(3,2),(3,4),(6,4)],7)=>[16]=>16 ([(0,6),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(6,2)],7)=>[11,2]=>13 ([(0,6),(1,3),(1,6),(3,5),(4,2),(4,5),(6,4)],7)=>[14]=>14 ([(0,6),(1,4),(1,6),(5,2),(5,3),(6,5)],7)=>[7,5,2,2]=>16 ([(0,3),(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7)=>[8,5,2]=>15 ([(0,3),(0,4),(1,5),(2,5),(2,6),(3,6),(4,1),(4,2)],7)=>[14,2]=>16 ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)=>[10,5]=>15 ([(0,3),(0,4),(1,5),(2,5),(2,6),(3,2),(4,1),(4,6)],7)=>[6,5,3]=>14 ([(0,3),(0,5),(2,6),(3,6),(4,1),(4,6),(5,2),(5,4)],7)=>[12,5]=>17 ([(0,6),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7)=>[9,8]=>17 ([(0,6),(1,5),(1,6),(3,4),(4,2),(5,3)],7)=>[11,6]=>17 ([(0,6),(1,3),(1,6),(3,5),(4,2),(5,4),(6,5)],7)=>[6,5]=>11 ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)=>[10,5]=>15 ([(0,6),(1,3),(1,6),(2,5),(3,5),(4,2),(6,4)],7)=>[7,6]=>13 ([(0,6),(1,3),(1,6),(4,2),(5,4),(6,5)],7)=>[14]=>14 ([(0,6),(1,4),(2,5),(3,5),(3,6),(4,2),(4,3)],7)=>[10,5,2]=>17 ([(0,5),(0,6),(1,4),(2,6),(3,5),(4,2),(4,3)],7)=>[8,5,4]=>17 ([(0,4),(1,6),(2,5),(3,5),(3,6),(4,1),(4,2),(4,3)],7)=>[8,5,2]=>15 ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2),(4,3)],7)=>[7,5,2,2]=>16 ([(0,5),(2,6),(3,6),(4,1),(4,6),(5,2),(5,3),(5,4)],7)=>[6,5,5]=>16 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,4),(5,4),(6,5)],7)=>[12,5]=>17 ([(0,5),(3,6),(4,1),(4,2),(4,6),(5,3),(5,4)],7)=>[6,5,5]=>16 ([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5)],7)=>[7,5,2,2]=>16 ([(0,3),(0,5),(4,2),(5,6),(6,1),(6,4)],7)=>[9,8]=>17 ([(0,5),(0,6),(3,2),(4,1),(5,3),(6,4)],7)=>[5,4,4,4]=>17 ([(0,4),(0,5),(2,6),(3,1),(4,2),(5,3),(5,6)],7)=>[7,5,4]=>16 ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)=>[10,3]=>13 ([(0,3),(0,4),(1,6),(2,5),(3,2),(3,6),(4,1),(4,5)],7)=>[10,5]=>15 ([(0,3),(0,4),(1,6),(2,5),(3,5),(3,6),(4,1),(4,2)],7)=>[8,8]=>16 ([(0,6),(1,3),(1,4),(4,6),(5,2),(6,5)],7)=>[14,2]=>16 ([(0,5),(2,6),(3,6),(4,1),(4,3),(5,2),(5,4)],7)=>[12,2]=>14 ([(0,4),(1,3),(1,5),(2,6),(3,6),(4,2),(4,5),(5,6)],7)=>[9,6,2]=>17 ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)=>[12]=>12 ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)=>[16]=>16 ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)=>[6,4,2,2]=>14 ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)=>[10]=>10 ([(0,6),(1,3),(1,4),(2,5),(3,5),(4,2),(5,6)],7)=>[9,8]=>17 ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)=>[12,2]=>14 ([(0,6),(1,3),(1,4),(3,6),(4,6),(5,2),(6,5)],7)=>[9,2,2]=>13 ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)=>[9,2,2]=>13 ([(0,3),(0,4),(2,6),(3,6),(4,5),(5,1),(5,2)],7)=>[9,4,2]=>15 ([(0,6),(1,2),(1,4),(2,6),(3,5),(4,3),(4,6),(6,5)],7)=>[12,5]=>17 ([(0,6),(1,2),(1,4),(2,6),(3,5),(4,5),(6,3)],7)=>[9,4,2]=>15 ([(0,5),(0,6),(1,3),(1,5),(1,6),(4,2),(5,4),(6,4)],7)=>[7,5,2,2]=>16 ([(0,2),(1,4),(1,5),(1,6),(2,3),(3,4),(3,5),(3,6)],7)=>[5,4,2,2,2]=>15 ([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,1),(3,2)],7)=>[5,2,2,2,2]=>13 ([(0,4),(2,5),(2,6),(3,1),(3,5),(3,6),(4,2),(4,3)],7)=>[5,5,2,2]=>14 ([(0,5),(0,6),(1,3),(1,5),(1,6),(3,4),(4,2),(6,4)],7)=>[5,5,4,2]=>16 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(4,3),(5,4),(6,3)],7)=>[8,5,2]=>15 ([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(4,3),(5,4),(6,4)],7)=>[11,2,2]=>15 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7)=>[9,8]=>17 ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(3,4),(3,5)],7)=>[13,2,2]=>17 ([(0,3),(0,6),(1,4),(1,6),(3,4),(3,5),(5,2),(6,5)],7)=>[14]=>14 ([(0,3),(0,6),(1,4),(1,6),(2,5),(3,2),(3,4),(6,5)],7)=>[17]=>17 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,6),(4,6),(5,6)],7)=>[14,2]=>16 ([(0,3),(0,5),(1,5),(1,6),(2,4),(3,2),(3,6),(6,4)],7)=>[10,5,2]=>17 ([(0,2),(0,6),(1,5),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4)],7)=>[8,5]=>13 ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)=>[9,6]=>15 ([(0,3),(0,6),(1,4),(1,6),(2,5),(3,4),(3,5),(6,2)],7)=>[9,6]=>15 ([(0,2),(0,6),(1,3),(1,6),(2,5),(3,4),(5,4),(6,5)],7)=>[14,2]=>16 ([(0,5),(0,6),(1,3),(1,6),(3,5),(4,2),(6,4)],7)=>[16]=>16 ([(0,3),(0,5),(1,5),(1,6),(2,4),(3,6),(5,2),(6,4)],7)=>[6,5,3]=>14 ([(0,3),(0,6),(1,4),(2,5),(2,6),(3,5),(4,2)],7)=>[16]=>16 ([(0,4),(1,5),(2,5),(2,6),(3,1),(3,6),(4,2),(4,3)],7)=>[12]=>12 ([(0,5),(0,6),(1,3),(1,6),(3,5),(4,2),(5,4)],7)=>[14]=>14 ([(0,3),(0,6),(1,5),(1,6),(3,5),(4,2),(5,4),(6,4)],7)=>[12]=>12 ([(0,3),(0,6),(1,4),(1,6),(2,5),(3,4),(4,2),(6,5)],7)=>[7,6]=>13 ([(0,5),(0,6),(1,3),(3,4),(4,2),(4,5),(4,6)],7)=>[7,5,2,2]=>16 ([(0,5),(3,2),(3,6),(4,1),(4,6),(5,3),(5,4)],7)=>[8,5,2]=>15 ([(0,5),(0,6),(1,4),(3,2),(3,5),(4,3),(4,6)],7)=>[10,5,2]=>17 ([(0,2),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4)],7)=>[14]=>14 ([(0,5),(0,6),(1,4),(1,6),(2,5),(3,2),(4,3)],7)=>[6,5,5]=>16 ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)=>[12,3]=>15 ([(0,3),(1,4),(1,6),(2,5),(3,5),(3,6),(4,2)],7)=>[13,4]=>17 ([(0,5),(0,6),(1,3),(3,5),(3,6),(4,2),(6,4)],7)=>[9,4]=>13 ([(0,3),(1,5),(1,6),(3,5),(3,6),(4,2),(5,4),(6,4)],7)=>[9,2]=>11 ([(0,3),(1,4),(1,6),(2,5),(3,4),(3,6),(4,2),(6,5)],7)=>[12]=>12 ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)=>[13,2]=>15 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,2),(4,1),(4,3)],7)=>[9,2]=>11 ([(0,5),(0,6),(1,4),(2,5),(2,6),(3,2),(4,3)],7)=>[11,2]=>13 ([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,1),(4,2)],7)=>[6,2,2]=>10 ([(0,5),(1,3),(3,6),(4,2),(4,6),(5,4)],7)=>[10,7]=>17 ([(0,5),(1,3),(1,6),(2,6),(4,2),(5,4)],7)=>[11,6]=>17 ([(0,4),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3)],7)=>[6,5]=>11 ([(0,5),(0,6),(1,3),(2,6),(3,4),(4,2),(4,5)],7)=>[14]=>14 ([(0,5),(2,6),(3,2),(4,1),(4,6),(5,3),(5,4)],7)=>[10,3]=>13 ([(0,5),(0,6),(1,4),(2,6),(3,2),(4,3),(4,5)],7)=>[10,5]=>15 ([(0,3),(1,4),(1,6),(2,5),(3,6),(4,2),(6,5)],7)=>[7,5,4]=>16 ([(0,3),(1,4),(1,6),(2,5),(3,6),(4,5),(6,2)],7)=>[6,5,3]=>14 ([(0,2),(0,6),(3,5),(4,3),(5,1),(6,4)],7)=>[7,6]=>13 ([(0,6),(4,3),(5,1),(5,2),(6,4),(6,5)],7)=>[6,5,3,3]=>17 ([(0,3),(1,4),(1,6),(2,5),(3,2),(3,4),(3,6),(6,5)],7)=>[14,2]=>16 ([(0,4),(0,5),(1,2),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7)=>[11,2,2]=>15 ([(0,4),(4,6),(5,2),(5,3),(6,1),(6,5)],7)=>[9,2,2]=>13 ([(0,3),(0,4),(1,6),(2,6),(4,5),(5,1),(5,2)],7)=>[11,2,2]=>15 ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)=>[14]=>14 ([(0,3),(0,5),(1,6),(2,6),(4,2),(5,1),(5,4)],7)=>[9,8]=>17 ([(0,6),(1,4),(4,6),(5,2),(5,3),(6,5)],7)=>[9,2]=>11 ([(0,6),(1,4),(1,5),(2,3),(3,6),(6,4),(6,5)],7)=>[15,2]=>17 ([(0,6),(1,4),(4,5),(5,2),(5,6),(6,3)],7)=>[14]=>14 ([(0,5),(4,3),(5,6),(6,1),(6,2),(6,4)],7)=>[9,6]=>15 ([(1,6),(3,5),(4,3),(5,2),(6,4)],7)=>[14]=>14 ([(0,5),(3,4),(4,6),(5,3),(6,1),(6,2)],7)=>[7,2]=>9 ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)=>[10,5]=>15 ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)=>[7,4]=>11 ([(0,6),(3,5),(4,3),(5,1),(6,2),(6,4)],7)=>[12]=>12 ([(0,5),(2,6),(3,4),(4,1),(4,6),(5,2),(5,3)],7)=>[12]=>12 ([(0,3),(1,4),(2,5),(3,5),(3,6),(4,2),(4,6)],7)=>[16]=>16 ([(0,6),(1,3),(3,6),(5,2),(6,4),(6,5)],7)=>[12]=>12 ([(0,6),(1,4),(4,3),(4,6),(5,2),(6,5)],7)=>[14]=>14 ([(0,6),(1,4),(2,5),(3,5),(4,3),(4,6),(6,2)],7)=>[7,6]=>13 ([(0,5),(3,2),(4,1),(5,6),(6,3),(6,4)],7)=>[6,3,3]=>12 ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)=>[12,3]=>15 ([(0,6),(1,4),(2,5),(3,2),(3,6),(4,3),(6,5)],7)=>[7,6]=>13 ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)=>[10]=>10 ([(0,6),(1,4),(3,5),(4,3),(5,2),(5,6)],7)=>[14]=>14 ([(0,6),(3,4),(4,1),(5,2),(6,3),(6,5)],7)=>[14]=>14 ([(0,6),(1,5),(3,4),(4,2),(5,3),(5,6)],7)=>[16]=>16 ([(0,6),(1,4),(2,5),(3,2),(4,3),(4,6),(6,5)],7)=>[6,5,3]=>14 ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>[8]=>8 ([(0,5),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)=>[16]=>16 ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>[10]=>10 ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>[16]=>16 ([(0,6),(1,5),(2,6),(3,6),(4,3),(5,2),(5,4)],7)=>[9,8]=>17 ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)=>[9,6]=>15 ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>[16]=>16 ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)=>[10]=>10 ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)=>[6,3,3]=>12 ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>[6,3,3]=>12 ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(5,4)],7)=>[6,5,3,3]=>17 ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)=>[9,2,2]=>13 ([(0,5),(1,4),(2,6),(3,6),(4,2),(4,3),(4,5),(5,6)],7)=>[11,6]=>17 ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)=>[7,2]=>9 ([(0,6),(1,4),(2,5),(3,5),(4,2),(4,3),(5,6)],7)=>[11,2,2]=>15 ([(0,6),(1,4),(2,6),(3,5),(4,2),(4,3),(6,5)],7)=>[9,4,2]=>15 ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>[7,4]=>11 ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>[7,6]=>13 ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)=>[7,2]=>9 ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>[5,4,4,4]=>17 ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)=>[7,4]=>11 ([(0,4),(1,6),(2,5),(3,5),(3,6),(4,1),(4,2),(4,3),(5,7),(6,7)],8)=>[8,6,2]=>16 ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)=>[7,5]=>12 ([(0,5),(1,6),(2,7),(3,4),(3,6),(4,2),(4,8),(5,1),(5,3),(6,8),(8,7)],9)=>[7,6,3]=>16 ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)=>[8,7]=>15 ([(0,6),(1,7),(2,9),(4,8),(5,1),(5,9),(6,2),(6,5),(7,8),(8,3),(9,4),(9,7)],10)=>[8,8]=>16 ([(0,5),(1,8),(2,9),(3,7),(4,3),(4,9),(5,6),(6,2),(6,4),(7,8),(9,1),(9,7)],10)=>[8,8]=>16 ([(0,6),(1,8),(2,10),(4,9),(5,1),(5,10),(6,7),(7,2),(7,5),(8,9),(9,3),(10,4),(10,8)],11)=>[9,8]=>17 ([(0,7),(2,9),(3,10),(4,8),(5,4),(5,10),(6,1),(7,3),(7,5),(8,9),(9,6),(10,2),(10,8)],11)=>[9,8]=>17
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The sum of the parts of an integer partition that are at least two.
Map
rowmotion cycle type
Description
The cycle type of rowmotion on the order ideals of a poset.