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