src/primes.h - coreutils-8.23

Macros defined

FIRST_OMITTED_PRIME
FIRST_OMITTED_PRIME
WIDE_UINT_BITS
Source code

/* 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