p = [15085969900389894794, 13106555458804819363, 1246992767206125872, 2081896640350417979, 14381651509259358227, 3194570223822514156, 6749889592789411099, 2560994059266292546, 15507784075683543443, 16207009312692128044, 13032089406367285148, 5309654701943765267, 13898344210518613028, 11121707731260907474, 16646702723097079404, 9939277324594767120, 10199528187250781338, 14418199681915681487, 5639002469452794248, 15356977418489404081, 13472024326354429915, 9511848779912604090, 2351424605507293793, 17857557806379445578, 14398221514189874087, 1785316491097001116, 1411478118163557101, 13258844400024865146, 6135292081528455386, 17314249360927960096, 635304155678071966, 16198701920805145801, 12137916710376184730, 16810666641671850232, 4321044926324770618, 247385445368304997, 7871740748618582205, 128254172265889189, 13827163718960583928, 1288511801345260992, 4024712834215746295, 2672892731657252143, 17100979363990383477, 8061694236471188903, 13227454146942344950, 736925927292197478, 14673018412742163833, 15392972112907864846, 5273215727046733667, 17874790315936185577, 17011265200294756583, 553722844793871081, 13869955147460451577, 2246663571452920693, 8672068189713051722, 8571812839488113167, 5981113090831219882, 8225029185610793771, 1275103362432509118, 2688408477706215992, 4342744347211988985, 10040180187105294671, 146860346085984186, 14028037193490055129, 919854927914654068, 15911746946598637680, 8613662455462241111, 17760764119436366508, 10420117082303134416, 7479665721423589606, 4312316942196885291, 7937635928487327204, 13129254960709800580, 6899896359437918846, 10435404976254858190, 7069582686621637487, 11882840017361461069, 16433182114258439584, 10346658704045875806, 10560401272770623736]
c = [10320996350933825406, 1883489268932689182, 16791433868107646413, 9522850916248664085, 4807483855005633869, 10194234272676234647, 4941192274588667081, 6033759787100961921, 2373363260635180151, 7004425083494978063, 382351151264810938, 17321116987024519015, 6916108441286240550, 320362536194289627, 321395238352615554, 12729931049181311890, 3036508189303195123, 4324148039094454548, 5643531579280522032, 13531460664274548045, 1173359775761556058, 5182834506010143202, 741962903370796525, 12474336215285571237, 9453576702474094122, 5997933385970644180, 16386963446237323778, 4808385221554470398, 4855574852674093958, 7577887993958970243, 2384369873888316184, 4406369760707427582, 18038641718761971241, 3900044325108677980, 10480051458448183829, 4169253545315757308, 4757075858158335287, 8783189690544451983, 6116602522816844703, 1721549870913720494, 10630816171783219255, 262612335354723722, 10390113625429758030, 11329987903905347211, 11683097770226141241, 8212328569603548970, 5737026791173252947, 8975802360119776083, 10575337127513721343, 17170342176466233599, 13435544078487348217, 1315486027990556861, 12188498284173906601, 18233984882239864189, 7162681517123284001, 16761351312026876649, 431871543877139967, 389899584216770163, 1564821273627301828, 11323166961878113588, 1493450204677592696, 15864915818408759477, 4425162215280284509, 4337451894840719887, 9604145188201443540, 6073209799286396744, 14891910903983180672, 9652233608781922048, 1217182882409342576, 6524053806593286601, 2472215862345907357, 2787696461153564648, 15572519553558720190, 8087873583660233750, 10315271834510067615, 12450982827348437209, 1918137822215339441, 11877055403888970984, 15188982690829473228, 1199141639392087925]
challenge = 1493414509437326291
