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