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