import sc3
for day in AllDays:
sc3.print('\t\tDay index'+str(day)+' is '+daydef[day]+'.\n')
In the Python source, “daydef” is the set defined in the GUI.
They are defined somewhere in the “Python Entire Source”.
You can find it by searching.