题目描述

$2^n-1$ 个点的完全图，你需要找出尽量多边互不相交的三元环，输出方案。

输入格式

一行一个正整数 $n$。

输出格式

第一行输出一个整数 $m$，表示最多三元环的个数。

接下来 $m$ 行每行三个互不相同的正整数，表示一个三元环。

样例 #1

样例输入 #1

1

样例输出 #1

0

样例 #2

样例输入 #2

2

样例输出 #2

1
3 1 2

数据规模与约定

$1\leq n\leq 10$