Identifier
Values
=>
Cc0010;cc-rep-0 Cc0014;cc-rep
[.,[.,.]]=>([(0,1)],2)=>2 [[.,.],.]=>([(0,1)],2)=>2 [.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>4 [.,[[.,.],.]]=>([(0,2),(2,1)],3)=>4 [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>1 [[.,[.,.]],.]=>([(0,2),(2,1)],3)=>4 [[[.,.],.],.]=>([(0,2),(2,1)],3)=>4 [.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>8 [.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>8 [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>2 [.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>8 [.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>8 [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>4 [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>4 [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>4 [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>4 [[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>8 [[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>8 [[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>2 [[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>8 [[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>8 [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4 [.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4 [.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>2 [[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4 [[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4 [[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4 [[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4 [[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>2 [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8 [[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4 [[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8 [[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4 [[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16 [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4 [.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4 [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4 [[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4 [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4 [[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4 [[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4 [[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4 [[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16 [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4 [[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8 [[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4 [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16 [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4 [[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8 [[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4 [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16 [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16 [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8 [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32 [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4 [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4 [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(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)=>8 [[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8 [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8 [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4 [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4 [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16 [[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8 [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8 [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8 [[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32 [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8 [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16 [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
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 size of the preimage of the map 'to poset' from Binary trees to Posets.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.