import sys, os, random

def getRandomLineFromFile(filename):
    fsize = os.stat(filename).st_size
    f = file(filename)
    f.seek(random.randint(0, fsize-1000))
    for i in range(random.randint(1, 25)):
        f.readline()
    s = f.readline()
    return s

infilename = sys.argv[1]
outfile = file(sys.argv[2], "w")

n = int(sys.argv[3])

for i in range(n):
    outfile.write(getRandomLineFromFile(infilename))