p = [4254481714602644294, 11534561102517227512, 3478977980544086065, 5984881573917676454, 10380794206073913613, 7298428605784007617, 3373808290540578456, 14437675706900081081, 9589198529505087745, 2290832295926220862, 9613138092826059444, 16355392341941447600, 4781655569783887127, 16611908585585024794, 15875431626732985757, 12405134905409693353, 2964405514582358054, 7695771286805846530, 15739761446450030172, 4268468352530294699, 4294065415169789145, 13845088151046589206, 16744720290229587007, 14088212786833242928, 4692386424381733286, 14511890457021444119, 11626515881102298359, 17600700451122125348, 8543786500850330586, 16899353463014108655, 16409345715209262812, 17201571733588425243, 15333949446415871344, 13624261851757967169, 8322805857039082849, 1455052434852899681, 9072342115970887717, 15944880381839383496, 9419243488793290521, 7518561168896683420, 9205314231417653511, 1172284187327619491, 11379915947015575014, 18382497005139501191, 15696691298550293476, 12578487439601421959, 12846108250638524014, 5925232073622376017, 4979429119796292560, 17824285901430661407, 4608551560956630295, 23371587006440307, 6370443250604039388, 9876643146171013013, 629194769319367652, 15759891906735755607, 1313550098948178128, 18384262764255163102, 9628737425480951768, 12471006861471521939, 5040443929227320392, 5650774730308809880, 1916835411342591043, 2261378086171478401, 3000595550967393168, 814790279930253268, 4790843017892959677, 11229886295003045355, 1145024579112966271, 8541793052425838257, 17794742978570366651, 4853870604344377044, 11934315524189325158, 15418966561649782986, 15264237595140227516, 11920682620055074025, 17693998650231196723, 13377546950216450003, 4853427858547217541, 4238151638537762140]
c = [9102329268347780, 11754575084955678742, 14820565088210389518, 17889927631445582816, 6138758795983594661, 12682712192324353963, 3045210562410812578, 14879012489384956239, 716435521054206783, 5319075928986059781, 16053407266713769339, 15930026776557409909, 9364287622111630251, 1940487658878567057, 880994650691111134, 15151414636271522012, 462852716172728062, 8523036898893542661, 16869191713586191563, 2037606759961121838, 5275318280672572307, 3164359378582407868, 7770410243894916602, 8476957287012016578, 7217007545051766891, 11585719476362973588, 13953193440140008970, 5300773667277640333, 15179757324396334900, 5728921771624740090, 14036289659952270032, 690725441783314975, 16127047297355313676, 11343724107846818060, 17012033987865253129, 6739825477751851724, 1962810888164484062, 2693660085913716388, 2871659347235627293, 15306116180175470053, 10039645932833987090, 14304663830215631314, 18137992140223966100, 2824310752715754815, 7627250528863116454, 2526006691078079739, 6596580846831653146, 4652377043575177568, 13836893331747074198, 116005051466145375, 16234079803563568029, 6733523300046169218, 9983181753905897379, 18195372737464446255, 7539307157981853934, 1524545906570169504, 16029752608278551603, 2592253439416327215, 13888120484399684826, 5082484123695866580, 4618518102743011, 1944916270256410727, 478105796598677982, 9918953906409521937, 25620604139867635, 17470448744252694719, 8884027055733473537, 11670829907387471746, 10608061657877491382, 17932753362586134888, 4204150733969183461, 12921205605230347728, 3137844465787358376, 9525872489234046536, 14323290338947370664, 5953938462056851496, 5520025053156267110, 7450570972911329099, 4968401876280994154, 372692790384798709]
challenge = 8559810209935167279
