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