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