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