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