# 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 5e555d7196fc6adeea0338b071168600760e42f646ab23a1718d3e45d167b65c # shrinks to input = _DiffCorrespondenceArgs { ops: Operations([Remove("r"), Remove("0u"), Insert("aqbj0y", 8759736365109863483), Insert("4s", 10044956238670467519), Insert("dnd", 6060135432809277420), Remove("pb8b"), Remove("y"), Insert("baihhn45", 11463665909768295174), Insert("sq7", 4811876933643406092), Insert("7p2dpe8q", 12533010396669215881), Remove("to"), Remove("5"), Remove("348d"), Insert("4usi", 6747423100670732089), Remove("1xz"), Remove("39"), Remove("jiz917"), Remove("67b0"), Remove("u"), Insert("44a", 7870292772246520017), Remove("i5"), Remove("cd56zlx"), Insert("i74", 6534526574668539170), Insert("punb", 8473891721762386415), Insert("0", 10780825455149569896), Remove("3w6mz"), Insert("s0eguz", 11046279096949854934), Insert("3kq", 2784467905212969289), Insert("wb9x", 4784810419246373260), Insert("6e53", 8282203486355092676), Insert("hywri", 5137386236814319476), Remove("c46"), Insert("j20vtq1z", 1112325979113224409), Remove("69218i6"), Remove("9bc"), Remove("8u4zy6"), Insert("m", 13451127568675789321), Insert("4zaujs2", 4047325072326692822), Insert("gtv89d7", 7244565589581245304), Insert("a3d", 6591904120187804917), Remove("630mh7c"), Insert("j7", 13930972651537777602), Insert("unvs", 14396077056944091654), Insert("7v9", 10830219039014455780), Insert("wo4", 17465392163036022156), Remove("6"), Insert("p435", 4491338255758162835), Remove("10b923n1"), Insert("1i", 10572089488915295653), Remove("f2ok"), Remove("reohep"), Remove("6dyfad"), Insert("u275bp", 14719964432689961856), Insert("84uywc5", 3034869085899589692), Remove("4lqyyn"), Remove("n1x"), Insert("2", 4103134472614339993), Insert("n8t", 9755734175390624725), Insert("ux6000j", 9700209894676242316), Remove("1127dc6t"), Insert("22t0r8", 6796782628145486429), Insert("hy04", 2403701566790270018), Remove("nq7zr74r"), Insert("ylpbd83f", 15368764264547351299), Insert("87rv", 12252309813607948940), Remove("5"), Insert("4", 12982583174298221718), Insert("0puw", 5013753213686266093), Remove("l588t"), Remove("i"), Insert("7chy6ni", 972220594862718031), Insert("33", 15229741910201849945), Insert("r1o2", 5544133324611432971), Insert("hf6p", 9651098830073773988), Remove("m0q"), Insert("py4", 5643875776673896126), Remove("ys75z"), Remove("y0p"), Insert("o82", 5637522023550207602), Remove("l"), Remove("ck75w6p"), Insert("4e3", 9658913443678631064), Insert("9v", 9423557612194703216), Remove("128fr69o"), Insert("9nq03cjc", 5195524287983201984), Remove("s4l881p8"), Insert("u", 7931681966693414839)]) }
cc 783c9bd6e2cac79e26900fa17c9e9f8bb9f2318643070afff6392ad0f2cc59cd # shrinks to input = _AddRemoveFlipArgs { ops: Operations([Insert("l", 8190415290856170167), Insert("rq", 7802272870926789370), Insert("3ax", 11452151341966869560), Remove("90spto"), Remove("50"), Remove("jy"), Insert("93c9x7n", 17533421366072020711), Insert("a12ng10v", 7160346824398479785), Remove("10apn"), Remove("nz2712t"), Insert("d650a", 15596522953897214152), Insert("i3f7fhti", 293876842522201024), Insert("f1k6", 10772800145220521215), Insert("l64e", 808564228799298117), Remove("hng"), Remove("vu862d"), Remove("b2ms7qt"), Remove("2vjy3"), Remove("g3l2c19"), Remove("46"), Remove("jtra3754"), Remove("214fv"), Remove("8047mr5"), Insert("j1xt", 17455986792880115757), Insert("x", 10840329018809920586), Remove("1n9"), Remove("1lf18a"), Remove("t3zhz"), Remove("r"), Remove("qnz"), Remove("rml"), Remove("277o21o1"), Remove("l5tmj1"), Insert("8nof47cp", 12803114712855644898), Insert("03wm8", 10674708628263752206), Insert("2n", 12647826351949495019), Insert("09uci", 911344669669063258), Insert("ch9r", 4122732132649509988), Remove("2560"), Remove("wpe3p"), Remove("kr6p"), Insert("tnx5", 15780716971213936273), Remove("995i6ho3"), Remove("6z9m"), Insert("j", 9310781360903656187), Insert("903", 17962523713258320062), Insert("20bu", 39644780053866288), Remove("3gww3l"), Insert("1dwu", 4906399812115179669), Remove("s"), Insert("3ab", 2430071676156752155), Insert("8htw6v4o", 15798029957745473163), Remove("762u85b9"), Insert("w305", 10940860920108359882), Remove("f"), Insert("p2k4193p", 7417383211714364929), Insert("5m828", 10189603807998671317), Insert("14", 2273392941122468858), Insert("9", 15883828856151696571), Insert("yd6z803", 4218895444353587596), Remove("d"), Insert("e78g1", 9803365149477112329), Insert("y7nmm", 8704575196200429261), Insert("0h", 11264660707081105088), Remove("n667u0tp"), Remove("1f925"), Insert("0jj", 3415302823512910611), Remove("21h"), Insert("868345", 7057953949462148973), Insert("56sx", 13319564524444190980), Insert("19y29137", 6237959749701385176), Remove("3n"), Insert("e", 1844240028980683962), Remove("8"), Insert("47", 775572366098639473), Remove("m3cx42"), Remove("730m5n")]) }
cc e23b5493b19d1a9639faafc952b0eb0607a7c7577fdd1d92588be7ce4a85dd95 # shrinks to input = _AddRemoveFlipArgs { ops: Operations([Insert("21", 7057345610017908876), Insert("2m", 14042773570795727584), Remove("3p1"), Remove("76l04l"), Insert("knbdy", 18146268831894905032), Remove("60snt2"), Remove("lu9hi"), Remove("0k4b"), Insert("45h", 2579283501447206608), Remove("bw"), Insert("2x07p43", 8493324281333499417), Insert("q1t40", 7601167973431252114), Remove("h91"), Remove("rbk5"), Remove("0g"), Remove("cj1qy"), Insert("nvfyfsh", 4423885449729888548), Insert("8f1bs", 14160566796080055282), Remove("35e65"), Remove("c4"), Insert("46t", 15274819395966855748), Remove("djw79l"), Remove("j6i94k"), Remove("52"), Remove("4"), Remove("4741v9zw"), Insert("0v6rv0n6", 8007587074198761281), Remove("rm1u"), Insert("996l67", 13690975871034554449), Insert("2ws", 17420284283461900707), Remove("7tk7"), Remove("s"), Insert("xt4660m", 16933411867363950079), Remove("v"), Insert("4", 231938933949663025), Remove("db3f7lu1"), Remove("9"), Remove("s70f"), Remove("8x9d"), Remove("1"), Remove("qs78x4"), Remove("74yrh1v"), Remove("6"), Insert("7i", 3708293114264745095), Remove("85ki3"), Insert("sh83va33", 14851363518059892503), Remove("fx"), Remove("m834"), Insert("eq4m", 5758164870050785584), Remove("1"), Remove("3hrrqqo"), Insert("cvogb08a", 8522917429326002565), Insert("r0", 12544564931559276845), Remove("ju02zc54"), Remove("18ja"), Remove("4wa4h3e7"), Insert("m", 2466305068150690676), Insert("jrjdj5", 12612076267141588934), Insert("75vvn56k", 1821145576455514124), Insert("o", 7704537420839772406), Remove("w5d"), Remove("9p6gz870"), Remove("929636d6"), Insert("7", 8361347580713022873), Remove("5"), Insert("vu5nn4u", 11981653745046670523), Insert("5oab", 8201077123413368720), Remove("ec85295"), Remove("lp"), Insert("7gdq2xr7", 12164408117300005328), Insert("q", 3516141357951345603), Remove("a2ad4"), Insert("f", 2086973970166535168)]) }
cc 9db676834d52f0de6c41187beea9df6feead91cc534fee2f1d46fed728379bd3 # shrinks to input = _DiffCorrespondenceArgs { ops_changes: (Operations([Insert("13g", 0), Insert("5s", 0)]), [Add("13g", 1000)]) }
cc 159089e9e75f3dc1df1608c89766a9a47421474d5c1ba70bbf0c3672731b010a # shrinks to input = _DiffCorrespondenceArgs { ops_changes: (Operations([Insert("01", 0), Insert("d7m", 678), Insert("9y", 294), Insert("2", 828)]), [Add("9y", 1000)]) }
cc 53ea684b9b0e0607e209e8ae515facbb2094ba60725840e39397a40d58469b37 # shrinks to input = _DiffCorrespondenceArgs { ops_changes: (Operations([Insert("10", 0), Insert("8", 0), Insert("5wv", 251), Insert("267", 925)]), [Add("8", 1000)]) }