Fixed the code in the reducer and generated the CNF file for G_127