p = [15101126852635174481, 3095300842954573820, 10300951156260412962, 15659096054295872945, 6040349974854028569, 11318667524874866534, 5309803468258992801, 6093544940727049027, 2928203640982890515, 3800703462710893245, 7661748352068810705, 13830464192005340931, 5839248670283892042, 17089498829097848306, 8455642293851144125, 12791690338481054490, 9928005490551790850, 8769898463665233423, 7403608521759396098, 4972617229883819489, 14143590140825088129, 1685783669165150712, 17608181259636015631, 12920917993844276809, 2355299441138100158, 10980411978283808727, 7188927136094232453, 9329203355510068211, 16353449883820691638, 17835836499772409703, 506300878063916612, 6201894655611620168, 12058476312206015035, 5370543611169091635, 16610412629870204022, 15343522493433588140, 3550942515725192814, 2138484747347141557, 15926557448635987023, 10340582619511325210, 11645886967267902839, 10510124878069062615, 13580164462187914168, 10090730439405982399, 947562868375306306, 7054661806615767688, 15478629533222023154, 3859023004754414715, 12353704480439044577, 16635823835007468119, 8980922561631487951, 12431977789504142573, 1649257356503769069, 10669201178895837298, 2561978478982995853, 5229921629658641371, 3132573150099023533, 2938123452849763939, 12006076596780447783, 11157401065041028206, 6757234027244515595, 16954063803540734759, 15223160728446735611, 6606446247765598569, 6083568076794640766, 398163130576846887, 13321454687284089499, 12479105326112300188, 12304314586401018329, 4035040439130251809, 1355152322610762158, 6627993923966799083, 9969618776796250779, 3890511193874093602, 16974791932552482817, 2245264694000388979, 4236149820610506737, 16587570444361774131, 11601520957673017944, 6212316725471428062]
c = [5580569700677954687, 17025993969265283068, 14686444111270229735, 1601287227723280401, 14976802634976964182, 8780961581269544198, 14899178960953206960, 15052922990244683542, 3112254370579081256, 16783534767366201821, 1562402006289449969, 14709289116994285377, 9600005057030660422, 1050084968816344168, 4473567696692984138, 8659832553203478204, 4409784943275655389, 6663255803698627232, 11742632541901934640, 9037842508633638513, 3332705072875677010, 16094575923790188836, 8224053716294863160, 12272493749262966664, 8280001201076104567, 16375651471225862638, 16159662766168421754, 8448362255130193409, 12924168011933835717, 8164233704758730982, 8034756497730223349, 15162313202669361661, 12179141344574739925, 10068254706785579148, 12559462203552439221, 17114292601033351878, 7795347555670952910, 11599247919109494833, 13771073817468645742, 8411357864377169774, 15505993581749687616, 14451521851239728109, 1106572822997947716, 14998725026956027152, 15686392371471669969, 9524136651490380850, 64481182751959175, 14546050367950995706, 2130324034240649033, 9551793640963169380, 4513325388892336977, 16659858204254730559, 10323022533929267829, 4212894312457404315, 13506374073865122529, 16867384685738098343, 4283319363642279229, 6224926089746176886, 12887032979904419667, 322655749475898462, 16291198459419546995, 15156576082023567888, 15870429517784669752, 2560156053801003860, 7426360035995373674, 4918131654683956333, 14550600333821286579, 9634827279202724730, 16830116349338270085, 10749007866289070590, 17310454511694865857, 14208352717232674849, 11844229450639516602, 432721030226940741, 10058175451516225397, 5565688251975236862, 16499330802650381556, 5474187746382165050, 13722977978262668787, 5096196696083225307]
challenge = 5120821703972044087
