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