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