[Colouring]
EnableSetInitialState=false
[Greening]
SetInitialStateOK=false
SetInitialStateOKTimeout=300
AutomaticGreeningTimeout=30
[Redding]
SetInitialStateFail=false
SetInitialStateFailTimeout=300
AutomaticReddingTimeout=30