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