結果
| 問題 | No.2188 整数列コイントスゲーム |
| ユーザー |
 googol_S0
|
| 提出日時 | 2023-01-13 21:59:44 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 68 ms / 2,000 ms |
| コード長 | 40,694 bytes |
| コンパイル時間 | 246 ms |
| コンパイル使用メモリ | 87,132 KB |
| 実行使用メモリ | 71,680 KB |
| 最終ジャッジ日時 | 2023-08-26 03:45:07 |
| 合計ジャッジ時間 | 5,302 ms |
|
ジャッジサーバーID （参考情報） |
judge12 / judge14 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 64 ms
71,284 KB |
| testcase_01 | AC | 63 ms
71,356 KB |
| testcase_02 | AC | 61 ms
71,660 KB |
| testcase_03 | AC | 61 ms
71,680 KB |
| testcase_04 | AC | 62 ms
71,324 KB |
| testcase_05 | AC | 65 ms
71,324 KB |
| testcase_06 | AC | 63 ms
71,184 KB |
| testcase_07 | AC | 65 ms
71,292 KB |
| testcase_08 | AC | 68 ms
71,460 KB |
| testcase_09 | AC | 65 ms
71,476 KB |
| testcase_10 | AC | 64 ms
71,324 KB |
| testcase_11 | AC | 61 ms
71,348 KB |
| testcase_12 | AC | 61 ms
71,136 KB |
| testcase_13 | AC | 61 ms
71,360 KB |
| testcase_14 | AC | 61 ms
71,492 KB |
| testcase_15 | AC | 65 ms
71,084 KB |
| testcase_16 | AC | 62 ms
71,412 KB |
| testcase_17 | AC | 65 ms
71,352 KB |
| testcase_18 | AC | 62 ms
71,184 KB |
| testcase_19 | AC | 64 ms
71,596 KB |
| testcase_20 | AC | 63 ms
71,412 KB |
| testcase_21 | AC | 64 ms
71,496 KB |
| testcase_22 | AC | 62 ms
71,432 KB |
| testcase_23 | AC | 64 ms
71,284 KB |
| testcase_24 | AC | 63 ms
71,188 KB |
| testcase_25 | AC | 64 ms
71,264 KB |
| testcase_26 | AC | 66 ms
71,412 KB |
| testcase_27 | AC | 63 ms
71,568 KB |
| testcase_28 | AC | 66 ms
71,288 KB |
| testcase_29 | AC | 64 ms
71,412 KB |
| testcase_30 | AC | 63 ms
71,184 KB |
| testcase_31 | AC | 63 ms
71,660 KB |
| testcase_32 | AC | 61 ms
71,192 KB |
| testcase_33 | AC | 61 ms
71,288 KB |
| testcase_34 | AC | 62 ms
71,484 KB |
| testcase_35 | AC | 62 ms
71,312 KB |
| testcase_36 | AC | 62 ms
71,348 KB |
| testcase_37 | AC | 61 ms
71,596 KB |
| testcase_38 | AC | 64 ms
71,324 KB |
| testcase_39 | AC | 63 ms
71,580 KB |
| testcase_40 | AC | 62 ms
71,440 KB |
| testcase_41 | AC | 64 ms
71,188 KB |
| testcase_42 | AC | 63 ms
71,316 KB |
| testcase_43 | AC | 64 ms
71,136 KB |
| testcase_44 | AC | 63 ms
71,136 KB |
| testcase_45 | AC | 60 ms
71,348 KB |
| testcase_46 | AC | 62 ms
71,284 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])