- FindStat

Your data matches 8 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)

Matching statistic: St001716

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
Mp00247: Graphs —de-duplicate⟶ Graphs
St001716: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,1)],2)
 => 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(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)
 => 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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)
 => 2
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1)],2)
 => 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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)
 => 2
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 2
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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)
 => 2
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 2
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => 2
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1)],2)
 => 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 2
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 2
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => 2
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => 2
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => 2
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => 2
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 2
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => 2

Description

The 1-improper chromatic number of a graph. This is the least number of colours in a vertex-colouring, such that each vertex has at most one neighbour with the same colour.

Matching statistic: St000671

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
Mp00247: Graphs —de-duplicate⟶ Graphs
St000671: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => 0 = 1 - 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(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)
 => 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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)
 => 1 = 2 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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)
 => 1 = 2 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 1 = 2 - 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 1 = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 1 = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => 1 = 2 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => 1 = 2 - 1

Description

The maximin edge-connectivity for choosing a subgraph. This is $\max_X \min(\lambda(G[X]), \lambda(G[V\setminus X]))$, where $X$ ranges over all subsets of the vertex set $V$ and $\lambda$ is the edge-connectivity of a graph.

Matching statistic: St001738

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
Mp00247: Graphs —de-duplicate⟶ Graphs
St001738: Graphs ⟶ ℤResult quality: 40% ●values known / values provided: 40%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => 2 = 1 + 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 2 = 1 + 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => 2 = 1 + 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,1)],2)
 => 2 = 1 + 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(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)
 => 2 = 1 + 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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)
 => 3 = 2 + 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,1)],2)
 => 2 = 1 + 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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)
 => 3 = 2 + 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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)
 => 3 = 2 + 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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)
 => 3 = 2 + 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ? = 2 + 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1)],2)
 => 2 = 1 + 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 3 = 2 + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 3 = 2 + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 3 = 2 + 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ? = 2 + 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? = 2 + 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ? = 2 + 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 3 = 2 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 3 = 2 + 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 3 = 2 + 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ? = 2 + 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? = 2 + 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ? = 2 + 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ? = 2 + 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
 => ? = 2 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ? = 2 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ? = 2 + 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ? = 2 + 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 + 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
 => ? = 2 + 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ? = 2 + 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ? = 2 + 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? = 2 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ? = 2 + 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ? = 2 + 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
 => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
 => ? = 2 + 1
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ? = 2 + 1
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? = 2 + 1

Description

The minimal order of a graph which is not an induced subgraph of the given graph. For example, the graph with two isolated vertices is not an induced subgraph of the complete graph on three vertices. By contrast, the minimal number of vertices of a graph which is not a subgraph of a graph is one plus the clique number [[St000097]].

Matching statistic: St000535

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
Mp00203: Graphs —cone⟶ Graphs
St000535: Graphs ⟶ ℤResult quality: 32% ●values known / values provided: 32%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([(0,1)],2)
 => 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1),(0,2),(1,2)],3)
 => 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],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)
 => 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(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,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => 2
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],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)
 => 2
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],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)
 => 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(0,5),(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)
 => 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 2
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(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)
 => 2
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 2
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 2
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => 2
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 2
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(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)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => 2
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => 2
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)
 => 2
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,7),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,6),(0,7),(1,4),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,3),(1,7),(2,5),(2,7),(3,4),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,4),(1,7),(2,5),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,4),(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,6),(3,7),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,7),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,4),(0,6),(0,7),(1,3),(1,5),(1,7),(2,5),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,4),(1,7),(2,5),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,3),(1,7),(2,5),(2,7),(3,4),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,3),(2,5),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,6),(3,7),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,3),(2,4),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2

Description

The rank-width of a graph.

Matching statistic: St001353

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
Mp00203: Graphs —cone⟶ Graphs
St001353: Graphs ⟶ ℤResult quality: 32% ●values known / values provided: 32%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1),(0,2),(1,2)],3)
 => 0 = 1 - 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],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)
 => 0 = 1 - 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(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,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
 => 1 = 2 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],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)
 => 1 = 2 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],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)
 => 1 = 2 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],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)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,4),(0,5),(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)
 => 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(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)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(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,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,5),(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)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
 => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,7),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ([(0,6),(0,7),(1,4),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,3),(1,7),(2,5),(2,7),(3,4),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,4),(1,7),(2,5),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,5),(0,6),(0,7),(1,5),(1,6),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,4),(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ([(0,4),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,6),(1,7),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,6),(3,7),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7)
 => ([(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,7),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
 => ([(0,4),(0,6),(0,7),(1,3),(1,5),(1,7),(2,5),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,4),(1,7),(2,5),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,1),(0,2),(0,7),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(0,7),(1,5),(1,7),(2,4),(2,6),(2,7),(3,4),(3,6),(3,7),(4,5),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,6),(0,7),(1,2),(1,3),(1,7),(2,5),(2,7),(3,4),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,3),(2,5),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
 => ([(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7)
 => ([(0,5),(0,6),(0,7),(1,4),(1,6),(1,7),(2,4),(2,5),(2,7),(3,4),(3,5),(3,6),(3,7),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ([(0,5),(0,7),(1,2),(1,3),(1,7),(2,6),(2,7),(3,6),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,6),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,5),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7)
 => ([(0,5),(0,6),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,7),(1,2),(1,4),(1,7),(2,3),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,7),(1,2),(1,6),(1,7),(2,5),(2,7),(3,5),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 - 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
 => ([(0,6),(0,7),(1,5),(1,7),(2,3),(2,4),(2,7),(3,5),(3,7),(4,6),(4,7),(5,7),(6,7)],8)
 => ? = 2 - 1

Description

The number of prime nodes in the modular decomposition of a graph.

Matching statistic: St001878

Mapping

Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 31% ●values known / values provided: 31%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? = 1 - 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 1
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 2 - 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 1 = 2 - 1

Description

The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.

Matching statistic: St001876

Mapping

Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001876: Lattices ⟶ ℤResult quality: 31% ●values known / values provided: 31%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? = 1 - 2
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 2
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 2
([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 2
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2

Description

The number of 2-regular simple modules in the incidence algebra of the lattice.

Matching statistic: St001877

Mapping

Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001877: Lattices ⟶ ℤResult quality: 31% ●values known / values provided: 31%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? = 1 - 2
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 2
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 - 2
([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 - 2
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 2
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([(0,3),(0,4),(0,5),(1,6),(1,8),(2,6),(2,7),(3,10),(3,11),(4,9),(4,11),(5,9),(5,10),(6,12),(7,12),(8,12),(9,13),(10,13),(11,1),(11,2),(11,13),(13,7),(13,8)],14)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? = 2 - 2
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0 = 2 - 2
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(3,9),(4,7),(4,9),(5,7),(5,8),(7,10),(8,10),(9,10),(10,1),(10,2)],11)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1),(0,2),(0,3),(1,11),(1,13),(2,11),(2,12),(3,4),(3,5),(3,12),(3,13),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,15),(6,17),(7,15),(7,18),(8,16),(8,17),(9,16),(9,18),(10,15),(10,16),(11,14),(12,6),(12,7),(12,14),(13,8),(13,9),(13,14),(14,17),(14,18),(15,19),(16,19),(17,19),(18,19)],20)
 => ([(0,1)],2)
 => ? = 2 - 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
 => ([(0,2),(2,1)],3)
 => 0 = 2 - 2

Description

Number of indecomposable injective modules with projective dimension 2.