p = [17994583934378833856, 348359553300183548, 4991690260100519644, 14745830190598211823, 3428390648347430471, 14746433903801120751, 11820950498336864338, 2429269435613364711, 8365131331206462544, 3530642154506017950, 3212818129551393346, 15000213121054365210, 16660283119695676372, 4409468062141799976, 10907905534093654672, 7404689626263124266, 15898169554530703594, 3125899849112450974, 1967515293175016023, 161807706964363205, 12892761687444789316, 4318204803693993142, 14649790294028301425, 11854618842375626821, 8900791328746706669, 2935916226466021256, 11738596607414176111, 649647375103117731, 11859828515311924691, 5355474438207941305, 9358085391168177918, 14850483571246086183, 7444410990682535365, 7599495867069121359, 2762512952957502095, 12600443058910122767, 13821856077019192370, 16951024677136563300, 5043831939511253952, 13921278585060652610, 371448196739324020, 12385745630910927258, 17648251661257438419, 8547110939895027257, 7068880624405249852, 6294616692317317970, 1627958408876615266, 2287728005554815487, 18138734577959044976, 14919567873692575431, 16810812064748148187, 16787317934965842679, 6827879909158238951, 5255213632377609711, 5403582194146050150, 8304094787042034305, 10365452625027708163, 15740886730700506935, 4865272469537835472, 10312499779827124270, 36436890035688131, 15201521990433096704, 5322970144129297026, 4232551883621105247, 10557192261577080368, 7770182501017207097, 13401307390968284564, 11479950680518708673, 11583880239688319427, 11294425193445986174, 12067263358169865794, 17653567767658571205, 9090463619294500604, 3352335936572605168, 17653804512266448989, 978125283565057430, 4574956808426255446, 14410318991251091974, 17360927598958126393, 1619052591967240809]
c = [5431592929221222024, 7662157947461727152, 5416206225040727141, 342301217147020826, 6835618796604068271, 3111710239751210243, 7215252485948064491, 11633279701093527235, 8137696396536352416, 3286503461831731705, 17298886918302965037, 3811443767661686327, 16910745992635034759, 13569671227982616073, 2310369993990121856, 12469698480241741184, 15553145007991293325, 1856744788235733604, 4621540652477068018, 10969906486451313226, 1176986407968175609, 10175625967136959685, 4281642189879815938, 13996498315563830445, 10423792335062481531, 13342245431327419772, 12916084990134112249, 4838776204645992328, 11170414895577699029, 6961962391976898569, 33958526757389351, 3633595880856945986, 1944743672152020519, 276318634777800364, 2113883723038552796, 4690093823747351826, 14626654433977640266, 13960159256215231773, 16247864223845001663, 3742784645355531066, 5374649236120959891, 1713751106091729921, 10570907612977271604, 9433386929764277878, 5751494409941248741, 12922297456882922789, 17991297577432990547, 8331597058367942853, 17771220169289710743, 2312620046154259542, 6755647086565589169, 16594920463235681854, 8978349494911349176, 17380994008385326677, 13469948184743524149, 7652775718925425172, 6940978770751497333, 9676507543840759648, 14049876717758437385, 1042551676802246495, 10975121453319763187, 13912110703587295703, 12288268100054453982, 5974597930542224356, 6513305383646532408, 17139729304792601755, 15838529859310574594, 2809101328811911513, 16703248101290878738, 15548868255738019111, 877825990836426715, 16761054260215900087, 11663668141897158739, 5549251129147015411, 12562003090169443628, 8235233468003639876, 4404154328497812009, 17157554805099321114, 1041324852345151581, 5159775697585816429]
challenge = 17855310507062849263
