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