import random

input =