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