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