AT_abc343_e [ABC343E] 7x7x7

在坐标空间上，想要放置 $3$ 个边长为 $7$ 的立方体，使得恰好被 $1,2,3$ 个立方体包含的区域体积分别为 $V_1,V_2,V_3$。 对于 $3$ 个整数 $a,b,c$，用 $C(a,b,c)$ 表示满足 $(a\leq x\leq a+7)\land(b\leq y\leq b+7)\land(c\leq z\leq c+7)$ 的立方体区域。 请判断是否存在 $9$ 个整数 $a_1,b_1,c_1,a_2,b_2,c_2,a_3,b_3,c_3$，使得以下所有条件都成立，并在存在时给出一组解。 - $|a_1|,|b_1|,|c_1|,|a_2|,|b_2|,|c_2|,|a_3|,|b_3|,|c_3|\leq 100$。 - 设 $C_i=C(a_i,b_i,c_i)\ (i=1,2,3)$，则： - 恰好被 $C_1,C_2,C_3$ 中 $1$ 个包含的区域体积为 $V_1$。 - 恰好被 $C_1,C_2,C_3$ 中 $2$ 个包含的区域体积为 $V_2$。 - 被 $C_1,C_2,C_3$ 全部包含的区域体积为 $V_3$。

输入从标准输入读入，格式如下： $V_1\ V_2\ V_3$

如果不存在满足题意的 $9$ 个整数 $a_1,b_1,c_1,a_2,b_2,c_2,a_3,b_3,c_3$，输出 `No`。 如果存在，输出如下格式（多组解输出任意一组均可）： Yes $a_1$ $b_1$ $c_1$ $a_2$ $b_2$ $c_2$ $a_3$ $b_3$ $c_3$

### 限制 - $0\leq V_1,V_2,V_3\leq 3\times 7^3$ - 输入均为整数 ### 样例解释 1 考虑 $(a_1,b_1,c_1,a_2,b_2,c_2,a_3,b_3,c_3)=(0,0,0,0,6,0,6,0,0)$ 的情况。  该图表示 $C_1,C_2,C_3$ 的位置关系，分别对应橙色、水色、绿色立方体。此时： - $|a_1|,|b_1|,|c_1|,|a_2|,|b_2|,|c_2|,|a_3|,|b_3|,|c_3|$ 均不超过 $100$。 - $C_1,C_2,C_3$ 全部包含的区域为 $(6\leq x\leq 7)\land(6\leq y\leq 7)\land(0\leq z\leq 7)$，体积为 $(7-6)\times(7-6)\times(7-0)=7$。 - 恰好被 $2$ 个包含的区域为 $((0\leq x