p = [12064632675865628097, 3013501250476841107, 15706857319243885176, 6480787050104187879, 3618736938183414389, 5578718654861753022, 9193158668962201392, 2335312798626388156, 14953597075364777118, 6747268725591427984, 14670934569711436375, 1284702822668742220, 5563926407822168907, 10008429125521626746, 629151824355663155, 10780146413642584957, 776234099623823896, 11322275947092159334, 10376563291655473340, 5886320339769957603, 16632358793703613309, 17734605874241736663, 10354606975091787024, 15900892013870331502, 6155598989937329012, 7197444460476449391, 13964756041319335290, 2801832140060536333, 9193026504971463620, 316318673546205413, 17774625844804880065, 13233506139046078009, 12645373682638364214, 18236459136237991982, 16182794058530079274, 12814061041794894434, 14147876048718627484, 2516374879050983541, 11282269247471708405, 2657353089106076163, 2639194612411876802, 12390413860187194219, 2213469829869058246, 5622606442780095106, 5066672525703305283, 15455635650428367968, 6949822098244174895, 12433915438402882457, 14561619685054699015, 3234396668543693918, 220633686790558763, 9992032832396437346, 2537948270762186817, 4948408677297246772, 5654854301636228343, 6925648681912654860, 10745904422659560678, 11959404333721675843, 6453787981012780723, 5737909037491278712, 12931811396177456731, 12947818279776412948, 3837030050672623383, 13951692874251944770, 12747664973452304560, 15033256429886705737, 10458702348006202199, 13895423523418808100, 8687703478589581739, 16789001672500734092, 3479339236795855845, 9890106652032928619, 1506078185774964988, 5002233568096242522, 17210382227090034110, 3389319689628875896, 4779698806641731163, 8142925945009030310, 5213072862984843083, 18118102366939478550]
c = [12459909632253511877, 8525485738394477097, 7359353843334627078, 1675662450961504763, 6793075158439412380, 12979376403041527065, 9827364675489746943, 2244401206549171408, 17454156968309984921, 9254201355363058208, 8920939627742841175, 2174176975786501522, 7256770848436581393, 514410969042360907, 14955550592620477363, 8656124495028064977, 17682637493720925937, 8144851238427048359, 2394272974415285881, 6554734765970936676, 6438955915096992710, 5983557463481595329, 5096991128092751420, 1377072925628281266, 17524143388277139995, 6903102395330855536, 9638892328009536021, 12557744062489827108, 2643347521954552285, 7004070556795960563, 6815846007235923755, 8721751599945955046, 17969630151219787456, 9487647130720810167, 12343993543853482176, 5172144668273397046, 5030932046345333678, 11108121199130548644, 12213220694015159720, 5579361523120594047, 4679634454043209210, 12246926369340685586, 17073836380147393065, 9678041052163739016, 12580566028525367057, 14911099871438666464, 8360784285043380532, 4442712181347935642, 10984645000498401509, 15251998490472766775, 10002554894229151397, 6287512780913062364, 1078199457071033786, 11463043083193243420, 1512307945286492178, 8574994006753574852, 9581065047657462504, 4777246375080767398, 5142466923786673439, 9899269842448826107, 17838465970873899348, 7181737165297914544, 15337729575075868987, 3739593185549800130, 9754980955544631981, 4089259854582286987, 81837562144735225, 16890527411875647054, 18373532201771803909, 2971027046849784115, 13839920480632706902, 4292125053706641277, 7411475369416625808, 11665305654613685968, 8014273644763176786, 2198801262979360911, 11928261818714128515, 14653176559944205988, 5690199053893561695, 4563604579421931690]
challenge = 2870666421705866482
