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