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