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