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