p = [397388084809022653, 9512662740954151361, 1386700380461445146, 15517288381941547667, 8813730159814987115, 8258273556594939207, 13905967239340628742, 17990322665216936781, 11648140799458365709, 15102276859471247190, 12231640180718872890, 11872748313691999598, 18364515556474665041, 3169156439215717247, 13154251785536770197, 17442852580501150176, 866683629412453210, 9834489391914256051, 12461804313881082991, 15348483910209967960, 7463988732922995592, 7012262318202823197, 18374672076158117021, 40920305507104543, 14786332276141859953, 9618641460002500119, 746945965662488281, 10017639748472566935, 8880189544008245837, 10883541150560034703, 8707501535415774043, 16792753209901948176, 10372663858200208547, 11783511778750362207, 5450830391032110689, 6681729760538182108, 11901770077322073046, 10831194152226410546, 4211609457393156535, 820792603911353608, 11593701162299677934, 12649515515097344201, 7728640559985800718, 2361655781947526959, 4330099818045264402, 13004050837999464501, 12689956866578125196, 3931458927424846226, 13162397331215028167, 17885788742801311270, 14013382885976782878, 1164554991487078243, 5958170694685527252, 2759866804299963928, 5557602387876642106, 7194655789292663150, 5008567661432622098, 6598077857916158428, 17487763716030506397, 3175779898493442653, 10671514409878725428, 2850842562055972953, 4695785737323590456, 15033525056633344231, 14335391992975009219, 2811451215843793484, 11186085536480715250, 18417960469029027546, 4901359697761437960, 16081351703774146411, 11434912023499136503, 14966860145850684198, 18246830908160528504, 1928027415068508905, 14063027087999835855, 9356338062043516549, 13247963696438399764, 10213275952735960948, 17942589998767460168, 11972062034483228226]
c = [13183687840049732944, 11761602784857457558, 1817473353166024392, 13422253257628900739, 11938673196216431192, 7967678122035594827, 8485424544498911581, 12713362008237796414, 11852245664716629846, 1283035385786847038, 6337437612602124870, 2160756058888303130, 2308432348834180139, 3360428608637101873, 13202127286769635366, 16268751227518404524, 6623283412783504586, 5514641465409601687, 3397739817663320677, 7434080348522331213, 7010566241687192520, 3935272929198779168, 8009788815345784828, 16870317375958343827, 14766732801873939155, 10974056067142562291, 10059748818899317886, 7275946812640319809, 9638817271727764012, 1664921255774334545, 17477065645000277161, 16298817450218897988, 7898914360992908503, 13414059943323552245, 12332037361184547023, 15464858839502162107, 10958828840859756898, 16716452010792088287, 14059176247425570831, 10041336842421121851, 15860942186522890274, 17614772049495887102, 2516773306254766278, 14349814269750828395, 9239002756860931818, 18361941617507251608, 5548849441269155770, 8512232386880318166, 14536517721830079967, 12066573619196008804, 3715681879276888710, 10091015616633518727, 16865150012878146612, 10341890284566632046, 4823382187587201747, 14654065515724891489, 7754872308535145610, 12231092522039894817, 14289851721342350364, 5112950165524276599, 7702063751180847813, 4009557000051082840, 16738053469154701138, 9988645867388604644, 12853299720168104574, 2686823124795276861, 15630139213459551997, 16748381635637712732, 16530933200544143235, 11160015834803914605, 7452754904696398686, 9474594209308679924, 5290986414762503017, 14351374965623131732, 7441680991261748455, 2301628318403542813, 14164940977784909690, 6491583650895055785, 12027365086815922144, 12127298043126243587]
challenge = 7238479086103158453
