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