p = [16908177351482698823, 14728242239809197485, 10684577749300646350, 9962090335664903731, 16462768196634465877, 16120323852408054632, 8146328281159459947, 18063412746773296611, 12566222109011226224, 10689205198614117823, 4612552759968886589, 13826844590863474789, 16704358765499254670, 14875731012369967407, 431763623419617763, 8292124307454781506, 4518798598867719503, 13131808913856148236, 5075711155200690458, 16088535325352622357, 17979195817332751420, 5573710610164643235, 13849096886626225156, 15473570677995913473, 4945403596603331030, 5218114992228542355, 6383956608413512016, 9790639569555277437, 3533657489165931188, 4033903551352535386, 5360033504961109302, 7346995675400877028, 4248603308036291180, 12144233393606021669, 8812831039647350202, 16177200931776346975, 3723417329773575844, 17793078078139076076, 16449007149011217280, 12961148752120224384, 5498974790695304136, 939892756798092697, 15273733870736022672, 5506008764527804349, 4100142061244365434, 13677200029501215074, 15060043999984171533, 11215417313539795241, 14764110133702699024, 16807004186223569893, 36511797052224083, 10884835799139727074, 9327566234978174668, 5104514103064204690, 8083429295991703610, 7527043759767486583, 11257621676629845616, 11958958447704662210, 668937735861306795, 12960375655286450772, 702492750315588248, 6807629615269401268, 1137821610768075038, 8333084031469997767, 15701823179612378433, 9741364682105140821, 9304032725959903173, 15452119822662283821, 7561588156737615903, 391756167275657093, 13085897454683243150, 8501037679734095076, 4105245487070484214, 13828653946391658225, 4684698282307001580, 3113281238775522466, 9258997199255517873, 8450632973321334356, 6075155158178573780, 6503379954946804474]
c = [4562876952800438432, 12676675868379859210, 13250287702761055242, 6185008824610674610, 778336172170583810, 11257469614125709921, 9935696977379503224, 193476900039262758, 7509734900834809223, 1468005542918982768, 10320657926220998631, 3475103218881698663, 12332177595709352059, 17489788489851822702, 215279605096596811, 13305921703676116425, 1718157941927288144, 13925668304380270308, 9812242766495506778, 16719383066931989509, 18367227411911140982, 5098842814603628995, 11613005681573405125, 614077688495001089, 6549170144031591598, 16042026289216007028, 8189576889176031781, 6603774056536521613, 16788553273394205414, 7727921592910041303, 249760852253503177, 18193923735949522153, 7696545426514769760, 10866374369038388077, 2248956752224733333, 12561533804051983747, 8467273144883661513, 8701100633077668691, 18445266289601276890, 6826409011072300253, 14048623868023462784, 12750815094259848206, 7929125588757604777, 12463118562668118216, 15591048130546169912, 5302893619980612484, 7577470279332446375, 17440458153117064873, 17765482997609642170, 15912721582673480907, 5188250478444464913, 9016325742438894643, 16346303553638277275, 14748099523431815895, 13279205232934784344, 7485582761071291626, 729367160235792435, 2738147454245368733, 14015501577203260901, 15109175068700898495, 56555027945670911, 1712366940263463206, 11285549862192826600, 828093730919382357, 6833341589514846101, 11044353573497277976, 2164182138725267261, 3387096681190194564, 16607051024055495832, 14677100344861328910, 10393761167963935010, 10994710785693471310, 5229400043150124965, 2840923028440252710, 8073764683723332123, 17671973052987087190, 16586895299937400720, 8584121440540733293, 6861175928794209199, 11066572176441330757]
challenge = 17460425848139679158
