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