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