p = [13924989204748454154, 18251234345378678215, 13797926729567129574, 7435780557487648763, 2739768338525422005, 15732251221517204624, 6782002225536744465, 18357070248122810166, 302705931254839278, 7774139667521057381, 15321001643755828493, 16220115034345463363, 11075252450698302209, 10781872522884515016, 11494982432700278588, 2547947652779299987, 3612916551097112885, 4915380669905936503, 6122632056604859288, 16831831780978349469, 2062999378879123276, 8724752929511244700, 9452050633433013224, 10506914304019775706, 9104414215047599290, 114819924957085696, 376413481684455510, 2722523695126633526, 9673253255855752094, 13731756934371443860, 12870792981113023660, 5582205740922961643, 10651167264430391749, 11025520629436919005, 4516040936471347924, 7238354366870434527, 9320465476423901893, 5027383170582542486, 5458616070860642383, 15330537977071745869, 3911794099353269253, 3670728930674229693, 2476204807810284155, 7701236973602170458, 13258488460765348442, 13430122741466061636, 6162989056510695128, 4609117354072884695, 4951805222194174923, 2784927856890025574, 1391725142488352699, 17437439890367598786, 12341891339587465275, 5625393880725680477, 4136411906023746756, 6560496186458529390, 3238244468544908833, 7912972817608621130, 10438081767665205236, 6073679635368544168, 252778659506395008, 8166950718212854372, 3812767137816868871, 12787983332091532259, 591541030941138672, 2750261702244532075, 227354465387640758, 1066737596935790498, 1477484109434295505, 873514556234411990, 891039010730805483, 3140519125971567565, 3041120580973786032, 13537951774187168959, 8511793734670866425, 1133950532561555561, 3681196712431166010, 9549121232213389787, 5577271356541145111, 11489112760737298843]
c = [5972544803750243927, 4287914076970869429, 14388101941335441546, 2031208146347473165, 5192368781047941991, 13026385799045550075, 13863679568186776113, 12289902506476868572, 8561757065298903803, 4226838097706935287, 2911752198237840623, 11099937071462986601, 2918341884016790744, 12136621723992634851, 6689339800710481292, 2023815745953655842, 5333986342645042228, 18281642790774435112, 17562240625329499570, 15639979585093971985, 1032252514790809070, 13765704479312965553, 4040369775810453813, 17556644446438697092, 1259095752870140853, 17840465049316549069, 15566485664045192290, 696595568469187708, 14712188206099938965, 17945523712595616088, 17843569263434152612, 3124884975445463977, 14621337018243269266, 13986028653943948746, 7791531204458220059, 17378024884068878135, 5012913656148433843, 3567024249077344913, 4999924029530011050, 5290296360887231653, 17953972771122494482, 4740607704238471848, 2125331173352378651, 15037507469595105924, 13661180276331755807, 3866535258465857582, 12992261114093964484, 8826732042345986844, 14814688016267965305, 1369547768997337137, 2945965826362308346, 15973048715909967173, 10578892995648565394, 15176580316101071091, 13655938189925400014, 17831018593303388880, 5588221235639291337, 8386794468169466759, 14455558673439584441, 4227845568347570807, 7899691239725678530, 4555805274814003578, 14218099070769678368, 2532158943198953808, 9976684913273843584, 16998311583604335234, 15900634822575373618, 9643929145880185989, 13995354217574777791, 236865544425442124, 7600624561496313751, 11839721768719853032, 4131847381163883120, 2529888973583711389, 2504816548133419448, 3938609186441240709, 13889718242761826918, 16473409074465097534, 1895431802631391030, 3556754406295958082]
challenge = 1207034091215217557
