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