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