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