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