{"experts_per_layer":512,"layers":48,"kept_per_layer":341,"cut_total":8208,"cut":[[2,3,6,11,13,18,22,24,25,26,28,38,40,41,42,43,45,47,51,52,53,54,55,56,64,65,68,72,75,76,78,82,86,89,91,96,100,104,105,106,109,112,114,115,117,120,121,124,127,133,134,135,136,137,140,141,144,146,148,152,161,163,171,181,187,191,193,195,207,210,218,221,222,229,231,232,236,237,242,244,245,250,255,260,263,271,276,279,282,284,286,288,292,296,299,304,306,310,311,314,323,324,325,327,328,331,334,336,341,343,344,345,348,355,357,361,363,365,366,368,373,374,377,387,388,391,394,396,397,402,405,410,413,414,417,418,420,421,422,424,426,429,437,438,439,448,452,453,454,455,460,465,466,467,469,475,477,478,484,487,488,490,492,497,501,502,503,504,506,509,511],[2,7,8,9,10,11,13,19,20,21,22,24,25,26,27,28,31,38,39,40,41,45,49,54,56,69,73,75,77,81,83,88,89,93,95,96,98,110,111,114,116,117,118,121,124,136,138,139,140,141,149,150,154,160,167,169,170,171,175,177,180,181,184,185,187,188,191,192,198,199,201,205,207,208,210,212,214,216,220,221,233,236,239,241,252,253,255,256,260,266,267,270,272,277,287,288,289,290,292,298,299,307,309,318,319,322,323,327,330,332,335,341,343,344,346,349,351,356,357,358,361,365,367,369,371,373,374,377,379,380,381,384,393,411,412,416,419,421,425,428,429,430,433,436,442,448,450,452,457,459,460,463,467,469,472,473,474,478,479,480,484,485,486,492,495,501,503,506,507,510,511],[3,6,8,15,16,18,23,24,26,29,31,33,38,41,48,49,52,53,57,61,66,67,70,71,72,75,77,78,80,82,91,92,94,99,100,102,108,111,118,120,121,123,126,128,129,134,140,141,144,145,148,152,155,156,158,159,160,163,167,170,172,174,178,179,180,182,186,187,189,192,193,194,196,199,204,205,206,209,211,213,216,217,218,219,221,223,225,231,233,234,235,241,242,243,246,247,255,259,266,267,269,272,274,275,289,290,296,299,301,309,317,318,319,325,327,329,330,331,338,340,344,345,352,356,358,362,366,368,369,371,374,375,376,381,389,395,396,397,398,408,415,417,420,422,424,427,431,440,445,446,447,450,455,459,465,466,468,471,473,477,482,484,487,489,491,492,498,501,505,507,509],[7,9,10,17,22,25,27,31,32,33,34,37,38,46,47,48,50,53,58,59,60,62,64,68,69,70,71,74,77,79,81,84,85,99,105,106,110,112,117,120,121,130,131,136,138,139,140,141,142,143,145,147,151,152,153,154,155,160,161,164,165,167,169,173,181,187,190,191,193,194,195,200,207,208,209,217,222,224,228,230,231,232,233,235,239,242,244,245,250,256,257,266,273,275,277,285,286,289,294,296,297,300,313,315,317,321,324,325,329,331,336,341,343,344,347,350,352,353,355,356,358,363,365,367,369,376,377,378,379,380,387,393,399,401,405,406,407,411,412,413,414,415,418,420,422,424,433,438,444,446,449,453,456,458,460,464,469,471,473,474,475,477,484,485,487,488,494,498,500,502,509],[1,4,8,9,12,18,21,22,38,40,41,43,45,46,47,52,57,60,62,64,65,68,69,71,75,77,79,82,93,95,96,97,98,101,111,122,123,136,137,140,142,144,145,146,151,166,167,170,172,178,180,182,185,186,187,190,197,200,201,211,213,214,215,219,220,224,225,226,227,229,230,231,232,239,240,242,244,246,250,251,253,255,257,261,262,264,266,270,273,274,275,277,278,280,282,288,290,293,295,298,299,301,303,305,309,315,316,321,330,334,335,343,345,347,348,350,351,353,356,364,365,366,368,372,374,376,377,378,380,387,396,397,400,401,402,407,408,409,411,413,415,418,421,427,435,439,441,442,443,444,446,450,457,459,467,469,470,473,476,478,483,484,487,497,498,500,502,504,505,508,510],[0,6,13,17,19,20,22,25,28,30,31,34,39,40,43,48,50,51,55,57,65,67,69,72,81,85,86,91,92,94,95,97,102,106,108,114,116,118,120,121,122,123,124,128,135,144,145,147,148,150,155,157,162,163,164,165,166,175,179,182,183,192,193,198,200,201,203,205,207,210,211,212,216,219,220,221,223,229,232,240,241,243,246,248,251,256,260,264,265,268,271,276,286,291,299,304,305,306,309,313,314,319,325,327,328,329,330,332,333,334,336,337,342,352,356,361,365,366,369,371,372,380,382,384,386,390,393,395,398,402,405,406,407,408,414,417,419,421,422,425,427,429,431,432,433,435,437,438,439,440,444,447,449,450,451,452,453,460,463,464,466,473,474,476,477,490,494,499,505,506,507],[2,9,10,11,15,18,19,20,23,28,29,32,34,38,39,41,43,44,46,51,55,56,61,65,69,71,72,75,80,82,83,85,86,88,89,92,94,96,101,105,106,107,109,110,114,115,116,117,123,124,133,139,141,143,155,156,159,160,171,173,174,178,192,196,197,202,210,212,215,218,221,225,227,232,238,240,244,246,254,257,261,262,266,268,270,271,273,275,276,282,289,290,293,294,295,297,302,305,306,307,311,312,313,314,315,316,320,322,323,325,327,328,330,334,335,337,341,342,344,346,356,365,366,367,370,376,378,380,388,389,395,396,400,402,405,406,410,411,413,415,417,418,420,426,433,440,442,443,449,453,456,457,460,462,464,467,473,475,477,483,487,488,492,494,497,501,502,503,506,507,508],[1,7,8,15,18,19,25,28,29,30,35,36,40,45,50,56,57,59,66,67,69,77,78,84,87,88,89,90,97,100,101,104,106,108,110,114,117,118,124,131,133,137,146,149,150,151,152,153,157,159,178,179,183,184,185,192,193,196,201,203,205,207,209,210,211,213,216,219,222,226,233,236,237,238,243,245,246,247,248,249,251,252,253,258,265,266,270,271,279,281,285,286,289,292,300,301,306,309,310,313,318,326,329,330,335,336,337,340,344,345,346,347,348,353,355,356,362,364,366,368,369,370,373,375,376,379,380,388,398,400,401,402,403,405,406,407,409,411,419,420,421,431,433,434,435,441,443,446,447,448,453,455,456,458,459,462,463,464,467,471,472,476,478,483,484,486,497,498,504,506,511],[0,1,2,5,8,9,11,12,15,18,20,22,23,29,36,38,39,42,43,47,50,54,56,57,62,63,65,71,72,74,76,83,84,85,91,99,106,107,114,117,118,121,124,125,129,131,137,139,142,147,149,150,156,160,163,164,166,170,172,181,185,188,190,192,193,194,199,208,209,212,219,222,231,234,235,240,247,251,255,257,263,265,267,269,276,279,284,285,287,288,289,290,291,293,294,295,297,299,300,308,318,320,326,333,336,339,341,342,343,345,351,355,359,364,367,368,369,372,373,380,382,384,385,387,388,391,392,393,395,396,397,398,400,408,409,410,415,422,428,431,433,435,438,439,440,445,446,452,453,457,462,463,464,466,474,475,476,477,479,480,481,483,485,488,492,501,502,504,507,508,511],[1,5,6,11,12,13,16,20,22,23,24,25,28,29,30,40,42,44,52,57,61,64,67,69,71,73,79,80,81,82,83,84,87,90,92,94,98,99,100,101,104,105,107,109,110,113,114,116,117,123,126,129,130,138,141,143,144,148,149,151,156,159,172,175,178,183,186,190,191,197,198,200,201,205,207,209,216,217,219,226,251,259,268,272,273,274,276,278,280,281,282,283,287,289,294,297,298,301,306,309,311,312,313,314,317,318,320,321,324,326,334,338,341,343,345,350,352,354,362,363,365,366,374,375,377,379,380,383,397,398,401,402,406,409,414,415,419,422,423,425,426,430,432,435,436,437,438,440,444,446,448,452,454,455,458,464,466,467,469,473,477,485,486,489,490,498,501,505,507,508,510],[7,11,13,21,22,27,32,34,37,40,41,43,44,48,52,57,58,62,64,70,76,80,81,83,86,90,94,95,96,97,99,101,104,109,116,118,119,121,127,128,132,134,140,141,143,144,149,150,154,159,164,169,186,189,192,193,195,201,202,204,206,210,214,215,219,222,224,227,228,230,235,238,248,250,252,256,259,261,262,264,267,276,281,284,287,288,290,292,297,298,299,300,301,304,307,309,312,316,319,321,325,329,331,332,334,337,339,342,343,357,360,363,364,367,372,374,376,381,383,386,388,389,390,392,393,395,399,405,412,414,418,419,420,422,423,428,429,431,433,434,438,439,449,451,452,453,456,457,458,459,461,462,464,470,471,475,476,477,478,479,480,484,486,493,498,500,504,505,506,510,511],[7,9,13,19,20,21,23,27,30,32,38,40,41,42,54,56,57,61,65,70,72,78,79,86,88,89,90,92,93,98,102,108,110,116,119,126,132,133,134,137,138,147,149,151,164,166,167,170,173,177,178,186,187,190,192,194,198,199,200,201,208,211,212,214,215,216,219,221,223,224,225,229,236,240,241,246,247,248,249,252,253,259,260,261,265,267,276,278,280,282,289,306,307,309,310,316,317,323,324,326,328,331,338,341,347,349,353,357,358,361,362,364,366,367,368,370,371,374,379,382,383,384,386,391,392,394,396,397,398,405,409,412,417,418,420,421,424,426,431,433,435,436,438,439,445,447,448,450,452,455,456,457,458,459,461,462,466,471,472,476,477,480,482,490,492,493,498,500,504,508,510],[0,1,2,10,15,19,20,21,23,29,31,35,36,40,43,49,51,54,55,56,57,58,59,61,66,67,68,69,70,86,89,94,101,102,103,105,114,115,117,119,124,125,126,128,130,132,133,139,141,146,147,153,156,158,164,169,171,176,179,180,182,183,184,185,186,189,192,193,199,200,201,208,210,212,213,214,215,216,222,225,229,236,242,244,250,259,260,262,263,264,268,269,270,274,275,276,281,283,288,291,295,296,297,298,302,304,309,310,311,316,318,319,320,321,325,328,333,335,337,339,341,344,348,349,354,357,358,361,364,367,368,373,376,381,382,388,393,398,402,405,407,413,415,421,423,427,428,431,433,435,436,437,439,441,449,451,452,458,461,465,466,468,469,474,477,483,485,492,500,509,511],[2,5,7,11,19,20,21,30,35,40,41,44,49,53,54,60,66,68,80,86,89,92,94,95,114,119,126,130,132,133,143,146,148,150,153,156,158,162,164,165,167,170,173,175,181,183,185,189,190,191,192,198,203,204,210,214,216,219,221,224,231,236,240,242,245,249,250,255,256,259,260,262,264,265,267,268,271,272,274,276,279,282,285,289,293,294,296,299,301,302,308,311,312,315,317,319,322,323,325,326,327,337,338,340,342,343,349,350,353,354,362,368,374,383,386,392,393,394,395,396,400,402,403,408,409,411,413,417,418,419,422,424,430,433,434,437,439,440,441,442,443,448,451,453,455,457,458,464,465,466,468,469,470,471,473,474,476,478,481,485,488,490,492,494,496,498,502,505,507,508,509],[1,2,4,7,9,11,12,27,29,35,37,40,47,49,54,58,59,64,68,75,82,84,87,88,89,91,95,97,100,106,108,110,111,116,119,121,122,128,129,134,135,137,144,148,151,152,154,157,159,162,165,168,170,172,176,180,181,185,187,193,202,214,216,220,222,224,229,230,237,244,245,246,250,252,257,259,260,261,263,265,266,269,271,274,279,280,281,285,286,296,297,298,299,300,307,308,309,312,313,318,322,327,330,331,335,336,338,339,341,342,347,348,350,353,358,360,361,363,370,375,377,378,379,380,385,389,392,393,396,398,399,402,407,408,410,413,414,415,418,433,440,442,445,446,449,452,457,460,462,465,466,471,472,474,478,479,480,482,483,487,488,492,494,495,496,499,500,501,508,510,511],[0,3,4,7,8,9,10,13,14,18,21,25,30,31,32,33,37,39,40,46,48,53,54,59,61,62,76,78,81,84,92,95,99,100,104,105,109,111,113,115,117,119,121,122,124,125,126,130,132,134,143,144,145,153,154,155,156,159,163,168,169,171,182,185,192,195,197,201,204,205,207,212,213,214,216,219,221,225,230,233,234,236,238,239,241,246,248,250,256,261,267,268,269,270,273,278,279,281,283,285,287,292,293,296,301,302,305,307,313,314,319,320,323,327,337,347,352,354,358,360,361,365,367,369,374,377,378,379,385,386,387,393,396,399,402,404,407,412,417,420,421,425,427,429,433,437,442,444,447,457,461,463,464,470,471,473,475,480,482,484,486,488,491,493,497,501,503,506,507,509,511],[4,5,11,13,14,15,19,37,41,44,45,46,50,57,59,60,62,68,69,72,76,77,80,81,82,84,85,86,91,93,94,97,99,100,103,104,105,110,113,116,118,119,122,124,126,132,137,139,149,150,151,154,155,156,160,165,169,170,178,181,182,185,186,187,188,189,192,193,196,200,203,204,205,207,214,217,219,223,236,242,244,246,248,251,254,258,261,272,273,277,280,283,284,291,298,301,303,304,307,309,312,318,319,321,331,335,339,342,343,344,350,364,365,367,369,371,374,376,381,383,384,386,387,388,391,393,398,399,400,401,404,405,409,411,413,417,418,420,421,423,424,434,436,437,438,440,447,448,452,456,457,458,460,464,465,468,474,477,479,485,491,494,495,497,499,500,503,505,509,510,511],[1,2,3,4,5,8,11,13,15,20,21,23,24,26,28,29,30,31,32,45,46,48,51,53,56,58,63,67,71,83,85,91,92,95,98,99,100,115,121,127,128,129,130,134,135,136,143,144,148,149,151,152,153,155,157,158,160,161,166,168,169,171,176,178,179,182,184,186,189,200,203,207,212,213,221,222,226,229,233,235,237,239,243,248,249,250,256,259,266,269,272,275,290,291,292,294,296,299,303,304,308,313,320,325,326,328,331,332,338,340,341,344,348,350,352,353,355,360,363,366,367,368,369,371,373,374,376,377,380,381,388,397,398,399,405,408,412,414,417,421,424,428,432,444,445,450,451,458,464,466,470,472,473,474,478,479,480,481,483,486,492,493,494,497,501,502,504,506,507,509,510],[0,1,4,7,9,11,16,17,20,23,24,27,30,31,32,33,35,36,39,40,41,52,54,61,64,65,69,71,74,77,78,83,89,94,102,110,112,116,121,124,128,129,130,134,135,136,137,138,142,145,147,148,149,154,155,157,158,161,163,171,177,186,187,188,189,192,194,195,201,202,205,210,215,222,225,228,231,236,238,245,247,250,254,257,259,262,263,267,270,273,279,281,289,290,294,296,297,301,305,313,318,322,323,325,328,331,333,334,335,339,342,344,349,350,351,355,356,357,360,365,368,371,372,375,377,378,379,383,387,389,392,393,394,400,404,406,410,412,415,418,420,421,422,426,429,430,436,438,442,445,446,449,452,454,455,458,460,465,469,474,476,479,484,488,489,491,492,495,499,507,509],[0,2,4,5,6,8,17,18,22,39,40,41,42,45,48,52,53,64,69,70,74,79,83,85,91,95,96,98,100,101,105,108,109,111,128,137,138,139,144,149,150,151,154,159,164,169,176,178,179,180,182,186,187,188,194,197,198,201,203,204,205,214,221,224,227,228,229,230,231,232,243,244,245,248,251,258,260,262,266,267,269,270,271,274,275,278,287,295,297,302,303,305,309,310,311,313,314,316,319,325,327,333,337,338,340,342,345,349,350,351,352,353,355,357,358,359,361,368,370,375,380,384,388,392,393,394,397,402,403,410,412,413,414,416,420,421,425,430,432,434,436,439,442,446,449,451,455,457,458,459,463,466,469,470,475,476,477,478,480,481,486,487,490,492,494,495,496,497,500,505,511],[1,4,6,12,17,20,21,22,23,31,32,34,39,41,45,49,52,62,64,67,70,72,77,78,79,81,92,101,103,105,107,108,109,110,111,112,114,118,119,123,134,135,137,148,150,155,156,158,160,161,162,163,169,179,183,185,188,191,193,195,196,201,202,205,206,209,217,222,223,226,230,235,240,250,254,255,258,259,261,264,267,269,270,271,276,277,279,280,281,284,286,287,288,295,299,301,302,303,305,306,307,309,316,317,326,329,331,333,336,337,341,342,343,346,349,352,353,354,358,371,372,375,376,377,381,382,388,392,395,398,400,402,404,405,407,415,419,420,422,427,429,431,435,439,446,447,452,453,454,455,460,470,471,472,473,474,478,479,481,483,484,486,487,488,489,491,495,499,500,505,508],[4,6,7,9,12,13,14,15,17,19,20,25,26,34,35,36,37,55,60,62,63,64,66,69,70,71,73,85,89,90,94,97,99,106,108,114,123,124,127,128,129,132,133,134,137,140,143,149,151,155,159,161,169,174,176,177,180,181,182,184,185,186,187,188,190,191,197,200,202,205,211,217,219,228,232,235,238,244,249,254,258,263,265,273,274,276,280,284,295,297,300,302,303,307,308,310,313,314,315,317,319,322,325,329,341,342,343,346,348,349,353,356,359,361,362,363,364,366,367,368,369,372,374,375,381,383,385,386,387,390,399,406,410,416,420,423,427,428,433,435,436,437,439,440,444,445,451,455,463,468,475,478,479,482,484,486,487,488,489,490,491,492,494,498,500,501,506,507,508,509,510],[2,12,13,14,19,25,27,31,36,37,38,44,47,51,58,63,68,71,72,75,76,83,84,88,90,94,96,98,103,106,113,114,115,116,117,118,119,127,128,129,130,131,135,137,139,145,146,153,156,161,166,167,168,169,170,173,176,178,180,184,185,191,194,198,199,200,202,204,207,208,209,211,213,219,220,222,228,231,232,236,240,244,245,247,257,258,260,262,263,268,272,274,277,280,282,284,285,286,288,289,291,311,314,315,317,318,322,323,329,330,331,333,335,336,337,342,346,350,352,353,354,355,360,362,364,365,367,368,370,376,380,382,391,392,397,398,399,402,407,412,422,425,427,439,443,447,448,449,451,454,455,459,460,464,468,475,476,477,478,480,484,485,486,488,493,498,501,502,503,505,510],[8,16,18,20,21,26,29,34,36,38,40,42,45,46,47,53,61,64,65,66,71,73,83,85,86,87,91,93,94,97,98,99,103,107,123,130,132,133,135,136,140,143,147,148,149,158,160,162,164,167,177,178,184,193,195,200,201,202,212,213,216,217,218,223,225,229,231,233,238,241,245,246,248,249,251,256,261,268,269,270,273,277,280,282,283,285,287,293,296,299,300,304,306,307,308,309,310,311,312,313,314,316,320,321,323,330,332,333,335,336,342,343,346,348,349,350,351,352,353,354,355,358,359,360,361,364,365,366,370,371,373,375,376,378,388,393,395,396,397,400,405,408,412,413,415,423,427,428,431,432,440,444,449,459,464,468,469,472,485,487,489,491,495,496,497,498,499,502,505,506,508],[0,1,2,8,9,11,12,16,18,20,22,29,36,38,42,43,47,50,54,55,56,57,62,63,65,69,71,74,76,83,84,85,99,102,105,106,114,117,118,120,121,124,125,129,131,137,139,141,149,150,160,163,164,166,170,172,180,181,185,187,188,190,191,192,193,199,201,203,208,209,212,218,222,231,234,235,240,247,251,255,257,263,267,269,276,279,283,284,285,286,287,288,289,290,291,293,294,295,297,299,308,310,318,320,321,326,333,339,341,342,343,345,349,351,352,355,364,367,368,369,373,374,379,380,382,384,385,388,391,395,398,399,400,406,408,409,410,411,422,431,433,434,435,438,439,440,441,450,452,457,460,462,473,474,476,477,479,480,481,483,485,488,494,495,501,502,504,506,507,508,511],[1,5,7,11,12,13,16,20,22,23,24,25,28,29,30,40,44,51,52,55,57,64,67,69,71,73,79,80,81,82,87,90,92,101,104,105,107,109,110,113,116,117,123,126,129,130,133,135,138,141,143,144,148,149,150,151,156,159,164,175,178,180,181,183,186,188,190,191,197,198,200,201,202,203,205,207,209,216,217,219,226,251,253,259,260,267,268,272,273,274,276,278,281,282,283,286,287,289,291,294,301,309,311,312,313,314,317,318,321,324,326,334,341,342,343,344,345,348,354,362,363,365,366,375,376,377,379,380,392,397,398,401,402,406,409,414,415,419,422,425,426,432,433,435,436,437,438,440,444,446,448,452,454,455,462,464,467,473,477,485,486,489,490,498,501,503,505,507,508,510,511],[7,11,13,15,21,22,27,32,37,40,41,44,52,58,62,64,70,73,75,76,80,81,83,86,90,94,95,96,99,101,104,106,109,111,116,119,121,127,128,132,135,140,141,143,144,145,148,149,150,154,156,159,162,164,165,169,171,187,189,192,193,195,201,203,204,206,210,214,216,219,222,224,228,230,238,240,241,246,248,250,252,260,261,262,264,267,276,281,283,284,287,290,296,298,300,301,307,309,312,316,319,321,322,323,325,329,332,337,339,342,354,355,356,357,358,364,367,372,374,376,377,379,381,383,386,389,390,393,394,395,399,405,412,414,416,419,420,422,429,431,432,433,434,438,439,449,451,452,455,456,457,458,459,461,462,463,464,470,473,477,478,479,481,486,488,495,498,500,504,509,511],[7,9,13,20,21,22,23,27,30,32,37,38,40,41,42,46,56,60,61,65,75,78,79,84,86,88,89,92,93,102,106,107,108,110,116,119,120,126,128,130,132,133,134,136,137,138,145,147,149,151,166,167,170,173,177,178,180,186,187,188,191,192,194,198,200,201,208,211,212,214,215,216,219,221,223,224,226,229,240,241,247,252,259,260,261,265,267,270,272,273,278,280,282,287,289,290,306,307,309,310,316,320,323,324,326,328,331,332,338,341,347,357,358,362,364,366,370,371,374,379,382,383,384,386,391,394,396,397,398,400,405,409,412,417,418,423,424,430,431,435,436,438,444,445,446,447,450,452,453,455,456,459,460,461,462,466,471,472,476,478,480,482,487,488,492,493,496,500,504,508,510],[0,1,2,15,20,21,23,25,28,29,35,36,40,43,46,49,51,54,55,56,59,61,63,66,67,70,72,79,81,85,86,101,102,105,114,117,119,124,125,126,128,129,130,131,132,133,140,141,142,147,150,151,153,156,164,166,171,176,179,180,182,183,184,185,186,189,192,193,199,200,203,209,210,212,213,214,215,216,225,226,227,229,238,242,245,250,256,259,260,262,263,264,268,269,271,274,275,276,281,283,288,293,295,296,297,298,300,302,304,309,310,316,318,319,320,321,325,329,333,337,338,339,348,349,354,358,361,368,373,376,381,382,383,385,388,393,397,398,402,405,407,411,413,415,424,428,435,436,437,439,441,446,448,449,450,451,452,458,459,461,465,466,468,469,474,477,481,485,490,509,511],[2,3,5,7,11,19,20,21,24,30,35,40,41,44,49,53,66,68,80,86,89,92,94,110,114,119,130,132,133,143,146,148,150,153,156,162,164,165,167,170,173,175,181,183,185,189,191,192,198,200,202,204,207,211,214,215,219,221,224,227,230,231,236,240,245,250,253,255,256,259,260,262,264,265,267,269,271,272,274,276,278,282,285,286,290,294,295,296,302,306,308,309,311,315,317,319,322,323,325,326,327,329,330,337,338,340,342,345,349,350,354,362,366,374,383,385,386,392,394,395,396,400,402,403,408,409,410,411,417,418,419,422,424,428,430,433,434,437,440,441,442,443,444,453,455,457,458,463,464,465,466,468,469,470,471,474,476,478,480,482,485,486,488,494,496,498,502,505,508,509,511],[0,1,4,6,7,10,12,27,29,33,35,37,40,47,54,58,59,64,68,70,75,77,82,84,87,88,95,97,100,101,106,110,113,116,117,119,121,122,125,127,128,129,134,135,144,150,152,154,157,159,162,165,168,170,181,185,187,189,193,199,201,214,216,220,223,224,225,226,227,229,232,245,246,250,252,257,259,260,261,263,264,265,268,269,271,274,279,280,281,285,286,288,296,297,298,299,300,305,307,308,309,313,317,318,322,324,327,330,335,336,338,341,347,350,351,353,357,358,361,363,370,373,375,377,379,380,385,393,396,399,402,407,408,413,414,415,418,426,429,430,433,439,440,442,445,446,452,457,460,462,465,466,471,473,474,478,479,480,482,483,486,487,491,492,494,496,499,500,504,506,511],[3,4,7,8,9,10,13,14,18,19,21,30,31,32,33,37,39,40,46,48,53,59,61,62,72,76,80,81,84,87,89,92,94,99,101,104,105,109,111,113,115,121,122,124,125,126,130,132,134,143,145,154,155,156,159,163,168,169,171,179,182,185,192,195,201,203,204,205,207,208,213,214,216,218,219,221,233,234,236,238,240,241,244,248,249,250,256,261,262,267,269,270,273,278,281,283,285,287,292,293,296,301,302,305,307,310,313,314,319,320,323,327,331,337,347,352,353,355,357,358,360,365,369,374,377,379,385,386,387,393,396,399,402,404,406,407,412,415,417,419,420,421,425,427,429,432,433,437,440,447,450,458,461,463,466,469,470,471,473,474,475,477,480,484,486,488,489,491,493,503,511],[3,4,5,11,13,14,15,19,37,41,45,46,50,57,58,59,60,68,72,77,80,81,82,84,85,86,91,93,95,97,99,100,103,104,105,113,116,118,119,122,124,126,137,139,146,149,151,154,155,156,165,169,170,178,180,181,182,185,186,187,188,192,193,196,200,203,204,205,206,207,214,217,219,223,232,236,242,243,244,246,248,251,254,257,258,261,272,273,274,277,281,282,283,284,290,291,296,298,300,304,307,309,310,312,318,319,321,331,335,342,343,344,349,350,353,356,364,365,367,369,371,374,376,382,384,386,387,388,391,393,398,400,401,404,408,409,411,412,413,417,418,420,424,427,434,436,440,447,448,452,456,457,458,460,463,464,465,468,472,474,477,487,491,494,495,497,500,503,505,510,511],[4,5,8,11,13,15,20,21,23,26,29,30,31,32,40,45,46,48,51,53,56,60,63,67,71,83,84,85,91,92,95,98,99,100,115,121,127,128,129,134,136,143,144,148,149,151,152,155,157,158,160,161,166,168,169,171,176,178,179,182,184,186,189,190,200,203,207,208,212,213,217,221,222,225,226,229,233,235,237,239,243,248,249,250,251,256,259,269,272,274,275,280,290,291,292,294,296,299,303,304,307,310,313,318,320,325,326,328,331,332,338,340,344,348,350,352,353,355,358,360,363,366,367,368,369,373,374,377,380,381,388,397,398,399,404,405,408,412,414,421,425,428,438,439,444,445,448,450,451,464,466,467,470,472,473,478,479,480,481,486,493,494,497,501,502,504,505,506,507,509,510],[0,4,7,9,14,16,20,23,25,27,30,31,32,33,35,36,37,41,52,54,61,64,65,69,74,77,78,89,91,94,102,110,111,112,114,121,123,124,129,130,134,135,136,137,142,145,147,148,149,154,155,157,158,161,163,171,173,177,181,186,188,189,194,195,201,202,205,209,210,215,221,222,225,227,228,231,236,238,242,245,250,254,257,258,259,261,262,263,267,270,273,274,279,281,284,288,289,290,295,296,297,301,302,305,309,310,313,314,316,318,322,323,325,327,328,335,339,344,345,348,349,351,355,356,357,364,365,366,367,371,377,379,383,387,389,392,394,404,406,408,410,411,412,414,415,420,422,426,427,429,430,436,438,442,445,450,452,455,460,465,466,469,476,479,484,489,492,499,501,507,509],[0,2,4,5,17,18,22,38,41,42,43,45,46,48,52,53,54,56,63,64,69,70,71,74,75,79,83,84,85,86,91,95,98,100,101,105,108,109,111,125,128,131,137,138,139,144,149,150,151,154,160,162,164,170,178,179,180,186,187,188,194,197,198,201,203,204,206,214,224,227,228,229,230,231,233,239,240,243,244,245,248,251,252,258,260,262,265,266,269,270,271,274,275,278,287,293,295,302,303,305,309,310,311,313,314,316,319,325,333,337,338,340,342,349,351,352,353,355,357,358,359,361,368,370,380,384,388,392,393,394,397,402,403,410,412,413,414,416,420,425,432,434,436,437,439,442,446,449,451,455,457,459,460,463,466,469,470,475,476,477,478,479,480,481,486,489,490,496,497,499,505],[1,4,6,12,17,19,21,22,23,31,32,39,41,45,49,53,62,64,67,68,70,72,73,77,78,79,81,84,86,100,101,103,105,108,109,110,111,112,114,118,119,123,134,135,137,148,150,156,157,161,163,169,170,179,183,184,185,186,188,191,193,195,196,201,202,205,206,209,217,221,222,232,235,237,242,250,252,254,255,259,261,264,267,269,276,277,279,280,281,284,286,287,288,294,295,299,301,302,303,305,307,309,312,316,321,326,329,331,333,336,337,341,342,343,346,349,351,352,354,358,359,364,371,372,376,377,381,382,383,388,392,398,399,402,405,407,410,415,420,422,427,428,431,434,435,438,439,442,446,447,452,453,455,460,470,471,472,473,474,475,479,481,483,486,488,489,491,499,501,505,508],[4,6,7,9,12,13,14,15,17,20,25,26,34,35,36,37,47,50,55,60,63,66,70,71,73,85,89,90,94,99,106,108,112,114,123,124,128,130,132,133,134,137,138,140,143,149,151,155,159,161,171,176,177,179,180,181,182,184,185,186,188,190,191,197,200,202,203,205,211,214,215,217,219,222,224,228,230,232,235,238,249,251,254,259,262,263,265,269,272,273,276,278,283,284,297,300,302,307,308,310,314,315,317,319,321,322,325,328,329,341,343,346,348,349,353,356,359,361,362,363,364,366,374,375,376,383,385,386,388,390,397,399,406,408,410,416,423,427,428,429,437,439,440,444,445,451,455,461,463,469,478,479,482,486,487,488,490,491,492,493,495,497,498,500,501,505,507,508,509,510,511],[0,2,9,12,13,19,25,27,31,34,37,44,47,55,58,61,63,68,71,72,76,83,84,87,88,90,94,97,103,106,108,113,114,116,118,119,127,128,129,130,131,132,135,137,139,145,146,153,156,161,167,168,169,172,176,178,180,182,183,184,185,191,194,198,199,200,202,203,204,207,208,209,214,220,222,228,231,232,236,240,244,245,248,251,257,260,262,268,271,272,274,277,278,280,282,284,285,286,287,288,289,291,304,311,312,314,315,318,322,323,329,330,331,332,333,335,337,341,344,350,351,352,353,354,360,362,364,365,367,370,376,380,382,391,392,397,398,399,402,407,412,413,417,422,423,425,427,439,443,447,448,449,451,454,455,459,464,468,474,475,476,480,483,485,486,488,493,498,501,502,510],[2,7,11,16,18,20,21,26,29,30,34,38,40,42,44,45,46,47,50,53,61,64,65,66,71,73,80,83,85,86,91,93,94,97,98,103,107,116,123,130,131,132,135,136,140,143,147,148,149,158,159,160,164,166,177,178,181,188,193,195,200,201,202,205,212,216,217,218,223,225,229,231,232,233,238,241,246,248,249,253,261,262,266,268,270,272,273,277,280,282,283,285,288,296,306,307,311,312,313,314,317,320,321,325,329,333,335,340,343,345,348,349,350,351,353,354,355,358,359,361,366,367,370,371,373,375,376,378,379,384,393,395,397,400,405,408,412,413,418,419,420,421,423,426,427,428,431,434,440,444,449,451,456,459,466,468,469,472,473,475,487,489,491,495,497,498,502,503,505,506,508],[1,2,5,13,15,16,17,24,33,35,37,40,42,43,45,50,52,55,57,62,63,65,67,71,72,76,78,80,81,84,90,93,95,97,98,101,103,104,106,108,111,118,121,122,130,131,132,133,139,142,144,147,149,151,152,158,161,163,164,167,170,175,183,187,192,193,196,200,201,202,207,210,211,212,214,220,221,223,226,231,235,236,237,242,245,246,249,256,260,261,263,269,273,276,277,281,288,290,296,297,299,307,312,313,321,326,336,338,347,349,357,358,361,364,368,369,370,371,372,373,375,376,377,379,386,392,394,401,402,404,405,408,413,414,415,416,417,419,426,427,428,433,435,438,441,443,448,454,456,457,462,464,466,473,476,477,479,480,482,484,485,487,488,492,494,495,496,501,502,503,506],[8,9,10,13,14,15,18,22,23,25,30,33,37,39,45,47,48,56,57,63,69,70,72,74,75,76,78,79,81,82,89,90,101,102,106,110,111,112,114,115,117,119,122,130,133,135,137,138,144,146,148,150,153,154,155,156,161,165,166,174,178,181,187,188,189,191,193,194,200,202,203,207,212,214,217,219,221,224,225,228,229,234,238,239,241,242,243,247,250,254,256,262,263,270,274,277,278,279,284,285,291,297,298,303,305,307,309,310,311,313,314,317,318,320,321,322,323,337,338,339,341,345,347,355,357,370,371,372,374,376,379,382,387,392,396,401,403,405,406,410,411,413,416,419,423,426,428,437,439,441,442,446,452,453,458,461,466,470,472,474,483,486,488,494,497,502,503,504,506,509,511],[1,4,7,11,14,21,28,29,31,32,35,38,39,48,52,54,60,72,73,74,86,89,96,98,101,105,108,111,112,116,117,118,121,125,126,135,145,146,148,149,150,155,156,160,161,164,167,169,170,173,176,179,180,182,188,189,198,201,204,206,208,209,211,213,221,223,224,227,228,230,231,236,239,240,242,244,246,247,250,252,253,254,259,262,263,264,266,269,270,281,284,292,295,297,298,308,309,311,313,314,316,320,324,326,328,330,333,335,336,337,338,343,344,346,347,348,350,352,356,358,361,369,370,371,372,374,375,377,384,392,395,399,401,405,407,409,415,418,420,421,437,443,445,446,449,451,453,454,459,460,461,463,467,468,469,474,475,477,481,483,488,494,497,498,502,503,505,506,507,510,511],[0,6,7,8,16,19,21,22,23,28,33,37,39,49,52,58,59,60,61,62,63,66,68,70,72,74,76,78,80,83,88,90,96,103,108,109,117,122,126,130,135,136,138,140,141,143,144,150,151,152,158,166,174,176,177,179,182,183,186,188,189,194,199,202,204,208,211,212,214,226,227,228,229,230,235,238,247,249,250,252,253,254,258,259,261,263,264,265,267,268,271,272,281,286,287,288,291,292,295,298,299,304,305,306,310,312,317,318,322,324,325,327,328,330,331,333,341,343,347,348,356,357,358,360,362,366,367,368,371,372,373,374,390,398,399,401,402,403,405,406,409,417,426,429,432,433,434,437,439,440,442,446,447,453,454,463,466,467,468,469,472,473,474,478,479,480,487,492,497,502,504],[2,3,6,7,9,10,11,13,14,15,16,17,18,19,20,23,25,26,32,36,38,40,41,46,48,49,52,58,60,63,64,66,71,72,77,78,80,82,83,89,93,96,98,101,102,104,107,108,111,112,113,114,115,116,118,122,123,125,128,130,132,137,139,146,149,151,152,153,157,165,166,168,178,179,180,181,187,188,193,194,198,201,210,218,222,226,230,233,239,241,242,253,254,259,261,264,271,274,278,279,282,284,285,290,295,296,306,309,317,320,321,327,330,331,334,336,340,342,349,353,354,355,357,360,363,365,377,378,380,382,384,388,391,392,398,400,403,406,407,414,416,421,423,424,425,429,431,435,437,439,442,458,459,461,462,463,470,475,476,478,480,482,486,487,488,493,496,498,504,508,511],[1,6,8,12,16,17,18,19,20,23,30,35,37,38,41,50,53,54,58,59,67,71,77,80,81,82,83,88,91,92,93,96,98,100,102,105,107,108,109,112,117,120,121,123,129,134,139,142,143,144,150,151,152,153,156,157,161,170,175,177,178,187,190,192,195,206,207,208,228,234,236,241,242,246,251,256,257,261,273,276,277,279,281,285,287,291,292,298,300,301,302,305,306,310,315,318,319,320,326,329,331,335,336,340,344,345,347,350,353,355,358,361,362,364,368,369,371,372,377,378,380,382,383,384,387,389,392,393,395,396,399,400,403,409,410,411,413,417,422,423,424,427,432,434,436,437,455,460,461,463,467,468,469,471,474,477,478,486,488,489,490,491,495,497,498,499,502,505,506,509,511],[2,4,7,8,17,28,29,32,34,38,39,40,42,46,47,48,49,50,59,63,65,72,73,74,79,82,83,84,92,94,95,98,99,101,102,105,106,108,116,117,126,131,133,134,136,137,140,144,146,148,150,153,155,157,160,170,173,174,175,176,178,179,180,182,183,185,186,189,190,197,200,202,204,205,207,210,212,217,223,225,229,234,235,236,237,238,242,244,249,251,253,254,270,275,277,278,282,295,298,301,302,305,306,308,309,310,312,313,315,325,326,328,330,332,335,344,345,347,352,354,355,358,360,365,366,367,368,369,371,377,380,383,385,389,391,394,395,397,398,399,400,403,411,420,424,427,428,430,440,442,447,448,449,451,453,456,460,462,474,478,479,480,481,482,485,487,488,494,498,501,509],[1,3,5,6,7,10,13,15,21,22,23,28,30,32,38,40,41,42,43,44,45,53,54,56,57,58,59,62,63,68,69,81,84,94,101,109,110,111,114,115,116,118,121,124,128,130,133,134,135,141,146,147,160,161,162,165,167,172,173,174,180,182,183,187,191,192,193,197,198,200,211,214,215,216,219,223,226,236,237,238,241,243,244,246,248,251,257,261,262,265,267,271,274,276,279,282,283,284,288,293,295,300,306,308,312,314,316,322,325,327,328,331,335,339,341,350,352,353,361,363,366,368,371,373,374,375,382,383,386,392,404,405,406,408,419,421,422,426,428,429,430,432,434,435,436,437,443,447,449,455,459,461,465,466,468,471,473,474,477,483,484,490,493,499,500,503,504,505,507,510,511]]}