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