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