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