machine-graph-verifier.cc 33.7 KB