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