p = [9428156435725379121, 11216771127025873054, 2417323602748360300, 1860578273325309608, 9650930911767244430, 15434610893028470061, 8814773595800180972, 3491540775525536334, 17534677008934008844, 7594105084366730056, 13034213991733797305, 16320866164316247370, 17331806840184637274, 8319537924171235171, 5372234986285289028, 18357327918045760827, 6150885438256006488, 4324529965870093957, 9738612315327004059, 11674837015316783868, 3783020767359580919, 2885327089066853564, 18111639246648743628, 5259703406781370957, 13965132113985400384, 7476949964009996854, 10713031151441487701, 11841571169277962335, 5906825316050778003, 3231138627061225470, 5073297542158032797, 4006549368329403768, 2709637450921393543, 7085744722864011362, 8672196327222172392, 15738856944647715801, 9130271388062332205, 16253032060818587715, 15662590974871861003, 10372768351345879350, 7564977433853511254, 11738135428946295611, 15852802149986716756, 10663737059223380485, 6068729106426206390, 5263710540778635622, 1283983122590768696, 2734133232332310916, 2295059736456587741, 12595981485788418362, 7282341222158731023, 16999743712561886224, 11658010172909971353, 18056302341866174728, 5355905606147132639, 5700676085269389950, 2545315900330679692, 1043633502291578822, 17004627639175516004, 8702132106521508449, 8954803557823049224, 14834954974037295069, 10350828241682862488, 16456438184493191060, 15069487076060409662, 16177683909184792198, 9198735332851749501, 17038352686231749555, 11413041057778281912, 3667153796405811230, 17903820446054499298, 11994183250965469154, 15964350631527357124, 5518808420094196059, 17779771630863562488, 1942589273395566925, 10472302548808907098, 9918889997600387751, 10404088039883961571, 1719933941733824025]
c = [15976292052975011037, 14582716479922917017, 13873517176450613595, 11473735466778311757, 12340622787958388740, 14771442841023437077, 11505579348665197519, 18133174415095076473, 8479657209885676003, 15632135972173238013, 1958071335065455048, 9433004910548275907, 3212710759135843349, 14030472341241090320, 3410514798867314182, 8320127639063812516, 4411876274308778154, 5904062816468199143, 216175450332156359, 209553427886433586, 16864633837856759139, 3802094478871423623, 12477536185682298070, 7497600439486187860, 3281656704605984431, 4996692090445701424, 6416062464105824566, 5800057560691486194, 7316372734700857872, 9278712313907242522, 12470572399753727139, 9453855735019480698, 4603654087393037292, 14172711513143185667, 6405786935877893088, 7272666275132831184, 14892876490896762229, 7056163572522206828, 11047155755040112959, 12786675104668462645, 16067971503238586244, 11177905928192254590, 2999626404119938531, 17767504823787846913, 2133400158983565073, 8269042630770760238, 3772194224633142254, 12203156923921211768, 11922559019710187444, 16738132691006572147, 2809850031716809925, 9607321424528258165, 6879317344669050823, 16717801410729026330, 4158699762674339137, 5623270886342751459, 7376972535814853198, 1079852371535141035, 10474738658612222325, 10152028377678345789, 6848020811106987748, 9635712581725877278, 15060404797131761917, 7002660723035295925, 14190537894799945013, 1606040165393975668, 3149409063327375815, 10930653434287673291, 17747612541491574987, 15467399180250084042, 3024600130922449950, 6712490036771238773, 18267582536021123761, 3213079297421471018, 16101558037725741533, 8910958851826101862, 2908299860392974175, 6044606957992134731, 6187610712559525613, 6379767644095949079]
challenge = 18232039541946374967
