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