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