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