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