wrote a script to generate this file