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