# A125956 (b-file synthesized from sequence entry)
1 3
2 7
3 127
4 283
5 883
6 1523
7 4001