# A134807 (b-file synthesized from sequence entry)
1 3
2 15
3 6842
4 3913864295