Your data matches 3 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000639
Mapping
St000639: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([],2)
 => 2
([(0,1)],2)
 => 3
([],3)
 => 3
([(1,2)],3)
 => 4
([(0,1),(0,2)],3)
 => 5
([(0,2),(2,1)],3)
 => 6
([(0,2),(1,2)],3)
 => 5
([],4)
 => 4
([(2,3)],4)
 => 5
([(1,2),(1,3)],4)
 => 6
([(0,1),(0,2),(0,3)],4)
 => 7
([(0,2),(0,3),(3,1)],4)
 => 8
([(0,1),(0,2),(1,3),(2,3)],4)
 => 9
([(1,2),(2,3)],4)
 => 7
([(0,3),(3,1),(3,2)],4)
 => 9
([(1,3),(2,3)],4)
 => 6
([(0,3),(1,3),(3,2)],4)
 => 9
([(0,3),(1,3),(2,3)],4)
 => 7
([(0,3),(1,2)],4)
 => 6
([(0,3),(1,2),(1,3)],4)
 => 7
([(0,2),(0,3),(1,2),(1,3)],4)
 => 8
([(0,3),(2,1),(3,2)],4)
 => 10
([(0,3),(1,2),(2,3)],4)
 => 8
([],5)
 => 5
([(3,4)],5)
 => 6
([(2,3),(2,4)],5)
 => 7
([(1,2),(1,3),(1,4)],5)
 => 8
([(0,1),(0,2),(0,3),(0,4)],5)
 => 9
([(0,2),(0,3),(0,4),(4,1)],5)
 => 10
([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
 => 11
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 12
([(1,3),(1,4),(4,2)],5)
 => 9
([(0,3),(0,4),(4,1),(4,2)],5)
 => 11
([(1,2),(1,3),(2,4),(3,4)],5)
 => 10
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 14
([(0,3),(0,4),(3,2),(4,1)],5)
 => 11
([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => 12
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
 => 13
([(2,3),(3,4)],5)
 => 8
([(1,4),(4,2),(4,3)],5)
 => 10
([(0,4),(4,1),(4,2),(4,3)],5)
 => 12
([(2,4),(3,4)],5)
 => 7
([(1,4),(2,4),(4,3)],5)
 => 10
([(0,4),(1,4),(4,2),(4,3)],5)
 => 13
([(1,4),(2,4),(3,4)],5)
 => 8
([(0,4),(1,4),(2,4),(4,3)],5)
 => 12
([(0,4),(1,4),(2,4),(3,4)],5)
 => 9
([(0,4),(1,4),(2,3)],5)
 => 8
([(0,4),(1,3),(2,3),(2,4)],5)
 => 9
([(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 10
Description
The number of relations in a poset. This is the number of intervals $x,y$ with $x\leq y$ in the poset, and therefore the dimension of the posets incidence algebra.
Matching statistic: St000081
Mapping
Mp00198: Posets —incomparability graph⟶ Graphs
Mp00111: Graphs —complement⟶ Graphs
Mp00203: Graphs —cone⟶ Graphs
St000081: Graphs ⟶ ℤResult quality: 48% ●values known / values provided: 48%●distinct values known / distinct values provided: 100%
Values
([],2)
 => ([(0,1)],2)
 => ([],2)
 => ([(0,2),(1,2)],3)
 => 2
([(0,1)],2)
 => ([],2)
 => ([(0,1)],2)
 => ([(0,1),(0,2),(1,2)],3)
 => 3
([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([],3)
 => ([(0,3),(1,3),(2,3)],4)
 => 3
([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 4
([(0,1),(0,2)],3)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 5
([(0,2),(2,1)],3)
 => ([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 6
([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 5
([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([],4)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 4
([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 5
([(1,2),(1,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 6
([(0,1),(0,2),(0,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 7
([(0,2),(0,3),(3,1)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 8
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 9
([(1,2),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 7
([(0,3),(3,1),(3,2)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 9
([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 6
([(0,3),(1,3),(3,2)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 9
([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 7
([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2)],4)
 => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)
 => 6
([(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => 7
([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => 8
([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 10
([(0,3),(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 8
([],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([],5)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 5
([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(3,4)],5)
 => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
 => 6
([(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 7
([(1,2),(1,3),(1,4)],5)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 8
([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 9
([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 10
([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 11
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(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)
 => 12
([(1,3),(1,4),(4,2)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 9
([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 11
([(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 10
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(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)
 => 14
([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 11
([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(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)
 => 12
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(1,4),(2,3)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => ([(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)
 => 13
([(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 8
([(1,4),(4,2),(4,3)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 10
([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(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)
 => 12
([(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 7
([(1,4),(2,4),(4,3)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 10
([(0,4),(1,4),(4,2),(4,3)],5)
 => ([(1,4),(2,3)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => ([(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)
 => 13
([(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 8
([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(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)
 => 12
([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 9
([(0,4),(1,4),(2,3)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1),(2,4),(3,4)],5)
 => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 8
([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => 9
([(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,3),(1,2),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 10
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)
 => ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,1),(0,2),(0,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(1,4),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(1,2),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(0,4),(0,5),(4,2),(5,1)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,4),(1,5),(4,3),(5,2)],6)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(5,1)],6)
 => ([(1,2),(3,5),(4,5)],6)
 => ([(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,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)
 => ([(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(0,5),(4,3),(5,1),(5,2)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(0,4),(3,5),(4,1),(4,2),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)
 => ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5)],6)
 => ([(1,4),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
 => ([(1,2),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,5),(2,5),(5,3),(5,4)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(5,2),(5,3),(5,4)],6)
 => ([(1,2),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,5),(5,3),(5,4)],6)
 => ([(1,2),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,5),(3,4)],6)
 => ([(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),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,5),(2,5),(3,4)],6)
 => ([(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)
 => ([(1,2),(3,5),(4,5)],6)
 => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,5),(2,4),(3,4),(3,5)],6)
 => ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5)],6)
 => ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,4),(2,4),(2,5),(5,3)],6)
 => ([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6)
 => ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,4),(1,5),(2,4),(2,5),(4,3)],6)
 => ([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,3),(1,5),(2,3),(2,5),(3,4),(5,4)],6)
 => ([(1,4),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)
 => ([(0,5),(1,5),(2,3),(2,4),(3,4)],6)
 => ([(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),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
 => ([(1,2),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6)
 => ([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(5,4)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(4,2),(5,3),(5,4)],6)
 => ([(1,2),(3,5),(4,5)],6)
 => ([(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,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,4),(5,3),(5,4)],6)
 => ([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(1,5),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,5),(5,4)],6)
 => ([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,5),(3,4),(5,4)],6)
 => ([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,4)],6)
 => ([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,4),(3,4)],6)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(1,4),(2,3),(2,5),(4,5)],6)
 => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(1,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,4),(2,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(2,4),(4,5)],6)
 => ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,5),(2,3),(3,4)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,3),(2,4),(3,4)],6)
 => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
([(0,5),(1,4),(3,5),(4,2),(4,3)],6)
 => ([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? ∊ {8,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18}
Description
The number of edges of a graph.
Matching statistic: St000699
(load all 2 compositions to match this statistic)
Mapping
Mp00074: Posets —to graph⟶ Graphs
Mp00154: Graphs —core⟶ Graphs
St000699: Graphs ⟶ ℤResult quality: 5% ●values known / values provided: 9%●distinct values known / distinct values provided: 5%
Values
([],2)
 => ([],2)
 => ([],1)
 => ? ∊ {2,3}
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {2,3}
([],3)
 => ([],3)
 => ([],1)
 => ? ∊ {3,4,5,5,6}
([(1,2)],3)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {3,4,5,5,6}
([(0,1),(0,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {3,4,5,5,6}
([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {3,4,5,5,6}
([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {3,4,5,5,6}
([],4)
 => ([],4)
 => ([],1)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(2,3)],4)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(1,2),(1,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,1),(0,2),(0,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,2),(0,3),(3,1)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(3,1),(3,2)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(1,3),(3,2)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(1,2)],4)
 => ([(0,3),(1,2)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {4,5,6,6,6,7,7,7,7,8,8,8,9,9,9,10}
([],5)
 => ([],5)
 => ([],1)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(3,4)],5)
 => ([(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(2,3),(2,4)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,2),(1,3),(1,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,3),(1,4),(4,2)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,2),(1,3),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(2,3),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,4),(4,2),(4,3)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,4),(2,4),(4,3)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,4),(4,2),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(1,4),(2,4),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,4),(2,3)],5)
 => ([(0,1),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {5,6,7,7,7,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,13,13,13,13,13,13,14,14,14,14,15}
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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)
 => 12
([(0,5),(1,3),(1,4),(2,5),(3,5),(4,2)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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)
 => 12
([(0,4),(0,5),(1,4),(1,5),(2,3),(4,2),(5,3)],6)
 => ([(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)
 => 12
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,5),(3,4)],6)
 => ([(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)
 => 12
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6)
 => ([(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)
 => 12
([(0,2),(0,3),(0,4),(1,5),(3,5),(4,1)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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)
 => 12
([(0,3),(0,4),(2,5),(3,2),(4,1),(4,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5)],6)
 => ([(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)
 => 12
([(1,3),(1,4),(2,5),(3,5),(4,2)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,4)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(1,2),(1,3),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,3),(0,4),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(1,4),(1,5),(2,3),(2,4),(3,5)],6)
 => ([(1,4),(1,5),(2,3),(2,5),(3,4)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,2),(0,5),(1,4),(1,5),(2,4),(4,3),(5,3)],6)
 => ([(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)
 => 12
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6)
 => ([(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)
 => 12
([(0,4),(0,5),(1,2),(1,3),(1,4),(3,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,5),(3,5)],6)
 => ([(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)
 => 12
([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3)],6)
 => ([(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)
 => 12
([(0,3),(0,4),(1,2),(1,4),(1,5),(3,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4)],6)
 => ([(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)
 => 12
([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1)],6)
 => ([(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)
 => 12
([(0,2),(0,4),(2,5),(3,1),(3,5),(4,3)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(1,2),(1,4),(2,5),(3,5),(4,3)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(1,3),(1,5),(2,3),(2,4),(4,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 12
Description
The toughness times the least common multiple of 1,...,n-1 of a non-complete graph. A graph $G$ is $t$-tough if $G$ cannot be split into $k$ different connected components by the removal of fewer than $tk$ vertices for all integers $k>1$. The toughness of $G$ is the maximal number $t$ such that $G$ is $t$-tough. It is a rational number except for the complete graph, where it is infinity. The toughness of a disconnected graph is zero. This statistic is the toughness multiplied by the least common multiple of $1,\dots,n-1$, where $n$ is the number of vertices of $G$.