{{{import random

result = []
max_count = 10000

while ( len(result) < max_count ):
    x = random.randint(1, 10001)
    y = random.randint(1, 10001)
    result.append( (x, y) )
    result = list(set(result))

result_file = open("result.txt" ,"w")
result_file.write(str(max_count) + "\n")
for point in result:
    result_file.write(str(point[0])+" " +str(point[1]) + "\n")

result_file.close()}}}