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