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