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