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