padovanSeq 20
1 1 1 2 2 3 4 5 7 9 12 16 21 28 37 49 65 86 114 151
   (padovanSeq 64) -: padovanNth(i.64)
1
   padovanL i.10
A
B
C
AB
BC
CAB
ABBC
BCCAB
CABABBC
ABBCBCCAB
   (padovanSeq 32) -: seqLen padovanL i.32
1