p = [14640144060975450479, 4831173033222026009, 257209471141686912, 1201418119424267613, 2829669774263565058, 12698489189990319221, 16162054297178503119, 14836678167607197622, 14538873252353335586, 4278635592233271167, 13214592079594045547, 16753073844643340615, 6631087148998869370, 17949474533365636180, 16916602584801441179, 6030262832336444870, 5400917161589867616, 18141437505861894632, 2402309850540953275, 10686022481612006301, 17819001928488510243, 7502823918126015538, 260270054467844098, 10195866729153749078, 11088987973564023472, 5541809114342635761, 193278774953600484, 8119016947885382423, 8455566728227147057, 10347802580046731487, 9934593544657944028, 13829911505456048486, 10142699098300004526, 15806013787224765190, 13622775151097934283, 12842837188711446330, 11118189874871183355, 5576143762352132674, 12019566495809707189, 9219030850457371285, 1126608235833716131, 15753599583741125379, 16321399265679332282, 10514657850763096204, 3855204172254984478, 8438147641974288251, 17570425327321251933, 8928967313919677893, 538644246351468485, 7217840066634746041, 14053346098076872166, 8452728276483343320, 10411422472299119869, 13098143032767587486, 8256939905369996054, 11642501725219255641, 14790894743743950393, 524713683242696259, 7081992800819751392, 14417432490578225133, 1909768245305493595, 9874914627370053050, 4291601024337112408, 3460089287949102371, 15612535183550990812, 7314327046153382865, 8219518686754075577, 10490568251124532951, 6535076508381924351, 14909371497785136887, 18097240899666205846, 13428642534704418407, 12444358528020134217, 16548232084945602492, 2909678431112025766, 7777290094069966865, 1471755567392492600, 13412512615282960697, 7665225028543323716, 12968608138126899043]
c = [14771961564522343751, 1750229453605408833, 12001239083829360692, 10062117876747847984, 6394975369335380187, 12915778999396749510, 16320967802421835265, 8169917203756118028, 15291230144735095721, 12915690266410832267, 2684518369742350063, 15482353260188713785, 9404908133176032419, 2885224439141078778, 1140739068508061907, 3014890730341839231, 9543966637243240502, 10903848221130502371, 10176068842389223029, 15971477307861305957, 1581950789516622804, 16785958901143190948, 10257990461659037919, 2114576575111096326, 13811104810256297236, 17067507219133377862, 7581320092912293701, 11439377633383373870, 17689989455313569275, 2095108202164036537, 17594397270499161861, 2721297400494780041, 15533767522271240414, 9582136648114549138, 16318907278921738018, 12061361232432849318, 3936536926006920801, 4271854121437696768, 12464125376053279865, 16888948959052447540, 14642984691548753405, 13385189670645737755, 5378919817463126060, 8868461671877485620, 8966601046200182896, 15507779762124354658, 14433294013043916716, 3563492479094788665, 4195406202935786631, 5371281246533804431, 10497617520227321249, 449206173193960844, 4338605181694677758, 4876285002610513108, 751980369355218752, 9025263420048697886, 17497975615774993381, 8867259470977292346, 13906815057488174146, 7340008406007041999, 3415576198033525155, 1531093401241158822, 14421355323365346441, 11540639797948474537, 8118797872377709062, 17457825387360948374, 17640637288814599567, 8232182381243876058, 5431121274483015535, 13016039499448360596, 10245287138786637382, 6044714523712208866, 5851757929844646622, 6991626908728640284, 15478610954956394402, 8706537620032644600, 2882621454321199332, 4172105674176623386, 11970474317079133129, 895135324791061570]
challenge = 14711906104223699742
