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