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