A = [612853444016017794628768, 1121878115810734882796239, 617137833368440812775261, 763611890021649877147826, 820818069671063828648682, 879895200477719762274165, 1140295252785410958382683, 661771353228181271944791, 1181155707378294423430218, 1008920367606523849732993, 713483887235943480491914, 963000446984777038453322, 1139891765138574631333499, 1099662212770363199243380, 1049876255883462226208621, 1101960591846013521474412, 1126056229391605262579996, 1102671156967509419134264, 1074565556518205386825733, 1040793112968633246375345, 1024264685534740518541193, 657951555966429444315476, 974193624177503886650707, 1112299109412271703280237, 619760276382441116939239, 920649066873460311921734, 998774566090027141990014, 836547102953791438088430, 1045263742687497723287606, 810267959415256126714714, 1075273916219219023825687, 621663042208088602924812, 711308429455081718696375, 1070742957794984826940284, 641394542008627715794889, 739461039640481393763742, 836098128036481492456380, 666234355415168743680121, 1191750758399605329958996, 724203053763688782217243, 649269824236771387049953, 726854087628095166957170, 758879954781501044783221, 994061534040837230364801, 631226465354774358964259, 1198233677566250642441087, 1167497686270197296951738, 1180119175326511711097370, 796309592376922808296593, 878094878753395255351088, 763658833896607857946219, 876197997754815134275250, 955617964095262006000582, 613659300732274528823639, 1033871882141220457727379, 1183967626890125032708190, 967864348687478330788234, 1030342035635861486627029, 1199000425841111277995899, 1032974144521376903638114, 989822420510995540024834, 649174657501582666098681, 645971309070737927114730, 829317346033631753422563, 703594205410740884612750, 959126808697894598935544, 1031709948323841269168912, 735313369566656657342002, 1169913895377653894187802, 931844824164212376621816, 1090655816570645360746904, 719249287355747153659668, 1029501255605158036504405, 644562851199304361307430, 873267244997590541780530, 1126574363126243681721723, 1156538158325816739093444, 1092976703952451625840006, 1052980269506612405545164, 717057447921934035704803]

s = 6973870148856849032454928