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