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