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