python3.13 ./PICT_numtool.py