changing the input files according to Wenkui's updated definition.