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