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