Update input.json to be larger, and fix a bug in the converter.