reachable
vertexdown CII
reachable
vertexdown CII
reachable
vertexup CII
edgedown CII JEC
reachable
edgedown Lally JEC
reachable
quit