# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc a2dbf0ee6304db81982e37ad9d9145a0f9de45730b9c41221dbf9fdfb9a246c5 # shrinks to a = BoxedUint(0x0000000000000002), b = BoxedUint(0x0000000000000100), n = BoxedMontyParams { modulus: BoxedUint(0x0000000000000003), one: BoxedUint(0x0000000000000001), r2: BoxedUint(0x0000000000000001), r3: BoxedUint(0x0000000000000001), mod_neg_inv: Limb(0x5555555555555555) }
cc 00f163e6056fad81f0a00e33ff628c3948b7e2f5f2f806d201de874468ec8c57 # shrinks to (a, b) = (BoxedMontyForm { montgomery_form: BoxedUint(0x5A7D315F0CCBDB393E483EE367A05463992BFA5D0EFACB3D2B0FFC152B75B940), params: BoxedMontyParams { modulus: BoxedUint(0xBF645819DA525D921D2D072521783F02155C5BD7158CE3EB49BE89BE58CF3957), one: BoxedUint(0x409BA7E625ADA26DE2D2F8DADE87C0FDEAA3A428EA731C14B6417641A730C6A9), r2: BoxedUint(0x17629F64058CC036FAFFAF9D2EB492A2D85A7DC55FD575A92058DB0582647317), r3: BoxedUint(0x3BF020F12134E941004697534F9D9AA4DD43E7B38509F06A7D3EF62AC227F2B6), mod_neg_inv: Limb(0xD7237775D94B3D99) } }, BoxedMontyForm { montgomery_form: BoxedUint(0x7FFC7CA9B2EFA758EB87DCB0512F5D060503033E8D7D8F8E4478F0B046C9AC94), params: BoxedMontyParams { modulus: BoxedUint(0xBF645819DA525D921D2D072521783F02155C5BD7158CE3EB49BE89BE58CF3957), one: BoxedUint(0x409BA7E625ADA26DE2D2F8DADE87C0FDEAA3A428EA731C14B6417641A730C6A9), r2: BoxedUint(0x17629F64058CC036FAFFAF9D2EB492A2D85A7DC55FD575A92058DB0582647317), r3: BoxedUint(0x3BF020F12134E941004697534F9D9AA4DD43E7B38509F06A7D3EF62AC227F2B6), mod_neg_inv: Limb(0xD7237775D94B3D99) } })
cc 234544db24f3fa99fbd88776d9d9b03194478068e70719788deb9087d7d955c9 # shrinks to a = BoxedUint(0xAAF6458F8A12304356B649B991D597FC6C455A4B3D3916D7EFDD3087D7127E62666A2FEB411E4F11), b = BoxedUint(0xD092E81F038C1F6E475513DED53DC7CE77ADF51BF3DCC0A7A2C00D0701EDFF368924BF9AC5C52882), n = BoxedMontyParams { modulus: BoxedUint(0x77980BCC1B3AC570148BD14A1EFCCE2A7F866BA64AEE9B92D4FB9C54CB0D990BA9A68664194AA4E9A39CC068AB2EBE87), one: BoxedUint(0x10CFE867C98A751FD6E85D6BC20663AB00F328B36A22C8DA5608C75669E4CDE8ACB2F337CD6AB62CB8C67F2EA9A282F2), r2: BoxedUint(0x6F241F6AFDA802307573B0865EA774EF46CA757D710607B0CC9920AEB106B125A3C5E2742A89CF254D44ABFC66319B45), r3: BoxedUint(0x62D52BBD9502DEEC47467ABDA7C6CF2AA05D58866B78CA2EA948224155046964E3B43F8F8CD01A9A362B66EE34A4D759), mod_neg_inv: Limb(0x9AABE2A2584258C9) }
cc dc095c7c1bbd3ee44794fc7c63db020524efe535a5d8351e3041f6befb05e10b # shrinks to x = BoxedUint(0x0000000000000000), n = BoxedMontyParams { modulus: Odd(BoxedUint(0x0000000000000001)), one: BoxedUint(0x0000000000000001), r2: BoxedUint(0x0000000000000000), r3: BoxedUint(0x0000000000000000), mod_neg_inv: Limb(0xFFFFFFFFFFFFFFFF) }