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