#include<bits/stdc++.h>
using namespace std;
#define int long long
// char buf[1<<22],*p1,*p2;
// #define getchar() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<22,stdin),p1==p2)?0:*p1++)
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(!isdigit(ch))f=(ch=='-')?-1:1,ch=getchar();
    while(isdigit(ch))x=(x<<3)+(x<<1)+(ch^48),ch=getchar();
    return x*f;
}
const int N=5005;
int n,m,u[N],v[N],g[N][N];
int pu[5],pv[5],vis[N][N];
signed main(){
    mt19937 rnd(998244353);
    n=read();m=read();
    for(int i=1;i<=m;i++){
        u[i]=read(),v[i]=read();
        g[u[i]][v[i]]=g[v[i]][u[i]]=1;
    }
    for(int i=0;i<5;i++){
        int a=rnd()%n+1,b=rnd()%n+1;
        while(vis[a][b]||a==b){
            a=rnd()%n+1,b=rnd()%n+1;
        }
        pu[i]=a;pv[i]=b;
        vis[a][b]=vis[b][a]=1;
    }
    int flg=1;
    for(int i=0;i<5;i++)flg&=g[pu[i]][pv[i]];
    if(flg){puts("ok");return 0;}
    puts("mark");
    int cnt=0;
    for(int i=0;i<5;i++)if(!g[pu[i]][pv[i]])++cnt;
    printf("%lld\n",cnt);
    for(int i=0;i<5;i++)if(!g[pu[i]][pv[i]])printf("%lld %lld\n",pu[i],pv[i]);
    return 0;
}