p = [5020353200630853062, 423282884559632716, 14620906098259795870, 3743888173033699131, 6857916268863636899, 7355362058070822304, 15674471708534171198, 418672043743454844, 2108729695521945306, 17850675375807113370, 3872609583066363338, 4783873201227958101, 17609531804688107915, 12567680539765309896, 2566357235629623199, 11063845022007825733, 1258561550980721535, 9961926737739084380, 10563275738887396602, 10811608843899135741, 17547117149881650843, 4028690587398564333, 18144208821165875866, 13609454999278975765, 4817735654073285659, 1009304705840517726, 5553354806100022020, 12779912929640010142, 36713760139983239, 5319395281938049527, 8489359302970610763, 9016367418700706440, 2773322605773420505, 18179881696530283769, 1561682469324425771, 14428879522429818557, 18407527088708561406, 13285982986936676271, 2341461769774797205, 6047437248041121362, 9998750580053782223, 7492489040685093549, 16143900061846975910, 11499567193974437842, 12017624541090732116, 8881125577737846431, 5814541518077895393, 15248890691604161369, 11791682942848336324, 10813472665366508340, 15603426413427704363, 4815639722459875783, 293862739821792251, 3490239981180942063, 17655726699600884984, 4690217615478614904, 6257964539159421391, 12556322112565475430, 16443791752467136673, 1898993668460821955, 1620994488591629648, 4556535533261329451, 2066868948434046715, 9471032878182737276, 7339633480963245980, 11987937907092684556, 13713284988820288567, 4433078714283044587, 3325322855758405708, 7279170659176590530, 16583927926337995133, 354855523578479886, 14840224485126281262, 924577521026294664, 17237857942660388699, 10594127558326487750, 11475565851197461908, 3702951369982080703, 10320386988250109643, 3167322309236908324]
c = [5439014974262452472, 16692698298195380454, 17473641847694823253, 7314141236840566099, 11212585628037781727, 14154031776123393077, 10323757809055210684, 881581276563383514, 416427079208165083, 12254083555061066381, 302617981547959709, 6935388119870988006, 17899487584229171879, 18367602653412956448, 13932518023052245871, 13872671519688430152, 2971758620809254852, 106497418790587122, 17359656196057053119, 4772289245067556823, 13958209782006068574, 7808199099746037307, 6842428624658624331, 16470850179279066698, 17402376563453316693, 11807252165045617586, 16615680948062012258, 5765938889287926316, 17138243858729035532, 14300617082939484064, 5621874746737172600, 13493265193201496721, 12982900630118497800, 17514502335281416893, 3853936690986662270, 11735734699729317555, 6886544575120546986, 14792677003318888692, 17083628977479568842, 2452720600552879548, 13230663119230978463, 6806795501058433638, 8921831675435262892, 1654254267778250093, 13543510814693698919, 840908848413501746, 738001200969828538, 11400034954283603349, 2716836721709392770, 5436672818196721732, 12676853921735871534, 8536154912985760098, 4434206115602536958, 7183433610287469921, 3153487317984146902, 10234007033977620942, 8140717924236162097, 546870340743708508, 11951048629104288043, 2633910964177283267, 2414524493113456147, 1703550674078105552, 11511798858907622806, 5254812094622552741, 17459110355099700238, 17472591945200633702, 14063268271937374737, 11231902135684973674, 4455170820279610354, 13306926243108327845, 14712889272835143495, 7570976799234493544, 3990101689777748815, 6887147698053393674, 7173457594731918092, 3238003357399181277, 13695384677927388552, 17326452639501931421, 11565296383199638168, 7788619185746969909]
challenge = 4113928909630427823
