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