Identifier
Values
=>
Cc0021;cc-rep-0 Cc0014;cc-rep
[]=>([],1)=>1 [[]]=>([(0,1)],2)=>2 [[],[]]=>([(0,2),(1,2)],3)=>1 [[[]]]=>([(0,2),(2,1)],3)=>3 [[],[],[]]=>([(0,3),(1,3),(2,3)],4)=>1 [[],[[]]]=>([(0,3),(1,2),(2,3)],4)=>1 [[[]],[]]=>([(0,3),(1,2),(2,3)],4)=>1 [[[],[]]]=>([(0,3),(1,3),(3,2)],4)=>2 [[[[]]]]=>([(0,3),(2,1),(3,2)],4)=>4 [[],[],[],[]]=>([(0,4),(1,4),(2,4),(3,4)],5)=>1 [[],[],[[]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>1 [[],[[]],[]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>1 [[],[[],[]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>1 [[],[[[]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>1 [[[]],[],[]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>1 [[[]],[[]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>1 [[[],[]],[]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>1 [[[[]]],[]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>1 [[[],[],[]]]=>([(0,4),(1,4),(2,4),(4,3)],5)=>2 [[[],[[]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>2 [[[[]],[]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>2 [[[[],[]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>3 [[[[[]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>5 [[],[],[],[],[]]=>([(0,5),(1,5),(2,5),(3,5),(4,5)],6)=>1 [[],[],[],[[]]]=>([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>1 [[],[],[[]],[]]=>([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>1 [[],[],[[],[]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>1 [[],[],[[[]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>1 [[],[[]],[],[]]=>([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>1 [[],[[]],[[]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>1 [[],[[],[]],[]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>1 [[],[[[]]],[]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>1 [[],[[],[],[]]]=>([(0,5),(1,5),(2,5),(3,4),(5,4)],6)=>1 [[],[[],[[]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>1 [[],[[[]],[]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>1 [[],[[[],[]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>1 [[],[[[[]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>1 [[[]],[],[],[]]=>([(0,5),(1,5),(2,5),(3,4),(4,5)],6)=>1 [[[]],[],[[]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>1 [[[]],[[]],[]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>1 [[[]],[[],[]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>1 [[[]],[[[]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>1 [[[],[]],[],[]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>1 [[[[]]],[],[]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>1 [[[],[]],[[]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>1 [[[[]]],[[]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>1 [[[],[],[]],[]]=>([(0,5),(1,5),(2,5),(3,4),(5,4)],6)=>1 [[[],[[]]],[]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>1 [[[[]],[]],[]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>1 [[[[],[]]],[]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>1 [[[[[]]]],[]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>1 [[[],[],[],[]]]=>([(0,5),(1,5),(2,5),(3,5),(5,4)],6)=>2 [[[],[],[[]]]]=>([(0,5),(1,5),(2,3),(3,5),(5,4)],6)=>2 [[[],[[]],[]]]=>([(0,5),(1,5),(2,3),(3,5),(5,4)],6)=>2 [[[],[[],[]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>2 [[[],[[[]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>2 [[[[]],[],[]]]=>([(0,5),(1,5),(2,3),(3,5),(5,4)],6)=>2 [[[[]],[[]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>2 [[[[],[]],[]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>2 [[[[[]]],[]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>2 [[[[],[],[]]]]=>([(0,5),(1,5),(2,5),(3,4),(5,3)],6)=>3 [[[[],[[]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>3 [[[[[]],[]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>3 [[[[[],[]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>4 [[[[[[]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>6 [[],[],[],[],[],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>1 [[],[],[],[],[[]]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>1 [[],[],[],[[]],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>1 [[],[],[],[[],[]]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>1 [[],[],[],[[[]]]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>1 [[],[],[[]],[],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>1 [[],[],[[]],[[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[],[],[[],[]],[]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>1 [[],[],[[[]]],[]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>1 [[],[],[[],[],[]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)=>1 [[],[],[[],[[]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[],[],[[[]],[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[],[],[[[],[]]]]=>([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)=>1 [[],[],[[[[]]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7)=>1 [[],[[]],[],[],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>1 [[],[[]],[],[[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[],[[]],[[]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[],[[]],[[],[]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[],[[]],[[[]]]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[],[[],[]],[],[]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>1 [[],[[[]]],[],[]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>1 [[],[[],[]],[[]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[],[[[]]],[[]]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[],[[],[],[]],[]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)=>1 [[],[[],[[]]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[],[[[]],[]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[],[[[],[]]],[]]=>([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)=>1 [[],[[[[]]]],[]]=>([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7)=>1 [[],[[],[],[],[]]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>1 [[],[[],[],[[]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[],[[],[[]],[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[],[[],[[],[]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>1 [[],[[],[[[]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>1 [[],[[[]],[],[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[],[[[]],[[]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>1 [[],[[[],[]],[]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>1 [[],[[[[]]],[]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>1 [[],[[[],[],[]]]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7)=>1 [[],[[[],[[]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>1 [[],[[[[]],[]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>1 [[],[[[[],[]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>1 [[],[[[[[]]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>1 [[[]],[],[],[],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)=>1 [[[]],[],[],[[]]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[]],[],[[]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[]],[],[[],[]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[]],[],[[[]]]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[[]],[[]],[],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[]],[[]],[[]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>1 [[[]],[[],[]],[]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[]],[[[]]],[]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[[]],[[],[],[]]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7)=>1 [[[]],[[],[[]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>1 [[[]],[[[]],[]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>1 [[[]],[[[],[]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>1 [[[]],[[[[]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>1 [[[],[]],[],[],[]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)=>1 [[[[]]],[],[],[]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)=>1 [[[],[]],[],[[]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[[]]],[],[[]]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[[],[]],[[]],[]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>1 [[[[]]],[[]],[]]=>([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)=>1 [[[],[]],[[],[]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>1 [[[],[]],[[[]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>1 [[[[]]],[[],[]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>1 [[[[]]],[[[]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>1 [[[],[],[]],[],[]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)=>1 [[[],[[]]],[],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[[[]],[]],[],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)=>1 [[[[],[]]],[],[]]=>([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)=>1 [[[[[]]]],[],[]]=>([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7)=>1 [[[],[],[]],[[]]]=>([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7)=>1 [[[],[[]]],[[]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>1 [[[[]],[]],[[]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>1 [[[[],[]]],[[]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>1 [[[[[]]]],[[]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>1 [[[],[],[],[]],[]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)=>1 [[[],[],[[]]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[[],[[]],[]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[[],[[],[]]],[]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>1 [[[],[[[]]]],[]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>1 [[[[]],[],[]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)=>1 [[[[]],[[]]],[]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>1 [[[[],[]],[]],[]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>1 [[[[[]]],[]],[]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>1 [[[[],[],[]]],[]]=>([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7)=>1 [[[[],[[]]]],[]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>1 [[[[[]],[]]],[]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>1 [[[[[],[]]]],[]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>1 [[[[[[]]]]],[]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>1 [[[],[],[],[],[]]]=>([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)=>2 [[[],[],[],[[]]]]=>([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>2 [[[],[],[[]],[]]]=>([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>2 [[[],[],[[],[]]]]=>([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7)=>2 [[[],[],[[[]]]]]=>([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7)=>2 [[[],[[]],[],[]]]=>([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>2 [[[],[[]],[[]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>2 [[[],[[],[]],[]]]=>([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7)=>2 [[[],[[[]]],[]]]=>([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7)=>2 [[[],[[],[],[]]]]=>([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7)=>2 [[[],[[],[[]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>2 [[[],[[[]],[]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>2 [[[],[[[],[]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>2 [[[],[[[[]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>2 [[[[]],[],[],[]]]=>([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7)=>2 [[[[]],[],[[]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>2 [[[[]],[[]],[]]]=>([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>2 [[[[]],[[],[]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>2 [[[[]],[[[]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>2 [[[[],[]],[],[]]]=>([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7)=>2 [[[[[]]],[],[]]]=>([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7)=>2 [[[[],[]],[[]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>2 [[[[[]]],[[]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>2 [[[[],[],[]],[]]]=>([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7)=>2 [[[[],[[]]],[]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>2 [[[[[]],[]],[]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>2 [[[[[],[]]],[]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>2 [[[[[[]]]],[]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>2 [[[[],[],[],[]]]]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7)=>3 [[[[],[],[[]]]]]=>([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7)=>3 [[[[],[[]],[]]]]=>([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7)=>3 [[[[],[[],[]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>3 [[[[],[[[]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>3 [[[[[]],[],[]]]]=>([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7)=>3 [[[[[]],[[]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>3 [[[[[],[]],[]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>3 [[[[[[]]],[]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>3 [[[[[],[],[]]]]]=>([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7)=>4 [[[[[],[[]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>4 [[[[[[]],[]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>4 [[[[[[],[]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>5 [[[[[[[]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>7 [[],[[],[[],[[],[]]]]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[],[[],[[[],[]],[]]]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[],[[[],[]],[[],[]]]]=>([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9)=>1 [[],[[[],[[],[]]],[]]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[],[[[[],[]],[]],[]]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[[],[]],[[],[[],[]]]]=>([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9)=>1 [[[],[]],[[[],[]],[]]]=>([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9)=>1 [[[],[[],[]]],[[],[]]]=>([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9)=>1 [[[[],[]],[]],[[],[]]]=>([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9)=>1 [[[],[[],[[],[]]]],[]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[[],[[[],[]],[]]],[]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[[[],[]],[[],[]]],[]]=>([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9)=>1 [[[[],[[],[]]],[]],[]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[[[[],[]],[]],[]],[]]=>([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9)=>1 [[],[[],[[],[[],[[],[]]]]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[],[[],[[[],[]],[]]]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[],[[[],[]],[[],[]]]]]=>([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11)=>1 [[],[[],[[[],[[],[]]],[]]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[],[[[[],[]],[]],[]]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[[],[]],[[],[[],[]]]]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[],[[[],[]],[[[],[]],[]]]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[],[[[],[[],[]]],[[],[]]]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[],[[[[],[]],[]],[[],[]]]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[],[[[],[[],[[],[]]]],[]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[[],[[[],[]],[]]],[]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[[[],[]],[[],[]]],[]]]=>([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11)=>1 [[],[[[[],[[],[]]],[]],[]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[[[[],[]],[]],[]],[]]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[],[]],[[],[[],[[],[]]]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[]],[[],[[[],[]],[]]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[]],[[[],[]],[[],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11)=>1 [[[],[]],[[[],[[],[]]],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[]],[[[[],[]],[]],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[[],[]]],[[],[[],[]]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11)=>1 [[[],[[],[]]],[[[],[]],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11)=>1 [[[[],[]],[]],[[],[[],[]]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11)=>1 [[[[],[]],[]],[[[],[]],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11)=>1 [[[],[[],[[],[]]]],[[],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[[[],[]],[]]],[[],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[[],[]],[[],[]]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11)=>1 [[[[],[[],[]]],[]],[[],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[[[],[]],[]],[]],[[],[]]]=>([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11)=>1 [[[],[[],[[],[[],[]]]]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[],[[],[[[],[]],[]]]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[],[[[],[]],[[],[]]]],[]]=>([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11)=>1 [[[],[[[],[[],[]]],[]]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[],[[[[],[]],[]],[]]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[[],[]],[[],[[],[]]]],[]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[[[],[]],[[[],[]],[]]],[]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[[[],[[],[]]],[[],[]]],[]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[[[[],[]],[]],[[],[]]],[]]=>([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11)=>1 [[[[],[[],[[],[]]]],[]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[[],[[[],[]],[]]],[]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[[[],[]],[[],[]]],[]],[]]=>([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11)=>1 [[[[[],[[],[]]],[]],[]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[[[[[],[]],[]],[]],[]],[]]=>([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11)=>1 [[],[[],[[],[[],[[],[[],[]]]]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[],[[],[[[],[]],[]]]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[],[[[],[]],[[],[]]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[],[[],[[],[[[],[[],[]]],[]]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[],[[[[],[]],[]],[]]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[[],[]],[[],[[],[]]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[],[[[],[]],[[[],[]],[]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[],[[[],[[],[]]],[[],[]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[],[[[[],[]],[]],[[],[]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[],[[[],[[],[[],[]]]],[]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[[],[[[],[]],[]]],[]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[[[],[]],[[],[]]],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[],[[],[[[[],[[],[]]],[]],[]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[],[[[[[],[]],[]],[]],[]]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[],[]],[[],[[],[[],[]]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[]],[[],[[[],[]],[]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[]],[[[],[]],[[],[]]]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13)=>1 [[],[[[],[]],[[[],[[],[]]],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[]],[[[[],[]],[]],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[[],[]]],[[],[[],[]]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[],[[[],[[],[]]],[[[],[]],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[],[[[[],[]],[]],[[],[[],[]]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[],[[[[],[]],[]],[[[],[]],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[],[[[],[[],[[],[]]]],[[],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[[[],[]],[]]],[[],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[[],[]],[[],[]]],[[],[]]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13)=>1 [[],[[[[],[[],[]]],[]],[[],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[[[],[]],[]],[]],[[],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[],[[[],[[],[[],[[],[]]]]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[],[[],[[[],[]],[]]]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[],[[[],[]],[[],[]]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[],[[[],[[[],[[],[]]],[]]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[],[[[[],[]],[]],[]]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[[],[]],[[],[[],[]]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[[[],[]],[[[],[]],[]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[[[],[[],[]]],[[],[]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[[[[],[]],[]],[[],[]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[],[[[[],[[],[[],[]]]],[]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[[],[[[],[]],[]]],[]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[[[],[]],[[],[]]],[]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[],[[[[[],[[],[]]],[]],[]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[],[[[[[[],[]],[]],[]],[]],[]]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[]],[[],[[],[[],[[],[]]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[],[[],[[[],[]],[]]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[],[[[],[]],[[],[]]]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13)=>1 [[[],[]],[[],[[[],[[],[]]],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[],[[[[],[]],[]],[]]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[[],[]],[[],[[],[]]]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[],[]],[[[],[]],[[[],[]],[]]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[],[]],[[[],[[],[]]],[[],[]]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[],[]],[[[[],[]],[]],[[],[]]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[],[]],[[[],[[],[[],[]]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[[],[[[],[]],[]]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[[[],[]],[[],[]]],[]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13)=>1 [[[],[]],[[[[],[[],[]]],[]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[]],[[[[[],[]],[]],[]],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[[],[]]],[[],[[],[[],[]]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[]]],[[],[[[],[]],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[]]],[[[],[]],[[],[]]]]=>([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13)=>1 [[[],[[],[]]],[[[],[[],[]]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[]]],[[[[],[]],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[]],[]],[[],[[],[[],[]]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[]],[]],[[],[[[],[]],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[]],[]],[[[],[]],[[],[]]]]=>([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13)=>1 [[[[],[]],[]],[[[],[[],[]]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[]],[]],[[[[],[]],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[[],[]]]],[[],[[],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[[],[]]]],[[[],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[[],[]],[]]],[[],[[],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[[],[]],[]]],[[[],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[]],[[],[]]],[[],[[],[]]]]=>([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13)=>1 [[[[],[]],[[],[]]],[[[],[]],[]]]=>([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13)=>1 [[[[],[[],[]]],[]],[[],[[],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[],[[],[]]],[]],[[[],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[[],[]],[]],[]],[[],[[],[]]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[[[],[]],[]],[]],[[[],[]],[]]]=>([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13)=>1 [[[],[[],[[],[[],[]]]]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[[],[[[],[]],[]]]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[[[],[]],[[],[]]]],[[],[]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13)=>1 [[[],[[[],[[],[]]],[]]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[[[[],[]],[]],[]]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[[],[]],[[],[[],[]]]],[[],[]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[[],[]],[[[],[]],[]]],[[],[]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[[],[[],[]]],[[],[]]],[[],[]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[[[],[]],[]],[[],[]]],[[],[]]]=>([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13)=>1 [[[[],[[],[[],[]]]],[]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[[],[[[],[]],[]]],[]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[[[],[]],[[],[]]],[]],[[],[]]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13)=>1 [[[[[],[[],[]]],[]],[]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[[[[],[]],[]],[]],[]],[[],[]]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)=>1 [[[],[[],[[],[[],[[],[]]]]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[],[[],[[[],[]],[]]]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[],[[[],[]],[[],[]]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[[],[[],[[[],[[],[]]],[]]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[],[[[[],[]],[]],[]]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[[],[]],[[],[[],[]]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[],[[[],[]],[[[],[]],[]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[],[[[],[[],[]]],[[],[]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[],[[[[],[]],[]],[[],[]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[],[[[],[[],[[],[]]]],[]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[[],[[[],[]],[]]],[]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[[[],[]],[[],[]]],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[[],[[[[],[[],[]]],[]],[]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[],[[[[[],[]],[]],[]],[]]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[],[]],[[],[[],[[],[]]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[]],[[],[[[],[]],[]]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[]],[[[],[]],[[],[]]]],[]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13)=>1 [[[[],[]],[[[],[[],[]]],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[]],[[[[],[]],[]],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[[],[]]],[[],[[],[]]]],[]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[[[],[[],[]]],[[[],[]],[]]],[]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[[[[],[]],[]],[[],[[],[]]]],[]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[[[[],[]],[]],[[[],[]],[]]],[]]=>([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13)=>1 [[[[],[[],[[],[]]]],[[],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[[[],[]],[]]],[[],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[[],[]],[[],[]]],[[],[]]],[]]=>([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13)=>1 [[[[[],[[],[]]],[]],[[],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[[[],[]],[]],[]],[[],[]]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13)=>1 [[[[],[[],[[],[[],[]]]]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[],[[],[[[],[]],[]]]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[],[[[],[]],[[],[]]]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[[[],[[[],[[],[]]],[]]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[],[[[[],[]],[]],[]]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[[],[]],[[],[[],[]]]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[[[],[]],[[[],[]],[]]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[[[],[[],[]]],[[],[]]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[[[[],[]],[]],[[],[]]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13)=>1 [[[[[],[[],[[],[]]]],[]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[[],[[[],[]],[]]],[]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[[[],[]],[[],[]]],[]],[]],[]]=>([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)=>1 [[[[[[],[[],[]]],[]],[]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1 [[[[[[[],[]],[]],[]],[]],[]],[]]=>([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13)=>1
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of maximal antichains of minimal length in a poset.
Map
to poset
Description
Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.