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