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