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