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