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