#define ROSSO 11
#define GIALLO 10
#define VERDE 9

void setup() {
// put your setup code here, to run once:
pinMode (ROSSO, OUTPUT);
pinMode (GIALLO, OUTPUT);
pinMode (VERDE, OUTPUT);
}

void loop() {
// put your main code here, to run repeatedly
digitalWrite (ROSSO, LOW);
digitalWrite (GIALLO, LOW);
digitalWrite(VERDE, HIGH);
delay(3000);
digitalWrite(ROSSO, LOW);
digitalWrite (GIALLO, HIGH);
digitalWrite(VERDE, LOW);
delay (1000);
digitalWrite(ROSSO, HIGH);
digitalWrite (GIALLO, LOW);
digitalWrite (VERDE, LOW);
delay(4000);
}