0x1E409D8D53CF3BEB65B5F41FB53B25EBEAF37761CD8BA996684150A40FFFFFFFF
4 5 7 11 163 1181 2389 5233 8353 10139 11939 22003 25391 41843
16 21 1 1 1 1 1 1 1 1 1 1 1 1
3 31 43 59 271 311 353 461 593 607 647 691 743 769 877 1549
56 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
