p = [9824793229029817046, 15478734558821593094, 5918186636040355050, 14639104881140499935, 12106490393582782492, 11089451726447629461, 5002445290288354044, 5624805088870986918, 8305106818884266975, 749483743009452064, 1408522996213037355, 8875260890542724195, 13397460309878289216, 15470354187488543191, 4755564372222742393, 14423964258622687584, 18317204848268073297, 10199544759016813710, 16462574519175101686, 3930510986398494273, 16971869993706896890, 6295185884983512914, 6754908160523014538, 14151724691534412838, 10602420935957996074, 9647989902280887669, 894401324256502447, 15861646338517481966, 3965236923190943469, 2152077631231081934, 16315633090865906926, 17641332851486298887, 2235563127877672609, 120881507300616513, 888009984351448166, 3909519671518101868, 16115976506727396685, 7937523568675149235, 17852349803460107008, 17160266331476697665, 2848407372453120946, 17498870456956682042, 14516441156578754057, 11611247699981564194, 12217092578684281511, 16084095579788807416, 584893909486501445, 16061969813581746192, 1701830256102339046, 16720927928650359617, 13254960110161478911, 2437051718820594199, 235416365351824528, 14459913350068339361, 11138273425143732053, 12842314006159943490, 693657856920430327, 14026834112480166576, 16139694676945409820, 15696747132902250365, 17401036855342709218, 17143263364447410180, 18334701390578027904, 16347598098236287549, 13027277182555827721, 10492417261322203153, 3569065721920316187, 15275316916987068904, 9732986916093462454, 11786197322102228745, 11431410704161445646, 16376819137673955381, 10630249258872320246, 5561771945118536730, 8601572097379916442, 3018691018919294237, 6852186210217775340, 1491195126372701085, 16344628616991737218, 2668294906659452028]
c = [11111249900067079698, 13432058526560087763, 9036067751993587210, 14668933109814812188, 2997772078607730323, 12404056261231050710, 13865006531821496975, 1843876519285061527, 9153517057758452818, 4390218334407811343, 7129170162536010044, 11455004445002143690, 7754598749936021961, 15487723916174455072, 1808898493267294238, 15294231636004512617, 18093241791231499166, 1726887416211548148, 5959137150035142223, 8529948473904301612, 4907101307529575439, 5905688766341348277, 11795443974054336026, 14043685870958239262, 4504237202546576086, 12766207394061317003, 2145992228864829955, 13112668656381249854, 12989490452772360278, 6501971232292028585, 1460524994821293530, 1967397112458335719, 11486933992730718922, 123129838479574162, 3731092257292226145, 10708192621986286185, 15996286477433162533, 4833287802122024227, 11129963413183476242, 18014714222741051796, 1962225574820630740, 14218729452393609556, 12101212665458155127, 2017494173531269128, 14572980141246434734, 16233891717170021792, 7601847119789637602, 17718039800662784586, 10286034996534758145, 2749143301168354704, 11613559832256959316, 2922966882363666734, 3493247806014369021, 14143387558749389313, 9388955564855351718, 1159581561265366339, 6126941208104391998, 14235482600624703884, 2623057961694976877, 6888787887731337958, 8072057908086350582, 776310103992346891, 11374801192910671328, 11856165622824536200, 14212336140213464149, 5268396891300846973, 12253127126386353087, 6219944184681252249, 715271500287198275, 15289511803318932247, 8477033822928434475, 17559115082944245338, 9382578778230100709, 12954093225339789944, 9511694179903242278, 5543921445377799521, 1096831101015918100, 10378407621054961703, 15365921913620624009, 7964218538137030481]
challenge = 3734515993446860534
