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