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