# 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 3a64e33d409b811d27ca1f02ba58c4fb15a9c18802cfd3e7b4f8d656950af82d # shrinks to mut input = [3447741858903993664..3447741858903996722, 3447741858904019681..3447741858904022251, 3447741858904064578..3447741858904065680, 3447741858904083412..3447741858904084064, 3447741858904119813..3447741858904121521, 3447741858904131805..3447741858904135071, 3447741858904158442..3447741858904158910, 3447741858904190145..3447741858904192955, 3447741858904240795..3447741858904242663, 3447741858904279997..3447741858904282437, 3447741858904308563..3447741858904311506, 3447741858904315237..3447741858904316087, 3447741858904325092..3447741858904328862, 3447741858904345660..3447741858904346441, 3447741858904371242..3447741858904372439, 3447741858904420276..3447741858904422860, 3447741858904457799..3447741858904457923, 3447741858904505780..3447741858904506106, 3447741858904507913..3447741858904508084, 3447741858904516893..3447741858904518414, 3447741858904535120..3447741858904536406, 3447741858904564488..3447741858904567617, 3447741858904577479..3447741858904579658, 3447741858904605715..3447741858904608927, 3447741858904655323..3447741858904657193, 3447741858904703773..3447741858904703871, 3447741858904716320..3447741858904717335, 3447741858904749190..3447741858904752787, 3447741858904787606..3447741858904788187, 3447741858904797299..3447741858904799107, 3447741858904805047..3447741858904806569, 3447741858904833025..3447741858904834556, 3447741858904844200..3447741858904845399, 3447741858904873655..3447741858904875760, 3447741858904919550..3447741858904920222, 3447741858904926609..3447741858904928180, 3447741858904930880..3447741858904934220, 3447741858904938113..3447741858904939797, 3447741858904948888..3447741858904950757, 3447741858904971418..3447741858904974660, 3447741858905016251..3447741858905017616, 3447741858905047384..3447741858905051412, 3447741858905077887..3447741858905080655, 3447741858905122920..3447741858905126434, 3447741858905153626..3447741858905157664, 3447741858905190142..3447741858905191792, 3447741858905220579..3447741858905221665, 3447741858905266075..3447741858905269898, 3447741858905294292..3447741858905294936, 3447741858905326229..3447741858905326623, 3447741858905339662..3447741858905343434, 3447741858905374047..3447741858905378003, 3447741858905411133..3447741858905414934, 3447741858905454819..3447741858905457290, 3447741858905468874..3447741858905471003, 3447741858905506862..3447741858905510619, 3447741858905559623..3447741858905562241, 3447741858905565936..3447741858905567773, 3447741858905568038..3447741858905572033, 3447741858905594664..3447741858905598087, 3447741858905627981..3447741858905630483, 3447741858905675716..3447741858905679785, 3447741858905688997..3447741858905692293, 3447741858905706490..3447741858905708629, 3447741858905744232..3447741858905747984, 3447741858905782861..3447741858905784214, 3447741858905786083..3447741858905790060, 3447741858905832380..3447741858905834973, 3447741858905844038..3447741858905844964, 3447741858905863518..3447741858905867158, 3447741858905876618..3447741858905876921, 3447741858905900010..3447741858905901085, 3447741858905930279..3447741858905932400, 3447741858905936810..3447741858905937876, 3447741858905956759..3447741858905957306, 3447741858905976293..3447741858905978649, 3447741858905997877..3447741858905999144, 3447741858906025293..3447741858906028704, 3447741858906045283..3447741858906047258, 3447741858906080867..3447741858906082389, 3447741858906100712..3447741858906102090, 3447741858906141676..3447741858906143067, 3447741858906153972..3447741858906157513, 3447741858906169545..3447741858906173159, 3447741858906205822..3447741858906208835, 3447741858906225110..3447741858906227215, 3447741858906248534..3447741858906252053, 3447741858906273197..3447741858906276458, 3447741858906312349..3447741858906314652, 3447741858906327189..3447741858906328305, 3447741858906357366..3447741858906360675, 3447741858906362464..3447741858906363997, 3447741858906396478..3447741858906399285, 3447741858906417083..3447741858906420197, 3447741858906441286..3447741858906442247, 3447741858906482655..3447741858906482704, 3447741858906498640..3447741858906501057, 3447741858906537437..3447741858906540480, 3447741858906579266..3447741858906583078, 3447741858906616010..3447741858906617870, 3447741858906626571..3447741858906630323, 3447741858906662346..3447741858906662352, 3447741858906691910..3447741858906693025, 3447741858906719714..3447741858906723746, 3447741858906726424..3447741858906730506, 3447741858906764387..3447741858906766585, 3447741858906801117..3447741858906804811, 3447741858906808816..3447741858906811036, 3447741858906828316..3447741858906831751, 3447741858906876375..3447741858906878065, 3447741858906925170..3447741858906929161, 3447741858906963867..3447741858906964735, 3447741858907004220..3447741858907006416, 3447741858907016810..3447741858907016836, 3447741858907059591..3447741858907060264, 3447741858907091849..3447741858907094526, 3447741858907131354..3447741858907135304, 3447741858907163586..3447741858907164990, 3447741858907204009..3447741858907207548, 3447741858907226971..3447741858907227343, 3447741858907270742..3447741858907272027, 3447741858907314039..3447741858907317994, 3447741858907357578..3447741858907359622, 3447741858907396674..3447741858907398104, 3447741858907409756..3447741858907411887, 3447741858907449455..3447741858907452034, 3447741858907485968..3447741858907486019, 3447741858907501721..3447741858907505513, 3447741858907510691..3447741858907511811, 3447741858907524002..3447741858907526386]
cc 86ab3b2f27580c37f3b4bd3cc48c2e518eac00adacb1862a44a535c312dc0e9e # shrinks to mut input = [47070748080553241..47070748080555392, 47070748080939678..47070748080941559, 47070748074610535..47070748074610942, 47070748071617658..47070748071621736, 47070748071508574..47070748071508920, 47070748079321896..47070748079324889, 47070748079131890..47070748079134192, 47070748079628601..47070748079630064, 47070748071900099..47070748071902274, 47070748079575090..47070748079579092, 47070748081627372..47070748081628114, 47070748069013206..47070748069015174, 47070748076301131..47070748076302023, 47070748077286945..47070748077287648, 47070748070340441..47070748070340677, 47070748077827033..47070748077828779, 47070748077228533..47070748077230404, 47070748079359952..47070748079361147, 47070748079508507..47070748079508756, 47070748077352204..47070748077354823, 47070748080127901..47070748080130223, 47070748078529575..47070748078530703, 47070748073510902..47070748073511022, 47070748080297717..47070748080301125, 47070748073244704..47070748073247487, 47070748078785700..47070748078787862, 47070748076745243..47070748076745676, 47070748068061797..47070748068063881, 47070748070669074..47070748070670424, 47070748080161971..47070748080163412, 47070748068866364..47070748068869587, 47070748074346472..47070748074348931, 47070748070259993..47070748070262932, 47070748075024639..47070748075027395, 47070748075252648..47070748075255523, 47070748071037898..47070748071039165, 47070748080531308..47070748080532852, 47070748070331187..47070748070331689, 47070748073416811..47070748073420764, 47070748069223128..47070748069226814, 47070748074261132..47070748074264770, 47070748077879989..47070748077883498, 47070748072590792..47070748072591248, 47070748077178950..47070748077180534, 47070748071569624..47070748071570676, 47070748069429255..47070748069431480, 47070748068251927..47070748068255715, 47070748072946550..47070748072948618, 47070748069902705..47070748069903846, 47070748080495753..47070748080499294, 47070748075898744..47070748075899824, 47070748078280046..47070748078283805, 47070748082021100..47070748082021653, 47070748081204525..47070748081208278, 47070748069328955..47070748069332030, 47070748076399879..47070748076400795, 47070748080247762..47070748080248927, 47070748075328718..47070748075330938, 47070748080166325..47070748080169570, 47070748070775967..47070748070777818, 47070748072081887..47070748072081987, 47070748068049319..47070748068052461, 47070748074592733..47070748074596003, 47070748080090142..47070748080093740, 47070748079218965..47070748079221965, 47070748078289938..47070748078290202, 47070748081277444..47070748081279385, 47070748081887617..47070748081889627, 47070748073696623..47070748073696747, 47070748071161572..47070748071162702, 47070748077137742..47070748077141626, 47070748081010659..47070748081013466, 47070748067764873..47070748067765085, 47070748079845031..47070748079847910, 47070748068199889..47070748068202941, 47070748078927497..47070748078930283, 47070748075364468..47070748075365012, 47070748076533605..47070748076534951, 47070748071222852..47070748071225375, 47070748069018242..47070748069021673, 47070748081823597..47070748081826844, 47070748081440495..47070748081442726, 47070748074045405..47070748074048644, 47070748071067227..47070748071069529, 47070748081326693..47070748081329357, 47070748078143554..47070748078147366, 47070748068705798..47070748068709439, 47070748070286351..47070748070290198, 47070748069981515..47070748069984735, 47070748080069152..47070748080070053, 47070748077136218..47070748077136694, 47070748070869212..47070748070869667, 47070748071521024..47070748071522525, 47070748081287672..47070748081291712, 47070748075167202..47070748075169693, 47070748071442436..47070748071443913, 47070748073806662..47070748073808891, 47070748082058893..47070748082061996, 47070748078053984..47070748078055347, 47070748075300544..47070748075302111, 47070748081744117..47070748081747502, 47070748069563047..47070748069565299, 47070748075964568..47070748075964634, 47070748078698337..47070748078699371, 47070748068741518..47070748068741803, 47070748077800619..47070748077802964, 47070748069285127..47070748069288862, 47070748072565745..47070748072567771, 47070748076066650..47070748076068450, 47070748077305330..47070748077306712, 47070748072394426..47070748072397807, 47070748080420179..47070748080424138, 47070748079656685..47070748079658213, 47070748071141633..47070748071144130, 47070748079020555..47070748079021446, 47070748074159177..47070748074161190, 47070748077709933..47070748077712358, 47070748070929699..47070748070930602, 47070748081345555..47070748081348972, 47070748074981021..47070748074984220, 47070748082199349..47070748082201828, 47070748067718504..47070748067718683, 47070748075784578..47070748075786088, 47070748072135762..47070748072135910, 47070748081983014..47070748081985810, 47070748072999829..47070748073001636, 47070748075991018..47070748075993325, 47070748074698627..47070748074702133, 47070748079911962..47070748079912498, 47070748071304676..47070748071307372, 47070748069721494..47070748069723611, 47070748068975084..47070748068976267, 47070748070504884..47070748070507975, 47070748074141914..47070748074144039, 47070748071992513..47070748071993124, 47070748072468928..47070748072469088, 47070748081786687..47070748081788965, 47070748071108576..47070748071110071, 47070748068988062..47070748068988237, 47070748075779316..47070748075781232, 47070748081502358..47070748081503151, 47070748074934001..47070748074936714, 47070748077870994..47070748077873407, 47070748076782920..47070748076784250, 47070748081150704..47070748081152974, 47070748068431109..47070748068433052, 47070748068327339..47070748068327448, 47070748069583603..47070748069584274, 47070748081873735..47070748081877133, 47070748077060814..47070748077063945, 47070748070608088..47070748070609567, 47070748081963790..47070748081965172, 47070748068412102..47070748068415194, 47070748068284528..47070748068285508, 47070748068823798..47070748068824873, 47070748074866544..47070748074869563, 47070748069475522..47070748069477690, 47070748069164893..47070748069166611, 47070748076187761..47070748076191800, 47070748080678128..47070748080681996, 47070748078714841..47070748078717308, 47070748068085435..47070748068085997, 47070748070208614..47070748070209770, 47070748078401822..47070748078404674, 47070748077934021..47070748077936700, 47070748080269658..47070748080270804, 47070748079481853..47070748079482855, 47070748081398959..47070748081402695, 47070748069751970..47070748069753623, 47070748074431320..47070748074432027, 47070748081645359..47070748081648048, 47070748072442635..47070748072444967, 47070748075958616..47070748075960945, 47070748069572087..47070748069573499, 47070748069390340..47070748069392797, 47070748079768975..47070748079769450, 47070748074737346..47070748074739171, 47070748072611206..47070748072612220, 47070748071535116..47070748071538906, 47070748082072005..47070748082075084, 47070748080524656..47070748080528628, 47070748070639918..47070748070642747, 47070748074648723..47070748074652645, 47070748070383842..47070748070387039, 47070748069320784..47070748069322478, 47070748072270181..47070748072273546, 47070748072474389..47070748072477190, 47070748077084231..47070748077085311, 47070748073272229..47070748073274179, 47070748071746462..47070748071747264, 47070748072638374..47070748072641655, 47070748071174178..47070748071177481, 47070748073327301..47070748073330848, 47070748069898069..47070748069899143, 47070748070124167..47070748070127506, 47070748069168748..47070748069172641, 47070748080728455..47070748080729694, 47070748079409255..47070748079412972, 47070748076241205..47070748076241301, 47070748074090140..47070748074090221, 47070748081692819..47070748081695790, 47070748069083040..47070748069086945, 47070748072751616..47070748072753498, 47070748076333456..47070748076337222, 47070748073669410..47070748073671621, 47070748077024520..47070748077025429, 47070748070463208..47070748070465827, 47070748073813457..47070748073814239, 47070748072362762..47070748072364868, 47070748072043700..47070748072045336, 47070748070438344..47070748070441252, 47070748077519288..47070748077520303, 47070748075502176..47070748075504699, 47070748079865270..47070748079865273, 47070748070247233..47070748070247668, 47070748080379451..47070748080380958, 47070748077772311..47070748077775344, 47070748075640166..47070748075642107, 47070748078686456..47070748078690293, 47070748073734780..47070748073737928, 47070748073992056..47070748073994418, 47070748078503365..47070748078504686, 47070748070420538..47070748070423981, 47070748069661390..47070748069663764, 47070748067793113..47070748067795500, 47070748081087520..47070748081089647, 47070748074096285..47070748074098652, 47070748075826783..47070748075830538, 47070748075967911..47070748075970912, 47070748081028900..47070748081029881, 47070748076972417..47070748076972685, 47070748072690089..47070748072692549, 47070748072829710..47070748072830705, 47070748068884248..47070748068888212, 47070748071691552..47070748071693285, 47070748071826530..47070748071826716, 47070748075574493..47070748075577914, 47070748067914151..47070748067916325, 47070748071091500..47070748071093712, 47070748067790325..47070748067792087, 47070748067810337..47070748067813233, 47070748073013701..47070748073017316, 47070748078752582..47070748078754499, 47070748082122754..47070748082125813, 47070748068543057..47070748068543135, 47070748073209833..47070748073211681, 47070748077723443..47070748077727447, 47070748075443601..47070748075443643, 47070748081930540..47070748081931230, 47070748067986412..47070748067987583, 47070748070224518..47070748070226108, 47070748072309960..47070748072313426, 47070748077132629..47070748077135934, 47070748079506121..47070748079508145, 47070748068638107..47070748068638183, 47070748071388780..47070748071388922, 47070748073149608..47070748073150164, 47070748068425435..47070748068427233, 47070748079181000..47070748079183629, 47070748079785416..47070748079789298, 47070748079344065..47070748079348074, 47070748070888691..47070748070889958, 47070748074958795..47070748074961582, 47070748076923307..47070748076927254, 47070748078978788..47070748078980523, 47070748080816989..47070748080818924, 47070748078009966..47070748078011132, 47070748076851533..47070748076851593, 47070748071337900..47070748071338437, 47070748068833205..47070748068834229, 47070748073772699..47070748073775802, 47070748075739379..47070748075740177, 47070748080452418..47070748080454164, 47070748082032794..47070748082035173, 47070748072889525..47070748072889573, 47070748079672545..47070748079675513, 47070748080848339..47070748080849921, 47070748074786740..47070748074787933, 47070748075203425..47070748075205353, 47070748068993949..47070748068995512, 47070748080210105..47070748080211677, 47070748069853282..47070748069857277, 47070748072359641..47070748072360945, 47070748081169841..47070748081170496, 47070748075051857..47070748075052153, 47070748075403479..47070748075405173, 47070748076098102..47070748076102048, 47070748079350686..47070748079351446, 47070748074164406..47070748074164529, 47070748078226172..47070748078227078, 47070748079247388..47070748079250908, 47070748080771588..47070748080774138, 47070748075562542..47070748075564777, 47070748078302770..47070748078304681, 47070748075859572..47070748075863231, 47070748078624233..47070748078627951, 47070748081308490..47070748081309451, 47070748069838174..47070748069839527, 47070748070059446..47070748070060399, 47070748067800712..47070748067802816, 47070748078159583..47070748078159881, 47070748069271859..47070748069273344, 47070748077467356..47070748077469564, 47070748073476682..47070748073479767, 47070748068151707..47070748068155293, 47070748079606844..47070748079608945, 47070748070580381..47070748070580847, 47070748075578771..47070748075578843, 47070748067932269..47070748067936020, 47070748079535888..47070748079539007, 47070748076487719..47070748076490093, 47070748068025844..47070748068028586, 47070748078573662..47070748078576559, 47070748073554073..47070748073557950, 47070748077361663..47070748077364481, 47070748078113159..47070748078116260, 47070748069959704..47070748069963331, 47070748079271099..47070748079271144, 47070748068514118..47070748068515445, 47070748074947638..47070748074948094, 47070748072192672..47070748072196369, 47070748068134676..47070748068138354, 47070748077488977..47070748077490495, 47070748074542907..47070748074546516, 47070748069380015..47070748069380345, 47070748070013842..47070748070016044, 47070748070143430..47070748070146526, 47070748072497188..47070748072499459, 47070748078271272..47070748078274873, 47070748075706397..47070748075708632, 47070748081581055..47070748081581348, 47070748072242899..47070748072244886, 47070748078888929..47070748078890863, 47070748077388125..47070748077391058, 47070748069818880..47070748069821158, 47070748072528019..47070748072531101, 47070748069678040..47070748069679159, 47070748081542014..47070748081543992, 47070748080631013..47070748080633020, 47070748077413108..47070748077416948, 47070748080478208..47070748080480929, 47070748075111510..47070748075114970, 47070748076604645..47070748076607439, 47070748071661768..47070748071663526, 47070748072844772..47070748072844994, 47070748075480968..47070748075482567, 47070748075590187..47070748075591781, 47070748069888300..47070748069890855, 47070748074898767..47070748074900649, 47070748079727404..47070748079729631, 47070748075295962..47070748075296252, 47070748069554378..47070748069558150, 47070748075904497..47070748075904943, 47070748068783854..47070748068785170, 47070748079278150..47070748079278799, 47070748074381063..47070748074383424, 47070748071172328..47070748071173476, 47070748075340219..47070748075342441, 47070748076695300..47070748076698018, 47070748069211077..47070748069213794, 47070748071241978..47070748071244568, 47070748076580640..47070748076581793, 47070748074846551..47070748074850183, 47070748072091269..47070748072091480, 47070748081491142..47070748081491544, 47070748071946945..47070748071949938, 47070748081396744..47070748081396845, 47070748069578824..47070748069579584, 47070748079063349..47070748079063378, 47070748079994073..47070748079996173, 47070748076280962..47070748076282397, 47070748076137389..47070748076140839, 47070748072721642..47070748072722027, 47070748073389946..47070748073389992, 47070748072777778..47070748072780687, 47070748080341376..47070748080344447, 47070748074214728..47070748074216227, 47070748073998795..47070748074000526, 47070748079383484..47070748079384570, 47070748081373988..47070748081375258, 47070748079121656..47070748079121818, 47070748079498310..47070748079501019, 47070748073059681..47070748073061226, 47070748070450811..47070748070454716, 47070748077275737..47070748077276379, 47070748073606858..47070748073607169, 47070748074835008..47070748074838782, 47070748072832817..47070748072834706, 47070748071400490..47070748071403578, 47070748076135473..47070748076136219, 47070748075070777..47070748075073263, 47070748077004158..47070748077004200, 47070748073317290..47070748073318059, 47070748080663459..47070748080665254, 47070748070747025..47070748070748947, 47070748069121554..47070748069123105, 47070748075176873..47070748075179919, 47070748074319848..47070748074320802, 47070748076350951..47070748076353161, 47070748071953358..47070748071956727, 47070748073654954..47070748073656873, 47070748070946886..47070748070948786, 47070748075658365..47070748075659227, 47070748077621553..47070748077621619, 47070748077929278..47070748077929780, 47070748072177112..47070748072180398, 47070748073298124..47070748073301985, 47070748075062967..47070748075066935, 47070748079834979..47070748079835263, 47070748078029314..47070748078033078, 47070748079092767..47070748079095375, 47070748076445542..47070748076448665, 47070748070088924..47070748070091911, 47070748073321230..47070748073322694, 47070748078825144..47070748078827674, 47070748073971032..47070748073974134, 47070748073937224..47070748073938312, 47070748078099552..47070748078102528, 47070748077899556..47070748077901968, 47070748077983006..47070748077987095, 47070748080110307..47070748080110338, 47070748079918173..47070748079918398, 47070748068591316..47070748068592587, 47070748071449595..47070748071453245, 47070748078937519..47070748078940165, 47070748070428141..47070748070429785, 47070748071002458..47070748071005650, 47070748075509100..47070748075509785, 47070748073087994..47070748073091226, 47070748071969350..47070748071973413, 47070748077220772..47070748077222344, 47070748070751624..47070748070752519, 47070748075437082..47070748075438043, 47070748068979546..47070748068979773, 47070748073063364..47070748073064982, 47070748080019348..47070748080023251, 47070748078866054..47070748078867557, 47070748076670291..47070748076673405, 47070748071271251..47070748071271424, 47070748074303229..47070748074303521, 47070748081371608..47070748081371648, 47070748076218731..47070748076219288, 47070748073439719..47070748073443473, 47070748068361978..47070748068364147, 47070748077650307..47070748077651678, 47070748076041434..47070748076042390, 47070748079732157..47070748079734572, 47070748071698963..47070748071699753, 47070748077457959..47070748077460478, 47070748080898032..47070748080898556, 47070748067765473..47070748067769189, 47070748073895928..47070748073897004, 47070748071846798..47070748071847454, 47070748072543893..47070748072544235, 47070748071785822..47070748071786084, 47070748069036733..47070748069039251, 47070748070715427..47070748070717757, 47070748075418686..47070748075420173, 47070748080312923..47070748080313375, 47070748076374562..47070748076378373, 47070748076525417..47070748076526033, 47070748076510861..47070748076514397, 47070748081047180..47070748081047312, 47070748078642949..47070748078645544, 47070748071461782..47070748071465817, 47070748069250086..47070748069250313, 47070748069778936..47070748069782591, 47070748081119755..47070748081120705, 47070748067865355..47070748067868252, 47070748070841617..47070748070843523, 47070748071382887..47070748071385777, 47070748071756043..47070748071756205, 47070748067835311..47070748067839341, 47070748076637975..47070748076640571, 47070748080580988..47070748080584769, 47070748078334929..47070748078335591, 47070748081237054..47070748081240759, 47070748070487157..47070748070488132, 47070748069943028..47070748069945754, 47070748069510460..47070748069513493, 47070748072216854..47070748072220336, 47070748075162057..47070748075162542, 47070748080285004..47070748080285849, 47070748077606689..47070748077607775, 47070748068924825..47070748068927119, 47070748067961998..47070748067964574, 47070748075540900..47070748075541845, 47070748075335930..47070748075337528, 47070748080865143..47070748080865241, 47070748069087521..47070748069090319, 47070748079438562..47070748079441093, 47070748068481465..47070748068483047, 47070748073856794..47070748073860015, 47070748078196569..47070748078196596, 47070748070534602..47070748070538439, 47070748071612700..47070748071612937, 47070748068996580..47070748068996798, 47070748073108883..47070748073110789, 47070748080986965..47070748080987300, 47070748077693520..47070748077694769, 47070748078712695..47070748078714288, 47070748074267599..47070748074268894, 47070748076614784..47070748076615186, 47070748079947069..47070748079951086, 47070748075477686..47070748075480923, 47070748070809484..47070748070813292, 47070748071895518..47070748071896229, 47070748070925911..47070748070927893, 47070748077566012..47070748077567757, 47070748072938505..47070748072938836, 47070748074472226..47070748074473384, 47070748072007664..47070748072010626, 47070748080807018..47070748080809316, 47070748075909688..47070748075911217, 47070748068384433..47070748068384519, 47070748071300246..47070748071303830, 47070748067965607..47070748067967060, 47070748067724929..47070748067728412, 47070748076894348..47070748076895433, 47070748077425637..47070748077429114, 47070748077626332..47070748077626975, 47070748070840873..47070748070841120, 47070748077739556..47070748077742542, 47070748072993390..47070748072996343, 47070748074369534..47070748074371904, 47070748079709187..47070748079712274, 47070748069606079..47070748069609897, 47070748078383826..47070748078387367, 47070748079762715..47070748079763516, 47070748070194963..47070748070197331, 47070748072313697..47070748072314832, 47070748080078612..47070748080080175, 47070748074506552..47070748074507556, 47070748075699884..47070748075703229, 47070748076827434..47070748076830840, 47070748070953879..47070748070957104, 47070748073189925..47070748073192862, 47070748073369776..47070748073370338, 47070748080925071..47070748080925822, 47070748068655642..47070748068658926, 47070748074196434..47070748074199783, 47070748082153176..47070748082153614, 47070748081945795..47070748081947012, 47070748078453285..47070748078456882, 47070748069624507..47070748069625133]
