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