p = [4384406791107274054, 11170472424859083275, 7711535039535817866, 319941616825666225, 4674024164108848976, 9897660342147117955, 18103727358852569132, 15405609070032969692, 15645160798432222624, 10918051994207004719, 2681306760052651855, 11719069944221313679, 2911386635178780040, 6742821755374529380, 10000262367573588824, 608901372882695796, 9356514344226713014, 6416251944648822931, 2256644585815376938, 2063417725769593692, 8457447248945147492, 18213781793359059721, 17652292744942991428, 10100329770064432513, 10019803711642039684, 9786371174550142792, 5313637279256053493, 977585892754349717, 6142343475642128019, 3586199212541312981, 8149772277175281384, 6025724211359167199, 1394063202452460989, 11869717743781685007, 3602302915109077037, 17805106316956654754, 7145862237702852500, 10533721939566498205, 5377245311701351333, 4713008421310996137, 6122015162746276134, 4616841760624487131, 2155312351311345639, 7712131444579843128, 17363494448431465655, 17508731892065947404, 7664811871618012024, 16447186669408965484, 10867114241277535111, 6409431452400039592, 2374096006869964800, 3162877100891609204, 6375527869273861415, 255868436121006554, 14446854909128430773, 1550142227396244421, 12843658027783086548, 10128543985443765856, 7331070294618618806, 9442654726723721235, 9657599477369935628, 15991449590825352840, 7317562124937770783, 6625066159206485023, 5394489717974429483, 7747039195526386516, 13166024123169863973, 1374806786499958084, 9215861472448991778, 10779439131562932170, 14701443713336367284, 4650356833561099965, 16476718294867436910, 2683544101461033807, 9401163551350427486, 3737187255860179228, 10798823297481999087, 11534418215803768062, 2144764143927293152, 12945612958670325583]
c = [5670287964046323406, 1939287032310713897, 671739302953567976, 4529565093980434665, 3218401065738526437, 13872362559032599621, 7958269236514450155, 9470284269953601708, 2303262339033803240, 222549337473989651, 10234154057356500380, 383847246614187565, 13729298492835049601, 7256617589584919030, 11453781593862602847, 6674688655204195582, 18169693593227000807, 15565332063513119846, 13745369197926310663, 13386894641691937664, 4576342432615705836, 6350993474531898198, 233048379314379380, 7180858938891891822, 6663170852282854897, 8558444527963641423, 1797334868318477006, 6761617493761921478, 11856764301976539261, 7627139459392260465, 8027227779530102639, 6365176700687462571, 5980344843399095482, 9991012332164201427, 11088812911224232926, 26251667423153926, 16353163594465666565, 8053427285740953678, 387430925059803038, 6874572414707427206, 2767274060441190094, 14748043492466812039, 531861330112989488, 3339954533014699580, 9365807880247431292, 2125517657709420982, 9430638483121174846, 9120518170287567654, 14575494988064127343, 3785555217335544262, 15757852404809651420, 16563089270105669311, 8994560886670511497, 9054142087522511197, 7258124173572649738, 12820091386815621320, 5590989364076347472, 9067165941590182362, 6077114228430312059, 13527114941524674597, 3252290288035728742, 4787882494778269877, 10110811949196411252, 15431535746520379330, 3100133226290152417, 5767550382924529872, 6898606946695615638, 15909560612126556675, 16986354283287726923, 13305759002383367025, 3106305595557496229, 6687984155497694404, 3492468091391322149, 13807433056022317605, 9721441738783701365, 17529087041718999516, 9573228896723601690, 13709998778532716213, 17811079865699652782, 8352747216624383547]
challenge = 2186102098440737712
