import mines.py
