Untersuchungsergebnis.g Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
#############################################################################
##
#W growthsequences.g GAP4 Package `RCWA' Stefan Kohl
##
## Data library of groups generated by 3 class transpositions which inter-
## change residue classes with moduli <= 6: part containing lists of
## initial parts of (word-)growth sequences.
##
## For all i in [1..52394], growthsequences[i] is a list of sizes of spheres
## of radii 0, 1, 2, ... about the identity in grps[i].
##
#############################################################################
local growthset, growthpos, growthsequences;
growthset :=
[ [ 1,3,0 ],[ 1,3,2,0 ],[ 1,3,3,1,0 ],[ 1,3,4,3,1,0 ],
[ 1,3,4,4,0 ],[ 1,3,4,4,3,1,0 ],[ 1,3,4,4,4,4,3,1,0 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,3,1,0 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,3,1,0 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
4,4,4,4,4,4,3,1,0 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
4,4,4,4,4,4,4,4,4 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4 ],
[ 1,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4 ],[ 1,3,5,3,0 ],
[ 1,3,5,5,2,0 ],[ 1,3,5,5,4,4,2,0 ],
[ 1,3,5,6,5,3,1,0 ],[ 1,3,5,7,8,0 ],
[ 1,3,5,7,8,8,7,5,3,1,0 ],[ 1,3,5,7,9,8,3,0 ],
[ 1,3,5,7,9,12,9,2,0 ],
[ 1,3,5,7,9,12,15,17,19,21,20,12,3,0 ],
[ 1,3,5,7,9,12,16,21,28,25,12,4,1,0 ],
[ 1,3,5,7,9,12,16,21,28,37,45,50,54,60,65,59,49,39,16,0 ]
,[ 1,3,5,7,9,12,16,21,28,37,49,65,86,114,151,178,195,
221,255,276,223,122,56,24,6,0 ],[ 1,3,5,8,9,5,1,0 ],
[ 1,3,5,8,10,9,7,4,1,0 ],
[ 1,3,5,8,10,9,8,8,8,8,8,8,7,4,1,0 ],
[ 1,3,5,8,10,9,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8 ],
[ 1,3,5,8,10,9,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8,8,8,7,4,1,0 ],
[ 1,3,5,8,10,9,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8 ],
[ 1,3,5,8,11,8,0 ],[ 1,3,5,8,11,13,14,11,5,1,0 ],
[ 1,3,5,8,11,13,15,15,13,12,12,12,11,8,4,1,0 ],
[ 1,3,5,8,11,13,15,15,13,12,12,12,12,12,12,12,12,12,12,
12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,
12,12,12,12 ],[ 1,3,5,8,11,13,16,19,19,16,11,5,1,0 ],
[ 1,3,5,8,11,13,16,19,21,21,16,8,2,0 ],
[ 1,3,5,8,11,13,16,19,21,24,25,21,16,11,5,1,0 ],
[ 1,3,5,8,11,13,16,19,21,24,26,25,24,23,21,20,20,20,20,
20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,
20,20,20,20 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,30,27,21,16,11,5,1,0 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,31,31,29,28,27,25,24,
24,24,24,24,24,24,24,24 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,31,31,29,28,27,25,24,
24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,
24,24,24,24 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,32,35,37,40,43,45,48,
51,52,52,51,49,48,47,45,44,43,41,40,40,40,40,40,40,40,
40,40,40,40 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,32,35,37,40,43,45,48,
51,53,56,59,61,64,67 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,32,35,37,40,43,45,48,
51,53,56,59,61,64,67,69 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,32,35,37,40,43,45,48,
51,53,56,59,61,64,67,69,72,75,77,79,79,77,76,75,73,72,
71,69,68,67 ],
[ 1,3,5,8,11,13,16,19,21,24,27,29,32,35,37,40,43,45,48,
51,53,56,59,61,64,67,69,72,75,77,80,83,85,88,91,93,96,
99,101,104,107 ],[ 1,3,5,8,12,9,7,3,0 ],
[ 1,3,5,8,12,12,6,1,0 ],[ 1,3,5,8,12,17,21,5,0 ],
[ 1,3,5,8,12,17,21,18,9,2,0 ],
[ 1,3,5,8,12,17,22,23,20,17,16,16,15,11,5,1,0 ],
[ 1,3,5,8,12,17,22,25,24,3,0 ],
[ 1,3,5,8,12,17,22,25,29,32,28,22,18,12,5,1,0 ],
[ 1,3,5,8,12,17,24,33,36,26,13,9,4,1,0 ],
[ 1,3,5,8,12,17,24,33,36,28,16,7,2,0 ],
[ 1,3,5,8,12,17,24,33,45,35,37,17,3,0 ],
[ 1,3,5,8,12,17,24,33,45,61,71,78,85,85,72,56,45,17,2,0 ]
,[ 1,3,5,8,12,17,24,33,45,61,79,78,55,33,16,6,3,1,0 ],
[ 1,3,5,8,12,17,24,33,45,61,83,114,144,168,184,187,164,
106,49,21,9,2,0 ],
[ 1,3,5,8,12,17,24,33,45,61,83,114,147,151,126,98,84,69,
52,18,1,0 ],
[ 1,3,5,8,12,17,24,33,45,61,83,114,153,202,269,357,436,
427,330,187,72,28,9,3,1,0 ],
[ 1,3,5,8,12,17,24,33,45,61,83,114,155,210,286,371,453,
533,569,577,563,475,375,293,206,127 ],
[ 1,3,5,8,12,17,24,33,45,61,83,114,155,210,286,371,453,
533,569,577,563,475,375,293,206,127,68,37,23,15,9,5,3,
1,0 ],[ 1,3,5,8,12,17,25,32,35,29,16,7,2,0 ],
[ 1,3,5,8,12,17,25,37,48,51,47,41,36,29,17,6,1,0 ],
[ 1,3,5,8,12,17,25,37,50,58,62,64,52,29,9,0 ],
[ 1,3,5,8,12,17,25,37,52,59,52,42,34,24,11,2,0 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668,900
],[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,
668,900,1206 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668,
900,1206,1628 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668,
900,1206,1628,2204 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668,
900,1206,1628,2204,2962,3955,5289 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,668,
900,1206,1628,2209 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,672,
922,1263 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,194,262,355,488,672,
922,1263,1730 ],[ 1,3,5,8,12,17,25,37,52,71,99,140,196 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,197,276,387,543,758,
1050 ],
[ 1,3,5,8,12,17,25,37,52,71,99,140,197,276,387,543,758,
1050,1447,1994 ],
[ 1,3,5,8,12,17,25,37,54,76,89,90,91,84,66,44,17,1,0 ],
[ 1,3,5,8,12,17,25,37,54,79,112,157,174,133,77,42,20,4,0 ]
,[ 1,3,5,8,12,17,25,37,54,79,112,157,217 ],
[ 1,3,5,8,12,17,25,37,54,79,115,166,235 ],
[ 1,3,5,8,12,17,25,37,54,79,116,151,187,243,320,420,540,
685,827,915,939,941,869,636,359,164,59,21,7,0 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,231,289,352,399,392,
314,201,107,47,17,4,0 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,232,297,378,470,522,
494,425,368,326,294,274,261,251,244,242,243,244,243,241,
240,240,240,240,240,240,240,240,240,240 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,237,308,386,448,492,
509,448,332,128,22,3,0 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396,1975,2786,3932,5530,7743,10833,15161 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396,1975,2786,3932,5530,7743,10833,15161,21219 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396,1975,2786,3932,5530,7743,10833,15161,21219,29673 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396,1975,2786,3932,5530,7743,10833,15161,21219,29673,41417 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,244,343,484,689,982,
1396,1981 ],[ 1,3,5,8,12,17,25,37,54,79,116,170,246 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,247 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,247,357,518,754 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,247,357,518,754,1097 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248,361,526,766,1116,
1628,2368,3440,4994,7212,10312,14718,21073 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248,361,526,766,1116,
1628,2368,3440,4994,7212,10312,14718,21073,30203 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248,361,526,766,1116,
1628,2374,3461,5042,7314,10579,15305,22148 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248,361,526,766,1116,
1628,2374,3461,5042,7314,10579,15305,22148,32048 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,248,361,526,766,1116,
1628,2374,3461,5042,7314,10579,15305,22148,32048,46334 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,249,365,535,784,1149,
1684,2459,3580 ],
[ 1,3,5,8,12,17,25,37,54,79,116,170,249,365,535,784,1149,
1684,2468,3617 ],[ 1,3,5,8,13,13,5,0 ],
[ 1,3,5,8,13,16,23,30,27,16,2,0 ],
[ 1,3,5,8,13,17,15,8,2,0 ],
[ 1,3,5,8,13,17,21,25,29,33,37,41,33,17,5,0 ],
[ 1,3,5,8,13,17,21,25,29,33,37,41,45,49,53,57,61,65,69,
73,77,81,85,89,93,97,101,105,109,113,117,121,125,129,
133,137,141,145,149,153,157 ],
[ 1,3,5,8,13,21,23,13,5,3,1,0 ],
[ 1,3,5,8,13,21,27,30,34,28,14,6,2,0 ],
[ 1,3,5,8,13,21,29,34,41,47,45,31,10,0 ],
[ 1,3,5,8,13,21,30,38,50,67,85,102,111,121,137,128,108,87,
36,1,0 ],[ 1,3,5,8,13,21,30,39,53,68,73,53,17,0 ],
[ 1,3,5,8,13,21,30,39,53,68,77,76,63,49,38,23,8,1,0 ],
[ 1,3,5,8,13,21,30,39,53,68,77,76,64,54,52,52,51,49,48,
48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,
48,48,48,48 ],
[ 1,3,5,8,13,21,30,42,61,83,96,97,95,81,59,25,0 ],
[ 1,3,5,8,13,21,31,43,62,88,118,153,184,218,261,269,256,
245,176,92,44,12,1,0 ],
[ 1,3,5,8,13,21,31,43,62,88,122,172,242,311,366,400,388,
341,206,53,4,0 ],
[ 1,3,5,8,13,21,31,46,70,70,50,41,21,3,1,0 ],
[ 1,3,5,8,13,21,32,47,64,90,124,122,104,52,22,10,2,0 ],
[ 1,3,5,8,13,21,32,47,71,108,147,144,95,42,14,8,5,3,1,0 ]
,[ 1,3,5,8,13,21,32,47,71,108,151,192,228,252,256,240,
218,173,113,73,50,29,12,6,2,0 ],
[ 1,3,5,8,13,21,32,47,71,108,155,183,144,62,11,0 ],
[ 1,3,5,8,13,21,32,47,71,108,163,245,366 ],
[ 1,3,5,8,13,21,33,41,46,52,58,57,44,30,16,4,0 ],
[ 1,3,5,8,13,21,33,41,46,52,58,57,45,38,38,37,36,36,36,
36,36,36,36,36,36,36,36,36,36,36,36,36,36,36,36,36,36,
36,36,36,36 ],[ 1,3,5,8,13,21,33,51,60,49,32,12,0 ],
[ 1,3,5,8,13,21,33,51,67,74,76,70,59,48,32,13,2,0 ],
[ 1,3,5,8,13,21,33,51,76,110,158,209,230,212,164,95,37,10,
3,1,0 ],[ 1,3,5,8,13,21,33,51,78,118,180,273,408 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,409,608,897,1327,1965,
2891,4232 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,409,608,897,1327,1965,
2891,4232,6174 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,409,608,897,1327,1965,
2891,4232,6174,9008 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,409,608,897,1327,1965,
2891,4232,6174,9008,13142,19105,27691,40079 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,411 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,412,626,949,1435 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,412,626,949,1435,2170,
3278 ],[ 1,3,5,8,13,21,33,51,78,118,180,273,412,626,949,
1435,2170,3278,4932 ],
[ 1,3,5,8,13,21,33,51,78,118,180,273,412,626,949,1435,2170,
3278,4932,7405 ],
[ 1,3,5,8,13,21,33,51,80,99,103,89,49,17,4,0 ],
[ 1,3,5,8,13,21,33,51,80,117,168,166,101,55,29,11,2,0 ],
[ 1,3,5,8,13,21,33,51,80,120,177,259,359,479,642,863,1120 ],
[ 1,3,5,8,13,21,33,51,80,123,189,292,445 ],
[ 1,3,5,8,13,21,33,51,80,126,182,239,272,219,138,80,37,21,
7,0 ],[ 1,3,5,8,13,21,33,51,80,126,186,258,334,406,480,
540,572,545,407,245,152,88,37,13,4,0 ],
[ 1,3,5,8,13,21,33,51,80,126,189,274,396,533,676,826,905,
781,488,225,87,30,7,2,0 ],
[ 1,3,5,8,13,21,33,51,80,126,190,251,274,252,194,121,68,
31,6,0 ],
[ 1,3,5,8,13,21,33,51,80,126,190,251,275,260,220,182,171,
172,163,153,152,151,150,149,148,147,146,146,145,144,144,
144,144,144,144,144,144,144,144,144,144 ],
[ 1,3,5,8,13,21,33,51,80,126,194,273,364,480,588,602,551,
444,281,143,50,9,0 ],
[ 1,3,5,8,13,21,33,51,80,126,194,280,383,504,672,830,859,
778,547,254,88,25,5,0 ],
[ 1,3,5,8,13,21,33,51,80,126,194,280,393,551,755,967,1177 ],
[ 1,3,5,8,13,21,33,51,80,126,194,282,388,533,720,909,1083 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,437 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,441 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,443 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1024,1535,
2290,3418 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1024,1535,
2290,3418,5100 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1024,1535,
2290,3418,5100,7568 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1024,1535,
2290,3418,5100,7568,11176 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1024,1535,
2290,3418,5100,7568,11176,16504,24375,35918,52727 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034,1587 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034,1587,
2430,3710 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034,1587,
2430,3710,5652 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034,1587,
2430,3710,5652,8614 ],
[ 1,3,5,8,13,21,33,51,80,126,194,294,444,675,1034,1587,
2430,3710,5652,8614,13138 ],
[ 1,3,5,8,13,21,33,51,80,126,198,266,300,330,374,410,427,
416,293,97,4,0 ],
[ 1,3,5,8,13,21,33,51,80,126,198,295,405,534,691,848,1003 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,470 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,480 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,481 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,483 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,485 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,485,754,1176 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185,1851,
2883,4446 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185,1851,
2883,4446,6745,10187 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185,1851,
2890,4491 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185,1851,
2890,4498,6920 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,486,758,1185,1851,
2890,4498,6920,10540 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,487 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,487,762,1194,1871,
2931,4517,6915 ],
[ 1,3,5,8,13,21,33,51,80,126,198,311,488 ],
[ 1,3,5,8,13,21,34,50,72,103,143,194,221,231,267,276,267,
240,127,26,2,0 ],
[ 1,3,5,8,13,21,34,55,73,93,122,136,143,157,147,91,38,12,
0 ],[ 1,3,5,8,13,21,34,55,76,81,77,67,55,46,27,7,0 ],
[ 1,3,5,8,13,21,34,55,83,118,172,253,366 ],
[ 1,3,5,8,13,21,34,55,85,128,193,288,420 ],
[ 1,3,5,8,13,21,34,55,85,128,197,294,398 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,447 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,453 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,453,664,954,1384,1997,
2872,4122,5888 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,453,664,954,1384,1997,
2872,4122,5888,8436 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,670,976,1430 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,670,976,1430,2086,
3025,4366,6263 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1014 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1014,1507,
2238,3315,4895,7224 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1014,1507,
2238,3315,4895,7224,10664 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1018 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1018,1520,
2271,3386,5036 ],
[ 1,3,5,8,13,21,34,55,85,128,197,301,454,682,1018,1520,
2271,3386,5036,7483 ],
[ 1,3,5,8,13,21,34,55,89,120,145,165,151,120,93,63,38,21,
7,0 ],[ 1,3,5,8,13,21,34,55,89,132,187,266,331,379,458,
508,535,563,468,291,163,75,20,3,0 ],
[ 1,3,5,8,13,21,34,55,89,132,187,266,332,387,483,561,625,
697,664,565,509,479,464,460,442,425,418,409,402,398,393,
388,385,384,384,384,384,384,384,384,384 ],
[ 1,3,5,8,13,21,34,55,89,138,212,303,400 ],
[ 1,3,5,8,13,21,34,55,89,141,220,345,544,850,1307,2008,3107
],[ 1,3,5,8,13,21,34,55,89,141,220,345,544,850,1307,
2008,3107,4785 ],
[ 1,3,5,8,13,21,34,55,89,141,220,345,544,850,1307,2008,
3107,4785,7271 ],
[ 1,3,5,8,13,21,34,55,89,141,220,345,544,850,1307,2008,
3107,4785,7271,11052 ],
[ 1,3,5,8,13,21,34,55,89,141,220,345,544,850,1330 ],
[ 1,3,5,8,13,21,34,55,89,141,224,358,570 ],
[ 1,3,5,8,13,21,34,55,89,141,224,358,572 ],
[ 1,3,5,8,13,21,34,55,89,144,225,298,312,252,143,60,33,23,
9,0 ],[ 1,3,5,8,13,21,34,55,89,144,225,323,396,423,339,
193,92,30,6,0 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,405,453,424,355,328,
323,296,268,270,268,234,160,76,19,0 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,405,453,424,355,328,
323,296,268,270,268,257,253,252,246,242,242,242,242,242,
242,242,243,243,242,242,241,240,240,240,240,240,240,240,
240,240,240,240,240,240,240,240,240,240,240,240,240,240,
240,240 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,412,467,457,391,340 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,412,467,457,391,340,
266 ],[ 1,3,5,8,13,21,34,55,89,144,225,323,412,467,457,
391,340,266,137 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,412,467,457,391,340,
266,137,47,14,3,1,0 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,414,483,509,517,564,
624,625,616,660,693,688,663,611,565,559,549,533,539,534,
517,516,514,505,506,504,490,482,482,481,480,480,480,480,
480,480,480,480,480,480,480,480,480,480,480,480,480,480,
480,480 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,414,483,509,517,564,
624,625,616,660,693,711,756,787,801,844,875,891,936,968,
979,998,971,910,889,871,840,836,821,793,793,786,771,777,
772,756,756,751,740,742,740,729,724,723,721,720,720,720,
720,720 ],
[ 1,3,5,8,13,21,34,55,89,144,225,323,414,483,509,517,564,
624,625,616,660,693,711,756,787,801,844,875,891,936,969,
987,1032,1067,1085,1128,1161,1177,1220,1253,1271,1316,1349,
1367,1412,1445,1463,1508,1541,1559,1604 ],
[ 1,3,5,8,13,21,34,55,89,144,225,351,546 ],
[ 1,3,5,8,13,21,34,55,89,144,229,344,501,728,927,978,820,
526,251,72,10,1,0 ],
[ 1,3,5,8,13,21,34,55,89,144,229,357,549 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,560 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,562 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,563,836,1248 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,563,836,1248,1853,
2745,4066 ],[ 1,3,5,8,13,21,34,55,89,144,229,364,564 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,566 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,567 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,567,861,1315,2009,
3062,4636 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,567,861,1315,2009,
3062,4636,6953 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,567,861,1325 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,574 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575,903,1416,2207,
3438,5329,8238 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575,903,1426 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575,903,1426,2255,
3554,5562 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575,903,1426,2255,
3562,5604,8810 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,575,903,1426,2255,
3562,5604,8810,13857 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,582,931,1489 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,582,931,1489,2369,
3754,5951 ],
[ 1,3,5,8,13,21,34,55,89,144,229,364,582,931,1489,2369,
3754,5951,9409 ],
[ 1,3,5,8,13,21,34,55,89,144,231,369,587 ],
[ 1,3,5,8,13,21,34,55,89,144,232,373,592 ],
[ 1,3,5,8,13,21,34,55,89,144,232,373,599,961,1544,2460,
3910,6237,9943 ],
[ 1,3,5,8,13,21,34,55,89,144,232,373,599,961,1544,2460,
3910,6237,9943,15827 ],
[ 1,3,5,8,13,21,34,55,89,144,233,337,433,546,677,773,835,
875,795,550 ],
[ 1,3,5,8,13,21,34,55,89,144,233,337,433,546,677,773,835,
875,795,550,291 ],
[ 1,3,5,8,13,21,34,55,89,144,233,337,433,546,677,773,835,
875,795,550,291,135,50 ],
[ 1,3,5,8,13,21,34,55,89,144,233,337,433,546,677,773,835,
875,795,550,291,135,50,9,0 ],
[ 1,3,5,8,13,21,34,55,89,144,233,337,434,554,703,837,952,
1060 ],[ 1,3,5,8,13,21,34,55,89,144,233,363,536 ],
[ 1,3,5,8,13,21,34,55,89,144,233,363,541 ],
[ 1,3,5,8,13,21,34,55,89,144,233,364,560 ],
[ 1,3,5,8,13,21,34,55,89,144,233,367,532 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,585 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,586 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,586,877,1324 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,587 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,587,907,1419 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,587,907,1419,2143,
3103,4423,5767 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,591 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,595 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,598 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,599,931,1444,2153,
3080,4236 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,599,931,1444,2153,
3080,4236,5272 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,599,931,1454 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,599,931,1454,2249,
3429,5158 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,599,931,1454,2249,
3429,5158,7640 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,600 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,601 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602,951,1510,2410,
3847,6133,9775 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602,955,1515 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602,955,1525 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602,955,1525,2401,
3736,5711,8542 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,602,955,1525,2432,
3871,6137 ],[ 1,3,5,8,13,21,34,55,89,144,233,377,603 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,603,955,1519 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,605 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,606 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,607 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,607,975,1570 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608,979,1579 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608,979,1579,2530,
4045,6487 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608,979,1579,2530,
4045,6487,10398 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608,979,1579,2530,
4045,6487,10398,16647 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,608,979,1579,2548,
4111,6633,10690 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,967,1530 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1578,2522,
4031,6416 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4142,6657 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4142,6657,10699 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4142,6657,10702 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4146,6625 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4146,6680 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,609,983,1588,2566,
4146,6680,10718 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,971,1539 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2566,
4115,6619 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2568,
4119,6623 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2568,
4119,6623,10662 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,
4177,6749,10904 ],
[ 1,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,
4181,6765,10934 ],[ 1,3,6,9,5,0 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,885,1327 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,885,1327,2002,
3043,4617,6981,10516 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,885,1327,2002,
3043,4617,6981,10516,15760 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,905,1408 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,905,1408,2191,
3410,5306 ],
[ 1,3,6,10,16,26,41,64,99,154,240,374,582,905,1408,2191,
3410,5306,8256 ],
[ 1,3,6,10,16,26,42,68,110,178,288,466,746,1196 ],
[ 1,3,6,10,16,26,42,68,110,178,288,466,746,1196,1924,3094,
4940,7830,12448 ],
[ 1,3,6,10,16,26,42,68,110,178,288,466,746,1196,1924,3094,
4940,7830,12448,19801 ],
[ 1,3,6,10,16,26,42,68,110,178,288,466,746,1196,1924,3094,
4976 ],[ 1,3,6,11,3,0 ],[ 1,3,6,11,11,4,0 ],
[ 1,3,6,11,13,9,4,1,0 ],[ 1,3,6,11,15,20,26,29,24,9,0 ],
[ 1,3,6,11,15,20,28,40,52,58,66,78,82,67,38,11,0 ],
[ 1,3,6,11,15,20,28,40,56,80,112,160,208,232,264,312,300,
183,74,35,16,4,0 ],[ 1,3,6,11,16,17,12,5,1,0 ],
[ 1,3,6,11,17,23,28,31,0 ],
[ 1,3,6,11,17,23,28,31,31,27,21,16,12,8,4,1,0 ],
[ 1,3,6,11,17,23,29,37,49,65,86,114,150,194,247,313,378,
425,463,490,457,349,223,112,48,24,6,0 ],
[ 1,3,6,11,18,29,24,23,4,1,0 ],
[ 1,3,6,11,18,29,41,46,30,7,0 ],
[ 1,3,6,11,18,29,44,61,75,69,47,19,1,0 ],
[ 1,3,6,11,18,29,44,61,80,103,120,103,57,12,0 ],
[ 1,3,6,11,18,29,44,61,80,103,132,163,187,185,140,80,36,
12,4,1,0 ],
[ 1,3,6,11,18,29,45,67,98,143,211,295,378,429,408,328,245,
133,30,2,0 ],[ 1,3,6,11,18,29,45,67,98,143,211,311,456 ]
,[ 1,3,6,11,18,29,46,61,80,111,132,147,161,124,58,16,4,
0 ],[ 1,3,6,11,18,29,46,73,70,59,16,3,1,0 ],
[ 1,3,6,11,18,29,46,73,95,127,162,209,259,299,335,332,254,
191,128,80,27,3,0 ],
[ 1,3,6,11,18,29,46,73,110,159,236,351,502,689,870,1031 ],
[ 1,3,6,11,18,29,46,73,111,150,164,130,80,36,6,0 ],
[ 1,3,6,11,18,29,46,73,111,159,183,141,67,16,0 ],
[ 1,3,6,11,18,29,46,73,116,183,280,423,637,959,1445,2175,
3271,4903,7312,10833,15996 ],
[ 1,3,6,11,18,29,46,73,116,183,282,408,562,686,716,601,249,
42,0 ],
[ 1,3,6,11,18,29,46,73,116,183,282,422,624,904,1237 ],
[ 1,3,6,11,18,29,46,73,116,183,290,459,688,964,1220 ],
[ 1,3,6,11,18,29,46,73,116,183,290,459,707 ],
[ 1,3,6,11,18,29,46,73,116,183,290,459,719 ],
[ 1,3,6,11,18,29,46,73,116,183,290,459,726 ],
[ 1,3,6,11,18,29,46,73,116,183,290,459,726,1149,1818,2877,
4548,7181,11315,17805 ],[ 1,3,6,11,19,33,27,18,2,0 ],
[ 1,3,6,11,19,33,48,60,68,62,44,22,6,1,0 ],
[ 1,3,6,11,19,33,51,78,119,163,180,130,56,14,0 ],
[ 1,3,6,11,19,33,53,79,95,104,114,90,68,31,11,2,0 ],
[ 1,3,6,11,19,33,54,77,92,100,95,64,21,0 ],
[ 1,3,6,11,19,33,54,85,128,161,116,31,0 ],
[ 1,3,6,11,19,33,54,85,128,177,215,211,172,115,49,12,4,1,
0 ],[ 1,3,6,11,19,33,54,85,132,196,280,370,421,334,159,
48,8,0 ],
[ 1,3,6,11,19,33,54,85,133,202,290,410,580,804,1037 ],
[ 1,3,6,11,19,33,55,81,94,96,92,64,21,0 ],
[ 1,3,6,11,19,33,55,89,144,235,381,611,968 ],
[ 1,3,6,11,19,33,55,89,144,235,386,627,1012 ],
[ 1,3,6,11,19,33,55,89,144,235,386,633,1034 ],
[ 1,3,6,11,19,33,55,89,144,235,386,633,1037 ],
[ 1,3,6,11,19,33,56,83,81,31,12,0 ],
[ 1,3,6,11,19,33,56,83,115,161,226,320,452,616,794,976,1089
],[ 1,3,6,11,19,33,56,88,117,130,111,68,38,24,12,3,0 ],
[ 1,3,6,11,19,33,56,88,127,134,99,64,40,24,12,3,0 ],
[ 1,3,6,11,19,33,56,95,122,147,195,177,110,31,2,0 ],
[ 1,3,6,11,19,33,56,95,131,165,225,307,352,374,336,252,154,
92,51,18,6,1,0 ],
[ 1,3,6,11,19,33,56,95,150,189,239,309,360,364,319,230,152,
94,41,12,4,1,0 ],
[ 1,3,6,11,19,33,56,95,156,253,411,657,1006 ],
[ 1,3,6,11,19,33,56,95,156,253,416,668,985,1296 ],
[ 1,3,6,11,19,33,56,95,157,252,407,644,984 ],
[ 1,3,6,11,19,33,56,95,161,249,344,417,393,255,100,17,0 ],
[ 1,3,6,11,19,33,56,95,161,252,358,468,548,497,279,78,12,
3,0 ],[ 1,3,6,11,19,33,56,95,161,263,421,675,1037 ],
[ 1,3,6,11,19,33,56,95,161,269,423,600,784,836,607,285,94,
26,9,2,0 ],[ 1,3,6,11,19,33,56,95,161,272,456,759,1253 ]
,[ 1,3,6,11,19,33,56,95,161,272,461,755,1205 ],
[ 1,3,6,11,19,33,56,95,161,272,461,768,1268 ],
[ 1,3,6,11,19,33,56,95,161,272,461,781,1323 ],
[ 1,3,6,11,19,33,56,95,161,272,461,781,1323,2240,3779,6372,
10744,18118,30551 ],
[ 1,3,6,11,19,33,57,92,136,194,259,335,439 ],
[ 1,3,6,11,19,33,57,99,151,249,397,628,991 ],
[ 1,3,6,11,19,33,57,99,151,252,417,696,1118 ],
[ 1,3,6,11,19,33,57,99,151,252,417,696,1132 ],
[ 1,3,6,11,19,33,57,99,163,252,386,572,701,723,576,319,100,
11,0 ],[ 1,3,6,11,19,33,57,99,163,252,386,586,825,1055 ],
[ 1,3,6,11,19,33,57,99,163,259,416,569,679,731,583,303,92,
8,0 ],[ 1,3,6,11,19,33,57,99,163,259,416,637,925,1230 ],
[ 1,3,6,11,19,33,57,99,167,279,462,749,1214,1970,3179,5119,
8239,13258,21263 ],
[ 1,3,6,11,19,33,57,99,167,279,467,773,1261,2052,3344,5413,
8769,14215,22904 ],
[ 1,3,6,11,19,33,57,99,167,279,472,797,1345,2261,3795,6385,
10735,18036 ],[ 1,3,6,11,19,33,57,99,167,279,472,797,1347
],[ 1,3,6,11,19,33,57,99,167,279,472,797,1348,2275,3835,
6478,10926,18420 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1411 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1411,2386,4022,6784 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1411,2386,4022,6784,
11456 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1411,2386,4022,6784,
11456,19333 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1411,2386,4022,6784,
11456,19333,32569 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1413 ],
[ 1,3,6,11,19,33,57,99,170,288,488,830,1414 ],
[ 1,3,6,11,19,33,57,99,172,284,464,766,1273 ],
[ 1,3,6,11,19,33,57,99,172,285,449,690,980,1241 ],
[ 1,3,6,11,19,33,57,99,172,290,483,769,1185 ],
[ 1,3,6,11,19,33,57,99,172,298,507,865,1482 ],
[ 1,3,6,11,19,33,57,99,172,298,509,852,1381 ],
[ 1,3,6,11,19,33,57,99,172,298,509,866,1467 ],
[ 1,3,6,11,19,33,57,99,172,298,509,866,1467,2471,4147,6915,
11387 ],
[ 1,3,6,11,19,33,57,99,172,298,509,866,1467,2471,4147,6915,
11387,18636 ],[ 1,3,6,11,19,33,57,99,172,298,512,873,1482
],[ 1,3,6,11,19,33,57,99,172,298,512,873,1482,2516,4270,
7240,12268 ],
[ 1,3,6,11,19,33,57,99,172,298,512,873,1482,2516,4270,7240,
12268,20761 ],[ 1,3,6,11,19,33,57,99,172,298,512,875,1486
],[ 1,3,6,11,19,33,57,99,172,298,512,875,1494 ],
[ 1,3,6,11,19,33,57,99,172,298,517,871,1448 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1534 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1537 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1548,2666,4597,7929,
13683,23611 ],[ 1,3,6,11,19,33,57,99,172,298,517,897,1550
],[ 1,3,6,11,19,33,57,99,172,298,517,897,1550,2678,4629,
7962,13737,23684 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1550,2678,4629,8001,
13823,23860 ],[ 1,3,6,11,19,33,57,99,172,298,517,897,1552
],[ 1,3,6,11,19,33,57,99,172,298,517,897,1553 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1553,2685,4628,7939,
13610 ],[ 1,3,6,11,19,33,57,99,172,298,517,897,1554 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1555 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1555,2682,4613,7933,
13653 ],[ 1,3,6,11,19,33,57,99,172,298,517,897,1556 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4661,7996,
13708 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4661,7996,
13708,23515 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4675,8078,
13959 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4675,8078,
13959,24129 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4682,8122,
14089 ],
[ 1,3,6,11,19,33,57,99,172,298,517,897,1556,2699,4682,8122,
14089,24440 ],[ 1,3,6,11,20,37,34,7,1,0 ],
[ 1,3,6,11,20,37,52,49,33,18,8,2,0 ],
[ 1,3,6,11,20,37,56,73,97,136,192,272,368,440,496,576,612,
483,264,109,44,20,4,0 ],
[ 1,3,6,11,20,37,58,84,125,182,249,322,371,382,378,347,223,
72,9,0 ],[ 1,3,6,11,20,37,59,88,136,210,317,471,676 ],
[ 1,3,6,11,20,37,59,88,136,210,321,489,743 ],
[ 1,3,6,11,20,37,59,88,136,210,322,493,754 ],
[ 1,3,6,11,20,37,61,88,117,129,82,20,1,0 ],
[ 1,3,6,11,20,37,61,100,162,254,377,527,732,953,1105 ],
[ 1,3,6,11,20,37,61,100,168,262,369,470,505,435,283,120,27,
2,0 ],[ 1,3,6,11,20,37,61,100,168,276,445,717,1141 ],
[ 1,3,6,11,20,37,62,99,143,190,242,269,222,110,24,1,0 ],
[ 1,3,6,11,20,37,62,104,179,297,476,770,1195 ],
[ 1,3,6,11,20,37,62,104,179,297,480,788,1277 ],
[ 1,3,6,11,20,37,62,104,179,297,481,792,1285 ],
[ 1,3,6,11,20,37,63,91,111,111,82,35,5,0 ],
[ 1,3,6,11,20,37,63,103,137,159,134,46,0 ],
[ 1,3,6,11,20,37,63,103,156,225,265,189,65,8,0 ],
[ 1,3,6,11,20,37,63,103,156,231,309,352,349,282,196,116,47,
16,5,1,0 ],
[ 1,3,6,11,20,37,63,103,165,248,348,447,441,224,35,7,1,0 ],
[ 1,3,6,11,20,37,63,108,189,324,556,945,1585 ],
[ 1,3,6,11,20,37,63,108,189,324,556,945,1585,2655,4436,7411,
12373 ],
[ 1,3,6,11,20,37,63,108,189,324,556,945,1585,2655,4436,7411,
12373,20478 ],
[ 1,3,6,11,20,37,63,108,189,324,556,958,1633 ],
[ 1,3,6,11,20,37,63,108,189,324,556,958,1633,2744,4614,7756,
13023 ],
[ 1,3,6,11,20,37,63,108,189,324,556,958,1633,2744,4614,7756,
13023,21694 ],
[ 1,3,6,11,20,37,63,108,189,324,556,958,1645 ],
[ 1,3,6,11,20,37,63,108,189,324,556,958,1645,2828,4866,8365 ]
,[ 1,3,6,11,20,37,64,102,155,226,297,316,254,149,62,19,
5,1,0 ],[ 1,3,6,11,20,37,64,107,181,305,514,847,1380 ],
[ 1,3,6,11,20,37,64,109,157,164,105,35,7,1,0 ],
[ 1,3,6,11,20,37,64,109,181,288,420,592,848,1106 ],
[ 1,3,6,11,20,37,64,109,181,298,406,426,342,180,56,16,4,0 ]
,[ 1,3,6,11,20,37,64,109,182,293,453,654,887,1107 ],
[ 1,3,6,11,20,37,64,109,186,285,387,436,359,183,55,16,2,0 ]
,[ 1,3,6,11,20,37,64,109,186,315,519,826,1301 ],
[ 1,3,6,11,20,37,64,109,186,315,524,829,1232 ],
[ 1,3,6,11,20,37,65,106,156,212,247,234,177,105,48,12,0 ],
[ 1,3,6,11,20,37,65,111,186,309,512,835,1333 ],
[ 1,3,6,11,20,37,65,113,197,334,542,850,1288 ],
[ 1,3,6,11,20,37,65,113,197,338,561,936,1573 ],
[ 1,3,6,11,20,37,65,113,197,338,566,958,1640 ],
[ 1,3,6,11,20,37,65,113,197,343,588,989,1659 ],
[ 1,3,6,11,20,37,65,113,197,343,593,1004,1683 ],
[ 1,3,6,11,20,37,65,113,197,343,593,1015,1735 ],
[ 1,3,6,11,20,37,66,117,194,266,315,313,236,115,26,2,0 ],
[ 1,3,6,11,20,37,66,117,194,318,502,723,944,1099 ],
[ 1,3,6,11,20,37,66,117,195,318,489,609,523,307,129,35,11,
3,0 ],
[ 1,3,6,11,20,37,66,117,203,351,591,859,949,683,289,88,32,
10,3,1,0 ],[ 1,3,6,11,20,37,66,117,203,351,598,961,1446
],[ 1,3,6,11,20,37,66,117,203,354,592,950,1362 ],
[ 1,3,6,11,20,37,66,117,203,354,617,1040,1663 ],
[ 1,3,6,11,20,37,66,117,203,354,622,1082,1856 ],
[ 1,3,6,11,20,37,66,117,203,354,622,1082,1862 ],
[ 1,3,6,11,20,37,66,117,208,368,612,964,1539 ],
[ 1,3,6,11,20,37,66,117,208,368,643,1036,1553 ],
[ 1,3,6,11,20,37,66,117,208,368,648,1102,1835 ],
[ 1,3,6,11,20,37,66,117,208,368,648,1119,1899 ],
[ 1,3,6,11,20,37,66,117,208,368,648,1141,2012 ],
[ 1,3,6,11,20,37,66,117,208,371,647,1099,1815 ],
[ 1,3,6,11,20,37,66,117,208,371,647,1110,1885 ],
[ 1,3,6,11,20,37,66,117,208,371,650,1113,1883 ],
[ 1,3,6,11,20,37,66,117,208,371,652,1135,1954 ],
[ 1,3,6,11,20,37,66,117,208,371,654,1118,1907 ],
[ 1,3,6,11,20,37,66,117,208,371,654,1131,1958 ],
[ 1,3,6,11,20,37,66,117,208,371,656,1142,1966 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1112,1786 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1123,1866 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1126,1926 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1136,1936 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1137,1945 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1137,1961 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1146,1964 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1146,1974 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1146,1977 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1153,2016 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1154,2005 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1154,2031 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1154,2031,3552,6162,
10652,18416 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1157,2033 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1157,2034 ],
[ 1,3,6,11,20,37,66,117,208,371,657,1157,2040 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1162,2030 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2077 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2079 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2094 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2095 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2100 ],
[ 1,3,6,11,20,37,66,117,208,371,662,1179,2100,3741,6645,
11798,20961 ],
[ 1,3,6,11,20,37,67,109,163,247,384,594,891,1210 ],
[ 1,3,6,11,20,37,67,109,178,292,478,784,1281 ],
[ 1,3,6,11,20,37,67,109,178,292,478,784,1281,2092,3415,5566,
9063,14752 ],[ 1,3,6,11,20,37,67,109,178,292,478,784,1282
],[ 1,3,6,11,20,37,67,109,178,292,478,784,1282,2096,3426,
5592,9126,14884 ],
[ 1,3,6,11,20,37,67,112,169,213,224,208,167,119,65,17,1,0 ]
,[ 1,3,6,11,20,37,67,114,154,121,40,2,0 ],
[ 1,3,6,11,20,37,67,114,179,280,443,700,1059 ],
[ 1,3,6,11,20,37,67,114,189,275,358,416,378,212,61,12,0 ],
[ 1,3,6,11,20,37,67,114,189,314,526,875,1408 ],
[ 1,3,6,11,20,37,67,121,205,347,585,942,1475 ],
[ 1,3,6,11,20,37,67,121,207,329,482,687,975,1248 ],
[ 1,3,6,11,20,37,67,121,210,350,584,948,1495 ],
[ 1,3,6,11,20,37,67,121,213,367,633,1069,1731 ],
[ 1,3,6,11,20,37,67,121,213,371,613,1039,1724 ],
[ 1,3,6,11,20,37,67,121,214,380,670,1166,1963 ],
[ 1,3,6,11,20,37,67,121,214,380,680,1197,2103 ],
[ 1,3,6,11,20,37,67,121,214,380,680,1210,2154 ],
[ 1,3,6,11,20,37,67,121,214,380,680,1210,2155,3841,6829,
12131,21551,38303 ],
[ 1,3,6,11,20,37,67,121,215,377,660,1160,2036 ],
[ 1,3,6,11,20,37,67,121,215,379,671,1161,1926 ],
[ 1,3,6,11,20,37,67,121,215,379,671,1172,2034 ],
[ 1,3,6,11,20,37,67,121,215,379,671,1174,2014 ],
[ 1,3,6,11,20,37,67,121,217,389,698,1223,2133 ],
[ 1,3,6,11,20,37,67,121,217,389,698,1238,2191 ],
[ 1,3,6,11,20,37,67,121,219,365,582,874,1203 ],
[ 1,3,6,11,20,37,67,121,219,383,650,1017,1419 ],
[ 1,3,6,11,20,37,67,121,219,383,658,1100,1724 ],
[ 1,3,6,11,20,37,67,121,219,383,658,1128,1887 ],
[ 1,3,6,11,20,37,67,121,219,383,658,1128,1892 ],
[ 1,3,6,11,20,37,67,121,219,383,658,1139,1985 ],
[ 1,3,6,11,20,37,67,121,219,383,658,1139,1991 ],
[ 1,3,6,11,20,37,67,121,219,384,658,1112,1849 ],
[ 1,3,6,11,20,37,67,121,219,384,663,1112,1804 ],
[ 1,3,6,11,20,37,67,121,219,385,659,1126,1942 ],
[ 1,3,6,11,20,37,67,121,219,385,670,1057,1547 ],
[ 1,3,6,11,20,37,67,121,219,385,670,1127,1834 ],
[ 1,3,6,11,20,37,67,121,219,385,673,1166,2007 ],
[ 1,3,6,11,20,37,67,121,219,385,673,1166,2008 ],
[ 1,3,6,11,20,37,67,121,219,388,679,1165,1925 ],
[ 1,3,6,11,20,37,67,121,219,388,679,1188,2063 ],
[ 1,3,6,11,20,37,67,121,219,389,685,1205,2105 ],
[ 1,3,6,11,20,37,67,121,219,392,692,1216,2074 ],
[ 1,3,6,11,20,37,67,121,219,392,692,1216,2078 ],
[ 1,3,6,11,20,37,67,121,219,392,696,1213,2077 ],
[ 1,3,6,11,20,37,67,121,219,392,697,1217,2088 ],
[ 1,3,6,11,20,37,67,121,219,392,697,1217,2108 ],
[ 1,3,6,11,20,37,67,121,219,392,697,1238,2189 ],
[ 1,3,6,11,20,37,67,121,219,392,697,1238,2193 ],
[ 1,3,6,11,20,37,67,121,219,394,675,1102,1794 ],
[ 1,3,6,11,20,37,67,121,219,394,675,1102,1801 ],
[ 1,3,6,11,20,37,67,121,219,394,675,1102,1819 ],
[ 1,3,6,11,20,37,67,121,219,394,675,1102,1824 ],
[ 1,3,6,11,20,37,67,121,219,394,703,1250,2197 ],
[ 1,3,6,11,20,37,67,121,219,394,706,1245,2149 ],
[ 1,3,6,11,20,37,67,121,219,397,691,1186,2031 ],
[ 1,3,6,11,20,37,67,121,219,397,691,1186,2031,3454,5864,9871
],[ 1,3,6,11,20,37,67,121,219,397,691,1186,2032 ],
[ 1,3,6,11,20,37,67,121,219,397,710,1261,2226 ],
[ 1,3,6,11,20,37,67,121,219,397,710,1261,2230 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1147,1773 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1233,2075 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1255,2150 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1255,2183 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1279,2283 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1279,2288 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1283,2258 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1283,2290 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1283,2296 ],
[ 1,3,6,11,20,37,67,121,219,397,715,1283,2297 ],
[ 1,3,6,11,20,37,67,121,219,397,719,1301,2354 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1273,2220 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1277,2216 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1277,2225 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1288,2276 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1288,2280 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1288,2285 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2285 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2291 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2291,4072,7273 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2291,4072,7273,
12951,22943 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2296 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2304 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2306 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2313 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1292,2314 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1294,2300 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1294,2306 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1294,2318 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2333 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2344 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2346 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2347 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2349 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2350 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2351 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2351,4220,7582,
13584,24257 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2352 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2354 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2358 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2358,4261,7706,
13930,25163 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2359 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2360 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2360,4269,7714,
13921,25118 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2361 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2362 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2363 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2364 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2364,4269,7703,
13895 ],[ 1,3,6,11,20,37,67,121,219,397,720,1305,2365 ],
[ 1,3,6,11,20,37,67,121,219,397,720,1305,2365,4286,7768 ],
[ 1,3,6,11,20,37,68,125,216,373,654,1123,1905 ],
[ 1,3,6,11,20,37,68,125,220,375,642,1069,1703 ],
[ 1,3,6,11,20,37,68,125,222,351,532,815,1211 ],
[ 1,3,6,11,20,37,68,125,222,379,616,991,1579 ],
[ 1,3,6,11,20,37,68,125,223,398,668,1139,1865 ],
[ 1,3,6,11,20,37,68,125,223,398,668,1173,2041 ],
[ 1,3,6,11,20,37,68,125,223,398,716,1286,2310 ],
[ 1,3,6,11,20,37,68,125,224,396,698,1207,2052 ],
[ 1,3,6,11,20,37,68,125,225,354,534,764,1036 ],
[ 1,3,6,11,20,37,68,125,225,396,687,1206,2109 ],
[ 1,3,6,11,20,37,68,125,225,396,692,1222,2161 ],
[ 1,3,6,11,20,37,68,125,225,396,692,1228,2183 ],
[ 1,3,6,11,20,37,68,125,225,406,680,1192,2078 ],
[ 1,3,6,11,20,37,68,125,225,406,728,1254,2039 ],
[ 1,3,6,11,20,37,68,125,225,406,730,1297,2305 ],
[ 1,3,6,11,20,37,68,125,225,406,733,1316,2365 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2410 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2411 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2414 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2414,4345,7839,
14157 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2414,4345,7839,
14157,25523 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2417 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2419 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2423 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2424 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2425 ],
[ 1,3,6,11,20,37,68,125,225,406,738,1338,2426 ],
[ 1,3,6,11,20,37,68,125,226,393,671,1140,1924 ],
[ 1,3,6,11,20,37,68,125,226,407,734,1327,2393 ],
[ 1,3,6,11,20,37,68,125,228,410,738,1334,2361 ],
[ 1,3,6,11,20,37,68,125,228,415,751,1357,2452 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1368,2448 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2496 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2506 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2509 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2511 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2512 ],
[ 1,3,6,11,20,37,68,125,228,415,756,1379,2515 ],
[ 1,3,6,11,20,37,68,125,230,409,691,1138,1839 ],
[ 1,3,6,11,20,37,68,125,230,413,737,1319,2336 ],
[ 1,3,6,11,20,37,68,125,230,413,742,1341,2417 ],
[ 1,3,6,11,20,37,68,125,230,415,746,1326,2330 ],
[ 1,3,6,11,20,37,68,125,230,415,746,1348,2439 ],
[ 1,3,6,11,20,37,68,125,230,417,754,1365,2429 ],
[ 1,3,6,11,20,37,68,125,230,418,755,1364,2444 ],
[ 1,3,6,11,20,37,68,125,230,418,758,1346,2364 ],
[ 1,3,6,11,20,37,68,125,230,418,760,1386,2511 ],
[ 1,3,6,11,20,37,68,125,230,418,760,1386,2516 ],
[ 1,3,6,11,20,37,68,125,230,418,760,1386,2522 ],
[ 1,3,6,11,20,37,68,125,230,418,760,1386,2525 ],
[ 1,3,6,11,20,37,68,125,230,420,766,1398,2540 ],
[ 1,3,6,11,20,37,68,125,230,423,756,1335,2382 ],
[ 1,3,6,11,20,37,68,125,230,423,756,1335,2385 ],
[ 1,3,6,11,20,37,68,125,230,423,768,1387,2503 ],
[ 1,3,6,11,20,37,68,125,230,423,770,1400,2465 ],
[ 1,3,6,11,20,37,68,125,230,423,770,1402,2555 ],
[ 1,3,6,11,20,37,68,125,230,423,770,1402,2557 ],
[ 1,3,6,11,20,37,68,125,230,423,773,1409,2506 ],
[ 1,3,6,11,20,37,68,125,230,423,773,1409,2554 ],
[ 1,3,6,11,20,37,68,125,230,423,773,1409,2564 ],
[ 1,3,6,11,20,37,68,125,230,423,773,1409,2565 ],
[ 1,3,6,11,20,37,68,125,230,423,777,1427,2616 ],
[ 1,3,6,11,20,37,68,125,230,423,777,1427,2618 ],
[ 1,3,6,11,20,37,68,125,230,423,777,1427,2621 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1409,2538 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1416,2559 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2572 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2576 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2577 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2580 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2584 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1420,2585 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2555 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2568 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2601 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2611 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2612 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2614 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2614,4766,8709,
15918 ],[ 1,3,6,11,20,37,68,125,230,423,778,1431,2616 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2617 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2618 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2619 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2620 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2622 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2623 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2624 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2625 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2626 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2627 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2627,4824 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2628 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2629 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2630 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2631 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2632 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2632,4841,8904 ],
[ 1,3,6,11,20,37,68,125,230,423,778,1431,2632,4841,8904,
16377 ],[ 1,3,6,12,8,8,7,3,0 ],[ 1,3,6,12,18,6,2,0 ],
[ 1,3,6,12,18,20,18,12,5,1,0 ],[ 1,3,6,12,18,24,23,9,0 ],
[ 1,3,6,12,19,24,25,20,12,5,1,0 ],
[ 1,3,6,12,20,28,35,29,10,0 ],
[ 1,3,6,12,20,28,35,40,41,36,28,20,12,5,1,0 ],
[ 1,3,6,12,20,28,36,44,52,60,68,76,84,92,100,108,116,124,
132,140,148,156,164,172,180,188,196,204 ],
[ 1,3,6,12,20,28,36,44,52,60,68,76,84,92,100,108,116,124,
132,140,148,156,164,172,180,188,196,204,212,220,228,236,
244,252,260,268,276,284 ],
[ 1,3,6,12,20,28,36,44,52,60,68,76,84,92,100,108,116,124,
132,140,148,156,164,172,180,188,196,204,212,220,228,236,
244,252,260,268,276,284,292,300,308 ],
[ 1,3,6,12,20,30,43,45,27,5,0 ],
[ 1,3,6,12,20,30,43,46,26,5,0 ],
[ 1,3,6,12,20,30,44,45,25,6,0 ],
[ 1,3,6,12,20,30,44,63,89,123,170,239,334,456,617,843,1156,
1568,2106,2834 ],
[ 1,3,6,12,20,30,44,63,89,123,170,239,334,456,617,843,1156,
1568,2106,2834,3832 ],
[ 1,3,6,12,20,30,44,63,89,123,170,239,334,456,617,843,1160,
1594,2185 ],
[ 1,3,6,12,20,30,44,63,89,123,170,239,337,473,663,930,1301 ]
,[ 1,3,6,12,20,30,44,63,89,123,170,239,337,473,663,930,
1301,1808,2497 ],
[ 1,3,6,12,20,30,44,63,91,133,195,286,414,587,827,1173 ],
[ 1,3,6,12,20,30,44,63,91,133,195,286,414,587,827,1173,
1671,2378,3377 ],
[ 1,3,6,12,20,30,44,63,91,133,195,286,419,614,900,1319 ],
[ 1,3,6,12,21,22,7,0 ],
[ 1,3,6,12,21,34,51,67,79,78,54,22,4,0 ],
[ 1,3,6,12,21,34,53,68,34,8,0 ],
[ 1,3,6,12,21,34,53,68,73,70,52,34,26,17,8,2,0 ],
[ 1,3,6,12,21,34,53,79,99,104,103,86,64,46,8,1,0 ],
[ 1,3,6,12,21,34,53,79,111,136,142,139,118,72,28,5,0 ],
[ 1,3,6,12,21,34,53,79,115,167,219,232,205,161,95,32,5,0 ],
[ 1,3,6,12,21,34,54,83,126,193,296,413,514,618,729,759,654,
495,351,213,103,47,21,9,4,1,0 ],
[ 1,3,6,12,21,34,54,85,131,195,288,429,641,960,1433,2119,
3111,4547,6634 ],
[ 1,3,6,12,21,34,54,85,131,195,288,429,641,960,1433,2119,
3111,4547,6634,9677 ],
[ 1,3,6,12,21,34,54,85,131,195,288,429,641,960,1433,2119,
3111,4547,6634,9677,14095 ],
[ 1,3,6,12,21,34,54,85,131,195,288,429,641,960,1441 ],
[ 1,3,6,12,21,34,54,85,133,207,305,435,608,682,601,444,196,
13,0 ],[ 1,3,6,12,21,34,54,85,133,207,324,509,799,1254 ],
[ 1,3,6,12,21,34,55,89,140,209,302,433,619,883,1250 ],
[ 1,3,6,12,21,34,55,89,140,209,302,433,619,883,1250,1739,
2343,3061,3915,4898 ],
[ 1,3,6,12,21,34,55,89,140,209,302,433,619,883,1250,1739,
2343,3061,3915,4898,5963 ],
[ 1,3,6,12,21,34,55,89,144,233,377,610,980 ],
[ 1,3,6,12,21,34,55,89,144,233,377,610,986,1591 ],
[ 1,3,6,12,21,34,55,89,144,233,377,610,986,1591,2566,4129,
6624,10626 ],
[ 1,3,6,12,21,34,55,89,144,233,377,610,986,1591,2566,4141,
6681,10745 ],
[ 1,3,6,12,21,34,55,89,144,233,377,610,986,1591,2566,4141,
6681,10745,17172 ],
[ 1,3,6,12,21,36,57,82,96,91,69,32,6,0 ],
[ 1,3,6,12,21,36,59,82,57,11,0 ],
[ 1,3,6,12,21,36,59,89,105,88,45,11,3,1,0 ],
[ 1,3,6,12,21,36,60,95,146,213,301,414,536,647,747,831,862,
836,757,623,466,313,179,73,14,0 ],
[ 1,3,6,12,21,36,60,95,146,213,301,414,537,658,778,843,695,
318,47,0 ],[ 1,3,6,12,21,36,60,95,146,213,301,414,539 ],
[ 1,3,6,12,21,36,60,95,148,225,332,470,600,699,702,585,396,
177,38,2,0 ],[ 1,3,6,12,21,36,60,95,148,225,337,502,735
],[ 1,3,6,12,21,36,61,96,140,169,114,45,16,0 ],
[ 1,3,6,12,21,36,63,96,146,191,131,12,2,0 ],
[ 1,3,6,12,21,36,63,108,186,321,547,923,1552 ],
[ 1,3,6,12,22,33,43,43,24,5,0 ],
[ 1,3,6,12,22,33,46,65,89,119,162,224,288,337,367,376,341,
224,100,43,18,4,0 ],
[ 1,3,6,12,22,33,47,69,100,140,194,273,383,522,705,967,
1330,1798,2406 ],
[ 1,3,6,12,22,33,47,69,100,140,194,273,383,522,705,967,
1330,1798,2406,3245 ],[ 1,3,6,12,22,40,54,62,31,9,0 ],
[ 1,3,6,12,22,40,54,69,75,55,29,12,5,1,0 ],
[ 1,3,6,12,22,40,67,97,121,125,107,78,47,24,12,5,1,0 ],
[ 1,3,6,12,22,40,69,112,143,155,120,35,2,0 ],
[ 1,3,6,12,22,40,69,112,163,236,318,370,378,287,117,25,1,0
],[ 1,3,6,12,22,40,69,112,175,243,259,217,153,86,35,7,0
],[ 1,3,6,12,22,40,70,106,169,239,248,223,181,95,22,3,0
],[ 1,3,6,12,22,40,70,114,150,177,94,30,1,0 ],
[ 1,3,6,12,22,40,70,116,190,311,499,782,1186 ],
[ 1,3,6,12,22,40,70,117,182,259,315,272,124,17,0 ],
[ 1,3,6,12,22,40,70,118,179,245,258,164,31,3,0 ],
[ 1,3,6,12,22,40,70,118,189,279,388,510,614,665,622,491,
336,177,55,9,1,0 ],
[ 1,3,6,12,22,40,70,118,193,294,400,515,683 ],
[ 1,3,6,12,22,40,70,118,195,315,492,724,1008 ],
[ 1,3,6,12,22,40,70,118,195,315,504,799,1252 ],
[ 1,3,6,12,22,40,70,118,197,329,551,905,1434 ],
[ 1,3,6,12,22,40,70,119,201,329,527,828,1237 ],
[ 1,3,6,12,22,40,70,119,201,330,525,806,1207 ],
[ 1,3,6,12,22,40,70,119,201,332,546,898,1380 ],
[ 1,3,6,12,22,40,70,119,201,332,546,898,1467 ],
[ 1,3,6,12,22,40,71,120,175,191,147,66,10,0 ],
[ 1,3,6,12,22,40,71,120,199,323,521,840,1350,2152,3404,5352,
8374,13034,20241 ],
[ 1,3,6,12,22,40,71,122,204,331,522,806,1200 ],
[ 1,3,6,12,22,40,71,122,206,343,560,902,1401 ],
[ 1,3,6,12,22,40,71,122,206,343,565,924,1501 ],
[ 1,3,6,12,22,40,71,122,208,357,607,1013,1656 ],
[ 1,3,6,12,22,40,71,123,182,235,242,194,157,133,83,28,4,0 ]
,[ 1,3,6,12,22,40,71,123,210,328,484,671,824,722,287,35,
1,0 ],[ 1,3,6,12,22,40,71,123,212,360,607,1017,1693 ],
[ 1,3,6,12,22,40,71,123,212,360,612,1046,1781 ],
[ 1,3,6,12,22,40,71,123,214,370,634,1087,1793 ],
[ 1,3,6,12,22,40,71,123,214,370,639,1107,1881 ],
[ 1,3,6,12,22,40,71,123,214,370,639,1107,1910 ],
[ 1,3,6,12,22,40,71,123,214,370,639,1107,1914 ],
[ 1,3,6,12,22,40,71,123,214,370,639,1107,1915 ],
[ 1,3,6,12,22,40,71,123,214,370,639,1107,1917 ],
[ 1,3,6,12,22,40,71,123,216,380,666,1168,2049 ],
[ 1,3,6,12,22,40,72,115,174,259,377,557,832 ],
[ 1,3,6,12,22,40,72,124,210,360,505,594,505,264,110,43,9,0
],[ 1,3,6,12,22,40,72,126,217,347,533,751,851,707,415,
169,43,5,0 ],
[ 1,3,6,12,22,40,72,126,217,365,611,1011,1645 ],
[ 1,3,6,12,22,40,72,126,217,365,611,1011,1645,2661,4298,
6947,11146,17706 ],
[ 1,3,6,12,22,40,72,126,217,365,616,1015,1595 ],
[ 1,3,6,12,22,40,72,126,217,365,616,1049,1792 ],
[ 1,3,6,12,22,40,72,126,217,372,636,1053,1679 ],
[ 1,3,6,12,22,40,72,126,220,383,664,1152,1992 ],
[ 1,3,6,12,22,40,72,126,220,383,664,1152,1992,3425,5882,
10108,17352 ],
[ 1,3,6,12,22,40,72,126,220,383,664,1152,1992,3425,5882,
10108,17352,29738 ],
[ 1,3,6,12,22,40,72,126,221,390,687,1194,2057 ],
[ 1,3,6,12,22,40,72,126,222,393,693,1223,2159 ],
[ 1,3,6,12,22,40,73,121,164,206,262,328,393,421,395,319,
196,81,23,5,1,0 ],
[ 1,3,6,12,22,40,73,121,182,254,321,307,220,125,39,2,0 ],
[ 1,3,6,12,22,40,73,122,184,196,134,59,12,0 ],
[ 1,3,6,12,22,40,73,124,191,273,314,248,141,67,20,1,0 ],
[ 1,3,6,12,22,40,73,124,191,273,320,286,204,111,44,15,3,0 ]
,[ 1,3,6,12,22,40,73,130,230,401,687,1160,1927 ],
[ 1,3,6,12,22,40,73,132,214,345,562,938,1542 ],
[ 1,3,6,12,22,40,73,132,219,351,570,909,1311 ],
[ 1,3,6,12,22,40,73,132,219,351,580,971,1607 ],
[ 1,3,6,12,22,40,73,132,219,351,580,971,1610 ],
[ 1,3,6,12,22,40,73,132,225,296,310,239,126,46,5,0 ],
[ 1,3,6,12,22,40,73,132,229,388,640,1017,1582 ],
[ 1,3,6,12,22,40,73,132,231,396,650,1006,1329 ],
[ 1,3,6,12,22,40,73,132,233,379,526,578,475,181,24,3,0 ],
[ 1,3,6,12,22,40,73,132,233,402,685,1138,1744 ],
[ 1,3,6,12,22,40,73,132,233,404,690,1161,1933 ],
[ 1,3,6,12,22,40,73,132,233,404,690,1161,1947 ],
[ 1,3,6,12,22,40,73,132,233,404,692,1159,1881 ],
[ 1,3,6,12,22,40,73,132,233,404,697,1195,2027 ],
[ 1,3,6,12,22,40,73,132,233,404,702,1201,2008 ],
[ 1,3,6,12,22,40,73,132,233,404,702,1220,2107 ],
[ 1,3,6,12,22,40,73,132,233,404,702,1220,2109 ],
[ 1,3,6,12,22,40,73,132,235,409,712,1222,2041 ],
[ 1,3,6,12,22,40,73,132,235,412,724,1221,1918 ],
[ 1,3,6,12,22,40,73,132,235,414,719,1240,2141,3664,6207,
10484,17638 ],
[ 1,3,6,12,22,40,73,132,235,414,719,1242,2145 ],
[ 1,3,6,12,22,40,73,132,235,414,726,1200,1939 ],
[ 1,3,6,12,22,40,73,132,235,414,726,1243,2083 ],
[ 1,3,6,12,22,40,73,132,235,414,726,1259,2171 ],
[ 1,3,6,12,22,40,73,132,237,422,743,1255,2084 ],
[ 1,3,6,12,22,40,73,132,237,422,743,1255,2086 ],
[ 1,3,6,12,22,40,73,132,239,416,737,1264,2134 ],
[ 1,3,6,12,22,40,73,132,239,420,712,1164,1878 ],
[ 1,3,6,12,22,40,73,132,239,420,717,1210,2046 ],
[ 1,3,6,12,22,40,73,132,239,432,760,1319,2255 ],
[ 1,3,6,12,22,40,73,132,239,432,777,1370,2399 ],
[ 1,3,6,12,22,40,73,132,239,432,777,1390,2481 ],
[ 1,3,6,12,22,40,73,132,239,432,777,1390,2483 ],
[ 1,3,6,12,22,40,73,132,239,432,777,1396,2494 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1403,2506 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1416,2524 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1416,2555 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1416,2557 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1416,2560 ],
[ 1,3,6,12,22,40,73,132,239,432,782,1416,2562 ],
[ 1,3,6,12,22,40,74,124,222,394,687,1200,2045 ],
[ 1,3,6,12,22,40,74,128,195,273,314,246,140,66,16,0 ],
[ 1,3,6,12,22,40,74,136,246,410,655,1015,1489 ],
[ 1,3,6,12,22,40,74,136,246,410,655,1015,1491 ],
[ 1,3,6,12,22,40,74,136,246,440,788,1414,2535 ],
[ 1,3,6,12,22,40,74,136,246,442,781,1368,2370 ],
[ 1,3,6,12,22,40,74,136,246,442,793,1425,2560 ],
[ 1,3,6,12,22,40,74,136,248,435,743,1267,2143 ],
[ 1,3,6,12,22,40,74,136,248,435,748,1274,2151 ],
[ 1,3,6,12,22,40,74,136,248,447,798,1418,2485 ],
[ 1,3,6,12,22,40,74,136,248,450,807,1435,2541,4475,7821,
13655,23778 ],
[ 1,3,6,12,22,40,74,136,248,450,812,1440,2530 ],
[ 1,3,6,12,22,40,74,136,248,450,812,1459,2618 ],
[ 1,3,6,12,22,40,74,136,248,450,812,1460,2513 ],
[ 1,3,6,12,22,40,74,136,248,450,812,1460,2625 ],
[ 1,3,6,12,22,40,74,136,248,450,812,1460,2627 ],
[ 1,3,6,12,22,40,74,136,248,450,817,1474,2640 ],
[ 1,3,6,12,22,40,74,136,248,450,817,1485,2669 ],
[ 1,3,6,12,22,40,74,136,248,450,817,1485,2695 ],
[ 1,3,6,12,22,40,74,136,248,450,817,1485,2696 ],
[ 1,3,6,12,22,40,74,136,248,450,817,1485,2697 ],
[ 1,3,6,12,22,40,74,136,250,448,799,1419,2520 ],
[ 1,3,6,12,22,40,74,136,250,460,841,1510,2702 ],
[ 1,3,6,12,22,40,74,136,250,460,841,1530,2782 ],
[ 1,3,6,12,22,40,74,136,250,460,841,1532,2789 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1546,2822 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1546,2824 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2840 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2856 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2857 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2858 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2859 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2860 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2861 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2861,5260,9656 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2862 ],
[ 1,3,6,12,22,40,74,136,250,460,846,1556,2862,5264,9675 ],
[ 1,3,6,12,23,37,46,38,18,6,2,0 ],
[ 1,3,6,12,23,37,58,90,136,206,298,368,314,148,28,0 ],
[ 1,3,6,12,23,39,58,74,55,16,1,0 ],
[ 1,3,6,12,23,44,61,62,27,1,0 ],
[ 1,3,6,12,23,44,77,115,117,64,16,2,0 ],
[ 1,3,6,12,23,44,77,117,143,142,111,59,22,7,1,0 ],
[ 1,3,6,12,23,44,77,120,170,220,265,275,79,1,0 ],
[ 1,3,6,12,23,44,77,122,185,272,384,526,691,835,902,866,
765,616,387,159,35,1,0 ],
[ 1,3,6,12,23,44,78,124,181,248,328,423,529,642,766,909,
1067 ],
[ 1,3,6,12,23,44,78,124,181,248,328,423,529,642,766,909,
1067,1228,1396,1587,1797,2006,2218,2457,2719,2976,3232,3519,
3833,4138,4438,4773,5139,5492,5836,6219,6637 ],
[ 1,3,6,12,23,44,78,124,181,248,328,423,529,642,766,909,
1067,1228,1396,1587,1797,2006,2218,2457,2719,2976,3232,3519,
3833,4138,4438,4773,5139,5492,5836,6219,6637,7038 ],
[ 1,3,6,12,23,44,78,125,193,283,354,310,197,87,12,0 ],
[ 1,3,6,12,23,44,78,128,203,315,483,728,1041 ],
[ 1,3,6,12,23,44,78,128,205,327,521,801,1156 ],
[ 1,3,6,12,23,44,78,128,205,327,521,821,1246 ],
[ 1,3,6,12,23,44,78,128,205,327,521,821,1283 ],
[ 1,3,6,12,23,44,78,130,216,355,577,930,1398 ],
[ 1,3,6,12,23,44,79,132,216,355,584,952,1539 ],
[ 1,3,6,12,23,44,80,131,179,212,251,229,164,76,25,4,0 ],
[ 1,3,6,12,23,44,80,138,224,343,506,697,838,756,453,164,29,
3,0 ],
[ 1,3,6,12,23,44,80,140,223,319,422,477,375,154,21,3,1,0 ],
[ 1,3,6,12,23,44,80,140,243,416,708,1168,1825 ],
[ 1,3,6,12,23,44,80,142,240,382,582,835,1072 ],
[ 1,3,6,12,23,44,80,142,248,422,708,1150,1800 ],
[ 1,3,6,12,23,44,80,142,252,439,760,1310,2235 ],
[ 1,3,6,12,23,44,80,142,252,442,772,1345,2333 ],
[ 1,3,6,12,23,44,80,142,254,435,753,1254,1912 ],
[ 1,3,6,12,23,44,80,142,254,442,753,1283,2165 ],
[ 1,3,6,12,23,44,81,144,238,358,520,712,871,942,1040 ],
[ 1,3,6,12,23,44,81,144,254,425,586,596,421,201,68,15,0 ],
[ 1,3,6,12,23,44,81,146,235,381,543,673,745,537,282,104,22,
2,0 ],[ 1,3,6,12,23,44,81,146,253,441,787,1383,2369 ],
[ 1,3,6,12,23,44,81,146,253,444,789,1355,2271 ],
[ 1,3,6,12,23,44,81,146,253,444,789,1369,2314 ],
[ 1,3,6,12,23,44,81,146,259,435,667,912,1130 ],
[ 1,3,6,12,23,44,81,146,259,444,741,1195,1760 ],
[ 1,3,6,12,23,44,81,146,259,444,744,1230,2005 ],
[ 1,3,6,12,23,44,81,146,261,460,797,1343,2222 ],
[ 1,3,6,12,23,44,81,146,261,460,799,1338,2203 ],
[ 1,3,6,12,23,44,81,146,261,460,806,1400,2414 ],
[ 1,3,6,12,23,44,81,146,261,464,824,1445,2516 ],
[ 1,3,6,12,23,44,81,146,263,470,835,1469,2556 ],
[ 1,3,6,12,23,44,81,146,263,470,835,1475,2595 ],
[ 1,3,6,12,23,44,81,146,263,470,835,1475,2598 ],
[ 1,3,6,12,23,44,81,146,263,470,835,1480,2617 ],
[ 1,3,6,12,23,44,81,146,263,470,840,1490,2619 ],
[ 1,3,6,12,23,44,81,146,263,470,840,1501,2661 ],
[ 1,3,6,12,23,44,81,146,263,470,840,1501,2680 ],
[ 1,3,6,12,23,44,81,146,263,472,844,1495,2629 ],
[ 1,3,6,12,23,44,81,146,265,470,786,1234,1897 ],
[ 1,3,6,12,23,44,81,146,265,482,858,1482,2502 ],
[ 1,3,6,12,23,44,81,146,265,482,868,1526,2658 ],
[ 1,3,6,12,23,44,81,146,265,482,868,1551,2763 ],
[ 1,3,6,12,23,44,81,146,265,482,873,1570,2817 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1573,2726 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1573,2755 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1584,2837 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1595,2890 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1595,2892 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1595,2894 ],
[ 1,3,6,12,23,44,81,146,265,482,878,1595,2895 ],
[ 1,3,6,12,23,44,81,148,270,482,829,1384,2217 ],
[ 1,3,6,12,23,44,81,148,272,493,893,1596,2803 ],
[ 1,3,6,12,23,44,82,150,248,387,502,565,549,267,37,4,0 ],
[ 1,3,6,12,23,44,82,150,269,476,834,1437,2458 ],
[ 1,3,6,12,23,44,82,150,269,476,834,1437,2458,4208,7177,
12161,20409 ],
[ 1,3,6,12,23,44,82,150,271,481,862,1556,2784 ],
[ 1,3,6,12,23,44,82,150,273,489,884,1614,2940 ],
[ 1,3,6,12,23,44,82,150,274,498,898,1610,2879 ],
[ 1,3,6,12,23,44,82,150,274,498,902,1632,2953 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1625,2884 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1636,2961 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1636,2963 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1636,2964 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1636,2965 ],
[ 1,3,6,12,23,44,82,150,274,498,903,1636,2966 ],
[ 1,3,6,12,23,44,82,150,276,510,936,1694,3031 ],
[ 1,3,6,12,23,44,82,150,276,510,941,1717,3112 ],
[ 1,3,6,12,23,44,82,150,276,510,941,1730,3172 ],
[ 1,3,6,12,23,44,82,150,276,510,941,1730,3174 ],
[ 1,3,6,12,23,44,82,150,276,510,941,1730,3177 ],
[ 1,3,6,12,23,44,82,150,276,510,941,1730,3179 ],
[ 1,3,6,12,23,44,82,150,277,514,951,1756,3246 ],
[ 1,3,6,12,23,44,82,152,281,521,957,1728,3097 ],
[ 1,3,6,12,23,44,83,134,169,138,51,8,0 ],
[ 1,3,6,12,23,44,83,138,180,162,58,8,2,0 ],
[ 1,3,6,12,23,44,83,138,208,278,278,183,95,56,26,6,0 ],
[ 1,3,6,12,23,44,83,138,218,281,261,182,103,54,25,6,0 ],
[ 1,3,6,12,23,44,83,145,230,359,564,861,1278 ],
[ 1,3,6,12,23,44,83,145,234,338,414,518,512,305,48,2,0 ],
[ 1,3,6,12,23,44,83,145,250,415,629,891,1107 ],
[ 1,3,6,12,23,44,83,149,248,339,392,337,259,186,69,9,0 ],
[ 1,3,6,12,23,44,83,149,248,393,579,740,765,649,430,169,25,
1,0 ],[ 1,3,6,12,23,44,83,156,274,478,860,1544,2753 ],
[ 1,3,6,12,23,44,83,156,276,463,746,1167,1747 ],
[ 1,3,6,12,23,44,83,156,284,511,911,1612,2860 ],
[ 1,3,6,12,23,44,83,156,286,496,843,1453,2530 ],
[ 1,3,6,12,23,44,83,156,288,509,924,1669,2933 ],
[ 1,3,6,12,23,44,83,156,288,525,964,1767,3229 ],
[ 1,3,6,12,23,44,83,156,288,527,952,1611,2513 ],
[ 1,3,6,12,23,44,83,156,288,527,957,1689,2938 ],
[ 1,3,6,12,23,44,83,156,288,527,967,1745,3135 ],
[ 1,3,6,12,23,44,83,156,290,532,949,1595,2551 ],
[ 1,3,6,12,23,44,83,156,290,535,988,1808,3237 ],
[ 1,3,6,12,23,44,83,156,290,535,988,1821,3330 ],
[ 1,3,6,12,23,44,83,156,290,535,993,1844,3409 ],
[ 1,3,6,12,23,44,83,156,290,535,993,1844,3418 ],
[ 1,3,6,12,23,44,83,156,290,537,996,1817,3304 ],
[ 1,3,6,12,23,44,83,156,292,542,998,1791,3193 ],
[ 1,3,6,12,23,44,83,156,292,543,1013,1890,3524 ],
[ 1,3,6,12,23,44,83,156,292,545,1010,1826,3285 ],
[ 1,3,6,12,23,44,83,156,294,537,1002,1843,3318 ],
[ 1,3,6,12,23,44,83,156,294,541,990,1794,3215 ],
[ 1,3,6,12,23,44,83,156,294,544,993,1804,3283 ],
[ 1,3,6,12,23,44,83,156,294,544,998,1827,3355 ],
[ 1,3,6,12,23,44,83,156,294,550,1015,1828,3212 ],
[ 1,3,6,12,23,44,83,156,294,550,1026,1895,3519,6492,11976,
22048,40550 ],
[ 1,3,6,12,23,44,83,156,294,550,1026,1915,3571 ],
[ 1,3,6,12,23,44,83,156,294,550,1030,1917,3519 ],
[ 1,3,6,12,23,44,83,156,294,553,1032,1921,3572 ],
[ 1,3,6,12,23,44,83,156,294,553,1037,1896,3439 ],
[ 1,3,6,12,23,44,83,156,294,553,1037,1920,3548 ],
[ 1,3,6,12,23,44,83,156,294,553,1037,1939,3592 ],
[ 1,3,6,12,23,44,83,156,294,553,1037,1943,3633 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1937,3594 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1941,3573 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1952,3642 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1952,3644 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1963,3690 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1963,3694 ],
[ 1,3,6,12,23,44,83,156,294,553,1042,1963,3696 ],
[ 1,3,6,12,23,44,84,149,259,451,782,1352,2324 ],
[ 1,3,6,12,23,44,84,149,259,451,782,1352,2324,3985,6820,
11644,19851 ],
[ 1,3,6,12,23,44,84,149,261,461,811,1427,2505 ],
[ 1,3,6,12,23,44,84,149,261,461,811,1427,2505,4381,7658,
13342 ],[ 1,3,6,12,23,44,84,149,261,461,811,1427,2508 ],
[ 1,3,6,12,23,44,84,149,261,461,811,1427,2510 ],
[ 1,3,6,12,23,44,84,152,274,504,918,1658,2972 ],
[ 1,3,6,12,23,44,84,153,267,453,718,1032,1295 ],
[ 1,3,6,12,23,44,84,153,273,484,847,1448,2416 ],
[ 1,3,6,12,23,44,84,160,262,402,548,563,470,253,43,6,0 ],
[ 1,3,6,12,23,44,84,160,272,472,774,1216,1540 ],
[ 1,3,6,12,23,44,84,160,278,496,891,1562,2712 ],
[ 1,3,6,12,23,44,84,160,280,504,923,1652,2867 ],
[ 1,3,6,12,23,44,84,160,280,504,923,1667,2901 ],
[ 1,3,6,12,23,44,84,160,285,506,926,1700,3102 ],
[ 1,3,6,12,23,44,84,160,285,506,926,1700,3103 ],
[ 1,3,6,12,23,44,84,160,291,493,864,1507,2547 ],
--> --------------------
--> maximum size reached
--> --------------------
