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