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