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