graph drawing tool

small change to simplify the driver's task

Created by  Kartik K. Agaram  on January 8, 2023
YOK66CEWEGIBNRNHE2AJ5SDVGWDCSIJL73JWOK2SWP24M42NOUGAC
Change contents