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