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