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