print
path AmosEaton DCC
edgedown Folsom DCC
path Folsom DCC
vertexdown AmosEaton
path Folsom DCC
print
reachable
edgeup Folsom DCC 
vertexup AmosEaton
deleteedge Troy DCC
path AmosEaton DCC
path DCC AmosEaton
addedge DCC Mueller 0.25
addedge Lally DCC 0.6
path AmosEaton Mueller
print
quit