math_fact: 402 is the number of graphs with 8 vertices and 9 edges.
trivia: 402 is an uninteresting number.
historical_date: February 5th is the day in 1937 that President Franklin D. Roosevelt proposes a plan to enlarge the Supreme Court of the United States.