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