結果
問題 | No.2188 整数列コイントスゲーム |
ユーザー | googol_S0 |
提出日時 | 2023-01-13 21:59:44 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 40 ms / 2,000 ms |
コード長 | 40,694 bytes |
コンパイル時間 | 149 ms |
コンパイル使用メモリ | 82,120 KB |
実行使用メモリ | 52,608 KB |
最終ジャッジ日時 | 2024-06-06 22:42:41 |
合計ジャッジ時間 | 3,542 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 40 ms
52,224 KB |
testcase_01 | AC | 39 ms
51,968 KB |
testcase_02 | AC | 37 ms
51,968 KB |
testcase_03 | AC | 36 ms
52,096 KB |
testcase_04 | AC | 37 ms
52,224 KB |
testcase_05 | AC | 37 ms
51,968 KB |
testcase_06 | AC | 37 ms
52,224 KB |
testcase_07 | AC | 37 ms
51,968 KB |
testcase_08 | AC | 37 ms
52,096 KB |
testcase_09 | AC | 37 ms
52,352 KB |
testcase_10 | AC | 36 ms
52,352 KB |
testcase_11 | AC | 36 ms
52,224 KB |
testcase_12 | AC | 37 ms
52,224 KB |
testcase_13 | AC | 37 ms
52,224 KB |
testcase_14 | AC | 37 ms
51,968 KB |
testcase_15 | AC | 37 ms
51,968 KB |
testcase_16 | AC | 36 ms
52,224 KB |
testcase_17 | AC | 37 ms
52,224 KB |
testcase_18 | AC | 36 ms
52,096 KB |
testcase_19 | AC | 36 ms
51,840 KB |
testcase_20 | AC | 37 ms
52,096 KB |
testcase_21 | AC | 36 ms
51,968 KB |
testcase_22 | AC | 36 ms
52,224 KB |
testcase_23 | AC | 37 ms
52,352 KB |
testcase_24 | AC | 36 ms
52,608 KB |
testcase_25 | AC | 37 ms
52,096 KB |
testcase_26 | AC | 37 ms
52,352 KB |
testcase_27 | AC | 37 ms
52,224 KB |
testcase_28 | AC | 36 ms
52,352 KB |
testcase_29 | AC | 37 ms
52,480 KB |
testcase_30 | AC | 37 ms
51,968 KB |
testcase_31 | AC | 37 ms
52,352 KB |
testcase_32 | AC | 38 ms
52,608 KB |
testcase_33 | AC | 35 ms
52,224 KB |
testcase_34 | AC | 37 ms
52,224 KB |
testcase_35 | AC | 36 ms
52,608 KB |
testcase_36 | AC | 36 ms
52,224 KB |
testcase_37 | AC | 38 ms
52,608 KB |
testcase_38 | AC | 37 ms
52,352 KB |
testcase_39 | AC | 38 ms
52,608 KB |
testcase_40 | AC | 37 ms
51,968 KB |
testcase_41 | AC | 37 ms
52,096 KB |
testcase_42 | AC | 38 ms
51,968 KB |
testcase_43 | AC | 36 ms
52,352 KB |
testcase_44 | AC | 37 ms
52,224 KB |
testcase_45 | AC | 36 ms
52,096 KB |
testcase_46 | AC | 37 ms
51,968 KB |
ソースコード
S='''1 1 2 1 3 2 4 1 5 6 6 6 7 1 8 14 9 36 10 24 11 1 12 30 13 150 14 240 15 120 16 1 17 62 18 540 19 1560 20 1800 21 720 22 1 23 126 24 1806 25 8400 26 16800 27 15120 28 5040 29 1 30 254 31 5796 32 40824 33 126000 34 191520 35 141120 36 40320 37 1 38 510 39 18150 40 186480 41 834120 42 1905120 43 2328480 44 1451520 45 362880 46 1 47 1022 48 55980 49 818520 50 5103000 51 16435440 52 29635200 53 30240000 54 16329600 55 3628800 56 1 57 2046 58 171006 59 3498000 60 29607600 61 129230640 62 322494480 63 479001600 64 419126400 65 199584000 66 39916800 67 1 68 4094 69 519156 70 14676024 71 165528000 72 953029440 73 3162075840 74 6411968640 75 8083152000 76 6187104000 77 2634508800 78 479001600 79 1 80 8190 81 1569750 82 60780720 83 901020120 84 6711344640 85 28805736960 86 76592355840 87 130456085760 88 142702560000 89 97037740800 90 37362124800 91 6227020800 92 1 93 16382 94 4733820 95 249401880 96 4809004200 97 45674188560 98 248619571200 99 843184742400 100 1863435974400 101 2731586457600 102 2637143308800 103 1612798387200 104 566658892800 105 87178291200 106 1 107 32766 108 14250606 109 1016542800 110 25292030400 111 302899156560 112 2060056318320 113 8734434508800 114 24359586451200 115 45950224320000 116 59056027430400 117 50999300352000 118 28332944640000 119 9153720576000 120 1307674368000 121 1 122 65534 123 42850116 124 4123173624 125 131542866000 126 1969147121760 127 16540688324160 128 86355926616960 129 297846188640000 130 703098107712000 131 1155068769254400 132 1320663933388800 133 1031319184896000 134 524813313024000 135 156920924160000 136 20922789888000 137 1 138 131070 139 128746950 140 16664094960 141 678330198120 142 12604139926560 143 129568848121440 144 823172919528960 145 3457819037312640 146 10009442963520000 147 20439835646630400 148 29708792431718400 149 30575780537702400 150 21785854970880000 151 10226013557760000 152 2845499424768000 153 355687428096000 154 1 155 262142 156 386634060 157 67171367640 158 3474971465400 159 79694820748080 160 995210916336000 161 7621934141203200 162 38528927611574400 163 134672620008326400 164 334942064711654400 165 601783536940185600 166 783699448602470400 167 733062897120153600 168 480178027929600000 169 209144207720448000 170 54420176498688000 171 6402373705728000 172 1 173 524286 174 1160688606 175 270232006800 176 17710714165200 177 499018753280880 178 7524340159588560 179 68937160460313600 180 415357755774998400 181 1732015476199008000 182 5165761531919788800 183 11240707219822080000 184 18011278812054528000 185 21234672840116736000 186 18198613875746304000 187 11029155770400768000 188 4480594531725312000 189 1094805903679488000 190 121645100408832000 191 1 192 1048574 193 3483638676 194 1085570781624 195 89904730860000 196 3100376804676480 197 56163512390086080 198 611692004959217280 199 4358654246117808000 200 21473732319740064000 201 75875547089306764800 202 196877625020902425600 203 380275818414395904000 204 549443323130397696000 205 591499300737945600000 206 467644314338353152000 207 263665755136143360000 208 100357207837286400000 209 23112569077678080000 210 2432902008176640000 211 1 212 2097150 213 10454061750 214 4356217681200 215 454951508208120 216 19141689213218880 217 414847224363337920 218 5342844138794426880 219 44733116259693227520 220 258323865658578720000 221 1070842073499515116800 222 3273038065322510284800 223 7502994764658878284800 224 13016067981627110400000 225 17114139358025149440000 226 16946297841220780032000 227 12432271181066440704000 228 6552413333521735680000 229 2345925761384325120000 230 510909421717094400000 231 51090942171709440000 232 1 233 4194302 234 31368476700 235 17466686971800 236 2296538629446600 237 117579844328562000 238 3037922395035897600 239 46061530905262118400 240 450683643586388889600 241 3030569819182719475200 242 14620825330739032204800 243 52126561665864304819200 244 140088426789758051404800 245 287266878448003841587200 246 451953110094783897600000 247 544966995187934871552000 248 499435673378882752512000 249 341724321262587174912000 250 169068442803215155200000 251 57136703662028390400000 252 11802007641664880640000 253 1124000727777607680000 254 1 255 8388606 256 94118013006 257 69992221794000 258 11570026582092000 259 719258297748051600 260 22088515675551217200 261 392795626402384128000 262 4470706570424859072000 263 34812534627691083648000 264 194165346649139268480000 265 800968643959240044288000 266 2498794849923090630912000 267 5982974273328666501888000 268 11088299828141816087808000 269 15950721684523500306432000 270 17754845365635899609088000 271 15140879903546458693632000 272 9705062517250244272128000 273 4524102929304870912000000 274 1447712937377558691840000 275 284372184127734743040000 276 25852016738884976640000 277 1 278 16777214 279 282379204836 280 280345359228024 281 58200094019430000 282 4384969945980861600 283 159654417813094881600 284 3319073136623482761600 285 43771519771445188800000 286 392832411981159427200000 287 2518756694045133873408000 288 11941607887300551753216000 289 42896925420470298777600000 290 118744767725524599859200000 291 256069111522057238845440000 292 432624344202645062307840000 293 572994639852709798563840000 294 592123054845282449448960000 295 472072905995137356349440000 296 284583308931102303682560000 297 125408133200331021680640000 298 38105872673116455567360000 299 7135156619932253552640000 300 620448401733239439360000 301 1 302 33554430 303 847187946150 304 1122510953731440 305 292402196893290120 306 26659020240001749600 307 1148275714313530202400 308 27829820435492621145600 309 423815336172618044054400 310 4366039317526046160000000 311 32027480166289226306688000 312 173524374976148227519488000 313 712900933001021056900608000 314 2262983704043928580915200000 315 5622208188713727580569600000 316 11019095291595236818452480000 317 17095522728941032634818560000 318 20972118504563860464230400000 319 20219723255967976310169600000 320 15133124298524793200640000000 321 8609820284760099832627200000 322 3597308129215844499456000000 323 1040543673740120309760000000 324 186134520519971831808000000 325 15511210043330985984000000 326 1 327 67108862 328 2541664501740 329 4493432566710360 330 1467623539235107800 331 161708534621370238320 332 8224543141874723664000 333 231824769198449210784000 334 4064806409472995986800000 335 47898546536986642040544000 336 400328714321967997133568000 337 2466622261709249445914112000 338 11523529003703200697461248000 339 41662384918629294929421312000 340 118277878391364842422272000000 341 266260855684943430384353280000 342 477948506349116580705607680000 343 685217542203088075782881280000 344 782644993450104898713600000000 345 707056951089855390216192000000 346 498601836248982753698611200000 347 268556825107470775305830400000 348 106670591467987190611968000000 349 29440276662242211397632000000 350 5041143264082570444800000000 351 403291461126605635584000000 352 1 353 134217726 354 7625194831806 355 17983896924848400 356 7360584859009090800 357 979056948963632076720 358 58703761735472657316240 359 1920394498722591475584000 360 38669680608043006778256000 361 519633529464596380273440000 362 4930499869448501030915232000 363 34403411712374609316572160000 364 181871966450361851863879680000 365 744602794912654938776355840000 366 2399103949649912060275399680000 367 6152619745220932364906004480000 368 12651559154579020188529336320000 369 20936988873939683816792801280000 370 27889388177410666515433144320000 371 29794038890799205778595840000000 372 25318834534115601022210867200000 373 16877490549841977638097715200000 374 8630230581235533216109363200000 375 3266660835125505648230400000000 376 862035498158119546060800000000 377 141555302855438578089984000000 378 10888869450418352160768000000 379 1 380 268435454 381 22875987148596 382 71966088478720824 383 36892843779669696000 384 5918505202935847005120 385 417779730791054025750720 386 15832786083664513063201920 387 365310675960890384284560000 388 5583032100726393870516960000 389 59951467388044071523075392000 390 472006938981877324169848704000 391 2811579916115573995345873920000 392 12970646659082235068963297280000 393 47155601168438504985776332800000 394 136827579117933510802902466560000 395 319671041296599193408400793600000 396 604593864513336672095798476800000 397 927701163975656656312292966400000 398 1153668541364197445880579686400000 399 1157370341923210942816940851200000 400 928319151847066730526788812800000 401 586677586014782749646762803200000 402 285525393992664932744154316800000 403 103217408332090629857280000000000 404 26093360826352511227920384000000 405 4115992652258137116770304000000 406 304888344611713860501504000000 407 1 408 536870910 409 68628766752150 410 287955857863477680 411 184824049340742084120 412 35732388280293100206720 413 2965887651957929109290880 414 130004526515644536711621120 415 3430291158400994076129857280 416 59483427766872842548015200000 417 720879494376475119329515872000 418 6383500876439056748315089152000 419 42686629116266867153704394112000 420 220951172052769326900328396800000 421 901893717412811100821094451200000 422 2943730884581952252618860789760000 423 7760476547047055971592155422720000 424 16636768304578845579075586867200000 425 29113605541290873239753737420800000 426 41627394106797082043857453056000000 427 48531816549035576162647931289600000 428 45885168862946108813562052608000000 429 34844924970822538043991687168000000 430 20932871520178744377382010880000000 431 9718570058118889065035857920000000 432 3362079998119521668215209984000000 433 815652543922487505306648576000000 434 123784667912355827363610624000000 435 8841761993739701954543616000000 436 1 437 1073741822 438 205887910869180 439 1152097946520919320 440 925560025993027809000 441 215503273977803053745040 442 21011340281667555466483200 443 1063763313340819726567296000 444 32042661164249747515573305600 445 629137189252738366241450572800 446 8583992143576827580652841792000 447 85252564449786382411735260288000 448 637911689905177010726253282432000 449 3690929216366506716756459072768000 450 16842673341983706415821342720000000 451 61529993631916213655039283855360000 452 181971526337693139811587275612160000 453 439150407329266227912019361218560000 454 869257103071524657557757161472000000 455 1414819992961759105672223809536000000 456 1893343423772485822336613071257600000 457 2077173679063597069476619645747200000 458 1856792158176678877723736014848000000 459 1338667115784030778112968753152000000 460 766286039457440836060446720000000000 461 340096901462198679064527765504000000 462 112798778635134247685090181120000000 463 26304241931375613314767257600000000 464 3846166467276770350226472960000000 465 265252859812191058636308480000000 466 1 467 2147483646 468 617666953833006 469 4609215337727154000 470 4633560619697743641600 471 1298573004022776489324240 472 148587904889517509641597680 473 8678197228979898256270233600 474 297957820298315105179265414400 475 6611798504169881137570238784000 476 101344422661125225415837216012800 477 1126038679120358519908657224960000 478 9401135306614524110793851055360000 479 60603772687803572184757972972800000 480 308004038375253196988667026891520000 481 1253962671582398721133770025205760000 482 4139525839483359008932651510947840000 483 11180194806005268619024919462952960000 484 24859742697615026823925753931120640000 485 45681541920665675264599619420160000000 486 69471431751419143488185574496665600000 487 87351376262393823619891119774105600000 488 90481214256526346785608180193689600000 489 76691022575057031740080914432000000000 490 52623828881036790354335386828800000000 491 28765956463910627393249336623104000000 492 12228183362627989022239684558848000000 493 3894884575862276107996008284160000000 494 874361843560919126284818186240000000 495 123342579812668842265883443200000000 496 8222838654177922817725562880000000 497 1 498 4294967294 499 1853007303949956 500 18439332018723948024 501 23190849175177353978000 502 7819239387854845397795040 503 1049205345254782002916453440 504 70614281070955326127294650240 505 2759724157745655030919820832000 506 69097563244681962427495041984000 507 1187518432818246172087482002764800 508 14728597221377804943893933291673600 509 136853261814553474199132607644160000 510 980068711921853348137725536394240000 511 5529117165945851537601374997964800000 512 24991467359322430689958992833556480000 513 91689304688117881411129166114611200000 514 275754971618795297303236277530214400000 515 684758812568785613416062794487398400000 516 1410825692365614041770507467025612800000 517 2418212447113781193808489072253337600000 518 3450101776303885276377687273956966400000 519 4090149581935163919326483899259289600000 520 4012133683958001084616538271016550400000 521 3232871286402345552360407531520000000000 522 2116134418968632861437202809749504000000 523 1106841775316542643218203571912704000000 524 451445902277727423646599399604224000000 525 138308146163272661794143967641600000000 526 29931132701207639056521048883200000000 527 4078527972472249717591879188480000000 528 263130836933693530167218012160000000 529 1 530 8589934590 531 5559034796751750 532 73764740104111591920 533 116046442535980389630120 534 47054581422180136510638240 535 7399172092498457938199739360 536 573307891329680865041688829440 537 25473045949349493213424039340160 538 718572874024276174584148628160000 539 13822775956692209479664747492236800 540 190993387850352613391776983533260800 541 1970564167467106628859345032165836800 542 15636907632309695512716014016537600000 543 97637788168015573286086508015385600000 544 488329352404292515640965885304340480000 545 1983573124806485305718498702118850560000 546 6613996973524437216858577985606860800000 547 18249761899564037303666682368334643200000 548 41911690098687993103731405230260224000000 549 80409800929067299947158927324857958400000 550 129102912915188662344095879616626688000000 551 173425781239498131501195936983973888000000 552 194454798381435960094632532086620160000000 553 181125124259008665924423645063413760000000 554 139074148339645438758737868873007104000000 555 87020357245699738625695972304879616000000 556 43632054972639561872214483202473984000000 557 17102867404789002477781557650128896000000 558 5047178365934409025519950495744000000000 559 1054299480884076551997500770222080000000 560 138933081900990183928291110420480000000 561 8683317618811886495518194401280000000 562 1 563 17179869182 564 16677130160059020 565 295081196555633374680 566 580601036380422506110200 567 283023767188296701401610160 568 52123586717444466522972643200 569 4645656507377434583839108550400 570 234417184566112566706191553526400 571 7440459199736256677975726675001600 572 159954837137881342196737857324364800 573 2457793965684537874457300772305971200 574 28100248219126970149264586204088268800 575 246504605196875229982055026681848115200 576 1699120437004879031982037830478848000000 577 9375474249156929422832838293115617280000 578 42022342112583222963110897986194247680000 579 154756261769956605406387380379062804480000 580 472411418588681015889979946724888576000000 581 1203229039965040608147961751971897344000000 582 2568751311582861154068696983657481830400000 583 4609279704573631170407605752712662220800000 584 6958159965557796258441711781813813248000000 585 8829133910902418198299883257694257152000000 586 9389498066011115650476404428750848000000000 587 8325181087565006721762199362346942464000000 588 6104551650804319789379713711802941440000000 589 3658267542113500413941492754205900800000000 590 1761312748945428366149885184725483520000000 591 664501373121702345099045244376186880000000 592 189145813251373052903040989244948480000000 593 38183442009122135549625340180561920000000 594 4871341184153468323985707059118080000000 595 295232799039604140847618609643520000000 596 1 597 34359738366 598 50031442019784606 599 1180391494743173734800 600 2904480587884890697424400 601 1701626209348062743446322160 602 366846273392429342570619773520 603 37582240752759032402896649548800 604 2151565569661410011610275958691200 605 76748763843023692446819182285280000 606 1841348259713793587621849423993030400 607 31412985633869030599848463555564032000 608 397254548402549604308384530693125120000 609 3844467947824030801838474580403109376000 610 29184375633026313929461392857410441728000 611 177193514978588935277038017977511444480000 612 873762878149582590561043516748267704320000 613 3542014869885716910650969010574626938880000 614 11916185926814114804630979214975076229120000 615 33512809171074432480758833973935718400000000 616 79211587382505937006549833448216962662400000 617 157916682355442831138478660200143169126400000 618 266051112413022830863534303294108935782400000 619 378895053035045146961798280948193689600000000 620 455465799422838346219407192161127628800000000 621 460581657992979181678203698568542552064000000 622 389602783935971815800831653002046865408000000 623 273358937401698965692993781048247582720000000 624 157167828440708934622649960229010145280000000 625 72774423662013921337467912873050112000000000 626 26463062777565337338064673242255196160000000 627 7274536168335846030485322541616332800000000 628 1420807845378094927829164558909440000000000 629 175663515428564463804333072737894400000000 630 10333147966386144929666651337523200000000 631 1 632 68719476734 633 150094429138568916 634 4721766104740774077624 635 14528304896898169355796000 636 10227184139615685804862479360 637 2579835297212441837198462669760 638 303592696209211693963738154578560 639 19702330293727521396118553474160000 640 789003294126851024584294582439712000 641 21099067259124990080755354669061414400 642 399052006722993890249643755754684748800 643 5572677942473442253807028925232958976000 644 59384114947172125686056027555347282944000 645 495432653712755170969498011567203266560000 646 3302046249785843987303990573358750179328000 647 17866258683178915939247386090338245529600000 648 79483999464635391021816225491812103577600000 649 293705815137296802590357016285444360192000000 650 908579901957770945707796263778215892582400000 651 2367212327625187759233482015865206302310400000 652 5216821934234872899190626860263922899353600000 653 9751259279674710226046298160367798412902400000 654 15478707970753631467807982021815263009177600000 655 20859021311447087329530136827733032960000000000 656 23817233892811255725337883158971424702464000000 657 22954979932081676931933954492405914271744000000 658 18562928197454781881827112153408244547584000000 659 12485276209429829109153668497040474112000000000 660 6898267563081685678803536193061807718400000000 661 3076362079626957018941510169574464552960000000 662 1079603166268837867793599865083888926720000000 663 286946352452560051624378074317350502400000000 664 54280026267426419315538919476009369600000000 665 6509883218823271305689990342639616000000000 666 371993326789901217467999448150835200000000 667 1 668 137438953470 669 450283493574136950 670 18887664796679650586160 671 72665133315014550649368120 672 61450274667075503845309652160 673 18130437369464402661023276043840 674 2449380252051393086407492937986560 675 180053306909430597810740624658647040 676 8087056244205785459804131359138720000 677 240768776085770252158736141766512390400 678 5041812887785426563964789325084953958400 679 77632489339553669872736744852839368422400 680 909395100455037951158082790728123386880000 681 8322251529898909449833310586838258242560000 682 60759662455977586532375817358815255134208000 683 359861183860400918751373403282848927051776000 684 1752304646660657525299145008478706283929600000 685 7090606477436711678631291593767872811622400000 686 24045714341901354965963065601273205055488000000 687 68791636821242132803766843872511866092748800000 688 166848753760921334485330395274840842436608000000 689 344265867919920411880449275474529590181888000000 690 605519214010280200652502724372393474129920000000 691 908443232055017969933452971238707399229440000000 692 1161582635310716919426568519654315899224064000000 693 1262849773272109181746339616587188152303616000000 694 1162501427627020846785309866082796446941184000000 695 900397927799653718738442638863012841127936000000 696 581506313175345443638716140703068454912000000000 697 309213518923967923630096437241724440412160000000 698 132990887868665436375523521109067311349760000000 699 45096134117806131340793272000240901160960000000 700 11601696876479540011957177788974235648000000000 701 2127646832018739171743011843652714496000000000 702 247747555642074210833687632468456243200000000 703 13763753091226345046315979581580902400000000 704 1 705 274877906942 706 1350850893039271260 707 75552460320692898892440 708 363420104899056151499771400 709 369137638802343110375754121680 710 127343213508920347154080099872000 711 19740085515366859912548129712243200 712 1642524184453337918074333058369702400 713 82671095511152160576148719837973670400 714 2737414155629736413803943004382162214400 715 63390979966454361793482305602217596185600 716 1074765928955408253677119944313016190950400 717 13818386257124282694431473498133478574233600 718 138474699455309211014870900663495724441600000 719 1105310623774023935715346047130456214028288000 720 7150554387378434589823736750908291097161728000 721 38018984949379051992909331411707993797664768000 722 168015311357850014874678295442685002815488000000 723 622726416386761332891887143900821557342208000000 724 1949584374426013243164328098949486494112972800000 725 5184088592807596280360139261241759587645849600000 726 11755636298659360166412932427235519950225408000000 727 22794841966324814700790847996326153543483392000000 728 37849061151632454264648892390277521833984000000000 729 53820672551509107123360558763218605759791104000000 730 65459675031736304731668519678520609391247360000000 731 67909833625175640798886185514759568778854400000000 732 59824081307373562400188822643428469354004480000000 733 44457127229249974871314763386982438881198080000000 734 27612314795078714385333189916288579755048960000000 735 14150541017364267520179838667225336056381440000000 736 5876871725553561734638454172607171012853760000000 737 1927726253805712825993515292833314651504640000000 738 480527029797439771429506637141943255040000000000 739 85514197955789281772761181140362146611200000000 740 9675918423132120567560133645851374387200000000 741 523022617466601111760007224100074291200000000 742 1 743 549755813886 744 4052553503751534606 745 302215244686343752654800 746 1817478286796884221993319200 747 2217006353443452999163523358480 748 893986458034058831851190977955760 749 158939429831006242077617678496921600 750 14960378429718343001881930692737510400 751 843136196956054984942230528963433728000 752 31020937762549774318181008966421494732800 753 793540729465009178487434983279197100800000 754 14796039815984214001117829248898039232768000 755 208504130605115673273520308194250926712576000 756 2284396285686502405639535612424438045237504000 757 19900565171669330347683471164703231015518208000 758 140349705189591794934164407566658704290230272000 759 813051708061634758489195226927093128106876928000 760 3914651629837352270484164910233466935649902592000 761 15814834554892226955331308786870131203153920000000 762 54018526607068266097180520099856469080558796800000 763 156940805279139409517538281924207413798694092800000 764 389613672503739998275780648834977429371038924800000 765 829211478359620196812890730165480163849011200000000 766 1516097577948931724135993509665091884436684800000000 767 2383413076281680596088245729990899317438152704000000 768 3220569384747626120085785117926958809078038528000000 769 3734346242393534474855531745411844988762849280000000 770 3704283533043926892773175236587453105852907520000000 771 3128436256098706118145107580912327247056076800000000 772 2234152702754189366956086552401401577723658240000000 773 1336411385998175420976416914672445305965772800000000 774 660904620516288365409003663714472733284761600000000 775 265356331298215335061486961824976512588185600000000 776 84288864926110340909805767549134026729062400000000 777 20377484199116245915281641458162994459443200000000 778 3522034306020091886591888647089900276940800000000 779 387559759542751423814165353058155049779200000000 780 20397882081197443358640281739902897356800000000 781 1 782 1099511627774 783 12157662160522045476 784 1208877188959390016757624 785 9088902510207852828729870000 786 13312942990381499300313100066080 787 6273424250712515993952481509199680 788 1278667330312322407275750955799018880 789 136073860735944143195635935341109888000 790 8580965753857733279441124596561712384000 791 350504813554564122334355634449234213068800 792 9894740006730707433667391906947423146393600 793 202664547090839901334868435018304072336384000 794 3126202385895398421844933924204085523234816000 795 37393506244374271183695838809280334579251200000 796 354959383317693324053168108434042704972091392000 797 2724254596141439129791413938433152900197724160000 798 17161225438522077961620473420887532983147929600000 799 89826363420080753550493842606050641211378810880000 800 394589723694591584516309473942071962776076451840000 801 1466500584401170354102748406621258605957967052800000 802 4641105301496568863523813644529405423343563571200000 803 12570752989006226379246335407461251392903859404800000 804 29251803620720644682128113096010982237281202995200000 805 58632726407713798023722105995764301207142400000000000 806 101387277009995920325830220231055771248745775104000000 807 151307526447791281336698832893782169415937163264000000 808 194737637559952496658356872173486506339544858624000000 809 215720263487686379661232502477979644743856947200000000 810 204981593674278990327548484524993410587269529600000000 811 166240257724439760038137018132725593568171786240000000 812 114258050840075673213840110946363100278061793280000000 813 65911428214977304950718879086768295295267635200000000 814 31492872361693125815996681268341274359680204800000000 815 12237581867851398658995245528093868876103680000000000 816 3767988568508157125703146724262692762786201600000000 817 884282184690044498669320613894357105246208000000000 818 148564574491388045795430052005626102415360000000000 819 15910348023334005819739419757124259938304000000000 820 815915283247897734345611269596115894272000000000 821 1 822 2199023255550 823 36472989780101019750 824 4835557386486202155212400 825 45450556936984061093733138120 826 79932191357350242918850979616480 827 44007160355920282452769562264860320 828 10279526036504279386157627498465748480 829 1236172752596308190426205176672180161920 830 87170396145936774226367605319028222720000 831 3949943572392640411751764349503755179980800 832 122942937843423258672020970496759888313548800 833 2763270732268417913990965750028269441276108800 834 46604137061807336524517233029113454337996800000 835 607795629454045044083111591002266301537290240000 836 6277646232993081523789823155893168632821481472000 837 52346637650805251715357894796742325287886864384000 838 357938640623943307645413972467772345900221767680000 839 2032764188313453798730172004511825309696008069120000 840 9688321742293446761336066330962452079749105254400000 841 39082896470011000711000215491829941943414913597440000 842 134367329489750262787784365125314608644633673728000000 843 395872740681564290583713428195785106773690728448000000 844 1003741358633444905472986764083333607124441497600000000 845 2197113250710861067646255477294382086110590074880000000 846 4160520088860452677088360481897321883853092552704000000 847 6822759693360254444888284434370624397946439335936000000 848 9689264592216825783861559741883522921153496612864000000 849 11903279130381527413268091864892518381418652368896000000 850 12621055714858961099663429610089191659933794304000000000 851 11507877393360281261336250582389289128818680791040000000 852 8975945874064493864063268130530838203079474544640000000 853 5945592808816748279430446671093336053919871139840000000 854 3311746219606794646068329052073725368268226560000000000 855 1530565898034058356624717437875230013252435968000000000 856 576200535708944008249142121084836219000035737600000000 857 172134017868333460101781291511810845117199155200000000 858 39248176848894436689660525304199361891139584000000000 859 6414521978074160012991609398747264131792896000000000 860 669050532263276142163401241068815033303040000000000 861 33452526613163807108170062053440751665152000000000 862 1 863 4398046511102 864 109418975937372825900 865 19342375437903929024928600 866 227276962471852736479441752600 867 479865851485723361879668276527600 868 308609647830943428869818892711337600 869 82588265574881597348883176485844870400 870 11218070507695312228311265237535813193600 871 884065688985330824167938104957004028819200 872 44408253653924349045759451503050617429708800 873 1522714576989790789005272818155163721922355200 874 37520777711453935244618827366825381284665548800 875 691143709117060562139114782907984132909820723200 876 9815996497737785709114432360470696338129305600000 877 110167069799154025085966955950326958949740347392000 878 996612826024571665065511205194803396652041879552000 879 7385135008945474068493893610761264081385955377152000 880 45423353749810545021136133562612355456328366899200000 881 234421718612138011201324766709485547788902266470400000 882 1024195582458393396919061918278640274486444395888640000 883 3815904971114747796973260773577180112937068921159680000 884 12195521613940234727544449246385293454621461250048000000 885 33590738383560220705360804614698849133555173425152000000 886 80021365233607649327981056034442892330875789312000000000 887 165298466828854157363100014938984303219055748317184000000 888 296548554119959092293369412739234549608587360993280000000 889 462336679996158246404995636935116124934798206566400000000 890 626183767955352242716759896596505197774592320471040000000 891 735730045357214655387945644249451301240573400186880000000 892 747996926354796513190990085966832904451326727946240000000 893 655482344557592804012784598813444074620740970741760000000 894 492410776535080990735292588453597750480978407587840000000 895 314749526966400459466958374587680088354395321794560000000 896 169480924117429855094256627148213438353223188480000000000 897 75843591614748085135458944122562384361088981401600000000 898 27688378482359266328984166266075941372337691033600000000 899 8032523399254660078074789039008387866316872089600000000 900 1780845254251775271403433253414918414894366720000000000 901 283342900413497446206200425592643166603837440000000000 902 28802625413934037920134423428012487183695872000000000 903 1405006117752879898543142606244511569936384000000000 904 1 905 8796093022206 906 328256941006258011006 907 77369939427519465591018000 908 1136481524236453202042333406000 909 2880558770689171287696886309681200 910 2163626595777004065621889926915056400 911 663175001781700326222023963028449664000 912 101705928959431744430941335726194922576000 913 8952837594930261363962493701945398420128000 914 498215512772006478569201285688083836043808000 915 18805473967724581656612387235898572072224768000 916 507565399749768438437113302404747085085642752000 917 10201302815599202963372270543847333198722807808000 918 157607103102822694068803207150680207065586894848000 919 1919729060750268972721302212972762484605914447872000 920 18815258229003336732575128739467216045230297858048000 921 150871461029460823204069286687209214604683950620672000 922 1003361286416364362702970516294098771216572123250688000 923 5596901447238971124449218005441958064904612667392000000 924 26430963322481159570528120384750642267782279909539840000 925 106482212178609106265631099220828048523317292975063040000 926 368262811456264598063907330459136892053846193937776640000 927 1098870239940010930389726092666019422116239232204800000000 928 2840302590429196750833546516228543536610774068428800000000 929 6378315633624006973968107845309107084298219978358784000000 930 12469869565617957740724674547311909026346363951382528000000 931 21248786555251285483554221390881818887214795891671040000000 932 31567092990593804184530910472417018358572325284085760000000 933 40857414399377006943141166225378694970454971619737600000000 934 45995536123072346225947007636704810376448903972126720000000 935 44911336669196458150520789912968863330306166358016000000000 936 37880472996058235226686547179812380228356739484876800000000 937 27443450319050369306876532743403446520402706799001600000000 938 16948065787934061009642525060756273434766647859609600000000 939 8831682566358405848269760565747929617715238115737600000000 940 3830682893592972004184395084379618052136786880102400000000 941 1357394271501329203468240301593204511068873398681600000000 942 382721377486750978629650669404508944967238313574400000000 943 82567526186610908704385347160302463259928166400000000000 944 12797966558924690849179728809846881805288865792000000000 945 1268720524330850548384457773438793947652554752000000000 946 60415263063373835637355132068513997507264512000000000 947 1 948 17592186044414 949 984770849407053099636 950 309481070737841887396116024 951 5682794470879403607539622120000 952 17290171513280446445393571858523200 953 15165550081833852658367107692573163200 954 5322709027019818642301166823642917763200 955 921321935650921002814470237203010350160000 956 90545435238896931083934350376715933427040000 957 5578851854036304139264801573290321579103296000 958 231644273765959057622179062259039870899222912000 959 6842821358327409261218433965328393543052277760000 960 149924155014885599625331373847529123973318307840000 961 2517126088776328455482632165417913103964645539840000 962 33237378621649466668641686721975083066744021483520000 963 352494783925811296990039326191479635007215609200640000 964 3054360946652354878859599477680175751698456472616960000 965 21930422201470678532233756256644851730603865403555840000 966 132005254673106709743043770434721136722423695812853760000 967 672585160164122744594524106194044606986424744115568640000 968 2924089861023985848395502831322731197404190603461263360000 969 10919135543602095199579383882639193633274760198995312640000 970 35211193233510612682887202155003751540082050227421839360000 971 98479320759230192030581815222364073968175332515840000000000 972 239684073825383296844843013399978916143633845216477184000000 973 508901000379533047296705124600767434987403766103015424000000 974 944122371384338810279809086269424381579712475605499904000000 975 1531660506829507600374468824035666280127826514096947200000000 976 2172735221699124333830162300933871399870818907114700800000000 977 2692441466195929948241733389724588665754020143347793920000000 978 2909019929352601740046969521589557558616162250564567040000000 979 2732129718953404881447842124061781037435875892815462400000000 980 2221013392713692554141144717389338109457821173651865600000000 981 1553703063744455061078167023145590198430927413051392000000000 982 928070940754528806884842282554151309889347895112499200000000 983 468507522018200980540803759054719263784524924846080000000000 984 197146932273583445890800144666967257401815090593792000000000 985 67864510310535127101817747868910824785408356777984000000000 986 18611556146934475493361440662592456329086659198976000000000 987 3909985202566959581696168114776123147673898319872000000000 988 590800857496732738697695836497998381623539662848000000000 989 57152838857951648512937954936814241641872228352000000000 990 2658271574788448768043625811014615890319638528000000000 991 1 992 35184372088830 993 2954312600997717432150 994 1237928222034765177796862640 995 28415519759750707247135091180120 996 103775125846507955094006668883859200 997 106279881773429931733687508851021804800 998 42702996616813219959676271450683927411200 999 8339801802101467393110942636239879411308800 1000 914667571745478520867488206139189437772000000 1001 62363370182027211773836095160337412637833696000 1002 2846677507439944341137326365987962309739914496000 1003 91968053217213788144927969358636634381369508736000 1004 2194737669224982124411697309380005245229188198400000 1005 40005753656868210826619453088981633419069457715200000 1006 572072075366812721985989102198287938731338672373760000 1007 6557446763306832982197577219528730207257313721630720000 1008 61323403150406991165293498469689796960702097472716800000 1009 474710879814337634810773758952175522163744115647283200000 1010 3078713537491547765505550533827319769060551224328192000000 1011 16896398711581818541088925409204080617885817238496870400000 1012 79126850466138389045780592625369067696593537646690304000000 1013 318394184306399864103422394421124271105615868456501248000000 1014 1107127890650704989179198064903430684160563450234011648000000 1015 3342262849818520117836725434434195637706434568581545984000000 1016 8792248259199950710761045544180917742907038621040246784000000 1017 20211797003532741291821799726020151480538015505626300416000000 1018 40684654409388412012142397904365370863879254767838429184000000 1019 71797703468201545908974059398847629189518630701370966016000000 1020 111131871855858958026138933749086130399959362636349440000000000 1021 150820477324746682744228766410412262034370010564337336320000000 1022 179246764657553014025238493162052679179845836605195550720000000 1023 186157938394098218509328784306494173669717258731540971520000000 1024 168406865796681312810025552609338050994385700259889152000000000 1025 132115075976035166532675910918722490776106200534614016000000000 1026 89343864161963419246668335005190694299529911093900083200000000 1027 51673403122591002134748903539528211225933294338467430400000000 1028 25294869263087808204400948341424087805080920586715136000000000 1029 10335446260780624346712097808899245205301714447499264000000000 1030 3459042658298784103807167541260131244579800639078400000000000 1031 923383195329558838077361959872111758547182858272768000000000 1032 189033014522675077456542285953513104230492395274240000000000 1033 27862008943251428650057253031696942800412711321600000000000 1034 2631688859040564280363189552904469731416442142720000000000 1035 119622220865480194561963161495657715064383733760000000000 1036 1 1037 70368744177662 1038 8862937908546268562940 1039 4951724705389464702057179160 1040 142083788439863710061564440213800 1041 622821248197606234807522823850235920 1042 744685598294935077821470608639339648000 1043 342474211988693199131279671676279593728000 1044 75442543188464525517635570169215070048480000 1045 9230073735475799882605991487754293171833088000 1046 696058415291499593241739417031242622831662656000 1047 34908490531463658634933949533779596668532978304000 1048 1232591499420498522318848844420119756984422502016000 1049 32013880114190742775792753902340986314547807899904000 1050 633007369891397894265467255975424579964479688704000000 1051 9793245264378894925001736884596313154406530081423360000 1052 121201820257451976971120627469359308481807090698076160000 1053 1221855298446848834654839362405933489023269401498255360000 1054 10184651376330147893545277891015441063364478049280000000000 1055 71068488346117708006326485855589905824485906799509504000000 1056 419477357230540692438483994803659408125873737719326310400000 1057 2112511481909844566911129396760609262918545807474117836800000 1058 9142983799768379822431668702069346792450816340373405696000000 1059 34212529798970516478782891023789318926388303648572309504000000 1060 111234768511730627675398087483440658046674950470388940800000000 1061 315497288834480241543542045443992947895950302930166611968000000 1062 783109222093782684069736822295428869033016461419996774400000000 1063 1705100639561792292510997533650794625643683567657012428800000000 1064 3261988378450108779712377261793177001548538678607072460800000000 1065 5487887259721815118053389794438012787684339800131612180480000000 1066 8120522824598774863881398704944450165464210569221290065920000000 1067 10562151743433590296622952306318878118854907109425052385280000000 1068 12058355200704490673640720156462046144035582146112305233920000000 1069 12055203342486504064858047455138295638579500605708624199680000000 1070 10518267962045076776994551223482118961967216527807610880000000000 1071 7972521844967949088056392853260874662722900018626507571200000000 1072 5217638889528513591112437826154599504442138600997598003200000000 1073 2924794350655794792887694371476187363178540167156937523200000000 1074 1389582305430868869493408799862609987404922766334361600000000000 1075 551779556763176338020770614006375057995260603463106560000000000 1076 179679459998762060617265709546421963128206323391397888000000000 1077 46721480813793824452423978324676244236662360648974336000000000 1078 9326486009034839762583780176364032022328919583621120000000000 1079 1341722703300847688938499473722462151400482752430080000000000 1080 123808998595772001371631872148005735091637164441600000000000 1081 5502622159812088949850305428800254892961651752960000000000'''.split('\n') N=int(input()) M=int(input()) if N==0: print(max(0,1-M)) exit() if M==0 or M>N: print(0) exit() print(S[(N*(N-1)//2)+M-1].split()[1])