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