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