G62      |V|=62 cells=231 : X(G) collapse certificate VALID ; 21 sections, 21 pieces : all piece certificates VALID
min62    |V|=62 cells=231 : X(G) collapse certificate VALID ; 21 sections, 21 pieces : all piece certificates VALID
H73      |V|=73 cells=265 : X(G) collapse certificate VALID ; 27 sections, 27 pieces : all piece certificates VALID
G62sub   |V|=231 cells=917 : X(G) collapse certificate VALID ; 39 sections, 39 pieces : all piece certificates VALID
ALL CERTIFICATES VALID

# T12 and T12sub (the trough and its subdivision): their y-pieces for 0 <= y < 1 (resp. 0 <= y < 2)
# are hexagons, so they are EXPECTED not to be collapsible; the collapse certificates of X(G) are valid.
T12      |V|=12 cells=39 : X(G) collapse certificate VALID ; 11 sections, 11 pieces : pieces NOT certified collapsible: [('y', 0.0), ('y', 0.5)]
T12sub   |V|=39 cells=141 : X(G) collapse certificate VALID ; 19 sections, 19 pieces : pieces NOT certified collapsible: [('y', 0.0), ('y', 0.5), ('y', 1.0), ('y', 1.5)]
NOT ALL CERTIFICATES VALID (see above)
