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