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