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