155:
147:
3165:
2846:
3672:
3461:
3682:
Using the preceding rewriting of the character formula, it is relatively easy to write the character as a sum of exponentials. The coefficients of these exponentials are the multiplicities of the corresponding weights. We thus obtain a formula for the multiplicity of a given weight
3160:{\displaystyle {\begin{aligned}{\frac {1}{\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot \rho (H)}}}&{}=e^{-\rho (H)}\prod _{\alpha >0}(1+e^{-\alpha (H)}+e^{-2\alpha (H)}+e^{-3\alpha (H)}+\cdots )\\&{}=e^{-\rho (H)}\sum _{\mu }p(\mu )e^{-\mu (H)}\end{aligned}}}
2835:
3859:
3472:
1865:
2659:
3273:
1031:
890:
1121:
653:
4155:
373:
262:
2851:
1250:
527:
2091:
1454:
2677:
2371:
2155:
1986:
1673:
97:
2232:
4073:
1617:
774:
2533:
3729:
3170:
Here, the first equality is by taking a product over the positive roots of the geometric series formula and the second equality is by counting all the ways a given exponential
1340:
1295:
3931:
1908:
1546:
1503:
4175:
3204:
801:
584:
557:
474:
447:
420:
320:
293:
4379:
4099:
3667:{\displaystyle \operatorname {ch} (V)=\left(\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot (\lambda +\rho )(H)}\right)\left(e^{-\rho (H)}\sum _{\mu }p(\mu )e^{-\mu (H)}\right).}
1156:
4035:
3995:
3975:
3721:
3265:
3233:
2503:
2012:
57:
4157:
will be zero. Thus, although the sum is nominally over the whole Weyl group, in most cases, the number of nonzero terms is smaller than the order of the Weyl group.
4305:
2467:
2435:
2403:
1394:
1367:
710:
683:
183:
4015:
3951:
3701:
1055:
734:
393:
4450:
3896:
1678:
2252:
2175:
910:
821:
2545:
3456:{\displaystyle \operatorname {ch} (V)={\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot (\lambda +\rho )(H)} \over \sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot \rho (H)}}}
918:
4291:
2472:
The partition function is defined piecewise with the domain divided into five regions, with the help of two auxiliary functions.
4445:
826:
60:
1060:
592:
154:
4104:
325:
188:
1179:
479:
2830:{\displaystyle {\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot \rho (H)}=e^{\rho (H)}\prod _{\alpha >0}(1-e^{-\alpha (H)})},}
2017:
1399:
4455:
2272:
112:
108:
2096:
1913:
1622:
69:
2180:
4040:
1551:
739:
3854:{\displaystyle \mathrm {mult} (\mu )=\sum _{w\in W}(-1)^{\ell (w)}p(w\cdot (\lambda +\rho )-(\mu +\rho ))}
3244:
2669:
2508:
120:
116:
100:
127:
1169:
The partition function for the other rank 2 root systems are more complicated but are known explicitly.
736:
as a non-negative integer combination of positive roots; other expressions can be obtained by replacing
17:
1300:
1255:
3901:
1870:
146:
4314:
1511:
1459:
2664:
where we do not worry about convergence—that is, the equality is understood at the level of formal
4406:
4340:
3173:
779:
562:
535:
452:
425:
398:
298:
271:
4078:
1126:
4398:
4366:
4332:
4287:
4235:
4020:
3980:
3960:
3706:
3250:
3209:
2488:
1991:
42:
4422:
4388:
4356:
4322:
4195:
4187:
4418:
4352:
2440:
2408:
2376:
1860:{\displaystyle P(n_{1},n_{2})=q_{2}(n_{2})-b(2n_{2}-n_{1}-1)=b(n_{1})-q_{2}(n_{1}-n_{2}-1)}
1372:
1345:
688:
661:
161:
4414:
4348:
4000:
3936:
3686:
1040:
719:
378:
25:
3875:
2654:{\displaystyle {\frac {1}{1-e^{-\alpha (H)}}}=1+e^{-\alpha (H)}+e^{-2\alpha (H)}+\cdots }
4318:
529:, it can also be expressed as a non-negative integer linear combination of the positive
4299:
Humphreys, J.E. Introduction to Lie algebras and representation theory, Springer, 1972.
2237:
2160:
895:
806:
4427:
4361:
4439:
64:
4200:
4037:, it may happen that all other terms in the formula are zero. Specifically, unless
3954:
2665:
119:. An alternative formula, that is more computationally efficient in some cases, is
1342:. The partition function can be viewed as a function of two non-negative integers
1026:{\displaystyle p(n_{1}\alpha _{1}+n_{2}\alpha _{2})=1+\mathrm {min} (n_{1},n_{2})}
530:
37:
4306:
Proceedings of the
National Academy of Sciences of the United States of America
3235:
is zero if the argument is a rotation and one if the argument is a reflection.
4402:
4336:
4239:
4370:
4327:
2840:
we obtain a formal expression for the reciprocal of the Weyl denominator:
4286:, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer,
4284:
Lie Groups, Lie
Algebras, and Representations: An Elementary Introduction
4410:
4377:
Kostant, Bertram (1959), "A formula for the multiplicity of a weight",
4303:
Kostant, Bertram (1958), "A formula for the multiplicity of a weight",
4191:
4186:(4). United States Air Force, Office of Scientific Research: 569–574.
1037:
This result is shown graphically in the image at right. If an element
4344:
4393:
1505:
can be defined piecewise with the help of two auxiliary functions.
153:
145:
395:
can be expressed as a non-negative integer linear combination of
4223:
4174:
Tarski, Jan; University of
California, Berkeley. (April 1963).
2539:
apply the formula for the sum of a geometric series to obtain
158:
Values of the
Kostant partition function for the root system
3997:
is sufficiently far inside the fundamental Weyl chamber and
1252:, and the positive roots are the simple roots together with
892:. Thus, if the Kostant partition function is denoted by
3247:
for the irreducible representation with highest weight
885:{\displaystyle 0\leq k\leq \mathrm {min} (n_{1},n_{2})}
126:
The
Kostant partition function can also be defined for
3703:
in the irreducible representation with highest weight
1116:{\displaystyle \mu =n_{1}\alpha _{1}+n_{2}\alpha _{2}}
648:{\displaystyle \mu =n_{1}\alpha _{1}+n_{2}\alpha _{2}}
63:) as a non-negative integer linear combination of the
4107:
4081:
4043:
4023:
4003:
3983:
3963:
3939:
3904:
3878:
3732:
3709:
3689:
3475:
3276:
3253:
3212:
3176:
2849:
2680:
2548:
2511:
2491:
2443:
2411:
2379:
2275:
2240:
2183:
2163:
2099:
2020:
1994:
1916:
1873:
1681:
1625:
1554:
1514:
1462:
1402:
1375:
1348:
1303:
1258:
1182:
1129:
1063:
1043:
921:
898:
829:
809:
782:
742:
722:
691:
664:
595:
565:
538:
482:
455:
428:
401:
381:
328:
301:
274:
191:
185:. The root system is given the Euclidean coordinates
164:
150:
The
Kostant partition function for the A2 root system
72:
45:
4176:"Partition Function for Certain Simple Lie Algebras"
4150:{\displaystyle w\cdot (\lambda +\rho )-(\mu +\rho )}
368:{\displaystyle \alpha _{3}:=\alpha _{1}+\alpha _{2}}
257:{\displaystyle \alpha _{1}=(1,0),\alpha _{2}=(-1,1)}
1245:{\displaystyle \alpha _{1}=(1,0),\alpha _{2}=(0,1)}
712:being non-negative integers. This expression gives
522:{\displaystyle \alpha _{3}=\alpha _{1}+\alpha _{2}}
4149:
4093:
4067:
4029:
4009:
3989:
3969:
3945:
3925:
3890:
3853:
3715:
3695:
3666:
3455:
3259:
3227:
3198:
3159:
2829:
2653:
2527:
2497:
2461:
2429:
2397:
2365:
2246:
2226:
2169:
2149:
2085:
2006:
1980:
1902:
1859:
1667:
1611:
1540:
1497:
1448:
1388:
1361:
1334:
1289:
1244:
1150:
1115:
1049:
1025:
904:
884:
815:
795:
768:
728:
704:
677:
647:
578:
551:
521:
468:
441:
414:
387:
367:
314:
287:
256:
177:
91:
59:is the number of ways one can represent a vector (
51:
4380:Transactions of the American Mathematical Society
4224:"Calcolo della funzione di partizione di Kostant"
4101:, the value of the Kostant partition function on
2086:{\displaystyle q_{2}(n)={\frac {1}{2}}(n+1)(n+2)}
1449:{\displaystyle n_{1}\alpha _{1}+n_{2}\alpha _{2}}
268:Consider the A2 root system, with positive roots
803:some number of times. We can do the replacement
3872:The dominant term in this formula is the term
2366:{\displaystyle (1,0),(0,1),(1,1),(2,1),(3,1)}
8:
4313:(6), National Academy of Sciences: 588–589,
3243:This argument shows that we can convert the
2150:{\displaystyle b(n)={\frac {1}{4}}(n+2)^{2}}
4387:(1), American Mathematical Society: 53–73,
1981:{\displaystyle P(n_{1},n_{2})=q_{2}(n_{2})}
4228:Bollettino dell'Unione Matematica Italiana
1988:. The auxiliary functions are defined for
1668:{\displaystyle n_{2}\leq n_{1}\leq 2n_{2}}
92:{\displaystyle \Delta ^{+}\subset \Delta }
4426:
4392:
4360:
4326:
4199:
4106:
4080:
4042:
4022:
4002:
3982:
3962:
3938:
3903:
3877:
3788:
3763:
3733:
3731:
3708:
3688:
3638:
3616:
3594:
3547:
3528:
3503:
3474:
3429:
3410:
3385:
3346:
3327:
3302:
3295:
3275:
3252:
3211:
3181:
3175:
3135:
3113:
3091:
3082:
3045:
3017:
2992:
2967:
2945:
2936:
2908:
2889:
2864:
2854:
2850:
2848:
2802:
2777:
2758:
2730:
2711:
2686:
2681:
2679:
2624:
2599:
2565:
2549:
2547:
2519:
2518:
2510:
2490:
2442:
2410:
2378:
2274:
2239:
2184:
2182:
2162:
2141:
2115:
2098:
2043:
2025:
2019:
1993:
1969:
1956:
1940:
1927:
1915:
1894:
1881:
1872:
1842:
1829:
1816:
1800:
1772:
1759:
1734:
1721:
1705:
1692:
1680:
1659:
1643:
1630:
1624:
1600:
1578:
1565:
1553:
1532:
1519:
1513:
1486:
1473:
1461:
1440:
1430:
1417:
1407:
1401:
1380:
1374:
1353:
1347:
1308:
1302:
1263:
1257:
1218:
1187:
1181:
1128:
1107:
1097:
1084:
1074:
1062:
1042:
1014:
1001:
983:
965:
955:
942:
932:
920:
897:
873:
860:
842:
828:
808:
787:
781:
760:
747:
741:
721:
696:
690:
669:
663:
639:
629:
616:
606:
594:
570:
564:
543:
537:
513:
500:
487:
481:
460:
454:
433:
427:
406:
400:
380:
359:
346:
333:
327:
306:
300:
279:
273:
227:
196:
190:
169:
163:
77:
71:
44:
2227:{\displaystyle {\frac {1}{4}}(n+1)(n+3)}
4166:
4068:{\displaystyle w\cdot (\lambda +\rho )}
3206:can occur in the product. The function
1612:{\displaystyle P(n_{1},n_{2})=b(n_{1})}
769:{\displaystyle \alpha _{1}+\alpha _{2}}
33:
29:
2476:Relation to the Weyl character formula
4451:Representation theory of Lie algebras
7:
4264:
4252:
3933:, which is just the multiplicity of
2528:{\displaystyle H\in {\mathfrak {h}}}
3898:; the contribution of this term is
2520:
2437:denoting the short simple root and
3743:
3740:
3737:
3734:
990:
987:
984:
849:
846:
843:
99:. Kostant used it to rewrite the
86:
74:
46:
14:
1335:{\displaystyle \alpha _{4}=(2,1)}
1290:{\displaystyle \alpha _{3}=(1,1)}
3926:{\displaystyle p(\lambda -\mu )}
1903:{\displaystyle 2n_{2}\leq n_{1}}
1176:, the positive simple roots are
4180:Journal of Mathematical Physics
3239:Rewriting the character formula
2469:denoting the long simple root.
1541:{\displaystyle n_{1}\leq n_{2}}
20:, a branch of mathematics, the
4144:
4132:
4126:
4114:
4062:
4050:
3920:
3908:
3848:
3845:
3833:
3827:
3815:
3806:
3798:
3792:
3785:
3775:
3753:
3747:
3651:
3645:
3631:
3625:
3607:
3601:
3575:
3569:
3566:
3554:
3538:
3532:
3525:
3515:
3488:
3482:
3466:from a quotient to a product:
3445:
3439:
3420:
3414:
3407:
3397:
3374:
3368:
3365:
3353:
3337:
3331:
3324:
3314:
3289:
3283:
3222:
3216:
3191:
3185:
3148:
3142:
3128:
3122:
3104:
3098:
3072:
3061:
3055:
3033:
3027:
3005:
2999:
2979:
2958:
2952:
2924:
2918:
2899:
2893:
2886:
2876:
2820:
2815:
2809:
2789:
2768:
2762:
2746:
2740:
2721:
2715:
2708:
2698:
2640:
2634:
2612:
2606:
2578:
2572:
2481:Inverting the Weyl denominator
2456:
2444:
2424:
2412:
2392:
2380:
2360:
2348:
2342:
2330:
2324:
2312:
2306:
2294:
2288:
2276:
2221:
2209:
2206:
2194:
2138:
2125:
2109:
2103:
2080:
2068:
2065:
2053:
2037:
2031:
1975:
1962:
1946:
1920:
1854:
1822:
1806:
1793:
1784:
1749:
1740:
1727:
1711:
1685:
1606:
1593:
1584:
1558:
1498:{\displaystyle P(n_{1},n_{2})}
1492:
1466:
1456:. Then the partition function
1396:, which represent the element
1329:
1317:
1284:
1272:
1239:
1227:
1208:
1196:
1139:
1133:
1020:
994:
971:
925:
879:
853:
251:
236:
217:
205:
1:
4222:Capparelli, Stefano (2003).
3867:Kostant multiplicity formula
130:and has similar properties.
105:Kostant multiplicity formula
3199:{\displaystyle e^{\mu (H)}}
796:{\displaystyle \alpha _{3}}
579:{\displaystyle \alpha _{2}}
552:{\displaystyle \alpha _{1}}
469:{\displaystyle \alpha _{3}}
442:{\displaystyle \alpha _{2}}
415:{\displaystyle \alpha _{1}}
315:{\displaystyle \alpha _{2}}
288:{\displaystyle \alpha _{1}}
4472:
4094:{\displaystyle \mu +\rho }
2670:Weyl's denominator formula
113:irreducible representation
22:Kostant partition function
4017:is sufficiently close to
2269:, the positive roots are
1151:{\displaystyle p(\mu )=0}
4030:{\displaystyle \lambda }
3990:{\displaystyle \lambda }
3970:{\displaystyle \lambda }
3716:{\displaystyle \lambda }
3678:The multiplicity formula
3260:{\displaystyle \lambda }
3228:{\displaystyle \ell (w)}
912:, we obtain the formula
4282:Hall, Brian C. (2015),
4201:2027/mdp.39015095253541
2498:{\displaystyle \alpha }
2007:{\displaystyle n\geq 1}
52:{\displaystyle \Delta }
4151:
4095:
4069:
4031:
4011:
3991:
3971:
3947:
3927:
3892:
3855:
3717:
3697:
3668:
3457:
3261:
3245:Weyl character formula
3229:
3200:
3161:
2831:
2655:
2529:
2499:
2463:
2431:
2399:
2367:
2248:
2228:
2171:
2151:
2087:
2008:
1982:
1904:
1861:
1669:
1613:
1542:
1499:
1450:
1390:
1363:
1336:
1291:
1246:
1152:
1117:
1051:
1027:
906:
886:
817:
797:
770:
730:
706:
679:
649:
580:
553:
523:
470:
443:
416:
389:
369:
316:
289:
265:
258:
179:
151:
117:semisimple Lie algebra
101:Weyl character formula
93:
53:
4446:Representation theory
4328:10.1073/pnas.44.6.588
4152:
4096:
4070:
4032:
4012:
3992:
3972:
3948:
3928:
3893:
3856:
3718:
3698:
3669:
3458:
3262:
3230:
3201:
3162:
2832:
2656:
2530:
2500:
2464:
2462:{\displaystyle (0,1)}
2432:
2430:{\displaystyle (1,0)}
2400:
2398:{\displaystyle (3,2)}
2368:
2249:
2229:
2172:
2152:
2088:
2009:
1983:
1905:
1862:
1670:
1614:
1543:
1500:
1451:
1391:
1389:{\displaystyle n_{2}}
1364:
1362:{\displaystyle n_{1}}
1337:
1292:
1247:
1153:
1118:
1052:
1028:
907:
887:
818:
798:
771:
731:
707:
705:{\displaystyle n_{2}}
680:
678:{\displaystyle n_{1}}
650:
581:
554:
524:
471:
444:
417:
390:
370:
317:
290:
259:
180:
178:{\displaystyle B_{2}}
157:
149:
121:Freudenthal's formula
94:
54:
18:representation theory
4105:
4079:
4041:
4021:
4010:{\displaystyle \mu }
4001:
3981:
3961:
3957:with highest weight
3946:{\displaystyle \mu }
3937:
3902:
3876:
3730:
3707:
3696:{\displaystyle \mu }
3687:
3473:
3274:
3251:
3210:
3174:
2847:
2678:
2546:
2509:
2489:
2441:
2409:
2377:
2273:
2238:
2181:
2161:
2097:
2018:
1992:
1914:
1871:
1679:
1623:
1552:
1512:
1460:
1400:
1373:
1346:
1301:
1256:
1180:
1127:
1061:
1050:{\displaystyle \mu }
1041:
919:
896:
827:
807:
780:
740:
729:{\displaystyle \mu }
720:
689:
662:
593:
563:
536:
480:
453:
426:
399:
388:{\displaystyle \mu }
379:
326:
299:
272:
189:
162:
70:
43:
4319:1958PNAS...44..588K
3891:{\displaystyle w=1}
3865:This result is the
1057:is not of the form
26:Bertram Kostant
4456:Types of functions
4147:
4091:
4065:
4027:
4007:
3987:
3967:
3943:
3923:
3888:
3851:
3774:
3713:
3693:
3664:
3621:
3514:
3453:
3396:
3313:
3257:
3225:
3196:
3157:
3155:
3118:
2978:
2875:
2827:
2788:
2697:
2651:
2525:
2495:
2459:
2427:
2395:
2363:
2244:
2224:
2167:
2147:
2083:
2004:
1978:
1900:
1857:
1665:
1609:
1538:
1495:
1446:
1386:
1359:
1332:
1287:
1242:
1148:
1113:
1047:
1023:
902:
882:
813:
793:
766:
726:
702:
675:
645:
576:
549:
519:
466:
439:
412:
385:
365:
312:
285:
266:
254:
175:
152:
128:Kac–Moody algebras
111:of a weight of an
103:as a formula (the
89:
49:
4255:Proposition 10.27
4192:10.1063/1.1703992
3759:
3612:
3499:
3451:
3381:
3298:
3109:
2963:
2930:
2860:
2773:
2682:
2584:
2247:{\displaystyle n}
2192:
2170:{\displaystyle n}
2123:
2051:
2014:and are given by
905:{\displaystyle p}
816:{\displaystyle k}
4463:
4431:
4430:
4396:
4373:
4364:
4330:
4296:
4268:
4262:
4256:
4250:
4244:
4243:
4219:
4213:
4212:
4210:
4208:
4203:
4171:
4156:
4154:
4153:
4148:
4100:
4098:
4097:
4092:
4074:
4072:
4071:
4066:
4036:
4034:
4033:
4028:
4016:
4014:
4013:
4008:
3996:
3994:
3993:
3988:
3976:
3974:
3973:
3968:
3952:
3950:
3949:
3944:
3932:
3930:
3929:
3924:
3897:
3895:
3894:
3889:
3860:
3858:
3857:
3852:
3802:
3801:
3773:
3746:
3722:
3720:
3719:
3714:
3702:
3700:
3699:
3694:
3673:
3671:
3670:
3665:
3660:
3656:
3655:
3654:
3620:
3611:
3610:
3584:
3580:
3579:
3578:
3542:
3541:
3513:
3462:
3460:
3459:
3454:
3452:
3450:
3449:
3448:
3424:
3423:
3395:
3379:
3378:
3377:
3341:
3340:
3312:
3296:
3266:
3264:
3263:
3258:
3234:
3232:
3231:
3226:
3205:
3203:
3202:
3197:
3195:
3194:
3166:
3164:
3163:
3158:
3156:
3152:
3151:
3117:
3108:
3107:
3083:
3078:
3065:
3064:
3037:
3036:
3009:
3008:
2977:
2962:
2961:
2937:
2931:
2929:
2928:
2927:
2903:
2902:
2874:
2855:
2836:
2834:
2833:
2828:
2823:
2819:
2818:
2787:
2772:
2771:
2750:
2749:
2725:
2724:
2696:
2660:
2658:
2657:
2652:
2644:
2643:
2616:
2615:
2585:
2583:
2582:
2581:
2550:
2534:
2532:
2531:
2526:
2524:
2523:
2504:
2502:
2501:
2496:
2468:
2466:
2465:
2460:
2436:
2434:
2433:
2428:
2404:
2402:
2401:
2396:
2372:
2370:
2369:
2364:
2253:
2251:
2250:
2245:
2233:
2231:
2230:
2225:
2193:
2185:
2176:
2174:
2173:
2168:
2156:
2154:
2153:
2148:
2146:
2145:
2124:
2116:
2092:
2090:
2089:
2084:
2052:
2044:
2030:
2029:
2013:
2011:
2010:
2005:
1987:
1985:
1984:
1979:
1974:
1973:
1961:
1960:
1945:
1944:
1932:
1931:
1909:
1907:
1906:
1901:
1899:
1898:
1886:
1885:
1866:
1864:
1863:
1858:
1847:
1846:
1834:
1833:
1821:
1820:
1805:
1804:
1777:
1776:
1764:
1763:
1739:
1738:
1726:
1725:
1710:
1709:
1697:
1696:
1674:
1672:
1671:
1666:
1664:
1663:
1648:
1647:
1635:
1634:
1618:
1616:
1615:
1610:
1605:
1604:
1583:
1582:
1570:
1569:
1547:
1545:
1544:
1539:
1537:
1536:
1524:
1523:
1504:
1502:
1501:
1496:
1491:
1490:
1478:
1477:
1455:
1453:
1452:
1447:
1445:
1444:
1435:
1434:
1422:
1421:
1412:
1411:
1395:
1393:
1392:
1387:
1385:
1384:
1368:
1366:
1365:
1360:
1358:
1357:
1341:
1339:
1338:
1333:
1313:
1312:
1296:
1294:
1293:
1288:
1268:
1267:
1251:
1249:
1248:
1243:
1223:
1222:
1192:
1191:
1157:
1155:
1154:
1149:
1122:
1120:
1119:
1114:
1112:
1111:
1102:
1101:
1089:
1088:
1079:
1078:
1056:
1054:
1053:
1048:
1032:
1030:
1029:
1024:
1019:
1018:
1006:
1005:
993:
970:
969:
960:
959:
947:
946:
937:
936:
911:
909:
908:
903:
891:
889:
888:
883:
878:
877:
865:
864:
852:
822:
820:
819:
814:
802:
800:
799:
794:
792:
791:
775:
773:
772:
767:
765:
764:
752:
751:
735:
733:
732:
727:
711:
709:
708:
703:
701:
700:
684:
682:
681:
676:
674:
673:
654:
652:
651:
646:
644:
643:
634:
633:
621:
620:
611:
610:
585:
583:
582:
577:
575:
574:
558:
556:
555:
550:
548:
547:
528:
526:
525:
520:
518:
517:
505:
504:
492:
491:
475:
473:
472:
467:
465:
464:
448:
446:
445:
440:
438:
437:
421:
419:
418:
413:
411:
410:
394:
392:
391:
386:
375:. If an element
374:
372:
371:
366:
364:
363:
351:
350:
338:
337:
321:
319:
318:
313:
311:
310:
294:
292:
291:
286:
284:
283:
263:
261:
260:
255:
232:
231:
201:
200:
184:
182:
181:
176:
174:
173:
98:
96:
95:
90:
82:
81:
58:
56:
55:
50:
24:, introduced by
4471:
4470:
4466:
4465:
4464:
4462:
4461:
4460:
4436:
4435:
4434:
4394:10.2307/1993422
4376:
4302:
4294:
4281:
4277:
4272:
4271:
4263:
4259:
4251:
4247:
4221:
4220:
4216:
4206:
4204:
4173:
4172:
4168:
4163:
4103:
4102:
4077:
4076:
4075:is higher than
4039:
4038:
4019:
4018:
3999:
3998:
3979:
3978:
3959:
3958:
3935:
3934:
3900:
3899:
3874:
3873:
3784:
3728:
3727:
3705:
3704:
3685:
3684:
3680:
3634:
3590:
3589:
3585:
3543:
3524:
3498:
3494:
3471:
3470:
3425:
3406:
3380:
3342:
3323:
3297:
3272:
3271:
3249:
3248:
3241:
3208:
3207:
3177:
3172:
3171:
3154:
3153:
3131:
3087:
3076:
3075:
3041:
3013:
2988:
2941:
2932:
2904:
2885:
2859:
2845:
2844:
2798:
2754:
2726:
2707:
2676:
2675:
2620:
2595:
2561:
2554:
2544:
2543:
2507:
2506:
2487:
2486:
2483:
2478:
2439:
2438:
2407:
2406:
2375:
2374:
2271:
2270:
2268:
2263:
2261:
2236:
2235:
2179:
2178:
2159:
2158:
2137:
2095:
2094:
2021:
2016:
2015:
1990:
1989:
1965:
1952:
1936:
1923:
1912:
1911:
1890:
1877:
1869:
1868:
1838:
1825:
1812:
1796:
1768:
1755:
1730:
1717:
1701:
1688:
1677:
1676:
1655:
1639:
1626:
1621:
1620:
1596:
1574:
1561:
1550:
1549:
1528:
1515:
1510:
1509:
1482:
1469:
1458:
1457:
1436:
1426:
1413:
1403:
1398:
1397:
1376:
1371:
1370:
1349:
1344:
1343:
1304:
1299:
1298:
1259:
1254:
1253:
1214:
1183:
1178:
1177:
1175:
1167:
1165:
1125:
1124:
1103:
1093:
1080:
1070:
1059:
1058:
1039:
1038:
1010:
997:
961:
951:
938:
928:
917:
916:
894:
893:
869:
856:
825:
824:
805:
804:
783:
778:
777:
756:
743:
738:
737:
718:
717:
692:
687:
686:
665:
660:
659:
635:
625:
612:
602:
591:
590:
566:
561:
560:
539:
534:
533:
509:
496:
483:
478:
477:
456:
451:
450:
429:
424:
423:
402:
397:
396:
377:
376:
355:
342:
329:
324:
323:
302:
297:
296:
275:
270:
269:
223:
192:
187:
186:
165:
160:
159:
144:
142:
136:
73:
68:
67:
41:
40:
12:
11:
5:
4469:
4467:
4459:
4458:
4453:
4448:
4438:
4437:
4433:
4432:
4374:
4300:
4297:
4293:978-3319134666
4292:
4278:
4276:
4273:
4270:
4269:
4257:
4245:
4214:
4165:
4164:
4162:
4159:
4146:
4143:
4140:
4137:
4134:
4131:
4128:
4125:
4122:
4119:
4116:
4113:
4110:
4090:
4087:
4084:
4064:
4061:
4058:
4055:
4052:
4049:
4046:
4026:
4006:
3986:
3966:
3942:
3922:
3919:
3916:
3913:
3910:
3907:
3887:
3884:
3881:
3863:
3862:
3850:
3847:
3844:
3841:
3838:
3835:
3832:
3829:
3826:
3823:
3820:
3817:
3814:
3811:
3808:
3805:
3800:
3797:
3794:
3791:
3787:
3783:
3780:
3777:
3772:
3769:
3766:
3762:
3758:
3755:
3752:
3749:
3745:
3742:
3739:
3736:
3712:
3692:
3679:
3676:
3675:
3674:
3663:
3659:
3653:
3650:
3647:
3644:
3641:
3637:
3633:
3630:
3627:
3624:
3619:
3615:
3609:
3606:
3603:
3600:
3597:
3593:
3588:
3583:
3577:
3574:
3571:
3568:
3565:
3562:
3559:
3556:
3553:
3550:
3546:
3540:
3537:
3534:
3531:
3527:
3523:
3520:
3517:
3512:
3509:
3506:
3502:
3497:
3493:
3490:
3487:
3484:
3481:
3478:
3464:
3463:
3447:
3444:
3441:
3438:
3435:
3432:
3428:
3422:
3419:
3416:
3413:
3409:
3405:
3402:
3399:
3394:
3391:
3388:
3384:
3376:
3373:
3370:
3367:
3364:
3361:
3358:
3355:
3352:
3349:
3345:
3339:
3336:
3333:
3330:
3326:
3322:
3319:
3316:
3311:
3308:
3305:
3301:
3294:
3291:
3288:
3285:
3282:
3279:
3256:
3240:
3237:
3224:
3221:
3218:
3215:
3193:
3190:
3187:
3184:
3180:
3168:
3167:
3150:
3147:
3144:
3141:
3138:
3134:
3130:
3127:
3124:
3121:
3116:
3112:
3106:
3103:
3100:
3097:
3094:
3090:
3086:
3081:
3079:
3077:
3074:
3071:
3068:
3063:
3060:
3057:
3054:
3051:
3048:
3044:
3040:
3035:
3032:
3029:
3026:
3023:
3020:
3016:
3012:
3007:
3004:
3001:
2998:
2995:
2991:
2987:
2984:
2981:
2976:
2973:
2970:
2966:
2960:
2957:
2954:
2951:
2948:
2944:
2940:
2935:
2933:
2926:
2923:
2920:
2917:
2914:
2911:
2907:
2901:
2898:
2895:
2892:
2888:
2884:
2881:
2878:
2873:
2870:
2867:
2863:
2858:
2853:
2852:
2838:
2837:
2826:
2822:
2817:
2814:
2811:
2808:
2805:
2801:
2797:
2794:
2791:
2786:
2783:
2780:
2776:
2770:
2767:
2764:
2761:
2757:
2753:
2748:
2745:
2742:
2739:
2736:
2733:
2729:
2723:
2720:
2717:
2714:
2710:
2706:
2703:
2700:
2695:
2692:
2689:
2685:
2662:
2661:
2650:
2647:
2642:
2639:
2636:
2633:
2630:
2627:
2623:
2619:
2614:
2611:
2608:
2605:
2602:
2598:
2594:
2591:
2588:
2580:
2577:
2574:
2571:
2568:
2564:
2560:
2557:
2553:
2522:
2517:
2514:
2494:
2485:For each root
2482:
2479:
2477:
2474:
2458:
2455:
2452:
2449:
2446:
2426:
2423:
2420:
2417:
2414:
2394:
2391:
2388:
2385:
2382:
2362:
2359:
2356:
2353:
2350:
2347:
2344:
2341:
2338:
2335:
2332:
2329:
2326:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2296:
2293:
2290:
2287:
2284:
2281:
2278:
2266:
2262:
2259:
2256:
2243:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2199:
2196:
2191:
2188:
2166:
2144:
2140:
2136:
2133:
2130:
2127:
2122:
2119:
2114:
2111:
2108:
2105:
2102:
2082:
2079:
2076:
2073:
2070:
2067:
2064:
2061:
2058:
2055:
2050:
2047:
2042:
2039:
2036:
2033:
2028:
2024:
2003:
2000:
1997:
1977:
1972:
1968:
1964:
1959:
1955:
1951:
1948:
1943:
1939:
1935:
1930:
1926:
1922:
1919:
1897:
1893:
1889:
1884:
1880:
1876:
1856:
1853:
1850:
1845:
1841:
1837:
1832:
1828:
1824:
1819:
1815:
1811:
1808:
1803:
1799:
1795:
1792:
1789:
1786:
1783:
1780:
1775:
1771:
1767:
1762:
1758:
1754:
1751:
1748:
1745:
1742:
1737:
1733:
1729:
1724:
1720:
1716:
1713:
1708:
1704:
1700:
1695:
1691:
1687:
1684:
1662:
1658:
1654:
1651:
1646:
1642:
1638:
1633:
1629:
1608:
1603:
1599:
1595:
1592:
1589:
1586:
1581:
1577:
1573:
1568:
1564:
1560:
1557:
1535:
1531:
1527:
1522:
1518:
1494:
1489:
1485:
1481:
1476:
1472:
1468:
1465:
1443:
1439:
1433:
1429:
1425:
1420:
1416:
1410:
1406:
1383:
1379:
1356:
1352:
1331:
1328:
1325:
1322:
1319:
1316:
1311:
1307:
1286:
1283:
1280:
1277:
1274:
1271:
1266:
1262:
1241:
1238:
1235:
1232:
1229:
1226:
1221:
1217:
1213:
1210:
1207:
1204:
1201:
1198:
1195:
1190:
1186:
1173:
1166:
1163:
1160:
1147:
1144:
1141:
1138:
1135:
1132:
1110:
1106:
1100:
1096:
1092:
1087:
1083:
1077:
1073:
1069:
1066:
1046:
1035:
1034:
1022:
1017:
1013:
1009:
1004:
1000:
996:
992:
989:
986:
982:
979:
976:
973:
968:
964:
958:
954:
950:
945:
941:
935:
931:
927:
924:
901:
881:
876:
872:
868:
863:
859:
855:
851:
848:
845:
841:
838:
835:
832:
812:
790:
786:
763:
759:
755:
750:
746:
725:
699:
695:
672:
668:
656:
655:
642:
638:
632:
628:
624:
619:
615:
609:
605:
601:
598:
573:
569:
546:
542:
516:
512:
508:
503:
499:
495:
490:
486:
463:
459:
436:
432:
409:
405:
384:
362:
358:
354:
349:
345:
341:
336:
332:
309:
305:
282:
278:
253:
250:
247:
244:
241:
238:
235:
230:
226:
222:
219:
216:
213:
210:
207:
204:
199:
195:
172:
168:
143:
140:
137:
135:
132:
88:
85:
80:
76:
65:positive roots
48:
13:
10:
9:
6:
4:
3:
2:
4468:
4457:
4454:
4452:
4449:
4447:
4444:
4443:
4441:
4429:
4424:
4420:
4416:
4412:
4408:
4404:
4400:
4395:
4390:
4386:
4382:
4381:
4375:
4372:
4368:
4363:
4358:
4354:
4350:
4346:
4342:
4338:
4334:
4329:
4324:
4320:
4316:
4312:
4308:
4307:
4301:
4298:
4295:
4289:
4285:
4280:
4279:
4274:
4267:Theorem 10.29
4266:
4261:
4258:
4254:
4249:
4246:
4241:
4237:
4234:(1): 89–110.
4233:
4229:
4225:
4218:
4215:
4202:
4197:
4193:
4189:
4185:
4181:
4177:
4170:
4167:
4160:
4158:
4141:
4138:
4135:
4129:
4123:
4120:
4117:
4111:
4108:
4088:
4085:
4082:
4059:
4056:
4053:
4047:
4044:
4024:
4004:
3984:
3964:
3956:
3940:
3917:
3914:
3911:
3905:
3885:
3882:
3879:
3870:
3868:
3842:
3839:
3836:
3830:
3824:
3821:
3818:
3812:
3809:
3803:
3795:
3789:
3781:
3778:
3770:
3767:
3764:
3760:
3756:
3750:
3726:
3725:
3724:
3710:
3690:
3677:
3661:
3657:
3648:
3642:
3639:
3635:
3628:
3622:
3617:
3613:
3604:
3598:
3595:
3591:
3586:
3581:
3572:
3563:
3560:
3557:
3551:
3548:
3544:
3535:
3529:
3521:
3518:
3510:
3507:
3504:
3500:
3495:
3491:
3485:
3479:
3476:
3469:
3468:
3467:
3442:
3436:
3433:
3430:
3426:
3417:
3411:
3403:
3400:
3392:
3389:
3386:
3382:
3371:
3362:
3359:
3356:
3350:
3347:
3343:
3334:
3328:
3320:
3317:
3309:
3306:
3303:
3299:
3292:
3286:
3280:
3277:
3270:
3269:
3268:
3254:
3246:
3238:
3236:
3219:
3213:
3188:
3182:
3178:
3145:
3139:
3136:
3132:
3125:
3119:
3114:
3110:
3101:
3095:
3092:
3088:
3084:
3080:
3069:
3066:
3058:
3052:
3049:
3046:
3042:
3038:
3030:
3024:
3021:
3018:
3014:
3010:
3002:
2996:
2993:
2989:
2985:
2982:
2974:
2971:
2968:
2964:
2955:
2949:
2946:
2942:
2938:
2934:
2921:
2915:
2912:
2909:
2905:
2896:
2890:
2882:
2879:
2871:
2868:
2865:
2861:
2856:
2843:
2842:
2841:
2824:
2812:
2806:
2803:
2799:
2795:
2792:
2784:
2781:
2778:
2774:
2765:
2759:
2755:
2751:
2743:
2737:
2734:
2731:
2727:
2718:
2712:
2704:
2701:
2693:
2690:
2687:
2683:
2674:
2673:
2672:
2671:
2667:
2648:
2645:
2637:
2631:
2628:
2625:
2621:
2617:
2609:
2603:
2600:
2596:
2592:
2589:
2586:
2575:
2569:
2566:
2562:
2558:
2555:
2551:
2542:
2541:
2540:
2538:
2515:
2512:
2492:
2480:
2475:
2473:
2470:
2453:
2450:
2447:
2421:
2418:
2415:
2389:
2386:
2383:
2357:
2354:
2351:
2345:
2339:
2336:
2333:
2327:
2321:
2318:
2315:
2309:
2303:
2300:
2297:
2291:
2285:
2282:
2279:
2257:
2255:
2241:
2218:
2215:
2212:
2203:
2200:
2197:
2189:
2186:
2164:
2142:
2134:
2131:
2128:
2120:
2117:
2112:
2106:
2100:
2077:
2074:
2071:
2062:
2059:
2056:
2048:
2045:
2040:
2034:
2026:
2022:
2001:
1998:
1995:
1970:
1966:
1957:
1953:
1949:
1941:
1937:
1933:
1928:
1924:
1917:
1895:
1891:
1887:
1882:
1878:
1874:
1851:
1848:
1843:
1839:
1835:
1830:
1826:
1817:
1813:
1809:
1801:
1797:
1790:
1787:
1781:
1778:
1773:
1769:
1765:
1760:
1756:
1752:
1746:
1743:
1735:
1731:
1722:
1718:
1714:
1706:
1702:
1698:
1693:
1689:
1682:
1660:
1656:
1652:
1649:
1644:
1640:
1636:
1631:
1627:
1601:
1597:
1590:
1587:
1579:
1575:
1571:
1566:
1562:
1555:
1533:
1529:
1525:
1520:
1516:
1506:
1487:
1483:
1479:
1474:
1470:
1463:
1441:
1437:
1431:
1427:
1423:
1418:
1414:
1408:
1404:
1381:
1377:
1354:
1350:
1326:
1323:
1320:
1314:
1309:
1305:
1281:
1278:
1275:
1269:
1264:
1260:
1236:
1233:
1230:
1224:
1219:
1215:
1211:
1205:
1202:
1199:
1193:
1188:
1184:
1170:
1161:
1159:
1145:
1142:
1136:
1130:
1108:
1104:
1098:
1094:
1090:
1085:
1081:
1075:
1071:
1067:
1064:
1044:
1015:
1011:
1007:
1002:
998:
980:
977:
974:
966:
962:
956:
952:
948:
943:
939:
933:
929:
922:
915:
914:
913:
899:
874:
870:
866:
861:
857:
839:
836:
833:
830:
823:times, where
810:
788:
784:
761:
757:
753:
748:
744:
723:
716:way to write
715:
697:
693:
670:
666:
640:
636:
630:
626:
622:
617:
613:
607:
603:
599:
596:
589:
588:
587:
571:
567:
544:
540:
532:
514:
510:
506:
501:
497:
493:
488:
484:
476:, then since
461:
457:
434:
430:
407:
403:
382:
360:
356:
352:
347:
343:
339:
334:
330:
307:
303:
280:
276:
248:
245:
242:
239:
233:
228:
224:
220:
214:
211:
208:
202:
197:
193:
170:
166:
156:
148:
138:
133:
131:
129:
124:
122:
118:
114:
110:
106:
102:
83:
78:
66:
62:
39:
35:
31:
27:
23:
19:
4384:
4378:
4310:
4304:
4283:
4260:
4248:
4231:
4227:
4217:
4205:. Retrieved
4183:
4179:
4169:
3955:Verma module
3871:
3866:
3864:
3681:
3465:
3242:
3169:
2839:
2666:power series
2663:
2536:
2484:
2471:
2264:
1507:
1171:
1168:
1036:
713:
657:
531:simple roots
267:
125:
109:multiplicity
104:
21:
15:
38:root system
4440:Categories
4161:References
107:) for the
4403:0002-9947
4337:0027-8424
4265:Hall 2015
4253:Hall 2015
4240:0392-4041
4142:ρ
4136:μ
4130:−
4124:ρ
4118:λ
4112:⋅
4089:ρ
4083:μ
4060:ρ
4054:λ
4048:⋅
4025:λ
4005:μ
3985:λ
3965:λ
3941:μ
3918:μ
3915:−
3912:λ
3843:ρ
3837:μ
3831:−
3825:ρ
3819:λ
3813:⋅
3790:ℓ
3779:−
3768:∈
3761:∑
3751:μ
3711:λ
3691:μ
3643:μ
3640:−
3629:μ
3618:μ
3614:∑
3599:ρ
3596:−
3564:ρ
3558:λ
3552:⋅
3530:ℓ
3519:−
3508:∈
3501:∑
3480:
3437:ρ
3434:⋅
3412:ℓ
3401:−
3390:∈
3383:∑
3363:ρ
3357:λ
3351:⋅
3329:ℓ
3318:−
3307:∈
3300:∑
3281:
3255:λ
3214:ℓ
3183:μ
3140:μ
3137:−
3126:μ
3115:μ
3111:∑
3096:ρ
3093:−
3070:⋯
3053:α
3047:−
3025:α
3019:−
2997:α
2994:−
2969:α
2965:∏
2950:ρ
2947:−
2916:ρ
2913:⋅
2891:ℓ
2880:−
2869:∈
2862:∑
2807:α
2804:−
2796:−
2779:α
2775:∏
2760:ρ
2738:ρ
2735:⋅
2713:ℓ
2702:−
2691:∈
2684:∑
2649:⋯
2632:α
2626:−
2604:α
2601:−
2570:α
2567:−
2559:−
2535:, we can
2516:∈
2505:and each
2493:α
1999:≥
1888:≤
1849:−
1836:−
1810:−
1779:−
1766:−
1744:−
1650:≤
1637:≤
1526:≤
1438:α
1415:α
1306:α
1261:α
1216:α
1185:α
1137:μ
1105:α
1082:α
1065:μ
1045:μ
963:α
940:α
840:≤
834:≤
785:α
758:α
745:α
724:μ
637:α
614:α
597:μ
568:α
541:α
511:α
498:α
485:α
458:α
431:α
404:α
383:μ
357:α
344:α
331:α
304:α
277:α
240:−
225:α
194:α
87:Δ
84:⊂
75:Δ
47:Δ
4371:16590246
2668:. Using
2537:formally
134:Examples
36:), of a
4419:0109192
4411:1993422
4353:0099387
4315:Bibcode
4275:Sources
3953:in the
2405:, with
1910:, then
1675:, then
1548:, then
1123:, then
28: (
4428:528626
4425:
4417:
4409:
4401:
4369:
4362:528626
4359:
4351:
4343:
4335:
4290:
4238:
4207:4 June
2177:even,
449:, and
322:, and
61:weight
4407:JSTOR
4345:89667
4341:JSTOR
3977:. If
2265:For G
2254:odd.
1867:. If
1619:. If
1172:For B
776:with
658:with
115:of a
4399:ISSN
4367:PMID
4333:ISSN
4288:ISBN
4236:ISSN
4209:2023
2972:>
2782:>
2373:and
2234:for
2157:for
2093:and
1369:and
1297:and
685:and
559:and
34:1959
30:1958
4423:PMC
4389:doi
4357:PMC
4323:doi
4232:6-B
4196:hdl
4188:doi
3869:.
1508:If
714:one
16:In
4442::
4421:,
4415:MR
4413:,
4405:,
4397:,
4385:93
4383:,
4365:,
4355:,
4349:MR
4347:,
4339:,
4331:,
4321:,
4311:44
4309:,
4230:.
4226:.
4194:.
4182:.
4178:.
3723::
3477:ch
3278:ch
3267::
1158:.
586::
422:,
340::=
295:,
123:.
32:,
4391::
4325::
4317::
4242:.
4211:.
4198::
4190::
4184:4
4145:)
4139:+
4133:(
4127:)
4121:+
4115:(
4109:w
4086:+
4063:)
4057:+
4051:(
4045:w
3921:)
3909:(
3906:p
3886:1
3883:=
3880:w
3861:.
3849:)
3846:)
3840:+
3834:(
3828:)
3822:+
3816:(
3810:w
3807:(
3804:p
3799:)
3796:w
3793:(
3786:)
3782:1
3776:(
3771:W
3765:w
3757:=
3754:)
3748:(
3744:t
3741:l
3738:u
3735:m
3662:.
3658:)
3652:)
3649:H
3646:(
3636:e
3632:)
3626:(
3623:p
3608:)
3605:H
3602:(
3592:e
3587:(
3582:)
3576:)
3573:H
3570:(
3567:)
3561:+
3555:(
3549:w
3545:e
3539:)
3536:w
3533:(
3526:)
3522:1
3516:(
3511:W
3505:w
3496:(
3492:=
3489:)
3486:V
3483:(
3446:)
3443:H
3440:(
3431:w
3427:e
3421:)
3418:w
3415:(
3408:)
3404:1
3398:(
3393:W
3387:w
3375:)
3372:H
3369:(
3366:)
3360:+
3354:(
3348:w
3344:e
3338:)
3335:w
3332:(
3325:)
3321:1
3315:(
3310:W
3304:w
3293:=
3290:)
3287:V
3284:(
3223:)
3220:w
3217:(
3192:)
3189:H
3186:(
3179:e
3149:)
3146:H
3143:(
3133:e
3129:)
3123:(
3120:p
3105:)
3102:H
3099:(
3089:e
3085:=
3073:)
3067:+
3062:)
3059:H
3056:(
3050:3
3043:e
3039:+
3034:)
3031:H
3028:(
3022:2
3015:e
3011:+
3006:)
3003:H
3000:(
2990:e
2986:+
2983:1
2980:(
2975:0
2959:)
2956:H
2953:(
2943:e
2939:=
2925:)
2922:H
2919:(
2910:w
2906:e
2900:)
2897:w
2894:(
2887:)
2883:1
2877:(
2872:W
2866:w
2857:1
2825:,
2821:)
2816:)
2813:H
2810:(
2800:e
2793:1
2790:(
2785:0
2769:)
2766:H
2763:(
2756:e
2752:=
2747:)
2744:H
2741:(
2732:w
2728:e
2722:)
2719:w
2716:(
2709:)
2705:1
2699:(
2694:W
2688:w
2646:+
2641:)
2638:H
2635:(
2629:2
2622:e
2618:+
2613:)
2610:H
2607:(
2597:e
2593:+
2590:1
2587:=
2579:)
2576:H
2573:(
2563:e
2556:1
2552:1
2521:h
2513:H
2457:)
2454:1
2451:,
2448:0
2445:(
2425:)
2422:0
2419:,
2416:1
2413:(
2393:)
2390:2
2387:,
2384:3
2381:(
2361:)
2358:1
2355:,
2352:3
2349:(
2346:,
2343:)
2340:1
2337:,
2334:2
2331:(
2328:,
2325:)
2322:1
2319:,
2316:1
2313:(
2310:,
2307:)
2304:1
2301:,
2298:0
2295:(
2292:,
2289:)
2286:0
2283:,
2280:1
2277:(
2267:2
2260:2
2258:G
2242:n
2222:)
2219:3
2216:+
2213:n
2210:(
2207:)
2204:1
2201:+
2198:n
2195:(
2190:4
2187:1
2165:n
2143:2
2139:)
2135:2
2132:+
2129:n
2126:(
2121:4
2118:1
2113:=
2110:)
2107:n
2104:(
2101:b
2081:)
2078:2
2075:+
2072:n
2069:(
2066:)
2063:1
2060:+
2057:n
2054:(
2049:2
2046:1
2041:=
2038:)
2035:n
2032:(
2027:2
2023:q
2002:1
1996:n
1976:)
1971:2
1967:n
1963:(
1958:2
1954:q
1950:=
1947:)
1942:2
1938:n
1934:,
1929:1
1925:n
1921:(
1918:P
1896:1
1892:n
1883:2
1879:n
1875:2
1855:)
1852:1
1844:2
1840:n
1831:1
1827:n
1823:(
1818:2
1814:q
1807:)
1802:1
1798:n
1794:(
1791:b
1788:=
1785:)
1782:1
1774:1
1770:n
1761:2
1757:n
1753:2
1750:(
1747:b
1741:)
1736:2
1732:n
1728:(
1723:2
1719:q
1715:=
1712:)
1707:2
1703:n
1699:,
1694:1
1690:n
1686:(
1683:P
1661:2
1657:n
1653:2
1645:1
1641:n
1632:2
1628:n
1607:)
1602:1
1598:n
1594:(
1591:b
1588:=
1585:)
1580:2
1576:n
1572:,
1567:1
1563:n
1559:(
1556:P
1534:2
1530:n
1521:1
1517:n
1493:)
1488:2
1484:n
1480:,
1475:1
1471:n
1467:(
1464:P
1442:2
1432:2
1428:n
1424:+
1419:1
1409:1
1405:n
1382:2
1378:n
1355:1
1351:n
1330:)
1327:1
1324:,
1321:2
1318:(
1315:=
1310:4
1285:)
1282:1
1279:,
1276:1
1273:(
1270:=
1265:3
1240:)
1237:1
1234:,
1231:0
1228:(
1225:=
1220:2
1212:,
1209:)
1206:0
1203:,
1200:1
1197:(
1194:=
1189:1
1174:2
1164:2
1162:B
1146:0
1143:=
1140:)
1134:(
1131:p
1109:2
1099:2
1095:n
1091:+
1086:1
1076:1
1072:n
1068:=
1033:.
1021:)
1016:2
1012:n
1008:,
1003:1
999:n
995:(
991:n
988:i
985:m
981:+
978:1
975:=
972:)
967:2
957:2
953:n
949:+
944:1
934:1
930:n
926:(
923:p
900:p
880:)
875:2
871:n
867:,
862:1
858:n
854:(
850:n
847:i
844:m
837:k
831:0
811:k
789:3
762:2
754:+
749:1
698:2
694:n
671:1
667:n
641:2
631:2
627:n
623:+
618:1
608:1
604:n
600:=
572:2
545:1
515:2
507:+
502:1
494:=
489:3
462:3
435:2
408:1
361:2
353:+
348:1
335:3
308:2
281:1
264:.
252:)
249:1
246:,
243:1
237:(
234:=
229:2
221:,
218:)
215:0
212:,
209:1
206:(
203:=
198:1
171:2
167:B
141:2
139:A
79:+
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.