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