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