p = [8586322002452966681, 1528148962208106069, 2170351082258572808, 7134532308302682238, 3116883427409271642, 1493060532447492763, 4969213978955999560, 4778966537249836153, 14132830671021449206, 14102246751753648948, 2612091092203387572, 14952965007007338827, 4818239337805294881, 14260804763689943603, 3000706124997755243, 12793138017685190762, 7364731742432424141, 4476758299347670805, 16627055811325094375, 9698760015402529919, 15051798212375403046, 1851681026933938005, 4430255308534411634, 61575748237849241, 576317081139454483, 9885835311167323107, 6127356086258562056, 7209231920048351834, 7195858821790622122, 5467149996965167433, 2171105831184976511, 17017806449133930543, 1000254037451102371, 6591313583057745746, 1508285664126316905, 13552948727374307030, 13070986070690115815, 13230532891934393931, 16537056899836595625, 9629787598687695142, 416650931834190966, 13977439065625687716, 15623661400260694749, 3307641094097890632, 3166779484298637526, 5202240966110094821, 941149691158542410, 2676838965826037227, 5457005161362155801, 17826994802466195984, 308528243243994973, 14974410934201289083, 7227091838173908487, 14578948154882709126, 14358611165917303114, 11738890900867753063, 7324138568462618992, 503533642721511581, 16756644761216738990, 9588343180275630204, 2734184645215952767, 10273017605298540704, 13487757512355317822, 10569887328805114368, 11119469181994133764, 792702924800458537, 17973582701883043291, 8153611519009798411, 12500551140992668426, 3582434062093023566, 1047154854627889511, 5302454722955806353, 10263195048931395630, 3702984128690576783, 3587776955341715250, 5919967996502477078, 510029495166347933, 12822431307647902992, 9180864947750493074, 9491764261879746194]
c = [14618875264850145267, 17128946724856367378, 14122103338476213136, 5197983783917265247, 18175990191578003910, 9604157202083518011, 3200342880496100605, 15588915927934492495, 14732707164277351120, 14534909258535133233, 16191402872887305738, 3342056220882895936, 10650925798147685343, 13416854794162721083, 12378676941720209664, 14438492021345468154, 14352461057296434125, 9814021057098551514, 676899731836750850, 16427983653857928508, 10414341856349408966, 1745546724954921363, 6323045110713486743, 11263293056309725283, 6706471747776522798, 14664045199335541717, 1325808512439602446, 7625384989790820519, 13273093835251471777, 650809140128454323, 584567222000090917, 12399582780393771841, 13014440303093560202, 8835462399367983258, 2156450151618110978, 11869365681755260824, 4360296759243268586, 2479357644474080608, 10400132265796196229, 8813787045820384959, 4455753543204587363, 4548404162440924174, 8834755418333979369, 1103096206562164304, 7091703444503715447, 17644278566971170023, 17338231933568386893, 13452552739989796908, 13350827021710222628, 16525862798303923260, 14498133168831533019, 18443009903974056139, 3988774776797125750, 4941593567156944785, 15761513019861152153, 3588500438705735293, 8220581084274789204, 8916366207837867874, 10773775785444313085, 5950662440362835794, 11839887764860101257, 9198598656429636339, 9950826699545362449, 9604746157975516627, 5296834698278052588, 3019057690730202602, 10358105365997898574, 15730977520202723695, 12546739627192543325, 13653041899305963470, 5866054356524386364, 15638478411010633319, 1690597774464849749, 15663544624627779742, 13435828531054717403, 6690753701211930834, 15682887450578148354, 16569276435866528429, 8630269086513758564, 5612057351275330459]
challenge = 15803284508479205963
