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