p = [3777561041576948801, 1876859665117628863, 13594113746179612108, 9468905434030984889, 598691232220955432, 8389357802446779622, 8088768527495202742, 3069750227565130947, 5926508055750840684, 17138772343868759109, 15117540530696840726, 6239529881178286582, 4867281781883843456, 18261789161716727134, 16529660838460119543, 4979867684187626318, 17113257584767847214, 1295202148070730821, 16903523039900488605, 8828978106133281778, 9815988270626006464, 10206004053263738123, 14136802529983407333, 18288763329972184495, 13364549276629739838, 18056238328169750317, 15860265048201650708, 14638966692162788708, 17365026537949049674, 8128013186762654507, 6666226388890152294, 9679317060595481227, 12914854555302030317, 12691627645855921425, 8776019330540054000, 4411602530981689055, 72194504806476330, 12451768883485124375, 8551252428661959887, 8827948377695156741, 760716405669198788, 18306289576276954730, 10709784914244631958, 11277546968786319667, 9287369830444940682, 17341908279500446768, 5736740133231201830, 3672599408919190462, 16725614555183843255, 2770506039396307659, 9164244497394260820, 7698515017048534664, 10884154878659059093, 14713146826784859795, 9290731812326925673, 7480664201376849917, 6370796126666873795, 4241752274365340648, 16664421448036787740, 3423648191930006714, 765530192549861060, 17937002870030605297, 7185679039218496646, 10562332444261900823, 1305419833890850164, 7793981956154034955, 4427384154282955286, 3057676489825984327, 2549312114640014892, 14804916513666538302, 3527293388952929507, 9797203850782699605, 5239407753908354686, 7974876579914987934, 17663328518247487242, 12024377473422294182, 1599736464387228861, 17026259426644244601, 8427979552397038748, 9776001383632887270]
c = [18166377200705761448, 17541387367485176781, 16287370694063511919, 10418647527718226947, 13903200193890303276, 16768464331829201327, 16671565973955308234, 2984582736251722230, 11545933332310811421, 11102775534591537571, 11851190681956315271, 725981273181204107, 6183233949096209271, 10567623255913117341, 11459731055478031595, 7211835083987146345, 12004650760631149652, 637801442398828400, 15935480502141230660, 4104979484361293207, 18143237264510038178, 18286364957332787297, 9001499482593561454, 1048872484337042076, 15229646201705143937, 4080749529307541389, 17886333105310738921, 13046629628770455790, 4526705311228579018, 3331794802315458769, 15926033385660566283, 10680246118359156634, 5630657705789044778, 8408418731100436651, 5120695154819866233, 12327888226066809120, 7212966358002400918, 11083987668048650426, 16338724124453347191, 15708612663658895404, 16159656346524261532, 13419248124090734945, 8174705277593583031, 8601516286761343415, 15145405298362255390, 1270665453148149951, 428169282805914856, 7880423328231607663, 9271625174046249668, 11869436177042232213, 2434398312276189719, 15947778211122278968, 1702510873422534833, 10360225143322699020, 16016000327768474877, 11078064044113161748, 6277412883605317665, 8814850388393988077, 5012161241131566975, 4945961979388327689, 14092386518929784354, 2420755307863699660, 2578059342109945811, 1329178814042748062, 6162262995964843413, 4716106957605032900, 10777987402738431641, 15525475744306735604, 13060954405752550391, 11861181176358772836, 12621319251032838576, 9131805535785354949, 6898995560508387409, 5883399774110569752, 7206086779639858689, 11595699004676816634, 4656500544965917381, 550580228227707149, 7014792048436903275, 12593403089347361021]
challenge = 6950717004960586272
