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