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