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