{
 "seqs": [
  3,
  11,
  12,
  14,
  17,
  23,
  25,
  30,
  37,
  40,
  50,
  51,
  60,
  67,
  68,
  73,
  82,
  90,
  99,
  136,
  137,
  168,
  175,
  187,
  197,
  213,
  234,
  242,
  243,
  244,
  257,
  258,
  267,
  271,
  273,
  277,
  309,
  323,
  331,
  332,
  335,
  345,
  352,
  367,
  368,
  374,
  377,
  393,
  394,
  400,
  405,
  408,
  422,
  423,
  424,
  427,
  432,
  452,
  458,
  460,
  461,
  462,
  473,
  483,
  485,
  496,
  508,
  518,
  526,
  528,
  537,
  539,
  541,
  549,
  553,
  554,
  558,
  566,
  567,
  574,
  600,
  627,
  658,
  666,
  671,
  673,
  681,
  688,
  711,
  721,
  725,
  743,
  778,
  782,
  795,
  799,
  815,
  824,
  834,
  849,
  861,
  867,
  869,
  910,
  917,
  938,
  954,
  957,
  959,
  967,
  981,
  987,
  1004,
  1007,
  1027,
  1030,
  1080,
  1087,
  1118,
  1145,
  1160,
  1164,
  1183,
  1204,
  1239,
  1244,
  1256,
  1270,
  1281,
  1311,
  1327,
  1353,
  1397,
  1443,
  1444,
  1460,
  1481,
  1499,
  1515,
  1551,
  1559,
  1561,
  1566,
  1568,
  1576,
  1590,
  1591,
  1624,
  1655,
  1681,
  1694,
  1729,
  1734,
  1736,
  1745,
  1771,
  1847,
  1866,
  1875,
  1886,
  1922,
  1928,
  1933,
  2027,
  2096,
  2128,
  2144,
  2153,
  2179,
  2216,
  2241,
  2256,
  2270,
  2276,
  2277,
  2286,
  2296,
  2300,
  2310,
  2330,
  2358,
  2363,
  2405,
  2428,
  2435,
  2442,
  2477,
  2514,
  2577,
  2592,
  2600,
  2642,
  2816,
  2867,
  2882,
  2938,
  2963,
  2996,
  3046,
  3050,
  3079,
  3098,
  3172,
  3186,
  3208,
  3215,
  3229,
  3236,
  3245,
  3266,
  3271,
  3297,
  3302,
  3365,
  3370,
  3371,
  3396,
  3430,
  3519,
  3541,
  3546,
  3570,
  3739,
  4838,
  5071,
  5171,
  5201,
  5211,
  5277,
  5309,
  5325,
  5358,
  5602,
  5650,
  5754,
  5774,
  5930,
  5971,
  5974,
  6004,
  6010,
  6036,
  6065,
  6073,
  6097,
  6109,
  6133,
  6143,
  6180,
  6185,
  6187,
  6189,
  6224,
  6273,
  6297,
  6299,
  6303,
  6309,
  6332,
  6340,
  6355,
  6356,
  6363,
  6370,
  6378,
  6385,
  6389,
  6393,
  6396,
  6398,
  6406,
  6407,
  6410,
  6439,
  6464,
  6468,
  6475
 ]
}