编程题
### 问题描述
设计一个包含 $ N $ 个节点的加权无向图,满足以下条件:
- 图中最小生成树和最大生成树都是唯一的。
- 最小生成树和最大生成树恰好有 $ K $ 条边是相同的。
### 输入格式
输入包含两个整数 $ N $ 和 $ K $。
### 输出格式
如果没有解决方案,输出 `-1`。
如果有解决方案,首先输出一个整数 $ M $,表示图中边的数量。
接下来的 $ M $ 行,每行包含三个整数 $ a $、$ b $ 和 $ c $,表示节点 $ a $ 和节点 $ b $ 之间有一条权值为 $ c $ 的边。
### 样例输入
```
4 1
```
### 样例输出
```
5
1 2 1
1 3 2
1 4 3
2 4 4
3 4 5
```
### 评测数据规模
- $0 \leq K < N \leq 10^5$
- 边的权值应该在 $1$ 到 $10^9$ 之间
- $ M $ 应该最多为 $ 2N $
- 不允许有多条边或自环