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