How to Decode IR Remote Control Signals using Arduino at 56Khz

how does the IRlibary knows it is a 56khz receiver as opposed to a 36khz receiver.

See reply #1.