a graphical tool for manual alignment of graph pairs