restored work

an original work of authorship that— "(A) is protected under subsection (a); "(B) is not in the public domain in its source country through expiration of term of protection; "(C) is in the public domain in the United States due to— "(i) noncompliance with formalities imposed at any time by United States copyright law, including failure of renewal, lack of proper notice, or failure to comply with any manufacturing requirements;.