p = [17922132522138106195, 5111331864700610809, 10559205788313048449, 16477864536258161004, 13841801377906137325, 10139947686414108320, 6287686056195821336, 15756238355757824165, 8212786750007124534, 10419003405624279837, 14300681422424295581, 16984877599978632712, 4192846182345243446, 2272346978222211227, 11728182383534138404, 11960336126681893871, 11053601416248329874, 13964100519014407239, 7430807321411384621, 4972466867717543978, 2192625054890529444, 3903597825569960378, 18153908656645705567, 16350859798083616427, 8370614395993697776, 7600868857273292638, 5932848827305783915, 1675536027235394252, 403827461754282383, 17129471910445271706, 11981085688016978953, 5307076717767425308, 13465341407719021764, 5531049499671955844, 11571702467204496918, 7482532295322626381, 18207470498416541103, 9062790686251090585, 3131144781913767317, 7967605864679897050, 13307423454626561915, 1356042266651076163, 2017597446127598984, 9940673386315827839, 5166458563668795291, 12943732260930687632, 3732518868293496680, 592630087096525665, 11781106943011257687, 15046418661113095023, 12873790450362943846, 17469199289665121722, 4938254359933262861, 7336376210005606814, 3082015295554668122, 16265088342404858044, 1640651782850646029, 15956101356932640546, 17162216129064645886, 9574042062395380038, 4864384650783163694, 14804276468626595205, 7994853376436507857, 12677921401534814634, 14826801857361624160, 7900430710930292366, 3008121403380237315, 8657889407776843568, 4333319369516111009, 6330434841110094853, 18150920683380691089, 10925112386130648384, 5707267952732457162, 13560410736204853569, 1933106206348625939, 1832659855652538412, 15846912590660125211, 921608338857539578, 10359763142510302684, 17232747613970915417]
c = [7758432624640822253, 2203275222067459108, 15998782975151220059, 5416273925353103059, 15653850693361341375, 5788454494683971869, 13892681153003012160, 7647240739397647313, 11460014798800208210, 13422164394748354562, 13900367139098894197, 2103368665691023143, 1912374480744258946, 15383610473532191909, 2866845112295039357, 15890228817599052457, 11209987957045921133, 11443970130136354275, 7615867279354425205, 1201004158308335341, 13430248579938484354, 10394806645422572963, 8380882416656589056, 16236528707470234649, 18407834716748630894, 4571624990092137756, 907533387655586527, 5178434680518373332, 15172143046042352521, 9531680358669878772, 840677063612148825, 16307307199665894880, 5806277967650612861, 16363559109692158058, 18307151963857121606, 14491313575040055591, 15493441794182059975, 4259458958792303459, 16317010793474535610, 8878420440525768542, 9352022235555472743, 17227678550363135236, 9735074377498199243, 5272272916307967282, 12627232579483882275, 3062513500496248033, 1779403393833616133, 17476497453504339219, 16759524625202777313, 18135922963925871857, 10914868597290535710, 5201012602381209204, 16160243024440011260, 8692931850015550999, 17433463878921738736, 1985449713329830860, 10156036614379952075, 11608638453062919232, 2199208558630381157, 12770176515904878470, 2925658146759164906, 13336421450675566499, 9658437464963545539, 15259773785399122276, 7758797195596666990, 8010142006878127922, 3019994686496933207, 503284460582240682, 4418057920413880825, 6369175902350001477, 6593535591880028936, 11190081372694994848, 2391242498979097414, 1809677771959939454, 6822595866788158843, 16179047501559678194, 5132242858679879529, 3206753693075845558, 16750322159701655305, 407387705236783122]
challenge = 13686812325802702878
