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