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