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