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