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