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