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