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