p = [8193450682567182171, 777470927428344144, 10445365595694686238, 16112558931404411578, 7228540677296622197, 8140432298887877100, 7767235876328242035, 16928994705350333730, 1809965936843390810, 17323730782050270025, 11132492341435701093, 7301818949673789284, 14469328968089551749, 6942887450943937576, 11818672038632749377, 12833677176853708830, 5585186085865011518, 1791964792724500003, 9632932993896749734, 17072021593224832593, 18236887164386497649, 11038726092835875120, 12623894307576283794, 17740248180999016960, 15035828801452140542, 4773823398493460654, 16572371356558838915, 380452932184583921, 4703244271457721997, 3522805726789374454, 5652727076863789547, 2528951434583007893, 12279881344491019156, 5688769900281366287, 9046892852836278729, 13532677822387874402, 1644021471080383759, 18038089970979768913, 4002378295387903536, 2141010938598969342, 8818282747218797909, 14450401222520832669, 1935991678376313537, 16884911439590487940, 13501182952991355413, 10952523838707763674, 12145303141754911348, 1236286130289464046, 3374769631162502652, 1754858679367053200, 10562212360847395720, 1367475897560324717, 8783266848653027703, 12500097677792751171, 17709115266591368608, 1586518897902687363, 17381117365175262745, 10065049321095119680, 473917325795803982, 2132013508144520892, 6867381893217490519, 17105974457728862167, 13109897546525643053, 2630147384962750603, 10524013844356837160, 1956981983325477512, 11727251592544153519, 11665641112172931179, 5197934474986216864, 6500683326190176099, 17616815267910201083, 13977178970653218497, 5492087587746112726, 5158672510553244638, 9586177951157407687, 10437241439943698588, 2940736007087631033, 465498352970154926, 13126243373828900084, 2112244430841742860]
c = [12846880282686017518, 1714111802128057651, 5001799089903473542, 11765125728121661985, 2333294540409040727, 9340504056438362516, 7138592356941274734, 1237897378907921294, 2791605333377403516, 8661882650572906669, 4143776413990929813, 9912371382155598665, 9252420505875764481, 17722159590265670756, 2817375077063027602, 16990105506695257252, 157799131348400666, 8874773603460994913, 207564777705304900, 751565419029390616, 2360889653955928350, 6891518315303884691, 6862877082558817591, 4121426551660534795, 1340073988071081579, 3830831587766337136, 17569560379979540406, 2581002174200411162, 7095483875854050489, 10846078284425561449, 145352535047798823, 5781002711070160564, 9277731312796031278, 16272908376060159773, 15734548734060977268, 2520158584942950873, 16417459572535692110, 1768025541823631837, 16686657642592325074, 14059701021191738941, 7226475889509568624, 12744095517785094424, 9568897622346046850, 746496051537060125, 11613022738554549762, 844082507767106263, 1515996412919380308, 17319135368069228308, 5842956031476738829, 3868453462738645693, 11100499352525989764, 4575970482512254891, 11209846244043167756, 13607413533358108262, 6771441220792339829, 17053236680641006870, 17310598258227882060, 6947746139621079970, 3656265560307826568, 15399751358651682695, 1173112988313629088, 12093055108644968809, 5278829946365188084, 1250353598644503220, 1727219909270727402, 1442454230783501349, 5807127984545896623, 1141051014773401227, 5084027285801812683, 9564053540539233802, 15571077564348730952, 4759878725250767377, 10401658770407726273, 10832512379808767147, 9175840127914054618, 9446442712566207593, 5989516687460810009, 4283533575138989374, 14150589144707119302, 437454998583298919]
challenge = 8520832475169777259
