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