import sys
input = sys.stdin.buffer.readline