The PIC instruction clock is one quarter of the crystal frequency i.e. about 3.7MHz. This is the speed of the serial port too. Each pixel is two lines high and one instruction clock wide. One line of 625 is 236 instruction clocks, which is very close to 64 microseconds.
Yes, Brazil is a fascinating film. Over-stretched technology everywhere! But I think I'll skip the Fresnel lens