# A087725 (b-file synthesized from sequence entry)
1 0
2 6
3 31
4 80