This is input.xml.