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