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