VC_WITH_CRIT: [(0,7),(0,8),(0,9),(0,10),(0,11),(0,12),(1,6),(1,8),(1,9),(1,10),(1,11),(1,12),(2,5),(2,7),(2,9),(2,10),(2,11),(2,12),(3,4),(3,6),(3,8),(3,10),(3,11),(3,12),(4,5),(4,7),(4,9),(4,11),(4,12),(5,6),(5,8),(5,10),(5,12),(6,7),(6,9),(6,11),(7,8),(7,10),(8,9)]
