searching the database
Your data matches 3 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: St000264
Values
([(0,1),(0,2),(0,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 3
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,3),(3,1),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 3
([(0,3),(1,3),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 3
([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 3
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(1,2),(1,3),(1,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,2),(1,3),(2,3)],4)
=> 3
([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 3
([(1,2),(1,3),(2,4),(3,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> 4
([(0,3),(0,4),(3,2),(4,1)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 3
([(1,4),(4,2),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(1,4),(2,4),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(1,4),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(1,4),(2,4),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 3
([(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> 4
([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 3
([(0,2),(0,4),(3,1),(4,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,4),(1,2),(1,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> 5
([(0,3),(0,4),(1,2),(1,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6)
=> 3
([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> 5
([(0,3),(1,2),(1,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(2,3),(2,4),(2,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,3),(2,4),(3,4)],5)
=> 3
([(1,2),(1,3),(1,4),(1,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 3
([(0,1),(0,2),(0,3),(0,4),(0,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 3
([(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
=> 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)
=> ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)
=> ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> 5
([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,3),(0,4),(0,5),(4,2),(5,1)],6)
=> ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 3
([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(2,3),(2,4),(3,5),(4,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> 4
([(1,4),(1,5),(4,3),(5,2)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> 4
([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7)
=> 3
([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 3
([(0,4),(0,5),(4,3),(5,1),(5,2)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> 4
Description
The girth of a graph, which is not a tree.
This is the length of the shortest cycle in the graph.
Matching statistic: St001651
Values
([(0,1),(0,2),(0,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(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 - 3
([(0,3),(3,1),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,3),(1,3),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(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 - 3
([(1,2),(1,3),(1,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(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 = 3 - 3
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(1,2),(1,3),(2,4),(3,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(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 - 3
([(0,3),(0,4),(3,2),(4,1)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(1,4),(4,2),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(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 = 3 - 3
([(1,4),(2,4),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,4),(1,4),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(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 = 3 - 3
([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(0,4),(1,4),(2,4),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(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 = 3 - 3
([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(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 = 3 - 3
([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(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 - 3
([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,2),(0,4),(3,1),(4,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,4),(1,2),(1,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(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,26),(17,26),(18,26),(19,26),(20,26),(21,26),(22,26),(23,26),(24,26),(25,26)],27)
=> ? = 5 - 3
([(0,3),(0,4),(1,2),(1,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(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,26),(17,26),(18,26),(19,26),(20,26),(21,26),(22,26),(23,26),(24,26),(25,26)],27)
=> ? = 5 - 3
([(0,3),(1,2),(1,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(2,3),(2,4),(2,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(1,2),(1,3),(1,4),(1,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(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 = 3 - 3
([(0,1),(0,2),(0,3),(0,4),(0,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(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),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)
=> ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,10),(1,12),(1,13),(1,14),(1,60),(1,61),(2,16),(2,22),(2,26),(2,28),(2,32),(2,36),(2,61),(3,15),(3,21),(3,26),(3,27),(3,31),(3,35),(3,60),(4,17),(4,23),(4,25),(4,29),(4,33),(4,35),(4,61),(5,18),(5,24),(5,25),(5,30),(5,34),(5,36),(5,60),(6,11),(6,12),(6,21),(6,22),(6,23),(6,24),(6,62),(7,14),(7,20),(7,31),(7,32),(7,33),(7,34),(7,62),(8,13),(8,19),(8,27),(8,28),(8,29),(8,30),(8,62),(9,10),(9,11),(9,15),(9,16),(9,17),(9,18),(9,19),(9,20),(10,45),(10,58),(10,59),(10,75),(10,76),(11,45),(11,70),(11,88),(11,89),(12,45),(12,63),(12,64),(12,65),(13,58),(13,65),(13,71),(13,72),(14,59),(14,65),(14,73),(14,74),(15,37),(15,46),(15,50),(15,75),(15,88),(16,38),(16,47),(16,51),(16,76),(16,88),(17,37),(17,48),(17,52),(17,76),(17,89),(18,38),(18,49),(18,53),(18,75),(18,89),(19,46),(19,47),(19,48),(19,49),(19,58),(19,70),(20,50),(20,51),(20,52),(20,53),(20,59),(20,70),(21,43),(21,63),(21,66),(21,88),(22,44),(22,64),(22,67),(22,88),(23,43),(23,64),(23,68),(23,89),(24,44),(24,63),(24,69),(24,89),(25,40),(25,42),(25,89),(25,90),(26,39),(26,41),(26,88),(26,90),(27,39),(27,46),(27,54),(27,66),(27,71),(28,39),(28,47),(28,55),(28,67),(28,72),(29,40),(29,48),(29,54),(29,68),(29,72),(30,40),(30,49),(30,55),(30,69),(30,71),(31,41),(31,50),(31,56),(31,66),(31,73),(32,41),(32,51),(32,57),(32,67),(32,74),(33,42),(33,52),(33,56),(33,68),(33,74),(34,42),(34,53),(34,57),(34,69),(34,73),(35,37),(35,43),(35,54),(35,56),(35,90),(36,38),(36,44),(36,55),(36,57),(36,90),(37,77),(37,79),(37,97),(38,78),(38,80),(38,97),(39,93),(39,95),(40,93),(40,96),(41,94),(41,95),(42,94),(42,96),(43,81),(43,97),(44,82),(44,97),(45,87),(45,97),(46,77),(46,83),(46,95),(47,78),(47,84),(47,95),(48,77),(48,84),(48,96),(49,78),(49,83),(49,96),(50,79),(50,85),(50,95),(51,80),(51,86),(51,95),(52,79),(52,86),(52,96),(53,80),(53,85),(53,96),(54,77),(54,81),(54,93),(55,78),(55,82),(55,93),(56,79),(56,81),(56,94),(57,80),(57,82),(57,94),(58,83),(58,84),(58,87),(59,85),(59,86),(59,87),(60,63),(60,71),(60,73),(60,75),(60,90),(61,64),(61,72),(61,74),(61,76),(61,90),(62,65),(62,66),(62,67),(62,68),(62,69),(62,70),(63,91),(63,97),(64,92),(64,97),(65,87),(65,91),(65,92),(66,81),(66,91),(66,95),(67,82),(67,92),(67,95),(68,81),(68,92),(68,96),(69,82),(69,91),(69,96),(70,87),(70,95),(70,96),(71,83),(71,91),(71,93),(72,84),(72,92),(72,93),(73,85),(73,91),(73,94),(74,86),(74,92),(74,94),(75,83),(75,85),(75,97),(76,84),(76,86),(76,97),(77,98),(78,98),(79,98),(80,98),(81,98),(82,98),(83,98),(84,98),(85,98),(86,98),(87,98),(88,95),(88,97),(89,96),(89,97),(90,93),(90,94),(90,97),(91,98),(92,98),(93,98),(94,98),(95,98),(96,98),(97,98)],99)
=> ? = 4 - 3
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)
=> ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(1,13),(1,22),(1,25),(1,26),(1,52),(2,10),(2,11),(2,22),(2,23),(2,24),(2,51),(3,16),(3,17),(3,24),(3,29),(3,30),(3,52),(4,14),(4,15),(4,23),(4,27),(4,28),(4,52),(5,20),(5,21),(5,26),(5,28),(5,30),(5,51),(6,18),(6,19),(6,25),(6,27),(6,29),(6,51),(7,9),(7,11),(7,13),(7,15),(7,17),(7,19),(7,21),(8,9),(8,10),(8,12),(8,14),(8,16),(8,18),(8,20),(9,31),(9,32),(9,33),(9,34),(9,75),(10,35),(10,37),(10,59),(10,75),(11,36),(11,38),(11,60),(11,75),(12,39),(12,41),(12,61),(12,75),(13,40),(13,42),(13,62),(13,75),(14,31),(14,35),(14,43),(14,45),(14,61),(15,31),(15,36),(15,44),(15,46),(15,62),(16,32),(16,37),(16,47),(16,49),(16,61),(17,32),(17,38),(17,48),(17,50),(17,62),(18,33),(18,39),(18,43),(18,47),(18,59),(19,33),(19,40),(19,44),(19,48),(19,60),(20,34),(20,41),(20,45),(20,49),(20,59),(21,34),(21,42),(21,46),(21,50),(21,60),(22,53),(22,54),(22,75),(23,35),(23,36),(23,53),(23,55),(24,37),(24,38),(24,53),(24,56),(25,39),(25,40),(25,54),(25,57),(26,41),(26,42),(26,54),(26,58),(27,43),(27,44),(27,55),(27,57),(28,45),(28,46),(28,55),(28,58),(29,47),(29,48),(29,56),(29,57),(30,49),(30,50),(30,56),(30,58),(31,63),(31,64),(31,77),(32,65),(32,66),(32,77),(33,63),(33,65),(33,78),(34,64),(34,66),(34,78),(35,67),(35,77),(36,68),(36,77),(37,69),(37,77),(38,70),(38,77),(39,71),(39,78),(40,72),(40,78),(41,73),(41,78),(42,74),(42,78),(43,63),(43,67),(43,71),(44,63),(44,68),(44,72),(45,64),(45,67),(45,73),(46,64),(46,68),(46,74),(47,65),(47,69),(47,71),(48,65),(48,70),(48,72),(49,66),(49,69),(49,73),(50,66),(50,70),(50,74),(51,54),(51,55),(51,56),(51,59),(51,60),(52,53),(52,57),(52,58),(52,61),(52,62),(53,76),(53,77),(54,76),(54,78),(55,67),(55,68),(55,76),(56,69),(56,70),(56,76),(57,71),(57,72),(57,76),(58,73),(58,74),(58,76),(59,67),(59,69),(59,78),(60,68),(60,70),(60,78),(61,71),(61,73),(61,77),(62,72),(62,74),(62,77),(63,79),(64,79),(65,79),(66,79),(67,79),(68,79),(69,79),(70,79),(71,79),(72,79),(73,79),(74,79),(75,77),(75,78),(76,79),(77,79),(78,79)],80)
=> ? = 4 - 3
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(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),(1,11),(1,18),(1,21),(1,24),(1,27),(1,29),(1,30),(2,10),(2,17),(2,20),(2,23),(2,26),(2,28),(2,30),(3,9),(3,16),(3,19),(3,22),(3,25),(3,28),(3,29),(4,13),(4,15),(4,19),(4,20),(4,21),(4,60),(5,13),(5,14),(5,16),(5,17),(5,18),(5,59),(6,12),(6,14),(6,22),(6,23),(6,24),(6,60),(7,12),(7,15),(7,25),(7,26),(7,27),(7,59),(8,9),(8,10),(8,11),(8,59),(8,60),(9,32),(9,33),(9,68),(9,71),(10,32),(10,34),(10,69),(10,72),(11,33),(11,34),(11,70),(11,73),(12,56),(12,57),(12,58),(12,80),(13,53),(13,54),(13,55),(13,80),(14,35),(14,36),(14,37),(14,80),(15,38),(15,39),(15,40),(15,80),(16,35),(16,41),(16,42),(16,53),(16,68),(17,36),(17,41),(17,43),(17,54),(17,69),(18,37),(18,42),(18,43),(18,55),(18,70),(19,38),(19,44),(19,45),(19,53),(19,71),(20,39),(20,44),(20,46),(20,54),(20,72),(21,40),(21,45),(21,46),(21,55),(21,73),(22,35),(22,47),(22,48),(22,56),(22,71),(23,36),(23,47),(23,49),(23,57),(23,72),(24,37),(24,48),(24,49),(24,58),(24,73),(25,38),(25,50),(25,51),(25,56),(25,68),(26,39),(26,50),(26,52),(26,57),(26,69),(27,40),(27,51),(27,52),(27,58),(27,70),(28,31),(28,32),(28,41),(28,44),(28,47),(28,50),(29,31),(29,33),(29,42),(29,45),(29,48),(29,51),(30,31),(30,34),(30,43),(30,46),(30,49),(30,52),(31,67),(31,84),(31,85),(32,67),(32,76),(32,79),(33,67),(33,74),(33,77),(34,67),(34,75),(34,78),(35,81),(35,84),(36,82),(36,84),(37,83),(37,84),(38,81),(38,85),(39,82),(39,85),(40,83),(40,85),(41,63),(41,76),(41,84),(42,61),(42,74),(42,84),(43,62),(43,75),(43,84),(44,63),(44,79),(44,85),(45,61),(45,77),(45,85),(46,62),(46,78),(46,85),(47,66),(47,79),(47,84),(48,64),(48,77),(48,84),(49,65),(49,78),(49,84),(50,66),(50,76),(50,85),(51,64),(51,74),(51,85),(52,65),(52,75),(52,85),(53,61),(53,63),(53,81),(54,62),(54,63),(54,82),(55,61),(55,62),(55,83),(56,64),(56,66),(56,81),(57,65),(57,66),(57,82),(58,64),(58,65),(58,83),(59,68),(59,69),(59,70),(59,80),(60,71),(60,72),(60,73),(60,80),(61,86),(62,86),(63,86),(64,86),(65,86),(66,86),(67,86),(68,74),(68,76),(68,81),(69,75),(69,76),(69,82),(70,74),(70,75),(70,83),(71,77),(71,79),(71,81),(72,78),(72,79),(72,82),(73,77),(73,78),(73,83),(74,86),(75,86),(76,86),(77,86),(78,86),(79,86),(80,81),(80,82),(80,83),(81,86),(82,86),(83,86),(84,86),(85,86)],87)
=> ? = 5 - 3
([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,18),(1,21),(1,24),(1,27),(1,32),(1,33),(2,11),(2,14),(2,17),(2,20),(2,23),(2,26),(2,31),(2,33),(3,10),(3,13),(3,16),(3,19),(3,22),(3,25),(3,31),(3,32),(4,10),(4,11),(4,12),(4,30),(4,60),(4,61),(5,16),(5,17),(5,18),(5,29),(5,59),(5,61),(6,13),(6,14),(6,15),(6,29),(6,58),(6,60),(7,22),(7,23),(7,24),(7,28),(7,58),(7,61),(8,19),(8,20),(8,21),(8,28),(8,59),(8,60),(9,25),(9,26),(9,27),(9,30),(9,58),(9,59),(10,34),(10,68),(10,71),(10,86),(11,35),(11,69),(11,72),(11,86),(12,36),(12,70),(12,73),(12,86),(13,40),(13,41),(13,52),(13,68),(13,74),(14,40),(14,42),(14,53),(14,69),(14,75),(15,41),(15,42),(15,54),(15,70),(15,76),(16,43),(16,44),(16,52),(16,71),(16,77),(17,43),(17,45),(17,53),(17,72),(17,78),(18,44),(18,45),(18,54),(18,73),(18,79),(19,49),(19,50),(19,55),(19,68),(19,77),(20,49),(20,51),(20,56),(20,69),(20,78),(21,50),(21,51),(21,57),(21,70),(21,79),(22,46),(22,47),(22,55),(22,71),(22,74),(23,46),(23,48),(23,56),(23,72),(23,75),(24,47),(24,48),(24,57),(24,73),(24,76),(25,34),(25,37),(25,38),(25,74),(25,77),(26,35),(26,37),(26,39),(26,75),(26,78),(27,36),(27,38),(27,39),(27,76),(27,79),(28,55),(28,56),(28,57),(28,87),(29,52),(29,53),(29,54),(29,87),(30,34),(30,35),(30,36),(30,87),(31,37),(31,40),(31,43),(31,46),(31,49),(31,86),(32,38),(32,41),(32,44),(32,47),(32,50),(32,86),(33,39),(33,42),(33,45),(33,48),(33,51),(33,86),(34,88),(34,89),(35,88),(35,90),(36,88),(36,91),(37,82),(37,85),(37,88),(38,80),(38,83),(38,88),(39,81),(39,84),(39,88),(40,64),(40,82),(40,92),(41,62),(41,80),(41,92),(42,63),(42,81),(42,92),(43,64),(43,85),(43,93),(44,62),(44,83),(44,93),(45,63),(45,84),(45,93),(46,67),(46,82),(46,93),(47,65),(47,80),(47,93),(48,66),(48,81),(48,93),(49,67),(49,85),(49,92),(50,65),(50,83),(50,92),(51,66),(51,84),(51,92),(52,62),(52,64),(52,89),(53,63),(53,64),(53,90),(54,62),(54,63),(54,91),(55,65),(55,67),(55,89),(56,66),(56,67),(56,90),(57,65),(57,66),(57,91),(58,74),(58,75),(58,76),(58,87),(59,77),(59,78),(59,79),(59,87),(60,68),(60,69),(60,70),(60,87),(61,71),(61,72),(61,73),(61,87),(62,94),(63,94),(64,94),(65,94),(66,94),(67,94),(68,89),(68,92),(69,90),(69,92),(70,91),(70,92),(71,89),(71,93),(72,90),(72,93),(73,91),(73,93),(74,80),(74,82),(74,89),(75,81),(75,82),(75,90),(76,80),(76,81),(76,91),(77,83),(77,85),(77,89),(78,84),(78,85),(78,90),(79,83),(79,84),(79,91),(80,94),(81,94),(82,94),(83,94),(84,94),(85,94),(86,88),(86,92),(86,93),(87,89),(87,90),(87,91),(88,94),(89,94),(90,94),(91,94),(92,94),(93,94)],95)
=> ? = 4 - 3
([(0,3),(0,4),(0,5),(4,2),(5,1)],6)
=> ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,15),(1,22),(1,24),(1,32),(1,34),(1,37),(1,38),(1,69),(2,14),(2,22),(2,23),(2,31),(2,33),(2,35),(2,36),(2,68),(3,19),(3,21),(3,26),(3,28),(3,36),(3,38),(3,40),(3,71),(4,18),(4,20),(4,25),(4,27),(4,35),(4,37),(4,39),(4,71),(5,11),(5,29),(5,30),(5,33),(5,34),(5,39),(5,40),(5,70),(6,11),(6,12),(6,13),(6,14),(6,15),(6,41),(6,71),(7,12),(7,17),(7,18),(7,19),(7,31),(7,69),(7,70),(8,13),(8,16),(8,20),(8,21),(8,32),(8,68),(8,70),(9,16),(9,23),(9,25),(9,26),(9,29),(9,41),(9,69),(10,17),(10,24),(10,27),(10,28),(10,30),(10,41),(10,68),(11,76),(11,81),(11,88),(11,97),(12,48),(12,76),(12,79),(12,100),(13,49),(13,76),(13,80),(13,99),(14,48),(14,77),(14,97),(14,99),(15,49),(15,78),(15,97),(15,100),(16,50),(16,51),(16,99),(16,102),(17,52),(17,53),(17,100),(17,101),(18,52),(18,54),(18,79),(18,82),(18,86),(19,53),(19,55),(19,79),(19,83),(19,87),(20,50),(20,56),(20,80),(20,82),(20,84),(21,51),(21,57),(21,80),(21,83),(21,85),(22,42),(22,43),(22,89),(22,90),(22,97),(23,62),(23,63),(23,66),(23,89),(23,99),(24,64),(24,65),(24,67),(24,90),(24,100),(25,50),(25,58),(25,62),(25,86),(25,103),(26,51),(26,59),(26,63),(26,87),(26,103),(27,52),(27,60),(27,64),(27,84),(27,103),(28,53),(28,61),(28,65),(28,85),(28,103),(29,58),(29,59),(29,66),(29,88),(29,102),(30,60),(30,61),(30,67),(30,88),(30,101),(31,48),(31,54),(31,55),(31,89),(31,101),(32,49),(32,56),(32,57),(32,90),(32,102),(33,44),(33,45),(33,66),(33,97),(33,101),(34,46),(34,47),(34,67),(34,97),(34,102),(35,42),(35,44),(35,54),(35,62),(35,77),(35,84),(36,43),(36,45),(36,55),(36,63),(36,77),(36,85),(37,42),(37,46),(37,56),(37,64),(37,78),(37,86),(38,43),(38,47),(38,57),(38,65),(38,78),(38,87),(39,44),(39,46),(39,58),(39,60),(39,81),(39,82),(40,45),(40,47),(40,59),(40,61),(40,81),(40,83),(41,88),(41,99),(41,100),(41,103),(42,91),(42,93),(42,111),(43,92),(43,94),(43,111),(44,72),(44,105),(44,111),(45,73),(45,106),(45,111),(46,74),(46,107),(46,111),(47,75),(47,108),(47,111),(48,95),(48,112),(49,96),(49,112),(50,107),(50,109),(51,108),(51,109),(52,105),(52,110),(53,106),(53,110),(54,91),(54,95),(54,105),(55,92),(55,95),(55,106),(56,93),(56,96),(56,107),(57,94),(57,96),(57,108),(58,72),(58,104),(58,107),(59,73),(59,104),(59,108),(60,74),(60,104),(60,105),(61,75),(61,104),(61,106),(62,72),(62,91),(62,109),(63,73),(63,92),(63,109),(64,74),(64,93),(64,110),(65,75),(65,94),(65,110),(66,72),(66,73),(66,112),(67,74),(67,75),(67,112),(68,84),(68,85),(68,90),(68,99),(68,101),(69,86),(69,87),(69,89),(69,100),(69,102),(70,76),(70,82),(70,83),(70,101),(70,102),(71,77),(71,78),(71,79),(71,80),(71,81),(71,103),(72,113),(73,113),(74,113),(75,113),(76,98),(76,112),(77,95),(77,109),(77,111),(78,96),(78,110),(78,111),(79,95),(79,98),(79,110),(80,96),(80,98),(80,109),(81,98),(81,104),(81,111),(82,98),(82,105),(82,107),(83,98),(83,106),(83,108),(84,93),(84,105),(84,109),(85,94),(85,106),(85,109),(86,91),(86,107),(86,110),(87,92),(87,108),(87,110),(88,104),(88,112),(89,91),(89,92),(89,112),(90,93),(90,94),(90,112),(91,113),(92,113),(93,113),(94,113),(95,113),(96,113),(97,111),(97,112),(98,113),(99,109),(99,112),(100,110),(100,112),(101,105),(101,106),(101,112),(102,107),(102,108),(102,112),(103,104),(103,109),(103,110),(104,113),(105,113),(106,113),(107,113),(108,113),(109,113),(110,113),(111,113),(112,113)],114)
=> ? = 3 - 3
([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(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),(1,15),(1,16),(1,17),(1,18),(1,54),(1,55),(2,10),(2,13),(2,14),(2,20),(2,55),(2,57),(3,10),(3,11),(3,12),(3,19),(3,54),(3,56),(4,12),(4,16),(4,23),(4,24),(4,26),(4,30),(4,57),(5,11),(5,15),(5,21),(5,22),(5,25),(5,29),(5,57),(6,14),(6,18),(6,22),(6,24),(6,28),(6,32),(6,56),(7,13),(7,17),(7,21),(7,23),(7,27),(7,31),(7,56),(8,19),(8,27),(8,28),(8,29),(8,30),(8,33),(8,55),(9,20),(9,25),(9,26),(9,31),(9,32),(9,33),(9,54),(10,58),(10,59),(10,78),(11,42),(11,58),(11,60),(11,64),(12,43),(12,58),(12,61),(12,65),(13,44),(13,59),(13,62),(13,66),(14,45),(14,59),(14,63),(14,67),(15,38),(15,39),(15,60),(15,80),(16,40),(16,41),(16,61),(16,80),(17,38),(17,40),(17,62),(17,79),(18,39),(18,41),(18,63),(18,79),(19,42),(19,43),(19,68),(19,78),(20,44),(20,45),(20,69),(20,78),(21,38),(21,46),(21,50),(21,64),(21,66),(22,39),(22,47),(22,51),(22,64),(22,67),(23,40),(23,48),(23,52),(23,65),(23,66),(24,41),(24,49),(24,53),(24,65),(24,67),(25,34),(25,50),(25,51),(25,60),(25,69),(26,35),(26,52),(26,53),(26,61),(26,69),(27,36),(27,46),(27,48),(27,62),(27,68),(28,37),(28,47),(28,49),(28,63),(28,68),(29,34),(29,42),(29,46),(29,47),(29,80),(30,35),(30,43),(30,48),(30,49),(30,80),(31,36),(31,44),(31,50),(31,52),(31,79),(32,37),(32,45),(32,51),(32,53),(32,79),(33,34),(33,35),(33,36),(33,37),(33,78),(34,70),(34,71),(34,86),(35,72),(35,73),(35,86),(36,70),(36,72),(36,87),(37,71),(37,73),(37,87),(38,82),(38,84),(39,82),(39,85),(40,83),(40,84),(41,83),(41,85),(42,74),(42,86),(43,75),(43,86),(44,76),(44,87),(45,77),(45,87),(46,70),(46,74),(46,84),(47,71),(47,74),(47,85),(48,72),(48,75),(48,84),(49,73),(49,75),(49,85),(50,70),(50,76),(50,82),(51,71),(51,77),(51,82),(52,72),(52,76),(52,83),(53,73),(53,77),(53,83),(54,60),(54,61),(54,78),(54,79),(55,62),(55,63),(55,78),(55,80),(56,59),(56,64),(56,65),(56,68),(56,79),(57,58),(57,66),(57,67),(57,69),(57,80),(58,81),(58,86),(59,81),(59,87),(60,82),(60,86),(61,83),(61,86),(62,84),(62,87),(63,85),(63,87),(64,74),(64,81),(64,82),(65,75),(65,81),(65,83),(66,76),(66,81),(66,84),(67,77),(67,81),(67,85),(68,74),(68,75),(68,87),(69,76),(69,77),(69,86),(70,88),(71,88),(72,88),(73,88),(74,88),(75,88),(76,88),(77,88),(78,86),(78,87),(79,82),(79,83),(79,87),(80,84),(80,85),(80,86),(81,88),(82,88),(83,88),(84,88),(85,88),(86,88),(87,88)],89)
=> ? = 3 - 3
([(2,3),(2,4),(3,5),(4,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> ([(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 - 3
([(1,4),(1,5),(4,3),(5,2)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(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),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(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),(1,15),(1,16),(1,17),(1,18),(1,54),(1,55),(2,10),(2,13),(2,14),(2,20),(2,55),(2,57),(3,10),(3,11),(3,12),(3,19),(3,54),(3,56),(4,12),(4,16),(4,23),(4,24),(4,26),(4,30),(4,57),(5,11),(5,15),(5,21),(5,22),(5,25),(5,29),(5,57),(6,14),(6,18),(6,22),(6,24),(6,28),(6,32),(6,56),(7,13),(7,17),(7,21),(7,23),(7,27),(7,31),(7,56),(8,19),(8,27),(8,28),(8,29),(8,30),(8,33),(8,55),(9,20),(9,25),(9,26),(9,31),(9,32),(9,33),(9,54),(10,58),(10,59),(10,78),(11,42),(11,58),(11,60),(11,64),(12,43),(12,58),(12,61),(12,65),(13,44),(13,59),(13,62),(13,66),(14,45),(14,59),(14,63),(14,67),(15,38),(15,39),(15,60),(15,80),(16,40),(16,41),(16,61),(16,80),(17,38),(17,40),(17,62),(17,79),(18,39),(18,41),(18,63),(18,79),(19,42),(19,43),(19,68),(19,78),(20,44),(20,45),(20,69),(20,78),(21,38),(21,46),(21,50),(21,64),(21,66),(22,39),(22,47),(22,51),(22,64),(22,67),(23,40),(23,48),(23,52),(23,65),(23,66),(24,41),(24,49),(24,53),(24,65),(24,67),(25,34),(25,50),(25,51),(25,60),(25,69),(26,35),(26,52),(26,53),(26,61),(26,69),(27,36),(27,46),(27,48),(27,62),(27,68),(28,37),(28,47),(28,49),(28,63),(28,68),(29,34),(29,42),(29,46),(29,47),(29,80),(30,35),(30,43),(30,48),(30,49),(30,80),(31,36),(31,44),(31,50),(31,52),(31,79),(32,37),(32,45),(32,51),(32,53),(32,79),(33,34),(33,35),(33,36),(33,37),(33,78),(34,70),(34,71),(34,86),(35,72),(35,73),(35,86),(36,70),(36,72),(36,87),(37,71),(37,73),(37,87),(38,82),(38,84),(39,82),(39,85),(40,83),(40,84),(41,83),(41,85),(42,74),(42,86),(43,75),(43,86),(44,76),(44,87),(45,77),(45,87),(46,70),(46,74),(46,84),(47,71),(47,74),(47,85),(48,72),(48,75),(48,84),(49,73),(49,75),(49,85),(50,70),(50,76),(50,82),(51,71),(51,77),(51,82),(52,72),(52,76),(52,83),(53,73),(53,77),(53,83),(54,60),(54,61),(54,78),(54,79),(55,62),(55,63),(55,78),(55,80),(56,59),(56,64),(56,65),(56,68),(56,79),(57,58),(57,66),(57,67),(57,69),(57,80),(58,81),(58,86),(59,81),(59,87),(60,82),(60,86),(61,83),(61,86),(62,84),(62,87),(63,85),(63,87),(64,74),(64,81),(64,82),(65,75),(65,81),(65,83),(66,76),(66,81),(66,84),(67,77),(67,81),(67,85),(68,74),(68,75),(68,87),(69,76),(69,77),(69,86),(70,88),(71,88),(72,88),(73,88),(74,88),(75,88),(76,88),(77,88),(78,86),(78,87),(79,82),(79,83),(79,87),(80,84),(80,85),(80,86),(81,88),(82,88),(83,88),(84,88),(85,88),(86,88),(87,88)],89)
=> ? = 3 - 3
([(0,4),(0,5),(4,3),(5,1),(5,2)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,18),(1,21),(1,24),(1,27),(1,32),(1,33),(2,11),(2,14),(2,17),(2,20),(2,23),(2,26),(2,31),(2,33),(3,10),(3,13),(3,16),(3,19),(3,22),(3,25),(3,31),(3,32),(4,10),(4,11),(4,12),(4,30),(4,60),(4,61),(5,16),(5,17),(5,18),(5,29),(5,59),(5,61),(6,13),(6,14),(6,15),(6,29),(6,58),(6,60),(7,22),(7,23),(7,24),(7,28),(7,58),(7,61),(8,19),(8,20),(8,21),(8,28),(8,59),(8,60),(9,25),(9,26),(9,27),(9,30),(9,58),(9,59),(10,34),(10,68),(10,71),(10,86),(11,35),(11,69),(11,72),(11,86),(12,36),(12,70),(12,73),(12,86),(13,40),(13,41),(13,52),(13,68),(13,74),(14,40),(14,42),(14,53),(14,69),(14,75),(15,41),(15,42),(15,54),(15,70),(15,76),(16,43),(16,44),(16,52),(16,71),(16,77),(17,43),(17,45),(17,53),(17,72),(17,78),(18,44),(18,45),(18,54),(18,73),(18,79),(19,49),(19,50),(19,55),(19,68),(19,77),(20,49),(20,51),(20,56),(20,69),(20,78),(21,50),(21,51),(21,57),(21,70),(21,79),(22,46),(22,47),(22,55),(22,71),(22,74),(23,46),(23,48),(23,56),(23,72),(23,75),(24,47),(24,48),(24,57),(24,73),(24,76),(25,34),(25,37),(25,38),(25,74),(25,77),(26,35),(26,37),(26,39),(26,75),(26,78),(27,36),(27,38),(27,39),(27,76),(27,79),(28,55),(28,56),(28,57),(28,87),(29,52),(29,53),(29,54),(29,87),(30,34),(30,35),(30,36),(30,87),(31,37),(31,40),(31,43),(31,46),(31,49),(31,86),(32,38),(32,41),(32,44),(32,47),(32,50),(32,86),(33,39),(33,42),(33,45),(33,48),(33,51),(33,86),(34,88),(34,89),(35,88),(35,90),(36,88),(36,91),(37,82),(37,85),(37,88),(38,80),(38,83),(38,88),(39,81),(39,84),(39,88),(40,64),(40,82),(40,92),(41,62),(41,80),(41,92),(42,63),(42,81),(42,92),(43,64),(43,85),(43,93),(44,62),(44,83),(44,93),(45,63),(45,84),(45,93),(46,67),(46,82),(46,93),(47,65),(47,80),(47,93),(48,66),(48,81),(48,93),(49,67),(49,85),(49,92),(50,65),(50,83),(50,92),(51,66),(51,84),(51,92),(52,62),(52,64),(52,89),(53,63),(53,64),(53,90),(54,62),(54,63),(54,91),(55,65),(55,67),(55,89),(56,66),(56,67),(56,90),(57,65),(57,66),(57,91),(58,74),(58,75),(58,76),(58,87),(59,77),(59,78),(59,79),(59,87),(60,68),(60,69),(60,70),(60,87),(61,71),(61,72),(61,73),(61,87),(62,94),(63,94),(64,94),(65,94),(66,94),(67,94),(68,89),(68,92),(69,90),(69,92),(70,91),(70,92),(71,89),(71,93),(72,90),(72,93),(73,91),(73,93),(74,80),(74,82),(74,89),(75,81),(75,82),(75,90),(76,80),(76,81),(76,91),(77,83),(77,85),(77,89),(78,84),(78,85),(78,90),(79,83),(79,84),(79,91),(80,94),(81,94),(82,94),(83,94),(84,94),(85,94),(86,88),(86,92),(86,93),(87,89),(87,90),(87,91),(88,94),(89,94),(90,94),(91,94),(92,94),(93,94)],95)
=> ? = 4 - 3
([(2,3),(3,4),(3,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(1,5),(5,2),(5,3),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(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 = 3 - 3
([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(2,5),(3,5),(5,4)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(1,5),(2,5),(5,3),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(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 = 3 - 3
([(0,5),(1,5),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 3 - 3
([(1,5),(2,5),(3,5),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(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 = 3 - 3
([(0,5),(1,5),(2,5),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(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 = 3 - 3
([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(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 = 3 - 3
([(0,5),(1,5),(2,5),(3,4)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(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 = 3 - 3
([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,25),(2,13),(2,14),(2,15),(2,25),(3,10),(3,11),(3,12),(3,25),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,21),(7,24),(7,29),(8,19),(8,22),(8,29),(9,20),(9,23),(9,29),(10,26),(10,29),(11,27),(11,29),(12,28),(12,29),(13,19),(13,21),(13,26),(14,20),(14,21),(14,27),(15,19),(15,20),(15,28),(16,22),(16,24),(16,26),(17,23),(17,24),(17,27),(18,22),(18,23),(18,28),(19,30),(20,30),(21,30),(22,30),(23,30),(24,30),(25,26),(25,27),(25,28),(26,30),(27,30),(28,30),(29,30)],31)
=> ? = 4 - 3
([(0,5),(1,4),(2,4),(2,5),(5,3)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,18),(1,21),(1,24),(1,27),(1,32),(1,33),(2,11),(2,14),(2,17),(2,20),(2,23),(2,26),(2,31),(2,33),(3,10),(3,13),(3,16),(3,19),(3,22),(3,25),(3,31),(3,32),(4,10),(4,11),(4,12),(4,30),(4,60),(4,61),(5,16),(5,17),(5,18),(5,29),(5,59),(5,61),(6,13),(6,14),(6,15),(6,29),(6,58),(6,60),(7,22),(7,23),(7,24),(7,28),(7,58),(7,61),(8,19),(8,20),(8,21),(8,28),(8,59),(8,60),(9,25),(9,26),(9,27),(9,30),(9,58),(9,59),(10,34),(10,68),(10,71),(10,86),(11,35),(11,69),(11,72),(11,86),(12,36),(12,70),(12,73),(12,86),(13,40),(13,41),(13,52),(13,68),(13,74),(14,40),(14,42),(14,53),(14,69),(14,75),(15,41),(15,42),(15,54),(15,70),(15,76),(16,43),(16,44),(16,52),(16,71),(16,77),(17,43),(17,45),(17,53),(17,72),(17,78),(18,44),(18,45),(18,54),(18,73),(18,79),(19,49),(19,50),(19,55),(19,68),(19,77),(20,49),(20,51),(20,56),(20,69),(20,78),(21,50),(21,51),(21,57),(21,70),(21,79),(22,46),(22,47),(22,55),(22,71),(22,74),(23,46),(23,48),(23,56),(23,72),(23,75),(24,47),(24,48),(24,57),(24,73),(24,76),(25,34),(25,37),(25,38),(25,74),(25,77),(26,35),(26,37),(26,39),(26,75),(26,78),(27,36),(27,38),(27,39),(27,76),(27,79),(28,55),(28,56),(28,57),(28,87),(29,52),(29,53),(29,54),(29,87),(30,34),(30,35),(30,36),(30,87),(31,37),(31,40),(31,43),(31,46),(31,49),(31,86),(32,38),(32,41),(32,44),(32,47),(32,50),(32,86),(33,39),(33,42),(33,45),(33,48),(33,51),(33,86),(34,88),(34,89),(35,88),(35,90),(36,88),(36,91),(37,82),(37,85),(37,88),(38,80),(38,83),(38,88),(39,81),(39,84),(39,88),(40,64),(40,82),(40,92),(41,62),(41,80),(41,92),(42,63),(42,81),(42,92),(43,64),(43,85),(43,93),(44,62),(44,83),(44,93),(45,63),(45,84),(45,93),(46,67),(46,82),(46,93),(47,65),(47,80),(47,93),(48,66),(48,81),(48,93),(49,67),(49,85),(49,92),(50,65),(50,83),(50,92),(51,66),(51,84),(51,92),(52,62),(52,64),(52,89),(53,63),(53,64),(53,90),(54,62),(54,63),(54,91),(55,65),(55,67),(55,89),(56,66),(56,67),(56,90),(57,65),(57,66),(57,91),(58,74),(58,75),(58,76),(58,87),(59,77),(59,78),(59,79),(59,87),(60,68),(60,69),(60,70),(60,87),(61,71),(61,72),(61,73),(61,87),(62,94),(63,94),(64,94),(65,94),(66,94),(67,94),(68,89),(68,92),(69,90),(69,92),(70,91),(70,92),(71,89),(71,93),(72,90),(72,93),(73,91),(73,93),(74,80),(74,82),(74,89),(75,81),(75,82),(75,90),(76,80),(76,81),(76,91),(77,83),(77,85),(77,89),(78,84),(78,85),(78,90),(79,83),(79,84),(79,91),(80,94),(81,94),(82,94),(83,94),(84,94),(85,94),(86,88),(86,92),(86,93),(87,89),(87,90),(87,91),(88,94),(89,94),(90,94),(91,94),(92,94),(93,94)],95)
=> ? = 4 - 3
([(0,5),(1,4),(1,5),(2,4),(2,5),(4,3)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,18),(1,21),(1,24),(1,27),(1,32),(1,33),(2,11),(2,14),(2,17),(2,20),(2,23),(2,26),(2,31),(2,33),(3,10),(3,13),(3,16),(3,19),(3,22),(3,25),(3,31),(3,32),(4,10),(4,11),(4,12),(4,30),(4,60),(4,61),(5,16),(5,17),(5,18),(5,29),(5,59),(5,61),(6,13),(6,14),(6,15),(6,29),(6,58),(6,60),(7,22),(7,23),(7,24),(7,28),(7,58),(7,61),(8,19),(8,20),(8,21),(8,28),(8,59),(8,60),(9,25),(9,26),(9,27),(9,30),(9,58),(9,59),(10,34),(10,68),(10,71),(10,86),(11,35),(11,69),(11,72),(11,86),(12,36),(12,70),(12,73),(12,86),(13,40),(13,41),(13,52),(13,68),(13,74),(14,40),(14,42),(14,53),(14,69),(14,75),(15,41),(15,42),(15,54),(15,70),(15,76),(16,43),(16,44),(16,52),(16,71),(16,77),(17,43),(17,45),(17,53),(17,72),(17,78),(18,44),(18,45),(18,54),(18,73),(18,79),(19,49),(19,50),(19,55),(19,68),(19,77),(20,49),(20,51),(20,56),(20,69),(20,78),(21,50),(21,51),(21,57),(21,70),(21,79),(22,46),(22,47),(22,55),(22,71),(22,74),(23,46),(23,48),(23,56),(23,72),(23,75),(24,47),(24,48),(24,57),(24,73),(24,76),(25,34),(25,37),(25,38),(25,74),(25,77),(26,35),(26,37),(26,39),(26,75),(26,78),(27,36),(27,38),(27,39),(27,76),(27,79),(28,55),(28,56),(28,57),(28,87),(29,52),(29,53),(29,54),(29,87),(30,34),(30,35),(30,36),(30,87),(31,37),(31,40),(31,43),(31,46),(31,49),(31,86),(32,38),(32,41),(32,44),(32,47),(32,50),(32,86),(33,39),(33,42),(33,45),(33,48),(33,51),(33,86),(34,88),(34,89),(35,88),(35,90),(36,88),(36,91),(37,82),(37,85),(37,88),(38,80),(38,83),(38,88),(39,81),(39,84),(39,88),(40,64),(40,82),(40,92),(41,62),(41,80),(41,92),(42,63),(42,81),(42,92),(43,64),(43,85),(43,93),(44,62),(44,83),(44,93),(45,63),(45,84),(45,93),(46,67),(46,82),(46,93),(47,65),(47,80),(47,93),(48,66),(48,81),(48,93),(49,67),(49,85),(49,92),(50,65),(50,83),(50,92),(51,66),(51,84),(51,92),(52,62),(52,64),(52,89),(53,63),(53,64),(53,90),(54,62),(54,63),(54,91),(55,65),(55,67),(55,89),(56,66),(56,67),(56,90),(57,65),(57,66),(57,91),(58,74),(58,75),(58,76),(58,87),(59,77),(59,78),(59,79),(59,87),(60,68),(60,69),(60,70),(60,87),(61,71),(61,72),(61,73),(61,87),(62,94),(63,94),(64,94),(65,94),(66,94),(67,94),(68,89),(68,92),(69,90),(69,92),(70,91),(70,92),(71,89),(71,93),(72,90),(72,93),(73,91),(73,93),(74,80),(74,82),(74,89),(75,81),(75,82),(75,90),(76,80),(76,81),(76,91),(77,83),(77,85),(77,89),(78,84),(78,85),(78,90),(79,83),(79,84),(79,91),(80,94),(81,94),(82,94),(83,94),(84,94),(85,94),(86,88),(86,92),(86,93),(87,89),(87,90),(87,91),(88,94),(89,94),(90,94),(91,94),(92,94),(93,94)],95)
=> ? = 4 - 3
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(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),(1,9),(1,11),(1,15),(1,20),(1,21),(2,9),(2,10),(2,14),(2,18),(2,19),(3,8),(3,13),(3,17),(3,19),(3,21),(4,8),(4,12),(4,16),(4,18),(4,20),(5,7),(5,14),(5,15),(5,16),(5,17),(6,7),(6,10),(6,11),(6,12),(6,13),(7,31),(7,32),(8,30),(8,32),(9,30),(9,31),(10,22),(10,23),(10,31),(11,24),(11,25),(11,31),(12,22),(12,24),(12,32),(13,23),(13,25),(13,32),(14,26),(14,27),(14,31),(15,28),(15,29),(15,31),(16,26),(16,28),(16,32),(17,27),(17,29),(17,32),(18,22),(18,26),(18,30),(19,23),(19,27),(19,30),(20,24),(20,28),(20,30),(21,25),(21,29),(21,30),(22,33),(23,33),(24,33),(25,33),(26,33),(27,33),(28,33),(29,33),(30,33),(31,33),(32,33)],34)
=> ? = 3 - 3
([(0,5),(1,5),(2,3),(5,4)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(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 = 3 - 3
([(0,5),(1,5),(2,3),(2,5),(3,4)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,4),(1,4),(2,3),(2,5),(4,5)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,5),(1,2),(1,4),(3,5),(4,3)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
=> ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,15),(1,16),(1,32),(1,33),(1,34),(1,35),(1,36),(1,37),(2,22),(2,27),(2,31),(2,35),(2,39),(2,41),(2,43),(2,77),(3,21),(3,26),(3,30),(3,34),(3,38),(3,41),(3,42),(3,76),(4,19),(4,24),(4,28),(4,30),(4,36),(4,39),(4,40),(4,79),(5,20),(5,25),(5,29),(5,31),(5,37),(5,38),(5,40),(5,78),(6,12),(6,15),(6,17),(6,21),(6,23),(6,24),(6,43),(6,78),(7,13),(7,16),(7,18),(7,22),(7,23),(7,25),(7,42),(7,79),(8,12),(8,13),(8,14),(8,28),(8,29),(8,76),(8,77),(9,11),(9,18),(9,19),(9,26),(9,32),(9,77),(9,78),(10,11),(10,17),(10,20),(10,27),(10,33),(10,76),(10,79),(11,65),(11,99),(11,100),(11,107),(12,45),(12,89),(12,109),(12,113),(13,46),(13,90),(13,108),(13,113),(14,57),(14,58),(14,85),(14,86),(14,113),(15,69),(15,74),(15,98),(15,111),(15,113),(16,68),(16,75),(16,97),(16,112),(16,113),(17,71),(17,74),(17,89),(17,96),(17,99),(18,70),(18,75),(18,90),(18,95),(18,100),(19,66),(19,72),(19,91),(19,94),(19,100),(20,67),(20,73),(20,92),(20,93),(20,99),(21,54),(21,59),(21,87),(21,89),(21,111),(22,55),(22,60),(22,88),(22,90),(22,112),(23,59),(23,60),(23,95),(23,96),(23,113),(24,45),(24,62),(24,91),(24,96),(24,111),(25,46),(25,61),(25,92),(25,95),(25,112),(26,49),(26,66),(26,70),(26,87),(26,107),(27,50),(27,67),(27,71),(27,88),(27,107),(28,44),(28,45),(28,57),(28,94),(28,108),(29,44),(29,46),(29,58),(29,93),(29,109),(30,47),(30,52),(30,66),(30,108),(30,111),(31,48),(31,53),(31,67),(31,109),(31,112),(32,49),(32,65),(32,72),(32,75),(32,86),(32,98),(33,50),(33,65),(33,73),(33,74),(33,85),(33,97),(34,49),(34,56),(34,63),(34,68),(34,85),(34,111),(35,50),(35,56),(35,64),(35,69),(35,86),(35,112),(36,51),(36,57),(36,64),(36,72),(36,97),(36,111),(37,51),(37,58),(37,63),(37,73),(37,98),(37,112),(38,47),(38,53),(38,61),(38,63),(38,87),(38,93),(39,48),(39,52),(39,62),(39,64),(39,88),(39,94),(40,44),(40,47),(40,48),(40,51),(40,91),(40,92),(41,52),(41,53),(41,54),(41,55),(41,56),(41,107),(42,55),(42,59),(42,61),(42,68),(42,70),(42,108),(43,54),(43,60),(43,62),(43,69),(43,71),(43,109),(44,82),(44,117),(44,118),(45,118),(45,123),(46,117),(46,124),(47,81),(47,117),(47,119),(48,81),(48,118),(48,120),(49,83),(49,116),(49,119),(50,84),(50,116),(50,120),(51,82),(51,119),(51,120),(52,81),(52,114),(52,122),(53,81),(53,115),(53,121),(54,80),(54,114),(54,121),(55,80),(55,115),(55,122),(56,114),(56,115),(56,116),(57,82),(57,104),(57,123),(58,82),(58,103),(58,124),(59,80),(59,101),(59,123),(60,80),(60,102),(60,124),(61,101),(61,115),(61,117),(62,102),(62,114),(62,118),(63,103),(63,115),(63,119),(64,104),(64,114),(64,120),(65,105),(65,106),(65,116),(66,119),(66,122),(67,120),(67,121),(68,83),(68,115),(68,123),(69,84),(69,114),(69,124),(70,83),(70,101),(70,122),(71,84),(71,102),(71,121),(72,104),(72,106),(72,119),(73,103),(73,105),(73,120),(74,84),(74,105),(74,123),(75,83),(75,106),(75,124),(76,85),(76,89),(76,93),(76,107),(76,108),(77,86),(77,90),(77,94),(77,107),(77,109),(78,87),(78,91),(78,95),(78,98),(78,99),(78,109),(79,88),(79,92),(79,96),(79,97),(79,100),(79,108),(80,125),(81,125),(82,125),(83,125),(84,125),(85,103),(85,116),(85,123),(86,104),(86,116),(86,124),(87,101),(87,119),(87,121),(88,102),(88,120),(88,122),(89,121),(89,123),(90,122),(90,124),(91,110),(91,118),(91,119),(92,110),(92,117),(92,120),(93,103),(93,117),(93,121),(94,104),(94,118),(94,122),(95,101),(95,110),(95,124),(96,102),(96,110),(96,123),(97,106),(97,120),(97,123),(98,105),(98,119),(98,124),(99,105),(99,110),(99,121),(100,106),(100,110),(100,122),(101,125),(102,125),(103,125),(104,125),(105,125),(106,125),(107,116),(107,121),(107,122),(108,117),(108,122),(108,123),(109,118),(109,121),(109,124),(110,125),(111,114),(111,119),(111,123),(112,115),(112,120),(112,124),(113,123),(113,124),(114,125),(115,125),(116,125),(117,125),(118,125),(119,125),(120,125),(121,125),(122,125),(123,125),(124,125)],126)
=> ? = 3 - 3
([(0,3),(0,4),(1,5),(2,5),(4,1),(4,2)],6)
=> ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,10),(1,12),(1,13),(1,14),(1,60),(1,61),(2,16),(2,22),(2,26),(2,28),(2,32),(2,36),(2,61),(3,15),(3,21),(3,26),(3,27),(3,31),(3,35),(3,60),(4,17),(4,23),(4,25),(4,29),(4,33),(4,35),(4,61),(5,18),(5,24),(5,25),(5,30),(5,34),(5,36),(5,60),(6,11),(6,12),(6,21),(6,22),(6,23),(6,24),(6,62),(7,14),(7,20),(7,31),(7,32),(7,33),(7,34),(7,62),(8,13),(8,19),(8,27),(8,28),(8,29),(8,30),(8,62),(9,10),(9,11),(9,15),(9,16),(9,17),(9,18),(9,19),(9,20),(10,45),(10,58),(10,59),(10,75),(10,76),(11,45),(11,70),(11,88),(11,89),(12,45),(12,63),(12,64),(12,65),(13,58),(13,65),(13,71),(13,72),(14,59),(14,65),(14,73),(14,74),(15,37),(15,46),(15,50),(15,75),(15,88),(16,38),(16,47),(16,51),(16,76),(16,88),(17,37),(17,48),(17,52),(17,76),(17,89),(18,38),(18,49),(18,53),(18,75),(18,89),(19,46),(19,47),(19,48),(19,49),(19,58),(19,70),(20,50),(20,51),(20,52),(20,53),(20,59),(20,70),(21,43),(21,63),(21,66),(21,88),(22,44),(22,64),(22,67),(22,88),(23,43),(23,64),(23,68),(23,89),(24,44),(24,63),(24,69),(24,89),(25,40),(25,42),(25,89),(25,90),(26,39),(26,41),(26,88),(26,90),(27,39),(27,46),(27,54),(27,66),(27,71),(28,39),(28,47),(28,55),(28,67),(28,72),(29,40),(29,48),(29,54),(29,68),(29,72),(30,40),(30,49),(30,55),(30,69),(30,71),(31,41),(31,50),(31,56),(31,66),(31,73),(32,41),(32,51),(32,57),(32,67),(32,74),(33,42),(33,52),(33,56),(33,68),(33,74),(34,42),(34,53),(34,57),(34,69),(34,73),(35,37),(35,43),(35,54),(35,56),(35,90),(36,38),(36,44),(36,55),(36,57),(36,90),(37,77),(37,79),(37,97),(38,78),(38,80),(38,97),(39,93),(39,95),(40,93),(40,96),(41,94),(41,95),(42,94),(42,96),(43,81),(43,97),(44,82),(44,97),(45,87),(45,97),(46,77),(46,83),(46,95),(47,78),(47,84),(47,95),(48,77),(48,84),(48,96),(49,78),(49,83),(49,96),(50,79),(50,85),(50,95),(51,80),(51,86),(51,95),(52,79),(52,86),(52,96),(53,80),(53,85),(53,96),(54,77),(54,81),(54,93),(55,78),(55,82),(55,93),(56,79),(56,81),(56,94),(57,80),(57,82),(57,94),(58,83),(58,84),(58,87),(59,85),(59,86),(59,87),(60,63),(60,71),(60,73),(60,75),(60,90),(61,64),(61,72),(61,74),(61,76),(61,90),(62,65),(62,66),(62,67),(62,68),(62,69),(62,70),(63,91),(63,97),(64,92),(64,97),(65,87),(65,91),(65,92),(66,81),(66,91),(66,95),(67,82),(67,92),(67,95),(68,81),(68,92),(68,96),(69,82),(69,91),(69,96),(70,87),(70,95),(70,96),(71,83),(71,91),(71,93),(72,84),(72,92),(72,93),(73,85),(73,91),(73,94),(74,86),(74,92),(74,94),(75,83),(75,85),(75,97),(76,84),(76,86),(76,97),(77,98),(78,98),(79,98),(80,98),(81,98),(82,98),(83,98),(84,98),(85,98),(86,98),(87,98),(88,95),(88,97),(89,96),(89,97),(90,93),(90,94),(90,97),(91,98),(92,98),(93,98),(94,98),(95,98),(96,98),(97,98)],99)
=> ? = 4 - 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6)
=> ([(0,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)
=> ? = 4 - 3
([(0,5),(1,5),(2,3),(2,4),(4,5)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,5),(1,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,17),(1,18),(1,21),(1,22),(1,30),(1,32),(1,35),(1,36),(2,15),(2,16),(2,19),(2,20),(2,30),(2,31),(2,33),(2,34),(3,26),(3,27),(3,28),(3,29),(3,31),(3,32),(3,68),(4,12),(4,23),(4,25),(4,29),(4,34),(4,36),(4,70),(5,11),(5,23),(5,24),(5,28),(5,33),(5,35),(5,69),(6,10),(6,14),(6,19),(6,21),(6,24),(6,27),(6,70),(7,10),(7,13),(7,20),(7,22),(7,25),(7,26),(7,69),(8,11),(8,13),(8,15),(8,17),(8,68),(8,70),(9,12),(9,14),(9,16),(9,18),(9,68),(9,69),(10,39),(10,77),(10,78),(10,92),(11,62),(11,64),(11,79),(11,93),(12,63),(12,65),(12,80),(12,94),(13,58),(13,60),(13,78),(13,93),(14,59),(14,61),(14,77),(14,94),(15,58),(15,62),(15,66),(15,82),(15,85),(16,59),(16,63),(16,67),(16,81),(16,85),(17,60),(17,64),(17,66),(17,84),(17,86),(18,61),(18,65),(18,67),(18,83),(18,86),(19,49),(19,52),(19,59),(19,82),(19,92),(20,48),(20,53),(20,58),(20,81),(20,92),(21,51),(21,54),(21,61),(21,84),(21,92),(22,50),(22,55),(22,60),(22,83),(22,92),(23,37),(23,40),(23,41),(23,79),(23,80),(24,52),(24,54),(24,56),(24,77),(24,79),(25,53),(25,55),(25,57),(25,78),(25,80),(26,39),(26,48),(26,50),(26,57),(26,93),(27,39),(27,49),(27,51),(27,56),(27,94),(28,37),(28,44),(28,46),(28,56),(28,93),(29,37),(29,45),(29,47),(29,57),(29,94),(30,38),(30,42),(30,43),(30,66),(30,67),(30,92),(31,38),(31,44),(31,45),(31,48),(31,49),(31,85),(32,38),(32,46),(32,47),(32,50),(32,51),(32,86),(33,40),(33,42),(33,44),(33,52),(33,62),(33,81),(34,40),(34,43),(34,45),(34,53),(34,63),(34,82),(35,41),(35,42),(35,46),(35,54),(35,64),(35,83),(36,41),(36,43),(36,47),(36,55),(36,65),(36,84),(37,100),(37,103),(38,87),(38,95),(38,100),(39,95),(39,103),(40,88),(40,89),(40,100),(41,90),(41,91),(41,100),(42,75),(42,100),(42,101),(43,76),(43,100),(43,102),(44,71),(44,96),(44,100),(45,72),(45,97),(45,100),(46,73),(46,98),(46,100),(47,74),(47,99),(47,100),(48,72),(48,95),(48,96),(49,71),(49,95),(49,97),(50,74),(50,95),(50,98),(51,73),(51,95),(51,99),(52,71),(52,88),(52,101),(53,72),(53,89),(53,102),(54,73),(54,90),(54,101),(55,74),(55,91),(55,102),(56,71),(56,73),(56,103),(57,72),(57,74),(57,103),(58,96),(58,102),(59,97),(59,101),(60,98),(60,102),(61,99),(61,101),(62,75),(62,88),(62,96),(63,76),(63,89),(63,97),(64,75),(64,90),(64,98),(65,76),(65,91),(65,99),(66,75),(66,87),(66,102),(67,76),(67,87),(67,101),(68,85),(68,86),(68,93),(68,94),(69,77),(69,80),(69,81),(69,83),(69,93),(70,78),(70,79),(70,82),(70,84),(70,94),(71,104),(72,104),(73,104),(74,104),(75,104),(76,104),(77,101),(77,103),(78,102),(78,103),(79,88),(79,90),(79,103),(80,89),(80,91),(80,103),(81,89),(81,96),(81,101),(82,88),(82,97),(82,102),(83,91),(83,98),(83,101),(84,90),(84,99),(84,102),(85,87),(85,96),(85,97),(86,87),(86,98),(86,99),(87,104),(88,104),(89,104),(90,104),(91,104),(92,95),(92,101),(92,102),(93,96),(93,98),(93,103),(94,97),(94,99),(94,103),(95,104),(96,104),(97,104),(98,104),(99,104),(100,104),(101,104),(102,104),(103,104)],105)
=> ? = 3 - 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(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),(1,11),(1,18),(1,21),(1,24),(1,27),(1,29),(1,30),(2,10),(2,17),(2,20),(2,23),(2,26),(2,28),(2,30),(3,9),(3,16),(3,19),(3,22),(3,25),(3,28),(3,29),(4,13),(4,15),(4,19),(4,20),(4,21),(4,60),(5,13),(5,14),(5,16),(5,17),(5,18),(5,59),(6,12),(6,14),(6,22),(6,23),(6,24),(6,60),(7,12),(7,15),(7,25),(7,26),(7,27),(7,59),(8,9),(8,10),(8,11),(8,59),(8,60),(9,32),(9,33),(9,68),(9,71),(10,32),(10,34),(10,69),(10,72),(11,33),(11,34),(11,70),(11,73),(12,56),(12,57),(12,58),(12,80),(13,53),(13,54),(13,55),(13,80),(14,35),(14,36),(14,37),(14,80),(15,38),(15,39),(15,40),(15,80),(16,35),(16,41),(16,42),(16,53),(16,68),(17,36),(17,41),(17,43),(17,54),(17,69),(18,37),(18,42),(18,43),(18,55),(18,70),(19,38),(19,44),(19,45),(19,53),(19,71),(20,39),(20,44),(20,46),(20,54),(20,72),(21,40),(21,45),(21,46),(21,55),(21,73),(22,35),(22,47),(22,48),(22,56),(22,71),(23,36),(23,47),(23,49),(23,57),(23,72),(24,37),(24,48),(24,49),(24,58),(24,73),(25,38),(25,50),(25,51),(25,56),(25,68),(26,39),(26,50),(26,52),(26,57),(26,69),(27,40),(27,51),(27,52),(27,58),(27,70),(28,31),(28,32),(28,41),(28,44),(28,47),(28,50),(29,31),(29,33),(29,42),(29,45),(29,48),(29,51),(30,31),(30,34),(30,43),(30,46),(30,49),(30,52),(31,67),(31,84),(31,85),(32,67),(32,76),(32,79),(33,67),(33,74),(33,77),(34,67),(34,75),(34,78),(35,81),(35,84),(36,82),(36,84),(37,83),(37,84),(38,81),(38,85),(39,82),(39,85),(40,83),(40,85),(41,63),(41,76),(41,84),(42,61),(42,74),(42,84),(43,62),(43,75),(43,84),(44,63),(44,79),(44,85),(45,61),(45,77),(45,85),(46,62),(46,78),(46,85),(47,66),(47,79),(47,84),(48,64),(48,77),(48,84),(49,65),(49,78),(49,84),(50,66),(50,76),(50,85),(51,64),(51,74),(51,85),(52,65),(52,75),(52,85),(53,61),(53,63),(53,81),(54,62),(54,63),(54,82),(55,61),(55,62),(55,83),(56,64),(56,66),(56,81),(57,65),(57,66),(57,82),(58,64),(58,65),(58,83),(59,68),(59,69),(59,70),(59,80),(60,71),(60,72),(60,73),(60,80),(61,86),(62,86),(63,86),(64,86),(65,86),(66,86),(67,86),(68,74),(68,76),(68,81),(69,75),(69,76),(69,82),(70,74),(70,75),(70,83),(71,77),(71,79),(71,81),(72,78),(72,79),(72,82),(73,77),(73,78),(73,83),(74,86),(75,86),(76,86),(77,86),(78,86),(79,86),(80,81),(80,82),(80,83),(81,86),(82,86),(83,86),(84,86),(85,86)],87)
=> ? = 5 - 3
([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,5),(1,4),(3,5),(4,2),(4,3)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,14),(1,18),(1,19),(1,28),(1,31),(1,32),(1,34),(1,37),(1,38),(2,13),(2,16),(2,17),(2,28),(2,29),(2,30),(2,33),(2,35),(2,36),(3,12),(3,21),(3,23),(3,25),(3,27),(3,30),(3,32),(3,50),(4,11),(4,20),(4,22),(4,24),(4,26),(4,29),(4,31),(4,50),(5,11),(5,16),(5,18),(5,27),(5,39),(5,73),(5,74),(6,12),(6,17),(6,19),(6,26),(6,40),(6,73),(6,75),(7,15),(7,20),(7,21),(7,33),(7,34),(7,74),(7,75),(8,22),(8,25),(8,35),(8,37),(8,40),(8,72),(8,74),(9,23),(9,24),(9,36),(9,38),(9,39),(9,72),(9,75),(10,13),(10,14),(10,15),(10,50),(10,72),(10,73),(11,41),(11,84),(11,104),(11,105),(12,42),(12,85),(12,104),(12,106),(13,43),(13,63),(13,82),(13,86),(13,90),(14,43),(14,64),(14,83),(14,87),(14,91),(15,63),(15,64),(15,76),(15,107),(16,45),(16,65),(16,86),(16,92),(16,105),(17,44),(17,66),(17,86),(17,93),(17,106),(18,47),(18,67),(18,87),(18,94),(18,105),(19,46),(19,68),(19,87),(19,95),(19,106),(20,51),(20,53),(20,76),(20,84),(20,88),(21,52),(21,54),(21,76),(21,85),(21,89),(22,48),(22,59),(22,61),(22,84),(22,103),(23,49),(23,60),(23,62),(23,85),(23,103),(24,41),(24,55),(24,57),(24,88),(24,103),(25,42),(25,56),(25,58),(25,89),(25,103),(26,44),(26,46),(26,48),(26,88),(26,104),(27,45),(27,47),(27,49),(27,89),(27,104),(28,43),(28,69),(28,70),(28,71),(28,105),(28,106),(29,44),(29,51),(29,55),(29,59),(29,82),(29,105),(30,45),(30,52),(30,56),(30,60),(30,82),(30,106),(31,46),(31,53),(31,57),(31,61),(31,83),(31,105),(32,47),(32,54),(32,58),(32,62),(32,83),(32,106),(33,51),(33,52),(33,63),(33,71),(33,92),(33,93),(34,53),(34,54),(34,64),(34,71),(34,94),(34,95),(35,56),(35,59),(35,66),(35,70),(35,90),(35,92),(36,55),(36,60),(36,65),(36,69),(36,90),(36,93),(37,58),(37,61),(37,68),(37,70),(37,91),(37,94),(38,57),(38,62),(38,67),(38,69),(38,91),(38,95),(39,41),(39,49),(39,65),(39,67),(39,107),(40,42),(40,48),(40,66),(40,68),(40,107),(41,108),(41,117),(42,109),(42,117),(43,77),(43,96),(43,116),(44,78),(44,97),(44,116),(45,79),(45,98),(45,116),(46,80),(46,99),(46,116),(47,81),(47,100),(47,116),(48,78),(48,80),(48,117),(49,79),(49,81),(49,117),(50,76),(50,82),(50,83),(50,103),(50,104),(51,97),(51,101),(51,114),(52,98),(52,101),(52,115),(53,99),(53,102),(53,114),(54,100),(54,102),(54,115),(55,97),(55,108),(55,110),(56,98),(56,109),(56,110),(57,99),(57,108),(57,111),(58,100),(58,109),(58,111),(59,78),(59,110),(59,114),(60,79),(60,110),(60,115),(61,80),(61,111),(61,114),(62,81),(62,111),(62,115),(63,77),(63,101),(63,112),(64,77),(64,102),(64,113),(65,79),(65,108),(65,112),(66,78),(66,109),(66,112),(67,81),(67,108),(67,113),(68,80),(68,109),(68,113),(69,96),(69,108),(69,115),(70,96),(70,109),(70,114),(71,77),(71,114),(71,115),(72,90),(72,91),(72,103),(72,107),(73,86),(73,87),(73,104),(73,107),(74,84),(74,89),(74,92),(74,94),(74,107),(75,85),(75,88),(75,93),(75,95),(75,107),(76,101),(76,102),(76,117),(77,118),(78,118),(79,118),(80,118),(81,118),(82,101),(82,110),(82,116),(83,102),(83,111),(83,116),(84,114),(84,117),(85,115),(85,117),(86,112),(86,116),(87,113),(87,116),(88,97),(88,99),(88,117),(89,98),(89,100),(89,117),(90,96),(90,110),(90,112),(91,96),(91,111),(91,113),(92,98),(92,112),(92,114),(93,97),(93,112),(93,115),(94,100),(94,113),(94,114),(95,99),(95,113),(95,115),(96,118),(97,118),(98,118),(99,118),(100,118),(101,118),(102,118),(103,110),(103,111),(103,117),(104,116),(104,117),(105,108),(105,114),(105,116),(106,109),(106,115),(106,116),(107,112),(107,113),(107,117),(108,118),(109,118),(110,118),(111,118),(112,118),(113,118),(114,118),(115,118),(116,118),(117,118)],119)
=> ? = 4 - 3
([(0,5),(1,2),(1,3),(1,4)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(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 = 3 - 3
([(0,4),(1,5),(5,2),(5,3)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(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 = 3 - 3
([(3,4),(3,5),(3,6)],7)
=> ([(3,6),(4,6),(5,6)],7)
=> ([(3,6),(4,6),(5,6)],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 = 3 - 3
([(2,3),(2,4),(2,5),(2,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(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 = 3 - 3
([(1,2),(1,3),(1,4),(1,5),(1,6)],7)
=> ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(1,6),(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 = 3 - 3
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(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 = 3 - 3
([(3,4),(4,5),(4,6)],7)
=> ([(3,6),(4,6),(5,6)],7)
=> ([(3,6),(4,6),(5,6)],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 = 3 - 3
([(2,6),(6,3),(6,4),(6,5)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(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 = 3 - 3
([(1,6),(6,2),(6,3),(6,4),(6,5)],7)
=> ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(1,6),(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 = 3 - 3
([(0,6),(6,1),(6,2),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(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 = 3 - 3
([(3,6),(4,6),(6,5)],7)
=> ([(3,6),(4,6),(5,6)],7)
=> ([(3,6),(4,6),(5,6)],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 = 3 - 3
([(2,6),(3,6),(6,4),(6,5)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(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 = 3 - 3
([(1,6),(2,6),(6,3),(6,4),(6,5)],7)
=> ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(1,6),(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 = 3 - 3
([(0,6),(1,6),(6,2),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(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 = 3 - 3
([(3,6),(4,6),(5,6)],7)
=> ([(3,6),(4,6),(5,6)],7)
=> ([(3,6),(4,6),(5,6)],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 = 3 - 3
([(2,6),(3,6),(4,6),(6,5)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(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 = 3 - 3
([(1,6),(2,6),(3,6),(6,4),(6,5)],7)
=> ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(1,6),(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 = 3 - 3
([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(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 = 3 - 3
([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(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 = 3 - 3
([(1,6),(2,6),(3,6),(4,6),(6,5)],7)
=> ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(1,6),(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 = 3 - 3
Description
The Frankl number of a lattice.
For a lattice $L$ on at least two elements, this is
$$
\max_x(|L|-2|[x, 1]|),
$$
where we maximize over all join irreducible elements and $[x, 1]$ denotes the interval from $x$ to the top element. Frankl's conjecture asserts that this number is non-negative, and zero if and only if $L$ is a Boolean lattice.
Matching statistic: St000456
Values
([(0,1),(0,2),(0,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> 1 = 3 - 2
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([],1)
=> ? = 4 - 2
([(0,3),(3,1),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> 1 = 3 - 2
([(0,3),(1,3),(3,2)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> 1 = 3 - 2
([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,3),(1,3),(2,3)],4)
=> 1 = 3 - 2
([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3)],4)
=> ([],1)
=> ? = 4 - 2
([(1,2),(1,3),(1,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ? = 3 - 2
([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 3 - 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([],1)
=> ? = 3 - 2
([(1,2),(1,3),(2,4),(3,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([],2)
=> ? = 4 - 2
([(0,3),(0,4),(3,2),(4,1)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([],1)
=> ? = 3 - 2
([(1,4),(4,2),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ? = 3 - 2
([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 3 - 2
([(1,4),(2,4),(4,3)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ? = 3 - 2
([(0,4),(1,4),(4,2),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 3 - 2
([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,4),(3,4)],5)
=> ? = 3 - 2
([(0,4),(1,4),(2,4),(4,3)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 3 - 2
([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 3 - 2
([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([],1)
=> ? = 3 - 2
([(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([(1,3),(1,4),(2,3),(2,4)],5)
=> ([],2)
=> ? = 4 - 2
([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([],1)
=> ? = 3 - 2
([(0,2),(0,4),(3,1),(4,3)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,4),(1,2),(1,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([],1)
=> ? = 5 - 2
([(0,3),(0,4),(1,2),(1,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
=> ([],1)
=> ? = 3 - 2
([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
=> ([],1)
=> ? = 5 - 2
([(0,3),(1,2),(1,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ([],1)
=> ? = 4 - 2
([(2,3),(2,4),(2,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(1,2),(1,3),(1,4),(1,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([],2)
=> ? = 3 - 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6)
=> ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6)
=> ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
=> ([],1)
=> ? = 5 - 2
([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(0,3),(0,4),(0,5),(4,2),(5,1)],6)
=> ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 3 - 2
([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 3 - 2
([(2,3),(2,4),(3,5),(4,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> ([(2,4),(2,5),(3,4),(3,5)],6)
=> ([],3)
=> ? = 4 - 2
([(1,4),(1,5),(4,3),(5,2)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
=> ([],2)
=> ? = 4 - 2
([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([],2)
=> ? = 3 - 2
([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6)
=> ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
=> ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 3 - 2
([(0,4),(0,5),(4,3),(5,1),(5,2)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6)
=> ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(2,3),(3,4),(3,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(1,5),(5,2),(5,3),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(2,5),(3,5),(5,4)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(1,5),(2,5),(5,3),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(0,5),(1,5),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(1,5),(2,5),(3,5),(5,4)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(0,5),(1,5),(2,5),(5,3),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 3 - 2
([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> 1 = 3 - 2
([(0,5),(1,5),(2,5),(3,4)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(2,5),(3,5),(4,5)],6)
=> ([(1,4),(2,4),(3,4)],5)
=> ? = 3 - 2
([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6)
=> ([],2)
=> ? = 4 - 2
([(0,5),(1,4),(2,4),(2,5),(5,3)],6)
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ([],1)
=> ? = 4 - 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(6,1),(6,2),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(1,6),(6,2),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(1,6),(2,6),(3,6),(6,4),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1 = 3 - 2
Description
The monochromatic index of a connected graph.
This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path.
For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.
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!