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