SIM: Random seed is 777604
0: LEDS: Red off.
0: LEDS: Green off.
0: LEDS: Yellow off.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red off.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green off.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow on.
0: LEDS: Green on.
0: LEDS: Red on.
0: LEDS: Yellow off.
0: LEDS: Green off.
0: LEDS: Red off.