#!/usr/bin/env python
# encoding: utf-8
import string
import random

length = 10
n = 1000
filename = '02'


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert

if __name__ == '__main__':
    with open(filename, 'w') as f:
        f.write(generate_string(length) + '\n')
        f.write(str(n) + '\n')
        for i in range(n):
            f.write('{0} {1} {2}\n'.format(*generate_move(length)))

5d345fa371e8a6aa70fe4fb09c7d23bd054e17c4
<mask token>


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert


<mask token>

<mask token>


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert


if __name__ == '__main__':
    with open(filename, 'w') as f:
        f.write(generate_string(length) + '\n')
        f.write(str(n) + '\n')
        for i in range(n):
            f.write('{0} {1} {2}\n'.format(*generate_move(length)))

<mask token>
length = 10
n = 1000
filename = '02'


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert


if __name__ == '__main__':
    with open(filename, 'w') as f:
        f.write(generate_string(length) + '\n')
        f.write(str(n) + '\n')
        for i in range(n):
            f.write('{0} {1} {2}\n'.format(*generate_move(length)))

import string
import random
length = 10
n = 1000
filename = '02'


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert


if __name__ == '__main__':
    with open(filename, 'w') as f:
        f.write(generate_string(length) + '\n')
        f.write(str(n) + '\n')
        for i in range(n):
            f.write('{0} {1} {2}\n'.format(*generate_move(length)))

#!/usr/bin/env python
# encoding: utf-8
import string
import random

length = 10
n = 1000
filename = '02'


def generate_string(length):
    l = []
    for i in range(length):
        l.append(random.choice(string.ascii_lowercase))
    return ''.join(l)


def generate_move(length):
    start = random.randint(0, length - 1)
    end = random.randint(start, length - 1)
    insert = random.randint(0, length - end + start - 1)
    return start, end, insert

if __name__ == '__main__':
    with open(filename, 'w') as f:
        f.write(generate_string(length) + '\n')
        f.write(str(n) + '\n')
        for i in range(n):
            f.write('{0} {1} {2}\n'.format(*generate_move(length)))
