make_html_int_set.py

import sys
html_template = file('charts-template-int_set.html', 'r').read()
file('charts_int_set.html', 'w').write(html_template.replace('__CHART_DATA_GOES_HERE__', sys.stdin.read()))