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