#include <bits/stdc++.h>
#include <atcoder/all>
int main () {
	
}