int IrLED = 12;

uint32_t output_times[] = {  4468,4480,520,1676,524,1676,520,1680,520,656,
                             496,604,492,608,492,608,492,660,520,1676,520,
                             1680,520,1680,520,656,496,604,492,608,492,608,
                             492,660,520,580,516,1684,520,576,520,660,492,
                             604,496,608,488,608,492,660,520,1676,524,580,
                             520,1676,520,1760,492,1704,492,1708,496,1708,
                             540, 1684, 516 };

void setup() {
    pinMode( IrLED, OUTPUT );
    digitalWrite( IrLED, LOW );
    pinMode( 13, OUTPUT );
    digitalWrite( 13, LOW );
}

void sendIrSignal() {
    Serial.println( "Transmitting IR Signal" );

    boolean output = true;
    for( int i = 0; i < 67; i++ ) {
        digitalWrite( IrLED, output ? HIGH : LOW );
        digitalWrite( 13, output ? HIGH : LOW );
        output = !output;
        delayMicroseconds( output_times[i]-20 );
    }
    digitalWrite( IrLED, LOW );
    digitalWrite( 13, LOW );
    delay( 46 );
}


void loop()
{

    while( true ) {
        for( int i = 0; i < 8; i++ ) {
            sendIrSignal();
        }
        delay( 1500 );
    }
}