# b035596.txt - Table of n, a(n) for n=0..1000 - Ray Chandler, Sep 03 2023 0 1 1 0 2 512 3 0 4 47872 5 92160 6 2671104 7 9246720 8 88632832 9 300627968 10 1708766720 11 5099440128 12 21224886528 13 55690063872 14 187789235712 15 440993452032 16 1275935628288 17 2731242852352 18 7030806944256 19 13931439616000 20 32700492351232 21 60727177943040 22 132265798957568 23 232489286952960 24 475975051135488 25 798178364098560 26 1551196299914752 27 2497562228520960 28 4642952887622912 29 7215068640337920 30 12908380661411328 31 19443744156917760 32 33643329994307584 33 49297164560867328 34 82828141248246272 35 118418772227022848 36 193849526955725568 37 271102147567044608 38 433593593575076352 39 594458326752049152 40 931125741215884800 41 1253805843105011712 42 1927238462922352128 43 2552967252716759040 44 3857691982552443136 45 5034302471574016000 46 7489570733591479808 47 9640712742277263360 48 14139582675191190528 49 17972311858619166720 50 26016307328533629440 51 32685011264751390720 52 46746585999291588352 53 58098204321139292160 54 82170997705578097152 55 101105693097107589120 56 141526613945760940544 57 172520002033222625280 58 239179367357371489792 59 289027755505239349248 60 397126334068911863040 61 475995896823365419008 62 648563578251992555008 63 771448870420179402752 64 1042912236093588795392 65 1231639896364638093312 66 1652819372914161934848 67 1938770415778806546432 68 2583806961204581296896 69 3011576944531809576960 70 3987439355289979003392 71 4619711339445221939200 72 6079125423176599592448 73 7003097544254369658880 74 9161976044183251260928 75 10497765393205319239680 76 13658512655931230273792 77 15570051814351323770880 78 20152481470258681492992 79 22861535461925999431680 80 29443586511919194508288 81 33247648179319431352320 82 42618630760925319002624 83 47913603853874855620608 84 61143369026918810072832 85 68452122886131797219328 86 86980352313121922472448 87 96988432278178754930688 88 122739208157543673477632 89 136339214089418630776832 90 171867185198771654315520 91 190213589118987073697792 92 238889427419552553209088 93 263465892492019430400000 94 329710372986097756786176 95 362411962022990548623360 96 451989937971666760869888 97 495222962232524391505920 98 615610795481316312928768 99 672413455348952383037440 100 833256150541388219482880 101 907443559882268335933440 102 1121121001690858090516992 103 1217458667994415359621120 104 1499784039544267667052032 105 1624194392271810282362880 106 1995272136257592814749184 107 2155079255382223478384640 108 2640354911580942041962752 109 2844573205233771183280128 110 3476113213675038585628160 111 3735786425104462711615488 112 4553832628378576970073088 113 4882430213637968183980032 114 5937281441828737879337472 115 6351160044631144280788992 116 7705441952188240291057408 117 8224380403165876061222912 118 9955774792773340649294336 119 10603591766675391580293120 120 12808108140216422310769152 121 13613372303514834282178560 122 16409257500580447311625728 123 17406100657726466886604800 124 20938497371792972088845568 125 22167541751819510955212800 126 26614023666778142808325632 127 28123435060116294425804800 128 33700565559954110227996672 129 35547244490979767641866240 130 42518327620587324019163648 131 44769251092468652659015680 132 53453467969926388839684864 133 56187194507337682212415488 134 66970346016306048730235392 135 70278696715011421691025408 136 83625804377311888227388928 137 87615732397294201916602368 138 104085784208467981360461312 139 108881444561523852754470912 140 129144611667185926998749440 141 134889642184816200325558272 142 159747336019544065471682048 143 166607358967518720526684160 144 197015547345415615222742016 145 205180899192521168257617920 146 242277154344792874112506368 147 251965848598879517521735680 148 297100660857672136020158208 149 308561585543997935144540160 150 363334543878874462209784320 151 376850891032425938878556160 152 443152406611505125179730432 153 459045325950497180399994880 154 539104658030859099751296512 155 557737120621213103658301440 156 654177556137762337496481024 157 675958406179043037411532800 158 791860546223039787439795712 159 817248709897393578980548608 160 956222928744997047322286080 161 985731738164048770027757568 162 1152001004589496729375584768 163 1186202582019874763106803712 164 1384696969338028440257245952 165 1424226601830301630295427072 166 1660690963567057502623379968 167 1706251380575714700617889792 168 1987367834051960578155480576 169 2039733280308158299555092480 170 2373260322020121512799872512 171 2433280294466790912173189120 172 2828210570321435602308401408 173 2896813060972207991424798720 174 3363552032656925084712273408 175 3441746088391707507725905920 176 3992314075992233312742454272 177 4081191451111336421241630720 178 4729451793219108813596477952 179 4830187430562759359286169600 180 5592103788326623159247601408 181 5705954819402731779939235840 182 6599880962195767428404898304 183 6728183865475267833522259968 184 7775189615109947629549117952 185 7919355113826020369082329088 186 9143592493740074432826859008 187 9305097709492730963975067648 188 10734211747367385987950171392 189 10914589052859743971116859392 190 12580178122195633062241410560 191 12781000054724460402204721152 192 14719131115621688362121515008 193 14941990621660366310320619520 194 17193775236228480594322694656 195 17440260415655470410434887680 196 20052497972093031749290773248 197 20324160377341016573326960640 198 23350055561934847837591822848 199 23648370981495949977332602880 200 27148333192953361937656757760 201 27474653709123607903928186880 202 31517186818327830730718172672 203 31872682774572153345519421440 204 36535374398817439160275214592 205 36920964741355913970969292800 206 42291585029375282450378520064 207 42707854299105582839737077760 208 48885575115988353315128732672 209 49332675159139046534855282688 210 56429421523032452782114060800 211 56906955760348077528427573248 212 65048902420392566425403234048 213 65555790263430320717470881792 214 74885017425709004188478904832 215 75419336153102195993855895552 216 86095659563793860226899286528 217 86654460668103999157767555072 218 98857452556117002134068399616 219 99436549241013427842713303040 220 113367768012057908469558537472 221 113961490157746481269733498880 222 129846938224314309390539263488 223 130447850743948871271291248640 224 148540681477595860719629928448 225 149139261556252323948085207040 226 169722758066853390747381043712 227 170307026304762825422758256640 228 193697876593348717290280280832 229 194252976563532230413626869760 230 220804871568616128056192045568 231 221312591742714133659195340800 232 251420174912784073114039186944 233 251858406304403579587996162048 234 285961605590022470962367104512 235 286303727808810478460345018368 236 324892503385501929174517266688 237 325106691083647177402733334528 238 368726234700885913301780751872 239 368774675622884532299487670272 240 418031100234969138441974522880 241 417869115247053761406679314432 242 473435676528831753854722451968 243 473010731102000293885047214080 244 535634625597277882300189028096 245 534885221242647730373214320640 246 605395009247128956220980054528 247 604249442349390898351946188800 248 683563147205198515582930866688 249 681938121563971052069952153600 250 771072060851838363857712627200 251 768871139016145493794457753600 252 868949547187480306954240787712 253 866061424349497666599496908800 254 978326930657589098168643190272 255 974623513451998855891549224960 256 1100448543634209265492273250304 257 1095782814662403385501250027520 258 1236681989708493394822896517632 259 1230885636965537985814407610368 260 1388529247497259238872353176320 261 1381410036116673968881248790528 262 1557638676417121175092223164928 263 1548977538256438801200919222272 264 1745817989841839724134460698112 265 1735365804402483393542936082432 266 1955048265242383059312299161088 267 1942522303242097146428481226752 268 2187499065325351389591180595456 269 2172579063911262934150210252800 270 2445544748844848872605498988032 271 2427868584940773481174825635840 272 2731782054676996762553529555968 273 2710940980289902283376512962560 274 3049049047926905915786710194688 275 3024582448384070870460487004160 276 3400445522297361887833712477952 277 3371835155336748437099242690560 278 3789354958699486107445196749312 279 3756018629079675656894334494720 280 4219468146141469790825364720128 281 4180752766962098630514174658560 282 4694808577305879016965943094784 283 4649982565522182833665165129728 284 5219759737933258105046844579072 285 5168004687595790791557052981248 286 5799094416184600415239934995968 287 5739495988723494351454874411008 288 6438006165573040672046214346752 289 6369544131960714099971412631552 290 7142143062851739923732390310400 291 7063680427703428895066341466112 292 7917643910436847851695270236928 293 7827915043028720233490861475840 294 8771177041548693946419714126336 295 8668774733331815913019129804800 296 9709981895288644668768904734208 297 9593343257736161972449998428160 298 10741913538351659965360564233728 299 10609304648877864531128584120320 300 11875490320024425142473529616640 301 11724989517238700507748864184320 302 13119944857555620757992658519552 303 12949424580241525244718631464960 304 14485278559928701777021219607552 305 14292385616847680579686331985920 306 15982319909539464705930233055744 307 15764454059427969286806825390080 308 17622786733302382911772754894592 309 17377077446237635240506613659648 310 19419352707303618715681831856640 311 19142633969932999643756053137408 312 21385718352307966647595981521408 313 21074501370245099961448214833152 314 23536686791235713989690279009792 315 23187130432196748091738309875712 316 25888244554178289680727443387648 317 25496123365137516290617409912832 318 28457647731644197960386108612096 319 28018317352400702214037377269760 320 31263513792545527424350333448192 321 30771873576582547676476336128000 322 34325919399977581520993380622848 323 33776372041332940468651836948480 324 37666504575138070916163181456128 325 37052912527155408826085385185280 326 41308583577806928292295365140992 327 40624222036070182440208241940480 328 45277262890693170778134687227392 329 44514769098126087443520055572480 330 49599566714682318851768477849088 331 48750885331684619925778448517120 332 54304570402618637720842493165824 333 53360894669173189692092880171008 334 59423542280763856979477201925632 335 58375250680645685067311980105728 336 64990094329522035623759556430848 337 63826682449029601772063961305088 338 71040342218443916440457637100032 339 69750349473413428959152213471232 340 77613075214959581894593280997120 341 76184006100170246344816407304192 342 84749936511772716354663536613888 343 83168176006159064314131838412800 344 92495614544421665147077550373376 345 90746337283730919226273115228160 346 100898045898211290283239829196288 347 98965118703829809256528582686720 348 110008630432586076940753642867968 349 107874507761158043954897385431040 350 119882459281090984027796259950080 351 117528071134211463866116968407040 352 130578556416395344494128258312192 353 127983188223023431756694742097920 354 142160134502481172037407328850432 355 139301298458729885054773851463680 356 154694865790066293593953550320384 357 151548163111624693441663418173440 358 168255168846691912724878939607552 359 164794142358259981119557825558528 360 182918511949701998173500742325760 361 179114488403406146146288626341888 362 198767734008628165829969800447488 363 194589655489368566441767240722432 364 215891383923319795535224170223872 365 211305627663311312244409551163392 366 234384079325577776870806392350208 367 229354265212912869115000884621312 368 254346885695115789746497292993536 369 248833670721926619364549721681920 370 275887716885441208671762574141952 371 269848575740092794553308175503360 372 299121758141775954007340769808128 373 292510749106403447846964730214400 374 324171912741484881659949632096768 375 316939428011013874917811233638400 376 351169273437706225124448607416832 377 343261772929180563880712583014400 378 380253619939047475306734517059072 379 371613347610546496617468412631040 380 411573943712384910077190443656448 381 402138625358950398799639412244480 382 445289001452051521391628241944064 383 434991522891769947284455312293888 384 481567898617083873945738219528192 385 470335963123684290921385100279808 386 520590704498792831681563697955328 387 508346468277724556606388437024768 388 562549100343797337376613459155712 389 549208784786640099103462987917312 390 607647062122887660582870038807040 391 593120541510012720929618716956672 392 656101579603739819648255069326848 393 640291942857272393800977973032960 394 708143413455663299643652110153216 395 690946498473879497179278504478720 396 764017892187308822626463557824768 397 745321791217515518415441277972480 398 823985750793672942844107941713408 399 803670285223243763793653089013760 400 888324013066894913543149055851520 401 866260175931343147050364015349760 402 957326919606334037398496703109632 403 933376284028962835429863167815680 404 1031306903647330204150625255302912 405 1005320995336976816026826241546240 406 1110595616914976418471489757428224 407 1082415248756520802016108063385600 408 1195545007799262002547995910400512 409 1164999574475757009709315771435008 410 1286528454241173334637137676807680 411 1253435184726525102956246978131968 412 1383941953815862356505141778087168 413 1348105119472792185117546999898112 414 1488205373598910983105356530724352 415 1449415449508305594095171033833472 416 1599763762505133793943144646432768 417 1557796539539676251743874916360192 418 1719088728896376326570332998283776 419 1673704373933376666782906926817280 420 1846679886365488860319841533293312 421 1797621947910928071272593278289920 422 1983066370718195337910922950455808 423 1930060727085979763961553379768320 424 2128808431293046274139726010500608 425 2071562178350157265303110486251520 426 2284499099882158132151458347689472 427 2222699375231583681018428372920320 428 2450765940642117486970307875588352 429 2384078680970972692749280004198400 430 2628272884515386965729111374366208 431 2556341512685266512276182285168640 432 2817722151817914976262721917973504 433 2740166190118065366088540952506368 434 3019856266788549086940901237770752 435 2936269872609686837812459587391488 436 3235460168040413088289278515953408 437 3145410588057726760316209624578048 438 3465363419003762806562160114657792 439 3368389357781594299560404609697792 440 3710442522604121332362385655964160 441 3606052421351791354682305734551552 442 3971623344578849339612969192119808 443 3859293565596832379073773180344320 444 4249883649999872711742391565849856 445 4129056562157790246733253031444480 446 4546255757740213177376668935003648 447 4416337718122645021162362143293440 448 4861829317797396867308099859714048 449 4722188544440046795446709003796480 450 5197754216567902845882719069544960 451 5047718546984925776183174673940480 452 5555243615353714441631455031855872 453 5394098145326740403711030767626240 454 5935577127574909856693598243348992 455 5762561724435198828927825236121600 456 6340104140361237944007420626763264 457 6154410824748175225328115876034560 458 6770247286400936761460806351017472 459 6571017476222428418488673555417088 460 7227506072136836850100911627526400 461 7013827682189777933697455342235648 462 7713460668618222264072662988584448 463 7484365059049767184028065615368192 464 8229775871542178214421855916895232 465 7984234638044714217190037931773952 466 8778205237250416743827095146019328 467 8515126835584590029608003196137472 468 9360595401687027116619819313026816 469 9078821598817549574636846852003840 470 9978890589569435676278639323126272 471 9677192733377351754473347603015680 472 10635137321279275047228131751909888 473 10312212420481526357620474692618240 474 11331489325242053236436807625051648 475 10985955930804166569548475596912640 476 12070212663834682234865594134342912 477 11700606542804837915462072998666240 478 12853691081138280330512373376159232 479 12458460673460495021576962404802560 480 13684431581140414189922178582202368 481 13261933229620687366092134110617600 482 14565070245286312051572324425798144 483 14113563188487919496949390611816448 484 15498378298582778929805720157037312 485 15016019416015019660490057815328768 486 16487268433771804077225822006809088 487 15972106732309977503727539726972928 488 17534801403413400399498041061750272 489 16984772233446155099379781728540672 490 18644192890049290220330332724692480 491 18057111879392279215242324548216832 492 19818820664960891856869797004736768 493 19192377358102414405268443295354880 494 21062232046386912010194829849847296 495 20393983236141428793481944830013440 496 22378151668427960231550699845116928 497 21665514406566534844607913717657600 498 23770489572238229112965704419813888 499 23010733845140558374597719014707200 500 25243349631487688068133109453254400 501 24433590686317907955171757037107200 502 26801038324472685676784549659494912 503 25938228630820036193915603920537600 504 28448073865658617075564090497372672 505 27528994697003761772932518169077760 506 30189195709855665843503998170709504 507 29210448328623419499061208051128320 508 32029374442657856934066309169202432 509 30987370871996693183725813657632768 510 33973822071217046853586043986705920 511 32864775436004436575306218176380928 512 36028002729877323697124435482083328 513 34847917148787079961618098330140672 514 38197643815661892953952135045120512 515 36942303825444639188453242218872832 516 40488747569084191314829864271493888 517 39153707061504180128907665094961152 518 42907603116248012278234688149766656 519 41488173767388141287529369532569600 520 45460798988708162583372172855864832 521 43952038159599482298068784132208640 522 48155236138083922107205191579514368 523 46551934224835514596075652295772160 524 50998141462952682955199501144133888 525 49294808673751796590987955019509760 526 53997081866100933647058486155761152 527 52187934401620959445626713127260160 528 57159978860774575738487273056115712 529 55238924473669097554597294164971520 530 60495123745150763812759778579388928 531 58455746653424742795931207755919360 532 64011193364849403205810526845961984 533 61846738492982782847860745421232128 534 67717266483914487684469127437711872 535 65420623004668327086139157357979648 536 71622840785323983178731300006906368 537 69186524934183821214147429827217408 538 75737850522732342293184224782577152 539 73153987655937022973122126770173952 540 80072684845812353634246265437216000 541 77332990711878142018426880870080512 542 84638206822243283269820909382921728 543 81733968015821890259205904073072640 544 89445773180090553615245002654529536 545 86367826745894764621445688434073600 546 94507254795038936003252031212548608 547 91245966948429979442181295020072960 548 99835057947676823109250563268956928 549 96380301877332474931762781582673920 550 105442146376784020018630891359203840 551 101783279093654753119482346621777920 552 111342064155350079697316084376970752 553 107467902350861342674288716525557760 554 117548959416844949640327123181757952 555 113447754292015885807745273974302720 556 124077608960079039347246460641650944 557 119737019985900598666174859863674880 558 130943443761826219091365107496699392 559 126350511329873613566320551934210048 560 138162575427241183677412450546570240 561 133303692348085907419723744162295808 562 145751823608982533493548440284727808 563 140612705414516604069916325507223552 564 153728744426855320759391346791784192 565 148294398431143865543910248669018112 566 162111659920712171811624207843240448 567 156366352992448823190297303663839232 568 170919688570300925793135965245047296 569 164846913568352517539821881179842560 570 180172776916719534472540135843732992 571 173755217738611097205299216872396800 572 189891732321136264510615327414613248 573 183111227512643062608863524536238080 574 200098256897455558972617360596131328 575 192935761769734628930045689207930880 576 210814982656657785328403381240328192 577 203250529855565832449137612705710080 578 222065507901615068191614140376801792 579 214078166372021332480888328811233280 580 233874434912286031903641349078149888 581 225442267198296493568888045912401920 582 246267408962320125856467198435009024 583 237367426782381805036132894831761408 584 259271158709257849207411130100178432 585 249879276743107552267805606989232128 586 272913538001697216492680302192629248 587 263004525824056450686151977888319488 588 287223569148009806948415432783282432 589 276771001241805253387911123936325632 590 302231487692432323821920691585758720 591 291207691472137720785644483036270592 592 317968788745632371841517544978418688 593 306344790519081379205232069188505600 594 334468274918150768211337463432280576 595 322213743712859789206063060777512960 596 351764105906457772715591585001682688 597 338847295084121197593747409549547520 598 369891849782727804420059752678087168 599 356279536363104074235895343744624640 600 388888536040837165817848155939617280 601 374545957653730760922409910368880640 602 408792710452522691111100288351227392 603 393683499833982920333102358001694720 604 429644491789106756090804590420888832 605 413730608735307315179701339185684480 606 451485630465696426779607848531971584 607 434727291155228328207135708668682240 608 474359569166302388366378496689252352 609 456715172758805221486756281617276928 610 498311505509897402595076933499343360 611 479737557926068108063176570205708288 612 523388456819045120322792465398661888 613 503839491604097661663274540629624832 614 549639327054378868281770080193270272 615 529067823223980423514641970856097792 616 577114975979897289380373727121643008 617 555471272744474893716415773633779712 618 605868290625770210898330658159412736 619 583100498885864144269079738181150720 620 635954259117114624105924410798954752 621 612008169619149200015305764854108160 622 667430046939007974459802332814550528 623 642249034977454652745931292481024000 624 700355075709854888924803443369427968 625 673880002258274665279106446616064000 626 734791104537114824667957398856428032 627 706960213686984461603804480961024000 628 770802314031332743267572468223561472 629 741551126613880374013427098846115840 630 808455393056393642125132890990709248 631 777716596318891329172625765095393280 632 847819628295945469132512674625483264 633 815522961500027115867570924614412288 634 888966996718004480905316105724820992 635 855039132523594714536686342682974208 636 931972261021873366199457598080361728 637 896336682516224222627669536753287168 638 976913068153666345898924867594010112 639 939489941380801333923114033204723712 640 1023870050978947895059445264562544640 641 984576092820504791422814886006915072 642 1072926933203253641406387098218971648 643 1031675274457295613197593058236661760 644 1124170637633574323722398099395484416 645 1080870681133401083874964137194219520 646 1177691397876247403031693346216903168 647 1132248671486581420302543993285089280 648 1233582873569116984898110951542148608 649 1185898877892261582044911905113487360 650 1291942269248292123393198066346718720 651 1241914319867955843831707050643343360 652 1352870456952357342827922084125208832 653 1300391521037809430743412501287956480 654 1416472102669468354420820075299149312 655 1361430629757530705561766493937111040 656 1482855796735401499911821020574055424 657 1425135543502490074186093561901158400 658 1552134188293318477110552352326605312 659 1491614037124318937471825517314961408 660 1624424123928759464248129773437249280 661 1560977895083954679904108985436346368 662 1699846790596188948113919833802029568 663 1633343047771746876464291658300352512 664 1778527862956290479414099656445962752 665 1708829712027966664025554187153999872 666 1860597655246140348682907764807085568 667 1787562535979846623824886189415790592 668 1946191277807386935699923644277406976 669 1869670748314123634451104191099822080 670 2035448798400623390411232381033754112 671 1955288312106963074260488856131870720 672 2128515408437267527128922537912670208 673 2044554083336110588729672767917137920 674 2225541594263455547432496566212407808 675 2137611974203148519377518159697797120 676 2326683313633716659904495787112444672 677 2234611121396829160986790120400209920 678 2432102177515525064052671276905738752 679 2335706059431617434646166519748147200 680 2541965637369225357438792680429291008 681 2441056899198802514795691099644221440 682 2656447178051298473792843245025928704 683 2550829511870832625854287364860192768 684 2775726516492479049314828498452023552 685 2665195718302890842885868403613093888 686 2899989806305852947185448233026487808 687 2784333484079163523972983122145128448 688 3029429848483756868637007940768904192 689 2908427120354758220683714114329096192 690 3164246308346071884507656575359797760 691 3037667490647805826943459435366141952 692 3304645938906350695592851407308324608 693 3172252223739933624216969604732549120 694 3450842810826145854976599747516525056 695 3312385932847023069601109347418081280 696 3603058549131914462847696778902594048 697 3458280441225969979856562742685706240 698 3761522576872965396614826009380085248 699 3610155014387046534621002521878190080 700 3926472365903089409757152409732732160 701 3768236599085425621750436109234094080 702 4098153694972771886150749455617859072 703 3932760069269469862511100230843351040 704 4276820915323234158246010865860923392 705 4103968479167511589882019107962470400 706 4462737223977983594617329869740286464 707 4282113323699057535560626205076111360 708 4656174944932076664022973818212502272 709 4467454806400644456999793039011391488 710 4857415818443914440189441721352512000 711 4660262115060950872366831455207938048 712 5066751298639098097343089131448974848 713 4860813705264236957178546522242414592 714 5284482859640674456863467024906245632 715 5069397592045741001299546156736612352 716 5510922310445000198934857901039952128 717 5286311649867308160298409373100879872 718 5746392118767449591388068758807574016 719 5511863921126267113924014728675184640 720 5991225744087286176034769042660355072 721 5746372933415404241806915531784212480 722 6245767980126215479264817177418316288 723 5990168025756814639800497821351587840 724 6510375307000435190914995561233454848 725 6243589684037436349575310460907018240 726 6785416253291403119954590178756762112 727 6506989885879200201871597474810275840 728 7071271768286053348286823882156677632 729 6780732455181954345942135493971855360 730 7368335604642809150514344180706119168 731 7065193426582651543218451145722214400 732 7677014711745469238377923441420889344 733 7360761420079720354702773237980110848 734 7997729640012883559481322914982170112 735 7667838026077080185438100748153479168 736 8330914956438288092088054024227391488 737 7986838201107906526134276020666851328 738 8677019671638236718221258000886108672 739 8318190674504008436472439050839171072 740 9036507678697254239082225544569742080 741 8662338366282547156234625811322079232 742 9409858204100639859341868242226221568 743 9019738816527804543558794664111175680 744 9797566271054276976207524610527786496 745 9390864626551804683812877931582986240 746 10200143175496854858310668042143139328 747 9776203912123803372761998442690406400 748 10618116975116582808610572914334841088 749 10176260769064990164532590110803660800 750 11052032991691279722398063149249881600 751 10591555751511198225011908471354060800 752 11502454327077653651666615416124122112 753 11022626363152990307693820870646886400 754 11969962393182649174272619171110595072 755 11470027561769186761085198596595650560 756 12455157456256937172536631739243048704 757 11934332277376725600962677009788549120 758 12958659195857954212080432794374687232 759 12416131944326697380494660636066695168 760 13481107278837369267630253390637355520 761 12916037047683480937423949045098211328 762 14023161948715466287478089935269641728 763 13434677684231122188769763513298819072 764 14585504630812684271181491259090502912 765 13972704138458449106499662435577823232 766 15168838553516454434782668049400626688 767 14530787473881903997303574902460055552 768 15773889386069518963528291082782457856 769 15109620140072701409552845821822566400 770 16401405893274110143584529916590981632 771 15709916595762688613246039549913661440 772 17052160607514714692328947158616832768 773 16332413948411197885955559430011381760 774 17726950518510648273498237531900953088 775 16977872610623238060754213218697615360 776 18426597781218321922419342847177764352 777 17647076973817579251922499077258229760 778 19151950442311897883328260263133722112 779 18340836099551641702176826214947768320 780 19903883185680009673233588154333417728 781 19059984428918609652950115705316700160 782 20683298097385362565365857125770909184 783 19805382510440856419423851506705174528 784 21491125450543338693371600620575644672 785 20577917746892589878190182869878018048 786 22328324510585208211755148456719456768 787 21378505161493610802683344597801463808 788 23195884361381197038968046061547767552 789 22208088183925222396689709374040676352 790 24094824752708485321304764414384601600 791 23067639456628640498240311172706854912 792 25026196969559211587025427992728406528 793 23958161661855732806340978221727549440 794 25991084723793738344218635472921652736 795 24880688369951564705385689996222822400 796 26990605068654798381208332006062923008 797 25836284909358051443896390094718197760 798 28025909336668690058566098161173360128 799 26826049258838014216028802553230827520 800 29098184101470427276543079976050391040 801 27851112962429113780434575069640171520 802 30208652164100678436637941576314941952 803 28912642067647492350038485112197570560 804 31358573564333451503214174537012548352 805 30011838087471495350991904276770539520 806 32549246617604802159578523038534726144 807 31149938986646572067218309341713479680 808 33782008978124362028972360225064904192 809 32328220192863370981444197451217000448 810 35058238728763207018358399049084003840 811 33547995633372154652786633844908894208 812 36379355498323515103541566541170174208 813 34810618797607963129087034957432573952 814 37746821606807601408248053652675118592 815 36117483826412457109701811892451520512 816 39162143239316269376254390152909493248 817 37470026628450075318430013758944325632 818 40626871649218983372600412431058602496 819 38869726024428047820670122067633295360 820 42142604391251153394954746760537857792 821 40318104919741921365061998289646745600 822 43710986585206829986866822229369563648 823 41816731506180577326780262325843527680 824 45333712210908340218787932109043286528 825 43367220493337260594354559073523476480 826 47012525435147857078940688962403835392 827 44971234370385891929886032898091079680 828 48749221971309588174040409030418216192 829 46630484698894910138105132671082414080 830 50545650472395198700720445975023410688 831 48346733437364087036363309230239006720 832 52403713958189251675408119378212532224 833 50121794298183180998436136922086391808 834 54325371277315858908795424435052831232 835 51957534137724947062966554213560598528 836 56312638604952392729153881979379067648 837 53855874380298906605875102305911973888 838 58367590976981014587924376529380024832 839 55818792476706400769234470887015340032 840 60492363861373936056222343340596600320 841 57848323398151812652213047700976596992 842 62689154767623744021093037556346623488 843 59946561166279447179538663300856678400 844 64960224895045798838917967716950507776 845 62115660420120408088259746170271477760 846 67307900820795655568557537067826329088 847 64357838020748912175469078044668088320 848 69734576228460668002151981519286586368 849 66675374694462835431936321599076618240 850 72242713678101416896252555861286484480 851 69070616715318897596258732088153354240 852 74834846418635361485539135312237262592 853 71545977627868764691744896142514411520 854 77513580243472150987822979462491167232 855 74103940010958486988340028623021025280 856 80281595390327354381404660059307702784 857 76747057283470096343433901768605911040 858 83141648486158976300720675186758897152 859 79477955552900865842140399924574435328 860 86096574538189028548075096810884680960 861 82299335507692689948627805392665714688 862 89149288971990624601018561692032716288 863 85213974354241278910015724333726687232 864 92302789717639562798363213415496476672 865 88224727799532380884050637924931592192 866 95560159344948166853979177480026935808 867 91334532080370053198581516575684698112 868 98924567248818264267252312040316551936 869 94546406040180104349111875733374699520 870 102399271885769608413483278081013207552 871 97863453254390224902154750455133992960 872 105987623062719792998375356546113852928 873 101288864205407022546372177243515033600 874 109693064279111772591078663706848839168 875 104825918508229178318456653973838489600 876 113519135123505494604678178847103359232 877 108477987187755251773079188592935833600 878 117469473725770870918319380994015503872 879 112248535008864286861864104349758320640 880 121547819266040375930768526139688322048 881 116141122860367311880793656366124462080 882 125758014541600956853624181185058302464 883 120159410193948090434354626271494770688 884 130104008592926686199750804028794113792 885 124307157519232070394354668391175108608 886 134589859390075680459003749700922608128 887 128588228956143398798944498892241389568 888 139219736580697257693755750932033024512 889 133006594845731127091782975088620890112 890 143997924300918115101002808584597962240 891 137566334420667327643260314544211433472 892 148928824050399480401398223426388616448 893 142271638536641783778493637170693570560 894 154016957632880733210009954138626735616 895 147126812465900206266608468861062840320 896 159266970163548909357098364767637741568 897 152136278754195574162216601110919086080 898 164683633144597797555068945200689463808 899 157304580142445201846492472570833960960 900 170271847610365019002905332608110385920 901 162636382554409501959722905866378536960 902 176036647343460551692927292533314028032 903 168136478151732150572423166772136417280 904 181983202163325627606423310215430835712 905 173809788457705471386213008923480995840 906 188116821288686797983564346991494362624 907 179661367551149345022636408068300851200 908 194442956775396234817740572776156410112 909 185696405331816822638365045337627127808 910 200967207031176021104077697228631610880 911 191920230858764885345999283098618400768 912 207695320408811283676198012305715411968 913 198338315763154447425603674282384166912 914 214633198879364546265462220969550961152 915 204956277736969757345711123875391926272 916 221786901787011632346030387520653338368 917 211779884099173811494730741485492180992 918 229162649687127833082631754457060850176 919 218815055440843266634352570700490106880 920 236766828269281881034453236445329254912 921 226067869350853623864955318579549931520 922 244605992366824541010122582641863044608 923 233544564223713164838456984768412907520 924 252686870054788351501569873778865995008 925 241251543151172255626265199712096542720 926 261016366837845229399477152232584719872 927 249195377899263200669773908150699499520 928 269601569930099293226196486331354929152 929 257382812972454834290567779141334016000 930 278449752628523371995377605980440375808 931 265820769766635486061587845096432394240 932 287568378781879254169438258926796763904 933 274516350812667854746076043026621319168 934 296965107356993800251747943618739876352 935 283476844112289679368434736197895436288 936 306647797104295599602848833485906462208 937 292709727568164911224228478806912718848 938 316624511324549903460218671646180910592 939 302222673509921373263726571597491054592 940 326903522738763118288733294305380911360 941 312023553318042649357788440161115492352 942 337493318463262202983181085979938129408 943 322120442147514181605086021754353233920 944 348402605091988886643911294563722720256 945 332521623753156275260162229110330798080 946 359640313888083717281480796204741544448 947 343235595418609924313700657712330199040 948 371215606086870572576647849428020936448 949 354271072990975082567792418867571783680 950 383137878312388418500634298403674319360 951 365636996023135221615773781003224647680 952 395416768109653797031979838050344182272 953 377342533025836744922472540563122595840 954 408062159594874767308253244848675937792 955 389397086831627072739379481335884339200 956 421084189225874822314666463139267089664 957 401810300072790982482715306036713308160 958 434493251695023662702774284798181187072 959 414592060775461090122967002957239205888 960 448300005947010637691295782285317017600 961 427752508072115196825199974669240680448 962 462515381323836167443501829203052405248 963 441302038034710608354494343412728020992 964 477150583839436549133528540844994956032 965 455251309630743469506188517647006410752 966 492217102586398227476107206482129084928 967 469611250804559648994629135568857782272 968 507726716277258887246655516625620041216 969 484393064686282768868226396808598845440 970 523691499922934607785610244593598223872 971 499608235930764603717825400329093089280 972 540123831650854815265158155794206482688 973 515268537189003285888996072784644157440 974 557036399665429885280359635074003138048 975 531386035714515550850945352460751523840 976 574442209353519993872299216514796301312 977 547973100107190649144977524941569085440 978 592354590537618197241266217355289836032 979 565042407197195545339494359443144028160 980 610787204879505747087350420576591795968 981 582606949071543627638899631486446131200 982 629754053437183327730545420666092460544 983 600680040245982371790292560391477045248 984 649269484377928241001506764064390502912 985 619275324984899247342356421428095469568 986 669348200850374573529924130450727013888 987 638406784771989630851884602810928969728 988 690005269018561066746523417625521827072 989 658088745934475607100753576576035561472 990 711256126260939780998269319951537671680 991 678335887423710303655622659065016901632 992 733116589537387710081106936965854906368 993 699163248755048824130595867236870676480 994 755602863927313269733437782263770845696 995 720586238109913929337171943050209239040 996 778731551342000061806210847253422121728 997 742620640603032371245616254996240435200 998 802519659414381513619334206402543948288 999 765282626717866220539592325268935014400 1000 826984610569491918204671609371130508800