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