/*  
 *  assert code
 *  
 *    stdinが制約を満たすならば通常終了(WA),そうでないならばabort(RE)する.
 */

#include<bits/stdc++.h>

using namespace std;


int main(){
    long long n,m; // (´・ω・｀)
    int i,j,k;
    int a,b;
    
    cin >> n>>m;
    assert(2<=n && n<=100000);
    assert((n+1)/2<=m && m<=n*(n-1)/2 && m<=100000);
    
    vector<vector<int>> vertex(n);
    vector<pair<int,int>> edgeset(m);
    
    vector<unordered_map<int,bool>> checkmultiedge(n);
    
    for (i=0;i<m;i++){
        assert(2==scanf("%d%d",&a,&b));
        assert(0<=a && a<n);
        assert(0<=b && b<n);
        assert(a<b);
        edgeset[i].first=b;
        edgeset[i].second=a;
        vertex[a].emplace_back(i);
        vertex[b].emplace_back(i);
        // 多重辺は存在しない
        assert(!checkmultiedge[a].count(b));
        checkmultiedge[a][b]=true;
    }
    // 不要な入力が無いかどうか
    assert(scanf("%d",&a)<=0);
    
    for (i=0;i<n;i++){
        // 孤立頂点は存在しない
        assert(0<vertex[i].size());
    }
    
    cout << "problem ok" << endl;
    
    return 0;
}