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.