diff options
Diffstat (limited to 'src/primes.h')
| -rw-r--r-- | src/primes.h | 4014 |
1 files changed, 4014 insertions, 0 deletions
diff --git a/src/primes.h b/src/primes.h new file mode 100644 index 0000000..f608966 --- /dev/null +++ b/src/primes.h @@ -0,0 +1,4014 @@ +/* Generated file -- DO NOT EDIT */ + +#define WIDE_UINT_BITS 128 +P (1, 26, + (((((uintmax_t) 0xaaaaU << 28 | 0xaaaaaaaU) + << 28 | 0xaaaaaaaU) + << 28 | 0xaaaaaaaU) + << 28 | 0xaaaaaabU), + UINTMAX_MAX / 3) +P (2, 26, + (((((uintmax_t) 0xccccU << 28 | 0xcccccccU) + << 28 | 0xcccccccU) + << 28 | 0xcccccccU) + << 28 | 0xccccccdU), + UINTMAX_MAX / 5) +P (2, 30, + (((((uintmax_t) 0xb6dbU << 28 | 0x6db6db6U) + << 28 | 0xdb6db6dU) + << 28 | 0xb6db6dbU) + << 28 | 0x6db6db7U), + UINTMAX_MAX / 7) +P (4, 30, + (((((uintmax_t) 0xa2e8U << 28 | 0xba2e8baU) + << 28 | 0x2e8ba2eU) + << 28 | 0x8ba2e8bU) + << 28 | 0xa2e8ba3U), + UINTMAX_MAX / 11) +P (2, 30, + (((((uintmax_t) 0xc4ecU << 28 | 0x4ec4ec4U) + << 28 | 0xec4ec4eU) + << 28 | 0xc4ec4ecU) + << 28 | 0x4ec4ec5U), + UINTMAX_MAX / 13) +P (4, 30, + (((((uintmax_t) 0xf0f0U << 28 | 0xf0f0f0fU) + << 28 | 0x0f0f0f0U) + << 28 | 0xf0f0f0fU) + << 28 | 0x0f0f0f1U), + UINTMAX_MAX / 17) +P (2, 34, + (((((uintmax_t) 0xbca1U << 28 | 0xaf286bcU) + << 28 | 0xa1af286U) + << 28 | 0xbca1af2U) + << 28 | 0x86bca1bU), + UINTMAX_MAX / 19) +P (4, 36, + (((((uintmax_t) 0x4de9U << 28 | 0xbd37a6fU) + << 28 | 0x4de9bd3U) + << 28 | 0x7a6f4deU) + << 28 | 0x9bd37a7U), + UINTMAX_MAX / 23) +P (6, 32, + (((((uintmax_t) 0xc234U << 28 | 0xf72c234U) + << 28 | 0xf72c234U) + << 28 | 0xf72c234U) + << 28 | 0xf72c235U), + UINTMAX_MAX / 29) +P (2, 36, + (((((uintmax_t) 0xdef7U << 28 | 0xbdef7bdU) + << 28 | 0xef7bdefU) + << 28 | 0x7bdef7bU) + << 28 | 0xdef7bdfU), + UINTMAX_MAX / 31) +P (6, 34, + (((((uintmax_t) 0xc1baU << 28 | 0xcf914c1U) + << 28 | 0xbacf914U) + << 28 | 0xc1bacf9U) + << 28 | 0x14c1badU), + UINTMAX_MAX / 37) +P (4, 32, + (((((uintmax_t) 0x18f9U << 28 | 0xc18f9c1U) + << 28 | 0x8f9c18fU) + << 28 | 0x9c18f9cU) + << 28 | 0x18f9c19U), + UINTMAX_MAX / 41) +P (2, 36, + (((((uintmax_t) 0xbe82U << 28 | 0xfa0be82U) + << 28 | 0xfa0be82U) + << 28 | 0xfa0be82U) + << 28 | 0xfa0be83U), + UINTMAX_MAX / 43) +P (4, 36, + (((((uintmax_t) 0x3677U << 28 | 0xd46cefaU) + << 28 | 0x8d9df51U) + << 28 | 0xb3bea36U) + << 28 | 0x77d46cfU), + UINTMAX_MAX / 47) +P (6, 36, + (((((uintmax_t) 0x1352U << 28 | 0x1cfb2b7U) + << 28 | 0x8c13521U) + << 28 | 0xcfb2b78U) + << 28 | 0xc13521dU), + UINTMAX_MAX / 53) +P (6, 38, + (((((uintmax_t) 0x8f2fU << 28 | 0xba93868U) + << 28 | 0x22b63cbU) + << 28 | 0xeea4e1aU) + << 28 | 0x08ad8f3U), + UINTMAX_MAX / 59) +P (2, 40, + (((((uintmax_t) 0x14fbU << 28 | 0xcda3ac1U) + << 28 | 0x0c9714fU) + << 28 | 0xbcda3acU) + << 28 | 0x10c9715U), + UINTMAX_MAX / 61) +P (6, 36, + (((((uintmax_t) 0xc2ddU << 28 | 0x9ca81e9U) + << 28 | 0x131abf0U) + << 28 | 0xb7672a0U) + << 28 | 0x7a44c6bU), + UINTMAX_MAX / 67) +P (4, 36, + (((((uintmax_t) 0x4f52U << 28 | 0xedf8c9eU) + << 28 | 0xa5dbf19U) + << 28 | 0x3d4bb7eU) + << 28 | 0x327a977U), + UINTMAX_MAX / 71) +P (2, 36, + (((((uintmax_t) 0x3f1fU << 28 | 0x8fc7e3fU) + << 28 | 0x1f8fc7eU) + << 28 | 0x3f1f8fcU) + << 28 | 0x7e3f1f9U), + UINTMAX_MAX / 73) +P (6, 34, + (((((uintmax_t) 0xd5dfU << 28 | 0x984dc5aU) + << 28 | 0xbbf309bU) + << 28 | 0x8b577e6U) + << 28 | 0x13716afU), + UINTMAX_MAX / 79) +P (4, 44, + (((((uintmax_t) 0x2818U << 28 | 0xacb90f6U) + << 28 | 0xbf3a9a3U) + << 28 | 0x784a062U) + << 28 | 0xb2e43dbU), + UINTMAX_MAX / 83) +P (6, 42, + (((((uintmax_t) 0xd1faU << 28 | 0x3f47e8fU) + << 28 | 0xd1fa3f4U) + << 28 | 0x7e8fd1fU) + << 28 | 0xa3f47e9U), + UINTMAX_MAX / 89) +P (8, 40, + (((((uintmax_t) 0x5f02U << 28 | 0xa3a0fd5U) + << 28 | 0xc5f02a3U) + << 28 | 0xa0fd5c5U) + << 28 | 0xf02a3a1U), + UINTMAX_MAX / 97) +P (4, 38, + (((((uintmax_t) 0xc32bU << 28 | 0x16cfd77U) + << 28 | 0x20f353aU) + << 28 | 0x4c0a237U) + << 28 | 0xc32b16dU), + UINTMAX_MAX / 101) +P (2, 46, + (((((uintmax_t) 0xd0c6U << 28 | 0xd5bf60eU) + << 28 | 0xe9a18daU) + << 28 | 0xb7ec1ddU) + << 28 | 0x3431b57U), + UINTMAX_MAX / 103) +P (4, 44, + (((((uintmax_t) 0xa2b1U << 28 | 0x0bf66e0U) + << 28 | 0xe5aea77U) + << 28 | 0xa04c8f8U) + << 28 | 0xd28ac43U), + UINTMAX_MAX / 107) +P (2, 48, + (((((uintmax_t) 0xc096U << 28 | 0x4fda6c0U) + << 28 | 0x964fda6U) + << 28 | 0xc0964fdU) + << 28 | 0xa6c0965U), + UINTMAX_MAX / 109) +P (4, 50, + (((((uintmax_t) 0xc090U << 28 | 0xfdbc090U) + << 28 | 0xfdbc090U) + << 28 | 0xfdbc090U) + << 28 | 0xfdbc091U), + UINTMAX_MAX / 113) +P (14, 40, + (((((uintmax_t) 0xbf7eU << 28 | 0xfdfbf7eU) + << 28 | 0xfdfbf7eU) + << 28 | 0xfdfbf7eU) + << 28 | 0xfdfbf7fU), + UINTMAX_MAX / 127) +P (4, 42, + (((((uintmax_t) 0xf82eU << 28 | 0xe6986d6U) + << 28 | 0xf63aa03U) + << 28 | 0xe88cb3cU) + << 28 | 0x9484e2bU), + UINTMAX_MAX / 131) +P (6, 42, + (((((uintmax_t) 0x21a2U << 28 | 0x91c0779U) + << 28 | 0x75b8fe2U) + << 28 | 0x1a291c0U) + << 28 | 0x77975b9U), + UINTMAX_MAX / 137) +P (2, 42, + (((((uintmax_t) 0xa212U << 28 | 0x6ad1f4fU) + << 28 | 0x31ba03aU) + << 28 | 0xef6ca97U) + << 28 | 0x0586723U), + UINTMAX_MAX / 139) +P (10, 42, + (((((uintmax_t) 0x93c2U << 28 | 0x25cc74dU) + << 28 | 0x50c06dfU) + << 28 | 0x5b0f768U) + << 28 | 0xce2cabdU), + UINTMAX_MAX / 149) +P (2, 42, + (((((uintmax_t) 0x26feU << 28 | 0x4dfc9bfU) + << 28 | 0x937f26fU) + << 28 | 0xe4dfc9bU) + << 28 | 0xf937f27U), + UINTMAX_MAX / 151) +P (6, 40, + (((((uintmax_t) 0x0685U << 28 | 0xb4fe5e9U) + << 28 | 0x2c0685bU) + << 28 | 0x4fe5e92U) + << 28 | 0xc0685b5U), + UINTMAX_MAX / 157) +P (6, 36, + (((((uintmax_t) 0x8bc7U << 28 | 0x75ca99eU) + << 28 | 0xa03241fU) + << 28 | 0x693a1c4U) + << 28 | 0x51ab30bU), + UINTMAX_MAX / 163) +P (4, 44, + (((((uintmax_t) 0x513eU << 28 | 0xd9ad38bU) + << 28 | 0x7f3bc8dU) + << 28 | 0x07aa27dU) + << 28 | 0xb35a717U), + UINTMAX_MAX / 167) +P (6, 50, + (((((uintmax_t) 0x133cU << 28 | 0xaba736cU) + << 28 | 0x05eb488U) + << 28 | 0x2383b30U) + << 28 | 0xd516325U), + UINTMAX_MAX / 173) +P (6, 48, + (((((uintmax_t) 0x0e4dU << 28 | 0x3aa30a0U) + << 28 | 0x2dc3eedU) + << 28 | 0x6866f8dU) + << 28 | 0x962ae7bU), + UINTMAX_MAX / 179) +P (2, 48, + (((((uintmax_t) 0x6fbcU << 28 | 0x1c498c0U) + << 28 | 0x5a84f34U) + << 28 | 0x54dca41U) + << 28 | 0x0f8ed9dU), + UINTMAX_MAX / 181) +P (10, 42, + (((((uintmax_t) 0x7749U << 28 | 0xb79f7f5U) + << 28 | 0x470961dU) + << 28 | 0x7ca632eU) + << 28 | 0xe936f3fU), + UINTMAX_MAX / 191) +P (2, 46, + (((((uintmax_t) 0x9094U << 28 | 0x8f40feaU) + << 28 | 0xc6f6b70U) + << 28 | 0xbf01539U) + << 28 | 0x0948f41U), + UINTMAX_MAX / 193) +P (4, 44, + (((((uintmax_t) 0x0bb2U << 28 | 0x07cc053U) + << 28 | 0x2ae21c9U) + << 28 | 0x6bdb9d3U) + << 28 | 0xd137e0dU), + UINTMAX_MAX / 197) +P (2, 52, + (((((uintmax_t) 0x7a36U << 28 | 0x07b7f5bU) + << 28 | 0x5630e26U) + << 28 | 0x97cc8aeU) + << 28 | 0xf46c0f7U), + UINTMAX_MAX / 199) +P (12, 46, + (((((uintmax_t) 0x2f51U << 28 | 0x4a026d3U) + << 28 | 0x1be7bc0U) + << 28 | 0xe8f2a76U) + << 28 | 0xe68575bU), + UINTMAX_MAX / 211) +P (12, 40, + (((((uintmax_t) 0xdd8fU << 28 | 0x7f6d0eeU) + << 28 | 0xc7bfb68U) + << 28 | 0x7763dfdU) + << 28 | 0xb43bb1fU), + UINTMAX_MAX / 223) +P (4, 42, + (((((uintmax_t) 0x766aU << 28 | 0x024168eU) + << 28 | 0x18cf81bU) + << 28 | 0x10ea929U) + << 28 | 0xba144cbU), + UINTMAX_MAX / 227) +P (2, 42, + (((((uintmax_t) 0x0c4cU << 28 | 0x0478bbcU) + << 28 | 0xecfee1dU) + << 28 | 0x10c4c04U) + << 28 | 0x78bbcedU), + UINTMAX_MAX / 229) +P (4, 44, + (((((uintmax_t) 0x758fU << 28 | 0xee6bac7U) + << 28 | 0xf735d63U) + << 28 | 0xfb9aeb1U) + << 28 | 0xfdcd759U), + UINTMAX_MAX / 233) +P (6, 42, + (((((uintmax_t) 0x077fU << 28 | 0x76e538cU) + << 28 | 0x5167e64U) + << 28 | 0xafaa4f4U) + << 28 | 0x37b2e0fU), + UINTMAX_MAX / 239) +P (2, 42, + (((((uintmax_t) 0x10feU << 28 | 0xf010fefU) + << 28 | 0x010fef0U) + << 28 | 0x10fef01U) + << 28 | 0x0fef011U), + UINTMAX_MAX / 241) +P (10, 42, + (((((uintmax_t) 0xa020U << 28 | 0xa32fefaU) + << 28 | 0xe680828U) + << 28 | 0xcbfbeb9U) + << 28 | 0xa020a33U), + UINTMAX_MAX / 251) +P (6, 50, + (((((uintmax_t) 0xff00U << 28 | 0xff00ff0U) + << 28 | 0x0ff00ffU) + << 28 | 0x00ff00fU) + << 28 | 0xf00ff01U), + UINTMAX_MAX / 257) +P (6, 48, + (((((uintmax_t) 0xf836U << 28 | 0x826ef73U) + << 28 | 0xd52bcd6U) + << 28 | 0x24fd147U) + << 28 | 0x0e99cb7U), + UINTMAX_MAX / 263) +P (6, 44, + (((((uintmax_t) 0x3ce8U << 28 | 0x354b2eaU) + << 28 | 0x1c8cd8fU) + << 28 | 0xb3ddbd6U) + << 28 | 0x205b5c5U), + UINTMAX_MAX / 269) +P (2, 46, + (((((uintmax_t) 0x8715U << 28 | 0xba188f9U) + << 28 | 0x63302d5U) + << 28 | 0x7da36caU) + << 28 | 0x27acdefU), + UINTMAX_MAX / 271) +P (6, 54, + (((((uintmax_t) 0xb25eU << 28 | 0x4463cffU) + << 28 | 0x13686eeU) + << 28 | 0x70c03b2U) + << 28 | 0x5e4463dU), + UINTMAX_MAX / 277) +P (4, 56, + (((((uintmax_t) 0x6c69U << 28 | 0xae01d27U) + << 28 | 0x2ca3fc5U) + << 28 | 0xb1a6b80U) + << 28 | 0x749cb29U), + UINTMAX_MAX / 281) +P (2, 64, + (((((uintmax_t) 0xf26eU << 28 | 0x5c44bfcU) + << 28 | 0x61b2347U) + << 28 | 0x768073cU) + << 28 | 0x9b97113U), + UINTMAX_MAX / 283) +P (10, 56, + (((((uintmax_t) 0xb07dU << 28 | 0xd0d1b15U) + << 28 | 0xd7cf125U) + << 28 | 0x91e9488U) + << 28 | 0x4ce32adU), + UINTMAX_MAX / 293) +P (14, 46, + (((((uintmax_t) 0xd2f8U << 28 | 0x7ebfcaaU) + << 28 | 0x1c5a0f0U) + << 28 | 0x2806abcU) + << 28 | 0x74be1fbU), + UINTMAX_MAX / 307) +P (4, 48, + (((((uintmax_t) 0xbe25U << 28 | 0xdd6d7aaU) + << 28 | 0x646ca7eU) + << 28 | 0xc3e8f3aU) + << 28 | 0x7198487U), + UINTMAX_MAX / 311) +P (2, 54, + (((((uintmax_t) 0xbc1dU << 28 | 0x71afd8bU) + << 28 | 0xdc03458U) + << 28 | 0x550f8a3U) + << 28 | 0x9409d09U), + UINTMAX_MAX / 313) +P (4, 56, + (((((uintmax_t) 0x2ed6U << 28 | 0xd05a72aU) + << 28 | 0xcd1f7ecU) + << 28 | 0x9e48ae6U) + << 28 | 0xf71de15U), + UINTMAX_MAX / 317) +P (14, 48, + (((((uintmax_t) 0x62ffU << 28 | 0x3a018bfU) + << 28 | 0xce8062fU) + << 28 | 0xf3a018bU) + << 28 | 0xfce8063U), + UINTMAX_MAX / 331) +P (6, 46, + (((((uintmax_t) 0x3fcfU << 28 | 0x61fe7b0U) + << 28 | 0xff3d87fU) + << 28 | 0x9ec3fcfU) + << 28 | 0x61fe7b1U), + UINTMAX_MAX / 337) +P (10, 42, + (((((uintmax_t) 0x398bU << 28 | 0x6f668c2U) + << 28 | 0xc43df89U) + << 28 | 0xf5abe57U) + << 28 | 0x0e046d3U), + UINTMAX_MAX / 347) +P (2, 48, + (((((uintmax_t) 0x8c1aU << 28 | 0x682913cU) + << 28 | 0xe1ecedaU) + << 28 | 0x971b23fU) + << 28 | 0x1545af5U), + UINTMAX_MAX / 349) +P (4, 48, + (((((uintmax_t) 0x0b9aU << 28 | 0x7862a0fU) + << 28 | 0xf465879U) + << 28 | 0xd5f00b9U) + << 28 | 0xa7862a1U), + UINTMAX_MAX / 353) +P (6, 50, + (((((uintmax_t) 0xe7c1U << 28 | 0x3f77161U) + << 28 | 0xb18f54dU) + << 28 | 0xba1df32U) + << 28 | 0xa128a57U), + UINTMAX_MAX / 359) +P (8, 52, + (((((uintmax_t) 0x7318U << 28 | 0x6a06f9bU) + << 28 | 0x8d9a287U) + << 28 | 0x530217bU) + << 28 | 0x7747d8fU), + UINTMAX_MAX / 367) +P (6, 48, + (((((uintmax_t) 0x7c39U << 28 | 0xa6c708eU) + << 28 | 0xc18b530U) + << 28 | 0xbaae53bU) + << 28 | 0xb5e06ddU), + UINTMAX_MAX / 373) +P (6, 52, + (((((uintmax_t) 0x3763U << 28 | 0x4af9ebbU) + << 28 | 0xc742deeU) + << 28 | 0x70206c1U) + << 28 | 0x2e9b5b3U), + UINTMAX_MAX / 379) +P (4, 50, + (((((uintmax_t) 0x5035U << 28 | 0x78fb523U) + << 28 | 0x6cf34cdU) + << 28 | 0xde9462eU) + << 28 | 0xc9dbe7fU), + UINTMAX_MAX / 383) +P (6, 50, + (((((uintmax_t) 0xbcdfU << 28 | 0xc0d2975U) + << 28 | 0xccab1afU) + << 28 | 0xb64b05eU) + << 28 | 0xc41cf4dU), + UINTMAX_MAX / 389) +P (8, 46, + (((((uintmax_t) 0xf5aeU << 28 | 0xc02944fU) + << 28 | 0xf5aec02U) + << 28 | 0x944ff5aU) + << 28 | 0xec02945U), + UINTMAX_MAX / 397) +P (4, 48, + (((((uintmax_t) 0xc7d2U << 28 | 0x08f00a3U) + << 28 | 0x6e71a2cU) + << 28 | 0xb033128U) + << 28 | 0x382df71U), + UINTMAX_MAX / 401) +P (8, 48, + (((((uintmax_t) 0xd38fU << 28 | 0x55c0280U) + << 28 | 0xf05a21cU) + << 28 | 0xcacc0c8U) + << 28 | 0x4b1c2a9U), + UINTMAX_MAX / 409) +P (10, 42, + (((((uintmax_t) 0xca3bU << 28 | 0xe03aa76U) + << 28 | 0x87a3219U) + << 28 | 0xa93db57U) + << 28 | 0x5eb3a0bU), + UINTMAX_MAX / 419) +P (2, 42, + (((((uintmax_t) 0x6a69U << 28 | 0xce2344bU) + << 28 | 0x66c3cceU) + << 28 | 0xbeef94fU) + << 28 | 0xa86fe2dU), + UINTMAX_MAX / 421) +P (10, 36, + (((((uintmax_t) 0xfecfU << 28 | 0xe37d53bU) + << 28 | 0xfd9fc6fU) + << 28 | 0xaa77fb3U) + << 28 | 0xf8df54fU), + UINTMAX_MAX / 431) +P (2, 46, + (((((uintmax_t) 0xa58aU << 28 | 0xf00975aU) + << 28 | 0x750ff68U) + << 28 | 0xa58af00U) + << 28 | 0x975a751U), + UINTMAX_MAX / 433) +P (6, 48, + (((((uintmax_t) 0xdc6dU << 28 | 0xa187df5U) + << 28 | 0x80dfed5U) + << 28 | 0x6e36d0cU) + << 28 | 0x3efac07U), + UINTMAX_MAX / 439) +P (4, 48, + (((((uintmax_t) 0x8fe4U << 28 | 0x4308ab0U) + << 28 | 0xd4a8bd8U) + << 28 | 0xb44c47aU) + << 28 | 0x8299b73U), + UINTMAX_MAX / 443) +P (6, 50, + (((((uintmax_t) 0xf1bfU << 28 | 0x0091f5bU) + << 28 | 0xcb8bb02U) + << 28 | 0xd9ccaf9U) + << 28 | 0xba70e41U), + UINTMAX_MAX / 449) +P (8, 46, + (((((uintmax_t) 0x5e1cU << 28 | 0x023d9e8U) + << 28 | 0x78ff709U) + << 28 | 0x85e1c02U) + << 28 | 0x3d9e879U), + UINTMAX_MAX / 457) +P (4, 48, + (((((uintmax_t) 0x7880U << 28 | 0xd53da3dU) + << 28 | 0x15a842aU) + << 28 | 0x343316cU) + << 28 | 0x494d305U), + UINTMAX_MAX / 461) +P (2, 58, + (((((uintmax_t) 0x1ddbU << 28 | 0x81ef699U) + << 28 | 0xb5e8c70U) + << 28 | 0xcb7916aU) + << 28 | 0xb67652fU), + UINTMAX_MAX / 463) +P (4, 56, + (((((uintmax_t) 0xf364U << 28 | 0x5121706U) + << 28 | 0x07acad3U) + << 28 | 0x98f132fU) + << 28 | 0xb10fe5bU), + UINTMAX_MAX / 467) +P (12, 62, + (((((uintmax_t) 0xadb1U << 28 | 0xf8848afU) + << 28 | 0x4c6d06fU) + << 28 | 0x2a38a6bU) + << 28 | 0xf54fa1fU), + UINTMAX_MAX / 479) +P (8, 60, + (((((uintmax_t) 0xd9a0U << 28 | 0x541b55aU) + << 28 | 0xf0c1721U) + << 28 | 0x1df689bU) + << 28 | 0x98f81d7U), + UINTMAX_MAX / 487) +P (4, 66, + (((((uintmax_t) 0x673bU << 28 | 0xf592825U) + << 28 | 0x8a2ac0eU) + << 28 | 0x994983eU) + << 28 | 0x90f1ec3U), + UINTMAX_MAX / 491) +P (8, 64, + (((((uintmax_t) 0x0ddaU << 28 | 0x093c062U) + << 28 | 0x8041aadU) + << 28 | 0x671e44bU) + << 28 | 0xed87f3bU), + UINTMAX_MAX / 499) +P (4, 66, + (((((uintmax_t) 0xa9fcU << 28 | 0xf24229bU) + << 28 | 0xbcd1af9U) + << 28 | 0x623a051U) + << 28 | 0x6e70fc7U), + UINTMAX_MAX / 503) +P (6, 62, + (((((uintmax_t) 0xcbb1U << 28 | 0x8a4f773U) + << 28 | 0x2cc324bU) + << 28 | 0x7129be9U) + << 28 | 0xdece355U), + UINTMAX_MAX / 509) +P (12, 56, + (((((uintmax_t) 0x01f7U << 28 | 0x27cce5fU) + << 28 | 0x530a519U) + << 28 | 0x0f3b747U) + << 28 | 0x3f62c39U), + UINTMAX_MAX / 521) +P (2, 64, + (((((uintmax_t) 0x6da4U << 28 | 0xf4bdeb7U) + << 28 | 0x1121c63U) + << 28 | 0xdacc9aaU) + << 28 | 0xd46f9a3U), + UINTMAX_MAX / 523) +P (18, 52, + (((((uintmax_t) 0x4d9aU << 28 | 0xbc552cfU) + << 28 | 0x42b88c1U) + << 28 | 0x108fda2U) + << 28 | 0x4e8d035U), + UINTMAX_MAX / 541) +P (6, 52, + (((((uintmax_t) 0x141fU << 28 | 0xd312409U) + << 28 | 0x5c328b7U) + << 28 | 0x7578472U) + << 28 | 0x319bd8bU), + UINTMAX_MAX / 547) +P (10, 44, + (((((uintmax_t) 0xddfdU << 28 | 0x3e0bf32U) + << 28 | 0x18d1947U) + << 28 | 0x3d20a1cU) + << 28 | 0x7ed9da5U), + UINTMAX_MAX / 557) +P (6, 44, + (((((uintmax_t) 0xdb2bU << 28 | 0x3278f3bU) + << 28 | 0x910d2fbU) + << 28 | 0xe85af0fU) + << 28 | 0xea2c8fbU), + UINTMAX_MAX / 563) +P (6, 44, + (((((uintmax_t) 0xcb5cU << 28 | 0x3b636e3U) + << 28 | 0xa7d1358U) + << 28 | 0xa1f7e6cU) + << 28 | 0xe0f4c09U), + UINTMAX_MAX / 569) +P (2, 46, + (((((uintmax_t) 0x1bcbU << 28 | 0xfe34e75U) + << 28 | 0x76cf21aU) + << 28 | 0x00e58c5U) + << 28 | 0x44986f3U), + UINTMAX_MAX / 571) +P (6, 42, + (((((uintmax_t) 0x6b5eU << 28 | 0x80aa5efU) + << 28 | 0x23f0071U) + << 28 | 0x94a17f5U) + << 28 | 0x5a10dc1U), + UINTMAX_MAX / 577) +P (10, 44, + (((((uintmax_t) 0x9a62U << 28 | 0x8feb110U) + << 28 | 0x22e3a70U) + << 28 | 0x8494478U) + << 28 | 0x5e33763U), + UINTMAX_MAX / 587) +P (6, 48, + (((((uintmax_t) 0xbe61U << 28 | 0x909eddeU) + << 28 | 0x53c01baU) + << 28 | 0x10679bdU) + << 28 | 0x84886b1U), + UINTMAX_MAX / 593) +P (6, 44, + (((((uintmax_t) 0x4febU << 28 | 0x7c5e05fU) + << 28 | 0xbb9e8ebU) + << 28 | 0xe9c6bb3U) + << 28 | 0x1260967U), + UINTMAX_MAX / 599) +P (2, 46, + (((((uintmax_t) 0x1ff2U << 28 | 0x5e8ff92U) + << 28 | 0xf47fc97U) + << 28 | 0xa3fe4bdU) + << 28 | 0x1ff25e9U), + UINTMAX_MAX / 601) +P (6, 46, + (((((uintmax_t) 0x3014U << 28 | 0x3e6b1faU) + << 28 | 0x187616cU) + << 28 | 0x6388395U) + << 28 | 0xb84d99fU), + UINTMAX_MAX / 607) +P (6, 46, + (((((uintmax_t) 0xd491U << 28 | 0x54c6c94U) + << 28 | 0xac0f08cU) + << 28 | 0x51da6a1U) + << 28 | 0x335df6dU), + UINTMAX_MAX / 613) +P (4, 44, + (((((uintmax_t) 0x9b97U << 28 | 0x71454a4U) + << 28 | 0x4e00d46U) + << 28 | 0xf323447U) + << 28 | 0x5d5add9U), + UINTMAX_MAX / 617) +P (2, 54, + (((((uintmax_t) 0x3abaU << 28 | 0x1b4baefU) + << 28 | 0x0b2a990U) + << 28 | 0x5605ca3U) + << 28 | 0xc619a43U), + UINTMAX_MAX / 619) +P (12, 46, + (((((uintmax_t) 0xcc11U << 28 | 0xd9dd1bfU) + << 28 | 0xe608eceU) + << 28 | 0xe8dff30U) + << 28 | 0x4767747U), + UINTMAX_MAX / 631) +P (10, 42, + (((((uintmax_t) 0xff99U << 28 | 0xc27f006U) + << 28 | 0x63d80ffU) + << 28 | 0x99c27f0U) + << 28 | 0x0663d81U), + UINTMAX_MAX / 641) +P (2, 48, + (((((uintmax_t) 0x111eU << 28 | 0xa8032f6U) + << 28 | 0x0bf1aacU) + << 28 | 0xca407f6U) + << 28 | 0x71ddc2bU), + UINTMAX_MAX / 643) +P (4, 54, + (((((uintmax_t) 0xdd93U << 28 | 0x95f5b66U) + << 28 | 0x7aa88e7U) + << 28 | 0x1298bacU) + << 28 | 0x1e12337U), + UINTMAX_MAX / 647) +P (6, 56, + (((((uintmax_t) 0xa7caU << 28 | 0xaed9303U) + << 28 | 0x8740afaU) + << 28 | 0x1e94309U) + << 28 | 0xcd09045U), + UINTMAX_MAX / 653) +P (6, 60, + (((((uintmax_t) 0x2be5U << 28 | 0x958f582U) + << 28 | 0xe9db7beU) + << 28 | 0xbccb8e9U) + << 28 | 0x1496b9bU), + UINTMAX_MAX / 659) +P (2, 66, + (((((uintmax_t) 0x995eU << 28 | 0x1ca8dbfU) + << 28 | 0xb5a3d31U) + << 28 | 0x2fa30ccU) + << 28 | 0x7d7b8bdU), + UINTMAX_MAX / 661) +P (12, 60, + (((((uintmax_t) 0x9f00U << 28 | 0x6160ff9U) + << 28 | 0xe9f0061U) + << 28 | 0x60ff9e9U) + << 28 | 0xf006161U), + UINTMAX_MAX / 673) +P (4, 62, + (((((uintmax_t) 0xb33cU << 28 | 0xe15ee9bU) + << 28 | 0x097416bU) + << 28 | 0x03673b5U) + << 28 | 0xe28152dU), + UINTMAX_MAX / 677) +P (6, 60, + (((((uintmax_t) 0xfa00U << 28 | 0xbfe802fU) + << 28 | 0xfa00bfeU) + << 28 | 0x802ffa0U) + << 28 | 0x0bfe803U), + UINTMAX_MAX / 683) +P (8, 60, + (((((uintmax_t) 0x1c28U << 28 | 0x02f6bcfU) + << 28 | 0x18d26e6U) + << 28 | 0x6fe25c9U) + << 28 | 0xe907c7bU), + UINTMAX_MAX / 691) +P (10, 56, + (((((uintmax_t) 0xcf6dU << 28 | 0xec4793eU) + << 28 | 0x72aba3fU) + << 28 | 0x8b236c7U) + << 28 | 0x6528895U), + UINTMAX_MAX / 701) +P (8, 52, + (((((uintmax_t) 0x1e54U << 28 | 0x7da72d2U) + << 28 | 0x24d44f6U) + << 28 | 0xf923bf0U) + << 28 | 0x1ce2c0dU), + UINTMAX_MAX / 709) +P (10, 50, + (((((uintmax_t) 0x7746U << 28 | 0xda9d5fcU) + << 28 | 0x708306cU) + << 28 | 0x3d3d98bU) + << 28 | 0xed7c42fU), + UINTMAX_MAX / 719) +P (8, 46, + (((((uintmax_t) 0xcdffU << 28 | 0x4bb5591U) + << 28 | 0x6e37a30U) + << 28 | 0x981efcdU) + << 28 | 0x4b010e7U), + UINTMAX_MAX / 727) +P (6, 54, + (((((uintmax_t) 0x2c01U << 28 | 0x65a1b3dU) + << 28 | 0xd13356fU) + << 28 | 0x691fc81U) + << 28 | 0xebbe575U), + UINTMAX_MAX / 733) +P (6, 58, + (((((uintmax_t) 0xa802U << 28 | 0xc574bddU) + << 28 | 0x5bccbb1U) + << 28 | 0x0480ddbU) + << 28 | 0x47b52cbU), + UINTMAX_MAX / 739) +P (4, 66, + (((((uintmax_t) 0x5411U << 28 | 0xeaa350fU) + << 28 | 0x8134b74U) + << 28 | 0xcd59ed6U) + << 28 | 0x4f3f0d7U), + UINTMAX_MAX / 743) +P (8, 60, + (((((uintmax_t) 0xfceeU << 28 | 0x9d7c6bbU) + << 28 | 0x7bbd301U) + << 28 | 0x05cb813U) + << 28 | 0x16d6c0fU), + UINTMAX_MAX / 751) +P (6, 64, + (((((uintmax_t) 0x4248U << 28 | 0x5eb0874U) + << 28 | 0x553879bU) + << 28 | 0xe64c6d9U) + << 28 | 0x1c1195dU), + UINTMAX_MAX / 757) +P (4, 62, + (((((uintmax_t) 0xe060U << 28 | 0xe20f797U) + << 28 | 0x0b19e71U) + << 28 | 0xb3f945aU) + << 28 | 0x27b1f49U), + UINTMAX_MAX / 761) +P (8, 58, + (((((uintmax_t) 0x782dU << 28 | 0x463deb5U) + << 28 | 0xc369877U) + << 28 | 0xd80d50eU) + << 28 | 0x508fd01U), + UINTMAX_MAX / 769) +P (4, 56, + (((((uintmax_t) 0x4a2fU << 28 | 0x06f468aU) + << 28 | 0x6e9cfa5U) + << 28 | 0xeb778e1U) + << 28 | 0x33551cdU), + UINTMAX_MAX / 773) +P (14, 52, + (((((uintmax_t) 0xda44U << 28 | 0x4f5ea87U) + << 28 | 0xf831718U) + << 28 | 0x657d3c2U) + << 28 | 0xd8a3f1bU), + UINTMAX_MAX / 787) +P (10, 56, + (((((uintmax_t) 0xfb80U << 28 | 0xcd9225eU) + << 28 | 0x6f2302eU) + << 28 | 0x40e220cU) + << 28 | 0x34ad735U), + UINTMAX_MAX / 797) +P (12, 48, + (((((uintmax_t) 0x1719U << 28 | 0xa1b36beU) + << 28 | 0x7f357a7U) + << 28 | 0x6593c70U) + << 28 | 0xa714919U), + UINTMAX_MAX / 809) +P (2, 48, + (((((uintmax_t) 0x2867U << 28 | 0x894fdcaU) + << 28 | 0x567da1eU) + << 28 | 0xef45212U) + << 28 | 0x4eea383U), + UINTMAX_MAX / 811) +P (10, 42, + (((((uintmax_t) 0x8932U << 28 | 0xd36914eU) + << 28 | 0x43f9c38U) + << 28 | 0x206dc24U) + << 28 | 0x2ba771dU), + UINTMAX_MAX / 821) +P (2, 54, + (((((uintmax_t) 0xdeb7U << 28 | 0x8610cc0U) + << 28 | 0xdafbf4cU) + << 28 | 0xd4c3580U) + << 28 | 0x7772287U), + UINTMAX_MAX / 823) +P (4, 54, + (((((uintmax_t) 0x8fa1U << 28 | 0xe560e3dU) + << 28 | 0x4a9a283U) + << 28 | 0xde917d5U) + << 28 | 0xe69ddf3U), + UINTMAX_MAX / 827) +P (2, 54, + (((((uintmax_t) 0x6724U << 28 | 0x2159dccU) + << 28 | 0xbcfd388U) + << 28 | 0x2ef0403U) + << 28 | 0xb4a6c15U), + UINTMAX_MAX / 829) +P (10, 48, + (((((uintmax_t) 0x5e96U << 28 | 0xbb58ca9U) + << 28 | 0xa64b0f8U) + << 28 | 0xfb6c51cU) + << 28 | 0x606b677U), + UINTMAX_MAX / 839) +P (14, 54, + (((((uintmax_t) 0x2450U << 28 | 0x6e7171bU) + << 28 | 0xe930eb4U) + << 28 | 0xabaac44U) + << 28 | 0x6d3e1fdU), + UINTMAX_MAX / 853) +P (4, 54, + (((((uintmax_t) 0x3743U << 28 | 0x3611535U) + << 28 | 0x7861fa9U) + << 28 | 0xf83bbe4U) + << 28 | 0x84a14e9U), + UINTMAX_MAX / 857) +P (2, 60, + (((((uintmax_t) 0x232aU << 28 | 0x9df37baU) + << 28 | 0xdbf080bU) + << 28 | 0xebbc0d1U) + << 28 | 0xce874d3U), + UINTMAX_MAX / 859) +P (4, 66, + (((((uintmax_t) 0x569eU << 28 | 0x67d2e92U) + << 28 | 0x8a3bebdU) + << 28 | 0x418eaf0U) + << 28 | 0x473189fU), + UINTMAX_MAX / 863) +P (14, 60, + (((((uintmax_t) 0x7e1aU << 28 | 0x457923eU) + << 28 | 0x77ae444U) + << 28 | 0xe3af6f3U) + << 28 | 0x72b7e65U), + UINTMAX_MAX / 877) +P (4, 60, + (((((uintmax_t) 0x9764U << 28 | 0x3fed672U) + << 28 | 0x7cf2ec8U) + << 28 | 0x7fdace4U) + << 28 | 0xf9e5d91U), + UINTMAX_MAX / 881) +P (2, 64, + (((((uintmax_t) 0xea8bU << 28 | 0xbde5e83U) + << 28 | 0x9fbf0ecU) + << 28 | 0x93479c4U) + << 28 | 0x46bd9bbU), + UINTMAX_MAX / 883) +P (4, 66, + (((((uintmax_t) 0x3d2fU << 28 | 0x9f06a35U) + << 28 | 0xae9c6daU) + << 28 | 0xc4d592eU) + << 28 | 0x777c647U), + UINTMAX_MAX / 887) +P (20, 60, + (((((uintmax_t) 0x81d5U << 28 | 0xa9a1ba9U) + << 28 | 0x11379a6U) + << 28 | 0x3ea8c8fU) + << 28 | 0x61f0c23U), + UINTMAX_MAX / 907) +P (4, 60, + (((((uintmax_t) 0x752eU << 28 | 0x5ddb77fU) + << 28 | 0xdc07de4U) + << 28 | 0x76062eaU) + << 28 | 0x5cbbb6fU), + UINTMAX_MAX / 911) +P (8, 58, + (((((uintmax_t) 0x1abdU << 28 | 0xfafc60fU) + << 28 | 0x0add2dfU) + << 28 | 0x68761c6U) + << 28 | 0x9daac27U), + UINTMAX_MAX / 919) +P (10, 54, + (((((uintmax_t) 0xac3aU << 28 | 0x6b786c0U) + << 28 | 0x582e4b8U) + << 28 | 0x13d7376U) + << 28 | 0x37aa061U), + UINTMAX_MAX / 929) +P (8, 54, + (((((uintmax_t) 0x131fU << 28 | 0xf741d81U) + << 28 | 0xc6a01a3U) + << 28 | 0xa77aac1U) + << 28 | 0xfb15099U), + UINTMAX_MAX / 937) +P (4, 56, + (((((uintmax_t) 0xc53cU << 28 | 0xaad918cU) + << 28 | 0x1b34817U) + << 28 | 0xf0c3e07U) + << 28 | 0x12c5825U), + UINTMAX_MAX / 941) +P (6, 62, + (((((uintmax_t) 0xea1aU << 28 | 0x7df8f8bU) + << 28 | 0x37f52fdU) + << 28 | 0x912a70fU) + << 28 | 0xf30637bU), + UINTMAX_MAX / 947) +P (6, 60, + (((((uintmax_t) 0xbb3bU << 28 | 0x5dc0113U) + << 28 | 0x1288ffbU) + << 28 | 0xb3b5dc0U) + << 28 | 0x1131289U), + UINTMAX_MAX / 953) +P (14, 52, + (((((uintmax_t) 0x50beU << 28 | 0x9c31c53U) + << 28 | 0xa81b885U) + << 28 | 0x6d560a0U) + << 28 | 0xf5acdf7U), + UINTMAX_MAX / 967) +P (4, 50, + (((((uintmax_t) 0x6580U << 28 | 0xec3a008U) + << 28 | 0x6fc9296U) + << 28 | 0x472f314U) + << 28 | 0xd3f89e3U), + UINTMAX_MAX / 971) +P (6, 54, + (((((uintmax_t) 0x1108U << 28 | 0x1f71752U) + << 28 | 0x03ab1a7U) + << 28 | 0x6f5c7edU) + << 28 | 0x2253531U), + UINTMAX_MAX / 977) +P (6, 50, + (((((uintmax_t) 0xb81fU << 28 | 0x4053563U) + << 28 | 0x3908981U) + << 28 | 0x6eae7c7U) + << 28 | 0xbf69fe7U), + UINTMAX_MAX / 983) +P (8, 48, + (((((uintmax_t) 0x9c8bU << 28 | 0x7ed668eU) + << 28 | 0x14263b6U) + << 28 | 0xa2bea4cU) + << 28 | 0xfb1781fU), + UINTMAX_MAX / 991) +P (6, 52, + (((((uintmax_t) 0x0291U << 28 | 0x54fdb06U) + << 28 | 0x6b547a3U) + << 28 | 0x900c533U) + << 28 | 0x18e81edU), + UINTMAX_MAX / 997) +P (12, 42, + (((((uintmax_t) 0x2240U << 28 | 0x71aa3e6U) + << 28 | 0xa0db360U) + << 28 | 0xaa7f5d9U) + << 28 | 0xf148d11U), + UINTMAX_MAX / 1009) +P (4, 48, + (((((uintmax_t) 0x02c7U << 28 | 0xa505cffU) + << 28 | 0xbf4e16bU) + << 28 | 0xe8c0102U) + << 28 | 0xc7a505dU), + UINTMAX_MAX / 1013) +P (6, 44, + (((((uintmax_t) 0xcafdU << 28 | 0xbd2c779U) + << 28 | 0x57ad98fU) + << 28 | 0xf3f0ed2U) + << 28 | 0x8728f33U), + UINTMAX_MAX / 1019) +P (2, 48, + (((((uintmax_t) 0x513cU << 28 | 0xedb245bU) + << 28 | 0x4473568U) + << 28 | 0x0e0a87eU) + << 28 | 0x5ec7155U), + UINTMAX_MAX / 1021) +P (10, 56, + (((((uintmax_t) 0x2e6eU << 28 | 0xbe33267U) + << 28 | 0xca5ddbbU) + << 28 | 0xf70fa49U) + << 28 | 0xfe829b7U), + UINTMAX_MAX / 1031) +P (2, 58, + (((((uintmax_t) 0x007eU << 28 | 0xe2825abU) + << 28 | 0x3eb2ed6U) + << 28 | 0x9d1e7b6U) + << 28 | 0xa50ca39U), + UINTMAX_MAX / 1033) +P (6, 54, + (((((uintmax_t) 0x2f8dU << 28 | 0xacb84cdU) + << 28 | 0xfb90a1aU) + << 28 | 0x1e0f46bU) + << 28 | 0x6d26aefU), + UINTMAX_MAX / 1039) +P (10, 48, + (((((uintmax_t) 0x01f3U << 28 | 0xcc435b0U) + << 28 | 0x713c474U) + << 28 | 0x29f9a7aU) + << 28 | 0x8251829U), + UINTMAX_MAX / 1049) +P (2, 52, + (((((uintmax_t) 0x8c0eU << 28 | 0x9d59e14U) + << 28 | 0xf29a6d9U) + << 28 | 0xc2219d1U) + << 28 | 0xb863613U), + UINTMAX_MAX / 1051) +P (10, 48, + (((((uintmax_t) 0x6e81U << 28 | 0xcf42d5cU) + << 28 | 0x6932e91U) + << 28 | 0x406c182U) + << 28 | 0x0d077adU), + UINTMAX_MAX / 1061) +P (2, 54, + (((((uintmax_t) 0x9c4cU << 28 | 0x1a02688U) + << 28 | 0x4efdd52U) + << 28 | 0x1f4ec02U) + << 28 | 0xe3d2b97U), + UINTMAX_MAX / 1063) +P (6, 54, + (((((uintmax_t) 0x7bcfU << 28 | 0x2599067U) + << 28 | 0x74255bbU) + << 28 | 0x8283b63U) + << 28 | 0xdc8eba5U), + UINTMAX_MAX / 1069) +P (18, 42, + (((((uintmax_t) 0x46a7U << 28 | 0x3667275U) + << 28 | 0x48c5d43U) + << 28 | 0x1eda153U) + << 28 | 0x229ebbfU), + UINTMAX_MAX / 1087) +P (4, 60, + (((((uintmax_t) 0xe720U << 28 | 0x9daecfeU) + << 28 | 0x5b832afU) + << 28 | 0x0bf78d7U) + << 28 | 0xe01686bU), + UINTMAX_MAX / 1091) +P (2, 60, + (((((uintmax_t) 0x194bU << 28 | 0xa6ff4c1U) + << 28 | 0xeeaafa9U) + << 28 | 0xced0742U) + << 28 | 0xc086e8dU), + UINTMAX_MAX / 1093) +P (4, 66, + (((((uintmax_t) 0x777bU << 28 | 0x730c5e4U) + << 28 | 0x768c7c2U) + << 28 | 0x6458ad9U) + << 28 | 0xf632df9U), + UINTMAX_MAX / 1097) +P (6, 68, + (((((uintmax_t) 0x2aefU << 28 | 0xfc49577U) + << 28 | 0xfe24abbU) + << 28 | 0xff1255dU) + << 28 | 0xff892afU), + UINTMAX_MAX / 1103) +P (6, 72, + (((((uintmax_t) 0xf1b0U << 28 | 0x213da24U) + << 28 | 0x78f59cbU) + << 28 | 0xd49a333U) + << 28 | 0xf04d8fdU), + UINTMAX_MAX / 1109) +P (8, 70, + (((((uintmax_t) 0x8822U << 28 | 0xd60f205U) + << 28 | 0x0ac58ecU) + << 28 | 0x84ed6f9U) + << 28 | 0xcfdeff5U), + UINTMAX_MAX / 1117) +P (6, 70, + (((((uintmax_t) 0x3606U << 28 | 0xd6bd351U) + << 28 | 0xd682d97U) + << 28 | 0x980cc40U) + << 28 | 0xbda9d4bU), + UINTMAX_MAX / 1123) +P (6, 72, + (((((uintmax_t) 0x0122U << 28 | 0x3d38ea0U) + << 28 | 0x15c4977U) + << 28 | 0x7f34d52U) + << 28 | 0x4f5cbd9U), + UINTMAX_MAX / 1129) +P (22, 62, + (((((uintmax_t) 0x78feU << 28 | 0x716e8a5U) + << 28 | 0x7a1b227U) + << 28 | 0x97051d9U) + << 28 | 0x4cbbb7fU), + UINTMAX_MAX / 1151) +P (2, 64, + (((((uintmax_t) 0xd6ecU << 28 | 0xaef5908U) + << 28 | 0xa8be0eaU) + << 28 | 0x769051bU) + << 28 | 0x4f43b81U), + UINTMAX_MAX / 1153) +P (10, 60, + (((((uintmax_t) 0x7867U << 28 | 0xe595e6eU) + << 28 | 0x801c2ceU) + << 28 | 0x7910f30U) + << 28 | 0x34d4323U), + UINTMAX_MAX / 1163) +P (8, 58, + (((((uintmax_t) 0xa705U << 28 | 0xe713e4eU) + << 28 | 0x43c5692U) + << 28 | 0x791d137U) + << 28 | 0x4f5b99bU), + UINTMAX_MAX / 1171) +P (10, 50, + (((((uintmax_t) 0x92c0U << 28 | 0x0ddf7c3U) + << 28 | 0x4e40989U) + << 28 | 0xa5645ccU) + << 28 | 0x68ea1b5U), + UINTMAX_MAX / 1181) +P (6, 50, + (((((uintmax_t) 0xab06U << 28 | 0xaf8e205U) + << 28 | 0x9b7f75fU) + << 28 | 0x8aacf79U) + << 28 | 0x6c0cf0bU), + UINTMAX_MAX / 1187) +P (6, 56, + (((((uintmax_t) 0xe187U << 28 | 0x673725fU) + << 28 | 0xb4774f2U) + << 28 | 0xe90a15eU) + << 28 | 0x33edf99U), + UINTMAX_MAX / 1193) +P (8, 58, + (((((uintmax_t) 0x57d1U << 28 | 0xf5579b6U) + << 28 | 0x3f8538eU) + << 28 | 0x99e5febU) + << 28 | 0x897c451U), + UINTMAX_MAX / 1201) +P (12, 64, + (((((uintmax_t) 0x5f64U << 28 | 0xab5ec29U) + << 28 | 0x5d7e6acU) + << 28 | 0xa2eda38U) + << 28 | 0xfb91695U), + UINTMAX_MAX / 1213) +P (4, 62, + (((((uintmax_t) 0x48c8U << 28 | 0x41a1574U) + << 28 | 0xbf0035dU) + << 28 | 0x9b737beU) + << 28 | 0x5ea8b41U), + UINTMAX_MAX / 1217) +P (6, 60, + (((((uintmax_t) 0x348aU << 28 | 0x26ef0b8U) + << 28 | 0x33e964aU) + << 28 | 0xefe1db9U) + << 28 | 0x3fd7cf7U), + UINTMAX_MAX / 1223) +P (6, 60, + (((((uintmax_t) 0x5247U << 28 | 0x3d081faU) + << 28 | 0x958f1a0U) + << 28 | 0x994ef20U) + << 28 | 0xb3f8805U), + UINTMAX_MAX / 1229) +P (2, 60, + (((((uintmax_t) 0x0ec3U << 28 | 0xe6367c5U) + << 28 | 0xc55ae10U) + << 28 | 0x3890bdaU) + << 28 | 0x912822fU), + UINTMAX_MAX / 1231) +P (6, 60, + (((((uintmax_t) 0xb57fU << 28 | 0x46921bbU) + << 28 | 0xb4ab5b4U) + << 28 | 0x41659d1U) + << 28 | 0x3a9147dU), + UINTMAX_MAX / 1237) +P (12, 52, + (((((uintmax_t) 0xb2eeU << 28 | 0xfcecf03U) + << 28 | 0x7c00d1eU) + << 28 | 0x2134440U) + << 28 | 0xc4c3f21U), + UINTMAX_MAX / 1249) +P (10, 44, + (((((uintmax_t) 0xed4bU << 28 | 0x07ee1b3U) + << 28 | 0xf3ccc26U) + << 28 | 0x3a27727U) + << 28 | 0xa6883c3U), + UINTMAX_MAX / 1259) +P (18, 30, + (((((uintmax_t) 0x435bU << 28 | 0x9d5e6bdU) + << 28 | 0xa4fc978U) + << 28 | 0xe221472U) + << 28 | 0xab33855U), + UINTMAX_MAX / 1277) +P (2, 40, + (((((uintmax_t) 0x6013U << 28 | 0x370b023U) + << 28 | 0x3a3ed95U) + << 28 | 0xeac88e8U) + << 28 | 0x2e6faffU), + UINTMAX_MAX / 1279) +P (4, 38, + (((((uintmax_t) 0x3447U << 28 | 0x089473bU) + << 28 | 0xa900ff6U) + << 28 | 0x6c25831U) + << 28 | 0x7be8dabU), + UINTMAX_MAX / 1283) +P (6, 38, + (((((uintmax_t) 0x0f7dU << 28 | 0xb74fa3dU) + << 28 | 0x912de09U) + << 28 | 0xee202c7U) + << 28 | 0xcb91939U), + UINTMAX_MAX / 1289) +P (2, 70, + (((((uintmax_t) 0x5316U << 28 | 0x02c6b14U) + << 28 | 0x6caa88dU) + << 28 | 0x2fca104U) + << 28 | 0x2a09ea3U), + UINTMAX_MAX / 1291) +P (6, 70, + (((((uintmax_t) 0x2128U << 28 | 0xdb7c26aU) + << 28 | 0xfaabb82U) + << 28 | 0x779c856U) + << 28 | 0xd8b8bf1U), + UINTMAX_MAX / 1297) +P (4, 72, + (((((uintmax_t) 0xb01cU << 28 | 0x55cadf2U) + << 28 | 0x39d9d38U) + << 28 | 0x79361cbU) + << 28 | 0xa8a223dU), + UINTMAX_MAX / 1301) +P (2, 78, + (((((uintmax_t) 0x3d4cU << 28 | 0x6d3cb58U) + << 28 | 0x9b9a9f2U) + << 28 | 0x3f43639U) + << 28 | 0xc3182a7U), + UINTMAX_MAX / 1303) +P (4, 92, + (((((uintmax_t) 0x0bc0U << 28 | 0x89e42fcU) + << 28 | 0xab94aa0U) + << 28 | 0x3868fc4U) + << 28 | 0x74bcd13U), + UINTMAX_MAX / 1307) +P (12, 90, + (((((uintmax_t) 0x34fcU << 28 | 0x4ff6af1U) + << 28 | 0x0e2b165U) + << 28 | 0x1e78b8cU) + << 28 | 0x5311a97U), + UINTMAX_MAX / 1319) +P (2, 102, + (((((uintmax_t) 0x18ffU << 28 | 0xce639c0U) + << 28 | 0x0c6718fU) + << 28 | 0xfce639cU) + << 28 | 0x00c6719U), + UINTMAX_MAX / 1321) +P (6, 100, + (((((uintmax_t) 0x9b4cU << 28 | 0x33b39aeU) + << 28 | 0x96dc4f7U) + << 28 | 0xb460754U) + << 28 | 0xb0b61cfU), + UINTMAX_MAX / 1327) +P (34, 68, + (((((uintmax_t) 0xbbe8U << 28 | 0xad0c9a3U) + << 28 | 0xd51d27bU) + << 28 | 0x03f3359U) + << 28 | 0xb8e63b1U), + UINTMAX_MAX / 1361) +P (6, 66, + (((((uintmax_t) 0xa28dU << 28 | 0x33dfca1U) + << 28 | 0x0dabba5U) + << 28 | 0x5c53260U) + << 28 | 0x41eb667U), + UINTMAX_MAX / 1367) +P (6, 66, + (((((uintmax_t) 0x677bU << 28 | 0x3ed5acdU) + << 28 | 0x78a2964U) + << 28 | 0x7f88ab8U) + << 28 | 0x96a76f5U), + UINTMAX_MAX / 1373) +P (8, 66, + (((((uintmax_t) 0xf4e0U << 28 | 0xac06ac6U) + << 28 | 0x595988fU) + << 28 | 0xd971434U) + << 28 | 0xa55a46dU), + UINTMAX_MAX / 1381) +P (18, 52, + (((((uintmax_t) 0x3ba7U << 28 | 0x6f12d90U) + << 28 | 0x609e19fU) + << 28 | 0xbf96995U) + << 28 | 0x8046447U), + UINTMAX_MAX / 1399) +P (10, 44, + (((((uintmax_t) 0x3d69U << 28 | 0x32b0f71U) + << 28 | 0x8e43399U) + << 28 | 0x86feba6U) + << 28 | 0x9be3a81U), + UINTMAX_MAX / 1409) +P (14, 36, + (((((uintmax_t) 0xb7adU << 28 | 0xf701426U) + << 28 | 0x239eda6U) + << 28 | 0x68b3e6dU) + << 28 | 0x053796fU), + UINTMAX_MAX / 1423) +P (4, 44, + (((((uintmax_t) 0xd0d1U << 28 | 0x893d2caU) + << 28 | 0xb80fc97U) + << 28 | 0x694e658U) + << 28 | 0x9f4e09bU), + UINTMAX_MAX / 1427) +P (2, 52, + (((((uintmax_t) 0xc00bU << 28 | 0x7721dbcU) + << 28 | 0xffd2237U) + << 28 | 0x890c00bU) + << 28 | 0x7721dbdU), + UINTMAX_MAX / 1429) +P (4, 50, + (((((uintmax_t) 0xe9d9U << 28 | 0x0e1cf0dU) + << 28 | 0x0a8a45aU) + << 28 | 0xc094a23U) + << 28 | 0x5f37ea9U), + UINTMAX_MAX / 1433) +P (6, 48, + (((((uintmax_t) 0x8489U << 28 | 0x56fe661U) + << 28 | 0xd881831U) + << 28 | 0xcff775fU) + << 28 | 0x2d5d65fU), + UINTMAX_MAX / 1439) +P (8, 42, + (((((uintmax_t) 0xfd85U << 28 | 0xed3f28dU) + << 28 | 0xe356dddU) + << 28 | 0xad8e6b3U) + << 28 | 0x6505217U), + UINTMAX_MAX / 1447) +P (4, 42, + (((((uintmax_t) 0x0a68U << 28 | 0xcca8aacU) + << 28 | 0x8c7035aU) + << 28 | 0x27df897U) + << 28 | 0x062cd03U), + UINTMAX_MAX / 1451) +P (2, 46, + (((((uintmax_t) 0x57eaU << 28 | 0xdb877ceU) + << 28 | 0xaae6ce2U) + << 28 | 0x396fe0fU) + << 28 | 0xdb5a625U), + UINTMAX_MAX / 1453) +P (6, 52, + (((((uintmax_t) 0x1c12U << 28 | 0xf330f43U) + << 28 | 0xe76f6b3U) + << 28 | 0x52a4957U) + << 28 | 0xe82317bU), + UINTMAX_MAX / 1459) +P (12, 52, + (((((uintmax_t) 0x472dU << 28 | 0xc52d6c1U) + << 28 | 0x2cb9dd8U) + << 28 | 0xab3f2c6U) + << 28 | 0x0c2ea3fU), + UINTMAX_MAX / 1471) +P (10, 50, + (((((uintmax_t) 0xda51U << 28 | 0x3e0e2c9U) + << 28 | 0x8ce0b68U) + << 28 | 0x93f702fU) + << 28 | 0x0452479U), + UINTMAX_MAX / 1481) +P (2, 60, + (((((uintmax_t) 0x442fU << 28 | 0xa4dae2dU) + << 28 | 0x3a2c896U) + << 28 | 0x86fdc18U) + << 28 | 0x2acf7e3U), + UINTMAX_MAX / 1483) +P (4, 62, + (((((uintmax_t) 0x091fU << 28 | 0xd96fbb2U) + << 28 | 0x2f2be68U) + << 28 | 0x5403717U) + << 28 | 0x3dce12fU), + UINTMAX_MAX / 1487) +P (2, 64, + (((((uintmax_t) 0x3accU << 28 | 0x97fbdfaU) + << 28 | 0xd798d7fU) + << 28 | 0x0ded168U) + << 28 | 0x5c27331U), + UINTMAX_MAX / 1489) +P (4, 66, + (((((uintmax_t) 0x4d54U << 28 | 0xe047548U) + << 28 | 0x87cd3eeU) + << 28 | 0xda72e1fU) + << 28 | 0xe490b7dU), + UINTMAX_MAX / 1493) +P (6, 68, + (((((uintmax_t) 0x7e8cU << 28 | 0x61afbbbU) + << 28 | 0x013209eU) + << 28 | 0x7bfc959U) + << 28 | 0xa8e6e53U), + UINTMAX_MAX / 1499) +P (12, 60, + (((((uintmax_t) 0xc4b3U << 28 | 0x96f4fccU) + << 28 | 0x7ebab49U) + << 28 | 0xb314d6dU) + << 28 | 0x4753dd7U), + UINTMAX_MAX / 1511) +P (12, 56, + (((((uintmax_t) 0x9eadU << 28 | 0x21c933fU) + << 28 | 0x089292eU) + << 28 | 0x8f8c5acU) + << 28 | 0x4aa1b3bU), + UINTMAX_MAX / 1523) +P (8, 52, + (((((uintmax_t) 0x0584U << 28 | 0x992a4deU) + << 28 | 0xb99aab8U) + << 28 | 0xef72348U) + << 28 | 0x1163d33U), + UINTMAX_MAX / 1531) +P (12, 54, + (((((uintmax_t) 0x8b08U << 28 | 0x7620d9aU) + << 28 | 0xcb6806aU) + << 28 | 0x2ec96a5U) + << 28 | 0x94287b7U), + UINTMAX_MAX / 1543) +P (6, 52, + (((((uintmax_t) 0xc108U << 28 | 0x6dbce6bU) + << 28 | 0x6c94bdbU) + << 28 | 0xa41c6d1U) + << 28 | 0x3aab8c5U), + UINTMAX_MAX / 1549) +P (4, 54, + (((((uintmax_t) 0xe478U << 28 | 0xaa1e005U) + << 28 | 0x46633c2U) + << 28 | 0xadbe648U) + << 28 | 0xdc3aaf1U), + UINTMAX_MAX / 1553) +P (6, 50, + (((((uintmax_t) 0x5cf1U << 28 | 0x0e9d4faU) + << 28 | 0x40b2a87U) + << 28 | 0xa2bade5U) + << 28 | 0x65f91a7U), + UINTMAX_MAX / 1559) +P (8, 46, + (((((uintmax_t) 0x9ecbU << 28 | 0x8ef2c45U) + << 28 | 0xec11a4dU) + << 28 | 0x6fe8798U) + << 28 | 0xc01f5dfU), + UINTMAX_MAX / 1567) +P (4, 48, + (((((uintmax_t) 0xfb99U << 28 | 0xaa49543U) + << 28 | 0xf39d937U) + << 28 | 0x91310c8U) + << 28 | 0xc23d98bU), + UINTMAX_MAX / 1571) +P (8, 42, + (((((uintmax_t) 0x7abbU << 28 | 0x187b379U) + << 28 | 0xc2112f8U) + << 28 | 0x0e446b0U) + << 28 | 0x1228883U), + UINTMAX_MAX / 1579) +P (4, 44, + (((((uintmax_t) 0x3cceU << 28 | 0x5a3d212U) + << 28 | 0x6f95e9aU) + << 28 | 0xed1436fU) + << 28 | 0xbf500cfU), + UINTMAX_MAX / 1583) +P (14, 40, + (((((uintmax_t) 0xc6eeU << 28 | 0xd90c05cU) + << 28 | 0x5547a78U) + << 28 | 0x39b54ccU) + << 28 | 0x8b24115U), + UINTMAX_MAX / 1597) +P (4, 56, + (((((uintmax_t) 0x8798U << 28 | 0x627f99aU) + << 28 | 0x9f948c1U) + << 28 | 0x28c646aU) + << 28 | 0xd0309c1U), + UINTMAX_MAX / 1601) +P (6, 56, + (((((uintmax_t) 0x5233U << 28 | 0x4bab403U) + << 28 | 0x2fa1b14U) + << 28 | 0xde63162U) + << 28 | 0x4a3c377U), + UINTMAX_MAX / 1607) +P (2, 58, + (((((uintmax_t) 0x0e51U << 28 | 0xc7ad43fU) + << 28 | 0x016e93fU) + << 28 | 0x7b9fe68U) + << 28 | 0xb0ecbf9U), + UINTMAX_MAX / 1609) +P (4, 56, + (((((uintmax_t) 0x00a2U << 28 | 0x84ffd75U) + << 28 | 0xec00a28U) + << 28 | 0x4ffd75eU) + << 28 | 0xc00a285U), + UINTMAX_MAX / 1613) +P (6, 74, + (((((uintmax_t) 0xe72cU << 28 | 0xbfa4ebeU) + << 28 | 0xb20bb37U) + << 28 | 0x803cb80U) + << 28 | 0xdea2ddbU), + UINTMAX_MAX / 1619) +P (2, 76, + (((((uintmax_t) 0x22beU << 28 | 0x75d04e5U) + << 28 | 0x4f6ff86U) + << 28 | 0xb63f7c9U) + << 28 | 0xac4c6fdU), + UINTMAX_MAX / 1621) +P (6, 72, + (((((uintmax_t) 0x84f4U << 28 | 0xd419cdfU) + << 28 | 0x6dfbe8bU) + << 28 | 0x6851d1bU) + << 28 | 0xd99b9d3U), + UINTMAX_MAX / 1627) +P (10, 72, + (((((uintmax_t) 0xe83aU << 28 | 0xccdcd04U) + << 28 | 0xd90f7b6U) + << 28 | 0x2fda77cU) + << 28 | 0xa343b6dU), + UINTMAX_MAX / 1637) +P (20, 64, + (((((uintmax_t) 0x9e34U << 28 | 0x383c8ffU) + << 28 | 0xd872f1fU) + << 28 | 0x0dc009eU) + << 28 | 0x34383c9U), + UINTMAX_MAX / 1657) +P (6, 60, + (((((uintmax_t) 0x2e7dU << 28 | 0x4e5ad2eU) + << 28 | 0x55e5d49U) + << 28 | 0x6dc21ddU) + << 28 | 0xd35b97fU), + UINTMAX_MAX / 1663) +P (4, 66, + (((((uintmax_t) 0xe596U << 28 | 0x098573aU) + << 28 | 0x33e80b0U) + << 28 | 0xe96ce17U) + << 28 | 0x090f82bU), + UINTMAX_MAX / 1667) +P (2, 72, + (((((uintmax_t) 0x7181U << 28 | 0x4dc42e0U) + << 28 | 0x3fceeaaU) + << 28 | 0xdf05acdU) + << 28 | 0xd7d024dU), + UINTMAX_MAX / 1669) +P (24, 54, + (((((uintmax_t) 0xa4abU << 28 | 0x2bb32f5U) + << 28 | 0x43975cbU) + << 28 | 0x1381967U) + << 28 | 0x46eafb5U), + UINTMAX_MAX / 1693) +P (4, 56, + (((((uintmax_t) 0xa2ecU << 28 | 0x3cf1f87U) + << 28 | 0x5102434U) + << 28 | 0x7f52373U) + << 28 | 0x6755d61U), + UINTMAX_MAX / 1697) +P (2, 60, + (((((uintmax_t) 0x6ff3U << 28 | 0xf223422U) + << 28 | 0x5ab51d1U) + << 28 | 0x4a48a05U) + << 28 | 0x1f7dd0bU), + UINTMAX_MAX / 1699) +P (10, 68, + (((((uintmax_t) 0x6c00U << 28 | 0x9963e9dU) + << 28 | 0x48f3447U) + << 28 | 0x4d71b1cU) + << 28 | 0xe914d25U), + UINTMAX_MAX / 1709) +P (12, 62, + (((((uintmax_t) 0x894cU << 28 | 0x02f99a8U) + << 28 | 0xd502d38U) + << 28 | 0x6063f5eU) + << 28 | 0x28c1f89U), + UINTMAX_MAX / 1721) +P (2, 64, + (((((uintmax_t) 0xc8e0U << 28 | 0xa6684d4U) + << 28 | 0x2b6281dU) + << 28 | 0xb7325e3U) + << 28 | 0x2d04e73U), + UINTMAX_MAX / 1723) +P (10, 56, + (((((uintmax_t) 0xf8c2U << 28 | 0xfdc8c0aU) + << 28 | 0x0b85afeU) + << 28 | 0xf748d38U) + << 28 | 0x93b880dU), + UINTMAX_MAX / 1733) +P (8, 60, + (((((uintmax_t) 0xd0a7U << 28 | 0x0a25594U) + << 28 | 0x123bb2fU) + << 28 | 0x3351506U) + << 28 | 0xe935605U), + UINTMAX_MAX / 1741) +P (6, 64, + (((((uintmax_t) 0xdb5dU << 28 | 0xa31878bU) + << 28 | 0xf158a7aU) + << 28 | 0x3637fa2U) + << 28 | 0x376415bU), + UINTMAX_MAX / 1747) +P (6, 70, + (((((uintmax_t) 0x75b4U << 28 | 0x5a8abbcU) + << 28 | 0xd2e004aU) + << 28 | 0xc525d2bU) + << 28 | 0xaa21969U), + UINTMAX_MAX / 1753) +P (6, 72, + (((((uintmax_t) 0x7e53U << 28 | 0x89d2e22U) + << 28 | 0xa34af3aU) + << 28 | 0x11c16b4U) + << 28 | 0x2cd351fU), + UINTMAX_MAX / 1759) +P (18, 70, + (((((uintmax_t) 0xeaf7U << 28 | 0x801270aU) + << 28 | 0x843ff6cU) + << 28 | 0x7abde00U) + << 28 | 0x49c2a11U), + UINTMAX_MAX / 1777) +P (6, 78, + (((((uintmax_t) 0x1ad9U << 28 | 0x60a0cecU) + << 28 | 0x0ae9754U) + << 28 | 0xdad0303U) + << 28 | 0xe069ac7U), + UINTMAX_MAX / 1783) +P (4, 80, + (((((uintmax_t) 0x082aU << 28 | 0x676e737U) + << 28 | 0x70be3ebU) + << 28 | 0xf1ac9fdU) + << 28 | 0xfe91433U), + UINTMAX_MAX / 1787) +P (2, 82, + (((((uintmax_t) 0x50b4U << 28 | 0xdfcda14U) + << 28 | 0x51d9efaU) + << 28 | 0xfdda823U) + << 28 | 0x7cec655U), + UINTMAX_MAX / 1789) +P (12, 72, + (((((uintmax_t) 0x1ffbU << 28 | 0x738ffdbU) + << 28 | 0x9c7fedcU) + << 28 | 0xe3ff6e7U) + << 28 | 0x1ffb739U), + UINTMAX_MAX / 1801) +P (10, 66, + (((((uintmax_t) 0xa660U << 28 | 0xf8ca6cdU) + << 28 | 0x88f9ebeU) + << 28 | 0xd5737d6U) + << 28 | 0x286db1bU), + UINTMAX_MAX / 1811) +P (12, 56, + (((((uintmax_t) 0xed52U << 28 | 0xb6467eaU) + << 28 | 0xa7abbe4U) + << 28 | 0x79e431fU) + << 28 | 0xe08b4dfU), + UINTMAX_MAX / 1823) +P (8, 58, + (((((uintmax_t) 0xdaf2U << 28 | 0xff4d09aU) + << 28 | 0x5ae119dU) + << 28 | 0xd9b0dd7U) + << 28 | 0x742f897U), + UINTMAX_MAX / 1831) +P (16, 54, + (((((uintmax_t) 0x6054U << 28 | 0x454d33bU) + << 28 | 0x2efc88fU) + << 28 | 0x09d7402U) + << 28 | 0xc5a5e87U), + UINTMAX_MAX / 1847) +P (14, 46, + (((((uintmax_t) 0xf545U << 28 | 0x31625b1U) + << 28 | 0x0a51292U) + << 28 | 0x16d5c4dU) + << 28 | 0x958738dU), + UINTMAX_MAX / 1861) +P (6, 46, + (((((uintmax_t) 0x6df8U << 28 | 0x0c1100aU) + << 28 | 0xf82f2b3U) + << 28 | 0x139ba11U) + << 28 | 0xd34ca63U), + UINTMAX_MAX / 1867) +P (4, 60, + (((((uintmax_t) 0xaf8bU << 28 | 0xf8e2952U) + << 28 | 0x3b61d47U) + << 28 | 0xd54f7edU) + << 28 | 0x644afafU), + UINTMAX_MAX / 1871) +P (2, 60, + (((((uintmax_t) 0x4d5cU << 28 | 0x4227171U) + << 28 | 0x9491f92U) + << 28 | 0xa81d85cU) + << 28 | 0xf11a1b1U), + UINTMAX_MAX / 1873) +P (4, 72, + (((((uintmax_t) 0xf78bU << 28 | 0x4082eeaU) + << 28 | 0xdc21475U) + << 28 | 0x4b26533U) + << 28 | 0x253bdfdU), + UINTMAX_MAX / 1877) +P (2, 72, + (((((uintmax_t) 0xf354U << 28 | 0x558f76aU) + << 28 | 0xad92bbbU) + << 28 | 0xe0efc98U) + << 28 | 0x0bfd467U), + UINTMAX_MAX / 1879) +P (10, 84, + (((((uintmax_t) 0x0ab4U << 28 | 0xc91d231U) + << 28 | 0x99d11c0U) + << 28 | 0xd8d594fU) + << 28 | 0x024dca1U), + UINTMAX_MAX / 1889) +P (12, 78, + (((((uintmax_t) 0x1b56U << 28 | 0x52256feU) + << 28 | 0x84c7d82U) + << 28 | 0x38d43bcU) + << 28 | 0xaac1a65U), + UINTMAX_MAX / 1901) +P (6, 80, + (((((uintmax_t) 0xaca2U << 28 | 0xb39dbc1U) + << 28 | 0x2cb3e27U) + << 28 | 0x779c1faU) + << 28 | 0xe6175bbU), + UINTMAX_MAX / 1907) +P (6, 80, + (((((uintmax_t) 0x3856U << 28 | 0xb755c78U) + << 28 | 0x7068ea7U) + << 28 | 0x46ca9afU) + << 28 | 0x708b2c9U), + UINTMAX_MAX / 1913) +P (18, 66, + (((((uintmax_t) 0x052bU << 28 | 0x9de5385U) + << 28 | 0x8076c93U) + << 28 | 0xf3cd9f3U) + << 28 | 0x89be823U), + UINTMAX_MAX / 1931) +P (2, 66, + (((((uintmax_t) 0x820dU << 28 | 0x822f698U) + << 28 | 0xd4f545cU) + << 28 | 0xb4a4c04U) + << 28 | 0xc489345U), + UINTMAX_MAX / 1933) +P (16, 54, + (((((uintmax_t) 0xcd09U << 28 | 0x536828fU) + << 28 | 0xb23dbbfU) + << 28 | 0x6047743U) + << 28 | 0xe85b6b5U), + UINTMAX_MAX / 1949) +P (2, 60, + (((((uintmax_t) 0x8486U << 28 | 0xe386c1eU) + << 28 | 0xf778961U) + << 28 | 0xc147831U) + << 28 | 0x563545fU), + UINTMAX_MAX / 1951) +P (22, 44, + (((((uintmax_t) 0xec68U << 28 | 0x5200c74U) + << 28 | 0xc6c78edU) + << 28 | 0xb47c0aeU) + << 28 | 0x62dee9dU), + UINTMAX_MAX / 1973) +P (6, 48, + (((((uintmax_t) 0xd8acU << 28 | 0xd298624U) + << 28 | 0xff1830aU) + << 28 | 0x3824386U) + << 28 | 0x673a573U), + UINTMAX_MAX / 1979) +P (8, 42, + (((((uintmax_t) 0x03ddU << 28 | 0x78b87ecU) + << 28 | 0x6aad6a4U) + << 28 | 0xa77d19eU) + << 28 | 0x575a0ebU), + UINTMAX_MAX / 1987) +P (6, 46, + (((((uintmax_t) 0x8950U << 28 | 0x062a636U) + << 28 | 0xb8325a2U) + << 28 | 0xbee045eU) + << 28 | 0x066c279U), + UINTMAX_MAX / 1993) +P (4, 56, + (((((uintmax_t) 0xa9daU << 28 | 0xd301275U) + << 28 | 0xae369c2U) + << 28 | 0x3618de8U) + << 28 | 0xab43d05U), + UINTMAX_MAX / 1997) +P (2, 64, + (((((uintmax_t) 0xfa3cU << 28 | 0xb3cd496U) + << 28 | 0x174ec26U) + << 28 | 0x6b51521U) + << 28 | 0x6cb9f2fU), + UINTMAX_MAX / 1999) +P (4, 66, + (((((uintmax_t) 0x5c05U << 28 | 0x9fa1eedU) + << 28 | 0xfaa1ce2U) + << 28 | 0x79edd9eU) + << 28 | 0x9c2e85bU), + UINTMAX_MAX / 2003) +P (8, 70, + (((((uintmax_t) 0x8e52U << 28 | 0x3c5712bU) + << 28 | 0x68c48d0U) + << 28 | 0xc591c22U) + << 28 | 0x1dc9c53U), + UINTMAX_MAX / 2011) +P (6, 66, + (((((uintmax_t) 0x8de5U << 28 | 0xdaaf67bU) + << 28 | 0x1d10a06U) + << 28 | 0xda8ee9cU) + << 28 | 0x9ee7c21U), + UINTMAX_MAX / 2017) +P (10, 60, + (((((uintmax_t) 0xec2bU << 28 | 0xf35ed8fU) + << 28 | 0x98f179dU) + << 28 | 0xfebcaf4U) + << 28 | 0xc27e8c3U), + UINTMAX_MAX / 2027) +P (2, 60, + (((((uintmax_t) 0xe8c8U << 28 | 0xdd0cfedU) + << 28 | 0xd4d9849U) + << 28 | 0xaeff9f1U) + << 28 | 0x9dd6de5U), + UINTMAX_MAX / 2029) +P (10, 60, + (((((uintmax_t) 0x65f2U << 28 | 0xb107280U) + << 28 | 0xd0eb086U) + << 28 | 0x976a57aU) + << 28 | 0x296e9c7U), + UINTMAX_MAX / 2039) +P (14, 58, + (((((uintmax_t) 0x44b5U << 28 | 0x0ed6b9cU) + << 28 | 0xbe093a3U) + << 28 | 0xb9abf48U) + << 28 | 0x72b84cdU), + UINTMAX_MAX / 2053) +P (10, 50, + (((((uintmax_t) 0x9e96U << 28 | 0xa5899dfU) + << 28 | 0x7cf5b34U) + << 28 | 0xfca6483U) + << 28 | 0x895e6efU), + UINTMAX_MAX / 2063) +P (6, 60, + (((((uintmax_t) 0x49beU << 28 | 0x6c24212U) + << 28 | 0x8f47e34U) + << 28 | 0xb5a3339U) + << 28 | 0x88f873dU), + UINTMAX_MAX / 2069) +P (12, 50, + (((((uintmax_t) 0xd1fdU << 28 | 0xc922526U) + << 28 | 0xc0275d9U) + << 28 | 0xdd4f19bU) + << 28 | 0x5f17be1U), + UINTMAX_MAX / 2081) +P (2, 54, + (((((uintmax_t) 0xb8d7U << 28 | 0x51f95d0U) + << 28 | 0x8f8bfb9U) + << 28 | 0x35b507fU) + << 28 | 0xd0ce78bU), + UINTMAX_MAX / 2083) +P (4, 54, + (((((uintmax_t) 0x971fU << 28 | 0x47835f8U) + << 28 | 0xe2aeeb4U) + << 28 | 0x50f5540U) + << 28 | 0x660e797U), + UINTMAX_MAX / 2087) +P (2, 54, + (((((uintmax_t) 0x418fU << 28 | 0xfe0a0c7U) + << 28 | 0xff05063U) + << 28 | 0xff82831U) + << 28 | 0xffc1419U), + UINTMAX_MAX / 2089) +P (10, 54, + (((((uintmax_t) 0xd06fU << 28 | 0x3ae8760U) + << 28 | 0xf5e0889U) + << 28 | 0x92f718cU) + << 28 | 0x22a32fbU), + UINTMAX_MAX / 2099) +P (12, 50, + (((((uintmax_t) 0x16adU << 28 | 0x6a5a779U) + << 28 | 0x25f515fU) + << 28 | 0x3253ad0U) + << 28 | 0xd37e7bfU), + UINTMAX_MAX / 2111) +P (2, 66, + (((((uintmax_t) 0xfe0fU << 28 | 0xc007c0fU) + << 28 | 0xfe0fc00U) + << 28 | 0x7c0ffe0U) + << 28 | 0xfc007c1U), + UINTMAX_MAX / 2113) +P (16, 74, + (((((uintmax_t) 0x9763U << 28 | 0x3395b43U) + << 28 | 0xf020b4dU) + << 28 | 0x8ebadc0U) + << 28 | 0xc0640b1U), + UINTMAX_MAX / 2129) +P (2, 76, + (((((uintmax_t) 0x9a20U << 28 | 0xea7f195U) + << 28 | 0x90471e2U) + << 28 | 0x729af83U) + << 28 | 0x1037bdbU), + UINTMAX_MAX / 2131) +P (6, 76, + (((((uintmax_t) 0x7285U << 28 | 0xee07e80U) + << 28 | 0xa8ab8b8U) + << 28 | 0xf64bf30U) + << 28 | 0xfeebfe9U), + UINTMAX_MAX / 2137) +P (4, 80, + (((((uintmax_t) 0x3dd1U << 28 | 0x5e1a10fU) + << 28 | 0xa9e8cdaU) + << 28 | 0x93124b5U) + << 28 | 0x44c0bf5U), + UINTMAX_MAX / 2141) +P (2, 94, + (((((uintmax_t) 0x4f14U << 28 | 0xe7bff85U) + << 28 | 0xac9e29cU) + << 28 | 0xf7ff0b5U) + << 28 | 0x93c539fU), + UINTMAX_MAX / 2143) +P (10, 86, + (((((uintmax_t) 0x12e7U << 28 | 0xdccdf10U) + << 28 | 0x4a322d6U) + << 28 | 0xbd8861fU) + << 28 | 0xa0e07d9U), + UINTMAX_MAX / 2153) +P (8, 82, + (((((uintmax_t) 0xd7b8U << 28 | 0xebfac9aU) + << 28 | 0x00b5f5cU) + << 28 | 0xfe75c0bU) + << 28 | 0xd8ab891U), + UINTMAX_MAX / 2161) +P (18, 72, + (((((uintmax_t) 0xae1cU << 28 | 0xe6bd9efU) + << 28 | 0x512ea43U) + << 28 | 0xe808757U) + << 28 | 0xc2e862bU), + UINTMAX_MAX / 2179) +P (24, 64, + (((((uintmax_t) 0x459bU << 28 | 0x5dc70f3U) + << 28 | 0x90e8690U) + << 28 | 0xcaa96d5U) + << 28 | 0x95c9d93U), + UINTMAX_MAX / 2203) +P (4, 62, + (((((uintmax_t) 0x4ec2U << 28 | 0xa38d65bU) + << 28 | 0xa2bd88fU) + << 28 | 0xd550625U) + << 28 | 0xd07135fU), + UINTMAX_MAX / 2207) +P (6, 60, + (((((uintmax_t) 0x525dU << 28 | 0x3cf6a14U) + << 28 | 0x20da676U) + << 28 | 0xb010a86U) + << 28 | 0xe209f2dU), + UINTMAX_MAX / 2213) +P (8, 60, + (((((uintmax_t) 0x716bU << 28 | 0x4f6a9e5U) + << 28 | 0xf3522ecU) + << 28 | 0xc042644U) + << 28 | 0x7769b25U), + UINTMAX_MAX / 2221) +P (16, 50, + (((((uintmax_t) 0x48abU << 28 | 0x336212fU) + << 28 | 0xf32ece3U) + << 28 | 0x81339caU) + << 28 | 0xabe3295U), + UINTMAX_MAX / 2237) +P (2, 54, + (((((uintmax_t) 0xbde9U << 28 | 0xd1944b7U) + << 28 | 0x656aad1U) + << 28 | 0xb190a2dU) + << 28 | 0x0c7673fU), + UINTMAX_MAX / 2239) +P (4, 54, + (((((uintmax_t) 0xb595U << 28 | 0xdb3fccdU) + << 28 | 0xe54afc3U) + << 28 | 0xbce3cf2U) + << 28 | 0x6b0e7ebU), + UINTMAX_MAX / 2243) +P (8, 58, + (((((uintmax_t) 0x8a10U << 28 | 0x9aab45fU) + << 28 | 0x137285fU) + << 28 | 0x87e76f5U) + << 28 | 0x6c61ce3U), + UINTMAX_MAX / 2251) +P (16, 44, + (((((uintmax_t) 0x2e69U << 28 | 0x78b763bU) + << 28 | 0x65f88c0U) + << 28 | 0x6c6857aU) + << 28 | 0x124b353U), + UINTMAX_MAX / 2267) +P (2, 64, + (((((uintmax_t) 0x7e40U << 28 | 0x4f6dc75U) + << 28 | 0xca11d38U) + << 28 | 0xc040fcbU) + << 28 | 0xa630f75U), + UINTMAX_MAX / 2269) +P (4, 66, + (((((uintmax_t) 0xa706U << 28 | 0x6b72173U) + << 28 | 0x37865d0U) + << 28 | 0x78bc4fbU) + << 28 | 0xd533b21U), + UINTMAX_MAX / 2273) +P (8, 60, + (((((uintmax_t) 0x1165U << 28 | 0x5853800U) + << 28 | 0xe5d99deU) + << 28 | 0x8e15c5dU) + << 28 | 0xd354f59U), + UINTMAX_MAX / 2281) +P (6, 60, + (((((uintmax_t) 0xad0dU << 28 | 0xfdfc31bU) + << 28 | 0x33610caU) + << 28 | 0x61d53d7U) + << 28 | 0x414260fU), + UINTMAX_MAX / 2287) +P (6, 58, + (((((uintmax_t) 0x65b5U << 28 | 0x32cc4f0U) + << 28 | 0xb46abb5U) + << 28 | 0x6bf5ba8U) + << 28 | 0xeae635dU), + UINTMAX_MAX / 2293) +P (4, 60, + (((((uintmax_t) 0xcdbcU << 28 | 0x7622fecU) + << 28 | 0x6285844U) + << 28 | 0xa72cb0fU) + << 28 | 0xb6e3949U), + UINTMAX_MAX / 2297) +P (12, 62, + (((((uintmax_t) 0x37c4U << 28 | 0x92cae49U) + << 28 | 0xd6fa587U) + << 28 | 0x9839a71U) + << 28 | 0x4f45bcdU), + UINTMAX_MAX / 2309) +P (2, 66, + (((((uintmax_t) 0xc031U << 28 | 0xa083283U) + << 28 | 0x60ed802U) + << 28 | 0xa8994fdU) + << 28 | 0xe5314b7U), + UINTMAX_MAX / 2311) +P (22, 48, + (((((uintmax_t) 0xc841U << 28 | 0xd685a6aU) + << 28 | 0xe081eb9U) + << 28 | 0x71920cfU) + << 28 | 0x2b90135U), + UINTMAX_MAX / 2333) +P (6, 44, + (((((uintmax_t) 0xc4c9U << 28 | 0xd2b0364U) + << 28 | 0x9549a8aU) + << 28 | 0x8fd0b7dU) + << 28 | 0xf9a6e8bU), + UINTMAX_MAX / 2339) +P (2, 48, + (((((uintmax_t) 0xe3c9U << 28 | 0x5290213U) + << 28 | 0xe7112b3U) + << 28 | 0x1f9a84cU) + << 28 | 0x1c6eaadU), + UINTMAX_MAX / 2341) +P (6, 46, + (((((uintmax_t) 0xf02fU << 28 | 0x1ede4bbU) + << 28 | 0x2c64c92U) + << 28 | 0x293b028U) + << 28 | 0x23c6d83U), + UINTMAX_MAX / 2347) +P (4, 48, + (((((uintmax_t) 0x83f9U << 28 | 0x7773bffU) + << 28 | 0x907f2eeU) + << 28 | 0xe77ff20U) + << 28 | 0xfe5ddcfU), + UINTMAX_MAX / 2351) +P (6, 54, + (((((uintmax_t) 0xd472U << 28 | 0x42b02b7U) + << 28 | 0x1ef460eU) + << 28 | 0x1ea0f6cU) + << 28 | 0x496c11dU), + UINTMAX_MAX / 2357) +P (14, 46, + (((((uintmax_t) 0xd905U << 28 | 0xb8f4727U) + << 28 | 0x318f0fdU) + << 28 | 0xf2d3d6fU) + << 28 | 0x88ccb6bU), + UINTMAX_MAX / 2371) +P (6, 46, + (((((uintmax_t) 0xf2c0U << 28 | 0xc7e3914U) + << 28 | 0x920a1faU) + << 28 | 0x9d74a34U) + << 28 | 0x57738f9U), + UINTMAX_MAX / 2377) +P (4, 56, + (((((uintmax_t) 0x6c7cU << 28 | 0x4a67008U) + << 28 | 0x99f72efU) + << 28 | 0xc3ca3dbU) + << 28 | 0x71a5785U), + UINTMAX_MAX / 2381) +P (2, 58, + (((((uintmax_t) 0x7e55U << 28 | 0xba2c0b9U) + << 28 | 0xa289b8eU) + << 28 | 0x2071718U) + << 28 | 0xd0d6dafU), + UINTMAX_MAX / 2383) +P (6, 58, + (((((uintmax_t) 0xbf46U << 28 | 0xd4d0be4U) + << 28 | 0xff091bcU) + << 28 | 0x0fdbfebU) + << 28 | 0x6cfabfdU), + UINTMAX_MAX / 2389) +P (4, 66, + (((((uintmax_t) 0x1908U << 28 | 0x738977bU) + << 28 | 0x58af71eU) + << 28 | 0xeab613eU) + << 28 | 0x5e5aee9U), + UINTMAX_MAX / 2393) +P (6, 68, + (((((uintmax_t) 0x6a48U << 28 | 0xc6e8d7fU) + << 28 | 0xbbb472dU) + << 28 | 0x2388e90U) + << 28 | 0xe9e929fU), + UINTMAX_MAX / 2399) +P (12, 62, + (((((uintmax_t) 0x9f7bU << 28 | 0x7cc2f24U) + << 28 | 0xd82eb81U) + << 28 | 0xdbafba5U) + << 28 | 0x88ddb43U), + UINTMAX_MAX / 2411) +P (6, 60, + (((((uintmax_t) 0x57ceU << 28 | 0x01e8101U) + << 28 | 0x96b8152U) + << 28 | 0xeebc51cU) + << 28 | 0x4799791U), + UINTMAX_MAX / 2417) +P (6, 80, + (((((uintmax_t) 0x22c2U << 28 | 0x9d6cb7dU) + << 28 | 0x695651cU) + << 28 | 0x6bc4693U) + << 28 | 0xb45a047U), + UINTMAX_MAX / 2423) +P (14, 84, + (((((uintmax_t) 0x366aU << 28 | 0x190050aU) + << 28 | 0xd1e2606U) + << 28 | 0xeee0974U) + << 28 | 0x498874dU), + UINTMAX_MAX / 2437) +P (4, 90, + (((((uintmax_t) 0x7708U << 28 | 0x7eb0665U) + << 28 | 0xba929d8U) + << 28 | 0x5b7377aU) + << 28 | 0x9953cb9U), + UINTMAX_MAX / 2441) +P (6, 92, + (((((uintmax_t) 0x8f53U << 28 | 0x96f6b06U) + << 28 | 0x2c2614bU) + << 28 | 0x6df412dU) + << 28 | 0x4caf56fU), + UINTMAX_MAX / 2447) +P (12, 84, + (((((uintmax_t) 0x0c2eU << 28 | 0x394250fU) + << 28 | 0xedad56bU) + << 28 | 0x8afbbb4U) + << 28 | 0xa053493U), + UINTMAX_MAX / 2459) +P (8, 82, + (((((uintmax_t) 0x78afU << 28 | 0x29d1b7fU) + << 28 | 0xbd965ccU) + << 28 | 0x5299c96U) + << 28 | 0xac7720bU), + UINTMAX_MAX / 2467) +P (6, 78, + (((((uintmax_t) 0x1287U << 28 | 0x9bcb69bU) + << 28 | 0x11e89adU) + << 28 | 0xce84b5cU) + << 28 | 0x710aa99U), + UINTMAX_MAX / 2473) +P (4, 80, + (((((uintmax_t) 0x92c2U << 28 | 0x17c54bfU) + << 28 | 0x67de19dU) + << 28 | 0x673f5aaU) + << 28 | 0x3804225U), + UINTMAX_MAX / 2477) +P (26, 76, + (((((uintmax_t) 0xd46eU << 28 | 0x0ce30e3U) + << 28 | 0x76f2ce6U) + << 28 | 0x541268eU) + << 28 | 0xfbce7f7U), + UINTMAX_MAX / 2503) +P (18, 70, + (((((uintmax_t) 0xa49bU << 28 | 0x91ec4ccU) + << 28 | 0x5004dfcU) + << 28 | 0xf41e76cU) + << 28 | 0xf5be669U), + UINTMAX_MAX / 2521) +P (10, 62, + (((((uintmax_t) 0x6098U << 28 | 0x1f8eb77U) + << 28 | 0xa7cd05cU) + << 28 | 0x3eb5dc3U) + << 28 | 0x1c383cbU), + UINTMAX_MAX / 2531) +P (8, 70, + (((((uintmax_t) 0x62e9U << 28 | 0x505bf44U) + << 28 | 0xdd6a930U) + << 28 | 0x1832d11U) + << 28 | 0xd8ad6c3U), + UINTMAX_MAX / 2539) +P (4, 74, + (((((uintmax_t) 0xb3cbU << 28 | 0x3fecabfU) + << 28 | 0x119df2eU) + << 28 | 0x9c0942fU) + << 28 | 0x1ce450fU), + UINTMAX_MAX / 2543) +P (6, 72, + (((((uintmax_t) 0xef3aU << 28 | 0x59c92a1U) + << 28 | 0x4b05b97U) + << 28 | 0xf3f2be3U) + << 28 | 0x7a39a5dU), + UINTMAX_MAX / 2549) +P (2, 82, + (((((uintmax_t) 0xe69cU << 28 | 0x5983c36U) + << 28 | 0x30c57e8U) + << 28 | 0xb7d8a96U) + << 28 | 0x54187c7U), + UINTMAX_MAX / 2551) +P (6, 90, + (((((uintmax_t) 0x437aU << 28 | 0xa4cb09bU) + << 28 | 0x61d08b5U) + << 28 | 0xd024d7dU) + << 28 | 0xa5b1b55U), + UINTMAX_MAX / 2557) +P (22, 78, + (((((uintmax_t) 0x1b65U << 28 | 0x8bdca98U) + << 28 | 0xaabb9b8U) + << 28 | 0xba9d6e7U) + << 28 | 0xae3501bU), + UINTMAX_MAX / 2579) +P (12, 68, + (((((uintmax_t) 0x3ea4U << 28 | 0x3624f3dU) + << 28 | 0x8dfb0f5U) + << 28 | 0x0865f71U) + << 28 | 0xb90f1dfU), + UINTMAX_MAX / 2591) +P (2, 70, + (((((uintmax_t) 0x2d05U << 28 | 0x08fbf3cU) + << 28 | 0x1ffcd73U) + << 28 | 0x9c16828U) + << 28 | 0x47df9e1U), + UINTMAX_MAX / 2593) +P (16, 62, + (((((uintmax_t) 0xc716U << 28 | 0xdcc634cU) + << 28 | 0xa218ec4U) + << 28 | 0x70a4d84U) + << 28 | 0x2b90ed1U), + UINTMAX_MAX / 2609) +P (8, 60, + (((((uintmax_t) 0xe30bU << 28 | 0x71f669dU) + << 28 | 0x7e49c1fU) + << 28 | 0xb1be116U) + << 28 | 0x98cc409U), + UINTMAX_MAX / 2617) +P (4, 62, + (((((uintmax_t) 0xa624U << 28 | 0x238d871U) + << 28 | 0x4cde4d8U) + << 28 | 0xd5512a7U) + << 28 | 0xcd35d15U), + UINTMAX_MAX / 2621) +P (12, 54, + (((((uintmax_t) 0x6488U << 28 | 0x81e55c1U) + << 28 | 0x30e7ca5U) + << 28 | 0x4968217U) + << 28 | 0x23e07f9U), + UINTMAX_MAX / 2633) +P (14, 42, + (((((uintmax_t) 0x8513U << 28 | 0xd3830beU) + << 28 | 0x54ea0bcU) + << 28 | 0xc8c6d7aU) + << 28 | 0xbaa8167U), + UINTMAX_MAX / 2647) +P (10, 36, + (((((uintmax_t) 0x49b5U << 28 | 0x0a4f32fU) + << 28 | 0x800c552U) + << 28 | 0xc396c95U) + << 28 | 0xeb619a1U), + UINTMAX_MAX / 2657) +P (2, 40, + (((((uintmax_t) 0xa1f0U << 28 | 0x049f0c9U) + << 28 | 0xcbd166eU) + << 28 | 0xb7e3808U) + << 28 | 0x78ec74bU), + UINTMAX_MAX / 2659) +P (4, 44, + (((((uintmax_t) 0x25f8U << 28 | 0xe2df380U) + << 28 | 0xb892e3dU) + << 28 | 0x5513b50U) + << 28 | 0x4537157U), + UINTMAX_MAX / 2663) +P (8, 40, + (((((uintmax_t) 0x1654U << 28 | 0xeb02967U) + << 28 | 0x9b8e231U) + << 28 | 0x4391f88U) + << 28 | 0x62e948fU), + UINTMAX_MAX / 2671) +P (6, 36, + (((((uintmax_t) 0x304aU << 28 | 0xf935d6eU) + << 28 | 0x11c97dcU) + << 28 | 0x0b17cfcU) + << 28 | 0xd81f5ddU), + UINTMAX_MAX / 2677) +P (6, 36, + (((((uintmax_t) 0xef7eU << 28 | 0x3c1c9feU) + << 28 | 0xaa07d2fU) + << 28 | 0x6bea3ecU) + << 28 | 0x89044b3U), + UINTMAX_MAX / 2683) +P (4, 42, + (((((uintmax_t) 0xd02cU << 28 | 0x34f8dabU) + << 28 | 0xf7ff3ceU) + << 28 | 0x13a0586U) + << 28 | 0x9f1b57fU), + UINTMAX_MAX / 2687) +P (2, 42, + (((((uintmax_t) 0xca7fU << 28 | 0x00185f3U) + << 28 | 0x3e2ad75U) + << 28 | 0x93474e8U) + << 28 | 0xace3581U), + UINTMAX_MAX / 2689) +P (4, 48, + (((((uintmax_t) 0x613fU << 28 | 0x67e6e76U) + << 28 | 0x10ebc07U) + << 28 | 0xfc32929U) + << 28 | 0x5a05e4dU), + UINTMAX_MAX / 2693) +P (6, 50, + (((((uintmax_t) 0x91e1U << 28 | 0x1433fa4U) + << 28 | 0xf1ad7b0U) + << 28 | 0x5377cbaU) + << 28 | 0x4908d23U), + UINTMAX_MAX / 2699) +P (8, 46, + (((((uintmax_t) 0x99c5U << 28 | 0x2d7ced2U) + << 28 | 0xe3e9ae7U) + << 28 | 0xb2131a6U) + << 28 | 0x28aa39bU), + UINTMAX_MAX / 2707) +P (4, 56, + (((((uintmax_t) 0xe699U << 28 | 0x2a662c6U) + << 28 | 0x1d45f90U) + << 28 | 0x31dbed7U) + << 28 | 0xde01527U), + UINTMAX_MAX / 2711) +P (2, 64, + (((((uintmax_t) 0x86efU << 28 | 0x7ca673aU) + << 28 | 0xf9ad876U) + << 28 | 0x844b1c6U) + << 28 | 0x70aa9a9U), + UINTMAX_MAX / 2713) +P (6, 70, + (((((uintmax_t) 0xb29bU << 28 | 0x59ea585U) + << 28 | 0x098266aU) + << 28 | 0x03f4533U) + << 28 | 0xb08915fU), + UINTMAX_MAX / 2719) +P (10, 62, + (((((uintmax_t) 0x2d67U << 28 | 0x181bc45U) + << 28 | 0x6ad8b1dU) + << 28 | 0xbca579dU) + << 28 | 0xb0a3999U), + UINTMAX_MAX / 2729) +P (2, 66, + (((((uintmax_t) 0xffa0U << 28 | 0x02ffe80U) + << 28 | 0x0bffa00U) + << 28 | 0x2ffe800U) + << 28 | 0xbffa003U), + UINTMAX_MAX / 2731) +P (10, 60, + (((((uintmax_t) 0xef00U << 28 | 0x778c303U) + << 28 | 0x1503a47U) + << 28 | 0x8ab1a3eU) + << 28 | 0x936139dU), + UINTMAX_MAX / 2741) +P (8, 54, + (((((uintmax_t) 0xd453U << 28 | 0x113a63aU) + << 28 | 0x4bcdb66U) + << 28 | 0xe722bc4U) + << 28 | 0xc5cc095U), + UINTMAX_MAX / 2749) +P (4, 66, + (((((uintmax_t) 0x01c4U << 28 | 0x4cfeca8U) + << 28 | 0x7f35a7aU) + << 28 | 0x8f63c71U) + << 28 | 0x7278541U), + UINTMAX_MAX / 2753) +P (14, 66, + (((((uintmax_t) 0x3887U << 28 | 0x72a189cU) + << 28 | 0x2c09fdfU) + << 28 | 0x6eee24dU) + << 28 | 0x292bc2fU), + UINTMAX_MAX / 2767) +P (10, 60, + (((((uintmax_t) 0x835dU << 28 | 0x625cbd2U) + << 28 | 0xa50339fU) + << 28 | 0xc20d172U) + << 28 | 0x37dd569U), + UINTMAX_MAX / 2777) +P (12, 54, + (((((uintmax_t) 0x8052U << 28 | 0x3e3ba9bU) + << 28 | 0x7da8ccdU) + << 28 | 0xf993235U) + << 28 | 0x6bda2edU), + UINTMAX_MAX / 2789) +P (2, 60, + (((((uintmax_t) 0xced6U << 28 | 0x1518ac7U) + << 28 | 0x0a2e697U) + << 28 | 0xb5e332eU) + << 28 | 0x80f68d7U), + UINTMAX_MAX / 2791) +P (6, 60, + (((((uintmax_t) 0x42d0U << 28 | 0x7f67b31U) + << 28 | 0xe1cbd46U) + << 28 | 0xeee26fdU) + << 28 | 0x875e2e5U), + UINTMAX_MAX / 2797) +P (4, 60, + (((((uintmax_t) 0xa787U << 28 | 0x5b7cc16U) + << 28 | 0x4cf4935U) + << 28 | 0x48a8e65U) + << 28 | 0x157a611U), + UINTMAX_MAX / 2801) +P (2, 76, + (((((uintmax_t) 0x69abU << 28 | 0x6d816a6U) + << 28 | 0x6791ac2U) + << 28 | 0x88d03beU) + << 28 | 0x9b71e3bU), + UINTMAX_MAX / 2803) +P (16, 68, + (((((uintmax_t) 0xace8U << 28 | 0x1dc954bU) + << 28 | 0xa58d081U) + << 28 | 0x51186dbU) + << 28 | 0x38937abU), + UINTMAX_MAX / 2819) +P (14, 64, + (((((uintmax_t) 0x7c3fU << 28 | 0xfa377bbU) + << 28 | 0x52dd078U) + << 28 | 0x00b9108U) + << 28 | 0x95a45f1U), + UINTMAX_MAX / 2833) +P (4, 66, + (((((uintmax_t) 0x1f0aU << 28 | 0x8ec0eccU) + << 28 | 0x79a36aeU) + << 28 | 0xe0b0241U) + << 28 | 0x82eec3dU), + UINTMAX_MAX / 2837) +P (6, 66, + (((((uintmax_t) 0x609eU << 28 | 0x7b00a15U) + << 28 | 0xca83496U) + << 28 | 0x323eda1U) + << 28 | 0x73b5713U), + UINTMAX_MAX / 2843) +P (8, 66, + (((((uintmax_t) 0x7362U << 28 | 0x52ca08cU) + << 28 | 0xcba690eU) + << 28 | 0xd0dbd03U) + << 28 | 0xae77c8bU), + UINTMAX_MAX / 2851) +P (6, 70, + (((((uintmax_t) 0xa370U << 28 | 0x463ffa4U) + << 28 | 0x3eb91f7U) + << 28 | 0x3800b78U) + << 28 | 0x28dc119U), + UINTMAX_MAX / 2857) +P (4, 78, + (((((uintmax_t) 0x4586U << 28 | 0x7cbbe80U) + << 28 | 0x502c61bU) + << 28 | 0x61715ecU) + << 28 | 0x22b7ca5U), + UINTMAX_MAX / 2861) +P (18, 74, + (((((uintmax_t) 0x508fU << 28 | 0xb1c027dU) + << 28 | 0x607a5a8U) + << 28 | 0x533a991U) + << 28 | 0xead64bfU), + UINTMAX_MAX / 2879) +P (8, 70, + (((((uintmax_t) 0xbc40U << 28 | 0xe8adccbU) + << 28 | 0xf2e057fU) + << 28 | 0x6c7290eU) + << 28 | 0x46c2e77U), + UINTMAX_MAX / 2887) +P (10, 66, + (((((uintmax_t) 0x73d9U << 28 | 0x78cc4e1U) + << 28 | 0xdde3e63U) + << 28 | 0x25e8d90U) + << 28 | 0x7b01db1U), + UINTMAX_MAX / 2897) +P (6, 66, + (((((uintmax_t) 0x1c21U << 28 | 0x8299f86U) + << 28 | 0xa86ec28U) + << 28 | 0x909f701U) + << 28 | 0x52a1067U), + UINTMAX_MAX / 2903) +P (6, 62, + (((((uintmax_t) 0x5da2U << 28 | 0x8a842e1U) + << 28 | 0xd0a78eaU) + << 28 | 0x7077af0U) + << 28 | 0x997a0f5U), + UINTMAX_MAX / 2909) +P (8, 82, + (((((uintmax_t) 0x21f6U << 28 | 0xb281b61U) + << 28 | 0xadae07eU) + << 28 | 0x605cad1U) + << 28 | 0x0c32e6dU), + UINTMAX_MAX / 2917) +P (10, 74, + (((((uintmax_t) 0x2e9dU << 28 | 0xf4a1477U) + << 28 | 0x4c2dd47U) + << 28 | 0x1b33570U) + << 28 | 0x635b38fU), + UINTMAX_MAX / 2927) +P (12, 72, + (((((uintmax_t) 0x891aU << 28 | 0x37ebcabU) + << 28 | 0x12ba3abU) + << 28 | 0x559fa99U) + << 28 | 0x7a61bb3U), + UINTMAX_MAX / 2939) +P (14, 66, + (((((uintmax_t) 0xccadU << 28 | 0xbad1f78U) + << 28 | 0x11569adU) + << 28 | 0x4bdae56U) + << 28 | 0x2bddab9U), + UINTMAX_MAX / 2953) +P (4, 66, + (((((uintmax_t) 0xb335U << 28 | 0x6a92a82U) + << 28 | 0x08d4a05U) + << 28 | 0x5e1b2f2U) + << 28 | 0xed62f45U), + UINTMAX_MAX / 2957) +P (6, 74, + (((((uintmax_t) 0x58bbU << 28 | 0x5017802U) + << 28 | 0x12d5c03U) + << 28 | 0xcd328b1U) + << 28 | 0xa2dca9bU), + UINTMAX_MAX / 2963) +P (6, 72, + (((((uintmax_t) 0x7501U << 28 | 0xa365242U) + << 28 | 0x0c3e6d2U) + << 28 | 0x8f4e087U) + << 28 | 0x33218a9U), + UINTMAX_MAX / 2969) +P (2, 78, + (((((uintmax_t) 0x18a4U << 28 | 0xbffa7c4U) + << 28 | 0x073ceb6U) + << 28 | 0x800b077U) + << 28 | 0xf186293U), + UINTMAX_MAX / 2971) +P (28, 62, + (((((uintmax_t) 0xa633U << 28 | 0x0bdd838U) + << 28 | 0xae2356fU) + << 28 | 0xbd138c3U) + << 28 | 0xfd9c207U), + UINTMAX_MAX / 2999) +P (2, 66, + (((((uintmax_t) 0xe2ffU << 28 | 0x0fc80a3U) + << 28 | 0xc9104b1U) + << 28 | 0x17ccd12U) + << 28 | 0xae88a89U), + UINTMAX_MAX / 3001) +P (10, 68, + (((((uintmax_t) 0x1183U << 28 | 0xb2cce6eU) + << 28 | 0xb2b722fU) + << 28 | 0x1a1a044U) + << 28 | 0x046bcebU), + UINTMAX_MAX / 3011) +P (8, 64, + (((((uintmax_t) 0xbfb9U << 28 | 0x73118d8U) + << 28 | 0x666f154U) + << 28 | 0x8aba0b0U) + << 28 | 0x60541e3U), + UINTMAX_MAX / 3019) +P (4, 66, + (((((uintmax_t) 0xa152U << 28 | 0xbc81bc6U) + << 28 | 0xc0e90cfU) + << 28 | 0x4e808ceU) + << 28 | 0xa111b2fU), + UINTMAX_MAX / 3023) +P (14, 72, + (((((uintmax_t) 0xaebdU << 28 | 0xa92d6f2U) + << 28 | 0xef39bdbU) + << 28 | 0xec1b4faU) + << 28 | 0x855a475U), + UINTMAX_MAX / 3037) +P (4, 78, + (((((uintmax_t) 0x890cU << 28 | 0xb62bf18U) + << 28 | 0x542ece3U) + << 28 | 0xf794eb6U) + << 28 | 0x00d7821U), + UINTMAX_MAX / 3041) +P (8, 72, + (((((uintmax_t) 0x699fU << 28 | 0xc793db6U) + << 28 | 0x480a134U) + << 28 | 0xfae0d9aU) + << 28 | 0x11f7c59U), + UINTMAX_MAX / 3049) +P (12, 76, + (((((uintmax_t) 0x14fdU << 28 | 0xe8c0055U) + << 28 | 0xa3d62f0U) + << 28 | 0x06b0ccbU) + << 28 | 0xbac085dU), + UINTMAX_MAX / 3061) +P (6, 96, + (((((uintmax_t) 0xa99cU << 28 | 0x01006adU) + << 28 | 0x72efe3fU) + << 28 | 0x45076dcU) + << 28 | 0x3114733U), + UINTMAX_MAX / 3067) +P (12, 88, + (((((uintmax_t) 0x59e0U << 28 | 0xe778f96U) + << 28 | 0xe7f8aeeU) + << 28 | 0xf49bfa5U) + << 28 | 0x8a1a1b7U), + UINTMAX_MAX / 3079) +P (4, 86, + (((((uintmax_t) 0x6edaU << 28 | 0x627b0f3U) + << 28 | 0x2121a12U) + << 28 | 0xc4218beU) + << 28 | 0xa691fa3U), + UINTMAX_MAX / 3083) +P (6, 92, + (((((uintmax_t) 0xf88aU << 28 | 0x9107df8U) + << 28 | 0x35b3ebcU) + << 28 | 0x7504e3bU) + << 28 | 0xd5e64f1U), + UINTMAX_MAX / 3089) +P (20, 78, + (((((uintmax_t) 0xcddaU << 28 | 0x9dee60fU) + << 28 | 0xf969a4eU) + << 28 | 0xe21c292U) + << 28 | 0xbb92fadU), + UINTMAX_MAX / 3109) +P (10, 72, + (((((uintmax_t) 0x4ff1U << 28 | 0x8de982bU) + << 28 | 0xfe5bc34U) + << 28 | 0x338b732U) + << 28 | 0x7a4bacfU), + UINTMAX_MAX / 3119) +P (2, 82, + (((((uintmax_t) 0x8fdfU << 28 | 0x30a40ccU) + << 28 | 0xbc0053fU) + << 28 | 0xe5c0833U) + << 28 | 0xd6fccd1U), + UINTMAX_MAX / 3121) +P (16, 72, + (((((uintmax_t) 0x0ca6U << 28 | 0x26ae799U) + << 28 | 0x8087cb1U) + << 28 | 0xe707435U) + << 28 | 0x35203c1U), + UINTMAX_MAX / 3137) +P (26, 54, + (((((uintmax_t) 0x3a1cU << 28 | 0xa6ba507U) + << 28 | 0x340aaefU) + << 28 | 0xbb5dcdfU) + << 28 | 0xb4e43d3U), + UINTMAX_MAX / 3163) +P (4, 54, + (((((uintmax_t) 0x340eU << 28 | 0x8ccfe76U) + << 28 | 0xd34c8caU) + << 28 | 0x68467caU) + << 28 | 0x5394f9fU), + UINTMAX_MAX / 3167) +P (2, 60, + (((((uintmax_t) 0xe94cU << 28 | 0xd3010cdU) + << 28 | 0x82c978cU) + << 28 | 0x51c0814U) + << 28 | 0x08b97a1U), + UINTMAX_MAX / 3169) +P (12, 70, + (((((uintmax_t) 0x69d4U << 28 | 0x0f213ccU) + << 28 | 0x2c1a132U) + << 28 | 0x75a899dU) + << 28 | 0xfa5dd65U), + UINTMAX_MAX / 3181) +P (6, 66, + (((((uintmax_t) 0xcc45U << 28 | 0x14a4d46U) + << 28 | 0x1ff849eU) + << 28 | 0x674cb62U) + << 28 | 0xe1b78bbU), + UINTMAX_MAX / 3187) +P (4, 66, + (((((uintmax_t) 0x6351U << 28 | 0xbffadd9U) + << 28 | 0x54cc6a3U) + << 28 | 0x7ff5bb2U) + << 28 | 0xa998d47U), + UINTMAX_MAX / 3191) +P (12, 56, + (((((uintmax_t) 0x77baU << 28 | 0x4e2aae1U) + << 28 | 0x3a95c79U) + << 28 | 0x2a999dbU) + << 28 | 0x131a22bU), + UINTMAX_MAX / 3203) +P (6, 62, + (((((uintmax_t) 0x8d1fU << 28 | 0x82e96c6U) + << 28 | 0xa42da1bU) + << 28 | 0x48841bcU) + << 28 | 0x30d29b9U), + UINTMAX_MAX / 3209) +P (8, 82, + (((((uintmax_t) 0x0ef5U << 28 | 0xe4c8da5U) + << 28 | 0xc2683f0U) + << 28 | 0x6721d20U) + << 28 | 0x11d3471U), + UINTMAX_MAX / 3217) +P (4, 80, + (((((uintmax_t) 0x9ccfU << 28 | 0x98fef77U) + << 28 | 0xeed5293U) + << 28 | 0xfd2386dU) + << 28 | 0xff85ebdU), + UINTMAX_MAX / 3221) +P (8, 78, + (((((uintmax_t) 0x9c06U << 28 | 0xa8de9f5U) + << 28 | 0xb182e4cU) + << 28 | 0xe72f54cU) + << 28 | 0x07ed9b5U), + UINTMAX_MAX / 3229) +P (22, 62, + (((((uintmax_t) 0xdcf5U << 28 | 0x5e929f8U) + << 28 | 0x99148d6U) + << 28 | 0xd0fd3e7U) + << 28 | 0x1dd827bU), + UINTMAX_MAX / 3251) +P (2, 66, + (((((uintmax_t) 0xcebcU << 28 | 0x664e397U) + << 28 | 0x2d17d85U) + << 28 | 0x6405fb1U) + << 28 | 0xeed819dU), + UINTMAX_MAX / 3253) +P (4, 66, + (((((uintmax_t) 0x921eU << 28 | 0x0671f84U) + << 28 | 0xc15b18eU) + << 28 | 0xa8aceb7U) + << 28 | 0xc443989U), + UINTMAX_MAX / 3257) +P (2, 70, + (((((uintmax_t) 0x4223U << 28 | 0xfa07b2bU) + << 28 | 0x4830634U) + << 28 | 0xa13026fU) + << 28 | 0x62e5873U), + UINTMAX_MAX / 3259) +P (12, 60, + (((((uintmax_t) 0x4ceeU << 28 | 0xdc3bcb1U) + << 28 | 0x806e31eU) + << 28 | 0xea0208eU) + << 28 | 0xc0af4f7U), + UINTMAX_MAX / 3271) +P (28, 44, + (((((uintmax_t) 0x969eU << 28 | 0xc4a2f55U) + << 28 | 0xe703563U) + << 28 | 0x679853cU) + << 28 | 0xea598cbU), + UINTMAX_MAX / 3299) +P (2, 46, + (((((uintmax_t) 0xd886U << 28 | 0xa176bb8U) + << 28 | 0x577a9c3U) + << 28 | 0x0b3ebd6U) + << 28 | 0x1f2d0edU), + UINTMAX_MAX / 3301) +P (6, 52, + (((((uintmax_t) 0xaaecU << 28 | 0xb97a633U) + << 28 | 0xdda117eU) + << 28 | 0xb9037bcU) + << 28 | 0x7f43bc3U), + UINTMAX_MAX / 3307) +P (6, 48, + (((((uintmax_t) 0x1a59U << 28 | 0x7af0505U) + << 28 | 0xcb9c2a5U) + << 28 | 0x83e6f6cU) + << 28 | 0xe016411U), + UINTMAX_MAX / 3313) +P (6, 52, + (((((uintmax_t) 0x76c8U << 28 | 0x6358785U) + << 28 | 0x34d5cf1U) + << 28 | 0x938d895U) + << 28 | 0xf1a74c7U), + UINTMAX_MAX / 3319) +P (4, 50, + (((((uintmax_t) 0xb781U << 28 | 0xa8058bfU) + << 28 | 0xac2e880U) + << 28 | 0xcf1491cU) + << 28 | 0x1e81e33U), + UINTMAX_MAX / 3323) +P (6, 60, + (((((uintmax_t) 0xc604U << 28 | 0x75cf8d9U) + << 28 | 0x2a5f33cU) + << 28 | 0x0f12886U) + << 28 | 0xba8f301U), + UINTMAX_MAX / 3329) +P (2, 60, + (((((uintmax_t) 0x9d2aU << 28 | 0x8009d65U) + << 28 | 0x861c20eU) + << 28 | 0x4b786e0U) + << 28 | 0xdfcc5abU), + UINTMAX_MAX / 3331) +P (12, 64, + (((((uintmax_t) 0x4053U << 28 | 0x511894dU) + << 28 | 0xe137367U) + << 28 | 0x2684c93U) + << 28 | 0xf2d41efU), + UINTMAX_MAX / 3343) +P (4, 66, + (((((uintmax_t) 0xcbfdU << 28 | 0x3f19edcU) + << 28 | 0xbd615e0U) + << 28 | 0x0757badU) + << 28 | 0xb35c51bU), + UINTMAX_MAX / 3347) +P (12, 74, + (((((uintmax_t) 0x303eU << 28 | 0x309fbe2U) + << 28 | 0x6de63d6U) + << 28 | 0xd84afe6U) + << 28 | 0x6472edfU), + UINTMAX_MAX / 3359) +P (2, 88, + (((((uintmax_t) 0x1123U << 28 | 0x440491fU) + << 28 | 0x00137fbU) + << 28 | 0xbc0eedcU) + << 28 | 0xbbfb6e1U), + UINTMAX_MAX / 3361) +P (10, 86, + (((((uintmax_t) 0x5ae7U << 28 | 0x03df7f3U) + << 28 | 0x3de4825U) + << 28 | 0x0f43aa0U) + << 28 | 0x8a84983U), + UINTMAX_MAX / 3371) +P (2, 88, + (((((uintmax_t) 0x11fcU << 28 | 0xcff5122U) + << 28 | 0x3abe804U) + << 28 | 0x400e927U) + << 28 | 0xb1acaa5U), + UINTMAX_MAX / 3373) +P (16, 74, + (((((uintmax_t) 0x80cbU << 28 | 0x0c29652U) + << 28 | 0x5643d56U) + << 28 | 0x572be34U) + << 28 | 0xb9d3215U), + UINTMAX_MAX / 3389) +P (2, 76, + (((((uintmax_t) 0xc57dU << 28 | 0xffd958dU) + << 28 | 0xb3c0487U) + << 28 | 0x964ef77U) + << 28 | 0x81c62bfU), + UINTMAX_MAX / 3391) +P (16, 62, + (((((uintmax_t) 0x9c4aU << 28 | 0x3cdce8eU) + << 28 | 0xea48e29U) + << 28 | 0xed84051U) + << 28 | 0xc06e9afU), + UINTMAX_MAX / 3407) +P (6, 78, + (((((uintmax_t) 0x0cf9U << 28 | 0xeca5ea8U) + << 28 | 0xc4381b0U) + << 28 | 0x0acd11eU) + << 28 | 0xd3f87fdU), + UINTMAX_MAX / 3413) +P (20, 66, + (((((uintmax_t) 0xfe48U << 28 | 0xee074edU) + << 28 | 0x223a506U) + << 28 | 0x3078817U) + << 28 | 0x44152d9U), + UINTMAX_MAX / 3433) +P (16, 62, + (((((uintmax_t) 0xa409U << 28 | 0x342e04eU) + << 28 | 0x6187e7aU) + << 28 | 0x786459fU) + << 28 | 0x5c1ccc9U), + UINTMAX_MAX / 3449) +P (8, 60, + (((((uintmax_t) 0xe4e5U << 28 | 0x902e357U) + << 28 | 0x74c7f13U) + << 28 | 0x08125d7U) + << 28 | 0x4563281U), + UINTMAX_MAX / 3457) +P (4, 66, + (((((uintmax_t) 0x7588U << 28 | 0x9dfe5f6U) + << 28 | 0xae1e539U) + << 28 | 0x5310a48U) + << 28 | 0x0b3e34dU), + UINTMAX_MAX / 3461) +P (2, 66, + (((((uintmax_t) 0x3784U << 28 | 0x6603fdeU) + << 28 | 0xe1c3d35U) + << 28 | 0x985baa8U) + << 28 | 0xb202837U), + UINTMAX_MAX / 3463) +P (4, 66, + (((((uintmax_t) 0xb450U << 28 | 0xa1daeecU) + << 28 | 0xba5ea96U) + << 28 | 0x304a6e0U) + << 28 | 0x52b3223U), + UINTMAX_MAX / 3467) +P (2, 70, + (((((uintmax_t) 0xfbf0U << 28 | 0xf20d6e5U) + << 28 | 0x363d8bdU) + << 28 | 0x8265fc9U) + << 28 | 0xaf8fd45U), + UINTMAX_MAX / 3469) +P (22, 50, + (((((uintmax_t) 0xeeb1U << 28 | 0x9bd44b6U) + << 28 | 0x27bee1bU) + << 28 | 0x6d0b383U) + << 28 | 0xec58e0bU), + UINTMAX_MAX / 3491) +P (8, 48, + (((((uintmax_t) 0x7386U << 28 | 0x8c53fdfU) + << 28 | 0x38fe9c2U) + << 28 | 0x1a7c3b6U) + << 28 | 0x8b28503U), + UINTMAX_MAX / 3499) +P (12, 46, + (((((uintmax_t) 0xba13U << 28 | 0x65219cfU) + << 28 | 0xbb2b623U) + << 28 | 0x6fa180fU) + << 28 | 0xbfd6007U), + UINTMAX_MAX / 3511) +P (6, 42, + (((((uintmax_t) 0xe16dU << 28 | 0xb1887adU) + << 28 | 0xe4c6dc4U) + << 28 | 0x2accd44U) + << 28 | 0x0ed9595U), + UINTMAX_MAX / 3517) +P (10, 44, + (((((uintmax_t) 0x4cf0U << 28 | 0x1ab5e49U) + << 28 | 0x04b7c7aU) + << 28 | 0xcf71282U) + << 28 | 0x36ba3f7U), + UINTMAX_MAX / 3527) +P (2, 52, + (((((uintmax_t) 0x6374U << 28 | 0x6df92e5U) + << 28 | 0xaad5ff9U) + << 28 | 0x09367a9U) + << 28 | 0x87b9c79U), + UINTMAX_MAX / 3529) +P (4, 50, + (((((uintmax_t) 0x3fc3U << 28 | 0xb6abbabU) + << 28 | 0xa82dcb6U) + << 28 | 0x4efb252U) + << 28 | 0xbfba705U), + UINTMAX_MAX / 3533) +P (6, 54, + (((((uintmax_t) 0x82b6U << 28 | 0x6ef6f53U) + << 28 | 0x8c8ce98U) + << 28 | 0x0d4f5a7U) + << 28 | 0xe4cd25bU), + UINTMAX_MAX / 3539) +P (2, 66, + (((((uintmax_t) 0x20c0U << 28 | 0x04a07f3U) + << 28 | 0xdab1fe1U) + << 28 | 0xecc4ef2U) + << 28 | 0x7b0c37dU), + UINTMAX_MAX / 3541) +P (6, 66, + (((((uintmax_t) 0xfb2aU << 28 | 0x13c68cbU) + << 28 | 0xd185291U) + << 28 | 0x11aebb8U) + << 28 | 0x1d72653U), + UINTMAX_MAX / 3547) +P (10, 60, + (((((uintmax_t) 0x8908U << 28 | 0x46d1b90U) + << 28 | 0x96d9c89U) + << 28 | 0x51f985cU) + << 28 | 0xb2c67edU), + UINTMAX_MAX / 3557) +P (2, 64, + (((((uintmax_t) 0xf7baU << 28 | 0x5f17856U) + << 28 | 0xe44e8c4U) + << 28 | 0x39d4fc5U) + << 28 | 0x4e0b5d7U), + UINTMAX_MAX / 3559) +P (12, 60, + (((((uintmax_t) 0x811cU << 28 | 0x75db26eU) + << 28 | 0xd4a0de8U) + << 28 | 0x57bf318U) + << 28 | 0x96d533bU), + UINTMAX_MAX / 3571) +P (10, 56, + (((((uintmax_t) 0x6fbcU << 28 | 0x83d31afU) + << 28 | 0x37d51b6U) + << 28 | 0x14bb4cbU) + << 28 | 0x5023755U), + UINTMAX_MAX / 3581) +P (2, 60, + (((((uintmax_t) 0xdf7dU << 28 | 0xad8c657U) + << 28 | 0x4f61193U) + << 28 | 0x8a89e54U) + << 28 | 0x73bf1ffU), + UINTMAX_MAX / 3583) +P (10, 66, + (((((uintmax_t) 0x48beU << 28 | 0xf2f618aU) + << 28 | 0x70259eaU) + << 28 | 0xc481acaU) + << 28 | 0x34de039U), + UINTMAX_MAX / 3593) +P (14, 64, + (((((uintmax_t) 0x5c8cU << 28 | 0x86d951dU) + << 28 | 0x4fd8414U) + << 28 | 0xb961badU) + << 28 | 0xf4809a7U), + UINTMAX_MAX / 3607) +P (6, 60, + (((((uintmax_t) 0x3e35U << 28 | 0xfddfd4eU) + << 28 | 0xb85d876U) + << 28 | 0x784fecbU) + << 28 | 0xa352435U), + UINTMAX_MAX / 3613) +P (4, 60, + (((((uintmax_t) 0x3f46U << 28 | 0x480d05dU) + << 28 | 0xfde06efU) + << 28 | 0xa689bb5U) + << 28 | 0x8aef5e1U), + UINTMAX_MAX / 3617) +P (6, 68, + (((((uintmax_t) 0xa7f5U << 28 | 0x427da20U) + << 28 | 0x5cb49b2U) + << 28 | 0xb2c4db9U) + << 28 | 0xc3a8197U), + UINTMAX_MAX / 3623) +P (8, 66, + (((((uintmax_t) 0x1756U << 28 | 0x39f44bdU) + << 28 | 0xcbf7d25U) + << 28 | 0x03bc992U) + << 28 | 0x279f8cfU), + UINTMAX_MAX / 3631) +P (6, 64, + (((((uintmax_t) 0xf7b1U << 28 | 0xba9905dU) + << 28 | 0x798f3d2U) + << 28 | 0xab9aec5U) + << 28 | 0xca1541dU), + UINTMAX_MAX / 3637) +P (6, 66, + (((((uintmax_t) 0x0ec1U << 28 | 0xcf3b3d3U) + << 28 | 0x4ea253eU) + << 28 | 0x78ba146U) + << 28 | 0x0f99af3U), + UINTMAX_MAX / 3643) +P (16, 60, + (((((uintmax_t) 0x694bU << 28 | 0xe954ddeU) + << 28 | 0xd63b30aU) + << 28 | 0x0142657U) + << 28 | 0x2cfcb63U), + UINTMAX_MAX / 3659) +P (12, 56, + (((((uintmax_t) 0xd628U << 28 | 0x9612455U) + << 28 | 0x13dfebeU) + << 28 | 0xa857968U) + << 28 | 0xf3cbd67U), + UINTMAX_MAX / 3671) +P (2, 60, + (((((uintmax_t) 0x63bcU << 28 | 0xcfb30dbU) + << 28 | 0xaffca78U) + << 28 | 0xdb213eeU) + << 28 | 0xfe659e9U), + UINTMAX_MAX / 3673) +P (4, 62, + (((((uintmax_t) 0x7cf8U << 28 | 0xb08fb32U) + << 28 | 0x328ba96U) + << 28 | 0x3e8541aU) + << 28 | 0x74d35f5U), + UINTMAX_MAX / 3677) +P (14, 70, + (((((uintmax_t) 0x99e7U << 28 | 0xb98849cU) + << 28 | 0xbfb489eU) + << 28 | 0x22d1527U) + << 28 | 0x76f2e43U), + UINTMAX_MAX / 3691) +P (6, 70, + (((((uintmax_t) 0x1767U << 28 | 0xa90721dU) + << 28 | 0xc686c05U) + << 28 | 0xd10d39dU) + << 28 | 0x1e1f291U), + UINTMAX_MAX / 3697) +P (4, 68, + (((((uintmax_t) 0x817cU << 28 | 0xb6e3047U) + << 28 | 0xeff3d37U) + << 28 | 0x4468dccU) + << 28 | 0xaced1ddU), + UINTMAX_MAX / 3701) +P (8, 70, + (((((uintmax_t) 0x916dU << 28 | 0x896be15U) + << 28 | 0xac3548dU) + << 28 | 0x145c7d1U) + << 28 | 0x10c5ad5U), + UINTMAX_MAX / 3709) +P (10, 74, + (((((uintmax_t) 0x50e1U << 28 | 0xc7f7bd5U) + << 28 | 0xdf5f332U) + << 28 | 0x51a39f5U) + << 28 | 0xacb5737U), + UINTMAX_MAX / 3719) +P (8, 70, + (((((uintmax_t) 0xc1e7U << 28 | 0xf58f36eU) + << 28 | 0x1b567a6U) + << 28 | 0x6e50171U) + << 28 | 0x443506fU), + UINTMAX_MAX / 3727) +P (6, 70, + (((((uintmax_t) 0xe72cU << 28 | 0xc7f8de3U) + << 28 | 0x0f6e112U) + << 28 | 0x4f69ad9U) + << 28 | 0x1dd4cbdU), + UINTMAX_MAX / 3733) +P (6, 82, + (((((uintmax_t) 0x81e2U << 28 | 0x02e029aU) + << 28 | 0x0d485ecU) + << 28 | 0x24f8f2aU) + << 28 | 0x61a2793U), + UINTMAX_MAX / 3739) +P (22, 62, + (((((uintmax_t) 0x66a5U << 28 | 0x216bc00U) + << 28 | 0x45b35b4U) + << 28 | 0x72148e6U) + << 28 | 0x56b7a51U), + UINTMAX_MAX / 3761) +P (6, 66, + (((((uintmax_t) 0x3442U << 28 | 0x9973536U) + << 28 | 0x29ba00aU) + << 28 | 0xdf9570eU) + << 28 | 0x1142f07U), + UINTMAX_MAX / 3767) +P (2, 78, + (((((uintmax_t) 0xc952U << 28 | 0x869f58aU) + << 28 | 0x38eb489U) + << 28 | 0xbf33b06U) + << 28 | 0x5119789U), + UINTMAX_MAX / 3769) +P (10, 72, + (((((uintmax_t) 0xc462U << 28 | 0xe78b7b7U) + << 28 | 0xebf2b8fU) + << 28 | 0x0149803U) + << 28 | 0xcb291ebU), + UINTMAX_MAX / 3779) +P (14, 60, + (((((uintmax_t) 0xa7b8U << 28 | 0x300e09dU) + << 28 | 0xa9be883U) + << 28 | 0x34b63afU) + << 28 | 0xd190a31U), + UINTMAX_MAX / 3793) +P (4, 66, + (((((uintmax_t) 0x678fU << 28 | 0x45607afU) + << 28 | 0xa226292U) + << 28 | 0x0908d50U) + << 28 | 0xd6aba7dU), + UINTMAX_MAX / 3797) +P (6, 74, + (((((uintmax_t) 0x3066U << 28 | 0x51b882dU) + << 28 | 0xc63e557U) + << 28 | 0xd8b018cU) + << 28 | 0x5a33d53U), + UINTMAX_MAX / 3803) +P (18, 60, + (((((uintmax_t) 0x03f3U << 28 | 0xf0b9737U) + << 28 | 0x01682eaU) + << 28 | 0x1773092U) + << 28 | 0xdc27ee5U), + UINTMAX_MAX / 3821) +P (2, 66, + (((((uintmax_t) 0x824fU << 28 | 0x6b12f35U) + << 28 | 0x80e76caU) + << 28 | 0xe5f38b7U) + << 28 | 0xbf2e00fU), + UINTMAX_MAX / 3823) +P (10, 74, + (((((uintmax_t) 0xba8aU << 28 | 0x4084821U) + << 28 | 0xa94f02bU) + << 28 | 0xd02df34U) + << 28 | 0xf695349U), + UINTMAX_MAX / 3833) +P (14, 64, + (((((uintmax_t) 0x1f9bU << 28 | 0xea70762U) + << 28 | 0xf3f48ddU) + << 28 | 0xfecd5beU) + << 28 | 0x62e2eb7U), + UINTMAX_MAX / 3847) +P (4, 66, + (((((uintmax_t) 0xb7acU << 28 | 0x817ee73U) + << 28 | 0x45119dbU) + << 28 | 0xf849ebeU) + << 28 | 0xc96c4a3U), + UINTMAX_MAX / 3851) +P (2, 66, + (((((uintmax_t) 0xf8c2U << 28 | 0x0286585U) + << 28 | 0xe14dcdaU) + << 28 | 0x31d4d01U) + << 28 | 0x87357c5U), + UINTMAX_MAX / 3853) +P (10, 60, + (((((uintmax_t) 0x7727U << 28 | 0x2a58ab3U) + << 28 | 0xdb276e3U) + << 28 | 0x4e21cc2U) + << 28 | 0xd5418a7U), + UINTMAX_MAX / 3863) +P (14, 52, + (((((uintmax_t) 0x61caU << 28 | 0x83edc68U) + << 28 | 0xdb38968U) + << 28 | 0xca5137aU) + << 28 | 0x9e574adU), + UINTMAX_MAX / 3877) +P (4, 50, + (((((uintmax_t) 0x74f3U << 28 | 0x8879e60U) + << 28 | 0x2c53a3eU) + << 28 | 0xaa0d0f8U) + << 28 | 0x04bfd19U), + UINTMAX_MAX / 3881) +P (8, 54, + (((((uintmax_t) 0x1c6fU << 28 | 0xe7c6996U) + << 28 | 0x04df055U) + << 28 | 0x4fb753cU) + << 28 | 0xc20e9d1U), + UINTMAX_MAX / 3889) +P (18, 40, + (((((uintmax_t) 0x374dU << 28 | 0x408a62aU) + << 28 | 0xda31679U) + << 28 | 0x7afcca1U) + << 28 | 0x300756bU), + UINTMAX_MAX / 3907) +P (4, 56, + (((((uintmax_t) 0xc8e2U << 28 | 0xbdb1524U) + << 28 | 0x758f48bU) + << 28 | 0x8d950b5U) + << 28 | 0x2eeea77U), + UINTMAX_MAX / 3911) +P (6, 72, + (((((uintmax_t) 0xbfc1U << 28 | 0x421336fU) + << 28 | 0x6ea5dfbU) + << 28 | 0x6cd166aU) + << 28 | 0xcabc185U), + UINTMAX_MAX / 3917) +P (2, 82, + (((((uintmax_t) 0x7daeU << 28 | 0x58b5560U) + << 28 | 0x7b5454eU) + << 28 | 0xb6c5ed9U) + << 28 | 0x437a7afU), + UINTMAX_MAX / 3919) +P (4, 80, + (((((uintmax_t) 0xf1f8U << 28 | 0x4cbdc3dU) + << 28 | 0x573f5d1U) + << 28 | 0xeddbd91U) + << 28 | 0xb790cdbU), + UINTMAX_MAX / 3923) +P (6, 78, + (((((uintmax_t) 0xa6abU << 28 | 0x9f4ec63U) + << 28 | 0x4c6db93U) + << 28 | 0xd714ea4U) + << 28 | 0xd8948e9U), + UINTMAX_MAX / 3929) +P (2, 82, + (((((uintmax_t) 0x8198U << 28 | 0x742e1b7U) + << 28 | 0xb68a73cU) + << 28 | 0xa13ed81U) + << 28 | 0x45188d3U), + UINTMAX_MAX / 3931) +P (12, 76, + (((((uintmax_t) 0x5ab3U << 28 | 0x52c7947U) + << 28 | 0xbe09382U) + << 28 | 0x9086016U) + << 28 | 0xda89c57U), + UINTMAX_MAX / 3943) +P (4, 74, + (((((uintmax_t) 0xec69U << 28 | 0x9751239U) + << 28 | 0xb9900d7U) + << 28 | 0xda1f432U) + << 28 | 0x124a543U), + UINTMAX_MAX / 3947) +P (20, 60, + (((((uintmax_t) 0xa4e1U << 28 | 0x58dc715U) + << 28 | 0x1a22b7eU) + << 28 | 0xad55816U) + << 28 | 0x32fb07fU), + UINTMAX_MAX / 3967) +P (22, 60, + (((((uintmax_t) 0x4cd1U << 28 | 0xba8fa08U) + << 28 | 0x1613a35U) + << 28 | 0x443837fU) + << 28 | 0x63ec3bdU), + UINTMAX_MAX / 3989) +P (12, 50, + (((((uintmax_t) 0x48afU << 28 | 0x92759a4U) + << 28 | 0x3f37589U) + << 28 | 0xe2b200eU) + << 28 | 0x5519461U), + UINTMAX_MAX / 4001) +P (2, 54, + (((((uintmax_t) 0x9293U << 28 | 0xfc29b25U) + << 28 | 0xcbafee9U) + << 28 | 0xae44f0bU) + << 28 | 0x7289c0bU), + UINTMAX_MAX / 4003) +P (4, 66, + (((((uintmax_t) 0xc02cU << 28 | 0xfa2fa91U) + << 28 | 0xcaf9094U) + << 28 | 0x387a277U) + << 28 | 0xb9fa817U), + UINTMAX_MAX / 4007) +P (6, 66, + (((((uintmax_t) 0x15c0U << 28 | 0xd8627efU) + << 28 | 0x28a2cc8U) + << 28 | 0x4f1a58aU) + << 28 | 0xbfc2c25U), + UINTMAX_MAX / 4013) +P (6, 72, + (((((uintmax_t) 0x1143U << 28 | 0x12ca6e3U) + << 28 | 0x2522b71U) + << 28 | 0x101d8e3U) + << 28 | 0xc83377bU), + UINTMAX_MAX / 4019) +P (2, 72, + (((((uintmax_t) 0xcfadU << 28 | 0x7d3b04aU) + << 28 | 0x5c91ec0U) + << 28 | 0x24abe5cU) + << 28 | 0x50ba69dU), + UINTMAX_MAX / 4021) +P (6, 72, + (((((uintmax_t) 0x9d46U << 28 | 0x3eef687U) + << 28 | 0x26d7815U) + << 28 | 0xde4eb36U) + << 28 | 0x5a65d73U), + UINTMAX_MAX / 4027) +P (22, 62, + (((((uintmax_t) 0xe98eU << 28 | 0x1152e37U) + << 28 | 0xc3cf309U) + << 28 | 0xed28a76U) + << 28 | 0xbcca931U), + UINTMAX_MAX / 4049) +P (2, 76, + (((((uintmax_t) 0xa002U << 28 | 0x05affefU) + << 28 | 0xd280081U) + << 28 | 0x6bffbf4U) + << 28 | 0xa00205bU), + UINTMAX_MAX / 4051) +P (6, 72, + (((((uintmax_t) 0x1d87U << 28 | 0xfb74ed0U) + << 28 | 0x1b4271fU) + << 28 | 0x5c71543U) + << 28 | 0xd558069U), + UINTMAX_MAX / 4057) +P (16, 60, + (((((uintmax_t) 0x7051U << 28 | 0x751852fU) + << 28 | 0x74370f2U) + << 28 | 0x5c64d0eU) + << 28 | 0xc53b859U), + UINTMAX_MAX / 4073) +P (6, 60, + (((((uintmax_t) 0x88e1U << 28 | 0x6f867eeU) + << 28 | 0x6d54296U) + << 28 | 0xc02c2efU) + << 28 | 0x1e0ff0fU), + UINTMAX_MAX / 4079) +P (12, 62, + (((((uintmax_t) 0xe8e8U << 28 | 0xc8bebb9U) + << 28 | 0xaa05219U) + << 28 | 0xa804816U) + << 28 | 0x870a333U), + UINTMAX_MAX / 4091) +P (2, 64, + (((((uintmax_t) 0xc605U << 28 | 0x20f62e2U) + << 28 | 0x8a79f6dU) + << 28 | 0xe49add0U) + << 28 | 0x971c555U), + UINTMAX_MAX / 4093) +P (6, 60, + (((((uintmax_t) 0x46c2U << 28 | 0xbb7cd89U) + << 28 | 0x7639d52U) + << 28 | 0x8087e68U) + << 28 | 0x4c71aabU), + UINTMAX_MAX / 4099) +P (12, 66, + (((((uintmax_t) 0xfc73U << 28 | 0x53e15cbU) + << 28 | 0x9127ea9U) + << 28 | 0x4152c26U) + << 28 | 0x9bcdeefU), + UINTMAX_MAX / 4111) +P (16, 74, + (((((uintmax_t) 0x3d78U << 28 | 0xe5c2d68U) + << 28 | 0x0673803U) + << 28 | 0x79450a3U) + << 28 | 0xc2b6bdfU), + UINTMAX_MAX / 4127) +P (2, 82, + (((((uintmax_t) 0x4a66U << 28 | 0x8c7e3baU) + << 28 | 0x4fbb8d2U) + << 28 | 0xcd38bafU) + << 28 | 0xe5373e1U), + UINTMAX_MAX / 4129) +P (4, 84, + (((((uintmax_t) 0x616eU << 28 | 0xb008eb5U) + << 28 | 0xfb2b2c2U) + << 28 | 0x9df2beaU) + << 28 | 0x71d8badU), + UINTMAX_MAX / 4133) +P (6, 80, + (((((uintmax_t) 0x12bdU << 28 | 0xa25ba9aU) + << 28 | 0x80c5ec1U) + << 28 | 0x5862775U) + << 28 | 0xf302e83U), + UINTMAX_MAX / 4139) +P (14, 76, + (((((uintmax_t) 0x98dfU << 28 | 0x642b264U) + << 28 | 0x7a0d310U) + << 28 | 0x16af2feU) + << 28 | 0x55ede09U), + UINTMAX_MAX / 4153) +P (4, 74, + (((((uintmax_t) 0xcc45U << 28 | 0x381a1c7U) + << 28 | 0x3878b3dU) + << 28 | 0x26dbd9dU) + << 28 | 0x1910715U), + UINTMAX_MAX / 4157) +P (2, 82, + (((((uintmax_t) 0x1344U << 28 | 0x23b36d8U) + << 28 | 0x0d4ba62U) + << 28 | 0x1dab2dfU) + << 28 | 0xaf3dfbfU), + UINTMAX_MAX / 4159) +P (18, 66, + (((((uintmax_t) 0xd614U << 28 | 0x399c587U) + << 28 | 0xff827b6U) + << 28 | 0xf1d7ac2U) + << 28 | 0x87338b1U), + UINTMAX_MAX / 4177) +P (24, 52, + (((((uintmax_t) 0x5c04U << 28 | 0x24ce751U) + << 28 | 0xf620c8dU) + << 28 | 0x9e9f0c3U) + << 28 | 0xf9e7fd9U), + UINTMAX_MAX / 4201) +P (10, 48, + (((((uintmax_t) 0xa4cfU << 28 | 0x6d1fac5U) + << 28 | 0x93e8e60U) + << 28 | 0xa93f876U) + << 28 | 0x2e914bbU), + UINTMAX_MAX / 4211) +P (6, 44, + (((((uintmax_t) 0x16b4U << 28 | 0x4c7d8a9U) + << 28 | 0x7e358b1U) + << 28 | 0x4371f24U) + << 28 | 0x7c159c9U), + UINTMAX_MAX / 4217) +P (2, 52, + (((((uintmax_t) 0x7d2dU << 28 | 0xb0c132cU) + << 28 | 0x9926a6dU) + << 28 | 0xd3b4844U) + << 28 | 0x71d4eb3U), + UINTMAX_MAX / 4219) +P (10, 44, + (((((uintmax_t) 0xc12aU << 28 | 0x5044c45U) + << 28 | 0xfa4f4cdU) + << 28 | 0x172f470U) + << 28 | 0x1c1684dU), + UINTMAX_MAX / 4229) +P (2, 52, + (((((uintmax_t) 0x3b6aU << 28 | 0xabf51beU) + << 28 | 0x4a6c103U) + << 28 | 0x72e686eU) + << 28 | 0xd8bb537U), + UINTMAX_MAX / 4231) +P (10, 48, + (((((uintmax_t) 0x0b0bU << 28 | 0xe43ba38U) + << 28 | 0x61105bcU) + << 28 | 0x07f7ca6U) + << 28 | 0x5c5b071U), + UINTMAX_MAX / 4241) +P (2, 54, + (((((uintmax_t) 0x1841U << 28 | 0x2954499U) + << 28 | 0xbb949abU) + << 28 | 0x2b6170cU) + << 28 | 0x3f78d9bU), + UINTMAX_MAX / 4243) +P (10, 74, + (((((uintmax_t) 0x67e4U << 28 | 0x8d552c3U) + << 28 | 0xde0d1f3U) + << 28 | 0xd74f461U) + << 28 | 0xfe6f5b5U), + UINTMAX_MAX / 4253) +P (6, 78, + (((((uintmax_t) 0xa030U << 28 | 0x161ea7bU) + << 28 | 0x38ae8dbU) + << 28 | 0xc13f4b3U) + << 28 | 0x1f3230bU), + UINTMAX_MAX / 4259) +P (2, 78, + (((((uintmax_t) 0xf2a9U << 28 | 0x8b90bb7U) + << 28 | 0x2eec1d1U) + << 28 | 0x420716eU) + << 28 | 0x3f1572dU), + UINTMAX_MAX / 4261) +P (10, 78, + (((((uintmax_t) 0xa0c1U << 28 | 0xb926e68U) + << 28 | 0x69f8ed5U) + << 28 | 0xbe2fd4dU) + << 28 | 0x805464fU), + UINTMAX_MAX / 4271) +P (2, 84, + (((((uintmax_t) 0xc4edU << 28 | 0x7ccb753U) + << 28 | 0xef76ec6U) + << 28 | 0x8b97c13U) + << 28 | 0x6943851U), + UINTMAX_MAX / 4273) +P (10, 80, + (((((uintmax_t) 0x5305U << 28 | 0xada2a32U) + << 28 | 0xce35e9eU) + << 28 | 0x27918afU) + << 28 | 0x7cfb473U), + UINTMAX_MAX / 4283) +P (6, 84, + (((((uintmax_t) 0x0b38U << 28 | 0xa4bcd9fU) + << 28 | 0xaa0cc5eU) + << 28 | 0xc8ab6c3U) + << 28 | 0x6ac7f41U), + UINTMAX_MAX / 4289) +P (8, 94, + (((((uintmax_t) 0xc8f3U << 28 | 0x8c6bf3dU) + << 28 | 0x8adf696U) + << 28 | 0x4076331U) + << 28 | 0xdd90979U), + UINTMAX_MAX / 4297) +P (30, 70, + (((((uintmax_t) 0x3ed4U << 28 | 0xdeb0e60U) + << 28 | 0x6fb3530U) + << 28 | 0x198eff7U) + << 28 | 0x7b002d7U), + UINTMAX_MAX / 4327) +P (10, 72, + (((((uintmax_t) 0xe304U << 28 | 0x8b8a2eaU) + << 28 | 0x19da93aU) + << 28 | 0xf7cb958U) + << 28 | 0x3ece011U), + UINTMAX_MAX / 4337) +P (2, 82, + (((((uintmax_t) 0x63b5U << 28 | 0xa908ca7U) + << 28 | 0xcb9bb34U) + << 28 | 0xce06f64U) + << 28 | 0x3d9883bU), + UINTMAX_MAX / 4339) +P (10, 74, + (((((uintmax_t) 0xd58fU << 28 | 0x1940b11U) + << 28 | 0x0300879U) + << 28 | 0xf767e52U) + << 28 | 0x8708c55U), + UINTMAX_MAX / 4349) +P (8, 84, + (((((uintmax_t) 0xa973U << 28 | 0xcee1454U) + << 28 | 0x5fa7a18U) + << 28 | 0x5332d2eU) + << 28 | 0xf2313cdU), + UINTMAX_MAX / 4357) +P (6, 84, + (((((uintmax_t) 0xc544U << 28 | 0x1f37189U) + << 28 | 0x5bd3a43U) + << 28 | 0xb611b84U) + << 28 | 0xc8332a3U), + UINTMAX_MAX / 4363) +P (10, 78, + (((((uintmax_t) 0xc201U << 28 | 0x49b4038U) + << 28 | 0x330c3c2U) + << 28 | 0xe215e4fU) + << 28 | 0x43bb63dU), + UINTMAX_MAX / 4373) +P (18, 66, + (((((uintmax_t) 0xfcf7U << 28 | 0xe56a2a8U) + << 28 | 0xf4dd4f9U) + << 28 | 0x4b9dd22U) + << 28 | 0xce44e97U), + UINTMAX_MAX / 4391) +P (6, 66, + (((((uintmax_t) 0xc364U << 28 | 0x3300862U) + << 28 | 0x47258d8U) + << 28 | 0x95834a1U) + << 28 | 0xdb166a5U), + UINTMAX_MAX / 4397) +P (12, 72, + (((((uintmax_t) 0xa5f1U << 28 | 0xb76bd2bU) + << 28 | 0x5f83834U) + << 28 | 0x7d2f16dU) + << 28 | 0x19b8d09U), + UINTMAX_MAX / 4409) +P (12, 62, + (((((uintmax_t) 0x9b97U << 28 | 0x89df750U) + << 28 | 0x6e4081bU) + << 28 | 0x54d4dc4U) + << 28 | 0x5b7d98dU), + UINTMAX_MAX / 4421) +P (2, 70, + (((((uintmax_t) 0x612dU << 28 | 0xe5f44efU) + << 28 | 0x2839e11U) + << 28 | 0x7ac30d9U) + << 28 | 0xa044877U), + UINTMAX_MAX / 4423) +P (18, 66, + (((((uintmax_t) 0x9811U << 28 | 0x1015369U) + << 28 | 0x6e9ec0eU) + << 28 | 0x10b78a6U) + << 28 | 0x7a526e9U), + UINTMAX_MAX / 4441) +P (6, 66, + (((((uintmax_t) 0xa197U << 28 | 0x1cf4c64U) + << 28 | 0x2a99792U) + << 28 | 0xda68a81U) + << 28 | 0x8688a9fU), + UINTMAX_MAX / 4447) +P (4, 66, + (((((uintmax_t) 0x0f02U << 28 | 0xeeeb01cU) + << 28 | 0x870bacfU) + << 28 | 0x2b6c87fU) + << 28 | 0x741f84bU), + UINTMAX_MAX / 4451) +P (6, 62, + (((((uintmax_t) 0x8d2eU << 28 | 0x94fe559U) + << 28 | 0x50d09d2U) + << 28 | 0x64f9bd4U) + << 28 | 0x1e18ed9U), + UINTMAX_MAX / 4457) +P (6, 60, + (((((uintmax_t) 0xa84bU << 28 | 0xb74450fU) + << 28 | 0xe38c973U) + << 28 | 0x3cbeaa9U) + << 28 | 0x7166d8fU), + UINTMAX_MAX / 4463) +P (18, 66, + (((((uintmax_t) 0x495aU << 28 | 0xe4dcfaaU) + << 28 | 0xfd8b1c9U) + << 28 | 0xf475b02U) + << 28 | 0x1d22e81U), + UINTMAX_MAX / 4481) +P (2, 66, + (((((uintmax_t) 0x6837U << 28 | 0x46fb256U) + << 28 | 0x74d6073U) + << 28 | 0x1f76f2eU) + << 28 | 0xc4c852bU), + UINTMAX_MAX / 4483) +P (10, 68, + (((((uintmax_t) 0xf6ffU << 28 | 0x5f8d222U) + << 28 | 0x12931daU) + << 28 | 0xf6f0c97U) + << 28 | 0x8f69945U), + UINTMAX_MAX / 4493) +P (14, 60, + (((((uintmax_t) 0xd49aU << 28 | 0xb982b2bU) + << 28 | 0x1c92174U) + << 28 | 0x9c8ad20U) + << 28 | 0xc61ec93U), + UINTMAX_MAX / 4507) +P (6, 70, + (((((uintmax_t) 0x2f4fU << 28 | 0x04983ffU) + << 28 | 0xc5e9e09U) + << 28 | 0x307ff8bU) + << 28 | 0xd3c1261U), + UINTMAX_MAX / 4513) +P (4, 74, + (((((uintmax_t) 0xadefU << 28 | 0x566dd5fU) + << 28 | 0x282eb33U) + << 28 | 0x4a69fb5U) + << 28 | 0xa486e2dU), + UINTMAX_MAX / 4517) +P (2, 78, + (((((uintmax_t) 0xd118U << 28 | 0x137ccc9U) + << 28 | 0xe647f1fU) + << 28 | 0x36c7bf3U) + << 28 | 0x1578617U), + UINTMAX_MAX / 4519) +P (4, 80, + (((((uintmax_t) 0x01cfU << 28 | 0xa9f7f67U) + << 28 | 0xdc3aa31U) + << 28 | 0xebbcc27U) + << 28 | 0x9ea6103U), + UINTMAX_MAX / 4523) +P (24, 74, + (((((uintmax_t) 0x9c1fU << 28 | 0x4da38ddU) + << 28 | 0x2657442U) + << 28 | 0xe2aad11U) + << 28 | 0x9f466ebU), + UINTMAX_MAX / 4547) +P (2, 88, + (((((uintmax_t) 0x41acU << 28 | 0x994bcdcU) + << 28 | 0xd3d2c10U) + << 28 | 0x6ec05a0U) + << 28 | 0xab1450dU), + UINTMAX_MAX / 4549) +P (12, 78, + (((((uintmax_t) 0x556dU << 28 | 0x480324aU) + << 28 | 0x6d002b1U) + << 28 | 0xb38db92U) + << 28 | 0xa99e731U), + UINTMAX_MAX / 4561) +P (6, 76, + (((((uintmax_t) 0x9c39U << 28 | 0x2ce6456U) + << 28 | 0x52d9278U) + << 28 | 0x4ae377eU) + << 28 | 0x67071e7U), + UINTMAX_MAX / 4567) +P (16, 66, + (((((uintmax_t) 0xcdc8U << 28 | 0x79fec56U) + << 28 | 0x781893eU) + << 28 | 0x9e1471bU) + << 28 | 0xa6671d7U), + UINTMAX_MAX / 4583) +P (8, 60, + (((((uintmax_t) 0x375eU << 28 | 0xf621586U) + << 28 | 0x1b19982U) + << 28 | 0xc29b59dU) + << 28 | 0x4d73d0fU), + UINTMAX_MAX / 4591) +P (6, 60, + (((((uintmax_t) 0x75c7U << 28 | 0xfa35597U) + << 28 | 0xdcce0c2U) + << 28 | 0x3dd0712U) + << 28 | 0x8b5525dU), + UINTMAX_MAX / 4597) +P (6, 60, + (((((uintmax_t) 0x4083U << 28 | 0xb2ce1ccU) + << 28 | 0xf1d164dU) + << 28 | 0x4e5ce0eU) + << 28 | 0x9245133U), + UINTMAX_MAX / 4603) +P (18, 52, + (((((uintmax_t) 0x9d9cU << 28 | 0x64622aeU) + << 28 | 0x10824c8U) + << 28 | 0xfd1057cU) + << 28 | 0x09f8cc5U), + UINTMAX_MAX / 4621) +P (16, 42, + (((((uintmax_t) 0x02b4U << 28 | 0x87cfdbcU) + << 28 | 0x89230eaU) + << 28 | 0x1516e94U) + << 28 | 0xf394035U), + UINTMAX_MAX / 4637) +P (2, 52, + (((((uintmax_t) 0x32e1U << 28 | 0x4328c7fU) + << 28 | 0xce8e0b5U) + << 28 | 0xe3319c5U) + << 28 | 0x64ee9dfU), + UINTMAX_MAX / 4639) +P (4, 60, + (((((uintmax_t) 0xf929U << 28 | 0xbd10602U) + << 28 | 0x894a612U) + << 28 | 0x6a69f90U) + << 28 | 0xd822d8bU), + UINTMAX_MAX / 4643) +P (6, 72, + (((((uintmax_t) 0xa0bcU << 28 | 0x8b6d15cU) + << 28 | 0x03be950U) + << 28 | 0x1ed6348U) + << 28 | 0x857aa19U), + UINTMAX_MAX / 4649) +P (2, 72, + (((((uintmax_t) 0xf169U << 28 | 0xf4a94f1U) + << 28 | 0x86231deU) + << 28 | 0x344a324U) + << 28 | 0xeee1c83U), + UINTMAX_MAX / 4651) +P (6, 72, + (((((uintmax_t) 0xafdaU << 28 | 0x2e10d23U) + << 28 | 0x58ab11dU) + << 28 | 0xd9690cbU) + << 28 | 0x2c406d1U), + UINTMAX_MAX / 4657) +P (6, 70, + (((((uintmax_t) 0x70eeU << 28 | 0x0c3017bU) + << 28 | 0x7881908U) + << 28 | 0xd6c5178U) + << 28 | 0xd5e4387U), + UINTMAX_MAX / 4663) +P (10, 78, + (((((uintmax_t) 0x2b47U << 28 | 0x45bd0e3U) + << 28 | 0x051844cU) + << 28 | 0xea4050aU) + << 28 | 0x3e8fdc1U), + UINTMAX_MAX / 4673) +P (6, 80, + (((((uintmax_t) 0x5aa8U << 28 | 0x9fc2b8dU) + << 28 | 0x1a891c1U) + << 28 | 0x14a06acU) + << 28 | 0xc83f777U), + UINTMAX_MAX / 4679) +P (12, 92, + (((((uintmax_t) 0x834dU << 28 | 0x385f9c7U) + << 28 | 0x5a89320U) + << 28 | 0xb060ebcU) + << 28 | 0x0ea01dbU), + UINTMAX_MAX / 4691) +P (12, 84, + (((((uintmax_t) 0xcbb0U << 28 | 0x86fea3aU) + << 28 | 0x06a40feU) + << 28 | 0x50045acU) + << 28 | 0xb78c99fU), + UINTMAX_MAX / 4703) +P (18, 68, + (((((uintmax_t) 0x4bceU << 28 | 0xc35242bU) + << 28 | 0x29eaa29U) + << 28 | 0x1a68705U) + << 28 | 0xb196e91U), + UINTMAX_MAX / 4721) +P (2, 70, + (((((uintmax_t) 0x1cf1U << 28 | 0xbea1a20U) + << 28 | 0x324cdc1U) + << 28 | 0x042c724U) + << 28 | 0x273e2bbU), + UINTMAX_MAX / 4723) +P (6, 70, + (((((uintmax_t) 0x530aU << 28 | 0xaa16d83U) + << 28 | 0x622522cU) + << 28 | 0xee680bbU) + << 28 | 0x165b7c9U), + UINTMAX_MAX / 4729) +P (4, 68, + (((((uintmax_t) 0x6dbeU << 28 | 0xc4fd598U) + << 28 | 0x42343fdU) + << 28 | 0x2ff9f12U) + << 28 | 0xe0776d5U), + UINTMAX_MAX / 4733) +P (18, 62, + (((((uintmax_t) 0x9327U << 28 | 0xd1e0357U) + << 28 | 0x3cba016U) + << 28 | 0x6a5da63U) + << 28 | 0xaf2cc6fU), + UINTMAX_MAX / 4751) +P (8, 58, + (((((uintmax_t) 0xfe7eU << 28 | 0x69c1b53U) + << 28 | 0xa5d7dedU) + << 28 | 0xd16a593U) + << 28 | 0x0408d27U), + UINTMAX_MAX / 4759) +P (24, 48, + (((((uintmax_t) 0xdba8U << 28 | 0x6fc17c3U) + << 28 | 0xa04d12aU) + << 28 | 0xdf30c26U) + << 28 | 0x528844fU), + UINTMAX_MAX / 4783) +P (4, 74, + (((((uintmax_t) 0x4928U << 28 | 0x7ba43b4U) + << 28 | 0x0f9d99aU) + << 28 | 0x48d6572U) + << 28 | 0xb5eec7bU), + UINTMAX_MAX / 4787) +P (2, 82, + (((((uintmax_t) 0xfd7cU << 28 | 0xd1c2bd5U) + << 28 | 0x72fbc6eU) + << 28 | 0x8bf2877U) + << 28 | 0x503cb9dU), + UINTMAX_MAX / 4789) +P (4, 84, + (((((uintmax_t) 0x1951U << 28 | 0x21b3d5eU) + << 28 | 0x975e0eaU) + << 28 | 0x27a191aU) + << 28 | 0x7045389U), + UINTMAX_MAX / 4793) +P (6, 90, + (((((uintmax_t) 0xced1U << 28 | 0x00e827bU) + << 28 | 0x0325b6eU) + << 28 | 0xb091f34U) + << 28 | 0xdd45d3fU), + UINTMAX_MAX / 4799) +P (2, 102, + (((((uintmax_t) 0xe394U << 28 | 0x4a02e12U) + << 28 | 0x05dd8dcU) + << 28 | 0x8a6cabbU) + << 28 | 0x2937d41U), + UINTMAX_MAX / 4801) +P (12, 96, + (((((uintmax_t) 0x3e2dU << 28 | 0xa2eb33fU) + << 28 | 0x746e6bcU) + << 28 | 0x2f04f25U) + << 28 | 0x4922a05U), + UINTMAX_MAX / 4813) +P (4, 102, + (((((uintmax_t) 0xf205U << 28 | 0xd890fadU) + << 28 | 0x84cf441U) + << 28 | 0x431f4d6U) + << 28 | 0xeb38631U), + UINTMAX_MAX / 4817) +P (14, 100, + (((((uintmax_t) 0x7974U << 28 | 0xa2271b8U) + << 28 | 0x09c017bU) + << 28 | 0xd717435U) + << 28 | 0xa08291fU), + UINTMAX_MAX / 4831) +P (30, 72, + (((((uintmax_t) 0xf434U << 28 | 0x0837312U) + << 28 | 0x2b4a342U) + << 28 | 0x32df9c9U) + << 28 | 0x1fc1a55U), + UINTMAX_MAX / 4861) +P (10, 66, + (((((uintmax_t) 0x4c78U << 28 | 0x09ab985U) + << 28 | 0xc13f8a4U) + << 28 | 0x651e1d5U) + << 28 | 0x382eab7U), + UINTMAX_MAX / 4871) +P (6, 66, + (((((uintmax_t) 0x9273U << 28 | 0x60376e4U) + << 28 | 0x8c0bf7cU) + << 28 | 0xfb5409dU) + << 28 | 0xe4cf3c5U), + UINTMAX_MAX / 4877) +P (12, 62, + (((((uintmax_t) 0x47a1U << 28 | 0xbf627e6U) + << 28 | 0x7276dcdU) + << 28 | 0xd636fb0U) + << 28 | 0x68b9929U), + UINTMAX_MAX / 4889) +P (14, 54, + (((((uintmax_t) 0x3f55U << 28 | 0x93b5db8U) + << 28 | 0xe2d01eeU) + << 28 | 0x8f95e74U) + << 28 | 0x0462c97U), + UINTMAX_MAX / 4903) +P (6, 58, + (((((uintmax_t) 0x29aaU << 28 | 0xc9d12b8U) + << 28 | 0xb650349U) + << 28 | 0x0f97b3aU) + << 28 | 0x758b4a5U), + UINTMAX_MAX / 4909) +P (10, 50, + (((((uintmax_t) 0x3c51U << 28 | 0x65394caU) + << 28 | 0x8d3eb64U) + << 28 | 0x1431563U) + << 28 | 0xc441287U), + UINTMAX_MAX / 4919) +P (12, 42, + (((((uintmax_t) 0xf258U << 28 | 0x91c808bU) + << 28 | 0x8d292b7U) + << 28 | 0x43dad3eU) + << 28 | 0xc45916bU), + UINTMAX_MAX / 4931) +P (2, 54, + (((((uintmax_t) 0x708fU << 28 | 0xa57e92aU) + << 28 | 0x8098c7bU) + << 28 | 0x188be8fU) + << 28 | 0x55c878dU), + UINTMAX_MAX / 4933) +P (4, 56, + (((((uintmax_t) 0x983dU << 28 | 0xcf2775dU) + << 28 | 0xcd7ead8U) + << 28 | 0x05648b2U) + << 28 | 0xca54ef9U), + UINTMAX_MAX / 4937) +P (6, 56, + (((((uintmax_t) 0x729cU << 28 | 0xb7c09bcU) + << 28 | 0x91a2776U) + << 28 | 0xdbe6eefU) + << 28 | 0x60123afU), + UINTMAX_MAX / 4943) +P (8, 255, + (((((uintmax_t) 0xe8f0U << 28 | 0x5536727U) + << 28 | 0xa8b8137U) + << 28 | 0x11525e6U) + << 28 | 0xa9e8867U), + UINTMAX_MAX / 4951) +P (6, 255, + (((((uintmax_t) 0xbdf2U << 28 | 0x781fd01U) + << 28 | 0x3014a85U) + << 28 | 0xc2215cbU) + << 28 | 0x383d8f5U), + UINTMAX_MAX / 4957) +P (10, 255, + (((((uintmax_t) 0x0439U << 28 | 0xee5f8e3U) + << 28 | 0x30656e5U) + << 28 | 0x8f554c8U) + << 28 | 0x9825857U), + UINTMAX_MAX / 4967) +P (2, 255, + (((((uintmax_t) 0x77adU << 28 | 0xfb283c9U) + << 28 | 0x63b0a8fU) + << 28 | 0xbd3b17cU) + << 28 | 0x01dacd9U), + UINTMAX_MAX / 4969) +P (4, 255, + (((((uintmax_t) 0x5d7bU << 28 | 0xe851f3fU) + << 28 | 0x443554cU) + << 28 | 0x8c39dc7U) + << 28 | 0xaedee65U), + UINTMAX_MAX / 4973) +P (14, 255, + (((((uintmax_t) 0x373cU << 28 | 0x1c8a99bU) + << 28 | 0x1412465U) + << 28 | 0x3ac6ddaU) + << 28 | 0x86cd3b3U), + UINTMAX_MAX / 4987) +P (6, 255, + (((((uintmax_t) 0x5b50U << 28 | 0xa687decU) + << 28 | 0x6a07b0dU) + << 28 | 0x61c6791U) + << 28 | 0xa9c2c81U), + UINTMAX_MAX / 4993) +P (6, 255, + (((((uintmax_t) 0x0b44U << 28 | 0x292c4bfU) + << 28 | 0xef9cdb6U) + << 28 | 0x27a3009U) + << 28 | 0x0354237U), + UINTMAX_MAX / 4999) + +#undef FIRST_OMITTED_PRIME +#define FIRST_OMITTED_PRIME 5003 |