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