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