import sys sys.setrecursionlimit(10**7) from collections import defaultdict class UnionFind(object): def __init__(self, n=1): self.par = [i for i in range(n)] self.rank = [0 for _ in range(n)] self.size = [1 for _ in range(n)] def find(self, x): """ x が属するグループを探索して親を出す。 """ if self.par[x] == x: return x else: self.par[x] = self.find(self.par[x]) return self.par[x] def union(self, x, y): """ x と y のグループを結合 """ x = self.find(x) y = self.find(y) if x != y: if self.rank[x] < self.rank[y]: x, y = y, x if self.rank[x] == self.rank[y]: self.rank[x] += 1 self.par[y] = x self.size[x] += self.size[y] def is_same(self, x, y): """ x と y が同じグループか否か """ return self.find(x) == self.find(y) def get_size(self, x): """ x が属するグループの要素数 """ x = self.find(x) return self.size[x] def main(): N,M = map(int,input().split()) Q = [] S = set([]) for i in range(M): U,V = map(int,input().split()) Q.append((U,V)) S.add(U) S.add(V) L = list(S) n = len(S) #出てくる頂点の種類 L.sort() dic = {} #元の番号→座圧後の番号 revdic = {} #座圧後の番号→元の番号 for i in range(n): dic[L[i]] = i revdic[i] = L[i] ALL = [i for i in range(n)] ALL = set(ALL) G = [[] for _ in range(n)] uf = UnionFind(n) for u,v in Q: uz = dic[u] vz = dic[v] G[uz].append(vz) uf.union(uz,vz) #print(G) unidic = defaultdict(list) for i in range(n): par = uf.find(i) unidic[par].append(i) #print(unidic) #連結成分ごと ans = [] for L in unidic.values(): ALL = set(L) for v in L: for u in G[v]: ALL.discard(u) if not ALL: for i in range(len(L)): if i+1 < len(L): s = L[i]; t = L[i+1] else: s = L[i]; t = L[0] sori = revdic[s]; tori = revdic[t] ans.append([sori,tori]) continue #print(ALL) used = set([]) def dfs(v): if v in used: return used.add(v) for w in G[v]: if w in used: continue dfs(w) TS.append(w) #帰りがけで記録 TS = [] for root in ALL: #すべての始点について dfs(root) TS.append(root) TS.reverse() #最後に反転 for i in range(len(TS)-1): s = TS[i]; t = TS[i+1] sori = revdic[s]; tori = revdic[t] ret = [sori, tori] ans.append(ret) print(len(ans)) for ret in ans: print(*ret) if __name__ == '__main__': main()