p = [13177930033872789440, 14349930620607891955, 4340539142844754728, 9122505623221255830, 2558277431624194608, 12990479271155580362, 15304739961105718294, 11760120365121780647, 8947909477861197623, 5482006863613452367, 3749298035547545038, 12903226335922910383, 13939291468972014773, 18383916371134345778, 2847962995918376031, 15744156873030903844, 15308734468988338596, 8712309180351456865, 16079687571269648198, 8403054873228434002, 16356991367896744925, 4526711545792720071, 4707557975220436464, 9258199481474992657, 14186287487723450821, 2020642284908834960, 11926974785101814862, 2743590836062310455, 2426533132675745147, 7578697591903811918, 4980199916380164416, 11354754421807263672, 6549834657009074326, 17507956568063362681, 8678187844958432727, 9254225060641251965, 9707107236889995266, 10896408251292649912, 4338798176578659422, 12126743196404275364, 15507705255144927522, 10692458851928150538, 13695682826395734129, 13108406886150160697, 2758357439108539136, 3375462543488275236, 11910257651156156106, 7387324397530155540, 1411617603564975534, 13768857117384057551, 17623993470240338995, 1344138130354611142, 3112857393234576922, 2548575956926560716, 13471710371161449893, 10993566315383424737, 5822278417912780009, 14267822620330451900, 14718287661052589614, 5433763523160187634, 8669729845544416403, 4047573665370486828, 2987700727033237722, 7962571781988680876, 15969690722602392592, 991296114148219624, 4774989768134332490, 662734781822697177, 6064099920298775043, 3459462463760031782, 10026513586910625105, 1480864613863953796, 9701030898795136193, 13282007129684768794, 12210137102089698469, 17449786667360542649, 6935941611607607815, 7601253200167540707, 12077041469531289980, 8191179259289306095]
c = [9469419571050232240, 14679933044726285561, 16383685762476924875, 4369237772349054977, 16077469260813685298, 12144645650001958743, 385518916931696880, 5028530892389570966, 14428679575950985480, 6494678209366798441, 13693588438936611390, 2970127681133115471, 2083340396115701819, 16589824626703801495, 8687571160570866821, 5138349167650268451, 12586629580704899072, 10600205491516299602, 8955975279052515370, 14112762116734759482, 16427795968835961182, 6280168352237743833, 15520042786155829702, 6620236684853509377, 4717044256606042739, 10569375320834273924, 14352457567925651283, 425611917762939855, 12509394249864286363, 12222567825226262934, 12773897318689883802, 15420936600134147720, 10702373426190882327, 16938906711411234967, 11197227224814910810, 6018331365527981711, 12120565555795675743, 17797733175464962979, 12540509568354580887, 4701484150521670722, 10282277542076119550, 924076853630898140, 4383773877076147592, 13491698846339744367, 12731040926285854959, 12844724030065166654, 9109210558760317768, 4775485796360134387, 6932656461767373879, 3255120329174438194, 6418716024301551374, 13997964869581641549, 15960324752899390477, 1229918933812515157, 3048121756857028708, 5156834181818813585, 11167160977753822998, 13252337848472211600, 5082052432286196185, 3751828377381999651, 3886737436624840006, 8095433763795797089, 5476460584089708425, 1156719696255128987, 1865216057069124597, 663762106565756135, 14382623601179276470, 18089460736165223108, 10505245998299705112, 3836002017186902803, 2978159653574521629, 1832016460823647327, 7017188399289187787, 16107863900591685855, 787788723974596292, 17586057901520677371, 6663549078703583210, 6910567052320585567, 7876977736144245184, 5997210844246872852]
challenge = 12692380280833889269
