p = [1912345686685306592, 17022640200153608483, 2209966793356636395, 15936224614767353604, 9762254332816351160, 4082117633278837580, 6569652141765454627, 7643286887734455487, 15122131886602125990, 7209443008363467189, 16885252760450831147, 8703718477205199803, 12867813188821803572, 16533517373567072235, 5145793532161803591, 14577949338119803652, 18393165025992009441, 4557100319709983392, 7553909735011446366, 10316922840393920492, 5413802572593798312, 17318706985626595920, 6172762748481554249, 16896069989345183497, 6111876903412480133, 17489850446494999918, 9014663923939721714, 12925090296996250309, 12680038787363863256, 18379250877173026425, 5140536073389042841, 4490814652924927737, 1529686857517873286, 9277201902535933251, 3972084373523767309, 12573267076436248383, 1667751741807906890, 10031807343428664206, 86157433275073649, 1328248952767662747, 4296455738914741172, 14088407126022632150, 16145285934664489212, 14127803227196339449, 7786889169494325677, 12685392157872497164, 9409350133604784121, 5614169399272830041, 18053877621819496934, 13996317331628039421, 9400435389345036816, 3319614393877391142, 471976806121369704, 17938226013873016381, 6884431499577887055, 6384918576679854522, 14892957495477529125, 7886541095957211799, 10473356597686842738, 17500077311309503110, 13252693429634183196, 17704150170536351056, 16857774736598956297, 18026064545187566422, 6939164474921187849, 14546551070236832894, 9903858492304450733, 8499999451994854151, 14239233888908581588, 8928772701289637519, 1267893272585577641, 12090337085185366250, 10359725037547213419, 14012362526131832163, 12111814051528117068, 8156816885167597875, 7163027717176060659, 7061426666193459338, 16062005071541925347, 7163353405482173914]
c = [15567929095868273826, 247701086001596637, 5385902798314994071, 4448287071749034498, 4617805172979471333, 11872025792560936527, 9247537916625160850, 8407976464636446088, 925890942836087131, 12987945197856671674, 17940322525642929699, 1365100302722174071, 17537814118825223371, 16788549839184578254, 11083687081180685707, 4505441862124293431, 11251080123070814304, 7050349630173694430, 6687028611341707734, 2175640146784725391, 7131327877600229808, 6885012889857036698, 4478646868671294654, 11893985713927098833, 15386911958395866405, 12262732679140543782, 5464107270134472515, 15530283567800993555, 6846188390514273779, 16209297298691690714, 17404714814502584274, 10023451669983499235, 8742161095658721854, 2491335101050293169, 11583473852459695518, 8677316754065328349, 8728649491616241712, 11373770873566490486, 16935518006413191348, 1365912390199576003, 11864262811005748372, 10806188922198897622, 8328549397178515622, 3178118744509978650, 11249426152485432429, 8720280864899298047, 3493830134908558587, 765721959192885301, 12379762822850585874, 8899467469294470433, 2714068616668241221, 17317990946993827508, 5929159899892962069, 9627147321297808176, 3707274003277186925, 7801015425663101849, 13307126480429213583, 17038574065002000932, 124742582377073746, 8128778560035093824, 17959727040894110921, 4856996003653161174, 8081724353932840192, 8488574320962862687, 16883543585103516849, 15647938518845166482, 11469005857106924522, 4267585085941432582, 10967041767152545000, 4134895729828027473, 8143842797781611474, 7066699005424677568, 8163780496904458322, 12104025597129183187, 4171243829314628011, 8225582670257748063, 10349777432059254849, 2899338288875228846, 18152896881032550267, 7199386721250084462]
challenge = 1072464209865158756
