example JSON input file