SyzygyData

Current Betti Table Entry:

\(n=2\)

\(d=7\)

\(b=3\)

\(p=12\)

\(q=1\)

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
0 10 294 4095 35651 214368 ? ? ? ? ? · · · · · · · · · · · · · · · · · · · · · · · ·
1 · · · · ? ? ? ? ? 421152732 1281128940 3141465600 6461148960 11381447880 17386048680 23213240820 27225405900 28132919430 25649198190 20633991840 14629391040 9118557000 4977259560 2365916280 971890920 341407836 101065580 24682944 4812192 706552 68376 2310 · ·
2 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 406 63 3
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
0 (3,0,0) (9,1,0) (15,1,1) (20,3,1) (25,4,2) ? ? ? ? ? · · · · · · · · · · · · · · · · · · · · · · · ·
1 · · · · ? ? ? ? ? (48,18,7) (52,18,10) (55,21,11) (58,23,13) (61,24,16) (64,24,20) (66,29,20) (68,33,21) (70,36,23) (72,38,26) (74,39,30) (76,39,35) (77,45,35) (78,50,36) (79,54,38) (80,57,41) (81,59,45) (82,60,50) (83,60,56) (83,66,57) (83,71,59) (83,75,62) (83,78,66) · ·
2 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · (82,82,70) (83,82,76) (83,83,82)
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
0 1 3 21 49 71 ? ? ? ? ? · · · · · · · · · · · · · · · · · · · · · · · ·
1 · · · · ? ? ? ? ? 260 288 314 334 352 365 374 379 378 373 365 350 334 311 287 259 229 198 165 132 100 62 5 · ·
2 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4 1 1
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
0 1 3 24 135 597 ? ? ? ? ? · · · · · · · · · · · · · · · · · · · · · · · ·
1 · · · · ? ? ? ? ? 391433 1139784 2673536 5290891 9036936 13496226 17765861 20717427 21468170 19799307 16257266 11875475 7702674 4422556 2237617 991418 381352 125792 34945 7941 1394 165 5 · ·
2 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4 1 1

Below is a plot displaying the Schur decomposition. In the \(\lambda=(\lambda_0,\lambda_1)\) spot we place \(\beta_{12,\lambda}(2,3;7)\), the multiplicity of \(\textbf{S}_{\lambda}\) occuring in the decomposition of \(K_{12,1}(2,3;7)\). Here \(\lambda\) is the weight \((\lambda_0,\lambda_1,\lambda_2)\) where \(\lambda_2\) is determined by the fact that \(|\lambda|\) equals \(d(p+q)+b\). The dominant weights are displayed in green. Click on an entry for more info!

31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
18 · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
19 · · · · · · · · · · · · · · · · · · · · · · · · · 9 4 2 ·
20 · · · · · · · · · · · · · · · · · · · · · · · 44 38 17 6 1 ·
21 · · · · · · · · · · · · · · · · · · · · · 246 222 146 70 29 8 2 ·
22 · · · · · · · · · · · · · · · · · · · 785 883 656 407 204 88 29 8 1 ·
23 · · · · · · · · · · · · · · · · · 2175 2653 2312 1629 1004 526 244 92 30 6 1 ·
24 · · · · · · · · · · · · · · · 4589 6355 6111 4933 3435 2139 1168 568 234 83 22 4 · ·
25 · · · · · · · · · · · · · 8301 12446 13324 11861 9337 6545 4162 2364 1211 539 211 65 16 2 · ·
26 · · · · · · · · · · · 12125 20183 23606 23269 20173 15838 11262 7334 4320 2310 1094 458 160 45 9 1 · ·
27 · · · · · · · · · 14999 27184 35041 37767 36119 31186 24695 17913 11975 7307 4078 2038 912 348 113 27 5 · · ·
28 · · · · · · · 14786 30081 42678 50784 53233 50649 44073 35452 26293 18062 11395 6604 3461 1634 671 236 66 13 1 · · ·
29 · · · · · 11532 26544 42424 55971 64973 67979 65215 57682 47346 36018 25450 16601 9986 5470 2717 1190 455 142 35 5 · · · ·
30 · · · 6036 17258 32251 48796 63619 74304 78845 77126 69749 58705 45887 33402 22507 14031 8003 4158 1927 785 269 74 14 1 · · · ·
31 · 1412 6524 16484 30739 47387 63508 76264 83351 83891 78156 67734 54607 41013 28585 18465 10958 5949 2899 1258 466 144 32 5 · · · · ·
32 · 2665 9895 21875 37531 54131 68936 79018 82998 80320 72196 60252 46854 33811 22645 13962 7897 4035 1843 731 244 63 11 1 · · · · ·
33 · · 7981 20759 36548 52413 65446 73310 74913 70512 61428 49679 37273 25929 16632 9801 5238 2518 1058 382 109 23 2 · · · · · ·
34 · · · 12828 28305 43166 54820 61109 61617 56760 48252 37852 27483 18373 11293 6308 3178 1413 541 170 40 6 · · · · · · ·
35 · · · · 15167 29370 40140 45815 46186 42064 35005 26746 18764 12070 7061 3734 1749 715 241 65 11 1 · · · · · · ·
36 · · · · · 13922 24432 30129 31175 28377 23306 17356 11787 7254 4031 1990 859 312 90 19 2 · · · · · · · ·
37 · · · · · · 10528 16620 18572 17299 14141 10326 6772 3986 2081 953 368 117 26 4 · · · · · · · · ·
38 · · · · · · · 6428 9213 9225 7676 5526 3510 1959 954 395 133 34 5 · · · · · · · · · ·
39 · · · · · · · · 3226 4099 3633 2628 1617 854 379 139 38 7 · · · · · · · · · · ·
40 · · · · · · · · · 1259 1407 1066 644 318 127 39 8 1 · · · · · · · · · · ·
41 · · · · · · · · · · 375 348 212 98 33 8 1 · · · · · · · · · · · ·
42 · · · · · · · · · · · 75 53 23 6 1 · · · · · · · · · · · · ·
43 · · · · · · · · · · · · 7 3 · · · · · · · · · · · · · · ·
44 · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

Below is a plot displaying the multigraded Betti numbers. In the \((a_0,a_1)\) spot we place \(\beta_{12,\textbf{a}}(2,3;7)\). Here \(\textbf{a}\) is the weight \((a_0,a_1,a_2)\) where \(a_2\) is determined by the fact that \(|\textbf{a}|\) equals \(d(p+q)+b\). Entries with error corrected via our Schur decomposition algorithm are in orange. Click on an entry for more info!

6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
6 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1 2 3 3 3 3 3 2 1 · · · · · · · · · · ·
7 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1 3 7 12 20 30 40 47 50 50 47 40 30 20 12 7 3 1 · · · · · · ·
8 · · · · · · · · · · · · · · · · · · · · · · · · · · 1 3 10 24 49 84 131 186 244 293 326 336 326 293 244 186 131 84 49 24 10 3 1 · · · · ·
9 · · · · · · · · · · · · · · · · · · · · · · · · 1 7 21 53 113 215 361 555 782 1024 1248 1421 1514 1514 1421 1248 1024 782 555 361 215 113 53 21 7 1 · · · ·
10 · · · · · · · · · · · · · · · · · · · · · · 1 7 28 79 186 380 698 1162 1779 2521 3330 4117 4783 5228 5386 5228 4783 4117 3330 2521 1779 1162 698 380 186 79 28 7 1 · · ·
11 · · · · · · · · · · · · · · · · · · · · 1 7 27 88 228 516 1029 1863 3084 4734 6758 9035 11343 13426 15008 15866 15866 15008 13426 11343 9035 6758 4734 3084 1863 1029 516 228 88 27 7 1 · ·
12 · · · · · · · · · · · · · · · · · · · 3 19 71 212 534 1180 2340 4224 7019 10839 15645 21194 27051 32614 37230 40291 41366 40291 37230 32614 27051 21194 15645 10839 7019 4224 2340 1180 534 212 71 19 3 · ·
13 · · · · · · · · · · · · · · · · · 1 8 42 149 435 1073 2356 4659 8448 14136 22048 32202 44267 57427 70525 82131 90854 95539 95539 90854 82131 70525 57427 44267 32202 22048 14136 8448 4659 2356 1073 435 149 42 8 1 ·
14 · · · · · · · · · · · · · · · · 2 16 76 266 767 1898 4168 8298 15157 25649 40489 59973 83694 110431 138086 163999 185238 199218 204087 199218 185238 163999 138086 110431 83694 59973 40489 25649 15157 8298 4168 1898 767 266 76 16 2 ·
15 · · · · · · · · · · · · · · · 4 27 124 423 1218 3022 6697 13448 24851 42571 68164 102473 145325 195011 248313 300570 346442 380614 398877 398877 380614 346442 300570 248313 195011 145325 102473 68164 42571 24851 13448 6697 3022 1218 423 124 27 4 ·
16 · · · · · · · · · · · · · · 5 38 173 601 1739 4376 9818 20012 37497 65231 106055 162075 233714 319163 413787 510455 600027 672973 720653 737273 720653 672973 600027 510455 413787 319163 233714 162075 106055 65231 37497 20012 9818 4376 1739 601 173 38 5 ·
17 · · · · · · · · · · · · · 7 47 221 775 2286 5834 13320 27591 52597 93017 153841 239123 350938 487819 644135 809608 970337 1110289 1214042 1269292 1269292 1214042 1110289 970337 809608 644135 487819 350938 239123 153841 93017 52597 27591 13320 5834 2286 775 221 47 7 ·
18 · · · · · · · · · · · · 7 53 251 914 2755 7202 16767 35446 68849 124097 209002 330885 494469 700111 941670 1206108 1473494 1719608 1918744 2048639 2093697 2048639 1918744 1719608 1473494 1206108 941670 700111 494469 330885 209002 124097 68849 35446 16767 7202 2755 914 251 53 7 ·
19 · · · · · · · · · · · 7 53 266 991 3087 8271 19739 42636 84609 155588 267296 431322 656957 947770 1299103 1695638 2111668 2512691 2860053 3116506 3252829 3252829 3116506 2860053 2512691 2111668 1695638 1299103 947770 656957 431322 267296 155588 84609 42636 19739 8271 3087 991 266 53 7 ·
20 · · · · · · · · · · 5 47 251 991 3193 8854 21715 48144 97770 183864 322565 531307 825378 1214260 1696651 2257567 2865946 3477041 4036072 4486937 4779947 4881740 4779947 4486937 4036072 3477041 2865946 2257567 1696651 1214260 825378 531307 322565 183864 97770 48144 21715 8854 3193 991 251 47 5 ·
21 · · · · · · · · · 4 38 221 914 3087 8854 22438 51143 106613 205293 368446 620019 983501 1476271 2104077 2854756 3695250 4570890 5410505 6134656 6667893 6950805 6950805 6667893 6134656 5410505 4570890 3695250 2854756 2104077 1476271 983501 620019 368446 205293 106613 51143 22438 8854 3087 914 221 38 4 ·
22 · · · · · · · · 2 27 173 775 2755 8271 21715 51143 109674 216851 398701 686587 1113073 1706440 2482207 3435983 4535989 5721900 6906380 7986028 8853660 9416939 9611980 9416939 8853660 7986028 6906380 5721900 4535989 3435983 2482207 1706440 1113073 686587 398701 216851 109674 51143 21715 8271 2755 775 173 27 2 ·
23 · · · · · · · 1 16 124 601 2286 7202 19739 48144 106613 216851 409373 722311 1198434 1878074 2790557 3942943 5311261 6833810 8412452 9919963 11216402 12168896 12673674 12673674 12168896 11216402 9919963 8412452 6833810 5311261 3942943 2790557 1878074 1198434 722311 409373 216851 106613 48144 19739 7202 2286 601 124 16 1 ·
24 · · · · · · · 8 76 423 1739 5834 16767 42636 97770 205293 398701 722311 1228075 1969798 2992160 4319029 5939190 7798030 9792155 11777179 13580499 15027246 15964405 16289309 15964405 15027246 13580499 11777179 9792155 7798030 5939190 4319029 2992160 1969798 1228075 722311 398701 205293 97770 42636 16767 5834 1739 423 76 8 · ·
25 · · · · · · 3 42 266 1218 4376 13320 35446 84609 183864 368446 686587 1198434 1969798 3062544 4519475 6349160 8510627 10906016 13380827 15737924 17760488 19244313 20029903 20029903 19244313 17760488 15737924 13380827 10906016 8510627 6349160 4519475 3062544 1969798 1198434 686587 368446 183864 84609 35446 13320 4376 1218 266 42 3 · ·
26 · · · · · 1 19 149 767 3022 9818 27591 68849 155588 322565 620019 1113073 1878074 2992160 4519475 6491347 8889522 11630216 14562262 17472765 20112614 22226387 23595191 24068705 23595191 22226387 20112614 17472765 14562262 11630216 8889522 6491347 4519475 2992160 1878074 1113073 620019 322565 155588 68849 27591 9818 3022 767 149 19 1 · ·
27 · · · · · 7 71 435 1898 6697 20012 52597 124097 267296 531307 983501 1706440 2790557 4319029 6349160 8889522 11881923 15189355 18599517 21841568 24620013 26656296 27733783 27733783 26656296 24620013 21841568 18599517 15189355 11881923 8889522 6349160 4319029 2790557 1706440 983501 531307 267296 124097 52597 20012 6697 1898 435 71 7 · · ·
28 · · · · 1 27 212 1073 4168 13448 37497 93017 209002 431322 825378 1476271 2482207 3942943 5939190 8510627 11630216 15189355 18989689 22757943 26170841 28902535 30669376 31281330 30669376 28902535 26170841 22757943 18989689 15189355 11630216 8510627 5939190 3942943 2482207 1476271 825378 431322 209002 93017 37497 13448 4168 1073 212 27 1 · · ·
29 · · · · 7 88 534 2356 8298 24851 65231 153841 330885 656957 1214260 2104077 3435983 5311261 7798030 10906016 14562262 18599517 22757943 26708576 30091981 32570717 33881920 33881920 32570717 30091981 26708576 22757943 18599517 14562262 10906016 7798030 5311261 3435983 2104077 1214260 656957 330885 153841 65231 24851 8298 2356 534 88 7 · · · ·
30 · · · 1 28 228 1180 4659 15157 42571 106055 239123 494469 947770 1696651 2854756 4535989 6833810 9792155 13380827 17472765 21841568 26170841 30091981 33228464 35258086 35960000 35258086 33228464 30091981 26170841 21841568 17472765 13380827 9792155 6833810 4535989 2854756 1696651 947770 494469 239123 106055 42571 15157 4659 1180 228 28 1 · · · ·
31 · · · 7 79 516 2340 8448 25649 68164 162075 350938 700111 1299103 2257567 3695250 5721900 8412452 11777179 15737924 20112614 24620013 28902535 32570717 35258086 36679831 36679831 35258086 32570717 28902535 24620013 20112614 15737924 11777179 8412452 5721900 3695250 2257567 1299103 700111 350938 162075 68164 25649 8448 2340 516 79 7 · · · · ·
32 · · 1 21 186 1029 4224 14136 40489 102473 233714 487819 941670 1695638 2865946 4570890 6906380 9919963 13580499 17760488 22226387 26656296 30669376 33881920 35960000 36679831 35960000 33881920 30669376 26656296 22226387 17760488 13580499 9919963 6906380 4570890 2865946 1695638 941670 487819 233714 102473 40489 14136 4224 1029 186 21 1 · · · · ·
33 · · 3 53 380 1863 7019 22048 59973 145325 319163 644135 1206108 2111668 3477041 5410505 7986028 11216402 15027246 19244313 23595191 27733783 31281330 33881920 35258086 35258086 33881920 31281330 27733783 23595191 19244313 15027246 11216402 7986028 5410505 3477041 2111668 1206108 644135 319163 145325 59973 22048 7019 1863 380 53 3 · · · · · ·
34 · · 10 113 698 3084 10839 32202 83694 195011 413787 809608 1473494 2512691 4036072 6134656 8853660 12168896 15964405 20029903 24068705 27733783 30669376 32570717 33228464 32570717 30669376 27733783 24068705 20029903 15964405 12168896 8853660 6134656 4036072 2512691 1473494 809608 413787 195011 83694 32202 10839 3084 698 113 10 · · · · · · ·
35 · 1 24 215 1162 4734 15645 44267 110431 248313 510455 970337 1719608 2860053 4486937 6667893 9416939 12673674 16289309 20029903 23595191 26656296 28902535 30091981 30091981 28902535 26656296 23595191 20029903 16289309 12673674 9416939 6667893 4486937 2860053 1719608 970337 510455 248313 110431 44267 15645 4734 1162 215 24 1 · · · · · · ·
36 · 3 49 361 1779 6758 21194 57427 138086 300570 600027 1110289 1918744 3116506 4779947 6950805 9611980 12673674 15964405 19244313 22226387 24620013 26170841 26708576 26170841 24620013 22226387 19244313 15964405 12673674 9611980 6950805 4779947 3116506 1918744 1110289 600027 300570 138086 57427 21194 6758 1779 361 49 3 · · · · · · · ·
37 · 7 84 555 2521 9035 27051 70525 163999 346442 672973 1214042 2048639 3252829 4881740 6950805 9416939 12168896 15027246 17760488 20112614 21841568 22757943 22757943 21841568 20112614 17760488 15027246 12168896 9416939 6950805 4881740 3252829 2048639 1214042 672973 346442 163999 70525 27051 9035 2521 555 84 7 · · · · · · · · ·
38 · 12 131 782 3330 11343 32614 82131 185238 380614 720653 1269292 2093697 3252829 4779947 6667893 8853660 11216402 13580499 15737924 17472765 18599517 18989689 18599517 17472765 15737924 13580499 11216402 8853660 6667893 4779947 3252829 2093697 1269292 720653 380614 185238 82131 32614 11343 3330 782 131 12 · · · · · · · · · ·
39 · 20 186 1024 4117 13426 37230 90854 199218 398877 737273 1269292 2048639 3116506 4486937 6134656 7986028 9919963 11777179 13380827 14562262 15189355 15189355 14562262 13380827 11777179 9919963 7986028 6134656 4486937 3116506 2048639 1269292 737273 398877 199218 90854 37230 13426 4117 1024 186 20 · · · · · · · · · · ·
40 1 30 244 1248 4783 15008 40291 95539 204087 398877 720653 1214042 1918744 2860053 4036072 5410505 6906380 8412452 9792155 10906016 11630216 11881923 11630216 10906016 9792155 8412452 6906380 5410505 4036072 2860053 1918744 1214042 720653 398877 204087 95539 40291 15008 4783 1248 244 30 1 · · · · · · · · · · ·
41 2 40 293 1421 5228 15866 41366 95539 199218 380614 672973 1110289 1719608 2512691 3477041 4570890 5721900 6833810 7798030 8510627 8889522 8889522 8510627 7798030 6833810 5721900 4570890 3477041 2512691 1719608 1110289 672973 380614 199218 95539 41366 15866 5228 1421 293 40 2 · · · · · · · · · · · ·
42 3 47 326 1514 5386 15866 40291 90854 185238 346442 600027 970337 1473494 2111668 2865946 3695250 4535989 5311261 5939190 6349160 6491347 6349160 5939190 5311261 4535989 3695250 2865946 2111668 1473494 970337 600027 346442 185238 90854 40291 15866 5386 1514 326 47 3 · · · · · · · · · · · · ·
43 3 50 336 1514 5228 15008 37230 82131 163999 300570 510455 809608 1206108 1695638 2257567 2854756 3435983 3942943 4319029 4519475 4519475 4319029 3942943 3435983 2854756 2257567 1695638 1206108 809608 510455 300570 163999 82131 37230 15008 5228 1514 336 50 3 · · · · · · · · · · · · · ·
44 3 50 326 1421 4783 13426 32614 70525 138086 248313 413787 644135 941670 1299103 1696651 2104077 2482207 2790557 2992160 3062544 2992160 2790557 2482207 2104077 1696651 1299103 941670 644135 413787 248313 138086 70525 32614 13426 4783 1421 326 50 3 · · · · · · · · · · · · · · ·
45 3 47 293 1248 4117 11343 27051 57427 110431 195011 319163 487819 700111 947770 1214260 1476271 1706440 1878074 1969798 1969798 1878074 1706440 1476271 1214260 947770 700111 487819 319163 195011 110431 57427 27051 11343 4117 1248 293 47 3 · · · · · · · · · · · · · · · ·
46 3 40 244 1024 3330 9035 21194 44267 83694 145325 233714 350938 494469 656957 825378 983501 1113073 1198434 1228075 1198434 1113073 983501 825378 656957 494469 350938 233714 145325 83694 44267 21194 9035 3330 1024 244 40 3 · · · · · · · · · · · · · · · · ·
47 2 30 186 782 2521 6758 15645 32202 59973 102473 162075 239123 330885 431322 531307 620019 686587 722311 722311 686587 620019 531307 431322 330885 239123 162075 102473 59973 32202 15645 6758 2521 782 186 30 2 · · · · · · · · · · · · · · · · · ·
48 1 20 131 555 1779 4734 10839 22048 40489 68164 106055 153841 209002 267296 322565 368446 398701 409373 398701 368446 322565 267296 209002 153841 106055 68164 40489 22048 10839 4734 1779 555 131 20 1 · · · · · · · · · · · · · · · · · · ·
49 · 12 84 361 1162 3084 7019 14136 25649 42571 65231 93017 124097 155588 183864 205293 216851 216851 205293 183864 155588 124097 93017 65231 42571 25649 14136 7019 3084 1162 361 84 12 · · · · · · · · · · · · · · · · · · · · ·
50 · 7 49 215 698 1863 4224 8448 15157 24851 37497 52597 68849 84609 97770 106613 109674 106613 97770 84609 68849 52597 37497 24851 15157 8448 4224 1863 698 215 49 7 · · · · · · · · · · · · · · · · · · · · · ·
51 · 3 24 113 380 1029 2340 4659 8298 13448 20012 27591 35446 42636 48144 51143 51143 48144 42636 35446 27591 20012 13448 8298 4659 2340 1029 380 113 24 3 · · · · · · · · · · · · · · · · · · · · · · ·
52 · 1 10 53 186 516 1180 2356 4168 6697 9818 13320 16767 19739 21715 22438 21715 19739 16767 13320 9818 6697 4168 2356 1180 516 186 53 10 1 · · · · · · · · · · · · · · · · · · · · · · · ·
53 · · 3 21 79 228 534 1073 1898 3022 4376 5834 7202 8271 8854 8854 8271 7202 5834 4376 3022 1898 1073 534 228 79 21 3 · · · · · · · · · · · · · · · · · · · · · · · · · ·
54 · · 1 7 28 88 212 435 767 1218 1739 2286 2755 3087 3193 3087 2755 2286 1739 1218 767 435 212 88 28 7 1 · · · · · · · · · · · · · · · · · · · · · · · · · · ·
55 · · · 1 7 27 71 149 266 423 601 775 914 991 991 914 775 601 423 266 149 71 27 7 1 · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
56 · · · · 1 7 19 42 76 124 173 221 251 266 251 221 173 124 76 42 19 7 1 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
57 · · · · · 1 3 8 16 27 38 47 53 53 47 38 27 16 8 3 1 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
58 · · · · · · · 1 2 4 5 7 7 7 5 4 2 1 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
59 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·