LHV FAA LID LHV Pank Laban Hrad Vidyapith Local hidden-variable theory Longer Heavier Vehicle Lower heating value William T. Piper Memorial Airport