p = [8233466254432915025, 17872237042240173086, 4430832341016179663, 11947781834230070336, 15102145011901224215, 2788349743516713896, 16584003274004502670, 1643074579994134060, 16356587924332964292, 18028347064496276230, 9351874919339126428, 1771991427109688461, 11288435295462341464, 2316794353881035269, 13243637424444422744, 10639636784777227430, 4741248152298402263, 13359549029144805269, 11231464788539726344, 13623812895902298169, 11836180064367083128, 8890773247250198418, 17929870596558471796, 3784649287508832337, 14058727393579902394, 10859111219412550981, 2119139621162260999, 5069589730572894544, 17254362591154807892, 3101877511882844667, 6699337620317748924, 6385848203890287800, 15159321992879920550, 15401184578913077637, 1911023951151556152, 14580110578777594300, 17689449811544202114, 4536594242931297673, 3801307901600320184, 18070300294487740541, 11967913943586593350, 3451327787753610519, 16363837817240548478, 10678857879632222696, 1980597714228829037, 17093251169967767056, 671156711759773387, 17055643271005972697, 14903111953626213353, 7563834591567862664, 11010705642146370909, 17285117233663179031, 15616231426474909030, 12380881652427327816, 7632689699866862528, 11145742341282134236, 9935541107074759818, 7751299306958044885, 1489581132631420774, 1001430366502170122, 2280850990493446537, 9345603956030084298, 10472913324674859952, 8570405943327105099, 7620339208570308521, 4523539600473610873, 8846878224387034778, 15883771847726935316, 12049566957520887858, 2266843372512575110, 1243454491065043259, 16702762400439248879, 8140618959279330278, 8414991985575033645, 4957412172255704678, 2246711259031191311, 17116095505852159082, 2183731215950457973, 12074155368699765139, 12497018315257304325]
c = [2593872564397203595, 12264628288222499740, 18341141028943446262, 2634150547335531088, 4596409719187933805, 690051600445054048, 6901345817981804994, 18232616327469853529, 6124784487969377893, 17584570347116226323, 14183084802810661560, 2819864177851001215, 9914598116519044571, 5390160331079339082, 6603461259051116288, 14961287451857048270, 5186745511313696783, 15636531182360488813, 3528231610044618710, 9175458250286858720, 9793847515326626450, 15928021414851677767, 13486374424518885100, 13005737114713747588, 9986576444831836683, 3423559886778689892, 11390661804925321933, 8761145068528037442, 5081528469886171624, 12491859079440024319, 8450200475273823488, 18377447432682363520, 14271430424958845095, 15088120190978215520, 17217560300512100922, 8395915236884087274, 6103467133291639326, 9628499477368583570, 13802867259248644889, 13978114695495185597, 5524446737521281940, 1101934407490849658, 4262430780385132458, 10275354744989739310, 482082555143178506, 3245942081877832581, 17059957059061252168, 9301415806705725032, 1466324497799836111, 8159087890656924984, 13899288084968078815, 13976313408103213934, 12799778697017898294, 8982478542240298376, 14206216962446728066, 1419594436872581751, 13618090164540658599, 13187021221340239950, 1157912253059860293, 18413146196163845137, 17803110723842851491, 16154812215381923095, 7612796415229951086, 9226293150762748698, 5161464652986042703, 12295246577937699671, 13087405541447955656, 13783832021670087687, 12495982880790379504, 13324801514191700350, 395549511771685606, 1400097811865360110, 5738182155274609749, 7894200997079602639, 8734899756969435916, 11290587686347844432, 14399443504604207962, 10675272263531191567, 14738304432353516373, 17453340785064807727]
challenge = 6182544778135635940
