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