p = [8421051602775999784, 16560118280738577592, 1322228773442709299, 12307088030173752146, 5281399904378971499, 9063750815893151062, 4728770402579983027, 5332401551442989407, 16838898742888415787, 5652292536251266265, 15443569029967621721, 13322328320268838443, 12058809028619532284, 16708458068654287542, 1475225422165812308, 660078015631737872, 10963628455313988253, 4868028777385468324, 5620943717367352967, 4432861760439265242, 18431110546057379194, 2569864715442343389, 16213306325662535057, 13693099877770483787, 5465923718390140817, 3848381764978651365, 9654139168972538056, 7947269258827110448, 15076104439406295769, 16126984414591146792, 13686043883889299255, 9591854742844529364, 11763644265587602611, 2052122613943372951, 5328685919190287021, 11186042839037005264, 14763736289827270119, 6846432930634121030, 2189821704985731696, 14408630351560379185, 3677671773965346062, 1045164534624336390, 5591720974085908323, 7190310484857504048, 7367241013639859606, 16517258709581197920, 7235083915456037136, 16650609854200084713, 1228922344377034740, 13787330278146137966, 6500667807834269620, 9460332462458475323, 12949076456234888380, 13986059499406333431, 3082580294073062250, 14644073932486989152, 17504962002286676146, 18133857579190700827, 847296462798960137, 16798216723698108103, 2273732608426540202, 804885531492394216, 14224013867171536829, 12667456573550984768, 2065082830292309455, 12953533649851377254, 6390526576696628706, 13646853100102821547, 253641951628643907, 10058986359686388104, 5136427450962681366, 5546877021348425840, 8040211589582891846, 3498495894217317101, 17504655280719515352, 15223530258908250183, 18006076214966635900, 13225528133922244011, 2767079197745357215, 11817071511030121230]
c = [13322704258313908371, 16391768202563414248, 5788591839115765966, 9673876027999089129, 9321917785447620521, 2044993496187460121, 8818650098186610705, 13073395787762499193, 1704152278129086476, 4363709697425537592, 15703270462715116640, 7970413582853683913, 15779403874929165103, 12832950122105879288, 16704720299350576345, 13800132447940488605, 5988382837015116254, 17413374261088386466, 4072593153808997050, 14527334696126949883, 17883545544418469766, 1446185815999183110, 2038470140761468051, 6723388450578991051, 15406336566874295952, 1404523029558756220, 11731655955937756991, 10757539085442378930, 16202841881122030163, 11946796659021806583, 12403009426325253925, 13877211311123646392, 14343306824752601040, 12123152299838795196, 312360111782566259, 8110879887681497222, 13060390720386416087, 14118184718568019686, 1237809624223865014, 6425344174319370414, 1465158155415937441, 13629515328610903628, 4995362635841207406, 305935151670470481, 3222703908098591694, 4393554989119832144, 11401446366636918797, 2173380913568193079, 5836588699624041630, 4210266570491235674, 16669910979941255594, 16995621542802962022, 6797596626040269542, 16610724450302755647, 17502934979561381496, 5174790031562829055, 11408608805796469292, 6277610089149158987, 2367957537239055039, 12024908769239850230, 9965458871887338686, 9800251630190312020, 490686944763926730, 2577722225037724903, 6319598260350683444, 15763876259641018644, 17232915659867689576, 9714467223569235608, 8608250582738892264, 10655724255448627207, 13868800780558859121, 2133323190512097514, 11005063869770898577, 13469450504926366980, 12561931972772068767, 10730564804216605055, 13436885719712687105, 7328553144672122729, 15166508752117928742, 1001399301401446377]
challenge = 8716397859490008522
