1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
// Jakub Rozek
// Medrcy
// PA 2022 A r3
// czas: ?
// pami: ?

#include "bits/stdc++.h"
using namespace std;

const int N=1000;
const int M=3000;
const int K=30;

int n,m,k,a,b,dzien,odp;
bitset <M> med[N+1];
vector <bitset<M>> dni[K+1];
unordered_map <bitset<M>,int> mapa;
bool wiem;

void czysc()
{
    for(int i=0; i<=n; ++i) med[i]=0;
    for(int i=0; i<=k; ++i) dni[i].clear();
    dzien=1;
    mapa.clear();
    wiem=0;
    odp=0;
}

void dodaj(bitset<M> a)
{
    if(mapa.count(a)) return;
    if(a.count()) mapa[a]=0;
    else
    {
        mapa[a]=dzien;
        wiem=1;
    }
    dni[dzien].push_back(a);
}

void solution()
{
    cin>>n>>m>>k;
    czysc();
    for(int i=0; i<m; ++i) med[0][i]=1;
    for(int i=1; i<=n; ++i) med[i]=med[0];
    for(int i=0; i<m; ++i)
    {
        cin>>a>>b;
        med[a][i]=0;
        med[b][i]=0;
    }

    for(int i=1; i<=n; ++i) dodaj(med[i]);

    while(dzien<k && !wiem)
    {
        ++dzien;
        for(auto maska:dni[dzien-1])
        {
            for(int i=1; i<=n; ++i)
            {
                dodaj(maska & med[i]);
            }
        }
    }

    if(!wiem)
    {
        cout<<"-1\n";
        return;
    }
    cout<<dzien<<" ";

    while(--dzien)
    {
        for(auto maska:dni[dzien])
        {
            for(int i=1; i<=n; ++i)
            {
                if(mapa[maska & med[i]]>dzien) mapa[maska]=dzien;
            }
        }
    }

    for(int i=1; i<=n; ++i) if(mapa[med[i]]) ++odp;
    cout<<odp<<"\n";
    for(int i=1; i<=n; ++i) if(mapa[med[i]]) cout<<i<<" ";
    cout<<"\n";
}

int main()
{
    ios_base::sync_with_stdio(0);
    cin.tie(0);

    int testy;
    cin>>testy;
    while(testy--) solution();

    return 0;
}