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