Din păcate Parmenide a murit în timp ce încerca să ajungă la Congresul de Matematică Aplicată din Siracuza, aşa că sarcina lui v-a revenit vouă. Totuşi Parmenide a menţionat în treacăt înainte să plece că rezolvarea problemei se bazează în mod esenţial pe următoarele două proprietăţi ale reţelei stradale din Atena:
* $N{~1~} ≥ 2 * M{~2~}$;

* Oricum am alege o intersecţie $a$ din Atena şi alte $3$ intersecţii distincte $b$, $c$ şi $d$ legate prin drumuri de $a$, există un drum între $b$ şi $c$ sau între $c$ şi $d$ sau între $b$ şi $d$ (pot exista şi două dintre aceste drumuri sau chiar toate trei la un loc).

* Oricum am alege o intersecţie $a$ din Atena şi alte $3$ intersecţii distincte $b$, $c$ şi $d$ legate prin drumuri directe de $a$, există un drum direct între $b$ şi $c$ sau între $c$ şi $d$ sau între $b$ şi $d$ (pot exista şi două dintre aceste drumuri directe sau chiar toate trei la un loc).

Scrieţi un program care determină dacă reţeaua stradală din Sparta este inclusă în reţeaua stradală din Atena, în sensul dat de Pericle. Dacă răspunsul este afirmativ, atunci programul trebuie să determine şi mulţimile $A{~1~}, A{~2~}, ..., A{~N{~2~}~}$.