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