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