Il grafo è composto da clique?

Una clique è un sottoinsieme di vertici in un grafo non orientato in cui ogni coppia di vertici distinti è connessa da un arco. In altre parole, si tratta di un sottografo completo in cui tutti i vertici sono adiacenti tra loro.
Si consideri un grafo non orientato con v vertici e e archi. Vogliamo stabilire se il grafo dato è un insieme di clique disgiunte.

Input

La prima riga dell'input contiene due interi v (1 ≤ v ≤ 1000) ed e (1 ≤ e ≤ ).
Le e righe seguenti contengono coppie di interi v1, v2 (1 ≤ v1, v2 ≤ v), che indicano che il vertice v1 è connesso al vertice v2 e viceversa.

Output

Il programma deve stampare Yes se il grafo fornito è formato da clique disgiunte, oppure No in caso contrario.

Esempi

Ingresso
Uscita
3 3 1 2 2 3 1 3
Yes
5 4 1 2 2 3 1 3 4 5
Yes
5 5 1 2 2 3 1 3 3 4 4 5
No
 

Constraints

Time limit: 2 seconds

Memory limit: 512 MB

Output limit: 1 MB

To check your solution you need to sign in
Sign in to continue