# A071612 (b-file synthesized from sequence entry)
1 13
2 13
3 71
4 733
5 1193
6 1193
7 1193
8 1193
9 1193
10 1193
11 1477271183
12 9387802769
13 15423094826093