题号：NC201895
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
Special Judge, 64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
Special Judge, 64bit IO Format: %lld
题目描述
邦邦是图论白痴，他有一天捡到了一份模板，可以解决2-SAT问题并输出方案。 所谓2-SAT问题，指：有 
个布尔变量 
，有 
个形如 
的方程，
和 
为 或者 
，求是否存在一组 的取值满足所有方程。
戳戳是真正的图论大师，他看了看邦邦的板子，发现这段代码会超时。邦邦不相信，戳戳要赶去约会了，于是希望你构造一个数据让邦邦这段代码超时。
具体地，你需要根据给定的n按如下格式构造：
第一行输出一个整数)
，代表有 个方程。
接下来 行，给出两个数 和 )
，若数字为负数，代表 ，否则代表 。
要求保证代码中solve的返回值是true(存在至少一组解)，且
的值满足
。
戳戳是真正的图论大师，他看了看邦邦的板子，发现这段代码会超时。邦邦不相信，戳戳要赶去约会了，于是希望你构造一个数据让邦邦这段代码超时。
具体地，你需要根据给定的n按如下格式构造：
第一行输出一个整数
接下来
要求保证代码中solve的返回值是true(存在至少一组解)，且
邦邦的2-SAT模板见附录。
请点击附录上的超链接查看附录
输入描述:
读入一个整数。
输出描述:
按规定格式输出。