[The input file exceeded the maximum input file size.]