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