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