p = [4961107199893552472, 8148194233792162900, 15629522065346164660, 11535552962682872966, 17944053120390278649, 14578653933952379357, 6071891026999124140, 13532471368682605989, 7453272911806005538, 15310774334611301367, 17918788686440612516, 10816602070609333673, 11666223528526684761, 10285112954647057927, 10693933063886158107, 13519234163069707520, 7176789691265437688, 16079584801655997575, 12369683006409431438, 8000851929972704143, 1876622570208410762, 9015289865903419036, 5275847948813103631, 12948184824334993353, 10446114867277642065, 6868975066730692664, 7960280625276975558, 6715344906803183018, 10734663677406960758, 5978173912841900979, 5790301640153538273, 14759851030018631013, 9711708841343071522, 14678820338521637071, 5802756728237842171, 4646417354270588843, 13007210154735394685, 16368159371233521676, 11739999214301627581, 13207312096206262085, 6545927557004004750, 2119705303327647544, 2851869124100342478, 2862248224248386222, 13225966526455818678, 4987610505073816435, 6724561066217703252, 3873578609105983477, 6012083979420895754, 7485912144998918915, 5006380586841015562, 17876103103444122835, 3606589638290810349, 11888391821304706471, 6849902319126919055, 12596363677288747366, 9866713299995744784, 6990428849706856597, 4608288582562642985, 9059745890990879108, 2055740592146407443, 11732559316681180412, 11680461353226635171, 10357773590446829357, 6237375335327793272, 13690024466132804641, 4452868679823700330, 10519894158144343550, 14597492024908127142, 16634163527354106908, 5589130303437257425, 3066395798994045229, 8083430522130645146, 14981071888897699468, 11691697102571709553, 16368158234621968246, 10731737009525318045, 4421117123386700675, 14575980001946800784, 18169079645900624556]
c = [15306104173329739694, 5450277568961089433, 2476904582098029301, 16800764226962596814, 4967351139635545074, 322274016298303324, 11726580699656589032, 11501236615898688053, 9228553365557965398, 1179687931831479863, 10623317305408215020, 2157679735830676098, 6724570404983542790, 17225800136096206396, 6768772584498778748, 18015673489818930079, 4069901939350405975, 2272006299773492473, 5619701429125305386, 7417242213148199763, 13844628560978833720, 12267372770311727614, 8215666418036238197, 3136495940411301580, 12148329198603727275, 15950629581565491784, 5571209715373936632, 2929117340756388633, 9520125347294343976, 15019267576655628443, 4791554118236515559, 14270167948349516517, 11420975097652544848, 2494574482855742770, 422759706844919263, 13063777305216562975, 14678763452705900849, 15645566135611041010, 3028885533161519273, 7137055197595327551, 14543721798204770231, 15208195115090008657, 4639826279141552373, 15474461008859465875, 10165342143515988619, 11805319957375145826, 7629781566679437916, 6918214423375268513, 2163016259059855480, 14397287514959400991, 4391405039783528510, 14024523639289222542, 13990955243799794976, 15860689780160860326, 12611447562604446941, 18159881065189769575, 15271709218001834064, 7173375168136278161, 2657042906140111907, 1768166266028640273, 13587226631752691807, 17314889747575692181, 6404392009264237731, 5940822217970360190, 3145363099787976616, 17503010512290337200, 8247381605685008388, 9352983807090785559, 10113087302410832433, 10982343003262345770, 1302023399845069070, 1830980206233377443, 9058200652005491563, 10853615635579367954, 3888267191534442167, 3792671460433956499, 1523769693328869052, 7466530499292518462, 1041766417524400118, 17941964390093733311]
challenge = 4341462416803952451
