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