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