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