import random
import sys
if len(sys.argv) == 2: x = int(sys.argv[1])
else: x = 1000
file = open("reachin1000", "w") 
for i in range(10 * x):
    j = random.randint(1,x)
    k = random.randint(1,x)
    file.write("edge({}, {}).\n".format(j, k))
file.close()