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