#include using namespace std; using ll = long long; using ld = long double; using ull = unsigned long long; #define rep(i,n) for(ll i=0;i T div_floor(T a, T b) { return a / b - ((a ^ b) < 0 && a % b); } template T div_ceil(T a, T b) { return a / b + ((a ^ b) > 0 && a % b); } template inline bool chmin(T &x, U y) { return (y < x) ? (x = y, true) : false; } template inline bool chmax(T &x, U y) { return (x < y) ? (x = y, true) : false; } void solve() { ll N; cin>>N; vector> edge(N); vector> el; rep(i,N-1){ ll u,v; cin>>u>>v; u--; v--; edge[u].push_back(v); edge[v].push_back(u); el.push_back({u,v}); } vector color(N,-1); color[0]=0; stack st; st.push(0); while (st.size()>0){ ll cp=st.top();st.pop(); for (ll np:edge[cp]){ if (color[np]>=0)continue; color[np]=color[cp]^1; st.push(np); } } auto query=[](vector A){ cout<<"? "; for (auto a:A){ cout<>S; assert (S!="Invalid"); return (S=="Yes"); }; vector C; for (auto &[a,b]:el){ if (color[a]==1){ swap(a,b); } C.push_back(a); } if (query(C)){ for (auto &[a,b]:el){ swap(a,b); } } ll l=0; ll r=N-1; while (r-l>1){ ll mid=(l+r)/2; vector C; rep(i,N-1){ if (l<=i and i