p = [11437465507827885015, 9926232656052972805, 7927089783910260601, 12459622149858983365, 14327553634859683772, 9205988582881729027, 10447692789029275880, 6870348229664673632, 13881463913612539096, 8852674240536394096, 13533760858948321956, 10565242516940907839, 3376450557732173097, 13413790056878263555, 16432390247710568727, 5447437869708290552, 16175546332602890198, 37978858636156500, 8303563810096056344, 3965783002858370515, 8334841950959489838, 9371587608975432276, 12304967052895253079, 3738476406595562783, 7446655199920605499, 13769191967013299189, 11326737889001356529, 3469320038426951158, 14830514784824910547, 14371833576434721486, 16907281305367075220, 10105362645792905845, 7252238143052277967, 1280904341938200721, 15977668016808779260, 4321019155559073029, 7468518744387189564, 5196160751655416423, 7760001548463182688, 15791938548610232777, 1843590594483652464, 1911741057883068066, 7453608056581598126, 2156162524047596746, 17303426377021633303, 15237050813856126538, 6426902262705350453, 17110459916014790790, 16146208820749182568, 13976405737072052121, 5667576381316523471, 6767926100958863891, 18385563337525778892, 9280084956174115310, 13774958825165586085, 1536330010493716915, 11361999976552646728, 17684230393868682227, 9591089177305860562, 15874718991333596008, 10708365174111753344, 12997248952133584528, 12315939681009962952, 15995770028876099992, 16360588257001470981, 10898934849890799412, 14381519345406610158, 15896065536907899534, 11867633414360486794, 12211393519522712315, 7276701940536774657, 18415936690546672174, 7240736833163373987, 4066087817312689266, 16062099232664124454, 9291995278429736556, 17187328889131273583, 6670179960546102979, 13843327004632162513, 15779588150278204900]
c = [1624083582789438392, 437464976498274678, 5437133319917784932, 17822448579248929821, 8748235909521524388, 14010684485351215462, 4647798290175181233, 8726096618482805832, 943672875882541305, 1387130433460368849, 12755796132539231049, 10999268890114364112, 6655111092884061591, 5147272304415076934, 14503742419808071569, 5704693142195578617, 285020224268427569, 16145904523567348096, 6322587151408001214, 10587125024545629812, 11931529779696270975, 12894089753868743884, 12823077319371978631, 11658520910618627771, 14369248759891077269, 15039254967507746471, 17340160426894632705, 10221310480539979758, 4947559733198576963, 15995370501285918765, 7937245396143375349, 9447020086475346581, 2486755179747639318, 10330319275362560975, 1672338314582383417, 5712031969546473404, 14225586266266614388, 7134803316376141944, 10726896330030075067, 17531815915979349622, 3593138864644644879, 5761876608342040239, 13176706193658523698, 861851268903646427, 14671141415343942320, 14211781991869533433, 3213943151993266386, 3595877085241772689, 18402116574326817600, 3132135399671817571, 12783857689047748819, 18115029182119833891, 39002792481193220, 4879584905292187528, 9771986269022674504, 9562214399925974047, 9859813176122781556, 17969632276410943681, 15172588698116741910, 2742495829191402447, 15803041931838312903, 17366927420944426514, 2339446465104470908, 18350445670633532621, 7244752643308589570, 18039490397001377370, 16462034365126448888, 5357814649144837227, 13368520111314911925, 17254669735974608494, 17087591245202597040, 5334861362752023721, 931777431773550600, 9107591316499110939, 11657762344117955255, 6710289857255806182, 6861726649343212286, 10337658007309572063, 18031430883834495497, 2238950126804855694]
challenge = 17045480764505595737
