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