# A354537 (b-file synthesized from sequence entry)
1 1
2 511
3 147573952589676412927
4 174224571863520493293247799005065324265471