utilizzare il timer 1 e registro OCR1C sul pin D11 di arduino Micro

Timer 4
#bits = 10
Clock speed = 64 MHz

64 Mhz ???