#include using namespace std; #define ll long long #define rep(i,n) for(int (i)=0;(i)<(n);(i)++) #define Pr pair #define Tp tuple #define riano_ std::ios::sync_with_stdio(false);std::cin.tie(nullptr);typedef modint mint using Graph = vector>; const ll mod = 998244353; template struct modint{ uint64_t val; constexpr modint(const int64_t val_=0) noexcept:val((val_%int64_t(mod)+int64_t(mod))%int64_t(mod)){} constexpr modint operator-() const noexcept{ return modint(*this)=mod-val; } constexpr modint operator+(const modint rhs) const noexcept{ return modint(*this)+=rhs; } constexpr modint operator-(const modint rhs) const noexcept{ return modint(*this)-=rhs; } constexpr modint operator*(const modint rhs) const noexcept{ return modint(*this)*=rhs; } constexpr modint operator/(const modint rhs) const noexcept{ return modint(*this)/=rhs; } constexpr modint &operator+=(const modint rhs) noexcept{ val+=rhs.val; val-=((val>=mod)?mod:0); return (*this); } constexpr modint &operator-=(const modint rhs) noexcept{ val+=((val>=1; } return (*this)*=now; } constexpr bool operator==(const modint rhs) noexcept{ return val==rhs.val; } constexpr bool operator!=(const modint rhs) noexcept{ return val!=rhs.val; } friend constexpr ostream &operator<<(ostream& os,const modint x) noexcept{ return os<<(x.val); } friend constexpr istream &operator>>(istream& is,modint& x) noexcept{ uint64_t t; is>>t,x=t; return is; } }; //Unionfind struct unionfind { //自身が親であれば、その集合に属する頂点数に-1を掛けたもの //そうでなければ親のid vector r; unionfind(long long N) { r = vector(N, -1); } long long root(long long x) { if (r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(long long x, long long y) { x = root(x); y = root(y); if (x == y) return false; if (r[x] > r[y]) swap(x, y); r[x] += r[y]; r[y] = x; return true; } long long size(long long x) { return max(-r[root(x)],0LL); } // 2つのデータx, yが属する木が同じならtrueを返す bool same(long long x, long long y) { long long rx = root(x); long long ry = root(y); return rx == ry; } //重みをつける場合 void eval(ll i,ll x){ r[i] = (-1)*x; } }; //main関数内で unionfind friends(N+1); //などと宣言し friends.unite(a,b); //のように使う //dfs //s:始点 i:dfs回数 t:始点からの距離 vector vis; int t; vector depth; vector ans; //探索範囲を距離L以下に制限する場合 int L; bool en = false; void dfs(Graph &G, int s,int i,int st){ t++; for(auto p:G[s]){ int nx = p.first; int k = p.second; if(t>=L) break; if(nx==st&&depth[s]!=1){ en = true; ans.push_back(k); break; } if(vis[nx]==i) continue; ans.push_back(k); depth[nx] = depth[s] + 1; vis[nx] = i; dfs(G,nx,i,st); if(en) return; ans.pop_back(); } if(en) return; t--; } int main() { riano_; //ll N; cin >> N; ll ans = 0; ll H,W,N; cin >> H >> W >> N; unionfind rc(H+W); Graph G(H+W); ll st = -1; rep(i,N){ ll x,y; cin >> x >> y; x--; y--; if(rc.same(x,y+H)) st = x; rc.unite(x,y+H); G[x].push_back(make_pair(y+H,i+1)); G[y+H].push_back(make_pair(x,i+1)); } if(st<0){ cout << -1 << endl; return 0; } //main関数内で vis.assign(H+W+1,-1); depth.assign(H+W+1,-1); vis[st] = 0; depth[st] = 0; t = -1; //s:始点 L= 2000000000; //必要なら設定する dfs(G,st,0,st); //s:始点 i:dfs回数 cout << ans.size() << endl; rep(i,ans.size()){ cout << ans[i] << " "; } cout << endl; //cout << ans << endl; }