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