What does the F() do exactly?

Get verbose output from the compiler (check box in Preferences under Arduino 1.0).

About the second last line will be a .elf file. Copy its entire filename.

Go to a command / console window and type:

avr-objdump -S whatever.elf > foo.txt

The output file (foo.txt) will have the disassembly in it.