#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 void print(std::string const &str, Args &&...args) { std::cout << std::vformat(str, // make_format_args binds arguments to const std::make_format_args(args...)); } template void print(T const &t) { std::cout << t; } template void print(T const &t) { if constexpr (std::is_convertible_v) { std::cout << t << '\n'; } else { for (auto const &e : t) { std::cout << e << ' '; } std::cout << '\n'; } } template void println(std::string const &str, Args &&...args) { print(str, std::forward(args)...); cout << '\n'; } template void println(T const &t) { print("{}\n", t); } template void println(T const &t) { cout << t << '\n'; } void println() { std::cout << '\n'; } template T MAX() { return std::numeric_limits::max(); } template T MIN() { return std::numeric_limits::min(); } #define ff first #define ss second #define eb emplace_back #define ll long long #define ld long double #define vec vector #define all(x) (x).begin(), (x).end() #define rall(x) (r).rbegin(), (x).rend() #define sz(x) static_cast((x).size()) #define FOR(a, b, c) for (int a = b; a < c; ++a) mt19937 rng(chrono::steady_clock::now().time_since_epoch().count()); #define randint(a, b) uniform_int_distribution(a, b)(rng) void YES() { cout << "YES\n"; } void NO() { cout << "NO\n"; } #ifdef LOCAL #define dbg(x) cout << __LINE__ << ": " << #x << "=<" << (x) << ">\n"; #else #define dbg(x) #endif static constexpr int MOD = 1e9 + 7; bitset<2 * 2 * 100000 + 1> a, b; void solve() { int n, m, k; cin >> n >> m >> k; // ensure: // a) all found // b) <= k / 2 elements in [1,k] from just one arry int x; while (n--) { cin >> x; if (x > k) continue; a.set(x); } while (m--) { cin >> x; if (x > k) continue; b.set(x); } bool all_found = true; int unique_to_a = 0, unique_to_b = 0; for (int i = 1; i <= k; ++i) { if (!a[i] && !b[i]) { all_found = false; break; } if (a[i] && !b[i]) ++unique_to_a; if (!a[i] && b[i]) ++unique_to_b; } if (all_found && unique_to_a <= k / 2 && unique_to_b <= k / 2) YES(); else NO(); a.reset(); b.reset(); } int main() { cin.tie(nullptr)->sync_with_stdio(false); int t = 1; cin >> t; while (t--) { solve(); } return 0; }