min_vertex 4 12
min_vertex 5 10
min_vertex 6 14
min_vertex 7 9
max_vertex 4 13
max_vertex 5 11
max_vertex 6 15
max_vertex 7 16
