# 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 53de4b75e19cb1722e4c49c4f6da7c5b128f2550e2bdb834dd2ef8204641ab5b # shrinks to left_full_fragments = [], left_rows = [6342742539488985088], right_full_fragments = [], right_rows = [13733282843423946305, 8187912200365697975, 2826914340666146713, 346404260948424191, 8795222071059034867, 8747127353892278493, 1468831721133745007, 16891318129280599622, 15324377982129497641, 15226820007695200749, 15042029384397853463, 8652845026784187264, 10331787763784933176, 276201048312694890, 2534976430398968306, 11416396717282536445, 7672722720382349779, 18204822811349568253, 4929671055367878201, 14085723886966335595, 12467037916095647919, 5207803031642043043, 8760013298953053789, 5809609147114629810, 16225080661218755454, 7498829699352808828, 8202174973368140193, 8804400423873537437, 15855936153862474267, 8270040936527830746, 11170802732437518884, 5563288748526670493, 10358898910076544769, 13067718144223787806, 1290646450941382369, 13169158542922612311, 8665645167951235642, 1091413462271850947, 7222205877985222715, 13353452657831555660, 11602932332195399937, 6041176084591465480, 2192824513752415329, 7548823551902649398, 14128204609527865509, 209825311222762991, 716579796384536416, 13283195767619500549, 7207350297315362613, 5972665587198475423, 17368711297169537952, 16174661986928242041, 4883920872997594213, 7060536239980957117, 12814819924027932908, 4286464601194923495, 18236425938320045515, 15120958922042602936, 2188823134122277630, 2663730373951037934, 168823322116957773, 171482964947351277, 8420872594248310957, 13802176086534397206, 6860324615718722703, 2710209065549797293, 10836339832438525373, 15793129351026318560, 6999402962257513466, 1679590599864002654, 542281197128589615, 6042117912976220666, 5562112650713749921, 892479752219343050, 2719699678682480992, 16183523869635315264, 6030280045844295185, 12044311714884516738, 2027234216180904734, 10651998776755631186, 16532449747588313058, 12977139814083135678, 11158224751899280827, 4999399290500350933, 13850740312291029723, 7013571957185385376, 3712183885789447544, 8971080480942832455, 5651190952511168498, 10905864091724386338, 6740811476879151832, 646879762256929312, 1588493226600681858, 436045259057454210, 7261833664967894390, 17636837559136442052, 14524526435438990852, 16889822340594141566, 15310825020779890802, 965185016991844328, 12297990261441456618, 2192998141502958798, 12125171641710366818, 10094374568678016581, 4384969157869746719, 10343908254139191200, 12998324592403633914, 637568095658198117, 8212503576607298140, 7266911639689022903, 18067493675562897980, 17095127428876791495, 1142701023060298838, 10270420569676448331, 12255442189115891721, 1622733462125749191, 10628625171463731388, 1805099576498553164, 8106881252300568487, 17815147598333925982, 13225214881857236793, 17773363691692293625, 17638758071786298497, 9244282442895641553, 10680984208128704554, 3980475612309009729, 15950778978679318863, 6905731364372537346, 11981704927530295505, 6768264081412043555, 5159714764396089912, 13956505341439482871, 10202243731211495096, 15781665333732314013, 3259318619651256721, 12608828407323512974, 1751284343166002692, 4020171776257937824, 8463665762191716162, 17824609831430256275, 4270369827749135973, 10463946411388443781, 13743678300012523455, 2806873590443087011, 1044273387154914036, 77965350712761607, 3130834798402376082, 15007021910815693868, 14880671706450060325, 1634940649133521279, 7045129694581350073, 10423529367311455761, 4353404924195198257, 8985383300410376250, 4111466743230279746, 11351762511751826765, 2763907725027238157, 3069869343944810641, 5540843923453134687, 13085011501419283648, 15941569528455664618, 2160657940628656180, 6879252286355263654, 2704618325953696237, 17469966758155545781, 12397819175798353476, 11011026207001558558, 1506665050149228935, 7098184520666238954, 9767322906705915515, 15353354727205194206, 9866228278435122, 2102367774513341183, 3805962221925304068, 13166539065791475353, 4485566101982551195, 3645491834085192840, 13515648009500005179, 1072241748443355105, 7283932425305648296, 7835465610375812546, 2864733791080953071, 168136695080980486, 3593154177390492293, 1803738505252156683, 2345290162572142467, 17589096842477763889, 13952573583177725056, 16625037181727463146, 8801414446044119888, 6342742543020814281, 4462887087591900863, 8629583278021765474, 9480805335467506318, 1023059858072507169, 17812804134620697230, 13471111245905282711, 6712269206202718456, 14162968057918382420, 5957022394052318570, 3271958901145022957, 5325397640026970521, 7024675086201511551, 9475063037733084495, 18255454461409039125, 14676460598863029935, 11727012523887848580, 9695065792734513840, 16291538706807612177, 17876062475901690743, 17575303988324693038, 8408849602798956319, 16139905881586840583, 6063246168674511204, 2393316904147042967, 5796051366081719090, 15994869378339532426, 15169311665186583460, 11112507622195111985, 15870791659662008484, 6100370410603029618, 14545059720181855236, 6299171068949228220, 10259383482725500970, 10032068577003599733, 4896219609730168908, 8036291497636534896, 11677782109340250791, 17968763060782407111, 3615583488780794732, 6722825758251840602, 9023103009150837460, 12018627587754147659, 9429956690830333242, 6281161582008007039, 3769419278751737239, 15724642631260971815, 7127007386302879086, 6557241278197011071, 11109426557487235477, 6615153397592382540, 5775957236880730439, 12138751564888756615, 16513840252092754541, 6963022000296301659, 2638029040181960306, 1183930527665980069, 13517713242722724060, 8370584284753744692, 11638870871053839037, 2144118614178013276, 3975683220588669066, 1427479859038247714, 9084643451112126012, 12630080380812334452, 10022639250487604700, 7272779302037057915, 2622583550130849756, 7808959037994179807, 17875195572930644536, 4939012547971162367, 14512352907397614278, 246405366835936315, 4934431338226476516, 14984748796323296379, 3521341438724326327, 9560663597855536475, 3383138686691985364, 10603552466045290097, 594877629843474020, 2350594426090317633, 2904059667428434988, 5784722567433487660, 7375360910086521563, 16300197331112906643, 14047510571721932735, 12529348231087924711, 5956481652765075509, 7878169618776137096, 18214238038477008937, 12484123754320264154, 10276178645853708514, 4493380037664311589, 287069083072293717, 17593640950026360501, 14693683868510648759, 15061607965654878946, 15746973705201117636, 13065636121467627552, 11296180334714955298, 11744400753964229947, 14671192746690504631, 6965494992677674643, 17747920263123992750, 61755586993290126, 6058319254859393498, 15410758620392344184, 17919105140707609776, 1063252334769125144, 6877096040065090713, 12354114025427769748, 17611418956492774768, 16314052644669674463, 17389465526496956927, 10951825905360760380, 4892553639173273962, 6381127805530294120, 15026621505198122419, 17654462898827945460, 18334288813378947560, 10447562046962870313, 17787032036949099815, 4208998780119334745, 15559584280214079442, 5473849864048284009, 17050125910403415795, 4739876045594204375, 6456143804710758613, 16263704440898205659, 1707824652709662541, 11920091080587420346, 14802845059144881995, 18240918946198680427, 2416842737049175381, 6487817469511133612, 15888014328054043694, 30089805715740204, 2173667145619914557, 8655502048108414893, 1649555215859854858, 9612948290156418869, 7623979106284848119, 6569182823199151456, 3723228891919878869, 17846173866933315452, 5066181643922906900, 6888112031607755155, 15087536236026433117, 9383821820046739832, 13074705695263645820, 16951895279107926024, 6830621797677580111, 6301906905623557486, 16379453645387888340]
cc 21cad309010e6125a7664e6e66502b28a2311f12378dbe8c39107acbb90225f7

