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