Identifier
Values
([],1) => ([],1) => [1] => 0
([],2) => ([],1) => [1] => 0
([(0,1)],2) => ([(0,1)],2) => [2] => 0
([],3) => ([],1) => [1] => 0
([(1,2)],3) => ([(0,1)],2) => [2] => 0
([(0,2),(1,2)],3) => ([(0,1)],2) => [2] => 0
([(0,1),(0,2),(1,2)],3) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([],4) => ([],1) => [1] => 0
([(2,3)],4) => ([(0,1)],2) => [2] => 0
([(1,3),(2,3)],4) => ([(0,1)],2) => [2] => 0
([(0,3),(1,3),(2,3)],4) => ([(0,1)],2) => [2] => 0
([(0,3),(1,2)],4) => ([(0,1)],2) => [2] => 0
([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => [2] => 0
([(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,2),(0,3),(1,2),(1,3)],4) => ([(0,1)],2) => [2] => 0
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([],5) => ([],1) => [1] => 0
([(3,4)],5) => ([(0,1)],2) => [2] => 0
([(2,4),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(1,4),(2,4),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(0,4),(1,4),(2,4),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(1,4),(2,3)],5) => ([(0,1)],2) => [2] => 0
([(1,4),(2,3),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(0,1),(2,4),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,3),(1,4),(2,3),(2,4)],5) => ([(0,1)],2) => [2] => 0
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => ([(0,1)],2) => [2] => 0
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => ([(0,1)],2) => [2] => 0
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,1)],2) => [2] => 0
([(0,1),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 4
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([],6) => ([],1) => [1] => 0
([(4,5)],6) => ([(0,1)],2) => [2] => 0
([(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(2,5),(3,4)],6) => ([(0,1)],2) => [2] => 0
([(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,2),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,1),(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,5),(2,4),(3,4)],6) => ([(0,1)],2) => [2] => 0
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,3)],6) => ([(0,1)],2) => [2] => 0
([(1,5),(2,4),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,1),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,2),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,4),(1,5),(2,3),(2,5),(3,4)],6) => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 4
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 4
>>> Load all 207 entries. <<<
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 4
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => ([(0,1)],2) => [2] => 0
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1)],2) => [2] => 0
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => ([(0,1)],2) => [2] => 0
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,1),(0,2),(1,2)],3) => [3] => 0
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 0
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [6] => 0
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 smallest integer d such that the restriction of the representation corresponding to a partition of n to the symmetric group on n-d letters has a constituent of odd degree.
For example, restricting $S_{(6,3)}$ to $\mathfrak S_8$ yields $$S_{(5,3)}\oplus S_{(6,2)}$$ of degrees (number of standard Young tableaux) 28 and 20, none of which are odd. Restricting to $\mathfrak S_7$ yields $$S_{(4,3)}\oplus 2S_{(5,2)}\oplus S_{(6,1)}$$ of degrees 14, 14 and 6. However, restricting to $\mathfrak S_6$ yields
$$S_{(3,3)}\oplus 3S_{(4,2)}\oplus 3S_{(5,1)}\oplus S_6$$ of degrees 5,9,5 and 1. Therefore, the statistic on the partition $(6,3)$ gives 3.
This is related to $2$-saturations of Welter's game, see [1, Corollary 1.2].
Map
core
Description
The core of a graph.
The core of a graph $G$ is the smallest graph $C$ such that there is a homomorphism from $G$ to $C$ and a homomorphism from $C$ to $G$.
Note that the core of a graph is not necessarily connected, see [2].
Map
clique sizes
Description
The integer partition of the sizes of the maximal cliques of a graph.