<s> """<STR_LIT>""" <EOL> if __name__ == '<STR_LIT:__main__>' : <EOL> output = open ( "<STR_LIT>" , "<STR_LIT:w>" ) <EOL> for i in range ( <NUM_LIT:1> , <NUM_LIT:1000> ) : <EOL> output . write ( "<STR_LIT>" + str ( i ) . rjust ( <NUM_LIT:9> ) + "<STR_LIT>" ) <EOL> output . close ( ) </s>
