Farmer John 的 $N$ 头奶牛编号为 $1$ 到 $N$（$2\le N\le 16$）。奶牛之间的朋友关系可以建模为一个有 $M$（$0\le M\le N(N-1)/2$）条边的无向图。两头奶牛为朋友当且仅当图中她们之间存在一条边。 在一次操作中，你可以添加或删除图中的一条边。计算确保以下性质成立所需的最小操作次数：如果奶牛 $a$ 和 $b$ 是朋友，则对于每头其他奶牛 $c$，$a$ 和 $b$ 中至少之一与 $c$ 是朋友。

输入的第一行包含 $N$ 和 $M$。 以下 $M$ 行，每行包含一对朋友 $a$ 和 $b$（$1\le a<b\le N$）。每对朋友出现至多一次。

输出你需要增加或删除的边的数量。