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