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