Alkuluvut

#include <cstdint>
#include <iostream>
using namespace std;

uint64_t ANS[1024] = {
0, 0, 11, 101, 2, 0, 211, 1021, 3, 0, 13, 103, 23, 2003, 1123, 10223, 0, 0, 41,
401, 0, 0, 241, 4021, 43, 4003, 431, 3041, 2243, 20443, 1423, 10243, 5, 0, 151,
1051, 0, 0, 251, 5021, 53, 503, 1153, 10513, 523, 2053, 1523, 10253, 0, 0, 541,
4051, 0, 0, 12451, 102451, 5443, 40543, 1453, 10453, 2543, 20543, 112543,
1015423, 0, 0, 61, 601, 0, 0, 1621, 12601, 0, 0, 163, 1063, 263, 2063, 12163,
106123, 0, 0, 461, 46061, 0, 0, 4261, 20641, 463, 4603, 3461, 10463, 22643,
204623, 24631, 102643, 0, 0, 5651, 10651, 0, 0, 5261, 25601, 563, 6053, 15361,
101653, 5623, 20563, 12653, 102563, 0, 0, 4561, 45061, 0, 0, 124561, 1025641,
44563, 440653, 14563, 106453, 25463, 204563, 1124653, 10152463, 7, 0, 17, 107,
227, 2027, 127, 2017, 37, 307, 137, 1307, 2237, 20327, 1237, 10273, 47, 4007,
1447, 10477, 2447, 4027, 1427, 10247, 347, 3407, 11437, 101347, 2347, 20347,
12347, 102437, 557, 5077, 157, 5107, 257, 20507, 11257, 101527, 3557, 30557,
1753, 10357, 2357, 20357, 112573, 1012573, 457, 4057, 4157, 10457, 24527,
204557, 12457, 102547, 3457, 34057, 13457, 103457, 223547, 2023547, 123457,
1024357, 67, 607, 167, 1607, 2267, 20627, 1627, 10267, 367, 3067, 1367, 16073,
22367, 202637, 12637, 102367, 467, 6047, 11467, 101467, 2467, 26407, 12647,
102647, 3467, 30467, 113467, 1014763, 24763, 204367, 124367, 1023467, 5657,
50767, 1567, 10567, 2657, 50627, 112657, 1012657, 35677, 306577, 13567, 103567,
23567, 203657, 1123567, 10125673, 4567, 46507, 14657, 105467, 226547, 2024567,
124567, 1026457, 36457, 306457, 135467, 1034567, 2235647, 20235647, 1234657,
10235647, 0, 0, 181, 1801, 0, 0, 281, 2081, 83, 3083, 1381, 10831, 283, 2083,
1283, 20183, 0, 0, 1481, 4801, 0, 0, 12841, 102481, 4483, 40483, 1483, 14083,
2843, 20483, 112843, 1021483, 0, 0, 5581, 5081, 0, 0, 2851, 25801, 853, 8053,
1583, 10853, 22853, 205823, 12583, 125803, 0, 0, 14851, 104851, 0, 0, 24851,
248051, 4583, 40583, 118453, 1015843, 42853, 204583, 124853, 1024853, 0, 0,
1861, 10861, 0, 0, 2861, 20681, 683, 6803, 11863, 101863, 2683, 26083, 16823,
106823, 0, 0, 4861, 64081, 0, 0, 126481, 1026481, 44683, 406883, 14683, 104683,
24683, 206483, 1126483, 10148623, 0, 0, 5861, 56081, 0, 0, 52861, 250681, 5683,
50683, 15683, 105683, 225683, 2056853, 125683, 1026583, 0, 0, 145681, 1056481,
0, 0, 245681, 2054861, 45863, 405683, 1154863, 10145683, 245683, 2046853,
1245683, 10245863, 787, 8087, 1187, 1087, 827, 2087, 11287, 101287, 3877,
37087, 1783, 10837, 2837, 20873, 113287, 1013827, 487, 40087, 1487, 10487,
24847, 204487, 12487, 104287, 3847, 34807, 13487, 107843, 232487, 2024387,
124783, 1023487, 587, 5087, 11587, 105817, 2857, 20857, 15287, 102587, 5387,
50387, 115783, 1018357, 23857, 203857, 125387, 1023857, 44587, 405487, 18457,
108457, 25847, 204587, 1148527, 10125487, 344587, 3044857, 134587, 1034857,
234587, 2045837, 11245387, 101238547, 7687, 60887, 1867, 10687, 2687, 28607,
112687, 1026887, 36787, 306877, 13687, 103687, 23687, 206783, 1123867,
10126783, 8467, 40867, 14867, 106487, 226487, 2026487, 126487, 1026847, 34687,
304687, 134867, 1034867, 2238647, 20243687, 1234687, 10238467, 5867, 50867,
151687, 1055867, 25867, 208657, 125687, 1026587, 36587, 305867, 1136587,
10136587, 238657, 2035687, 1235867, 10235867, 455687, 4045687, 145687, 1046587,
248657, 2046857, 11245867, 101246857, 3446857, 30445867, 1354687, 10346587,
2345867, 20345687, 112345687, 1012356487, 0, 0, 19, 109, 29, 2029, 1129, 12109,
0, 0, 139, 1039, 239, 2039, 11239, 101293, 449, 409, 149, 1049, 4229, 20249,
1249, 10429, 349, 3049, 1439, 13049, 22349, 202493, 13249, 104239, 59, 509,
1559, 10159, 22259, 5209, 1259, 10259, 359, 5039, 11593, 101359, 2539, 20359,
12539, 102359, 4549, 40459, 1459, 10459, 2459, 20549, 112459, 1012549, 34549,
304459, 14593, 103549, 23459, 203459, 1124593, 10124539, 0, 0, 619, 1069, 269,
2069, 12269, 106129, 0, 0, 1693, 10369, 2693, 20369, 116239, 1012369, 4649,
40609, 4691, 40169, 22469, 206249, 14629, 140269, 3469, 30469, 13469, 104369,
223469, 2024369, 124693, 1024693, 569, 50069, 15569, 105619, 2659, 25609,
12569, 105269, 3659, 35069, 115693, 1013569, 25639, 203569, 125639, 1025693,
45569, 405659, 15649, 104659, 24659, 240659, 1124659, 10125469, 345659,
3055649, 135469, 1034659, 234659, 2034569, 11236549, 101234659, 79, 709, 179,
1097, 2297, 20297, 1279, 10729, 379, 3079, 1973, 10739, 22397, 202973, 12379,
102397, 479, 4079, 11497, 101749, 2749, 20479, 12479, 102497, 3947, 30497,
113497, 1014397, 23497, 203947, 123479, 1023947, 5779, 50957, 1579, 10597,
2579, 20759, 112759, 1012597, 35597, 305597, 13597, 105379, 23957, 203579,
1123597, 10123579, 4597, 40597, 14759, 104579, 224579, 2024597, 124759,
1024579, 34759, 304597, 134597, 1034597, 2234579, 20234579, 1234759, 10234759,
769, 6079, 1697, 16097, 22679, 202679, 12697, 102679, 3697, 30697, 13679,
103769, 223679, 2026397, 126397, 1023697, 4679, 40697, 114679, 1014697, 24697,
204679, 124679, 1024697, 34679, 306479, 1134697, 10134769, 234769, 2036479,
1234769, 10243769, 55697, 506797, 15679, 105769, 25679, 205967, 1125679,
10125697, 355679, 3056579, 135697, 1036579, 235679, 2035967, 11236597,
101235679, 45697, 405679, 145679, 1045679, 2245679, 20245679, 1246579,
10249567, 345679, 3045697, 1346957, 10345679, 22346579, 202346957, 12345769,
102345697, 89, 809, 1889, 10889, 829, 2089, 1289, 10289, 389, 3089, 11839,
101839, 2389, 20389, 12893, 102983, 4889, 40849, 1489, 18049, 4289, 20849,
118249, 1012489, 34849, 304489, 14389, 108439, 28349, 204983, 1124983,
10123849, 859, 8059, 5189, 10589, 22859, 202859, 12589, 102859, 5839, 30859,
13859, 105389, 223589, 2023859, 129853, 1025839, 5849, 50849, 114859, 1044859,
24859, 204859, 128549, 1024589, 34589, 305489, 1143589, 10134589, 234589,
2038549, 1238459, 10234589, 6689, 6089, 11689, 101869, 2689, 28069, 12689,
120689, 6389, 30689, 118369, 1016839, 23689, 203869, 126839, 1036829, 46489,
408469, 14869, 104869, 26489, 206489, 1124869, 10124689, 346849, 3046489,
136849, 1043869, 234869, 2034689, 11234689, 101243869, 5689, 56809, 51869,
106859, 225689, 2025689, 126859, 1026859, 35869, 306589, 136859, 1035869,
2235869, 20235869, 1238659, 10253869, 45869, 405689, 1145689, 10145869, 248569,
2048569, 1245689, 10248659, 345689, 3045869, 11345689, 101346859, 2345869,
20354689, 12346589, 102345689, 7789, 70879, 1789, 10789, 2789, 20789, 118297,
1012789, 37879, 309877, 13789, 107839, 23789, 203789, 1123879, 10128793, 4789,
40879, 14879, 104789, 224897, 2028749, 124897, 1024987, 34897, 304789, 134789,
1034879, 2234789, 20237849, 1234789, 10234897, 5879, 50789, 115879, 1015897,
28579, 205879, 125789, 1025789, 35879, 307589, 1135879, 10137859, 235789,
2035879, 1235789, 10238597, 445789, 4054879, 145879, 1045987, 245789, 2045789,
11245987, 101247589, 3445789, 30447589, 1345879, 10345789, 2347859, 20345987,
112345789, 1012345987, 67789, 607889, 16879, 108769, 26879, 206879, 1126897,
10129687, 367789, 3067789, 136879, 1063897, 236879, 2036987, 11236879,
101236879, 47869, 406789, 146987, 1046897, 2246789, 20246987, 1246879,
10246897, 348769, 3046789, 1346987, 10348697, 22346879, 202346987, 12364789,
102346789, 56897, 509687, 1157869, 10157689, 257689, 2056987, 1256897,
10258967, 357689, 3056789, 11356789, 101356897, 2357689, 20356879, 12356789,
102356789, 4456789, 40456789, 1456789, 10456987, 2456879, 20456789, 112465789,
1012458679, 34456987, 304456879, 13456879, 103456789, 23456789, 203457869,
1123465789, 10123457689,
};

int main() {
    cin.tie(0)->sync_with_stdio(0);
    int t; cin>>t;
    while (t--) {
        int k; cin>>k;
        unsigned mask = 0;
        for (int i=0; i<k; i++) {
            int d; cin>>d;
            mask |= 1<<d;
        }
        if (ANS[mask]) {
            cout << "YES\n" << ANS[mask] << '\n';
        }
        else {
            cout << "NO\n";
        }
    }
}

Test 1

Group: 1, 2, 3

Verdict: ACCEPTED

Test 2

Group: 2, 3

Verdict: ACCEPTED

Test 3

Group: 3

Verdict: ACCEPTED