int led_red_1 = 13;
int led_yellow_1 = 12;
int led_green_1 = 11;
int led_red_2 = 10;
int led_yellow_2 = 9;
int led_green_2 = 8;

void setup() {
    pinMode(led_red_1, OUTPUT);
    pinMode(led_yellow_1, OUTPUT);
    pinMode(led_green_1, OUTPUT);
    pinMode(led_red_2, OUTPUT);
    pinMode(led_yellow_2, OUTPUT);
    pinMode(led_green_2, OUTPUT);
}
void loop() {
    // PASO 1
    digitalWrite(led_red_1, HIGH);
    digitalWrite(led_red_2, HIGH);
    delay(3000);
    // PASO 2
    digitalWrite(led_red_1, HIGH);
    digitalWrite(led_yellow_1, HIGH);
    delay(2000);
    // PASO 3
    digitalWrite(led_red_1, LOW);
    digitalWrite(led_yellow_1, HIGH);
    digitalWrite(led_green_1, HIGH);
    delay(2000);    
    // PASO 4
    digitalWrite(led_yellow_1, LOW);
    digitalWrite(led_green_1, HIGH);
    delay(3000);
    // PASO 5
    digitalWrite(led_green_1, HIGH);
    digitalWrite(led_yellow_1, HIGH);
    delay(2000);
    // PASO 6
    digitalWrite(led_red_1, HIGH);
    digitalWrite(led_yellow_1, HIGH);
    digitalWrite(led_green_1, LOW);
    delay(2000);
    // PASO 7
    digitalWrite(led_red_1, HIGH);    
    digitalWrite(led_red_2, HIGH);
    digitalWrite(led_yellow_1, LOW); 
    delay(3000);
    // PASO 8
    digitalWrite(led_red_1, HIGH);
    digitalWrite(led_yellow_2, HIGH);
    delay(2000);
    // PASO 9
    digitalWrite(led_red_2, LOW);
    digitalWrite(led_yellow_2, HIGH);
    digitalWrite(led_green_2, HIGH);
    delay(2000);    
    // PASO 10
    digitalWrite(led_yellow_2, LOW);
    digitalWrite(led_green_2, HIGH);
    delay(3000);
    // PASO 11
    digitalWrite(led_green_2, HIGH);
    digitalWrite(led_yellow_2, HIGH);
    delay(2000);
    // PASO 12
    digitalWrite(led_red_2, HIGH);
    digitalWrite(led_yellow_2, HIGH);
    digitalWrite(led_green_2, LOW);
    delay(1000);
    // PASO 13
    digitalWrite(led_yellow_2, LOW);
    delay(2000);
}