searching the database
Your data matches 4 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000422
(load all 10 compositions to match this statistic)
(load all 10 compositions to match this statistic)
Values
([],1)
=> 0
([],2)
=> 0
([(0,1)],2)
=> 2
([],3)
=> 0
([(1,2)],3)
=> 2
([(0,1),(0,2),(1,2)],3)
=> 4
([],4)
=> 0
([(2,3)],4)
=> 2
([(0,3),(1,2)],4)
=> 4
([(1,2),(1,3),(2,3)],4)
=> 4
([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 6
([],5)
=> 0
([(3,4)],5)
=> 2
([(0,4),(1,4),(2,4),(3,4)],5)
=> 4
([(1,4),(2,3)],5)
=> 4
([(2,3),(2,4),(3,4)],5)
=> 4
([(1,3),(1,4),(2,3),(2,4)],5)
=> 4
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 6
([(0,1),(2,3),(2,4),(3,4)],5)
=> 6
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 6
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 8
([],6)
=> 0
([(4,5)],6)
=> 2
([(1,5),(2,5),(3,5),(4,5)],6)
=> 4
([(2,5),(3,4)],6)
=> 4
([(3,4),(3,5),(4,5)],6)
=> 4
([(2,4),(2,5),(3,4),(3,5)],6)
=> 4
([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
=> 6
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 6
([(0,5),(1,4),(2,3)],6)
=> 6
([(1,2),(3,4),(3,5),(4,5)],6)
=> 6
([(0,1),(2,4),(2,5),(3,4),(3,5)],6)
=> 6
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 6
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
=> 8
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
=> 6
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)
=> 8
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 8
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 8
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 8
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 8
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 10
([],7)
=> 0
([(5,6)],7)
=> 2
([(2,6),(3,6),(4,6),(5,6)],7)
=> 4
([(3,6),(4,5)],7)
=> 4
([(4,5),(4,6),(5,6)],7)
=> 4
([(0,1),(2,6),(3,6),(4,6),(5,6)],7)
=> 6
([(3,5),(3,6),(4,5),(4,6)],7)
=> 4
([(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> 6
Description
The energy of a graph, if it is integral.
The energy of a graph is the sum of the absolute values of its eigenvalues. This statistic is only defined for graphs with integral energy. It is known, that the energy is never an odd integer [2]. In fact, it is never the square root of an odd integer [3].
The energy of a graph is the sum of the energies of the connected components of a graph. The energy of the complete graph $K_n$ equals $2n-2$. For this reason, we do not define the energy of the empty graph.
Matching statistic: St000526
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([],2)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([],3)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([(0,1),(0,2),(1,2)],3)
=> ([(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)
=> 3 = 4 - 1
([],4)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([(0,3),(1,2)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 4 - 1
([(1,2),(1,3),(2,3)],4)
=> ([(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)
=> 3 = 4 - 1
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 1
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 1
([],5)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([(0,4),(1,4),(2,4),(3,4)],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)
=> ? = 4 - 1
([(1,4),(2,3)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 4 - 1
([(2,3),(2,4),(3,4)],5)
=> ([(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)
=> 3 = 4 - 1
([(1,3),(1,4),(2,3),(2,4)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 1
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 1
([(0,1),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 1
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 1
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 1
([],6)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([(1,5),(2,5),(3,5),(4,5)],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)
=> ? = 4 - 1
([(2,5),(3,4)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 4 - 1
([(3,4),(3,5),(4,5)],6)
=> ([(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)
=> 3 = 4 - 1
([(2,4),(2,5),(3,4),(3,5)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 1
([(0,5),(1,5),(2,4),(3,4),(4,5)],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)
=> ? = 6 - 1
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 1
([(0,5),(1,4),(2,3)],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)
=> ? = 6 - 1
([(1,2),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 1
([(0,1),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 1
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 1
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 1
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 1
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ? = 8 - 1
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 8 - 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ? = 8 - 1
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 1
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,14),(1,22),(1,23),(1,32),(1,36),(1,40),(1,48),(1,90),(1,94),(2,13),(2,21),(2,23),(2,31),(2,35),(2,39),(2,47),(2,89),(2,93),(3,16),(3,19),(3,24),(3,34),(3,35),(3,41),(3,49),(3,90),(3,91),(4,15),(4,20),(4,24),(4,33),(4,36),(4,42),(4,50),(4,89),(4,92),(5,15),(5,19),(5,25),(5,31),(5,38),(5,43),(5,51),(5,87),(5,94),(6,16),(6,20),(6,25),(6,32),(6,37),(6,44),(6,52),(6,88),(6,93),(7,13),(7,22),(7,26),(7,33),(7,37),(7,45),(7,53),(7,87),(7,91),(8,14),(8,21),(8,26),(8,34),(8,38),(8,46),(8,54),(8,88),(8,92),(9,18),(9,29),(9,30),(9,43),(9,44),(9,45),(9,46),(9,89),(9,90),(10,18),(10,27),(10,28),(10,39),(10,40),(10,41),(10,42),(10,87),(10,88),(11,17),(11,28),(11,30),(11,49),(11,50),(11,53),(11,54),(11,93),(11,94),(12,17),(12,27),(12,29),(12,47),(12,48),(12,51),(12,52),(12,91),(12,92),(13,95),(13,101),(13,103),(13,109),(13,127),(14,96),(14,102),(14,104),(14,110),(14,127),(15,97),(15,99),(15,106),(15,108),(15,126),(16,98),(16,100),(16,105),(16,107),(16,126),(17,115),(17,116),(17,117),(17,118),(17,125),(18,111),(18,112),(18,113),(18,114),(18,125),(19,63),(19,68),(19,126),(19,132),(19,139),(20,64),(20,67),(20,126),(20,133),(20,138),(21,65),(21,69),(21,127),(21,134),(21,136),(22,66),(22,70),(22,127),(22,135),(22,137),(23,55),(23,59),(23,127),(23,129),(23,131),(24,56),(24,60),(24,126),(24,129),(24,130),(25,57),(25,61),(25,126),(25,128),(25,131),(26,58),(26,62),(26,127),(26,128),(26,130),(27,71),(27,72),(27,125),(27,132),(27,133),(28,73),(28,74),(28,125),(28,134),(28,135),(29,75),(29,76),(29,125),(29,136),(29,137),(30,77),(30,78),(30,125),(30,138),(30,139),(31,63),(31,69),(31,83),(31,95),(31,99),(31,131),(32,64),(32,70),(32,84),(32,96),(32,100),(32,131),(33,66),(33,67),(33,85),(33,97),(33,101),(33,130),(34,65),(34,68),(34,86),(34,98),(34,102),(34,130),(35,63),(35,65),(35,79),(35,103),(35,105),(35,129),(36,64),(36,66),(36,80),(36,104),(36,106),(36,129),(37,67),(37,70),(37,81),(37,107),(37,109),(37,128),(38,68),(38,69),(38,82),(38,108),(38,110),(38,128),(39,55),(39,71),(39,79),(39,95),(39,111),(39,134),(40,55),(40,72),(40,80),(40,96),(40,112),(40,135),(41,56),(41,73),(41,79),(41,98),(41,112),(41,132),(42,56),(42,74),(42,80),(42,97),(42,111),(42,133),(43,57),(43,75),(43,82),(43,99),(43,113),(43,139),(44,57),(44,76),(44,81),(44,100),(44,114),(44,138),(45,58),(45,77),(45,81),(45,101),(45,113),(45,137),(46,58),(46,78),(46,82),(46,102),(46,114),(46,136),(47,59),(47,71),(47,83),(47,103),(47,115),(47,136),(48,59),(48,72),(48,84),(48,104),(48,116),(48,137),(49,60),(49,73),(49,86),(49,105),(49,117),(49,139),(50,60),(50,74),(50,85),(50,106),(50,118),(50,138),(51,61),(51,75),(51,83),(51,108),(51,116),(51,132),(52,61),(52,76),(52,84),(52,107),(52,115),(52,133),(53,62),(53,77),(53,85),(53,109),(53,117),(53,135),(54,62),(54,78),(54,86),(54,110),(54,118),(54,134),(55,121),(55,144),(55,157),(56,122),(56,144),(56,156),(57,123),(57,145),(57,159),(58,124),(58,145),(58,158),(59,121),(59,146),(59,158),(60,122),(60,147),(60,159),(61,123),(61,146),(61,156),(62,124),(62,147),(62,157),(63,119),(63,148),(63,159),(64,120),(64,149),(64,159),(65,119),(65,150),(65,158),(66,120),(66,151),(66,158),(67,120),(67,154),(67,156),(68,119),(68,155),(68,156),(69,119),(69,152),(69,157),(70,120),(70,153),(70,157),(71,121),(71,148),(71,160),(72,121),(72,149),(72,161),(73,122),(73,150),(73,161),(74,122),(74,151),(74,160),(75,123),(75,152),(75,161),(76,123),(76,153),(76,160),(77,124),(77,154),(77,161),(78,124),(78,155),(78,160),(79,144),(79,148),(79,150),(80,144),(80,149),(80,151),(81,145),(81,153),(81,154),(82,145),(82,152),(82,155),(83,146),(83,148),(83,152),(84,146),(84,149),(84,153),(85,147),(85,151),(85,154),(86,147),(86,150),(86,155),(87,95),(87,97),(87,113),(87,128),(87,132),(87,135),(88,96),(88,98),(88,114),(88,128),(88,133),(88,134),(89,99),(89,101),(89,111),(89,129),(89,136),(89,138),(90,100),(90,102),(90,112),(90,129),(90,137),(90,139),(91,103),(91,107),(91,117),(91,130),(91,132),(91,137),(92,104),(92,108),(92,118),(92,130),(92,133),(92,136),(93,105),(93,109),(93,115),(93,131),(93,134),(93,138),(94,106),(94,110),(94,116),(94,131),(94,135),(94,139),(95,140),(95,148),(95,157),(96,141),(96,149),(96,157),(97,140),(97,151),(97,156),(98,141),(98,150),(98,156),(99,140),(99,152),(99,159),(100,141),(100,153),(100,159),(101,140),(101,154),(101,158),(102,141),(102,155),(102,158),(103,142),(103,148),(103,158),(104,143),(104,149),(104,158),(105,142),(105,150),(105,159),(106,143),(106,151),(106,159),(107,142),(107,153),(107,156),(108,143),(108,152),(108,156),(109,142),(109,154),(109,157),(110,143),(110,155),(110,157),(111,140),(111,144),(111,160),(112,141),(112,144),(112,161),(113,140),(113,145),(113,161),(114,141),(114,145),(114,160),(115,142),(115,146),(115,160),(116,143),(116,146),(116,161),(117,142),(117,147),(117,161),(118,143),(118,147),(118,160),(119,162),(120,162),(121,162),(122,162),(123,162),(124,162),(125,160),(125,161),(126,156),(126,159),(127,157),(127,158),(128,145),(128,156),(128,157),(129,144),(129,158),(129,159),(130,147),(130,156),(130,158),(131,146),(131,157),(131,159),(132,148),(132,156),(132,161),(133,149),(133,156),(133,160),(134,150),(134,157),(134,160),(135,151),(135,157),(135,161),(136,152),(136,158),(136,160),(137,153),(137,158),(137,161),(138,154),(138,159),(138,160),(139,155),(139,159),(139,161),(140,162),(141,162),(142,162),(143,162),(144,162),(145,162),(146,162),(147,162),(148,162),(149,162),(150,162),(151,162),(152,162),(153,162),(154,162),(155,162),(156,162),(157,162),(158,162),(159,162),(160,162),(161,162)],163)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,14),(1,22),(1,23),(1,32),(1,36),(1,40),(1,48),(1,90),(1,94),(2,13),(2,21),(2,23),(2,31),(2,35),(2,39),(2,47),(2,89),(2,93),(3,16),(3,19),(3,24),(3,34),(3,35),(3,41),(3,49),(3,90),(3,91),(4,15),(4,20),(4,24),(4,33),(4,36),(4,42),(4,50),(4,89),(4,92),(5,15),(5,19),(5,25),(5,31),(5,38),(5,43),(5,51),(5,87),(5,94),(6,16),(6,20),(6,25),(6,32),(6,37),(6,44),(6,52),(6,88),(6,93),(7,13),(7,22),(7,26),(7,33),(7,37),(7,45),(7,53),(7,87),(7,91),(8,14),(8,21),(8,26),(8,34),(8,38),(8,46),(8,54),(8,88),(8,92),(9,18),(9,29),(9,30),(9,43),(9,44),(9,45),(9,46),(9,89),(9,90),(10,18),(10,27),(10,28),(10,39),(10,40),(10,41),(10,42),(10,87),(10,88),(11,17),(11,28),(11,30),(11,49),(11,50),(11,53),(11,54),(11,93),(11,94),(12,17),(12,27),(12,29),(12,47),(12,48),(12,51),(12,52),(12,91),(12,92),(13,95),(13,101),(13,103),(13,109),(13,127),(14,96),(14,102),(14,104),(14,110),(14,127),(15,97),(15,99),(15,106),(15,108),(15,126),(16,98),(16,100),(16,105),(16,107),(16,126),(17,115),(17,116),(17,117),(17,118),(17,125),(18,111),(18,112),(18,113),(18,114),(18,125),(19,63),(19,68),(19,126),(19,132),(19,139),(20,64),(20,67),(20,126),(20,133),(20,138),(21,65),(21,69),(21,127),(21,134),(21,136),(22,66),(22,70),(22,127),(22,135),(22,137),(23,55),(23,59),(23,127),(23,129),(23,131),(24,56),(24,60),(24,126),(24,129),(24,130),(25,57),(25,61),(25,126),(25,128),(25,131),(26,58),(26,62),(26,127),(26,128),(26,130),(27,71),(27,72),(27,125),(27,132),(27,133),(28,73),(28,74),(28,125),(28,134),(28,135),(29,75),(29,76),(29,125),(29,136),(29,137),(30,77),(30,78),(30,125),(30,138),(30,139),(31,63),(31,69),(31,83),(31,95),(31,99),(31,131),(32,64),(32,70),(32,84),(32,96),(32,100),(32,131),(33,66),(33,67),(33,85),(33,97),(33,101),(33,130),(34,65),(34,68),(34,86),(34,98),(34,102),(34,130),(35,63),(35,65),(35,79),(35,103),(35,105),(35,129),(36,64),(36,66),(36,80),(36,104),(36,106),(36,129),(37,67),(37,70),(37,81),(37,107),(37,109),(37,128),(38,68),(38,69),(38,82),(38,108),(38,110),(38,128),(39,55),(39,71),(39,79),(39,95),(39,111),(39,134),(40,55),(40,72),(40,80),(40,96),(40,112),(40,135),(41,56),(41,73),(41,79),(41,98),(41,112),(41,132),(42,56),(42,74),(42,80),(42,97),(42,111),(42,133),(43,57),(43,75),(43,82),(43,99),(43,113),(43,139),(44,57),(44,76),(44,81),(44,100),(44,114),(44,138),(45,58),(45,77),(45,81),(45,101),(45,113),(45,137),(46,58),(46,78),(46,82),(46,102),(46,114),(46,136),(47,59),(47,71),(47,83),(47,103),(47,115),(47,136),(48,59),(48,72),(48,84),(48,104),(48,116),(48,137),(49,60),(49,73),(49,86),(49,105),(49,117),(49,139),(50,60),(50,74),(50,85),(50,106),(50,118),(50,138),(51,61),(51,75),(51,83),(51,108),(51,116),(51,132),(52,61),(52,76),(52,84),(52,107),(52,115),(52,133),(53,62),(53,77),(53,85),(53,109),(53,117),(53,135),(54,62),(54,78),(54,86),(54,110),(54,118),(54,134),(55,121),(55,144),(55,157),(56,122),(56,144),(56,156),(57,123),(57,145),(57,159),(58,124),(58,145),(58,158),(59,121),(59,146),(59,158),(60,122),(60,147),(60,159),(61,123),(61,146),(61,156),(62,124),(62,147),(62,157),(63,119),(63,148),(63,159),(64,120),(64,149),(64,159),(65,119),(65,150),(65,158),(66,120),(66,151),(66,158),(67,120),(67,154),(67,156),(68,119),(68,155),(68,156),(69,119),(69,152),(69,157),(70,120),(70,153),(70,157),(71,121),(71,148),(71,160),(72,121),(72,149),(72,161),(73,122),(73,150),(73,161),(74,122),(74,151),(74,160),(75,123),(75,152),(75,161),(76,123),(76,153),(76,160),(77,124),(77,154),(77,161),(78,124),(78,155),(78,160),(79,144),(79,148),(79,150),(80,144),(80,149),(80,151),(81,145),(81,153),(81,154),(82,145),(82,152),(82,155),(83,146),(83,148),(83,152),(84,146),(84,149),(84,153),(85,147),(85,151),(85,154),(86,147),(86,150),(86,155),(87,95),(87,97),(87,113),(87,128),(87,132),(87,135),(88,96),(88,98),(88,114),(88,128),(88,133),(88,134),(89,99),(89,101),(89,111),(89,129),(89,136),(89,138),(90,100),(90,102),(90,112),(90,129),(90,137),(90,139),(91,103),(91,107),(91,117),(91,130),(91,132),(91,137),(92,104),(92,108),(92,118),(92,130),(92,133),(92,136),(93,105),(93,109),(93,115),(93,131),(93,134),(93,138),(94,106),(94,110),(94,116),(94,131),(94,135),(94,139),(95,140),(95,148),(95,157),(96,141),(96,149),(96,157),(97,140),(97,151),(97,156),(98,141),(98,150),(98,156),(99,140),(99,152),(99,159),(100,141),(100,153),(100,159),(101,140),(101,154),(101,158),(102,141),(102,155),(102,158),(103,142),(103,148),(103,158),(104,143),(104,149),(104,158),(105,142),(105,150),(105,159),(106,143),(106,151),(106,159),(107,142),(107,153),(107,156),(108,143),(108,152),(108,156),(109,142),(109,154),(109,157),(110,143),(110,155),(110,157),(111,140),(111,144),(111,160),(112,141),(112,144),(112,161),(113,140),(113,145),(113,161),(114,141),(114,145),(114,160),(115,142),(115,146),(115,160),(116,143),(116,146),(116,161),(117,142),(117,147),(117,161),(118,143),(118,147),(118,160),(119,162),(120,162),(121,162),(122,162),(123,162),(124,162),(125,160),(125,161),(126,156),(126,159),(127,157),(127,158),(128,145),(128,156),(128,157),(129,144),(129,158),(129,159),(130,147),(130,156),(130,158),(131,146),(131,157),(131,159),(132,148),(132,156),(132,161),(133,149),(133,156),(133,160),(134,150),(134,157),(134,160),(135,151),(135,157),(135,161),(136,152),(136,158),(136,160),(137,153),(137,158),(137,161),(138,154),(138,159),(138,160),(139,155),(139,159),(139,161),(140,162),(141,162),(142,162),(143,162),(144,162),(145,162),(146,162),(147,162),(148,162),(149,162),(150,162),(151,162),(152,162),(153,162),(154,162),(155,162),(156,162),(157,162),(158,162),(159,162),(160,162),(161,162)],163)
=> ? = 8 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(0,13),(0,14),(0,15),(1,40),(1,41),(1,42),(1,43),(1,44),(1,45),(1,82),(1,83),(1,84),(1,85),(2,18),(2,19),(2,25),(2,30),(2,31),(2,37),(2,78),(2,79),(2,81),(2,83),(3,16),(3,17),(3,24),(3,28),(3,29),(3,36),(3,76),(3,77),(3,81),(3,82),(4,21),(4,23),(4,27),(4,33),(4,35),(4,39),(4,77),(4,79),(4,80),(4,85),(5,20),(5,22),(5,26),(5,32),(5,34),(5,38),(5,76),(5,78),(5,80),(5,84),(6,22),(6,23),(6,24),(6,46),(6,47),(6,54),(6,83),(6,86),(6,87),(6,91),(7,20),(7,21),(7,25),(7,48),(7,49),(7,55),(7,82),(7,88),(7,89),(7,91),(8,17),(8,19),(8,26),(8,50),(8,52),(8,56),(8,85),(8,86),(8,88),(8,90),(9,16),(9,18),(9,27),(9,51),(9,53),(9,57),(9,84),(9,87),(9,89),(9,90),(10,28),(10,32),(10,43),(10,48),(10,51),(10,59),(10,79),(10,86),(10,92),(10,94),(11,29),(11,33),(11,42),(11,49),(11,50),(11,60),(11,78),(11,87),(11,92),(11,95),(12,30),(12,34),(12,41),(12,46),(12,53),(12,60),(12,77),(12,88),(12,93),(12,94),(13,31),(13,35),(13,40),(13,47),(13,52),(13,59),(13,76),(13,89),(13,93),(13,95),(14,38),(14,39),(14,45),(14,56),(14,57),(14,58),(14,81),(14,91),(14,94),(14,95),(15,36),(15,37),(15,44),(15,54),(15,55),(15,58),(15,80),(15,90),(15,92),(15,93),(16,61),(16,107),(16,112),(16,126),(16,134),(16,170),(17,62),(17,106),(17,113),(17,127),(17,134),(17,171),(18,63),(18,109),(18,112),(18,129),(18,135),(18,172),(19,64),(19,108),(19,113),(19,128),(19,135),(19,173),(20,65),(20,104),(20,110),(20,132),(20,136),(20,170),(21,66),(21,105),(21,110),(21,133),(21,137),(21,171),(22,67),(22,102),(22,111),(22,130),(22,136),(22,172),(23,68),(23,103),(23,111),(23,131),(23,137),(23,173),(24,69),(24,102),(24,103),(24,126),(24,127),(24,175),(25,70),(25,104),(25,105),(25,128),(25,129),(25,175),(26,71),(26,106),(26,108),(26,130),(26,132),(26,174),(27,72),(27,107),(27,109),(27,131),(27,133),(27,174),(28,61),(28,96),(28,114),(28,127),(28,138),(28,169),(29,62),(29,97),(29,115),(29,126),(29,138),(29,168),(30,63),(30,98),(30,117),(30,128),(30,139),(30,169),(31,64),(31,99),(31,116),(31,129),(31,139),(31,168),(32,65),(32,96),(32,118),(32,130),(32,140),(32,167),(33,66),(33,97),(33,119),(33,131),(33,141),(33,167),(34,67),(34,98),(34,120),(34,132),(34,140),(34,166),(35,68),(35,99),(35,121),(35,133),(35,141),(35,166),(36,69),(36,100),(36,122),(36,134),(36,138),(36,166),(37,70),(37,100),(37,123),(37,135),(37,139),(37,167),(38,71),(38,101),(38,124),(38,136),(38,140),(38,168),(39,72),(39,101),(39,125),(39,137),(39,141),(39,169),(40,73),(40,116),(40,121),(40,142),(40,144),(40,170),(41,74),(41,117),(41,120),(41,142),(41,145),(41,171),(42,74),(42,115),(42,119),(42,143),(42,144),(42,172),(43,73),(43,114),(43,118),(43,143),(43,145),(43,173),(44,75),(44,122),(44,123),(44,142),(44,143),(44,174),(45,75),(45,124),(45,125),(45,144),(45,145),(45,175),(46,67),(46,103),(46,117),(46,148),(46,152),(46,178),(47,68),(47,102),(47,116),(47,149),(47,152),(47,179),(48,65),(48,105),(48,114),(48,146),(48,153),(48,178),(49,66),(49,104),(49,115),(49,147),(49,153),(49,179),(50,62),(50,108),(50,119),(50,147),(50,154),(50,176),(51,61),(51,109),(51,118),(51,146),(51,155),(51,176),(52,64),(52,106),(52,121),(52,149),(52,154),(52,177),(53,63),(53,107),(53,120),(53,148),(53,155),(53,177),(54,69),(54,111),(54,123),(54,150),(54,152),(54,176),(55,70),(55,110),(55,122),(55,150),(55,153),(55,177),(56,71),(56,113),(56,125),(56,151),(56,154),(56,178),(57,72),(57,112),(57,124),(57,151),(57,155),(57,179),(58,75),(58,100),(58,101),(58,150),(58,151),(58,180),(59,73),(59,96),(59,99),(59,146),(59,149),(59,180),(60,74),(60,97),(60,98),(60,147),(60,148),(60,180),(61,181),(61,189),(61,190),(62,181),(62,188),(62,191),(63,182),(63,189),(63,192),(64,182),(64,188),(64,193),(65,183),(65,187),(65,190),(66,184),(66,187),(66,191),(67,183),(67,186),(67,192),(68,184),(68,186),(68,193),(69,181),(69,186),(69,194),(70,182),(70,187),(70,194),(71,183),(71,188),(71,195),(72,184),(72,189),(72,195),(73,185),(73,190),(73,193),(74,185),(74,191),(74,192),(75,185),(75,194),(75,195),(76,96),(76,102),(76,106),(76,166),(76,168),(76,170),(77,97),(77,103),(77,107),(77,166),(77,169),(77,171),(78,98),(78,104),(78,108),(78,167),(78,168),(78,172),(79,99),(79,105),(79,109),(79,167),(79,169),(79,173),(80,101),(80,110),(80,111),(80,166),(80,167),(80,174),(81,100),(81,112),(81,113),(81,168),(81,169),(81,175),(82,114),(82,115),(82,122),(82,170),(82,171),(82,175),(83,116),(83,117),(83,123),(83,172),(83,173),(83,175),(84,118),(84,120),(84,124),(84,170),(84,172),(84,174),(85,119),(85,121),(85,125),(85,171),(85,173),(85,174),(86,127),(86,130),(86,149),(86,173),(86,176),(86,178),(87,126),(87,131),(87,148),(87,172),(87,176),(87,179),(88,128),(88,132),(88,147),(88,171),(88,177),(88,178),(89,129),(89,133),(89,146),(89,170),(89,177),(89,179),(90,134),(90,135),(90,151),(90,174),(90,176),(90,177),(91,136),(91,137),(91,150),(91,175),(91,178),(91,179),(92,138),(92,143),(92,153),(92,167),(92,176),(92,180),(93,139),(93,142),(93,152),(93,166),(93,177),(93,180),(94,140),(94,145),(94,155),(94,169),(94,178),(94,180),(95,141),(95,144),(95,154),(95,168),(95,179),(95,180),(96,156),(96,190),(96,197),(97,157),(97,191),(97,197),(98,158),(98,192),(98,197),(99,159),(99,193),(99,197),(100,160),(100,194),(100,197),(101,161),(101,195),(101,197),(102,156),(102,186),(102,200),(103,157),(103,186),(103,201),(104,158),(104,187),(104,200),(105,159),(105,187),(105,201),(106,156),(106,188),(106,198),(107,157),(107,189),(107,198),(108,158),(108,188),(108,199),(109,159),(109,189),(109,199),(110,161),(110,187),(110,198),(111,161),(111,186),(111,199),(112,160),(112,189),(112,200),(113,160),(113,188),(113,201),(114,162),(114,190),(114,201),(115,162),(115,191),(115,200),(116,163),(116,193),(116,200),(117,163),(117,192),(117,201),(118,164),(118,190),(118,199),(119,165),(119,191),(119,199),(120,164),(120,192),(120,198),(121,165),(121,193),(121,198),(122,162),(122,194),(122,198),(123,163),(123,194),(123,199),(124,164),(124,195),(124,200),(125,165),(125,195),(125,201),(126,157),(126,181),(126,200),(127,156),(127,181),(127,201),(128,158),(128,182),(128,201),(129,159),(129,182),(129,200),(130,156),(130,183),(130,199),(131,157),(131,184),(131,199),(132,158),(132,183),(132,198),(133,159),(133,184),(133,198),(134,160),(134,181),(134,198),(135,160),(135,182),(135,199),(136,161),(136,183),(136,200),(137,161),(137,184),(137,201),(138,162),(138,181),(138,197),(139,163),(139,182),(139,197),(140,164),(140,183),(140,197),(141,165),(141,184),(141,197),(142,163),(142,185),(142,198),(143,162),(143,185),(143,199),(144,165),(144,185),(144,200),(145,164),(145,185),(145,201),(146,159),(146,190),(146,196),(147,158),(147,191),(147,196),(148,157),(148,192),(148,196),(149,156),(149,193),(149,196),(150,161),(150,194),(150,196),(151,160),(151,195),(151,196),(152,163),(152,186),(152,196),(153,162),(153,187),(153,196),(154,165),(154,188),(154,196),(155,164),(155,189),(155,196),(156,202),(157,202),(158,202),(159,202),(160,202),(161,202),(162,202),(163,202),(164,202),(165,202),(166,186),(166,197),(166,198),(167,187),(167,197),(167,199),(168,188),(168,197),(168,200),(169,189),(169,197),(169,201),(170,190),(170,198),(170,200),(171,191),(171,198),(171,201),(172,192),(172,199),(172,200),(173,193),(173,199),(173,201),(174,195),(174,198),(174,199),(175,194),(175,200),(175,201),(176,181),(176,196),(176,199),(177,182),(177,196),(177,198),(178,183),(178,196),(178,201),(179,184),(179,196),(179,200),(180,185),(180,196),(180,197),(181,202),(182,202),(183,202),(184,202),(185,202),(186,202),(187,202),(188,202),(189,202),(190,202),(191,202),(192,202),(193,202),(194,202),(195,202),(196,202),(197,202),(198,202),(199,202),(200,202),(201,202)],203)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(0,13),(0,14),(0,15),(1,40),(1,41),(1,42),(1,43),(1,44),(1,45),(1,82),(1,83),(1,84),(1,85),(2,18),(2,19),(2,25),(2,30),(2,31),(2,37),(2,78),(2,79),(2,81),(2,83),(3,16),(3,17),(3,24),(3,28),(3,29),(3,36),(3,76),(3,77),(3,81),(3,82),(4,21),(4,23),(4,27),(4,33),(4,35),(4,39),(4,77),(4,79),(4,80),(4,85),(5,20),(5,22),(5,26),(5,32),(5,34),(5,38),(5,76),(5,78),(5,80),(5,84),(6,22),(6,23),(6,24),(6,46),(6,47),(6,54),(6,83),(6,86),(6,87),(6,91),(7,20),(7,21),(7,25),(7,48),(7,49),(7,55),(7,82),(7,88),(7,89),(7,91),(8,17),(8,19),(8,26),(8,50),(8,52),(8,56),(8,85),(8,86),(8,88),(8,90),(9,16),(9,18),(9,27),(9,51),(9,53),(9,57),(9,84),(9,87),(9,89),(9,90),(10,28),(10,32),(10,43),(10,48),(10,51),(10,59),(10,79),(10,86),(10,92),(10,94),(11,29),(11,33),(11,42),(11,49),(11,50),(11,60),(11,78),(11,87),(11,92),(11,95),(12,30),(12,34),(12,41),(12,46),(12,53),(12,60),(12,77),(12,88),(12,93),(12,94),(13,31),(13,35),(13,40),(13,47),(13,52),(13,59),(13,76),(13,89),(13,93),(13,95),(14,38),(14,39),(14,45),(14,56),(14,57),(14,58),(14,81),(14,91),(14,94),(14,95),(15,36),(15,37),(15,44),(15,54),(15,55),(15,58),(15,80),(15,90),(15,92),(15,93),(16,61),(16,107),(16,112),(16,126),(16,134),(16,170),(17,62),(17,106),(17,113),(17,127),(17,134),(17,171),(18,63),(18,109),(18,112),(18,129),(18,135),(18,172),(19,64),(19,108),(19,113),(19,128),(19,135),(19,173),(20,65),(20,104),(20,110),(20,132),(20,136),(20,170),(21,66),(21,105),(21,110),(21,133),(21,137),(21,171),(22,67),(22,102),(22,111),(22,130),(22,136),(22,172),(23,68),(23,103),(23,111),(23,131),(23,137),(23,173),(24,69),(24,102),(24,103),(24,126),(24,127),(24,175),(25,70),(25,104),(25,105),(25,128),(25,129),(25,175),(26,71),(26,106),(26,108),(26,130),(26,132),(26,174),(27,72),(27,107),(27,109),(27,131),(27,133),(27,174),(28,61),(28,96),(28,114),(28,127),(28,138),(28,169),(29,62),(29,97),(29,115),(29,126),(29,138),(29,168),(30,63),(30,98),(30,117),(30,128),(30,139),(30,169),(31,64),(31,99),(31,116),(31,129),(31,139),(31,168),(32,65),(32,96),(32,118),(32,130),(32,140),(32,167),(33,66),(33,97),(33,119),(33,131),(33,141),(33,167),(34,67),(34,98),(34,120),(34,132),(34,140),(34,166),(35,68),(35,99),(35,121),(35,133),(35,141),(35,166),(36,69),(36,100),(36,122),(36,134),(36,138),(36,166),(37,70),(37,100),(37,123),(37,135),(37,139),(37,167),(38,71),(38,101),(38,124),(38,136),(38,140),(38,168),(39,72),(39,101),(39,125),(39,137),(39,141),(39,169),(40,73),(40,116),(40,121),(40,142),(40,144),(40,170),(41,74),(41,117),(41,120),(41,142),(41,145),(41,171),(42,74),(42,115),(42,119),(42,143),(42,144),(42,172),(43,73),(43,114),(43,118),(43,143),(43,145),(43,173),(44,75),(44,122),(44,123),(44,142),(44,143),(44,174),(45,75),(45,124),(45,125),(45,144),(45,145),(45,175),(46,67),(46,103),(46,117),(46,148),(46,152),(46,178),(47,68),(47,102),(47,116),(47,149),(47,152),(47,179),(48,65),(48,105),(48,114),(48,146),(48,153),(48,178),(49,66),(49,104),(49,115),(49,147),(49,153),(49,179),(50,62),(50,108),(50,119),(50,147),(50,154),(50,176),(51,61),(51,109),(51,118),(51,146),(51,155),(51,176),(52,64),(52,106),(52,121),(52,149),(52,154),(52,177),(53,63),(53,107),(53,120),(53,148),(53,155),(53,177),(54,69),(54,111),(54,123),(54,150),(54,152),(54,176),(55,70),(55,110),(55,122),(55,150),(55,153),(55,177),(56,71),(56,113),(56,125),(56,151),(56,154),(56,178),(57,72),(57,112),(57,124),(57,151),(57,155),(57,179),(58,75),(58,100),(58,101),(58,150),(58,151),(58,180),(59,73),(59,96),(59,99),(59,146),(59,149),(59,180),(60,74),(60,97),(60,98),(60,147),(60,148),(60,180),(61,181),(61,189),(61,190),(62,181),(62,188),(62,191),(63,182),(63,189),(63,192),(64,182),(64,188),(64,193),(65,183),(65,187),(65,190),(66,184),(66,187),(66,191),(67,183),(67,186),(67,192),(68,184),(68,186),(68,193),(69,181),(69,186),(69,194),(70,182),(70,187),(70,194),(71,183),(71,188),(71,195),(72,184),(72,189),(72,195),(73,185),(73,190),(73,193),(74,185),(74,191),(74,192),(75,185),(75,194),(75,195),(76,96),(76,102),(76,106),(76,166),(76,168),(76,170),(77,97),(77,103),(77,107),(77,166),(77,169),(77,171),(78,98),(78,104),(78,108),(78,167),(78,168),(78,172),(79,99),(79,105),(79,109),(79,167),(79,169),(79,173),(80,101),(80,110),(80,111),(80,166),(80,167),(80,174),(81,100),(81,112),(81,113),(81,168),(81,169),(81,175),(82,114),(82,115),(82,122),(82,170),(82,171),(82,175),(83,116),(83,117),(83,123),(83,172),(83,173),(83,175),(84,118),(84,120),(84,124),(84,170),(84,172),(84,174),(85,119),(85,121),(85,125),(85,171),(85,173),(85,174),(86,127),(86,130),(86,149),(86,173),(86,176),(86,178),(87,126),(87,131),(87,148),(87,172),(87,176),(87,179),(88,128),(88,132),(88,147),(88,171),(88,177),(88,178),(89,129),(89,133),(89,146),(89,170),(89,177),(89,179),(90,134),(90,135),(90,151),(90,174),(90,176),(90,177),(91,136),(91,137),(91,150),(91,175),(91,178),(91,179),(92,138),(92,143),(92,153),(92,167),(92,176),(92,180),(93,139),(93,142),(93,152),(93,166),(93,177),(93,180),(94,140),(94,145),(94,155),(94,169),(94,178),(94,180),(95,141),(95,144),(95,154),(95,168),(95,179),(95,180),(96,156),(96,190),(96,197),(97,157),(97,191),(97,197),(98,158),(98,192),(98,197),(99,159),(99,193),(99,197),(100,160),(100,194),(100,197),(101,161),(101,195),(101,197),(102,156),(102,186),(102,200),(103,157),(103,186),(103,201),(104,158),(104,187),(104,200),(105,159),(105,187),(105,201),(106,156),(106,188),(106,198),(107,157),(107,189),(107,198),(108,158),(108,188),(108,199),(109,159),(109,189),(109,199),(110,161),(110,187),(110,198),(111,161),(111,186),(111,199),(112,160),(112,189),(112,200),(113,160),(113,188),(113,201),(114,162),(114,190),(114,201),(115,162),(115,191),(115,200),(116,163),(116,193),(116,200),(117,163),(117,192),(117,201),(118,164),(118,190),(118,199),(119,165),(119,191),(119,199),(120,164),(120,192),(120,198),(121,165),(121,193),(121,198),(122,162),(122,194),(122,198),(123,163),(123,194),(123,199),(124,164),(124,195),(124,200),(125,165),(125,195),(125,201),(126,157),(126,181),(126,200),(127,156),(127,181),(127,201),(128,158),(128,182),(128,201),(129,159),(129,182),(129,200),(130,156),(130,183),(130,199),(131,157),(131,184),(131,199),(132,158),(132,183),(132,198),(133,159),(133,184),(133,198),(134,160),(134,181),(134,198),(135,160),(135,182),(135,199),(136,161),(136,183),(136,200),(137,161),(137,184),(137,201),(138,162),(138,181),(138,197),(139,163),(139,182),(139,197),(140,164),(140,183),(140,197),(141,165),(141,184),(141,197),(142,163),(142,185),(142,198),(143,162),(143,185),(143,199),(144,165),(144,185),(144,200),(145,164),(145,185),(145,201),(146,159),(146,190),(146,196),(147,158),(147,191),(147,196),(148,157),(148,192),(148,196),(149,156),(149,193),(149,196),(150,161),(150,194),(150,196),(151,160),(151,195),(151,196),(152,163),(152,186),(152,196),(153,162),(153,187),(153,196),(154,165),(154,188),(154,196),(155,164),(155,189),(155,196),(156,202),(157,202),(158,202),(159,202),(160,202),(161,202),(162,202),(163,202),(164,202),(165,202),(166,186),(166,197),(166,198),(167,187),(167,197),(167,199),(168,188),(168,197),(168,200),(169,189),(169,197),(169,201),(170,190),(170,198),(170,200),(171,191),(171,198),(171,201),(172,192),(172,199),(172,200),(173,193),(173,199),(173,201),(174,195),(174,198),(174,199),(175,194),(175,200),(175,201),(176,181),(176,196),(176,199),(177,182),(177,196),(177,198),(178,183),(178,196),(178,201),(179,184),(179,196),(179,200),(180,185),(180,196),(180,197),(181,202),(182,202),(183,202),(184,202),(185,202),(186,202),(187,202),(188,202),(189,202),(190,202),(191,202),(192,202),(193,202),(194,202),(195,202),(196,202),(197,202),(198,202),(199,202),(200,202),(201,202)],203)
=> ? = 10 - 1
([],7)
=> ([],1)
=> ([],1)
=> ? = 0 - 1
([(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
([(2,6),(3,6),(4,6),(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)
=> ? = 4 - 1
([(3,6),(4,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 4 - 1
([(4,5),(4,6),(5,6)],7)
=> ([(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)
=> 3 = 4 - 1
([(0,1),(2,6),(3,6),(4,6),(5,6)],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)
=> ? = 6 - 1
([(3,5),(3,6),(4,5),(4,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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 1
([(1,6),(2,6),(3,5),(4,5),(5,6)],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)
=> ? = 6 - 1
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 1
([(1,6),(2,5),(3,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)
=> ? = 6 - 1
([(2,3),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 1
([(1,2),(3,5),(3,6),(4,5),(4,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 1
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 1
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
=> ? = 8 - 1
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 1
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 1
([(0,3),(1,2),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 8 - 1
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
=> ? = 8 - 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,16),(1,17),(1,18),(1,25),(1,26),(1,27),(1,66),(2,13),(2,14),(2,15),(2,22),(2,23),(2,24),(2,66),(3,10),(3,11),(3,12),(3,19),(3,20),(3,21),(3,66),(4,12),(4,15),(4,18),(4,34),(4,35),(4,36),(4,65),(5,11),(5,14),(5,17),(5,31),(5,32),(5,33),(5,65),(6,10),(6,13),(6,16),(6,28),(6,29),(6,30),(6,65),(7,21),(7,24),(7,27),(7,30),(7,33),(7,36),(7,64),(8,20),(8,23),(8,26),(8,29),(8,32),(8,35),(8,64),(9,19),(9,22),(9,25),(9,28),(9,31),(9,34),(9,64),(10,37),(10,38),(10,39),(10,73),(10,76),(11,40),(11,41),(11,42),(11,74),(11,76),(12,43),(12,44),(12,45),(12,75),(12,76),(13,46),(13,47),(13,48),(13,73),(13,77),(14,49),(14,50),(14,51),(14,74),(14,77),(15,52),(15,53),(15,54),(15,75),(15,77),(16,55),(16,56),(16,57),(16,73),(16,78),(17,58),(17,59),(17,60),(17,74),(17,78),(18,61),(18,62),(18,63),(18,75),(18,78),(19,37),(19,40),(19,43),(19,67),(19,79),(20,38),(20,41),(20,44),(20,68),(20,79),(21,39),(21,42),(21,45),(21,69),(21,79),(22,46),(22,49),(22,52),(22,67),(22,80),(23,47),(23,50),(23,53),(23,68),(23,80),(24,48),(24,51),(24,54),(24,69),(24,80),(25,55),(25,58),(25,61),(25,67),(25,81),(26,56),(26,59),(26,62),(26,68),(26,81),(27,57),(27,60),(27,63),(27,69),(27,81),(28,37),(28,46),(28,55),(28,70),(28,82),(29,38),(29,47),(29,56),(29,71),(29,82),(30,39),(30,48),(30,57),(30,72),(30,82),(31,40),(31,49),(31,58),(31,70),(31,83),(32,41),(32,50),(32,59),(32,71),(32,83),(33,42),(33,51),(33,60),(33,72),(33,83),(34,43),(34,52),(34,61),(34,70),(34,84),(35,44),(35,53),(35,62),(35,71),(35,84),(36,45),(36,54),(36,63),(36,72),(36,84),(37,85),(37,94),(37,103),(38,86),(38,95),(38,103),(39,87),(39,96),(39,103),(40,88),(40,94),(40,104),(41,89),(41,95),(41,104),(42,90),(42,96),(42,104),(43,91),(43,94),(43,105),(44,92),(44,95),(44,105),(45,93),(45,96),(45,105),(46,85),(46,97),(46,106),(47,86),(47,98),(47,106),(48,87),(48,99),(48,106),(49,88),(49,97),(49,107),(50,89),(50,98),(50,107),(51,90),(51,99),(51,107),(52,91),(52,97),(52,108),(53,92),(53,98),(53,108),(54,93),(54,99),(54,108),(55,85),(55,100),(55,109),(56,86),(56,101),(56,109),(57,87),(57,102),(57,109),(58,88),(58,100),(58,110),(59,89),(59,101),(59,110),(60,90),(60,102),(60,110),(61,91),(61,100),(61,111),(62,92),(62,101),(62,111),(63,93),(63,102),(63,111),(64,79),(64,80),(64,81),(64,82),(64,83),(64,84),(65,70),(65,71),(65,72),(65,76),(65,77),(65,78),(66,67),(66,68),(66,69),(66,73),(66,74),(66,75),(67,85),(67,88),(67,91),(67,113),(68,86),(68,89),(68,92),(68,113),(69,87),(69,90),(69,93),(69,113),(70,94),(70,97),(70,100),(70,114),(71,95),(71,98),(71,101),(71,114),(72,96),(72,99),(72,102),(72,114),(73,85),(73,86),(73,87),(73,112),(74,88),(74,89),(74,90),(74,112),(75,91),(75,92),(75,93),(75,112),(76,94),(76,95),(76,96),(76,112),(77,97),(77,98),(77,99),(77,112),(78,100),(78,101),(78,102),(78,112),(79,103),(79,104),(79,105),(79,113),(80,106),(80,107),(80,108),(80,113),(81,109),(81,110),(81,111),(81,113),(82,103),(82,106),(82,109),(82,114),(83,104),(83,107),(83,110),(83,114),(84,105),(84,108),(84,111),(84,114),(85,115),(85,118),(86,116),(86,118),(87,117),(87,118),(88,115),(88,119),(89,116),(89,119),(90,117),(90,119),(91,115),(91,120),(92,116),(92,120),(93,117),(93,120),(94,115),(94,121),(95,116),(95,121),(96,117),(96,121),(97,115),(97,122),(98,116),(98,122),(99,117),(99,122),(100,115),(100,123),(101,116),(101,123),(102,117),(102,123),(103,118),(103,121),(104,119),(104,121),(105,120),(105,121),(106,118),(106,122),(107,119),(107,122),(108,120),(108,122),(109,118),(109,123),(110,119),(110,123),(111,120),(111,123),(112,115),(112,116),(112,117),(113,118),(113,119),(113,120),(114,121),(114,122),(114,123),(115,124),(116,124),(117,124),(118,124),(119,124),(120,124),(121,124),(122,124),(123,124)],125)
=> ?
=> ? = 10 - 1
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ? = 8 - 1
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 8 - 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ? = 8 - 1
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,15),(1,19),(1,23),(1,24),(1,25),(2,10),(2,14),(2,18),(2,21),(2,22),(2,25),(3,9),(3,13),(3,17),(3,20),(3,22),(3,24),(4,8),(4,12),(4,16),(4,20),(4,21),(4,23),(5,16),(5,17),(5,18),(5,19),(5,26),(6,12),(6,13),(6,14),(6,15),(6,26),(7,8),(7,9),(7,10),(7,11),(7,26),(8,27),(8,28),(8,30),(8,45),(9,27),(9,29),(9,31),(9,46),(10,28),(10,29),(10,32),(10,47),(11,30),(11,31),(11,32),(11,48),(12,33),(12,34),(12,36),(12,45),(13,33),(13,35),(13,37),(13,46),(14,34),(14,35),(14,38),(14,47),(15,36),(15,37),(15,38),(15,48),(16,39),(16,40),(16,42),(16,45),(17,39),(17,41),(17,43),(17,46),(18,40),(18,41),(18,44),(18,47),(19,42),(19,43),(19,44),(19,48),(20,27),(20,33),(20,39),(20,55),(21,28),(21,34),(21,40),(21,55),(22,29),(22,35),(22,41),(22,55),(23,30),(23,36),(23,42),(23,55),(24,31),(24,37),(24,43),(24,55),(25,32),(25,38),(25,44),(25,55),(26,45),(26,46),(26,47),(26,48),(27,51),(27,56),(28,49),(28,56),(29,50),(29,56),(30,52),(30,56),(31,53),(31,56),(32,54),(32,56),(33,51),(33,57),(34,49),(34,57),(35,50),(35,57),(36,52),(36,57),(37,53),(37,57),(38,54),(38,57),(39,51),(39,58),(40,49),(40,58),(41,50),(41,58),(42,52),(42,58),(43,53),(43,58),(44,54),(44,58),(45,49),(45,51),(45,52),(46,50),(46,51),(46,53),(47,49),(47,50),(47,54),(48,52),(48,53),(48,54),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,56),(55,57),(55,58),(56,59),(57,59),(58,59)],60)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,15),(1,19),(1,23),(1,24),(1,25),(2,10),(2,14),(2,18),(2,21),(2,22),(2,25),(3,9),(3,13),(3,17),(3,20),(3,22),(3,24),(4,8),(4,12),(4,16),(4,20),(4,21),(4,23),(5,16),(5,17),(5,18),(5,19),(5,26),(6,12),(6,13),(6,14),(6,15),(6,26),(7,8),(7,9),(7,10),(7,11),(7,26),(8,27),(8,28),(8,30),(8,45),(9,27),(9,29),(9,31),(9,46),(10,28),(10,29),(10,32),(10,47),(11,30),(11,31),(11,32),(11,48),(12,33),(12,34),(12,36),(12,45),(13,33),(13,35),(13,37),(13,46),(14,34),(14,35),(14,38),(14,47),(15,36),(15,37),(15,38),(15,48),(16,39),(16,40),(16,42),(16,45),(17,39),(17,41),(17,43),(17,46),(18,40),(18,41),(18,44),(18,47),(19,42),(19,43),(19,44),(19,48),(20,27),(20,33),(20,39),(20,55),(21,28),(21,34),(21,40),(21,55),(22,29),(22,35),(22,41),(22,55),(23,30),(23,36),(23,42),(23,55),(24,31),(24,37),(24,43),(24,55),(25,32),(25,38),(25,44),(25,55),(26,45),(26,46),(26,47),(26,48),(27,51),(27,56),(28,49),(28,56),(29,50),(29,56),(30,52),(30,56),(31,53),(31,56),(32,54),(32,56),(33,51),(33,57),(34,49),(34,57),(35,50),(35,57),(36,52),(36,57),(37,53),(37,57),(38,54),(38,57),(39,51),(39,58),(40,49),(40,58),(41,50),(41,58),(42,52),(42,58),(43,53),(43,58),(44,54),(44,58),(45,49),(45,51),(45,52),(46,50),(46,51),(46,53),(47,49),(47,50),(47,54),(48,52),(48,53),(48,54),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,56),(55,57),(55,58),(56,59),(57,59),(58,59)],60)
=> ? = 8 - 1
Description
The number of posets with combinatorially isomorphic order polytopes.
Matching statistic: St001630
(load all 10 compositions to match this statistic)
(load all 10 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ? = 0 - 2
([],2)
=> ([],1)
=> ? = 0 - 2
([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 2
([],3)
=> ([],1)
=> ? = 0 - 2
([(1,2)],3)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([],4)
=> ([],1)
=> ? = 0 - 2
([(2,3)],4)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,3),(1,2)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([],5)
=> ([],1)
=> ? = 0 - 2
([(3,4)],5)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,4),(1,4),(2,4),(3,4)],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)
=> ? = 4 - 2
([(1,4),(2,3)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(1,3),(1,4),(2,3),(2,4)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(0,1),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 2
([],6)
=> ([],1)
=> ? = 0 - 2
([(4,5)],6)
=> ([(0,1)],2)
=> ? = 2 - 2
([(1,5),(2,5),(3,5),(4,5)],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)
=> ? = 4 - 2
([(2,5),(3,4)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(2,4),(2,5),(3,4),(3,5)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,5),(1,5),(2,4),(3,4),(4,5)],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)
=> ? = 6 - 2
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(0,5),(1,4),(2,3)],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)
=> ? = 6 - 2
([(1,2),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(0,1),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 2
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 2
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 2
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ? = 8 - 2
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 8 - 2
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ? = 8 - 2
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 2
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,14),(1,22),(1,23),(1,32),(1,36),(1,40),(1,48),(1,90),(1,94),(2,13),(2,21),(2,23),(2,31),(2,35),(2,39),(2,47),(2,89),(2,93),(3,16),(3,19),(3,24),(3,34),(3,35),(3,41),(3,49),(3,90),(3,91),(4,15),(4,20),(4,24),(4,33),(4,36),(4,42),(4,50),(4,89),(4,92),(5,15),(5,19),(5,25),(5,31),(5,38),(5,43),(5,51),(5,87),(5,94),(6,16),(6,20),(6,25),(6,32),(6,37),(6,44),(6,52),(6,88),(6,93),(7,13),(7,22),(7,26),(7,33),(7,37),(7,45),(7,53),(7,87),(7,91),(8,14),(8,21),(8,26),(8,34),(8,38),(8,46),(8,54),(8,88),(8,92),(9,18),(9,29),(9,30),(9,43),(9,44),(9,45),(9,46),(9,89),(9,90),(10,18),(10,27),(10,28),(10,39),(10,40),(10,41),(10,42),(10,87),(10,88),(11,17),(11,28),(11,30),(11,49),(11,50),(11,53),(11,54),(11,93),(11,94),(12,17),(12,27),(12,29),(12,47),(12,48),(12,51),(12,52),(12,91),(12,92),(13,95),(13,101),(13,103),(13,109),(13,127),(14,96),(14,102),(14,104),(14,110),(14,127),(15,97),(15,99),(15,106),(15,108),(15,126),(16,98),(16,100),(16,105),(16,107),(16,126),(17,115),(17,116),(17,117),(17,118),(17,125),(18,111),(18,112),(18,113),(18,114),(18,125),(19,63),(19,68),(19,126),(19,132),(19,139),(20,64),(20,67),(20,126),(20,133),(20,138),(21,65),(21,69),(21,127),(21,134),(21,136),(22,66),(22,70),(22,127),(22,135),(22,137),(23,55),(23,59),(23,127),(23,129),(23,131),(24,56),(24,60),(24,126),(24,129),(24,130),(25,57),(25,61),(25,126),(25,128),(25,131),(26,58),(26,62),(26,127),(26,128),(26,130),(27,71),(27,72),(27,125),(27,132),(27,133),(28,73),(28,74),(28,125),(28,134),(28,135),(29,75),(29,76),(29,125),(29,136),(29,137),(30,77),(30,78),(30,125),(30,138),(30,139),(31,63),(31,69),(31,83),(31,95),(31,99),(31,131),(32,64),(32,70),(32,84),(32,96),(32,100),(32,131),(33,66),(33,67),(33,85),(33,97),(33,101),(33,130),(34,65),(34,68),(34,86),(34,98),(34,102),(34,130),(35,63),(35,65),(35,79),(35,103),(35,105),(35,129),(36,64),(36,66),(36,80),(36,104),(36,106),(36,129),(37,67),(37,70),(37,81),(37,107),(37,109),(37,128),(38,68),(38,69),(38,82),(38,108),(38,110),(38,128),(39,55),(39,71),(39,79),(39,95),(39,111),(39,134),(40,55),(40,72),(40,80),(40,96),(40,112),(40,135),(41,56),(41,73),(41,79),(41,98),(41,112),(41,132),(42,56),(42,74),(42,80),(42,97),(42,111),(42,133),(43,57),(43,75),(43,82),(43,99),(43,113),(43,139),(44,57),(44,76),(44,81),(44,100),(44,114),(44,138),(45,58),(45,77),(45,81),(45,101),(45,113),(45,137),(46,58),(46,78),(46,82),(46,102),(46,114),(46,136),(47,59),(47,71),(47,83),(47,103),(47,115),(47,136),(48,59),(48,72),(48,84),(48,104),(48,116),(48,137),(49,60),(49,73),(49,86),(49,105),(49,117),(49,139),(50,60),(50,74),(50,85),(50,106),(50,118),(50,138),(51,61),(51,75),(51,83),(51,108),(51,116),(51,132),(52,61),(52,76),(52,84),(52,107),(52,115),(52,133),(53,62),(53,77),(53,85),(53,109),(53,117),(53,135),(54,62),(54,78),(54,86),(54,110),(54,118),(54,134),(55,121),(55,144),(55,157),(56,122),(56,144),(56,156),(57,123),(57,145),(57,159),(58,124),(58,145),(58,158),(59,121),(59,146),(59,158),(60,122),(60,147),(60,159),(61,123),(61,146),(61,156),(62,124),(62,147),(62,157),(63,119),(63,148),(63,159),(64,120),(64,149),(64,159),(65,119),(65,150),(65,158),(66,120),(66,151),(66,158),(67,120),(67,154),(67,156),(68,119),(68,155),(68,156),(69,119),(69,152),(69,157),(70,120),(70,153),(70,157),(71,121),(71,148),(71,160),(72,121),(72,149),(72,161),(73,122),(73,150),(73,161),(74,122),(74,151),(74,160),(75,123),(75,152),(75,161),(76,123),(76,153),(76,160),(77,124),(77,154),(77,161),(78,124),(78,155),(78,160),(79,144),(79,148),(79,150),(80,144),(80,149),(80,151),(81,145),(81,153),(81,154),(82,145),(82,152),(82,155),(83,146),(83,148),(83,152),(84,146),(84,149),(84,153),(85,147),(85,151),(85,154),(86,147),(86,150),(86,155),(87,95),(87,97),(87,113),(87,128),(87,132),(87,135),(88,96),(88,98),(88,114),(88,128),(88,133),(88,134),(89,99),(89,101),(89,111),(89,129),(89,136),(89,138),(90,100),(90,102),(90,112),(90,129),(90,137),(90,139),(91,103),(91,107),(91,117),(91,130),(91,132),(91,137),(92,104),(92,108),(92,118),(92,130),(92,133),(92,136),(93,105),(93,109),(93,115),(93,131),(93,134),(93,138),(94,106),(94,110),(94,116),(94,131),(94,135),(94,139),(95,140),(95,148),(95,157),(96,141),(96,149),(96,157),(97,140),(97,151),(97,156),(98,141),(98,150),(98,156),(99,140),(99,152),(99,159),(100,141),(100,153),(100,159),(101,140),(101,154),(101,158),(102,141),(102,155),(102,158),(103,142),(103,148),(103,158),(104,143),(104,149),(104,158),(105,142),(105,150),(105,159),(106,143),(106,151),(106,159),(107,142),(107,153),(107,156),(108,143),(108,152),(108,156),(109,142),(109,154),(109,157),(110,143),(110,155),(110,157),(111,140),(111,144),(111,160),(112,141),(112,144),(112,161),(113,140),(113,145),(113,161),(114,141),(114,145),(114,160),(115,142),(115,146),(115,160),(116,143),(116,146),(116,161),(117,142),(117,147),(117,161),(118,143),(118,147),(118,160),(119,162),(120,162),(121,162),(122,162),(123,162),(124,162),(125,160),(125,161),(126,156),(126,159),(127,157),(127,158),(128,145),(128,156),(128,157),(129,144),(129,158),(129,159),(130,147),(130,156),(130,158),(131,146),(131,157),(131,159),(132,148),(132,156),(132,161),(133,149),(133,156),(133,160),(134,150),(134,157),(134,160),(135,151),(135,157),(135,161),(136,152),(136,158),(136,160),(137,153),(137,158),(137,161),(138,154),(138,159),(138,160),(139,155),(139,159),(139,161),(140,162),(141,162),(142,162),(143,162),(144,162),(145,162),(146,162),(147,162),(148,162),(149,162),(150,162),(151,162),(152,162),(153,162),(154,162),(155,162),(156,162),(157,162),(158,162),(159,162),(160,162),(161,162)],163)
=> ? = 8 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(0,13),(0,14),(0,15),(1,40),(1,41),(1,42),(1,43),(1,44),(1,45),(1,82),(1,83),(1,84),(1,85),(2,18),(2,19),(2,25),(2,30),(2,31),(2,37),(2,78),(2,79),(2,81),(2,83),(3,16),(3,17),(3,24),(3,28),(3,29),(3,36),(3,76),(3,77),(3,81),(3,82),(4,21),(4,23),(4,27),(4,33),(4,35),(4,39),(4,77),(4,79),(4,80),(4,85),(5,20),(5,22),(5,26),(5,32),(5,34),(5,38),(5,76),(5,78),(5,80),(5,84),(6,22),(6,23),(6,24),(6,46),(6,47),(6,54),(6,83),(6,86),(6,87),(6,91),(7,20),(7,21),(7,25),(7,48),(7,49),(7,55),(7,82),(7,88),(7,89),(7,91),(8,17),(8,19),(8,26),(8,50),(8,52),(8,56),(8,85),(8,86),(8,88),(8,90),(9,16),(9,18),(9,27),(9,51),(9,53),(9,57),(9,84),(9,87),(9,89),(9,90),(10,28),(10,32),(10,43),(10,48),(10,51),(10,59),(10,79),(10,86),(10,92),(10,94),(11,29),(11,33),(11,42),(11,49),(11,50),(11,60),(11,78),(11,87),(11,92),(11,95),(12,30),(12,34),(12,41),(12,46),(12,53),(12,60),(12,77),(12,88),(12,93),(12,94),(13,31),(13,35),(13,40),(13,47),(13,52),(13,59),(13,76),(13,89),(13,93),(13,95),(14,38),(14,39),(14,45),(14,56),(14,57),(14,58),(14,81),(14,91),(14,94),(14,95),(15,36),(15,37),(15,44),(15,54),(15,55),(15,58),(15,80),(15,90),(15,92),(15,93),(16,61),(16,107),(16,112),(16,126),(16,134),(16,170),(17,62),(17,106),(17,113),(17,127),(17,134),(17,171),(18,63),(18,109),(18,112),(18,129),(18,135),(18,172),(19,64),(19,108),(19,113),(19,128),(19,135),(19,173),(20,65),(20,104),(20,110),(20,132),(20,136),(20,170),(21,66),(21,105),(21,110),(21,133),(21,137),(21,171),(22,67),(22,102),(22,111),(22,130),(22,136),(22,172),(23,68),(23,103),(23,111),(23,131),(23,137),(23,173),(24,69),(24,102),(24,103),(24,126),(24,127),(24,175),(25,70),(25,104),(25,105),(25,128),(25,129),(25,175),(26,71),(26,106),(26,108),(26,130),(26,132),(26,174),(27,72),(27,107),(27,109),(27,131),(27,133),(27,174),(28,61),(28,96),(28,114),(28,127),(28,138),(28,169),(29,62),(29,97),(29,115),(29,126),(29,138),(29,168),(30,63),(30,98),(30,117),(30,128),(30,139),(30,169),(31,64),(31,99),(31,116),(31,129),(31,139),(31,168),(32,65),(32,96),(32,118),(32,130),(32,140),(32,167),(33,66),(33,97),(33,119),(33,131),(33,141),(33,167),(34,67),(34,98),(34,120),(34,132),(34,140),(34,166),(35,68),(35,99),(35,121),(35,133),(35,141),(35,166),(36,69),(36,100),(36,122),(36,134),(36,138),(36,166),(37,70),(37,100),(37,123),(37,135),(37,139),(37,167),(38,71),(38,101),(38,124),(38,136),(38,140),(38,168),(39,72),(39,101),(39,125),(39,137),(39,141),(39,169),(40,73),(40,116),(40,121),(40,142),(40,144),(40,170),(41,74),(41,117),(41,120),(41,142),(41,145),(41,171),(42,74),(42,115),(42,119),(42,143),(42,144),(42,172),(43,73),(43,114),(43,118),(43,143),(43,145),(43,173),(44,75),(44,122),(44,123),(44,142),(44,143),(44,174),(45,75),(45,124),(45,125),(45,144),(45,145),(45,175),(46,67),(46,103),(46,117),(46,148),(46,152),(46,178),(47,68),(47,102),(47,116),(47,149),(47,152),(47,179),(48,65),(48,105),(48,114),(48,146),(48,153),(48,178),(49,66),(49,104),(49,115),(49,147),(49,153),(49,179),(50,62),(50,108),(50,119),(50,147),(50,154),(50,176),(51,61),(51,109),(51,118),(51,146),(51,155),(51,176),(52,64),(52,106),(52,121),(52,149),(52,154),(52,177),(53,63),(53,107),(53,120),(53,148),(53,155),(53,177),(54,69),(54,111),(54,123),(54,150),(54,152),(54,176),(55,70),(55,110),(55,122),(55,150),(55,153),(55,177),(56,71),(56,113),(56,125),(56,151),(56,154),(56,178),(57,72),(57,112),(57,124),(57,151),(57,155),(57,179),(58,75),(58,100),(58,101),(58,150),(58,151),(58,180),(59,73),(59,96),(59,99),(59,146),(59,149),(59,180),(60,74),(60,97),(60,98),(60,147),(60,148),(60,180),(61,181),(61,189),(61,190),(62,181),(62,188),(62,191),(63,182),(63,189),(63,192),(64,182),(64,188),(64,193),(65,183),(65,187),(65,190),(66,184),(66,187),(66,191),(67,183),(67,186),(67,192),(68,184),(68,186),(68,193),(69,181),(69,186),(69,194),(70,182),(70,187),(70,194),(71,183),(71,188),(71,195),(72,184),(72,189),(72,195),(73,185),(73,190),(73,193),(74,185),(74,191),(74,192),(75,185),(75,194),(75,195),(76,96),(76,102),(76,106),(76,166),(76,168),(76,170),(77,97),(77,103),(77,107),(77,166),(77,169),(77,171),(78,98),(78,104),(78,108),(78,167),(78,168),(78,172),(79,99),(79,105),(79,109),(79,167),(79,169),(79,173),(80,101),(80,110),(80,111),(80,166),(80,167),(80,174),(81,100),(81,112),(81,113),(81,168),(81,169),(81,175),(82,114),(82,115),(82,122),(82,170),(82,171),(82,175),(83,116),(83,117),(83,123),(83,172),(83,173),(83,175),(84,118),(84,120),(84,124),(84,170),(84,172),(84,174),(85,119),(85,121),(85,125),(85,171),(85,173),(85,174),(86,127),(86,130),(86,149),(86,173),(86,176),(86,178),(87,126),(87,131),(87,148),(87,172),(87,176),(87,179),(88,128),(88,132),(88,147),(88,171),(88,177),(88,178),(89,129),(89,133),(89,146),(89,170),(89,177),(89,179),(90,134),(90,135),(90,151),(90,174),(90,176),(90,177),(91,136),(91,137),(91,150),(91,175),(91,178),(91,179),(92,138),(92,143),(92,153),(92,167),(92,176),(92,180),(93,139),(93,142),(93,152),(93,166),(93,177),(93,180),(94,140),(94,145),(94,155),(94,169),(94,178),(94,180),(95,141),(95,144),(95,154),(95,168),(95,179),(95,180),(96,156),(96,190),(96,197),(97,157),(97,191),(97,197),(98,158),(98,192),(98,197),(99,159),(99,193),(99,197),(100,160),(100,194),(100,197),(101,161),(101,195),(101,197),(102,156),(102,186),(102,200),(103,157),(103,186),(103,201),(104,158),(104,187),(104,200),(105,159),(105,187),(105,201),(106,156),(106,188),(106,198),(107,157),(107,189),(107,198),(108,158),(108,188),(108,199),(109,159),(109,189),(109,199),(110,161),(110,187),(110,198),(111,161),(111,186),(111,199),(112,160),(112,189),(112,200),(113,160),(113,188),(113,201),(114,162),(114,190),(114,201),(115,162),(115,191),(115,200),(116,163),(116,193),(116,200),(117,163),(117,192),(117,201),(118,164),(118,190),(118,199),(119,165),(119,191),(119,199),(120,164),(120,192),(120,198),(121,165),(121,193),(121,198),(122,162),(122,194),(122,198),(123,163),(123,194),(123,199),(124,164),(124,195),(124,200),(125,165),(125,195),(125,201),(126,157),(126,181),(126,200),(127,156),(127,181),(127,201),(128,158),(128,182),(128,201),(129,159),(129,182),(129,200),(130,156),(130,183),(130,199),(131,157),(131,184),(131,199),(132,158),(132,183),(132,198),(133,159),(133,184),(133,198),(134,160),(134,181),(134,198),(135,160),(135,182),(135,199),(136,161),(136,183),(136,200),(137,161),(137,184),(137,201),(138,162),(138,181),(138,197),(139,163),(139,182),(139,197),(140,164),(140,183),(140,197),(141,165),(141,184),(141,197),(142,163),(142,185),(142,198),(143,162),(143,185),(143,199),(144,165),(144,185),(144,200),(145,164),(145,185),(145,201),(146,159),(146,190),(146,196),(147,158),(147,191),(147,196),(148,157),(148,192),(148,196),(149,156),(149,193),(149,196),(150,161),(150,194),(150,196),(151,160),(151,195),(151,196),(152,163),(152,186),(152,196),(153,162),(153,187),(153,196),(154,165),(154,188),(154,196),(155,164),(155,189),(155,196),(156,202),(157,202),(158,202),(159,202),(160,202),(161,202),(162,202),(163,202),(164,202),(165,202),(166,186),(166,197),(166,198),(167,187),(167,197),(167,199),(168,188),(168,197),(168,200),(169,189),(169,197),(169,201),(170,190),(170,198),(170,200),(171,191),(171,198),(171,201),(172,192),(172,199),(172,200),(173,193),(173,199),(173,201),(174,195),(174,198),(174,199),(175,194),(175,200),(175,201),(176,181),(176,196),(176,199),(177,182),(177,196),(177,198),(178,183),(178,196),(178,201),(179,184),(179,196),(179,200),(180,185),(180,196),(180,197),(181,202),(182,202),(183,202),(184,202),(185,202),(186,202),(187,202),(188,202),(189,202),(190,202),(191,202),(192,202),(193,202),(194,202),(195,202),(196,202),(197,202),(198,202),(199,202),(200,202),(201,202)],203)
=> ? = 10 - 2
([],7)
=> ([],1)
=> ? = 0 - 2
([(5,6)],7)
=> ([(0,1)],2)
=> ? = 2 - 2
([(2,6),(3,6),(4,6),(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)
=> ? = 4 - 2
([(3,6),(4,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(0,1),(2,6),(3,6),(4,6),(5,6)],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)
=> ? = 6 - 2
([(3,5),(3,6),(4,5),(4,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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(1,6),(2,6),(3,5),(4,5),(5,6)],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)
=> ? = 6 - 2
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(1,6),(2,5),(3,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)
=> ? = 6 - 2
([(2,3),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(1,2),(3,5),(3,6),(4,5),(4,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 2
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
=> ? = 8 - 2
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 2
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 2
([(0,3),(1,2),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 8 - 2
Description
The global dimension of the incidence algebra of the lattice over the rational numbers.
Matching statistic: St001878
(load all 10 compositions to match this statistic)
(load all 10 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ? = 0 - 2
([],2)
=> ([],1)
=> ? = 0 - 2
([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 2
([],3)
=> ([],1)
=> ? = 0 - 2
([(1,2)],3)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([],4)
=> ([],1)
=> ? = 0 - 2
([(2,3)],4)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,3),(1,2)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([],5)
=> ([],1)
=> ? = 0 - 2
([(3,4)],5)
=> ([(0,1)],2)
=> ? = 2 - 2
([(0,4),(1,4),(2,4),(3,4)],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)
=> ? = 4 - 2
([(1,4),(2,3)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(1,3),(1,4),(2,3),(2,4)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(0,1),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 2
([],6)
=> ([],1)
=> ? = 0 - 2
([(4,5)],6)
=> ([(0,1)],2)
=> ? = 2 - 2
([(1,5),(2,5),(3,5),(4,5)],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)
=> ? = 4 - 2
([(2,5),(3,4)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(2,4),(2,5),(3,4),(3,5)],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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(0,5),(1,5),(2,4),(3,4),(4,5)],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)
=> ? = 6 - 2
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(0,5),(1,4),(2,3)],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)
=> ? = 6 - 2
([(1,2),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(0,1),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 2
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 2
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 2
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(1,14),(1,15),(1,17),(2,10),(2,11),(2,12),(2,17),(3,7),(3,8),(3,9),(3,17),(4,9),(4,12),(4,15),(4,16),(5,8),(5,11),(5,14),(5,16),(6,7),(6,10),(6,13),(6,16),(7,18),(7,21),(8,19),(8,21),(9,20),(9,21),(10,18),(10,22),(11,19),(11,22),(12,20),(12,22),(13,18),(13,23),(14,19),(14,23),(15,20),(15,23),(16,21),(16,22),(16,23),(17,18),(17,19),(17,20),(18,24),(19,24),(20,24),(21,24),(22,24),(23,24)],25)
=> ? = 8 - 2
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 8 - 2
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,23),(1,24),(1,32),(1,33),(1,36),(1,39),(2,14),(2,16),(2,20),(2,22),(2,31),(2,33),(2,35),(2,38),(3,13),(3,15),(3,19),(3,21),(3,31),(3,32),(3,34),(3,37),(4,12),(4,15),(4,16),(4,25),(4,26),(4,36),(4,75),(5,10),(5,13),(5,17),(5,27),(5,29),(5,35),(5,75),(6,11),(6,14),(6,18),(6,28),(6,30),(6,34),(6,75),(7,12),(7,21),(7,22),(7,29),(7,30),(7,39),(7,74),(8,10),(8,19),(8,23),(8,26),(8,28),(8,38),(8,74),(9,11),(9,20),(9,24),(9,25),(9,27),(9,37),(9,74),(10,42),(10,83),(10,85),(10,102),(11,41),(11,82),(11,86),(11,103),(12,43),(12,84),(12,87),(12,101),(13,46),(13,56),(13,70),(13,88),(13,102),(14,47),(14,57),(14,71),(14,89),(14,103),(15,44),(15,58),(15,68),(15,88),(15,101),(16,45),(16,59),(16,69),(16,89),(16,101),(17,49),(17,60),(17,72),(17,90),(17,102),(18,48),(18,61),(18,73),(18,90),(18,103),(19,52),(19,62),(19,68),(19,91),(19,102),(20,53),(20,63),(20,69),(20,92),(20,103),(21,50),(21,64),(21,70),(21,91),(21,101),(22,51),(22,65),(22,71),(22,92),(22,101),(23,55),(23,66),(23,73),(23,93),(23,102),(24,54),(24,67),(24,72),(24,93),(24,103),(25,58),(25,67),(25,69),(25,82),(25,87),(26,59),(26,66),(26,68),(26,83),(26,87),(27,56),(27,63),(27,72),(27,82),(27,85),(28,57),(28,62),(28,73),(28,83),(28,86),(29,60),(29,65),(29,70),(29,84),(29,85),(30,61),(30,64),(30,71),(30,84),(30,86),(31,40),(31,46),(31,47),(31,52),(31,53),(31,101),(32,40),(32,44),(32,48),(32,50),(32,54),(32,102),(33,40),(33,45),(33,49),(33,51),(33,55),(33,103),(34,41),(34,47),(34,48),(34,62),(34,64),(34,88),(35,42),(35,46),(35,49),(35,63),(35,65),(35,89),(36,43),(36,44),(36,45),(36,66),(36,67),(36,90),(37,41),(37,53),(37,54),(37,56),(37,58),(37,91),(38,42),(38,52),(38,55),(38,57),(38,59),(38,92),(39,43),(39,50),(39,51),(39,60),(39,61),(39,93),(40,104),(40,105),(40,106),(41,94),(41,97),(41,106),(42,95),(42,98),(42,105),(43,96),(43,99),(43,104),(44,78),(44,104),(44,108),(45,79),(45,104),(45,109),(46,76),(46,105),(46,107),(47,77),(47,106),(47,107),(48,80),(48,106),(48,108),(49,81),(49,105),(49,109),(50,80),(50,104),(50,111),(51,81),(51,104),(51,112),(52,77),(52,105),(52,110),(53,76),(53,106),(53,110),(54,78),(54,106),(54,111),(55,79),(55,105),(55,112),(56,76),(56,94),(56,111),(57,77),(57,95),(57,112),(58,78),(58,94),(58,110),(59,79),(59,95),(59,110),(60,81),(60,96),(60,111),(61,80),(61,96),(61,112),(62,77),(62,97),(62,108),(63,76),(63,98),(63,109),(64,80),(64,97),(64,107),(65,81),(65,98),(65,107),(66,79),(66,99),(66,108),(67,78),(67,99),(67,109),(68,108),(68,110),(69,109),(69,110),(70,107),(70,111),(71,107),(71,112),(72,109),(72,111),(73,108),(73,112),(74,85),(74,86),(74,87),(74,91),(74,92),(74,93),(75,82),(75,83),(75,84),(75,88),(75,89),(75,90),(76,113),(77,113),(78,113),(79,113),(80,113),(81,113),(82,94),(82,100),(82,109),(83,95),(83,100),(83,108),(84,96),(84,100),(84,107),(85,98),(85,100),(85,111),(86,97),(86,100),(86,112),(87,99),(87,100),(87,110),(88,94),(88,107),(88,108),(89,95),(89,107),(89,109),(90,96),(90,108),(90,109),(91,97),(91,110),(91,111),(92,98),(92,110),(92,112),(93,99),(93,111),(93,112),(94,113),(95,113),(96,113),(97,113),(98,113),(99,113),(100,113),(101,104),(101,107),(101,110),(102,105),(102,108),(102,111),(103,106),(103,109),(103,112),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ? = 8 - 2
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,13),(1,14),(1,20),(1,28),(1,29),(1,31),(2,11),(2,12),(2,19),(2,26),(2,27),(2,31),(3,16),(3,18),(3,22),(3,27),(3,29),(3,30),(4,15),(4,17),(4,21),(4,26),(4,28),(4,30),(5,11),(5,15),(5,24),(5,29),(5,32),(5,34),(6,12),(6,16),(6,25),(6,28),(6,32),(6,35),(7,13),(7,17),(7,25),(7,27),(7,33),(7,34),(8,14),(8,18),(8,24),(8,26),(8,33),(8,35),(9,21),(9,22),(9,23),(9,31),(9,34),(9,35),(10,19),(10,20),(10,23),(10,30),(10,32),(10,33),(11,36),(11,40),(11,50),(12,36),(12,41),(12,49),(13,37),(13,42),(13,50),(14,37),(14,43),(14,49),(15,38),(15,40),(15,48),(16,39),(16,41),(16,48),(17,38),(17,42),(17,47),(18,39),(18,43),(18,47),(19,36),(19,44),(19,47),(20,37),(20,44),(20,48),(21,38),(21,45),(21,49),(22,39),(22,45),(22,50),(23,44),(23,45),(23,46),(24,40),(24,43),(24,46),(25,41),(25,42),(25,46),(26,40),(26,47),(26,49),(27,41),(27,47),(27,50),(28,42),(28,48),(28,49),(29,43),(29,48),(29,50),(30,45),(30,47),(30,48),(31,44),(31,49),(31,50),(32,36),(32,46),(32,48),(33,37),(33,46),(33,47),(34,38),(34,46),(34,50),(35,39),(35,46),(35,49),(36,51),(37,51),(38,51),(39,51),(40,51),(41,51),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,51),(49,51),(50,51)],52)
=> ? = 8 - 2
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,14),(1,22),(1,23),(1,32),(1,36),(1,40),(1,48),(1,90),(1,94),(2,13),(2,21),(2,23),(2,31),(2,35),(2,39),(2,47),(2,89),(2,93),(3,16),(3,19),(3,24),(3,34),(3,35),(3,41),(3,49),(3,90),(3,91),(4,15),(4,20),(4,24),(4,33),(4,36),(4,42),(4,50),(4,89),(4,92),(5,15),(5,19),(5,25),(5,31),(5,38),(5,43),(5,51),(5,87),(5,94),(6,16),(6,20),(6,25),(6,32),(6,37),(6,44),(6,52),(6,88),(6,93),(7,13),(7,22),(7,26),(7,33),(7,37),(7,45),(7,53),(7,87),(7,91),(8,14),(8,21),(8,26),(8,34),(8,38),(8,46),(8,54),(8,88),(8,92),(9,18),(9,29),(9,30),(9,43),(9,44),(9,45),(9,46),(9,89),(9,90),(10,18),(10,27),(10,28),(10,39),(10,40),(10,41),(10,42),(10,87),(10,88),(11,17),(11,28),(11,30),(11,49),(11,50),(11,53),(11,54),(11,93),(11,94),(12,17),(12,27),(12,29),(12,47),(12,48),(12,51),(12,52),(12,91),(12,92),(13,95),(13,101),(13,103),(13,109),(13,127),(14,96),(14,102),(14,104),(14,110),(14,127),(15,97),(15,99),(15,106),(15,108),(15,126),(16,98),(16,100),(16,105),(16,107),(16,126),(17,115),(17,116),(17,117),(17,118),(17,125),(18,111),(18,112),(18,113),(18,114),(18,125),(19,63),(19,68),(19,126),(19,132),(19,139),(20,64),(20,67),(20,126),(20,133),(20,138),(21,65),(21,69),(21,127),(21,134),(21,136),(22,66),(22,70),(22,127),(22,135),(22,137),(23,55),(23,59),(23,127),(23,129),(23,131),(24,56),(24,60),(24,126),(24,129),(24,130),(25,57),(25,61),(25,126),(25,128),(25,131),(26,58),(26,62),(26,127),(26,128),(26,130),(27,71),(27,72),(27,125),(27,132),(27,133),(28,73),(28,74),(28,125),(28,134),(28,135),(29,75),(29,76),(29,125),(29,136),(29,137),(30,77),(30,78),(30,125),(30,138),(30,139),(31,63),(31,69),(31,83),(31,95),(31,99),(31,131),(32,64),(32,70),(32,84),(32,96),(32,100),(32,131),(33,66),(33,67),(33,85),(33,97),(33,101),(33,130),(34,65),(34,68),(34,86),(34,98),(34,102),(34,130),(35,63),(35,65),(35,79),(35,103),(35,105),(35,129),(36,64),(36,66),(36,80),(36,104),(36,106),(36,129),(37,67),(37,70),(37,81),(37,107),(37,109),(37,128),(38,68),(38,69),(38,82),(38,108),(38,110),(38,128),(39,55),(39,71),(39,79),(39,95),(39,111),(39,134),(40,55),(40,72),(40,80),(40,96),(40,112),(40,135),(41,56),(41,73),(41,79),(41,98),(41,112),(41,132),(42,56),(42,74),(42,80),(42,97),(42,111),(42,133),(43,57),(43,75),(43,82),(43,99),(43,113),(43,139),(44,57),(44,76),(44,81),(44,100),(44,114),(44,138),(45,58),(45,77),(45,81),(45,101),(45,113),(45,137),(46,58),(46,78),(46,82),(46,102),(46,114),(46,136),(47,59),(47,71),(47,83),(47,103),(47,115),(47,136),(48,59),(48,72),(48,84),(48,104),(48,116),(48,137),(49,60),(49,73),(49,86),(49,105),(49,117),(49,139),(50,60),(50,74),(50,85),(50,106),(50,118),(50,138),(51,61),(51,75),(51,83),(51,108),(51,116),(51,132),(52,61),(52,76),(52,84),(52,107),(52,115),(52,133),(53,62),(53,77),(53,85),(53,109),(53,117),(53,135),(54,62),(54,78),(54,86),(54,110),(54,118),(54,134),(55,121),(55,144),(55,157),(56,122),(56,144),(56,156),(57,123),(57,145),(57,159),(58,124),(58,145),(58,158),(59,121),(59,146),(59,158),(60,122),(60,147),(60,159),(61,123),(61,146),(61,156),(62,124),(62,147),(62,157),(63,119),(63,148),(63,159),(64,120),(64,149),(64,159),(65,119),(65,150),(65,158),(66,120),(66,151),(66,158),(67,120),(67,154),(67,156),(68,119),(68,155),(68,156),(69,119),(69,152),(69,157),(70,120),(70,153),(70,157),(71,121),(71,148),(71,160),(72,121),(72,149),(72,161),(73,122),(73,150),(73,161),(74,122),(74,151),(74,160),(75,123),(75,152),(75,161),(76,123),(76,153),(76,160),(77,124),(77,154),(77,161),(78,124),(78,155),(78,160),(79,144),(79,148),(79,150),(80,144),(80,149),(80,151),(81,145),(81,153),(81,154),(82,145),(82,152),(82,155),(83,146),(83,148),(83,152),(84,146),(84,149),(84,153),(85,147),(85,151),(85,154),(86,147),(86,150),(86,155),(87,95),(87,97),(87,113),(87,128),(87,132),(87,135),(88,96),(88,98),(88,114),(88,128),(88,133),(88,134),(89,99),(89,101),(89,111),(89,129),(89,136),(89,138),(90,100),(90,102),(90,112),(90,129),(90,137),(90,139),(91,103),(91,107),(91,117),(91,130),(91,132),(91,137),(92,104),(92,108),(92,118),(92,130),(92,133),(92,136),(93,105),(93,109),(93,115),(93,131),(93,134),(93,138),(94,106),(94,110),(94,116),(94,131),(94,135),(94,139),(95,140),(95,148),(95,157),(96,141),(96,149),(96,157),(97,140),(97,151),(97,156),(98,141),(98,150),(98,156),(99,140),(99,152),(99,159),(100,141),(100,153),(100,159),(101,140),(101,154),(101,158),(102,141),(102,155),(102,158),(103,142),(103,148),(103,158),(104,143),(104,149),(104,158),(105,142),(105,150),(105,159),(106,143),(106,151),(106,159),(107,142),(107,153),(107,156),(108,143),(108,152),(108,156),(109,142),(109,154),(109,157),(110,143),(110,155),(110,157),(111,140),(111,144),(111,160),(112,141),(112,144),(112,161),(113,140),(113,145),(113,161),(114,141),(114,145),(114,160),(115,142),(115,146),(115,160),(116,143),(116,146),(116,161),(117,142),(117,147),(117,161),(118,143),(118,147),(118,160),(119,162),(120,162),(121,162),(122,162),(123,162),(124,162),(125,160),(125,161),(126,156),(126,159),(127,157),(127,158),(128,145),(128,156),(128,157),(129,144),(129,158),(129,159),(130,147),(130,156),(130,158),(131,146),(131,157),(131,159),(132,148),(132,156),(132,161),(133,149),(133,156),(133,160),(134,150),(134,157),(134,160),(135,151),(135,157),(135,161),(136,152),(136,158),(136,160),(137,153),(137,158),(137,161),(138,154),(138,159),(138,160),(139,155),(139,159),(139,161),(140,162),(141,162),(142,162),(143,162),(144,162),(145,162),(146,162),(147,162),(148,162),(149,162),(150,162),(151,162),(152,162),(153,162),(154,162),(155,162),(156,162),(157,162),(158,162),(159,162),(160,162),(161,162)],163)
=> ? = 8 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(0,13),(0,14),(0,15),(1,40),(1,41),(1,42),(1,43),(1,44),(1,45),(1,82),(1,83),(1,84),(1,85),(2,18),(2,19),(2,25),(2,30),(2,31),(2,37),(2,78),(2,79),(2,81),(2,83),(3,16),(3,17),(3,24),(3,28),(3,29),(3,36),(3,76),(3,77),(3,81),(3,82),(4,21),(4,23),(4,27),(4,33),(4,35),(4,39),(4,77),(4,79),(4,80),(4,85),(5,20),(5,22),(5,26),(5,32),(5,34),(5,38),(5,76),(5,78),(5,80),(5,84),(6,22),(6,23),(6,24),(6,46),(6,47),(6,54),(6,83),(6,86),(6,87),(6,91),(7,20),(7,21),(7,25),(7,48),(7,49),(7,55),(7,82),(7,88),(7,89),(7,91),(8,17),(8,19),(8,26),(8,50),(8,52),(8,56),(8,85),(8,86),(8,88),(8,90),(9,16),(9,18),(9,27),(9,51),(9,53),(9,57),(9,84),(9,87),(9,89),(9,90),(10,28),(10,32),(10,43),(10,48),(10,51),(10,59),(10,79),(10,86),(10,92),(10,94),(11,29),(11,33),(11,42),(11,49),(11,50),(11,60),(11,78),(11,87),(11,92),(11,95),(12,30),(12,34),(12,41),(12,46),(12,53),(12,60),(12,77),(12,88),(12,93),(12,94),(13,31),(13,35),(13,40),(13,47),(13,52),(13,59),(13,76),(13,89),(13,93),(13,95),(14,38),(14,39),(14,45),(14,56),(14,57),(14,58),(14,81),(14,91),(14,94),(14,95),(15,36),(15,37),(15,44),(15,54),(15,55),(15,58),(15,80),(15,90),(15,92),(15,93),(16,61),(16,107),(16,112),(16,126),(16,134),(16,170),(17,62),(17,106),(17,113),(17,127),(17,134),(17,171),(18,63),(18,109),(18,112),(18,129),(18,135),(18,172),(19,64),(19,108),(19,113),(19,128),(19,135),(19,173),(20,65),(20,104),(20,110),(20,132),(20,136),(20,170),(21,66),(21,105),(21,110),(21,133),(21,137),(21,171),(22,67),(22,102),(22,111),(22,130),(22,136),(22,172),(23,68),(23,103),(23,111),(23,131),(23,137),(23,173),(24,69),(24,102),(24,103),(24,126),(24,127),(24,175),(25,70),(25,104),(25,105),(25,128),(25,129),(25,175),(26,71),(26,106),(26,108),(26,130),(26,132),(26,174),(27,72),(27,107),(27,109),(27,131),(27,133),(27,174),(28,61),(28,96),(28,114),(28,127),(28,138),(28,169),(29,62),(29,97),(29,115),(29,126),(29,138),(29,168),(30,63),(30,98),(30,117),(30,128),(30,139),(30,169),(31,64),(31,99),(31,116),(31,129),(31,139),(31,168),(32,65),(32,96),(32,118),(32,130),(32,140),(32,167),(33,66),(33,97),(33,119),(33,131),(33,141),(33,167),(34,67),(34,98),(34,120),(34,132),(34,140),(34,166),(35,68),(35,99),(35,121),(35,133),(35,141),(35,166),(36,69),(36,100),(36,122),(36,134),(36,138),(36,166),(37,70),(37,100),(37,123),(37,135),(37,139),(37,167),(38,71),(38,101),(38,124),(38,136),(38,140),(38,168),(39,72),(39,101),(39,125),(39,137),(39,141),(39,169),(40,73),(40,116),(40,121),(40,142),(40,144),(40,170),(41,74),(41,117),(41,120),(41,142),(41,145),(41,171),(42,74),(42,115),(42,119),(42,143),(42,144),(42,172),(43,73),(43,114),(43,118),(43,143),(43,145),(43,173),(44,75),(44,122),(44,123),(44,142),(44,143),(44,174),(45,75),(45,124),(45,125),(45,144),(45,145),(45,175),(46,67),(46,103),(46,117),(46,148),(46,152),(46,178),(47,68),(47,102),(47,116),(47,149),(47,152),(47,179),(48,65),(48,105),(48,114),(48,146),(48,153),(48,178),(49,66),(49,104),(49,115),(49,147),(49,153),(49,179),(50,62),(50,108),(50,119),(50,147),(50,154),(50,176),(51,61),(51,109),(51,118),(51,146),(51,155),(51,176),(52,64),(52,106),(52,121),(52,149),(52,154),(52,177),(53,63),(53,107),(53,120),(53,148),(53,155),(53,177),(54,69),(54,111),(54,123),(54,150),(54,152),(54,176),(55,70),(55,110),(55,122),(55,150),(55,153),(55,177),(56,71),(56,113),(56,125),(56,151),(56,154),(56,178),(57,72),(57,112),(57,124),(57,151),(57,155),(57,179),(58,75),(58,100),(58,101),(58,150),(58,151),(58,180),(59,73),(59,96),(59,99),(59,146),(59,149),(59,180),(60,74),(60,97),(60,98),(60,147),(60,148),(60,180),(61,181),(61,189),(61,190),(62,181),(62,188),(62,191),(63,182),(63,189),(63,192),(64,182),(64,188),(64,193),(65,183),(65,187),(65,190),(66,184),(66,187),(66,191),(67,183),(67,186),(67,192),(68,184),(68,186),(68,193),(69,181),(69,186),(69,194),(70,182),(70,187),(70,194),(71,183),(71,188),(71,195),(72,184),(72,189),(72,195),(73,185),(73,190),(73,193),(74,185),(74,191),(74,192),(75,185),(75,194),(75,195),(76,96),(76,102),(76,106),(76,166),(76,168),(76,170),(77,97),(77,103),(77,107),(77,166),(77,169),(77,171),(78,98),(78,104),(78,108),(78,167),(78,168),(78,172),(79,99),(79,105),(79,109),(79,167),(79,169),(79,173),(80,101),(80,110),(80,111),(80,166),(80,167),(80,174),(81,100),(81,112),(81,113),(81,168),(81,169),(81,175),(82,114),(82,115),(82,122),(82,170),(82,171),(82,175),(83,116),(83,117),(83,123),(83,172),(83,173),(83,175),(84,118),(84,120),(84,124),(84,170),(84,172),(84,174),(85,119),(85,121),(85,125),(85,171),(85,173),(85,174),(86,127),(86,130),(86,149),(86,173),(86,176),(86,178),(87,126),(87,131),(87,148),(87,172),(87,176),(87,179),(88,128),(88,132),(88,147),(88,171),(88,177),(88,178),(89,129),(89,133),(89,146),(89,170),(89,177),(89,179),(90,134),(90,135),(90,151),(90,174),(90,176),(90,177),(91,136),(91,137),(91,150),(91,175),(91,178),(91,179),(92,138),(92,143),(92,153),(92,167),(92,176),(92,180),(93,139),(93,142),(93,152),(93,166),(93,177),(93,180),(94,140),(94,145),(94,155),(94,169),(94,178),(94,180),(95,141),(95,144),(95,154),(95,168),(95,179),(95,180),(96,156),(96,190),(96,197),(97,157),(97,191),(97,197),(98,158),(98,192),(98,197),(99,159),(99,193),(99,197),(100,160),(100,194),(100,197),(101,161),(101,195),(101,197),(102,156),(102,186),(102,200),(103,157),(103,186),(103,201),(104,158),(104,187),(104,200),(105,159),(105,187),(105,201),(106,156),(106,188),(106,198),(107,157),(107,189),(107,198),(108,158),(108,188),(108,199),(109,159),(109,189),(109,199),(110,161),(110,187),(110,198),(111,161),(111,186),(111,199),(112,160),(112,189),(112,200),(113,160),(113,188),(113,201),(114,162),(114,190),(114,201),(115,162),(115,191),(115,200),(116,163),(116,193),(116,200),(117,163),(117,192),(117,201),(118,164),(118,190),(118,199),(119,165),(119,191),(119,199),(120,164),(120,192),(120,198),(121,165),(121,193),(121,198),(122,162),(122,194),(122,198),(123,163),(123,194),(123,199),(124,164),(124,195),(124,200),(125,165),(125,195),(125,201),(126,157),(126,181),(126,200),(127,156),(127,181),(127,201),(128,158),(128,182),(128,201),(129,159),(129,182),(129,200),(130,156),(130,183),(130,199),(131,157),(131,184),(131,199),(132,158),(132,183),(132,198),(133,159),(133,184),(133,198),(134,160),(134,181),(134,198),(135,160),(135,182),(135,199),(136,161),(136,183),(136,200),(137,161),(137,184),(137,201),(138,162),(138,181),(138,197),(139,163),(139,182),(139,197),(140,164),(140,183),(140,197),(141,165),(141,184),(141,197),(142,163),(142,185),(142,198),(143,162),(143,185),(143,199),(144,165),(144,185),(144,200),(145,164),(145,185),(145,201),(146,159),(146,190),(146,196),(147,158),(147,191),(147,196),(148,157),(148,192),(148,196),(149,156),(149,193),(149,196),(150,161),(150,194),(150,196),(151,160),(151,195),(151,196),(152,163),(152,186),(152,196),(153,162),(153,187),(153,196),(154,165),(154,188),(154,196),(155,164),(155,189),(155,196),(156,202),(157,202),(158,202),(159,202),(160,202),(161,202),(162,202),(163,202),(164,202),(165,202),(166,186),(166,197),(166,198),(167,187),(167,197),(167,199),(168,188),(168,197),(168,200),(169,189),(169,197),(169,201),(170,190),(170,198),(170,200),(171,191),(171,198),(171,201),(172,192),(172,199),(172,200),(173,193),(173,199),(173,201),(174,195),(174,198),(174,199),(175,194),(175,200),(175,201),(176,181),(176,196),(176,199),(177,182),(177,196),(177,198),(178,183),(178,196),(178,201),(179,184),(179,196),(179,200),(180,185),(180,196),(180,197),(181,202),(182,202),(183,202),(184,202),(185,202),(186,202),(187,202),(188,202),(189,202),(190,202),(191,202),(192,202),(193,202),(194,202),(195,202),(196,202),(197,202),(198,202),(199,202),(200,202),(201,202)],203)
=> ? = 10 - 2
([],7)
=> ([],1)
=> ? = 0 - 2
([(5,6)],7)
=> ([(0,1)],2)
=> ? = 2 - 2
([(2,6),(3,6),(4,6),(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)
=> ? = 4 - 2
([(3,6),(4,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 4 - 2
([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 2 = 4 - 2
([(0,1),(2,6),(3,6),(4,6),(5,6)],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)
=> ? = 6 - 2
([(3,5),(3,6),(4,5),(4,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),(6,11),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 4 - 2
([(1,6),(2,6),(3,5),(4,5),(5,6)],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)
=> ? = 6 - 2
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 6 - 2
([(1,6),(2,5),(3,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)
=> ? = 6 - 2
([(2,3),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 6 - 2
([(1,2),(3,5),(3,6),(4,5),(4,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,10),(1,11),(1,15),(2,7),(2,8),(2,11),(2,14),(3,6),(3,8),(3,10),(3,13),(4,6),(4,7),(4,9),(4,12),(5,12),(5,13),(5,14),(5,15),(6,18),(6,22),(7,16),(7,22),(8,17),(8,22),(9,19),(9,22),(10,20),(10,22),(11,21),(11,22),(12,16),(12,18),(12,19),(13,17),(13,18),(13,20),(14,16),(14,17),(14,21),(15,19),(15,20),(15,21),(16,23),(17,23),(18,23),(19,23),(20,23),(21,23),(22,23)],24)
=> ? = 6 - 2
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 6 - 2
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
=> ? = 8 - 2
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(43,57),(44,57),(45,57),(46,57),(47,57),(48,57),(49,57),(50,57),(51,57),(52,57),(53,57),(54,57),(55,57),(56,57)],58)
=> ? = 8 - 2
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,14),(1,15),(1,20),(1,21),(1,30),(1,33),(1,38),(1,39),(2,11),(2,13),(2,17),(2,19),(2,29),(2,32),(2,37),(2,39),(3,10),(3,12),(3,16),(3,18),(3,28),(3,31),(3,37),(3,38),(4,12),(4,13),(4,22),(4,23),(4,30),(4,36),(4,41),(4,42),(5,10),(5,14),(5,24),(5,26),(5,29),(5,34),(5,40),(5,41),(6,11),(6,15),(6,25),(6,27),(6,28),(6,35),(6,40),(6,42),(7,18),(7,19),(7,24),(7,25),(7,33),(7,36),(7,44),(7,45),(8,16),(8,20),(8,23),(8,27),(8,32),(8,34),(8,43),(8,44),(9,17),(9,21),(9,22),(9,26),(9,31),(9,35),(9,43),(9,45),(10,64),(10,72),(10,90),(10,104),(10,106),(11,65),(11,73),(11,91),(11,105),(11,107),(12,66),(12,70),(12,88),(12,103),(12,106),(13,67),(13,71),(13,89),(13,103),(13,107),(14,69),(14,74),(14,93),(14,104),(14,108),(15,68),(15,75),(15,92),(15,105),(15,108),(16,52),(16,78),(16,88),(16,104),(16,109),(17,53),(17,79),(17,89),(17,105),(17,110),(18,54),(18,76),(18,90),(18,103),(18,109),(19,55),(19,77),(19,91),(19,103),(19,110),(20,57),(20,80),(20,92),(20,104),(20,111),(21,56),(21,81),(21,93),(21,105),(21,111),(22,58),(22,82),(22,89),(22,106),(22,111),(23,59),(23,83),(23,88),(23,107),(23,111),(24,60),(24,86),(24,90),(24,108),(24,110),(25,61),(25,87),(25,91),(25,108),(25,109),(26,62),(26,84),(26,93),(26,106),(26,110),(27,63),(27,85),(27,92),(27,107),(27,109),(28,49),(28,65),(28,68),(28,70),(28,72),(28,109),(29,50),(29,64),(29,69),(29,71),(29,73),(29,110),(30,51),(30,66),(30,67),(30,74),(30,75),(30,111),(31,49),(31,53),(31,56),(31,76),(31,78),(31,106),(32,50),(32,52),(32,57),(32,77),(32,79),(32,107),(33,51),(33,54),(33,55),(33,80),(33,81),(33,108),(34,50),(34,59),(34,63),(34,84),(34,86),(34,104),(35,49),(35,58),(35,62),(35,85),(35,87),(35,105),(36,51),(36,60),(36,61),(36,82),(36,83),(36,103),(37,48),(37,52),(37,53),(37,64),(37,65),(37,103),(38,48),(38,54),(38,56),(38,66),(38,68),(38,104),(39,48),(39,55),(39,57),(39,67),(39,69),(39,105),(40,47),(40,62),(40,63),(40,72),(40,73),(40,108),(41,47),(41,59),(41,60),(41,71),(41,74),(41,106),(42,47),(42,58),(42,61),(42,70),(42,75),(42,107),(43,46),(43,78),(43,79),(43,84),(43,85),(43,111),(44,46),(44,77),(44,80),(44,83),(44,86),(44,109),(45,46),(45,76),(45,81),(45,82),(45,87),(45,110),(46,118),(46,119),(46,120),(47,115),(47,116),(47,117),(48,112),(48,113),(48,114),(49,114),(49,115),(49,118),(50,113),(50,116),(50,119),(51,112),(51,117),(51,120),(52,97),(52,113),(52,122),(53,97),(53,114),(53,121),(54,98),(54,112),(54,125),(55,99),(55,112),(55,126),(56,98),(56,114),(56,123),(57,99),(57,113),(57,124),(58,101),(58,115),(58,124),(59,100),(59,116),(59,123),(60,100),(60,117),(60,121),(61,101),(61,117),(61,122),(62,102),(62,115),(62,126),(63,102),(63,116),(63,125),(64,94),(64,113),(64,121),(65,94),(65,114),(65,122),(66,95),(66,112),(66,123),(67,96),(67,112),(67,124),(68,95),(68,114),(68,125),(69,96),(69,113),(69,126),(70,95),(70,115),(70,122),(71,96),(71,116),(71,121),(72,94),(72,115),(72,125),(73,94),(73,116),(73,126),(74,96),(74,117),(74,123),(75,95),(75,117),(75,124),(76,98),(76,118),(76,121),(77,99),(77,119),(77,122),(78,97),(78,118),(78,123),(79,97),(79,119),(79,124),(80,99),(80,120),(80,125),(81,98),(81,120),(81,126),(82,101),(82,120),(82,121),(83,100),(83,120),(83,122),(84,102),(84,119),(84,123),(85,102),(85,118),(85,124),(86,100),(86,119),(86,125),(87,101),(87,118),(87,126),(88,122),(88,123),(89,121),(89,124),(90,121),(90,125),(91,122),(91,126),(92,124),(92,125),(93,123),(93,126),(94,127),(95,127),(96,127),(97,127),(98,127),(99,127),(100,127),(101,127),(102,127),(103,112),(103,121),(103,122),(104,113),(104,123),(104,125),(105,114),(105,124),(105,126),(106,115),(106,121),(106,123),(107,116),(107,122),(107,124),(108,117),(108,125),(108,126),(109,118),(109,122),(109,125),(110,119),(110,121),(110,126),(111,120),(111,123),(111,124),(112,127),(113,127),(114,127),(115,127),(116,127),(117,127),(118,127),(119,127),(120,127),(121,127),(122,127),(123,127),(124,127),(125,127),(126,127)],128)
=> ? = 6 - 2
([(0,3),(1,2),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 8 - 2
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!