def main():
n = 47 # test...
for i in range(20):
G = GNR(127,3)
numRemove = n - i
print("Removing " + str(numRemove) + " vertices")
G.removeNodes(numRemove)
r = reducer()
numVars, cnf = r.reduce(G.graph)
outFile = open('g127_' + str(numRemove) + '.cnf', 'w')
