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