#include "testlib.h"
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, a, b) for(ll i = a; i < (b); i++)

const int min_nm = 1;
const int max_nm = 100'000;

const int min_k = 0;
const int max_k = 3;

const int min_c = 1;
const int max_c = 1'000'000'000;

int main(){
    registerValidation();

    int n = inf.readInt(min_nm, max_nm);
    inf.readSpace();
    int m = inf.readInt(min_nm, max_nm);
    inf.readSpace();
    inf.readInt(min_k, max_k);
    inf.readEoln();

    rep(i, 0, m){
        inf.readInt(min_c, max_c);
        if(i != m-1) inf.readSpace();
        else inf.readEoln();
    }

    set<pair<int,int>> edges;
    rep(i, 0, m){
        int u = inf.readInt(1, n);
        inf.readSpace();
        int v = inf.readInt(1, n);
        inf.readEoln();

        assert(u < v);
        edges.insert({u,v});
    }

    assert((int)edges.size() == m);

    inf.readEof();
}