p = [15837342133210313941, 8207041454280915637, 2847475344670519058, 15525499034205177885, 12860696006337938527, 5976563057438516993, 17456803867065098926, 11512911534218432747, 11508500064662873584, 9447888249193812631, 3487969126460012568, 670675729345431930, 4408710393653097763, 406497441023820995, 13921729677357733997, 598105365657529664, 6903789403874411336, 463833461977340218, 2782631789910644793, 17050594026462025355, 295915780269185914, 14765696912968281530, 4958966895896199079, 16980901439384267288, 12910218344801025540, 2578815137089066632, 11736539267793049320, 5203341603317416130, 15869696536810502188, 5942188411860019401, 3615117475307549601, 11932511470944773786, 1787271831431846447, 4052034519909841658, 14620624689504067567, 1584029728350040120, 6679403406947742202, 1853613376610729452, 7544766440234487371, 1483349157734043742, 9110249947246325987, 8354818395129921752, 14057851436467126288, 10511669803422273014, 12603999687707019261, 1939100985063267060, 4543590361236106344, 12289599824360021238, 3507324170265098402, 9511868947188278303, 7875329492207146228, 785793038297236789, 3360645848266993407, 10568259850234353541, 11349282761544731328, 6970290419487055105, 16059361244311711564, 11065374465222032868, 4571429962233522896, 5245255040425572944, 18299042986573288093, 1113894305971676650, 12143825392385622113, 491070536374409703, 7652912435053592082, 12093425333154293541, 13233243513112788522, 2432984646361162435, 7320833926732384569, 5491546664418307353, 2292900372241015675, 17059542495141261396, 14002616320130901954, 3446606950964665273, 11441798316573919290, 1919158957148989975, 12311693331205975814, 11617321992419752190, 15665633177285624799, 730856232478816569]
c = [13966811912706987319, 14897901765789049289, 974804203919594012, 8276607291844247423, 11434245510440402942, 17942508490323057920, 14410047278430692928, 6903297246506246435, 7310956365061443391, 7993182547381009679, 1371670586925686246, 11978130111366090695, 18276452607922472603, 10971754492785689842, 6782967728170983480, 14795487174500098219, 1176774298944617842, 13913549841368122184, 10654464025150889157, 5811201328787347021, 12949800604743770261, 18425513625182264688, 15722527665954574732, 13931419548807493951, 14732361666077126427, 8798884361334656747, 11433756210139807391, 3768623854262132195, 2606534924937892116, 13451854946688065990, 12781635411610904491, 2677379586268068463, 13535467216505539434, 103038756511649532, 10113282500484174749, 10010744538828159646, 16900337596111132500, 1092139337836044971, 6070743920334917908, 2003029575160702853, 10933311119711186140, 12497043753547162066, 17817307634997202208, 11760453179441045790, 12820326719751226058, 9617248230001572897, 17511269455196533931, 14504237941874021407, 7833867162741776995, 4406880315196125660, 12562232159970992458, 5090399125896246761, 4922115733050936076, 14086928069238569963, 13368947970855314614, 5731388335668622981, 8982864981962994851, 9197433150556480199, 6739579359368481009, 8384888611433408231, 8065938193019690932, 7872330530187631385, 2663090048979067438, 13601337642332467896, 13647782721193085204, 7840236570653635524, 13024817832764546218, 6166947654458402425, 1990269198380320471, 10963287280451447843, 1958592672921055024, 5556760609167541136, 1405503813722629043, 17507874555245612311, 11275678238825768147, 4131034170776955814, 13690920361267707880, 6139537378594900478, 4732422548607169862, 15753816903743920228]
challenge = 15401798594080604912
