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