p = [9551587617655435941, 2563081321605497659, 15644634803455672839, 18289789735580808984, 1906873741579287329, 2442981803636323865, 4348809236097099438, 13052163815816536347, 7476335064757162455, 13747718284687235389, 10981053326374807106, 9128723977963633854, 13895702931629923686, 11289265301943665188, 9527546008633274617, 14882780966575734791, 2611715704708204259, 2622931990657547074, 15785605554929489128, 7441051925532486674, 12345984555105470278, 2730990995271579943, 3669127432676486174, 16293018152349384991, 11056522017919519127, 16030652344659052317, 3498732191580360995, 9916136790150055639, 14320291133982264681, 11096875473919860893, 1785908391067157397, 13127229842263741621, 12054096171458655380, 18299677835586320827, 709581035322956479, 11330725319976497468, 9648124028737342571, 7237636712891580212, 10536099206370214587, 15670860289687646195, 8578128921910470841, 1269732830066801604, 4424863416055819823, 17851315425243231359, 16606332345251825888, 16447040448612321398, 11050144300898218648, 6951158372772160695, 14096777026689827831, 7798223734274641775, 17641358904204836796, 8260177224691687463, 15038868357752973166, 15247685354058180083, 9141952203276485955, 1783962450041193856, 5843960084896532059, 17971773274412235374, 5588735223759041796, 9818724085257283589, 8945468723873663365, 5675374927000816306, 4408499297607690918, 18360296502461357197, 4469421262035991035, 4264034522971607790, 12274792466470474984, 11863701915340959605, 11320352599025730608, 46361751673773041, 4148603181771135757, 445840365771520029, 14327591993701205800, 12359841531645210310, 13921429346580536742, 12616660438795039707, 8947013652309757927, 5327726766735507678, 2743207157368695992, 12794464534144257139]
c = [13181150621384762371, 11834902144067327010, 3371210365226450236, 4713937527471520125, 5059022923939590029, 17501802433623701267, 1072699800947119655, 10396340167431900012, 1935057166461175464, 7948454343635047596, 13142006144601545249, 6471562774821032032, 11757159951280825166, 9721051189332043132, 16694331955875373272, 1893293176331588658, 14653233588689169498, 6806863698771724476, 16669906581431439936, 11402659708308202347, 2422421898012805682, 10318953006968485234, 1827364315473519370, 1359081541821958175, 6473971925053286851, 4516500173025401112, 4061837738680515444, 16585379614058103934, 18242001510999662169, 13572721944071562237, 10698110741490051892, 12557592375004809788, 4605540080614152318, 7653176907795119128, 6040480771873615056, 7941103958333224787, 1187757668369453743, 13820331142868787453, 17452812657302991951, 9644346826226567015, 9129322036338699005, 10411418072363145201, 3490156160340617983, 7592443878572823431, 1162001931097346601, 6800570040192331773, 599632455739774883, 1997000954013035361, 578375791932331672, 8833328923595299817, 1255186525406162586, 14559183205725319897, 5372233875756073742, 4631370435713936770, 7849867589717282545, 14999558606504741089, 8502902790665873739, 3049542606659578542, 5265131931768502223, 9687765999162231942, 6460930330943601212, 17001459117118558827, 354437178988347338, 13817602905078732448, 102605587320441206, 6444704151350811061, 12598854928712033174, 7135247961509913376, 16678387802917915861, 674277087304417900, 12213653472900173462, 593142209285750459, 7317153577331819971, 1985924036831155740, 2925227080326177025, 3184435912864514912, 1417189627837623680, 16410976265420000940, 15432641656946715478, 7502656969844767890]
challenge = 4616881935981842469
