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