Identifier
Values
[.,.] => ([],1) => -1
[.,[.,.]] => ([(0,1)],2) => -1
[[.,.],.] => ([(0,1)],2) => -1
[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => -1
[.,[[.,.],.]] => ([(0,2),(2,1)],3) => -1
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => -1
[[.,[.,.]],.] => ([(0,2),(2,1)],3) => -1
[[[.,.],.],.] => ([(0,2),(2,1)],3) => -1
[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => -1
[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => -1
[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => -1
[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => -1
[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => -1
[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => -1
[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => -1
[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => -1
[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => -1
[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => -1
[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => -1
[[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => -1
[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => -1
[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => -1
[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => -1
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => -1
[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => -1
[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(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,2),(2,3),(3,4)],5) => -1
[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => -1
[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => -1
[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => -1
[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => -1
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => -1
[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(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,2),(2,3),(3,4)],5) => -1
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => -1
[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => -1
[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => -1
[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => -1
[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => -1
[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => -1
[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
>>> Load all 313 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => -1
[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],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,4),(2,5),(3,2),(4,3)],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,3),(3,5),(5,4)],6) => -1
[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => -1
[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => -1
[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],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,4),(2,5),(3,2),(4,3)],6) => -1
[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[.,.]],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],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,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[[.,.],.],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[[.,.],.],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],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,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[.,[.,.]]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[[.,.],.]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[[.,.],.]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[[.,.],[.,.]],[.,[.,.]]] => ([(0,4),(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,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[[[.,.],.],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[[[.,.],.],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => -1
[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => -1
[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],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,4),(2,5),(3,2),(4,3)],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,3),(3,5),(5,4)],6) => -1
[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => -1
[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => -1
[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],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,4),(2,5),(3,2),(4,3)],6) => -1
[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => -1
[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,[.,.]],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[[[.,[.,.]],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[[[[.,.],.],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[[[[.,.],.],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => -1
[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => -1
[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => -1
[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => -1
[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => -1
[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => -1
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[.,[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[.,[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[.,[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[.,[[[.,.],.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[.,[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[.,[[[.,.],[.,.]],[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[.,[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[[.,[[[.,.],[.,.]],.]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[.,[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[.,[[[.,[[.,.],[.,.]]],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[.,[[[[[.,.],[.,.]],.],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[.,.],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],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,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,4),(1,4),(2,5),(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,6),(2,5),(3,4),(4,5),(6,3)],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,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,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[.,[.,.]],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[[.,.],.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[[.,.],.],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],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,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,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,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,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[[[.,.],[.,.]],.],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => -1
[[.,[.,[[.,.],[.,.]]]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],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,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,4),(1,4),(2,5),(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,6),(2,5),(3,4),(4,5),(6,3)],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,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,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[.,[.,[[[.,.],[.,.]],.]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[.,[[.,.],[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[[.,[[[.,.],[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[[.,[[.,[[.,.],[.,.]]],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[.,[[[[.,.],[.,.]],.],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[[.,.],[.,[.,[.,[.,.]]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[[.,[.,[.,.]]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,[.,.]],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[[[[.,.],.],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[[[[.,.],[.,.]],[.,[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[[[[.,.],[.,.]],[[.,.],.]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => -1
[[[.,[.,[.,[.,.]]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[[.,[.,[.,.]]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => -1
[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => -1
[[[.,[.,[[.,.],[.,.]]]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[[.,[[[.,.],[.,.]],.]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[[[.,.],[[.,.],[.,.]]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[[[[[.,.],[.,.]],[.,.]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => -1
[[[[.,[[.,.],[.,.]]],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -1
[[[[[[.,.],[.,.]],.],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => -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
Description
The trace of the Coxeter matrix of the incidence algebra of a poset.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.