# 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 743e34e794db453e202408e182d7e6bbb80062a906656a02d8933a7e7c944fdf # shrinks to mix_input = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
cc fec03d2be3c4a302261e5c82889b6562892eb9f44099ed6643ccc2e5be4f0876 # shrinks to mix_input = [12991197408309594683, 9477430419663340471, 5239249063403677359, 791218960949315217, 8086944997695053685, 12349748526452200469, 12903509138551558730, 507874012822166334, 2808943646917932622, 18066387731795570190, 6441781477754796344, 5276707270819828990, 5238079376582821534, 6123421276721675618, 11514275589641396725, 2100788280779648240, 9350985015251972152, 16629430883445537540, 452027533019077439, 9141277530360700833]
cc 2f508be117abd89b224fc71889185cd85f28c5e708573a9445cd242f1376dd38 # shrinks to mix_input = [1291888677617835817, 656810119653873449, 7600653579010032103, 4978942110411403730, 5548753145730758007, 11463119687054897597, 4101924297659175415, 16024984536997970438, 14335435462473365418, 8370475061085099895, 390881703994609956, 11268161041338140514, 11773959274303075188, 8982706261230021766, 14564863206762624714, 1460613739152885976, 4100234473808509925, 15682168935116431133, 290060584627219383, 7008580565960792308]
cc e330f542c949c5a2488b4c848fe0d070ed2f4b5d7564f854a8d7c2f4976058e6 # shrinks to mix_input = [13892032444761528486, 16485225918726534998, 4088389948652823848, 11398070319852667562, 7160232531096328494, 12401478507995462498, 3112996044635879510, 4442727261265230228, 6143643332338801764, 17567210638573466445, 1862870112538604602, 8784848791244757946, 9243740842362876596, 5978154370522919557, 206118005328245347, 9100096130530897464, 10550491341507010273, 7171139652732543856, 7343579352680343614, 2675789114140923372]
cc a50f06e40ae50114f0455297ec976c653448c39d23a5df00f35f7c8331796aae # shrinks to mix_input = [4017604712089673893, 127177647799622447, 44139708865128012, 791461595724129970, 8859514591062803460, 1519267981628610885, 7512748709207039567, 3829363047285753860, 3325805639593138626, 940262720105719157, 3520149451145413616, 878896287317072650, 2248093832414473991, 7201525787822832005, 2686135542213009881, 123640997223049661, 2756160079683853706, 4274974428686564286, 6142152519283154911, 17544103060914879277]
cc e0158cc0aeacc7d50cd10934049394737b8fc04a14f9ebc789bed75b22af0aa0 # shrinks to mix_input = [3616205420577046436, 10622711794335795999, 10103029731300495009, 3252336638065168123, 566949918064517073, 10664555259824082667, 6114475671434436883, 10436728686263887765, 5452018813296914145, 10019692207218472603, 9103323673102319022, 17758749060753877091, 6338114044450503090, 1893374951405383447, 5664275548916794592, 3761575521412411164, 11271113755710228948, 10710535099286110063, 13732111203527369174, 1915662346553569455]
cc 8e392524b32732fe03f3a0d6ccbab3c2b468bc238f4ce37acd58eeb96e5b4b6f # shrinks to mix_input = [12376227384621301311, 7525556505580199101, 5121869531354777039, 9126809079233395446, 5619755678744966497, 2683877728709987614, 16692118354442524066, 6673784625391128575, 15469360397731756001, 16126721585931537794, 10249357917277750382, 12593422375227755352, 7877261003818129168, 7031605944995900417, 6195410749922083215, 9246577378757871263, 972478159368751739, 6842592827162423471, 13594234666318646278, 1257605964641298419]
cc 1abf557b37d76ea11d83ac1d92d8e376014c9f9cd04f259b5cbad2e5f9ef0f4a # shrinks to mix_input = [6709367338589147771, 1448123461613113296, 2060947666382971353, 15387343628939998800, 5694013049060096978, 17530976260147084559, 1595786214897781018, 12248330439583726811, 3829426454422414746, 10858232168694659679, 2876311847027983821, 4800237477056582787, 5655200040250613638, 1071188557428562221, 2179779002710491137, 10560803652264875101, 7539250366484370725, 9624294419752395137, 10505787017929659259, 8653125884342466209]
cc 37ace78bdf1fb7235a7f5adfd114c1aba129d929f16ad4a54e1e2d083a5feb03 # shrinks to mix_input = [1923664756982944798, 2914651745593654671, 2965742519347466365, 1264638920118292922, 3239423866828700273, 1590512195722364981, 11589732176590397472, 1719002542395034331, 2313267559159629635, 1254239612321573305, 188020233453162624, 12471946964867949524, 564952688921060438, 5067525767535613124, 267029023131197709, 6304032012163972587, 2059840288578714371, 5922516595063591742, 14029402292048432778, 2642780533101594061]
cc e51e0b674ca122dfde611ac365b3164ca4ba1c73fe3c9adc90f9569c64e78d06 # shrinks to mix_input = [13228129530119280417, 2978471475302522677, 14239003006270881349, 3511502563681501346, 1164620045471769318, 14188412898335579964, 16146129397473043977, 13790438731146215047, 9440446552322701496, 4374915499309490373, 15267795167425330846, 8150820812761626414, 13383194181145535669, 13002909056516025622, 3129745181690813094, 5097529871425536195, 9028046578255650003, 779717241330397235, 15547808632534601220, 10755362703836434137]
cc f54271e4bf31903f0716f58e40db9185f248cba8863c36e9cdc9678346589b44 # shrinks to mix_input = [14396514773340114290, 2474830374148854756, 5889020806821760350, 14832525328971325783, 1002764726390224975, 15348937772140881796, 15614457056554542335, 5151256345955929984, 10984011908968057112, 13116166666731836810, 7722601108824892419, 1570837758644188116, 16655615113985084034, 14615721405296897374, 1334944765912613250, 11496409049555155292, 4351464533013834076, 4823353368563164265, 16098187139604926553, 9210272225172345914]
cc bc2928bbb92af6fab093a012388843de9ca506bc8f01685e1594cc74023f4e41 # shrinks to mix_input = [10230243881767178434, 10675401223138223459, 5584356943079355835, 3482113962864510795, 14815173695500810949, 880754835140659782, 767847947862934128, 8477168315982407541, 3655293017384552516, 9690669729455321974, 5578702452670912379, 15112859628683589684, 3216352670393240278, 3050141909505178788, 18338625458164676323, 9175961925439960610, 12714352336704433539, 33433416671151873, 2051025899419719046, 4432389002390019395]
cc 63b8d7b9630c5085092c8cf993482c5ffeae77ce5703e33b8075544de3689793 # shrinks to mix_input = [10534624098113339808, 9613838752006213315, 5837206700574211691, 4067380565339865268, 9440439976783934453, 1095029484078414689, 8346654319998705626, 10661559427194315494, 5639737737091120498, 5146850849077643861, 15717476757818925647, 10437361849788444538, 5839915984972585499, 8010686085404168774, 15830355486005547666, 4484224209908656464, 9429337904830381311, 379700283491719719, 7247344660560745938, 3667522342396143439]
cc 0e36853263eff5ee9b42f14f39b4d29c0589d6d64c3e4553a595eaf968c5af45 # shrinks to mix_input = [15143884852678381595, 12029878240850667690, 6250594199456664686, 2505308162531391735, 14474310998352995183, 10415811159173927408, 14852152717168027087, 7764088717342349211, 8929915107711126514, 11348665964384509005, 3081988792344039708, 4857526109563021963, 12427514647037082120, 5770422467253738839, 5963325451110718557, 9307205810847435656, 6081131220399480646, 6636163542550182590, 7388044004386605496, 2812315315798629965]
cc 7c411d942f2bf23453e19cd87f537a53bd0c5a0491d7f07d1ef47e4a1fd9ee69 # shrinks to mix_input = [16591194383879670376, 10306608360153191278, 11553495868361814771, 8226541079887618924, 14502438888732776722, 6956403387721104565, 13804167958147397872, 7695789117380484927, 13444546703231429792, 8644219222733190007, 12853876113627733637, 10767040642823291388, 10681750504513342755, 5279122195884022355, 11206387533588781277, 13272954888711304585, 16136985910425034476, 10305888509511114479, 5425701638354947042, 10770746129239370369]
cc 3bec5dfbfc8f1b61ca743894de9a2e665d5fbbbeb0584aa6e1ebe04dfbbcd158cc 676c223dc3ba2a40f075a6560bfbd8cd6735e5aba832ef1aa8a5e652ccb944ee # shrinks to mix_input = [765622786274712186, 2261871088409610111, 5951260836296955615, 15752756852784195403, 3897686273312859762, 733624655882038953, 11619558506697908489, 3177852211467464493, 4825517829894087936, 7439107867439036376, 5658942167933623322, 1803175170385701374, 2642765614549160966, 10180897060564174678, 14221303275485212123, 2342496443994584727, 16376897972571897041, 17172079573115433981, 13054266615058402510, 6122141988737181941]
cc 71e4bd9f515dbabfc9e43c51ee0e197e81768b77206bcb3a7e3eda673d4e83e4cc 3f4a201d032870077c1a55a513ac2314ebee3fec51cfb055ae232a0e07f6fd90 # shrinks to mix_input = [17273119502300636703, 9137164675671627835, 16883323446636299018, 745244727801451584, 15502971841911241551, 17932007177199815986, 2972829916308177116, 16512408874566252482, 14525290963605482877, 2767264956547854809, 16553583708167806840, 12076772024083649500, 9574662318034597861, 17164574253214994872, 13182746258079583499, 7867053525837409149, 12108485704275298662, 11250686001750409141, 4837648793935580562, 5590478299796593917]
cc 8b652729e39d7a02056b6d9d19dcd97855f3a19ed434c9f9de9d8481663ce673 # shrinks to mix_input = [9774783340727407410, 11568830807223121479, 16077840951811979473, 11897278005256656210, 7587425577781900333, 11745678942530562425, 16212133212065217586, 6452715061768504387, 12429017655930359051, 16093267493118308718, 3243874601967248268, 7594841568534477448, 10681144318316029962, 980625213291387078, 6250366320498324146, 12031743312507554256, 4888411170273527719, 533357411822211778, 11961257846745444947, 2637508958178994621, 10014366228690028967, 10594028308654768728, 4700124865857893775, 1303055650273250200, 11750070446247936773, 2667258067124323942, 18364653843621215577, 14382221546366061739]
cc 9b49518882892d36244aa9856a3085def1a98a66db8dc44b559c693e652e4bd5 # shrinks to mix_input = [15906767527772553677, 14642280457957747692, 337975071606095528, 17579210582611679733, 11963792771345737575, 12761084257233551628, 10406511216438015183, 13777650519513636632, 17100350347350280238, 10574180920182943682, 15384973430395625502, 2903551604907412357, 8799504816695504073, 16240841157169604459, 13678499011487402718, 16851592405269512712, 10819380226723558645, 12092589111434882071, 6419412650602808801, 7549955985951167302, 11111783471912433371, 5395354177175440943, 1289145520092521978, 10162380388899236246, 7538276445358883906, 335993512335173442, 8513903141354533387, 5400026455356390116]
cc 89010da785b33ae305a241af6a3cc9dfdeeed68b6dcd8bd0ea2da0582ad6a2bc # shrinks to mix_input = [9399947380227958267, 12668370780444959540, 17821336138623067288, 17408769711062856232, 16377048218769541539, 897596765704797678, 5697975950423669086, 278705518381253114, 11881949834124217367, 12505679882162987506, 17888335922918235325, 1226669376935367492, 11452858070072321044, 2686035117666617046, 3297508606861396589, 2469902555771994983, 5072995122182510180, 762254397125218569, 2727315345056242378, 3783360616905069671, 3962874544318276548, 17057599555123162059, 8445125204571404220, 12449722330591533763, 3683926688568257239, 5824687354048016674, 6616154547592640121, 1584393821967938699, 1746984165211599206]
cc 05f54eda7859762cf633664d40cd32ac5af5de42fcc8e54745907359d1ee1fc7 # shrinks to mix_input = [9059946454593074666, 14238831633057015647, 16860589767469869948, 12119691988263079728, 15441349724946227214, 8729982630955615280, 3275444868376041951, 227671227488558785, 12612965413207001095, 2952451960273169212, 9125941559848080732, 14788137007724028577, 16085571847794220669, 12732091356812006187, 197904667003591492, 16203239222140842037, 7463581742770751714, 12865870050645475804, 9689153671431572890, 12785009636921237207, 16487481461559988091, 12545790528136017613, 2825982454308923919, 17304770238041115000, 14606871464691276712, 2480517807965374968, 6714378999806343226, 8947245294677941014, 10946781668023303851]
cc fc7146a10a8c31af62bdf617c7c1e0c57ec4395ce09a18072ee4a273a7b39ea6 # shrinks to mix_input = [3609538709848525119, 13386854316292574530, 17496499607484816147, 3188478398691131361, 6867330066620898243, 5226485325943563566, 1776039415964726714, 5502327574060365280, 18163594080845535433, 1044391696018165962, 16175489188315816880, 7206210224352666171, 16330438000017521542, 6720302378351397208, 6321396448064105888, 1046428345071072693, 2316833714592216295, 8844864867997672815, 1793369077850427728, 5018425501531118410, 18251557075361847753, 16018136318190393653, 8341264903113646515, 6146885950608009544, 13467720570881814289, 1608923933650355666, 13022782649260896834, 5733351526887029311, 7966766669662803384, 4077312587988353810]
cc a6c6e9a723f18371feb99925b4546d7956be280a22110fe788595aaa4b0a838d # shrinks to mix_input = [6148276184324402683, 3522550040773065322, 4768243204849705280, 17615021073747065755, 2213652547799401130, 2356868026450100931, 18351749628816524601, 7839898366200519034, 16323999809408807749, 1624062308680562814, 16517852800965534418, 10946911517778422568, 15177595882841514883, 2484873233314667997, 1878574699811029402, 1191012258144162364, 14725797720703854613, 13140261624045307205, 4860148076771529474, 3286314879980302326, 16060274611273241057, 6500951157312817600, 12920694643698513857, 16639044670555790656, 4615881948581764131, 3944093626453308088, 9706093770656230201, 5099081121820479383, 2100048511254042174]
cc 1add42c85131dafd3c7491744720e913f2e03163f5944e726e2fd32eaa1566a9 # shrinks to mix_input = [4451498316455392666, 763505512610990043, 18364847204585350190, 18013361165684895168, 14717297187795696950, 9415286491456642023, 12670299609871130933, 6493749884054497670, 17170179757358282267, 12604021792010147327, 11580454929393048820, 13248991096133277813, 10610799429557278052, 16653858572873647698, 3747255122751451658, 2691356804568434443, 18247092635920033008, 9712264472123993195, 10230134596637630781, 11471472682116930111, 8383733352359143522, 11509252980334570651, 5925878783275241982, 27465515369908760, 13682929535504640817, 3295986866203917179, 2879502511152124037, 12257925653239065695, 17491111754096584573]
cc a0cdfb93dea0703b516bf60a84040782b3c2031a67a5a78c995478a0d90605bb # shrinks to mix_input = [16949043709872128962, 15538517731390138634, 7183730647443357583, 15356174091022982357, 4300133386493041172, 16694844324571072786, 12235793239342349439, 17637468685236860070, 11946621961389278750, 14848132701175723472, 155564435623200173, 454773298812376099, 10447005719354284777, 7189060748834906001, 16716903855354289565, 16491609253240306592, 17618935536509242961, 11889565960814877292, 5566952888724686723, 9161847264663545798, 13126555191417610719, 3018182467597740835, 13486704939554495940, 9754773844996440905, 18258966177348002747, 812664703432447451, 17870763907932850230, 11337724383629264116, 14507574031075922313, 8107630081831967676]
