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