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