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