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