p = [15308675885488808980, 12334447432390987866, 9735315270493384706, 315160219285667422, 733891681893714925, 14601655158303390438, 2172466414185744554, 11973418273594225617, 4831532992665828490, 7544923816202553563, 16270975405623743094, 15082994324416488552, 6627698445840085806, 11570124722508107517, 2330605613551953332, 6784381522366572897, 9899704366766390546, 2222316117642867316, 17953373785981443187, 10026691290982207164, 3832722667114049754, 16360476532674533485, 7506439340015841182, 18037682786850372962, 13285413434549701812, 6254992683578788481, 4128334283460587766, 15162069908499247778, 6827156009869780008, 13657153235769432818, 2439695511248044348, 91886858952730382, 11598425325963608674, 12878659550775176803, 6343964947349649224, 14634727797841397290, 6635873032113445150, 16591570188604181664, 1787725949725278396, 9255422678855778768, 9130354361994263924, 12909309818905995221, 16803480854876715355, 4594951211958441156, 8702066085164878965, 7888483644357401919, 12945746616159136067, 554354032722633610, 16186566910526890978, 18199548698641554701, 16608261758649319848, 11060814080124416642, 11061047284809643156, 16770824456795678007, 18160878260083815324, 9101294374560122527, 49598122394770515, 1302691558503685730, 2859363219744126886, 5368891771156993551, 4848631860506262558, 13864012668484309927, 5953419050649521014, 18052914094348114976, 6608581469148855705, 17645138046382284316, 2488661124520736801, 13212565360804397683, 11988827591866587925, 4819894810848474636, 15802243043471371453, 2086128716668392329, 154658205874383731, 1507436450346100860, 2464998864853943781, 16294099419969687703, 2046719752711646494, 2878697007131936110, 14511355190048025943, 12058996779947254675]
c = [13770027181875691169, 5507282865021564147, 9224856407358750992, 7894111494429607848, 7714476563488666659, 4891265306944052771, 17872432735417672069, 13430173823144037912, 2959622500760904140, 18247803487433998978, 3122808221565395529, 18147866770842619667, 11789119754629238163, 17584722680085760272, 10186406665180703516, 9563035481372026072, 4531789958401455000, 10001659494500040269, 18370847817166576093, 15137872623458369204, 2964189082444123585, 2200889852275602244, 7464927119794607482, 9449838137119207841, 3026821982632271104, 14623790614575936828, 17660277102033160083, 13267195655550306767, 1029783339592307476, 10851798760211835865, 13937937226511833445, 16454603955267446204, 435647840737361256, 13454460720533923887, 9665609529213284104, 778907314963695986, 3257905921235314573, 17567433556783697796, 14168534191684492863, 16463518299337286958, 15229504356375316111, 16511202422040209375, 16144262374010098135, 6965441434043033000, 12386378304014026733, 14745119395833195306, 15936798587867892289, 4924642238226305331, 3361385377123390644, 2393728198223180926, 6341586841492328042, 9491592034350061590, 3003001759598782083, 9090682031431881879, 670989033689129863, 18094428938874366757, 5785313741745698121, 16999353753737138397, 17128488819215168388, 11092779541000653887, 4606493039701031988, 1974005349405506620, 4592693518976922250, 2563890079838371803, 16460740208982159918, 495584080020005138, 5501955203898737432, 1028887300935555515, 1395056655199662670, 9224209128436576525, 7090307364914679803, 7451937764251200002, 4212675824848152670, 14681614733725951014, 4498173942000573227, 14634703401208386743, 409458959405088750, 16795913929415058798, 17633510020600218579, 10860729898429413252]
challenge = 1873681020525599169
