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