Python scripts to cope with SEMAFOR