在线编程：N皇后方案数

用列和两类对角线剪枝计数。

输入：一行n。
输出：输出方案数；若有方案，第二行输出首个方案每行皇后列号。
约束：1≤n≤12。

使用 Python 3 从标准输入读取，向标准输出写出唯一规定结果；不得读取文件或网络。

使用 Python 3 标准输入输出；不得使用第三方包。必须覆盖题面边界，不能只针对样例。