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