#include // {{{ // https://codeforces.com/blog/entry/96344 #pragma GCC optimize("O2,unroll-loops") #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt") using namespace std; template [[nodiscard]] static T MIN() { return std::numeric_limits::min(); } template [[nodiscard]] static T MAX() { return std::numeric_limits::max(); } template [[nodiscard]] static T sc(auto&& x) { return static_cast(x); } template [[nodiscard]] static T sz(auto&& x) { return static_cast(x.size()); } #define prln(...) std::println(__VA_ARGS__) #define pr(...) std::print(__VA_ARGS__) #ifdef LOCAL #define dbgln(...) std::println(__VA_ARGS__) #define dbg(...) std::print(__VA_ARGS__) #endif inline static void NO() { prln("NO"); } inline static void YES() { prln("YES"); } using ll = long long; using ld = long double; template using ve = std::vector; template using ar = std::array; template using pa = std::pair; template using tu = std::tuple; template using dq = std::deque; template using qu = std::queue; template using pq = std::priority_queue; template using st = std::stack; auto lb = [](auto... args) { return std::lower_bound(args...); }; auto ub = [](auto... args) { return std::upper_bound(args...); }; #define ff first #define ss second #define eb emplace_back #define pb push_back #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() // }}} void solve() { int n; cin >> n; ve a(n); ve prefix(n + 1, 0); for (int i = 0; i < n; ++i) { cin >> a[i]; prefix[i + 1] = prefix[i] + a[i]; } int l = 0, r = n - 1; while (l <= r) { int m = l + (r - l) / 2; ll weight = prefix[m + 1] - prefix[l]; cout << "? " << m - l + 1 << '\n'; for (int x = l; x <= m; ++x) cout << ' ' << x + 1; ll x; cin >> x; if (weight == x) { l = m + 1; } else { r = m - 1; } } cout << "! " << l + 1 << '\n'; } int main() { // {{{ int t = 1; cin >> t; while (t--) { solve(); } return 0; } // }}}