# 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 008b827b1ef81e34c09863c080298e4740b2b0e79e5f39cb72227d628b8c108b # shrinks to arb_tw_hpoint = TwistedHPoint { x: (a:Monty { limbs: [567177677217354932, 2940352036408876383, 3202579107631691613, 1291571185523181681, 0] } + b:Monty { limbs: [3215377864337021293, 1036289861087070877, 2250159787979490026, 1825945200416713184, 23] }*u), y: (a:Monty { limbs: [1247858930593118352, 3051486189175079587, 2176959852097040574, 1717534116429833349, 58] } + b:Monty { limbs: [2838036086634768624, 3609450975667499993, 151639456062542892, 2992120331862049473, 134] }*u), z: (a:Monty { limbs: [4119044017624069227, 2764439766894012344, 1123460620683709394, 1309687207680841815, 141] } + b:Monty { limbs: [4102643187525860034, 1799780183990395347, 2257938679615163988, 3994763884709911197, 77] }*u) }
cc 2ce73284e57aab189eb87129af8326d86d5cb7e2e04f546c386c5df86197a9da # shrinks to arb_hpoint_fp2 = TwistedHPoint { x: (a:Monty { limbs: [567177677217354932, 2940352036408876383, 3202579107631691613, 1291571185523181681, 0] } + b:Monty { limbs: [3215377864337021293, 1036289861087070877, 2250159787979490026, 1825945200416713184, 23] }*u), y: (a:Monty { limbs: [1247858930593118352, 3051486189175079587, 2176959852097040574, 1717534116429833349, 58] } + b:Monty { limbs: [2838036086634768624, 3609450975667499993, 151639456062542892, 2992120331862049473, 134] }*u), z: (a:Monty { limbs: [4119044017624069227, 2764439766894012344, 1123460620683709394, 1309687207680841815, 141] } + b:Monty { limbs: [4102643187525860034, 1799780183990395347, 2257938679615163988, 3994763884709911197, 77] }*u) }
