정현이는 전북대학교 컴퓨터인공지능학부 학생회장이다. 정현이는 신입생들이 서로 친해지길 바라는 의미에서 "친해지길 바라"라는 프로그램을 진행하려 한다. 이 프로그램은 서로 친구사이가 아닌 신입생 3명이 모여서 정현이에게 인증을 하면 정현이가 밥을 사주는 프로그램이다. 모인 3명의 사람 중 어느 두 명도 친구 사이이면 안된다.

정현이는 돈을 마련하기 위해, 얼마나 많은 학생들에게 밥을 사줘야 하는 경우가 생기는지 알아보려 했다. 다행히 학과 사무실에 연락해서 신입생들 중 서로 누가 친구사이 인지를 알아냈다. (조교님들은 모든 걸 알고 계신다)

정현이가 밥을 사줘야 하는 최대한의 경우를 구해보자. 한 번 사준 모임에서는 다시 사주지 않는다.

입력 설명

첫 번째 줄에 신입생의 수 \(N\)이 주어진다. \((3 <= N <= 100)\)

두 번째 줄에 신입생 친구 쌍의 수 \(M\)이 주어진다. \((0 <= M <= min(N * (N-1) / 2, 1000))\)

세 번째 줄부터 \(M\)개의 줄에 친구 사이인 두 신입생의 학번 \(A, B\)가 주어진다. \((202400001 <= A, B <= (202400000+N); A < B)\)

같은 친구 쌍은 두 번 이상 주어지지 않는다.

출력 설명

정현이가 밥을 사줄 수 있는 모임의 수를 출력한다.

예제 입력 1

10
3
202400003 202400009
202400003 202400004
202400006 202400007

예제 출력

97