p = [12938120313353662184, 9805122930508186858, 5151273931786935172, 8326725795757972710, 4819589418034276077, 13400753169303013977, 8438916586378612429, 11610633879474269122, 17234703473150956099, 10014417234713135803, 9806115728365671516, 16498464059767412815, 4454249810697768553, 14655040040672166310, 15639902740744858827, 17452319879300447268, 14660365084837648438, 6669648777540390607, 10292069187944416482, 6503228594164667654, 8232672374608827579, 16445720855893010045, 12007701134564312342, 7096978433799141856, 10815609359131429514, 10576262416143505283, 11871426715777674877, 2141762959531628568, 9609500597715791388, 4237932570638936105, 7278900650492059834, 12665209656618824030, 13099931767683030379, 7666589011385271562, 978903499436667811, 11948711251526031714, 2039611834495664462, 9379434625576042639, 5491059313547394008, 12671503278969943825, 10016933511899458255, 268965780195466821, 15643810111643782257, 8290049671713854657, 16440365707544963238, 16826825146481228837, 4866686984498202347, 6003556018402889961, 17083984878479147851, 8916035780093258352, 1459191053246299681, 10584361802319790573, 13599452950549176248, 7229957786897697898, 6454077857934172371, 218793251828245689, 8595164954593248982, 9113845374761371901, 7806070417839378841, 11577446236313291478, 12505593961803712992, 3078162454830873930, 14572139236672541145, 2377277080830162935, 17095290718646979395, 12232188640226603850, 14817518814291847182, 3231763086045531490, 1949872260751241826, 9451688804937846796, 10021398022313551941, 14083400946052862354, 7676496690052420389, 14832338111699920538, 18426790451101551144, 750112425197516491, 11640207666970133267, 2958988987286286297, 3564449670202372577, 2891109738540111386]
c = [6825869487787083901, 17339339916960457534, 17029646362700298568, 3092289316144049055, 11491596855377120928, 8534623285407699153, 12980813514695502135, 10339801627594194101, 8520729116158566266, 15981041355771138555, 6838148539764464974, 13719631334112182484, 162173770110111086, 18335318410714266831, 11860088236491560243, 3009990792110525148, 13189473884475688611, 10518988935007963367, 9470442937675208105, 8182959259747802132, 16306640463526640892, 11455060082612496763, 2645698823830065402, 15674517573516592123, 16325918089692471624, 7286330802428525091, 1940678331806881422, 7616523049498716772, 8617240211060006023, 15864610890393621158, 13877744505420866789, 9540768511297294832, 10089208033566837120, 1988200669370592640, 15957490215696169188, 6323792303098275241, 6456568139787826416, 1613646226406475765, 2312131848589939094, 1600150649980441946, 3548763522503986865, 486850792131998541, 16590564046052854510, 9419213326400925624, 14714797098563187390, 3472360340017017962, 5394490313812202401, 3991537866959249607, 3567387705731173419, 4483847091964577020, 6351605478982450414, 7312814177678856594, 14313747602663562687, 14417000652403473489, 17261072344583596501, 3820837903022791217, 13626837012470310600, 4947369749825312688, 18053767351919581523, 13584071519113467485, 3703411663768541239, 1065590352190001428, 14248869579139864647, 12375692433915300284, 8568395554651078478, 5215723146227241493, 9498613389519436015, 16844672778583485810, 14448271887009966993, 8270879366812465838, 16205696090606300273, 2222966953839366262, 12701864937193509481, 17455596647344107377, 16157956574915772391, 16474882930496606685, 2322809756103147602, 8277087054928962548, 17751052594817072460, 5703320865985382505]
challenge = 10668415597335932290
