U32               243 bignum.c           U32(0x80000000), U32(0xcfd41b91), U32(0x40000000), U32(0x48c27395),
U32               244 bignum.c           U32(0x81bf1000), U32(0x75db9c97), U32(0x40000000), U32(0xcfd41b91),
U32               245 bignum.c           U32(0x3b9aca00), U32(0x8c8b6d2b), U32(0x19a10000), U32(0x309f1021),
U32               246 bignum.c           U32(0x57f6c100), U32(0x98c29b81), U32(0x10000000), U32(0x18754571),
U32               247 bignum.c           U32(0x247dbc80), U32(0x3547667b), U32(0x4c4b4000), U32(0x6b5a6e1d),
U32               248 bignum.c           U32(0x94ace180), U32(0xcaf18367), U32(0x0b640000), U32(0x0e8d4a51),
U32               249 bignum.c           U32(0x1269ae40), U32(0x17179149), U32(0x1cb91000), U32(0x23744899),
U32               250 bignum.c           U32(0x2b73a840), U32(0x34e63b41), U32(0x40000000), U32(0x4cfa3cc1),
U32               251 bignum.c           U32(0x5c13d840), U32(0x6d91b519), U32(0x81bf1000),