import os



lst = []

for root,dirs,files in os.walk('./'):

    if len(files) != 0:

        for i in range(1, 25):

            lst.append(files[i])



for filename in lst:

    with open('./' + filename, 'r') as f:

        records = f.readlines()

    with open('./repair/' + filename, 'w') as f:

        for i in range(min(10000, len(records))):

            f.write(records[i])