p = [3971812979005253811, 8665227030155593520, 10014351105030622037, 3146560451404130646, 8149411838413160610, 4352968458216223812, 5551882695349281921, 7612265007595451038, 3610365656299084149, 2623114554504638292, 18241002476309163786, 3023977984381462738, 7708046636127560325, 13352767973669813063, 12744903772220578857, 11474274268532519298, 1515253112254093512, 16347824586646861570, 14498706027758973025, 9139839800429649779, 10254272932370976599, 14401176535750991698, 11061139111534634218, 14600977060832451212, 17984027105532635944, 455411916095606803, 16289021164405655166, 1542247811804644028, 2065261676580183696, 4857566213453396622, 13770600706312578445, 10304134441685270215, 8711838773558806458, 10235843262776289937, 10211837433705146830, 17017309536544989708, 16700576616094177449, 14181829009801853470, 10110964052746245956, 12390286400581009373, 584448987489800105, 1834653368797842387, 14433715287011432401, 3346755684869785081, 3506546125758308184, 2393594509893844775, 6829167460761138703, 12655435311073187107, 14240604504653115434, 11392434792356593042, 10439526924246678492, 14224285187209919487, 16837149648177424856, 3340479400698328250, 6514511889170773062, 17381776295918787637, 2066530499953808376, 16052220198714227494, 1189998190561825001, 13358851573971139105, 13093651390195353650, 15102048415572816723, 16280360444572728127, 6006610650448878997, 15342534438468646470, 6616279856703529980, 9438250295370314788, 14804157262718555678, 16309512667019156415, 3146474549831886282, 14713943841905089194, 3710221926958898080, 10885840266843724502, 16282557385978562667, 14562651136624994279, 6339572509661810369, 11081859058783086663, 8343543286698987798, 4163445425414888892, 15132731989175333915]
c = [1141527402183827549, 10710941771506193516, 7578417547174447919, 10896382358763458850, 792023585941656871, 13937494217456191038, 11343261060179593232, 1571610921558552833, 3199241506432898445, 12037059165908915887, 3085990716782610447, 665784639121263061, 10145274141208750153, 14372392960121974861, 10855864401276319851, 2768563540739090244, 3582439587583884237, 3424826811988518189, 3097250963183633454, 12153269713844982120, 1848482960200709256, 7448133688475881032, 12054382527084659494, 1744883616798411379, 1844577078397069282, 7644904246773715739, 8227490946683953912, 10947570872971570034, 10356828191969554213, 16906358092709590729, 10579848416629447161, 8258066341675664839, 18138156072856039591, 12788910875225327801, 5578833252340388769, 9302746665848785829, 13695720883337707238, 12158447561793995197, 16791467729463810396, 7668156137625616630, 5722140219406207291, 6333876399162054098, 8807342455946814748, 30746839180724245, 15839999214953930906, 14672616982283739927, 183868620947975031, 9116762432209385760, 1690731133362897946, 6889157179030112630, 2506973357646393162, 4935412712869289796, 7707153607503937622, 8493843297455125739, 9816505413162391, 8682711865016404797, 12136917177673019381, 5891135333593092490, 13386716831408581544, 15898280793554568415, 809866851560266247, 7464830325771105997, 17484282426693495909, 17616028803307246092, 1701174577930261934, 9765201996756131142, 16014194618310543371, 10243873467553225390, 8052080198277888840, 6716127904959782091, 8705751894517071529, 3599752333794698760, 4642630127174386328, 6507072632426338942, 2911280382528458000, 16697001268110832118, 7053799329070709814, 7430150061441935507, 1168991756440553156, 4877095620574760273]
challenge = 5355453373410140923
