# 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 dfbbfc50d21004fe54d3d91c8380b8707063cc78cab5e421bdf7923b9d92b874 # shrinks to mut a = {}, mut b = {619070: 0, 15152058948298338248: 0, 17150531498611789856: 0, 17713715471478517908: 0}
cc 26012c7313299f7ee265225316b8d5c9f9d71198a585bd82b52a8efc071ec0ba # shrinks to mut a = {2356952948630110: 0, 2356959391436047: 0}, mut b = {2356952948634038: 0, 1827784367256368463: 0}
cc 3ad5683f1ef0da6508c1d965d2810915d1b5fc185af2ad596266407690dcf309 # shrinks to mut a = {5269459664528701294: 0}, mut b = {18525428470: 0, 5269459901762055666: 0}
cc 30ba19af332923415e140fab0f45423bfcee5ba95caa795d9a29199720f1c87d # shrinks to mut a = {4382916528245171: 0, 24753003017813944: 0, 309227981542939374: 0, 18249412575347706077: 0}, mut b = {309227981542934144: 0}
cc 2b9c5d18924727797cce8bb2ccd4cfee8bc3e8f29606177c45366500947de0d2 # shrinks to mut a = {0: 0, 1209176971445842583: 6742664479572704974, 1330986915275156822: 0, 1611388632541854984: 85519241652825, 2425299900041109965: 0, 3541571342636567061: 0, 4706901308862946071: 0, 5049864329114932794: 876277693467623218, 5920772229604559105: 0, 7056665808513178997: 3329263160917337507, 17995215864353464453: 0}, mut b = {1330986915275156212: 14587876268566664410, 1611388632301666505: 16096600669048017340, 2425299900041598652: 18194538767373971047, 3154885831800699121: 18021039549353633925, 3541571342636567061: 18022017246080092802, 3632800332642131541: 12716415624837554072, 3767576750200716449: 17802194402274170112, 4641691860946242717: 6734635099990504777, 5234736588983020819: 892637520376686693, 6136866203447159049: 7768082904855297260, 6157530964535736986: 3980672210946766788, 6232053196476358169: 11127757221940883580, 6530545888145876673: 14327123107776482862, 6782326562722996633: 4516929760703043582, 7447065977500931338: 17668634049729985387, 7947013825392158120: 8130508930011917389, 8385068042515731921: 2683764183497949126, 8388754424312666038: 10355687095270293809, 8901302839156505990: 9181265077877953937, 9982946438753234257: 2545577912826025153, 10538809710485448463: 6728653152175635447, 10553737223401909689: 4176852585156444622, 10761673226316770002: 9690212446586724616, 10945886082634456289: 13769868284134686981, 11021755229061187455: 14706113564909442531, 11186029388788767344: 13872558650452647282, 12404979918671869149: 17502160755071103522, 12552929326223655718: 15115309884233161252, 13918942832964014257: 10828647658963346003, 13967245054446379847: 9535897328442347987, 14302413575565919540: 10145639092149871950, 14303436855712906747: 2142177258560673233, 16752932844316243514: 13138930585388319172, 17995215864352999149: 7099000659718914675}
cc 6e419c7fd34589a5477f1d233c47072677641e3142950f31d116637a91490c91 # shrinks to mut a = {12844518317479194707: 0, 12882259311631564414: 0, 13048049254852034159: 0, 13124596460648060020: 0}, mut b = {264686437984314891: 0, 13124596460648060019: 0, 13124596460648060020: 0}
cc e9cbdb8dc55c4a5f935a869345fb345484c96911f15ddf23280a7359461a41f8 # shrinks to mut a = {6416642709185293041: 0, 6823694781896678135: 0, 6823727308570268642: 0, 16590198516108651936: 0}, mut b = {0: 0, 10417693944069773430: 0}
cc 19556756f2cc545a7d3c6c08165dc733a3acd0c0fc7963aa415306220c88d86a # shrinks to mut a = {16684975441053966529: 0, 16707022776527484793: 0, 16707022776527484794: 0, 17475454099898594447: 0}, mut b = {0: 0, 16837218994781109383: 0}
cc 1992945d51d43054f26d225f4cc1a30deb1f4bf3a737c75fec9f7ed4303a7ebe # shrinks to mut a = {7636211220892186452: 0, 16672937784585724322: 0}, mut b = {1383042: 0, 7636207050350647568: 0}