. . "When Congress created the Interstate Highway System in 1956, it directed that gas taxes be distributed to states using formulas based on such factors as each state???s population, land area, and road miles." . . .