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