p = [6129284015026843224, 10193111639665974737, 5538325200893357566, 5877116402718928961, 961211534758260794, 17938703914278819472, 16013133182290074512, 13670177113676457506, 15935362968130574916, 15693813548439970579, 6328353232045841013, 3213534106528321796, 2966520617044900718, 10318350993875991454, 13812991874243476086, 9283467889388520969, 2959674854605596377, 11134599763074593639, 17684118105383216341, 8531055888984463191, 12334194656659432984, 367336727667773892, 10054872830853404234, 14831239128465244976, 12674238595790070521, 4332926941780394969, 14812182750119640548, 3878775831047709181, 12643793466281160618, 999944203421228073, 14336717250427584742, 6718398605564159106, 6676670990270655601, 3599120446425392273, 11528180183045274332, 2607581379663348653, 2822798039969039365, 14145647605118938243, 1107903998829724779, 5812999494976564038, 10301184657625271575, 5295478079991754504, 11069578384165749158, 18348448643622667067, 11098238604995357910, 13698922737597344357, 163362746145249513, 4647809081020065597, 12841329964500208379, 1510628596470940344, 3602558870150037035, 12725661814707456549, 3791042186730415686, 6137259450505416617, 11272174975726554515, 5533134741839873603, 7944516644049108023, 17351310922413617404, 5945912298892643784, 8362157613381718384, 16925117696254255050, 16560917459715832065, 16517424308837145986, 3822703854816926905, 10572085115704383490, 16867970368299187371, 11426172812176085558, 14423277745563537992, 6955365477902836669, 2736687305520151316, 10518818478265970647, 687763440912279990, 6970843982014229592, 12657167444844718303, 17990129518235150607, 11327902911281857348, 14488656442890693132, 522225773285890481, 11035511287528448833, 16137589800012507438]
c = [17623385274170365145, 2865392612928025137, 13716200282491354147, 944028639834954587, 8652441179246463709, 12083950752811830767, 5026208176441953027, 14330242001327820331, 16170402404497563709, 4221249007936895934, 2886965484009520484, 15342463472162746946, 16183848593972493029, 14925945250985351666, 14645813788483640414, 1642540300184191456, 12030106018976414313, 4330769796243581809, 1400520229569398829, 8094194906464313595, 3275281593480361040, 8891263402117756166, 13873463589730869337, 6699303138505570326, 10690034536019771119, 2686785750872192856, 9146269602649120015, 3539845538228102494, 13211309827789467975, 6058848424232127807, 15063442447155605268, 1844675435799019865, 9375055272914168087, 6411193571535645476, 12435192452523453182, 4103615030057624783, 12153261127741192164, 14732910853561442455, 5572221135655015587, 13576952061009823053, 3292228522177851884, 8435974788632297603, 11867063720931240079, 18224354368112095396, 1117234485073778087, 15977317668351837129, 2167663912899148469, 11058371434858790557, 15130214304537965953, 1305940496231129037, 4076790688762133745, 10594226512265831369, 9791670528965002365, 1588173557551796975, 8217702747816216267, 6518630322239162389, 10874512163511719021, 3216521174165743627, 17330143395091584646, 7291404117053882580, 14316758575768305134, 6645235555315297548, 4509151794621378048, 5972510814547669036, 6946877678745421690, 5815817580667787946, 4823079015652850060, 13328749205562060434, 8003790099211152216, 7160343513298241011, 5256612976403811793, 3707622954883631616, 8223608919521677880, 1375123857417101108, 4727866578597175002, 6187676190842902958, 9704868799026195287, 12801308809841697918, 2129021970465874670, 10434334331777950352]
challenge = 3414750638411159349
