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