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