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