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