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