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