设S 是正整数集合。S 是一个无和集，当且仅当x, y属于S 蕴含x + y不属于S 。对于任意正整数k ，如果可将{1,2,……, k}划分为n个无和子集 S₁ , S₂ ,……, S_n，称正整数k 是n可分的。记F(n) =max{ k | k 是n可分的}。试设计一个算法，对任意给定的n，计算F(n)的值。

输入数据只有1 个正整数n。

将计算出的F(n)的值以及{1,2,……,F(n)}的一个 n 划分输出。第一行是F(n)的值。接下来的 n行，每行是一个无和子集S_i 。