T743372 [CFCOI] 构造图

$\text{graph.cpp, 1 s, 512 MiB}$

给定 $k,n_{\max}$ 和 $c_0,c_1,\cdots,c_k$。 请构造 $n,m$ 和 $n$ 个结点 $m$ 条边的简单有向图 $G$，设这张图结点由 $1 \sim n$ 编号，边由 $1 \sim m$ 编号，第 $i$ 条边为 $(u_i,v_i)$。 这张图需要满足： + $1 \le n \le n_{\max},k \le m \le 6 \times 10^4$； + $\forall 1 \le i \le m,u_i

第一行，$2$ 个整数 $k,n_{\max}$。 第二行，$k+1$ 个整数 $c_0,c_1,\cdots,c_k$。

若无解，输出一行 `HAMBURGER999 IS SB!!!`。 否则： 第一行输出 $2$ 个整数 $n,m$。 接下来 $m$ 行，第 $i$ 行输出两个整数 $u_i,v_i$。

#### 样例解释 注意：数据范围不满足样例，仅供参考。 对于样例 $1$：构造出来的图中，$1 \rightarrow n$ 的路径有 $2$ 条：$1 \rightarrow 3,1 \rightarrow 2 \rightarrow 3$。删去边 $(1,3)$ 后，只有第二条路径仍然存在。 对于样例 $2$：可以证明无法构造。 #### 评分规则 若报告有解，但是你构造的图不满足题目描述中所有条件，得 $0$ 分。 若错误报告无解，得 $0$ 分。 如果正确报告无解，或给出任意合法构造均可得分。 保证 $\text{checker}$ 的运行时间不超过 $\text{20 ms}$，使用空间不超过 $\text{2 MiB}$。 #### 数据范围 对于 $100\%$ 的数据，$0 \le k \le 32,0 \le c_i < 2^{32},66 \le n_{\max} \le 10^4$，且 $\forall 1 \le i \le k,c_i \le c_0$。 ::cute-table{tuack} | 测试点 | $k =$ | $c_i