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