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