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