Input (grade 10): Both a federal holiday and a state holiday in all states, it is usually observed on November 11.
Output (grade 4): It is both a federal and a state holiday.