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