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