# 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 64fbc376392ae255dc90043754f9d6c4c4ecffd9bb84723f9fadf5aff73f6e51 # shrinks to statements = Fun { name: Name(11), args: [], func: Func { rules: [Rule { lhs: Fun { name: Name(11), args: [Fun { name: Name(12448479563), args: [Num { numb: U120(166153499473114484112975882535043072) }, Var { name: Name(42679213246822265573) }, Num { numb: U120(664613997892457936451903530140172288) }, Dup { nam0: Name(2431), nam1: Name(2405), expr: Var { name: Name(2369) }, body: Num { numb: U120(332306998946228968225951765070086144) } }, Dup { nam0: Name(2379), nam1: Name(2369), expr: Var { name: Name(2379) }, body: Num { numb: U120(20769187434139310514121985316880581) } }] }, Fun { name: Name(131940397272417), args: [Lam { name: Name(53737241636), body: Var { name: Name(10747857) } }, App { func: Var { name: Name(231162) }, argm: Var { name: Name(200703) } }] }, Num { numb: U120(1068550881587335475573423287410238579) }, App { func: Dup { nam0: Name(61887520767), nam1: Name(678898084), expr: Num { numb: U120(1147060632667183985079528378190009403) }, body: Num { numb: U120(1325774019837408921706642693703319891) } }, argm: Num { numb: U120(1164643917929386046061722427744082135) } }, Op2 { oper: And, val0: App { func: Var { name: Name(3816594900252538830813) }, argm: Num { numb: U120(217815646514746758121191753071108386) } }, val1: Ctr { name: Name(1305355159952), args: [Var { name: Name(11735039) }, Var { name: Name(234854) }, Num { numb: U120(86723120099657859302421858211967443) }, Var { name: Name(3861371266612027059948) }, Var { name: Name(3111) }, Var { name: Name(1081989093216222545) }, Num { numb: U120(818849201499978156846756947149529160) }, Num { numb: U120(1137895075448936369581812883680482655) }] } }, Lam { name: Name(2877305043146337981087), body: Var { name: Name(2826) } }, App { func: Num { numb: U120(1067420464918434850525872727880315022) }, argm: Lam { name: Name(189987), body: Num { numb: U120(230936933820730560875523397842806416) } } }, Num { numb: U120(1126517719805554770274448722122350281) }, App { func: Var { name: Name(259902075048076) }, argm: Op2 { oper: Eql, val0: Num { numb: U120(1050783234649014759191750819610761377) }, val1: Dup { nam0: Name(3827699211743559696187), nam1: Name(13255414), expr: Var { name: Name(55085079826660247007) }, body: Num { numb: U120(58835037447427073984823077172006214) } } } }, Fun { name: Name(60415), args: [Var { name: Name(66119549508) }, Num { numb: U120(328515765217626886557750942431722043) }, Num { numb: U120(655618847518910693397287932863083036) }, Var { name: Name(774489057339930996) }, Num { numb: U120(52499762172897021137338246942159762) }, Num { numb: U120(842080425218045399311204512831770556) }, Num { numb: U120(700072582308258597730301588210047434) }, Num { numb: U120(522555531121527517322664378037979550) }] }, App { func: Var { name: Name(3884) }, argm: Fun { name: Name(117646), args: [Num { numb: U120(658406802754792232366289775973034214) }, Lam { name: Name(54314855029614125400), body: Num { numb: U120(1035499569909295580047504166246720149) } }, Var { name: Name(48408783313997283903) }, Var { name: Name(15804726152807430) }, Var { name: Name(4156425875594850106526) }, Var { name: Name(14984574) }] } }, Lam { name: Name(53401684654415303477), body: Lam { name: Name(233471), body: Num { numb: U120(639940004879340230691082097241146056) } } }, Op2 { oper: Lte, val0: App { func: Var { name: Name(941347279) }, argm: Var { name: Name(3282) } }, val1: Dup { nam0: Name(973864170), nam1: Name(255359), expr: Num { numb: U120(698016814747996852936483966450133005) }, body: Var { name: Name(3398) } } }, Op2 { oper: Gte, val0: Var { name: Name(16631335459749839) }, val1: Ctr { name: Name(15019307226), args: [Num { numb: U120(31847153650255364634441834072397163) }, Var { name: Name(15511874602574365) }, Var { name: Name(68419004773646258698) }, Num { numb: U120(839233320198957462148543049294815673) }, Var { name: Name(270616861631172) }, Var { name: Name(194113355120100) }, Num { numb: U120(49996588497191572058178458855461344) }, Var { name: Name(757607482254316557) }] } }, App { func: App { func: Num { numb: U120(1227376588418341955090787040531578515) }, argm: Var { name: Name(245754) } }, argm: Var { name: Name(15728615) } }, Lam { name: Name(171891), body: App { func: Var { name: Name(3921987881977) }, argm: Num { numb: U120(247508108664100031517231466983522447) } } }, Ctr { name: Name(5796721), args: [App { func: Num { numb: U120(356047732200912437652564231973620726) }, argm: Var { name: Name(155775) } }, App { func: Var { name: Name(2887) }, argm: Num { numb: U120(407108217392308887552652811807318420) } }, Ctr { name: Name(1892), args: [Var { name: Name(206463) }, Num { numb: U120(1221880151523926061455828546282269028) }, Num { numb: U120(576315630563733474927172945162600156) }, Var { name: Name(16073213039868671) }, Var { name: Name(859085424) }, Var { name: Name(217670) }] }, Num { numb: U120(457953183645459435198860614434755702) }] }, Lam { name: Name(203764), body: Num { numb: U120(1037040297764929715814033300049145158) } }] }, rhs: Ctr { name: Name(1180557374111), args: [Num { numb: U120(131431354763943594728294633669307237) }, Var { name: Name(52137806975) }, Num { numb: U120(1093427930160657147139390569517199189) }, Dup { nam0: Name(12146201755941631), nam1: Name(1111360176330228131), expr: Var { name: Name(12056395) }, body: Num { numb: U120(1192997492211328112687875225315525519) } }] } }] }, init: Some(Ctr { name: Name(1363650245415), args: [Ctr { name: Name(4201561), args: [Var { name: Name(3545) }, Num { numb: U120(429694020146401030627644661480909040) }] }, Num { numb: U120(739123802839647742616028849637181298) }, Fun { name: Name(154121159983065), args: [Var { name: Name(266149865717720) }, Num { numb: U120(16143939877404015760215235763172796) }, Num { numb: U120(709598864240288066234116187348180545) }, Var { name: Name(66923270530564354249) }] }, Dup { nam0: Name(2677542122152), nam1: Name(3408035928353679363429), expr: Num { numb: U120(242967296718351535980386582660908302) }, body: Var { name: Name(46925551014) } }] }), sign: None }
