# This b-file was computed by Antti Karttunen, 2022-02-25
# in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread
# with the following program:
#
# default(parisizemax,2^31);
# v007691 = readvec("b007691_to.txt"); \\ Prepared with gawk ' { print $2 } ' < b007691.txt > b007691_to.txt (from https://oeis.org/A007691/b007691.txt)
# isA065997(n) = { my(p=sigma(n)/n); (1==denominator(p) && isprime(p)); }; \\ ~~~~
# k=0; for(i=1,#v007691,n = v007691[i]; if(isA065997(n), k++; write("b065997.txt", k, " ", n)));
1 6
2 28
3 120
4 496
5 672
6 8128
7 523776
8 33550336
9 459818240
10 1476304896
11 8589869056
12 14182439040
13 31998395520
14 51001180160
15 137438691328
16 518666803200
17 13661860101120
18 30823866178560
19 740344994887680
20 796928461056000
21 212517062615531520
22 2305843008139952128
23 69357059049509038080
24 87934476737668055040
25 170206605192656148480
26 1161492388333469337600
27 1245087725796543283200
28 1802582780370364661760
29 1940351499647188992000
30 4010059765937523916800
31 27099073228001299660800
32 143573364313605309726720
33 352338107624535891640320
34 34384125938411324962897920
35 686498980761986918441287680
36 2827987212986831882236723200
37 72746008559331545135067955200
38 115131961034430181728489308160
39 2360137508360958913826987704320
40 13361233986454282110797768294400
41 32789312424503984621373515366400
42 80538025176927765566622699356160
43 217722929396007151091289843302400
44 534305825433598205172314957414400
45 6204968071598247960303205991055360
46 45018882179216278209289221235015680
47 2658455991569831744654692615953842176
48 13188979363639752997731839211623940096
49 636279286816242760423054379770183680000
50 900809435698475541919724282581258076160
51 5027991804154655285871782854518594600960
52 17955160408011298190208066009641779200000
53 69401922567934198070320735661287916175360
54 5157152737616023231698245840143799191339008
55 54530444405217553992377326508106948362108928
56 133821156044600922812153118065015159487725568
57 1966044603041307019027644125759103098242990080
58 42274041475824304453686528060845522019324411248640
59 191561942608236107294793378084303638130997321548169216
60 4989680372093758991515359988337845750507257510078971904
61 141310897947438348259849402738485523264343544818565120000
62 13164036458569648337239753460458722910223472318386943117783728128
63 48949643430560436794021629524876790263031553747866371344635527168
64 713287896776577122497355829377640852485760737912531339949234978816
65 15502381086169113100250590183664788846018448946703031358518722560000
66 23361923592618741050590062043477131121314459866398752235742822400000
67 38686788011121056578700900574076814908809553749239322473792016482304
68 57713546223799971103662580404885081100965146124863318716687633612800
69 318169247391962748189900043049059135703522232534529605673943040000000
70 409782874235824708837450606126936069129304803154874054366103339008000
71 582821092966656803228128116952290376153412974161059623874782769971200
72 6452947316067937663416716845438027048867593424590560736964796586393600
73 44828737039702888991401809596138010582841359879253837507147347271876608
74 68688966922031309945174465761834751373920047004215278394826366933532672
75 69545266398342727023722631358642015298733392735616519269602270642176000
76 299615640532984606597125470081433037864765575476840138536269958348800000
77 12972449821666082362783418736682194690636322185725962467187836636364800000
78 20282646473609085156236302632360456199758153089137626468947337412608000000
79 34493877198688394697394823968609123706029600512135632542151228195491282944
80 124410491515081648227984670674768946296936315594609103764463728721920000000
81 227894616578115321414961385940808818367624494582862974598912412093094297600
82 243627145683632337541966199659806240259020095594921496488983073390592000000
83 578537677637165799498960580135949082850976427158972182429584881142988800000
84 1067828509039414966541464931841573101123993590445447724878246054146867200000
85 2523230494127318014355380960134515420722899857385172183614793640494025932800
86 2736233589274761703235441134817707435039287292760531738532073439232000000000
87 5617590263469692461744450778922772127095310103617266338967016674689024000000
88 6113735641434080299571831398172382301015059433943802722604953373140582400000
89 11822909627982414017623323256938803083976596159950356153884916592515481600000
90 14474011154664524427946373126085988481573677491474835889066354349131199152128
91 26858749569550544873070080560343416018763475799423745716289183150310797869056
92 27193579662670039510486783544328674726061198346107055012722193863014350848000
93 27259607799180622243279524431589279852457243906185305615391539004671262720000
94 36461731375422790200049507504224575680453144803740733915037338225868800000000
95 54765047586062826077147104232519533773657166644091409455081090503841475985408
96 97718179472691973067025524016904045403285849149449049247269303180639070060544
97 1058432493851272505433162341756539259435410113004034309326827312980982497280000
98 1765788742211652226795949896899247021185777395931732353018219794626772992000000
99 1857291005373566351351820361359859616257223648514223908600464092270247804928000
100 2682918995253425683183855356691141354365666724401559402025821945561350144000000
101 3267294398500222368450261881895860279882631473478460956232102633772836454400000
102 5599992112626152957615066315285121679036927185568552625644527500831961907200000
103 6070066569710805693016339910206758877366156437562171488352958895095808000000000
104 7930917389698947323676416941213065781271418883868069555313749213665296384000000
105 9904157437231054405400685972979779471656649526052945343730269373543219200000000
106 13487790701729822904972967765042898578513187190976458260434978753935365910822912
107 21170095875082244878026583542322254240419077359649776990159437255769115852800000
108 44954850413252391288580635070082156131434163071262373667521016654639874965504000
109 88551677944411242892294975443276201965497448498065529379599857155248300425740288
110 113069494806512253481544565022523467367617505440830167445341187950010118963200000
111 586291977715352581820603398802457614263543951758158780599396247914445537280000000
112 2196589304395029335964883858971509919871686780252707194665556557984801226752000000
113 2390591995860190399624201986818903783443194214773073890732739029429099115315200000
114 2540145984650422699786438729642705263573356155976618071016701108944761782272000000
115 6549096139588623356377131453027611949713035117549335458597551434741879668736000000
116 7629398992618916494347711342835788496620976101861612512824661802280187055833088000
117 26039066013191028435041993830046111543717670216207259308253510369014919987200000000
118 184781924372478236496197558734384332231417510479189618215164571512344816910336000000
119 315374790384054311262191942756505573913808017600442661173987667342691653302353920000
120 335262085788413373481659174303548873246136808061866499212140789635669689368576000000
121 413868115397556203624257790605260143631946430317607991092410053640572227750461440000
122 690458449806481340167482178110362144352461082634623443709351962786487563452416000000
123 726237651058738039920071666324232576146279836024320637699581316534175657826975744000
124 1606376105545205480958192524197465863877796712608687336011572840200748052216415256576
125 5317040171846295094110884277370467099549456207567149965861158577317298757959680000000
126 6506613515483667018449676450491160367057969293776979604120864113095261465533634052096
127 6638787747805429290663032690242108024794908182040418435976356541046097287577600000000
128 34625463861934857866504118671022510711069778103433886737026425811008293190601250177024
129 44212416943333749515937680623400548037283592373279684706184543898964365770594713600000
130 45005199929768402871905331165052512876110029130304127865566421764094817337469829120000
131 108928591495234236245532150166728643728922356952790582238682289468219391643484160000000
132 127426263008100359962264680362154707180615147073501435707594335893222829370376192000000
133 249355560631769684495179755646207457172458265547647283928893341630295376894880015974400
134 793063573915618080424976836774036653248826037896430590967965712773557319445553715609600
135 2560826592715906873441737348908544954304137097588021202695037291512948842433609728000000
136 2983246452687700225577216950641669593696911746227518784838417811718352732150168551424000
137 27456242219777290214830958126214646930836221277478109534373004881961639162522191790080000
138 38469035723067950627779606889757562358083346384534708917277088469818907435453246341120000
139 39446392382280446911487380168142404316866349412283592158192101465067950467053309132800000
140 60715959446111409026262858774948900932015210464239198578436814859295179560819517030400000
141 110954618792346972665794922153004600556235641580601080761593356869671688471360485457920000
142 126752857997034271948840148240563026407363938524582455987193156628148648324748692108083200
143 149300067161380539885978852242583944610417431443256616829067169000559104693041476141056000
144 436747219556039472419470322228528808618132184182650783898055923740515150591152252518400000
145 4329769933333416461626135494947917935866764213982550753196826904282780921159084933120000000
146 16042106390053139317196546782994264164582854244487509267948774488300456463922205032448000000
147 17597926543476634075227111047266769521842176298479917906510085814873414390246039890165760000
148 20768713630396777741643153492322390045758301781049476948733094964835884295119349659729920000
149 31076519859582878621696827618305712549210750918920303553257705054310639253812747960320000000
150 47938857408673021203025174322146470183878212851796273086931646647627904572965896847360000000
151 49586357606096757923999922543545403743200073040219669149912049225753780231019094380589875200
152 54647877477803519781638406949240180024940588160852292050696997069123109460060326068224000000
153 97502974013071967829541365939273289683561353225094226746927885082282106339481960202842931200
154 229949493072172890651201011852832954245793119821036396908371886182408233465948579571957760000
155 236008579722503605737831375688048524282888116491737299671140729618369065641395335345555374080
156 1012825818584288978680055324669603740288843431904648614388451663809778540478330434570158080000
157 1507820893011553312282567962930546681097713697498802502801596586644387752061602242043576320000
158 11645819797348445821131187320666817575600296809054248063245631333974909503380547573697740800000
159 12054989452770264606115798186866482950086341392136185324554144273513604514406652118184021196800
160 15424322447890518750318052729880718568219804195532556714450204604241516949965304039368294400000
161 20472983538007447772198159101399990583848291604511412320760228506443430479639178015198412800000
162 43385458440673615184121802506696828145031460819057736714197175582125633675188849812344668160000
163 53310800953812684298751809406090211086959458319432571319406278511081797185885781227798003712000
164 58379289925212498499677987547216492060187883901751671431590665270817432057049541246439129088000
165 63497067923275872296461241744777504299475651717013443992882487932177446962502909533702062080000
166 93223013744149271268336096059502689540283115116478733979730815225395292603480577830970982400000
167 170776832450667345334201632091215694257300127410978066446078503969815044658263682662478643200000
168 170865936783689986822980545394991687175728748067807581555429833959803162634211439230844928000000
169 187931466598883158252390057039660024711291863106612019481877898940392780297832235008000000000000
170 291480513183790857580144400100287866050562757524820048206176582386865862383496053349416960000000
171 318341959423891647065104580498393899922507252935971988436822070865927532446003245897178152960000
172 683680643635048774527051005890860960284683980677866864821495682043781737856599986722255667200000
173 1032157558461062659302465186078239220524253957559647274702350272192324996874170634251481907200000
174 1604118436278356695857244268783318714150884672389140004445842595685942404964163645488328867840000
175 1693025991571176336833612360316626178287025438474921045369634982571620071596054508480757760000000
176 1774907378251176409183508862775470122822217548492859989544533110056163505244892231517601792000000
177 2609065515233329163893067608005580620856539354998947489903618945940320316934506487648092160000000
178 4911165536336784891462901174147838665941935372456643114061857931325438239729516661440512000000000
179 10480875138610097004741157835182615146297485376960474118773452711840394830807749898467341427015680
180 18745044851984279358780109510073176387182472224852337882537141198916988404151149502167777280000000
181 45413885086903664720659011007525071242410208511277944260750213388976164651689209802910597120000000
182 52050504274140269393995657704784933769696757029403841425085610182407749518670350516224000000000000
183 143909583327558876500253553815303214122741750339813320052069048653760024627024822301360128000000000
184 168090597863205415058717903523838625781152775761366986703644362901411839408950978585189941248000000
185 273692645235890985041146910389756383960918093734527358832340858777897491935084488216629215232000000
186 477229851127121442702554087684550329715586068950217026000783466197355273397494275003951716761600000
187 2042560684723361268339859581390422986808527550964573633858173179348534273658416552700547170304000000
188 6539962364962925243798189364211947234788197421159474683841640481690259225998663181510900837253120000
189 8005342960144371266140769276041842218885169273609119487263396090397843867840014433610109445734400000
190 18863735795135429357926598339727034593434784361635488470523830097438618848151197459265574980259151872
191 45258357850440097151585757020587688392005067732677945373124053432404569542432322692154424872140800000
192 267332702991245834288585468465419949333365591471150581171710441526476394728396236450658082462105600000
193 460725222622572878494448718407881372518718051436186867365676367954225353280620201613322704912384000000
194 517712265742750624566985186963100812664923696339723781566852343882711459791380800589747191808000000000
195 694024017506450694224827174997516353143011745007477944888555294598656399749152251289647307554816000000
196 1814550882065640377327066640981213897333424213920058974607735007815918955921852471552781708165120000000
197 3146508388734877890400857824426199633864402703362058708552774505590003146769469268155268102377963520000
198 4098230228694378134007721473075319808602189349010721107647139914851535714557392937367612672512245104640
199 4704596524531749094244682152129310015942692490091199320322796807701263805365575379537607079336345600000
200 5038657883148398821332424683134543009823817432932239360054148065188389210559480674453101920319963136000
201 8756243354164040129488180056091670848391062747387249404170148868752817827878842218967939940352000000000
202 8789273365655735281449420379461151901023519655719432865925559436268354537960338943242988945408000000000
203 19887157555825773966108244824875113009826272275094416595744985075897303588873860614296335743870566400000
204 100805175096217786927288125195468266953532757676614996130899969682679457624699009332554378090905600000000
205 106559234279061520392618649940400419777628030064313846019943296135446629371474658069962210465860812800000
206 208947546117437681422609905559398631891525337716612646298188200212964809415688471294777201992384118784000
207 451520199334669128497826682363160565360491511605085596514991297963055866352334472168010021215823462400000
208 510499586950209561366630270576929567025245967239188812424130341462927256844990402551084962797526922035200
209 2026526938901028164154713804590876176174601902433978176054928427279217857652849981675485068536053760000000
210 4999194596091604555112967405278875945146478624148438194832971929604529950276624505271953285822231347200000
211 10226944319613113099269449413420343500818986560144177682354291414999393827748989133677794329625834291200000
212 12825962772491466271036236672893337708626521120756784171791148340698846660624331410660692744690728960000000
213 25996884391257303906881255454308623808772019866511124709444553077097935639401300369746787845747507200000000
214 41445988820912113201082444146336814220297874478205922302846591804061637345627943837327299697652531200000000
215 113231888301954768417767801975816877145876945837574534879771491392111760709327587168074145579908307353600000
216 200855686759937553828823452433670975849437172538092461184849707892591034889188286472641440645120000000000000
217 1252260360721959183962778148689382344473080746515129295753885255481222862256452485718887529951998771200000000
218 1825104797907516483727612880875744095978409430708395210329297916773949016601150156167662181736604552396800000
219 1839590629185129207184053326551107601985956476442726020179178384651762769047966167222289520047652916428800000
220 2164592685396307944481502465630577029490853301597464387218915696022462462221959436629243243482759299072000000
221 3423864966356059750040637769663507924572943281229880369437992089141392131753730319909645762162589696000000000
222 3498344810320770368823867884148498585892512530322473811466285823950167093497826408549051400746466856140800000
223 4870992784112476769357580150897499166199064598848362001595341561060234569148281674092025422236195225600000000
224 5553581285618845219921983048721372596501236233588547118372538525578822028967070893062113505520147811532800000
225 47828696842119831700636445103713742690283781165292359481577985853945038620451524012686131741377607761920000000
226 51599271402132305384174959140685534767831122795792115309888589738442818047043704948323769755633468540190720000
227 73836373276960541988413642901270793820050819408934002048663373177862665299404140212631929282270278451200000000
228 81702638222971378006278791180590339431405293152521399667011410948251420672751018659219572068205047140319232000
229 102403843129020779688213386437643153289240439328109045386702024951249200434149035070566969417249167350169600000
230 111854602592640030139015178885025872483460904861854265169793893272971244914345562483311776679741018341376000000
231 148781497958132001904134626554157671774067807090897764677258696886575087531944105866496925508835483106410496000
232 151203500593284457245650223810911836097657666584168441861977496441452843295415266947820961674476184424939520000
233 176553360793576280430626162103729934818040951109247967613651473826878976529897221414576450210847486325555200000
234 185098940377405162874292741105376679026006041426682969621540885795330338387565519790669849488483418112000000000
235 347296734484906562357020591815421270055645931354741440409817948158562983340393160301380979672166044794880000000
236 698805170934341539967219984570020359582135384505838385691324061854167280525073061046995458700220689285120000000
237 792412260467884449129389428567484345505057817642205435805837916440703087131391451770577684615374810644480000000
238 1954784323052736648254551671139857093341703963086224201996142212839422651660558979753284841797701573646745600000
239 2524594742077593209881074204082624133789960239578672650726237155790626085268060934714186680926973373238476800000
240 4256537211225218141394126708961945840571143191654160716768422304569555713990327132433839352163987986841600000000
241 4411122110080830793348622872931692882995458822433365734272019730804950019069428002393838131358890008248320000000
242 6954626037243836836009146586570901434089734553361243122350186564008143886901326167992921414839524057415680000000
243 23062387898774862349965578480822358715630832597172844926332751556926236756706687207678000504176728080384000000000
244 29264544434150291958988737811768919806988011263403447094613901577810810257884923007503100254183875411968000000000
245 34323390840561728686773830488907032289630950009263493868492423148237363671708983806020905571255840837468160000000
246 50273260041540312812787280399790551080891423608910411186529837449387796398049038072061594563860473368344002560000
247 76583517630160599441442679978871419112606192183786576757222338063667850346813229214246563409126732119985356800000
248 110577170581195819166723135538711723560140055497588827284066252019678387405071304412477916539760102497006387200000
249 259041648852032286490573898564542406885389589287360106150883556951798925454600574707746598533232724310753280000000
250 520516912264955562125286064254643485779989811298952026314985484759129507829003984346725818743084023808000000000000
251 662842696534747686666545440360956542298953564212097609654451155054398188870210356004436466283810530525184000000000
252 708618687427556695817143364090059478912564067343541266789629285461922536696758540971165229754830873952256000000000
253 727116476474438925308587523026886166121504499879630628925197003330694738106351337549425680421423098827374592000000
254 846398708006963367649181148059318253843453927862981230581495083494937725310418120507386409951497626379616256000000
255 1925481854003478361979013798080605609454194733417051482870255889655245039878233090803077593257172369280912588800000
256 3443728130961255217768880669350947970622813281830451865693805083023286977020180343274687735335279294948615127040000
257 5857936916309112816461242172055649409994685504616912895710174948236019398723176506490737090194600613208045649920000
258 14882978222253531746486499243798257155510481650324207764527614135201588871791893178986157013349983863915413504000000
259 20798963035439151446093285839223287103146676890987406460521651535185469664257993190505147550043864760844288000000000
260 23657124205103185470595355858294152530528856495458769359227205287074856768443387745901484678397622422772016742400000
261 32073649763960046053561454708394940815230980841373051600760020539181163151513500936083413680351187693679411200000000
262 36165412158992231449104960458847958132743283614612525657427547562562991999145690773429681963087733719040000000000000
263 46644280347927528874645960132981599378060579993777173897645891079138258971315686699928281683461468416534118400000000
264 156485338888287048362088387876647267083151948070743509624338631180945328920709005911227283617450819609501368320000000
265 215080871497744793230169054195825524219914844885036847990865817348986148883919148492842813994522555990576988160000000
266 230284412002589852420459251669770574539166265142275939579402910926933641667047428590439353075402139777368064000000000
267 338272798495552047458080647750189900183503580022701094996049614010019998443569365153407108478871511903909686804480000
268 511655742114454015680856780250084444786405804072101706491669576768540375186188190709502430931153781126070272000000000
269 1507208061214125226643786566324320931262158710415630527494538870403497254740835185756105179876000225855736381440000000
270 1664390543528505165528681925829579824178782183621707235053043461186143684563564126220220680467826432096914636800000000
271 1742376084597740901683979248534383408203005879325979024267600138446366735464310048713052997433195057859576987648000000
272 2552701774271361718948740596282807024817185865966266034122112837843235543843118883828212758899539243347673840458137600
273 5288784818276817547905510415256612109704144673090671566444536187691793835894650444262676268249081030541563238809600000
274 5339548668060726191994092638226941969036672197105819070084898140047064886808674897269037710810769965807828992000000000
275 9329688862218013927412736484423488222543631750351815740686247436846693098117527390109545795596816299851776000000000000
276 13421127151480967067064153207986764071138631844369847781856462406856531293227318009478386509092885231818170695680000000
277 13422309747827165790769493156103470286619907568359147912096538217365406513174997874476080510797391404064076464128000000
278 14396157325551270711343020063648370232101289393175365210955240906775881271569031807490195979139043223409677828096000000
279 21096512844094255074922665737590680367427278848166527955769981542582612883862254181911861569954885951109443092480000000
280 28263304574580033224282592041861185881318222152161672747605218156499311150089860479684184590458500157397979043253452800
281 58969655016805478749647099079248207586401326374517514594674628299399726825938733975814339775888232138295528652800000000
282 98273019402897601978524527279788895521331415006522428811997091363039768470959815099369478344683951773934923703910400000
283 101290426779859237981548589116675303229256290570055387606000245393720903357402927451270953327083776935409945149440000000
284 148610712117155620686992093834018666095260986458723326377190546506364636539178614614603582325596894935835773763584000000
285 250066767241824849685607550958655064841484362108013240883858091022549384292484240542099510947224041446553401438502912000
286 277083973144103840272614512197172870742578995796000013799261402233160133161149223600684567885668099499845746688000000000
287 4249356914613956240628744698924811214889811764988951199084625357382987075542829294442874871583520168426801725440000000000
288 5819539917878282890463094373337666700610023852239288600715922119897166470961541944500943487509848850706839520673792000000
289 9250405167424645244440353990137255840685046379860009146682676730116573844602413788021554663921771472863920028594995200000
290 12541433732283613780770095943953444407147401676714667124425400440361403892338668358416960152843205453930821163417600000000
291 15384600129150568885658279291795391424665878476898050015932879072523288887995122051719573020390765494812977437605888000000
292 58937956569780835067324404600144232685622255967026839998562128143664661962016829474023430703558608510764711936000000000000
293 66034860119084335586903560530711029899393382767386039248938310521987664476552988880174743131770578741235773394124800000000
294 185854262508963332633136231001549290100510819581534106876418428716265760462432027010756874340186113000036227495650918400000
295 191246937075014007321256701307251570712191039908520962010855949784720539936022343690364766499825570150803325059491430400000
296 192238235867440313448696459184312050279046539244329974982972949091715184162565271435525092333977972683051048026662502400000
297 219164042234799425831979119033101572132078805212866841481176301631074685674644616003914043658973842616117029754214809600000
298 432797731108716696715538063477001649026508194862010482373199611154089213229068845416323446402567782599688596678529515520000
299 579074915486489288961887850561640063995213414952963191593449651592778446766705681106387138416506485930853400576000000000000
300 797921283339802320188029361743890798173217588718854587788170634513631138385929663180673145918005038123436736512000000000000
301 880439681843216310435274565757246682773486746061942384244445774385485309197005158605236724843535987077413448691220480000000
302 958571352142860204188035268247293771876445002388785906631382477889443681325269984244010328035640339986534849576960000000000
303 998157065875322417171110878461878562109106792691771444197431330986187009428533723755619621205036267286204089617177431244800
304 1288124367655072917299269995169104075159709539596746498744460639606231436865586582776644957820800743595367984694663577600000
305 1600829071411520503044205508947554528571090375711497230275118967994568028642080902190016057121117653003956828139914526720000
306 1824519774637220200408346198399456089995935327904121423594913551567978045553117315118536519119198448500359561216000000000000
307 2087869521354989461469139175149419113993369864112539853016389535185261100274315071205548195667711481442544612540416000000000
308 3506083632892804354243041304705274767033728307036024843844455872767977932898130220608279460482245292309656633344000000000000
309 3586464897794270142789013248716048174222858413167592560866890315623311363761085792561560843785401390536554900544857047040000
310 5248389549533290109899206705077768195836829282747953080967434595531968263106697508838584914359321143112909374141497344000000
311 6997431863760977478855555270198403611412001301845140236220277266001376508063443609373297576561146096864243739734835200000000
312 11051513126383883669936685743600302672112013863369588844132512053167392350735602979353912110533466836179592485480352343654400
313 28417923996120237600827777200141487636771761387645658377089835773462545952640012909741406411323361052367807104826736640000000
314 31213193877213550227470026671093334902327061070886704932125214888401604308596017519304898722297843895908575227779481600000000
315 32298544884290951048691808580303017926084226425321999747069488598188986835153391224279889561966895001051961282495774720000000
316 39647524109064138879394327207371178702536742056347159824771793497142519838626670947991496331055137303634998653353984000000000
317 43336157424219460375038998910463847851050615482588550030144182012297924832627931762406580404986747770426819627869798400000000
318 44419784346604873100352486836198750293341778373448046201431716152467936068320237494322320030871648948602885824839680000000000
319 58109738418951527604517467012475751679918117775808556373369668230191270093501635710274122072229983004731734328849989632000000
320 399974486758461312071386955500483878739840444656266989365857232829364465188317840767301655953034226313589992798447206400000000
321 505691743300865132325436871651816332434417742708545647664065287633106207729715527244621454460001043586319897103171584000000000
322 557775350153933207339664278023303836326053577264392674768033287552879144113998518427641523976305798205064919267881779200000000
323 577478944137120031381657646194838955617261190354721257501222453037348259466158673684421271056784707464195163516714352640000000
324 886724696846135210330629379667376841127360487745049489044208042846338961701801303445652894772535263558397697783184228352000000
325 928155728040157800915813069906682987466171548143967299345667649825062489707083289304272466819220190417560231057277239427072000
326 1249503668550871328084389384886087306893878436766059264331781136955353496192047977167618239691944724938721294700590923776000000
327 2013928139178699015086247564263644081377673304592127598687828522484443596556645402313644450179092056583876120674304000000000000
328 2451492637034379203783068350670971976052751256547990804987950852613049984279669615131547653586413957848745357446552014028800000
329 3120375278698538267502851002725486368803479584631912556952017926870581669065212678283133594870843049962298883669984542720000000
330 4965745138469541401630693217498271597514245737996714090173386080830475032899635092066235362978738807487586440155328675840000000
331 5598977485665094073031792909889378103900021034676981733551576748371369745501393833670077635103130078702252473662308352000000000
332 6015684040867365257789715900116365103593819765409186847443064117263234547420948121456151358402587773982208221537919565824000000
333 12011048697778848614896345620520458352995583214234104696433370012906332409275172339956823592195518429869651137658880000000000000
334 14281084014580058139928937418313515643907535020652875873259166958599503398577825136586812062345721981756194426421971517440000000
335 52357424937633932181171199731699339128932309937607919279955098004654812644630744731872335111301352966850733840269312000000000000
336 226429786820271968988015259170162413798516885664081808072141231777277675004398447808834136490743390430861566880514048000000000000
337 312003060837479239804930456993207415067635121925616712584354355718212522070314804828689487274419176919658324480229376000000000000
338 326340847086350998698235863329504323827978428764377591145372866331019869344072794056352260197541759592717009999609362120704000000
339 838110463450262547551538926135575320506818949184665327597246028887666421812262876154317866177954989364379278786760278016000000000
340 1128254859294333479904763203256450309416713732355641925239853759500459142893981738234899462946609714329698728282808416993280000000
341 1959200376302746587763948188265332761620724025345112272622936102844319384687251516018182722107518684383412188248813759864997150720
342 2147632673015733324880005024601022130648531296251166227147680621851671468700482164794996971374994827816925400727574649241600000000
343 3582445112546757844956225676481848287613686848544707328271761213104894042144022303159246294019102328447630033750509580451840000000
344 3613219079992498155306556727951998036222976723869373934395570669363052677229639084312673196872362652591777887537828527603712000000
345 4136835453230678430073179941049964107094265684200289264176996952812463252632812189511211330902903499167261029655573405945036800000
346 11111972389462494942230682041368089828893761077454950493983611169124523964162139578988775403564150283233395406662145901854720000000
347 15502968945606904685261409915238743335223433822194920996918198420307184282828328953558059999003586953446815684733888888832000000000
348 33757747794981583587934440741312236227087837771607300731104340881256611392039427847853270737607604328883392035269753438208000000000
349 45802702676834665225249472161496022950042557889302933601965311889121577867253659309625287967014982941086140719693641705481830400000
350 49533510019193898033907757880929989079115836549472244357785458945042771063100930761471824698748181707495441706111729664000000000000
351 53232992512265649436613042019777834023983841532436829486677479985572789640838425284581689485820437285937689164286705442750464000000
352 102603201433852739355179417897902798582477335208715287121543299454043838030100970454773419508091874786783857888862358037132738560000
353 136080934177123948342922057402218452687476507336258526770061132217255200597417626482286418345472337051709899429604572465725440000000
354 225805730342008969117465251149788781166090157833899824693136723876218186419473664922548547109378680100764224179186694849822720000000
355 488580737543142002246493105755336497830944889779773953734871152268017740209231705158762665306812303928611447616780973950107648000000
356 787485879685319106239014391564954982643309262996316196233998369737914952413545354690928150867732879880788854141922312192000000000000
357 885953695452990942035556875662085033826315644123913714257302778548242570104021212762990165718398768231363195234578490982400000000000
358 1137704096009822907889587046066706278605510048452633445851616884587938388787047419444217997944382089194154610409380507465809920000000
359 1941704921137607079485423969125299101263482157678805679464261100174084034143741100368505105502246475306651622552825099525816320000000
360 4550542103122059595125294351460765340255008941368031580426380045725115597142850127564360348030494988672509493262044207513600000000000
361 13251649472297041197518002712329016984443770121423582407111317398208335071386828972075556681315393861100421511229980278784000000000000
362 20472792466113038940657062973791477930388470495473615411411299751332391860449653584709083423454384842407372606348539723776000000000000
363 20835881158574533887260813221869757942583030881145589996493507422423639687406320527063126834347525806637673155942705790976000000000000
364 31580450465022072526192040615737181134205314038379798032096098677582043816376447298844146941391794452792172042371251478697345024000000
365 91317348961339249145603473153981871282561968496145699659060514030421700338874942624717484795366656021407519597377293954643394560000000
366 127605749205058553017527689117831888887608623391902464877268172507050977583537316078504726367537709912373872481360717401808699392000000
367 211498972968084557300056388594744164050304713903534717571740191616824394655672457580867211906264585869528418489853838680292694425600000
368 1400807151951677832153688449307004339823353716084485929190278895032818589674220162111850060488297531344047094970583773788577464320000000
369 1412840384098331826660686734404909712376170655917341544503696566631642291724342393148393426663151397370055893177326252448311934976000000
370 2502996299559137966662479554018888720409799315151148919124115008106215092371443773005668315314698066339115237284152392673057046528000000
371 2890160596076017392921279508433306292330941309687560808301227034339737214628962920962862926941868828838252141046725427068928000000000000
372 2952916505803049997274230149276266204615893039694106436674667452819899820400643300906064030872046591854334920925981049662472192000000000
373 3263714990379783274939802975999505333728216626541849641825940727123268985231897082039548948978511374214853649925308370370670100480000000
374 3543281930819355177985298550569387332898637400053892664281406580762094582007378984904195300744786344202830101561987958220112527360000000
375 4723535990458730184344164711810274442347668409765835558280498031437874256409466454134013255309049118467897345912781200687104000000000000
376 6542313062976335407550378517097734238965333229181052859997539405850728645697536106531302509085754558698704473144601956170787192832000000
377 7361903580272240343210645823417581433953364462718323512262659139225039119517997993370691186236202423639731569846769995944776695808000000
378 13199949492421981455104611863121657972252198808375794916610955662865521258360796850696490575692207219920281207296937492358365184000000000
379 15501361507147170281989086279559500981798219792077813730332699136045257286852147866817894828680873999885724028770113030530038497280000000
380 20531268774479827602811714166607612337478286971771415213596771311878690911723678791171047653807333525791806437304461347822253585203200000
381 81024349685542690241897189499586865657076602638464993078102588388795210808422678155951449705263653882552084441959796856019220430848000000
382 81455016712350140909123422675376916101287587946017226744941281277217880309352002973063424525492006923601869435214686315054366720000000000
383 89497804605460330289016495704480309395251675564378794265479572721137042894605936981700870076286531556680491681389742011711488000000000000
384 160696444788604573683309662078633270366410855616877564977217350987605679384901825513100427841964960372361153452124279213352026112000000000
385 162126318227792367160478096059373740877030518443423576962856659252863327392466048297725790130924628910281231515657278111167409029120000000
386 174985564764646459185304523390094768481338202530165807775937592550759584892922039722395120693196529566728178481205276057796608000000000000
387 181169254654115550963110083978135879524444480413046063470555751185791374562405252776338761322724241718960518338179110512183214080000000000
388 491223897550845736842590574166383582886013713556955669009308951128484859609454282224839193452233536886926335828573887617491691110400000000
389 830516433435633120918784752772466697240897370481458158587756529289225553241840764391059305252870107320315390198526950763652335009792000000
390 993314080590763340358196130597927135534694515421711354480240970438619687344354543450262192464168150795390479208755537992319422693376000000
391 1410878160762736103948928280171758346760912183815401363836574841987573611640654358904198925795079792864257828938068570321715820756992000000
392 3540268153412099234694287431662744952452107370118919581523333767550414974707191591520884195032505526822126295990777735338472243200000000000
393 3747320147340292637200625364078582666869245744342701553069965453988790910597704998152297074543859408884938368329381876492797791436800000000
394 3963427616795625910351958626096995943739914579618630006889539924519168194766788798455535305328598982508233989018528290390933504000000000000
395 7236026485694911969122156765008536000626344041159324296913008238449662300489440588937061642685189916282676695930842297575337956999168000000
396 10393475018980627563093697150347306890207079515696150148021694853483125070169574187133977322022134726253121819701851821116069458739200000000
397 25334080255845680076350998924327384779605694955973617611482799450077452896279969293645913204812833041351108317631409330475447027446579200000
398 35706896129212241189530139628055897406107740223115636151801641234366307612866671886976008309155048483424119440975348614675485824122880000000
399 81544997985913701416207924199284605279349461317190096609844944463483142543567743042085802909416844596505833815694316626178473984000000000000
400 92107241874767506046458661998176224790206424462804448317985674671112573323220378155967717226671453849213531832807943478197363304038400000000
401 111878766626894392352772411338835236833087535244363592928166531237021021404284997172881428345958083749814461395471772427590574659128524800000
402 1072321272977488714625827349980064761976374437302026416831620689153944018613433278679193422585249878334157322657120171837994657906688000000000
403 1276177347265981460766314327736298670156601431955150706040140014829395635911591204845525227262411922335129002680255901180299760935895040000000
404 1555763393084962042043584217681364299238105599116339965117666964049473328036859044530468651460656727287079062048585584647021408445618192384000
405 2029891687199686266429927257037862605226955881682133568532117833899410167737528732044617700222819162765653608552607220444241592320000000000000
406 6061340057423358682748133479296038659489207193128376571460984328607254418793994180215342137170624131462040236274913639464410140838461440000000
407 8074128516706105253389420643816476169473069691337330144506048433036855456118018188293839182975651128553172218838595804737233173348352000000000
408 151725565920792399514246808621406185733965363513145099426341492976110691141674282330350390053800787013316375962495355380596214346022912000000000
409 355220167314844904263242195818974894973836081882766143906268732988447129340048927801566398009764052084969102899074696087248762501296501555200000
410 928107636754071202880046108701057952120873264817585383339434774614565389379823776467790126528088498486506446310768502764033525634641103421440000
411 1116450874561346893019105019638431165848776502799188608147119139678859232217125368539865955423476266778180025292280476591738268652929024000000000
412 1594004710067564661412690390201202981474978946824186053822102414641480433388075797260428383550938855745177516011224773790424525229260800000000000
413 2752876623431447072198082574405830629051870262527826472747604291974429339871065118841514572123149313820606277000511857409859566698496000000000000
414 3317897203695470909391012636501854774572724521232100804984016535774706878008092351822212528748607405868200142268180092439385771868160000000000000
415 4893805928226357817733555768427072795912333670840295492191224035804318937153775921351549320115717159298727848323331548678009122717696000000000000
416 13689869537371551726302544333356158548603526450965138236080462702957912730997733557036517394973297329583113256626598249276429129744384000000000000
417 24197611678532896285509399722454997965787593347977030765099858404117478767443654722453440088820171618986133103000990633486509961904128000000000000
418 35479894614205532833930219876149734606906737652141036610126642171952570530717853433879681395209864311752400083416105004297779979223040000000000000
419 39717069071135903772986715927947198391604148383386388692845362173481405740288511155568444808137609320130958449707882104112598808002560000000000000
420 43746818588680009778147566685838791803564440561462314761037301964267727479271970921981463948473234055855669226552124313190197808559534007910400000
421 52974040252436738243540865595584387532053473005868174753647524378309563323412900139744220140408077596384049935050752575099188539948785886822400000
422 67543752547058401957371620776181572332766819185964874099934129145678373589047271599699533596972169631421642873560745299660935249246940037120000000
423 75595615109620418155722002314251035176206806288145669890693336062742666921292625980439089961435303098168153433294342757547494457999360000000000000
424 608334369212078167803671286403277808871377866138074534967716929702528076949498350361423174307497349783495871735921565835244387560273653406892032000
425 716298550272979426901096971831279150005932074079080325408066385774420037265333557146500056924802326770580033242110101676852441684517781021655040000
426 2811049164392801265629471742789474063830068613015096505585208528841938531034809991771479286899411838640492627321487630932159642086670336000000000000
427 4333109951851353353046924034846798201227090473023606711839599945737724983715166532592679233861235668662874621554312933610412846392279040000000000000
428 5288256797049200314291214834170677372073497366298358776100933119873398209364023498691794448959091483101270045016196685183692791108159406080000000000
429 6142170364372474678306455015657866734883490836796814804582177475396723538295280984333682007529652683849986821786229412683140204884656128000000000000
430 27084996749212716827356559396654702876093104506341490943381556933347203773520678242223181693906106531872570141070812375472007007457771520000000000000
431 30455562444654487718397953045005143352630738668048577845933364164745381899001047628401593810775103345014287056818572862779213015710433280000000000000
432 57274301216173760480663090753590553066126395346636748524301987668662036911673321447856136355401514345691536695003549209109703159314720070041600000000
433 59327708087247830711166371589903161653431128997272935755980262390697018622633763768062709702637096948852849226404986715946304715250598936576000000000
434 90798094716750853494809664210389182099999264627304102114522588056084454860272073770666648140210390141460331938742498021011317238535500595200000000000
435 95862402712439235945876671297336356558537082693130364925244185003718898747124590891701014316202131526747327770292092427860254055712890342604800000000
436 152173572396423589575951885268481639396614453042033643452565405102788797378515289644373994964041969660480690797134344444543503220897276628092059648000
437 376506731828205555246063330817270931538019889319423424430330356161143294190256675493842364104522188648983868919891778100375378358582640640000000000000
438 1076429405446480613718182659554648886975154026702961510297366795566884293435773980799036917843744471935511713743612091289715958736337502208000000000000
439 1297363668210681222281827474280545068636570703853074455111973809627175649427459057600429538093343096003680379505273046710831645395181895680000000000000
440 7148034306179945145179722962863727695422106155403889393810282116942612181290202235892544784381178772599801461227801240711445935514551305895936000000000
441 9076308493755973402751168736595771187835754099776438761195341131702632219011250990411208236329519150180866929018880666351889300153886627069952000000000
442 11657992808641257034578605351782927805342912252184652452121665202529622345275264649614310517583983230861889160859722791548277765818317537280000000000000
443 17224781177542584513732069695731441622922462778430193743061877579467871749833049563382836944209349070879050588784363085443110925952782759362560000000000
444 35122135429491349154152396180772850435292392869537144024915329836658764823447521960170082086637862262773081340455928119745888313857311707758592000000000
445 87705942707706710722046476411171558299903872069081330221192097191020021917068815193766768211197163685574932556556948871218115188136366571520000000000000
446 112090314346713427818411093689125718498603990914981470928675144158172381524118755762440999673327838556455947361648550196484845013596981166080000000000000
447 280086951964965177817031417288911932335289243758296417955029183100463882703926097268671808294160760370964420023364288807352669619949497019828975697920000
448 331008202894036720812063575738374136222754866882193436969077946725193837999926960877483612018328493831842740345356759042712312933682771664102752256000000
449 512911722824467830400830579444771141759616166140676480659733522515189228098876604760271299795133348818753672887507418919851267575931109113856000000000000
450 1099176023710210761412230946692602250800981359995779986111301419113427969784506287538469313770443835343434291943437706767841191508310939926528000000000000
451 4736250764764647187063514685657931593442086906710005537082956651419990006025285893172335092953223478011180585914213751521399956900095679528960000000000000
452 16225467223662104737731817174883222966735426977591107414932044912606931027332555467696733697180417991180499338241744695694126836181182531753738240000000000
453 53308477478467997164510523566752287670572357012710396610775090214957951980274408822908636954314661309325902162163078409286659266665558929571840000000000000
454 56920249113173985753272190446803122575186720970380107821061873430439734289227752852742485094332926412473209436536784316082496131243862135888936960000000000
455 59502887512324547806632785365982319761658289446806170076686490067523208204591535235558054604493987694771682950667714313110562469383590138232652173410304000
456 68617274170751790971648686121774186138040717637178348992735004970246849986247397935610496040711349469706092659146533538070331548315805036838912000000000000
457 147221605951686158764240489323230023522849299150201442940077979202533659857088420252572049219985557654962016277863095057503395350243938370846720000000000000
458 162330046012273791141358809608709041587689347796265056651198949237912730201794953561105099397605052675437343080374366871742615569807648850182144000000000000
459 1391304578232759579553268110274570429303197052005933210251714630710002447352852793387534379911855106982063391006869600188710610200364598647848960000000000000
460 1499935014525908806355697335939667539563914215417456708477079605975433587673808143363683282221557147759037525562389058554848274286522880569195825725440000000
461 1797304948933985956823534117702343553589998479117672507413190815314523596181163733372049924835383211044071110878185078367272021996972109601964032000000000000
462 23562220815898835353241605065076144846187806266214743925007354875769283207366923716223507792687353230037875043574272609360832230585433070502143684771840000000
463 43829537946434777556932046406992961334027664232490799765302620657486525211944782348652045941248952273062470894336069079542466827830429698846883840000000000000
464 49908849445987926134546280975701896893224833446824023354238114092026147022244649546980814151433687435757639106730591297371843866249133128487576535040000000000
465 57754912810686414256306873586992538881862686286943717174971025112638005206754393166832062540225029410645055573700533986369166387736520098901074640896000000000
466 98152586840943313443792108118154002472331844025214548338686835517907508253895952443167265140519692646223200652159250002459891619853285080140015288188928000000
467 111122204124462984771241900065844108640997254394894756765703064188340001101560624517809400793059757649501980148143628375503616239687469150702141440000000000000
468 129430777974713994582187466084369141130793354250303067001796083827060193915180873324106896521102647435754055376990482111602456701486544935367839148146688000000
469 781481595153225926307552569277253633534000822938754962220052219885968175248582828141327847207814800789659289265579419471777888303610680499343988883456000000000
470 938397315817735270553338167470751171699803787286760488116878187542531496140859947916363244769236744889689056389829970087213977822547375878622118997393408000000
471 1866207921794640213971480865377246226623335906511416235505770008659331115075425299138205295449259578357755264508563757029066665736460802512684566183936000000000
472 3039687047718891983815150333377298490984521018872079420469389272669242938835679889804003956161307747944882131514884353498068617439069136959162485309440000000000
473 8970185215475716223660933293931003257855384858938663613010128647027551472495375945229004358961169691690658490181906022688406423177168551634136491412684800000000
474 20438980537167471923344729877491092431539125002812831420724508853356832668466407160204967781484537072100185632699717120063490500122074084616861011578716160000000
475 63474270306121862904991510033847940422155374081613608679814203896520167099396619953241917060964216244425093880976815429362257673100707905797212864512000000000000
476 213040931568635789506188206553259065881913038692123674120384674809062122637074344729711336298731885463342593487420797892501288456925808340709654942506287104000000
477 702781912244025222335302250490204735816670510737890703566992165119044930153968663163997748467804205605436860284634333394221973929693688292858539278336000000000000
478 610705088932174811278478910162612933504022349431940305234194410898745507027061082576914922313860709572891770337561211158701415386151751008988419632136192000000000000
479 1145951532490965965268590865248528924963386274061882782938484827651437558407890202469806296796492726764078828322238248461179474559987017759048988208450764800000000000
480 1759613756604396003372982476367880168804789635210160467814661936741456351293278587756811360410470858697832398701004493272535686914185010478233360930250424320000000000
481 1772789099154429017530120157178908185402737993215755362319922239151720269049698798176101614973769195345843677511241809398665004667656448879652587907842048000000000000
482 1932688411389300154801306587102974024833077780681315244752392761613063546554227811266843282230304184339526837092738431620457002355953052534067517775151104000000000000
483 2313373873442590946083547851933246405278371731284789163537836627129250446771833254198117024377491566419597318323796030971000668192932709062124738223013888000000000000
484 136454387586870999121206871764729299423402654367876685897484965240014098914830382766823996653713093353948793560245941040308192437783959237578233402240974979072000000000
485 607013177219427249529419831363265058358942416813230047202711873766137179285934107357202922265749925893811582999119905430307045795470035733630593656692932608000000000000
486 1109291834860809332199398562694313693557681027674036784006624488896648617745299227265171710734961989948403931483366363256960397248577145627299226643689635840000000000000
487 1274721657539450075863964779999414966360725973473948707133393103353402591046720514179601098440035594857144526783784274335563109130374301244874237481070886912000000000000
488 1877949550455467214695117065122490426292656905247071975167463232725426849847529211032837867786982085407135755990739470977204986742475937383270973833046952771584000000000
489 3586646565964296804859317234880008679253581648680028620374860095119572115190285628630747061532815816622293293166856814539660319440876562185561947776342814789468160000000
490 6408564690479820265802158087679403504957884004733930658732198068460152695621937079293833644695787526364115698549261159287308017970882306878158458395894173067640832000000
491 39644555843340757351101218747518709148798665623874896807841904957784031765970957810626739628680074349692521720783386613601238324249193311984304890497352534589440000000000
492 40935797308132589405780679389666975542520923808790411653471863828879475714741907451604422691107263588588383312541063094133319147395222673406242975632094375444480000000000
493 67225303909279989386955462427016461893100460439343525992864827145170123972587715879078895500765565898126585990897390200030486670453811030767371711021474693705734553600000
494 2088195388927056980075958481192370162402857970544425789293876429542090878696707690086281639762438063722334544881753794772826855209000172411369280357486705193779200000000000
495 2539093828014617804161642904328196799143979733801189048403747196317892435760872101603594440916533001012738908204298712930154767954486330355392629507699107566714880000000000
496 6141676996799680849009154702308218150935492178589881695228227823165285969612774913682223451686802216980320779883284580996643923095085135155104497075689459233587200000000000
497 9605219915060122754943057570707655524803129560107894131225215850339335321726332856082911894082472043106036325001196321588015602581851219846302996118311517814784000000000000
498 11312935242487267448946143218745025648268204777049111403917527008321179462848353111470785759974433481809591211223357929784076028745832373154118947365863990021324800000000000
499 59008323767962214144290018757149293096279423230157654397824343698575733412747855764757588155748898022016255556128300022256704048130754364264041902845366812803072000000000000
500 734315552266014438684753342463847881077001163243401424719213534820915132944623808294477510117817798400783083657267736728514972916871696098261653336635005079893573632000000000
501 1050081826646965924836095694365827786180092381013915615530384920933172842553610810225020588562723184255008769601436409928992313637852935305813985328232136709502926848000000000
502 2505876006509772713116754735436497477338028699595659283148467900447688113790899153148588953143913380133991001405800819481200138203885096905073656740460889773465703284736000000
503 4805821021526659258112851778513955154295761625214271801771828757590629229068610890761389039920716130945564992979013530651056709120746698831129219294085885183655936000000000000
504 42619400034461507599720039812133182824769628937954727617544290618703775616413220830284084440342413232561536941561178364221051620807934051253866182916454287492655559475200000000
505 120104003533621155558736696453282435502037966061778651308700119648658576098652456753608266204257656275189639685955978477263027718109127192535701671930523065472662896640000000000
506 123643006893074953185313815679968291939051552487888577470397533441651548751905998162487612968032988526513019379286376444830721334809384997063463778465508993309438115840000000000
507 352550162538517528518666944989146164756446474709041766462546787084535423706701461537569490257878187742229267820520080536607554586444653369638871294888816571433615360000000000000
508 5568959401732315669706177963551637471283511727283715969569343924582022627160162659494048544671826162085328441134206126868408564754546799937027681248178990419312168140800000000000
509 88516666667848196425348740743991622178574437755473542586228026776268373296556019593334527370503008494726185743678781865400065231951739841336399381503653268343135990479585280000000
510 1035192574153322481237802178862921101432092574697363600862533478865133918437467783750143232193103023258516118515414222268379525824810671895940286099046260654941264382892441600000000
511 1855035102652382692362830122050137496810285156773025538555880772824914964703788229682388218858301643031608525934858898375551949702433063185283094014646229920213698072784404480000000
512 4285406609898089109832719903899272127460682428406388995477829700893479382004250954015231542641828229398423407177001478251545710135454147957099389151003974530742255658181276467200000
513 10232857976301974259078319067058526554804442097317484595175438807707993072787813534907712310293420547837804575158557143842666798727360763597159321229681828427557247880443985920000000
514 16665031425344424884566589851743809821129816601626539316320635184327741244114647909441967930952419819787933287730181966636070563823587700668160976706531519175445402374216089600000000
515 18121213180113561200588092521683203715461144985523840334066972807048680012358842718257687389984158160245554362087281941124006244905813516542048257543760443880834892679872512000000000
516 270238888205140137315168269752832656703916165244053543867277544420936380358037304542301203404225072201030513630973301515745254575554515074061291620949648476159436791682284126208000000
517 671880449451173169997370623722677714150150818952102179830677354530446372906160186201011183347008147522223238998297684296752288681384593725635206976658359614114488329751756800000000000
518 1931466813568655150897323358303472503488658424784263994467130294277188203084790577769421060864738459652339877266647310267529036307451378196651099051499909880408242350823833600000000000
519 2505252246592861820328055861404708715477806678844635857480567422061594731199502072006846702329437063238091798784135404887276163535220085043339298649550083874193911287258116259840000000
520 1867379548715340103348982391947676220255777515292479213429704527830339389352280072317494386448868802973277698108473767621214365661101171896391447086169961601875944807683944611840000000000
521 2320271601385528909077492925594534689955454737845721541552479099172131144431548037404938993939631904126930297631831965059263354459073592149610315477970375090817012717850722304000000000000
522 4001250594993585772127238002797585099821801915157650944262135450044016093432763423471132067204524676040810715700649187514605768404757048145111565771268744741076189998591445733212160000000
523 7085754066640363581302280259295039450828509874745400354883825602504432071622159129944997719325618045874295055123740010930459462386073931864596006523683308518658597248573821157376000000000
524 8523805409032973956344524608669254794293607503378264619058740182342627821977673747421288764593607613168455028301697854970901620524405706642689210146310577564987914815675896220876800000000
525 244705608863185108980906712864518649499815490470088554075209497175750991413142762213135052380733046488709489244983704324791717857294501368712118435194985351804570366000496640000000000000000
526 262718592826850177245047216012121355291900879897000914909033846704953911769348762173330906146894499126385377194677030059731815051742366466099604718084348969154884485161907807846400000000000
527 1732834261413677017529229928875138072165777964221441770452734605503749348780652791811970460699451314622787487097352566535277444601281127847963358898593124784499994556185320764638180147200000
528 1738490439564235749553876551361364970425242926204811596095100490103120997492713305511125330669549739865411385965351686798052365739419968615213234932558612419411035835400254914560000000000000
529 2465980444162373055718484818161608382763577551187375991007832752585107158713113679723933279048388348711070265254640412590266421129612684030933287566013144769061231111423655936000000000000000
530 55542582865080213077490353057797703081282105181606426203012853830843827693488343615330982391467218897868564750279987624176280660437327037683311296042236606983376003768326749956504163450880000
531 261277546362154091615857623705952266187041160936189945428018154969263072106777561906206336481240389867956025263801602142049739381016991642904962631834702491224946609138336501910732800000000000
532 2724834926787405547227426626016895464031546234628119713068938810035162734689475106316366801573889812383474530802853933240838148077812838907886726695948617243004894424876787819347968000000000000
533 5482589395970174763220671968019500843865542133182411376340528966868586235701474283722975879031001534110516688646743342087398097554940555128458950066329729121730147695801524630001788806758400000
534 6182692859481750988845199086552193092051402351159340328296064354209462801538280796407467692337873998917015109655536270877000703035874694717219336079781708262732162028005721901524582400000000000
535 41728483987343858207454307499635150236535593464013925643737780742811593346153849172750373794586851642907407327141576900139259845987328620107281236357916935202725143035009954299450134364160000000
536 41958086154420707849159484350923106171056186398996756840501199983132019015656337305837180127512782124637944544590082195399913154606652545754034590332595451091455293889969381108927692800000000000
537 105349831696756690153810650074326786258815012788047197017679015756290209637316048042881778339766084691820060396663259374250582495601224338506136036109573801076451815861960604802697134080000000000
538 148496472396656098034672710463361692587506542533016334008489167269805063265807349132512563231551615542042500452243490872273078024699487082072983756251931603269124002897560700968288932331520000000
539 679784271589286583101743883730214821555092362393458990215182368388867947563231053086686173952885428089692392873901475298687434768003200466665531965443527536792150722045759860905082880000000000000
540 1358866803442152955263995246789828435939814139150428395971875172888530603322428548676773591718139382230311148128796962184393610398706545368767861439475075191800309145194524674208361829787238400000
541 7249716667003602077682963729082398228548897369893367426017348601853799661302405097488268517909594127634095192922688425225591385415626097719115715442979478939310369434662955976565079408640000000000
542 24748806502617967019849479336576888227701420149799468350994024697261247144900792104666459138545242090601978975607474255934645730496590002608996948050369339150470750053506057744567997825024000000000
543 58290342468206073063063295347433140975058959724957422276253193807349718886879163219595878393814522953261971000055894501538079279489535323883901591224491795071277309682071546253604504637276160000000
544 1436111937347673631424772171962533513279076886373798616910924626677288600883281011649672572534970176090301875527783539356527414800924703857956749767538925575156542643569401350192217509068800000000000
545 4344010642990228820653659371660626694695644557586452298491452190749793792041184317738407275597448957741452274702666333869789898780777083282432358262604673598980273523352193851164667792534274048000000
546 7861113491184475094413024949049394538676634662579095734443292301847529667845295268668257269619128453918851185104563947546669817081983777559269263497086561504421441213019882513715729268736000000000000
547 8764609488368259023634471774699268389685317488461610942620907060691502472041437352094264617206311926653601225280133382677786397876693292018051664728551032747681758178574497639089122427535360000000000
548 118217257103356017123249200058006663891673067357784428048855864318466187329733544178854400960440244869823129445951551006907593066651643320987288891470111297250207608754125829026901563277312000000000000
549 183247780269515977477924082524869990071269367443718012429177961823608867966633054679494967443536122423896785869682873561086835800656879329841103417452856851727885160782046521661356769280000000000000000
550 518311896684858491657965995941342091301350170766330343865532290653911427029258149274454989387034213994330852828547365633467689039848819336233155191667602682715504618857322864088651994759168000000000000
551 531343894186917062733420728361099746464176023458563945580800398090052095707344962866250081812380856163725695252252783057733073762680205217147876844714194688691232124427398009006837028833998353203200000
552 1308891769951190125079468330741957714927964529389019375012970865863130595023502807243739364870079955624188139693028376973725529230297818614968570600695640953055778821054914339732167627636736000000000000
553 7918788501869982813997549551648387867532882037915500285550891662588042233322096921985812477984591510902606840159248755798561701894710122787552840375531125649338639304643222951288723908591616000000000000
554 10024748584834316892639235866148646523506767481828864663396564208233972815179934067336787329992801482129329015679810864274231051937182574024393910481991263081925810005027852815085630263816754298880000000
555 14558488088134139242386501757756388995363079531879115885309267422995155671206864836431618543104997059840436265849559500150902144459609493576938149447114984959791956144867411274631146486366208000000000000
556 20349448672670995604707135167333450226325780012360262784701834197646307305946640925283417323956928388497754237977694704432143979480267780527491076609192119898634125669172016990176023329269350400000000000
557 22792680991315522185848236532559514648400794383462026264830419521205931648874586065873615233158098997657439900619422788763108506137601958241373327805874535524958992574648309249475151367948132679680000000
558 28794328373952012624127766430590500393502216084334424107844581280374489611260595889808033821916692828781863472409510695028410946609151819916122691499649674147187921705017016915451473501502832640000000000
559 266431174093690340575285177435892327446940606027598495508557189394005719290416358331643343524615670393009728115735355105473221773809323556791235607187109134739085811337829432557267535276361646080000000000
560 1698594391730683235543745128297855875735424799338583757735705026669570004421565555051977233142396094987320959103108878447242856252691920973092115167097167742415011587548442999590414918908499411861504000000
561 2534374276660472573551988041040795986948520673397870315231300043047470910879291468624423601601196402677273992087368969510271392996547241972199651002854228304397685148740011123078855177194746098483200000000
562 5871888091713225660732508893077590568836055549430254901800493741227553303581617327581271337163075926599107135555198390420239040377318835898606038457411894163705790024694501307246109681790175480591155200000
563 36562301450597388432697507218701181995189589583236363065980610108036847016760282728279982011039623478350131003615328181821462829116760908942687108722901877518822839101040737375337120621108503825612800000000
564 48121432033050125002158555152929382454740722295958208631123163473165847317913056699099126538527979962891917611310508993751549394041887840518902552690900568136278996768087716114725632674701106726567936000000
565 3109609587776385831517055094425282424805388144573551577244471435167180057567553386729501417296668535612581055164240845456566088113248949661654633731588044359283088608987637600593867483374809534955520000000000
566 3919875691876378277564353377314660639020955223669272623292122926194042093928008303901784287293790984650649913150085802287041942382099281225184597715374529534121413247139297342170503723497981498087178240000000
567 994827860854863306801607131221234025211016100253998164549081695659302511363444970550947192234150818634437909968943112729061426493532953810609063434595949537686885307484445758200462408357007918628864000000000000
568 2939168416964765069803276474142286221044555622061286727317759105496924098045149940321420599664572992316876781115322703365985304433748857570876413540257366630909978135899065655454377103786798466727936000000000000
569 11871332568132344493866378098603080470418737275333155650509793877387505967542423562555469043487178809266144944058052494727734513224888404226480743540425724831670808930558927125126176710536895755913789440000000000
570 131438420053994317659413179373520824257071970516790750780412664720914646128301544162929218704689501777616422062782766238313419725909025272795949993966141808963940356290565743453235592826744117343362744320000000000
571 384330970076939576913668586599882376298629706892597672452381191698884439728945935132432570644206504069594632728828598802502293578599377902135664295589588490346729857571107073914962917643341695668977664000000000000
572 403828623923533113768171748116872264129603991737858038019402775878323245094002560569922584245487310350881160992887271307093227866341920509063862508903393723808591468123870762130577520112107961856934660800512000000
573 562678707781538057156599797274471641654300762243136471925971450595134162444819836774979956485936007185513304376986831121329709691766371121966102348379894281392401941122982950774674080094853529600000000000000000000
574 388997441318954034143652379264808084416385696550405725877059669262273558333903418483615304430258657442079218214951494916332230072799654204330478806461808524265371435839490482698557363602483545136349315072000000000000
575 735834112907417139818524576508998365541207216885376328189488748279864494107295257476624835949498502294730791043246693495906172764389913779806147752946578886879887140764498682056491619727798711657431040000000000000000
576 77308514889803349245633051222007051225907818606879526618981426933473287472663311397558211264066253166375276507318423111977954157328962203654699643649496972660324294858421266581723667248359074859027875758080000000000000
577 2308107544346956369878856177981111674557755673984777549704794944074382708147390451416490367174334185885533810580750061066008820601956952387590841864470573874306785072110768060875500838938302005799390532132243767296000000000000000
578 35017480028029587746517925970462087011218149649289708430496363069041088931750550892471075121649747058647553443886455045639878336599518578252869276359109286865781056523855053935029692571231778631066130049360751732138553901056000000000000000
579 99506606099746132705783234994210591132620334805392732785736389307173581838254197459927692881314130930731384456225275884985264535478858319542237667820454918538408224820727423983202496907253712207609680015243653272003133819201655930880000000
580 11100439783335916438816626864969447558477835854723779816216681780165043090112916040737722884807055702868278469083876326253686763311646868910387698524932178357683440586887236806367711329953288404554005918473731912078109353214552540446720000000000
581 38909058230307647021823853383015241958840734655869538008036730120187101873559078126767133252922595216940194738291280854655270306221792202955373715371030750052845453126438068870627937341875596643320860350553326927383923905200431779010314240000000
582 86604949982166725150474874637888539670733273183914779044321342118736291386565065567527525084258134748279937442527697011578293277449174851094435144950499560547216325162595324571095346321851699171703505087007459407329688334330348705788461056000000000000
583 6271696397566401974955484390347526379840991294847947704436807678702405945302644476989191341354682502382173322685855375400179422784843240073886237535704156936778402914533483529952566852016495306369833105169208646599683409228865519337058045213540352000000
584 8239542611386482551873987949149993210439772468454450244479727048508803585934532388311373446665201028301912486422617708238761159112424108061728542202989722305659202741954214613969818907737161298735985214655991942041948871014848242011619721216000000000000
585 2452357787091126675352309851556182547698958140687550006577806646405380951112452950870698930622212788782520363335102452107465302752376388678403111531616447489679076943942808902038060020406433393803733550020830908182665801999625520186571181688982335389696000000
586 4092038731077395169911529300410766420044240536015306786912682490876118535875917481044945895327310323645777938005369448846027566564393110050674494714998832316990986124446608347336860391306728309376438559226527540806211084499414402393281842208665763840000000000
587 21062816270489216738673106090004507812467430344430667713841020269521008973419705756206190178092446283997957199902551629283554044868593947620670200924570207357808473011815331456224435247129079825481535391242353233983005977174347509204619604320114398451466240000000000
588 10638150613751228576026216848391631040294500990746092737872887092666592793591507863224779030491395276363295463695631164009696491094395097435432689521250404640131002178907940333536363722436791461776683494044437305519947814448483784923125179116812817661952000000000000000
589 33655276509088967615935938206510130153910772160039427308590440793661743978943465514306589847101786298356747628254025169561741167270414749534237836270247368333430456023662541281131446378886454125148975790740155176970790112419002891156938049810595840000000000000000000000
590 37635104637652638598871532019662188771558483372369349323520474390643022646063993750064274457988519180776957602286359839260950856749060286521955683283246251267263352761970321285977656313412951127834944719894438021570666166008899085385600796784348417228800000000000000000
591 33569884415069289576273393323674452685864405173773073356269178737351073061717811258882295100440331583919252990795918694704642029660800954493074091861394462582124581269386453261608780393763189568305914033060581173168503596114873198323308332077478510071457535322646118400000000000000
592 13126491181714221276913619507860403782025116786452697524174722544568811788038660978618124173767824846760640993706635678220297320231678487216290214325565727589612046206010261676065982076759617176332822616920997047568235754880646173263570826033673367700332732094198320411443200000000000000
593 1720585662108389519724339401340392058181949103979550831077117482241920804371412493247261905408560820023449211431385213337482801468151294421112095614027558429739531698314753072856495826250169170849988774305626393751788353726855293823573744741955507793363956466264408242257920000000000000000
594 113469156594814479211739641622933182457186002899770113924966678758963940007961327527284595015543891905931994978957554387268061732295367832872385409645991916748563531994282843778695525387239289860528138608912689875844038316613528402002004517724426624360651696992939665260544000000000000000000
595 985037043525307278043461124538266804865400068826143628925083088331766632539366401112970839917839975390946432872301795455369743208804910155183469625442396056616565634817884014256633464609508797162253343699517411536765329334257988283147919698289138531034010949531324113091307765760000000000000
596 1122026328225045091433186374696558195801307041542930352829027803880832735885870707417693002613025052409358532841541437038011844583746930532923817649311297094999220732933199401507103521399976660926676292657427150814880039671905167058161620295648031256980308974079328041109311450995283197952000000000
597 8387191686553045432554558132738309960115785204253925274277425590511413323674720760375477377104690118376312357467710740012064051218120851850621698523329434026011620426175111009996526028482752201595643444654307026001495196312985671514511661320381868599253115512623597478613847116171433738240000000000000