Improved example menger.py