# 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 492a833dade5f806e9c1e4d4a36fab7132cca96a187cfc9ff4cfa088f245655f # shrinks to entities = [1, 2, 3, 4, 5, 6, 7, 655577175, 24376559107570064619788103016558356107, 47056939741892131213608414425999455571, 97111243663736403189548550831650208567, 180278605466301521812878701376464665506, 195945943250504863534238002562263264579, 218885829177850077463998350852202029942, 244852053152170864861442982076287483522, 279392033207581073107825519895861719695]
cc b44e16fc70a15ba494c5ebc112664d69bba97e4607a9da7ac4e226f30323975e # shrinks to entities = [10811027, 341745515589795790636357413107490986, 910230628660846813128744539846418977, 3238746761031207845159750142414890845, 5293173180607144154353034968450743128, 5474603045968719386531105446790401285, 7074806722691159059253791352313944380, 7152175385268567279302579942692583451, 7671130318124672917393550913420100267, 12341641124123147850353774153753734911, 12768318650463900423129164522945014471, 14119854296520355530108678766469818431, 15109421209587765771357495988928015386, 15523166302487980319447843764721219474, 17585937951912495116502226852955698617, 18015287183387202659383843887545248781, 18711646274521861959451049379554302592, 18782983773088599694322163356812776143, 19351253180293349659389715631369710298, 19447383660348114042062715045071036847, 20042764549640537622195001625145581315, 20739675192211912980765038554726724529, 23464364840653765424028446183990416501, 25489720939413796861573304367424993802, 26571399680208844484058805642495060712, 27079891794675028209971454034682764833, 27698734718990172787334643985142870891, 27892851265354948290872756287373066474, 28849673965846110656189166332018632138, 29956478812788662126572532943240194126, 31287211658874179656450452008268602650, 32231585478485448068165363301005458020, 34524166882608192404612646918201239880, 34909282551488686331828931787597340330, 35031680926107477637653933930393228436, 38505680939514065133693022048682181455, 39037057830999328384086860710133451167, 39611531301261976052453665826697294932, 40678208863408192003421273554699779484, 42001753910616274669717466712402377199, 42410125298110101897874290891321372774, 42950111619337209165807371321837957514, 43812851866307199193859378193798531012, 44501541977539436187569856485083758557, 44638777984728401203596663790814181519, 44863419284490078852821879891535509267, 45044818806750985310252566461740728996, 45293070430525640787356704702823792023, 48709742511927847605698758482076679305, 49043872753430637196630604798662880141, 56427863649020771816747259283506175038, 56644186796916697326137948763028625289, 57975516708984210184557369792416361736, 60769256279823024665254393139179530407, 61552048674053103642436755151504304631, 63009253094625556514828197398271219049, 65306005721421236081550771067571570017, 66270307742408087116624821041499664452, 66386617265676951185474069661887153450, 67685812786194749830008701279025741185, 70451853744906015248667876091966571169, 70875513920682783852733851309060309995, 72540915404305346667183321571354674119, 73471926152270033463510756013810131800, 73664397236309429446417853963764504723, 74252927762581532607073242213673793859, 75005066797227113874043261754106720705, 76068099741291563803233028393685552263, 77857448475929105577247984725779827859, 79677086197687945774957142539421391119, 79935507401408555047268165161786028782, 80020764934526249428374206771872888932, 82136676066643714073595653853719286777, 84722709296458777112475406224498622153, 87253669103269693870911462209855023356, 89820861529712367738418674268630138272, 90163911830577969629701623605631226593, 92120503525730004146992098806568503893, 92765160985027862802950346737864764964, 92866902478189805098354961960900910274, 93634815118282685922272305128185180927, 94556119001355576266546606667494022582, 95417355727993229545384243325136726332, 95468132657639474065762095839718874554, 99522959002066747595139316810923052038, 100031067598654621732369701144693746606, 100513149239542613506723533905932878479, 102753040626144569308662859578990221257, 106563171980249092543703442641755589895, 107670693103148755083651755021436976099, 109387981685104898279972503272123232682, 109641646760915346719127447036469759908, 110899920247227996461712123617670402527, 114180962194087721003372832500001377749, 114606884741818950258727989480137893850, 114769474627622748928759879729799249809, 115887525910358860940533293113002183203, 116562209629985986704119550296148511129, 121630668051443554554211496799895952910, 123203168470092009855390633841252750609, 123683202430084804554490575791780268221, 124434988258722486197921442492036563419, 125982473171810459290877294534079331840, 127504271530796673634396553721660361471, 130250341991414711318606339769391271888, 131090656048229528471218295539467623292, 131890100803471238500983290475429865516, 132430213806772297372542291398907993938, 132615355288673137291769323047822755404, 133013186088866244929201134304977009082, 140324023372642654636600035452308845685, 142463281225464054927730077102249534511, 143196323998563160519444787443337366980, 143891909468366853241248153751278102683, 144651465968700464738719769230579749467, 146236689235291993920958757219852118227, 147495478300863459651494788372209201456, 147778069046736805218014402993579720635, 148089498920018849668896650985203173701, 152248428658103614148556360671720628208, 152337544441844920349438115517696862022, 153572849671862499696873402435801341244, 154763392972730524637583172504668906461, 160216896796925969362364152867795750054, 160336011814209825071114602874523626084, 160441498558516374525736075086554469372, 161235853705304424366086436562761818343, 162033878065313306566955493991067766482, 162678185222003829103640338089644840218, 163084692318744595734231913407918037000, 163732964089753932054759108522686843462, 164153718776055971207135752193030620336, 164660151323967325538832331694280333393, 165297826940292004747855234255543500364, 169077954275702785421930785968026676891, 169470456619677771949279287241142339802, 169785985107305158968424183774594527841, 170646219073481696555327360692062694045, 170699595965539106551617341232307431906, 173523729992608198152824134865120261420, 173968294732392359872709521206830514573, 176419594647225209074214953290745166992, 180103728943012807089394751005050823450, 180156133783023754543709677140832616527, 184409814673894680827925616666295010834, 185071740510471676921805612370852611398, 187257795859491640569471273023965869480, 190567450753015915692995452481646333895, 194595602902246001510984697812820297085, 195943612191290715289330612164124155918, 197006474741639619501564397537863290825, 197134623223317582323952502396598292371, 198353157293351171419668572515215870048, 198600628492689299347731955249949951379, 200199037733155577400760303634863068545, 200275262544967147813458844190676640647, 201271995046734046025515139965706435406, 201804870197502326809298001892693460515, 202077222830673736713816308554935045027, 209841071426824036084551941970046600404, 209953019530964572057040016977459444712, 212892751451912866971377474576961328061, 213342555837924677762635807306991467151, 213386481059444125365330552202352015948, 215782830890598616843867857522951691039, 218745535001197444494717757643395405067, 219208232479634534537059444003806006364, 221040029637851833262312671815155148545, 221515715568282454361892815520096056640, 221658590567048993396449872965655453626, 223724453848669196353735231098203869203, 224191892578037143212345792428652793643, 226722869526661151745359451428775346004, 227333598662810085649929608142840798342, 228097938207379203166615791660483894325, 228137205332216777424943432016083091824, 229567582083136121118711881570771836832, 229696531959249142384548726571687110624, 234053014324778956687201882090771707445, 238142136902781739090430875477360565327, 240076262363490350873970211327525471799, 241171787323425062007802301232475496026, 241398627682089709927301758491762785718, 245299920324981561369213641143903709298, 252308165592850416020947443403858941086, 255067829789852510666292417120339272015, 256773648431049810720167915397731679985, 259673861979849777327080732978049203087, 259964715551303116119313266725503988284, 260669102001533037497815494012187991502, 261389579674962709939273212039914371402, 263933705011637359644279157067939530580, 267725956507109616361271668664306918119, 268616035308847809670121240896503534160, 270556915272141945672876265940702240908, 273072223790346362754039243889537396045, 274811129224639164474419924059908292614, 275806492303598742158343834654185664253, 277083750205754006041388755342939289186, 277932444088396718444375412592174772954, 279140375007050136634272996816166383270, 279271497820116681167753197370433751576, 279823448059743477736685802118604193216, 283152428032733725981362239495937965560, 288713740892217990176392388111038172956, 288756458470225180701689803936677876464, 290333834987528037539872060153919659750, 292880008344622184812991698840172780005, 293612075401840503618002771301624538003, 294987808342383619957116022523148345783, 295375148365781737734388389085152791924, 296049466354002514896115537193004383726, 299719036063279900504291267999104246460, 305065537188575246015332326390009252533, 306582804883935041894615607410779213819, 306961871258386721163328948631624704403, 307022710784096124256741709219717437851, 307337259318130245806176779233865451225, 307925098884854696574165381724281389957, 307955591197583083786193918118637725905, 308879260500720544868377120839833943190, 310721427465553196418831239060113281505, 312231871492178957586142465708599050468, 312806165190827308842777862125115303537, 313804851828335502742411032929675175711, 315775052477900889828648973932206434465, 316223924957380197466463279483406264448, 317089147837392397676609890013819543192, 318461121786597771418083420755223534548, 319173138931672475675916501726288903435, 324902773544494972380178807733076971285, 327135546817848321227528905400537343671, 330376426852848373133107683652116836988, 330543664520509952089254536784064793846, 332076520589048008512607479854773896429, 332818501867274881269286687308829231752, 334728593757128077872251556087341746537, 335096804073620723207552296249812098015, 335162816124101307794287045591179056478, 339241009560021974100774337036722400698, 339440987385864827839377437027109493486]
cc f557e898cbecf4ad0d2d724ad0977cadeef9fd19a75a238edc9fe990692a66ee # shrinks to entities = [1, 2, 3, 4]