[[0,1,2,3,5,6,7,10,11,12,13,15,16,17,18,19,20,22,23,25,26,27,28,29,31,32,34,35,37,44,45,47,48,52,53,54,57,58,59,60,61,63,64,66,68,69,70,72,73,78,80,84,86,87,88,89,90,91,92,93,94,96,98,99,100,101,104,105,106,109,110,111,112,113,114,120,121,125,128,132,133,134,136,137,138,140,141,142,144,148,151,152,153,155,157,158,160,161,162,163,166,167,168,169,170,171,172,174,175,176,178,184,185,186,187,189,191,192,194,196,197,198,204,207,208,211,214,216,218,220,221,222,223,225,228,232,233,234,235,236,237,238,247,250,251,253,254,255,256,257,258,259,261,262,264,265,266,267,268,269,270,272,274,275,277,278,279,280,281,282,283,284,285,286,288,289,290,292,300,302,309,310,312,313,314,317,319,320,324,325,326,327,328,330,331,333,334,335,336,337,340,343,344,352,354,355,358,359,362,363,366,368,371,372,375,376,377,378,380,381,382,384,385,387,391,392,394,395,397,398,404,406,407,415,419,423,427,430,439,442,445,447,448,451,452,456,458,460,462,463,464,465,466,467,469,470,471,472,473,490,491,492,493,496,498,501,504,509,512,513,514,515,516,517,518,519,521,523,524,526,527,528,530,531,532,533,534,535,536,537,543,544,546,547,548,549,551,552,554,555,556,558,559,560,561,562,563,564,567,568,569,570,571,573,574,575,578,579,580,581,582,583,584,585,586,587,588,589,595,596,601,602,608,612,613,614,615,619,620,621,622,623,625,626,627,628,632,633,634,635,637,638,639,640,641,643,647,648,650,657,663,664,665,668,669,670,672,677,678,679,682,683,684,685,687,691,692,694,696,697,698,699,701,703,704,705,706,709,710,712,713,714,715,716,718,719,720,722,723,724,725,731,741,744,746,747,749,751,754,755,756,757,758,759,761,763,765,766,767,768,770,781,789,791,825,834,836,837,839,840,842,843,844,845,847,848,849,851,852,853,854,856,857,858,860,861,862,863,864,865,866,867,869,875,881,887,888,889,894,896,897,901,903,904,906,907,908,910,912,916,917,918,919,920,921,922,924,926,927,931,932,933,936,937,938,939,942,944,945,946,949,957,958,959,960,962,964,966,968,969,970,971,972,973,975,976,977,978,979,980,982,983,984,985,986,987,988,989,990,991,992,996,997,999,1000,1002,1003,1006,1007,1008,1010,1013,1014,1015,1016,1017,1018,1019,1021,1022,1023],[8,21,24,30,40,43,46,51,55,56,62,65,67,75,76,77,79,82,83,85,95,97,103,107,108,115,116,117,118,119,124,129,130,139,145,146,147,150,154,156,159,164,165,173,177,179,180,181,190,195,200,201,202,203,206,209,210,212,213,215,217,219,224,229,230,231,239,244,245,260,271,273,276,294,295,299,301,304,305,306,311,316,318,321,329,332,338,339,341,345,346,347,349,350,351,356,360,361,364,365,367,370,374,379,383,386,388,389,390,393,396,403,405,408,409,410,411,412,416,418,426,428,429,441,444,449,450,454,455,457,459,461,468,474,475,476,477,478,479,480,482,485,487,488,489,494,499,500,503,505,507,508,510,511,525,529,540,541,545,550,553,565,572,576,577,591,593,594,599,604,605,607,610,611,616,618,624,629,631,636,642,644,645,646,649,651,654,658,659,660,661,662,666,671,680,681,686,688,689,690,695,702,707,708,721,726,728,729,730,733,734,736,737,738,742,750,752,753,760,762,769,771,772,773,774,776,777,778,779,780,782,783,788,792,793,794,795,796,797,798,801,802,805,806,807,808,809,811,813,815,816,820,821,829,831,833,835,846,850,855,859,868,871,873,877,878,879,880,882,885,886,891,892,893,895,898,899,900,905,909,911,913,915,923,925,928,929,930,934,935,941,947,948,950,956,967,974,981,993,994,998,1001,1004,1005,1009,1011,1012,1020],[4,9,14,33,36,38,41,42,49,50,71,74,81,102,122,123,126,127,135,143,182,183,188,193,205,226,227,240,241,242,243,246,248,252,263,287,291,293,296,297,298,307,315,342,348,353,357,369,373,413,417,421,422,434,435,437,446,453,481,484,486,495,497,502,520,538,539,542,557,566,590,592,598,600,603,617,630,652,655,656,667,673,674,675,676,693,700,711,717,727,735,739,745,775,784,785,786,787,790,799,800,804,810,812,814,817,822,823,824,826,828,830,832,838,841,870,872,874,883,884,890,902,914,940,951,953,954,955,963,995],[39,149,199,249,322,399,400,401,402,414,424,425,432,433,483,506,522,597,606,609,653,740,743,748,764,819,827,876,943,952,961],[131,308,323,431,732,818,965],[303,420,436,438,440,443,803]]