Derivation of the C4v Character Table

I derive the C4v character table, complete with irreducible representation and Mulliken symbols, from first principles.