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