Labeled graded semiorders.

Terms

a(0) =1a(1) =1a(2) =3a(3) =13a(4) =99a(5) =1021a(6) =12723a(7) =185053a(8) =3076419a(9) =57537661a(10) =1195682643a(11) =27332056093a(12) =681580659939