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