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