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