Myers–Briggs: Extroverts Are most student government leaders extroverts?

According to Myers–Briggs estimates, about 82% of college student government leaders are extroverts (Source: Myers–Briggs Type Indicator Atlas of Type Tables). Suppose that a Myers–Briggs personality preference test was given to a random sample of 73 student government leaders attending a large national leadership conference and that 56 were found to be extroverts. Does this indicate that the population proportion of extroverts among college student government leaders is different (either way)

from 82%? Use a 5 0.01.