p = [1819651448335135511, 4497916143824638636, 17406538868089924445, 11086695729964820858, 17291712524346326798, 1498141487400841051, 18317429740538545936, 4435112588570658465, 479867352981757985, 12217644243870167083, 9436585043238627305, 641608421526615735, 9026528599536596733, 1756514973239506776, 13625908053184914531, 1329044832136215722, 2415420510331863596, 9559048569995692651, 1756327830349967646, 4287491213146494008, 12532406540265155140, 1236439429421080730, 1601831764929791616, 15629527906299079104, 2157888389431435935, 15260067423389849667, 17806735995215953594, 17413988529384371990, 10318842008098806207, 6772469929506145690, 13534815616463243995, 272837673121483711, 14277100888764653259, 7599576950344253775, 12924624776771690723, 11386785401269941330, 8273173013564867961, 3173641073398185438, 16406818059932792303, 710461040960359344, 205376284193719789, 12367148805784841328, 6512662323484418077, 15071313908538753136, 7950450046050648899, 5507468406817555896, 14239712844816930290, 17215594659341458446, 4605751619054973870, 15078161550848124296, 16282496744596058569, 3470875138132139625, 16097804842868123280, 13548578026536874451, 2918434608433036653, 6753323350228567944, 5740493465693384808, 13093374812815248714, 1501680004545506001, 2402842742765158215, 10634120039910746623, 17397042234138651117, 1092472423401130170, 15756138552886499330, 9621071935446965219, 5059922635578920749, 844548867088557915, 6151034231884042700, 12391490580532314159, 9656226829943362991, 4995590641322129912, 704907753541208919, 6679899381906923560, 15931432122904458631, 12541161734019861950, 14598326856454741863, 1676263967674271375, 5157198630782267436, 3322854516639522982, 4105600113179660125]
c = [15097178444899310579, 510998655876410162, 12423021940734836167, 8299130800284241411, 16610117855929457588, 1802336563298046197, 12144302564901298262, 12767356760221393897, 16383938775011895899, 14436652033355560429, 17014557106606296316, 15967455695984296746, 10152468068795384409, 6526955239660337578, 12350850386697512016, 11021610967327455470, 17134147800083628962, 17126571423817536096, 7149086478880710444, 15091453686830590981, 8901094151041951400, 7141783231066367914, 5989467321813988734, 13829968132215403164, 1257693028036455175, 16751556732769936978, 14689610896808722153, 14560024133217771982, 10128929191680620425, 7252088807520716022, 8857322895087822697, 11624268532124309906, 16323432770161699735, 11119316597959356885, 3944978190742322547, 17530488698886840432, 13813373631377343105, 12938540359164346337, 14863231554985327743, 4275009654107929370, 105889148335103866, 5733188299614479585, 10696593501953693160, 3224394789774423992, 13680493549433639768, 11167062039841194850, 14650221561410572612, 10089477840826673825, 2907799719392808461, 898840421774841136, 12978471143012966361, 16139515968748077875, 13653234363822115547, 5257955159846315989, 9634260165017564958, 4545173993477339666, 2734959465378352858, 18158188326228551576, 10205001477484529807, 1838643876039294563, 4291485292643154225, 4018027577185015493, 15504177278804682375, 5208885782002455523, 14310009782534810882, 1096277464140206231, 11807115673729403363, 17623408547021412484, 5238532044734935675, 5705583348821955048, 15639592435899413792, 1627924200436022553, 12168917195824315851, 13824322564535090791, 7349639468339499481, 2423955686997145055, 3991936063159896867, 17179573205072174581, 3525687251061159391, 13630549136951628232]
challenge = 13244477440473175925
