{
  "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
  "backend": "replica",
  "policy": "HA",
  "provenance": {
    "origin": "Imported Taylor calibration; not ammfast output or a simulation rerun",
    "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
    "source_url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/calib_out_2048.json",
    "source_sha256": "fdf24c7aa2b604d770336a5783276da8ed4d50bca9dbcc02e98b4da58f608d26",
    "source_rows": 8192,
    "selection": {
      "field": "kind",
      "equals": "HA"
    },
    "edge_field": "edge",
    "edge_semantics": "Policy pool trade edge e1; not rival norm=e2, fees, or edge minus norm",
    "seed_mapping": "Explicit integer source row.seed; select kind=HA, pair by seed, sort ascending",
    "seed_range": [
      10000,
      12047
    ],
    "row_count": 2048,
    "rounding": "Python json.loads binary64 float; format(edge, \".6f\") once at serialization",
    "generation_command": "python3 -B baselines/ha/export.py --source scratch/ha/reference/taylor/calib_out_2048.json --out baselines/ha/HA-10000-12047.json",
    "backend_runtime": "Archived CPython replica calibration; original Python version and generator invocation not recorded in pinned sources",
    "export_runtime": "Python 3 standard library; tested versions and timings in baselines/ha/audit.md",
    "evidence": [
      {
        "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/evalpol.py",
        "sha256": "6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c"
      },
      {
        "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
        "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
      }
    ],
    "validation": "Pinned source digest; all 8192 rows checked for required fields, finite edge, valid kind/seed and unique (kind,seed); exact 2048 seeds per kind; offline all-row bank comparison and repeat export tests in tests/test_ha.py",
    "mapping_evidence": "evalpol.py:11,92-100 explicitly reads this calibration and compares ref[k][s][edge], including HA; replica2.py:134 returns edge=e1, norm=e2"
  },
  "rows": [
    {
      "seed": 10000,
      "edge": "440.443361"
    },
    {
      "seed": 10001,
      "edge": "567.087128"
    },
    {
      "seed": 10002,
      "edge": "522.687511"
    },
    {
      "seed": 10003,
      "edge": "567.333936"
    },
    {
      "seed": 10004,
      "edge": "520.364397"
    },
    {
      "seed": 10005,
      "edge": "522.516078"
    },
    {
      "seed": 10006,
      "edge": "482.314387"
    },
    {
      "seed": 10007,
      "edge": "524.203349"
    },
    {
      "seed": 10008,
      "edge": "658.046575"
    },
    {
      "seed": 10009,
      "edge": "647.343028"
    },
    {
      "seed": 10010,
      "edge": "474.564332"
    },
    {
      "seed": 10011,
      "edge": "367.707970"
    },
    {
      "seed": 10012,
      "edge": "455.280586"
    },
    {
      "seed": 10013,
      "edge": "398.146528"
    },
    {
      "seed": 10014,
      "edge": "695.607438"
    },
    {
      "seed": 10015,
      "edge": "625.494763"
    },
    {
      "seed": 10016,
      "edge": "562.076311"
    },
    {
      "seed": 10017,
      "edge": "491.731177"
    },
    {
      "seed": 10018,
      "edge": "480.518595"
    },
    {
      "seed": 10019,
      "edge": "451.177142"
    },
    {
      "seed": 10020,
      "edge": "491.351014"
    },
    {
      "seed": 10021,
      "edge": "409.131509"
    },
    {
      "seed": 10022,
      "edge": "437.782445"
    },
    {
      "seed": 10023,
      "edge": "630.248365"
    },
    {
      "seed": 10024,
      "edge": "478.369786"
    },
    {
      "seed": 10025,
      "edge": "442.991946"
    },
    {
      "seed": 10026,
      "edge": "344.106736"
    },
    {
      "seed": 10027,
      "edge": "547.102399"
    },
    {
      "seed": 10028,
      "edge": "522.499367"
    },
    {
      "seed": 10029,
      "edge": "440.714429"
    },
    {
      "seed": 10030,
      "edge": "589.440185"
    },
    {
      "seed": 10031,
      "edge": "340.403369"
    },
    {
      "seed": 10032,
      "edge": "632.827967"
    },
    {
      "seed": 10033,
      "edge": "531.510665"
    },
    {
      "seed": 10034,
      "edge": "558.581168"
    },
    {
      "seed": 10035,
      "edge": "630.124547"
    },
    {
      "seed": 10036,
      "edge": "543.493907"
    },
    {
      "seed": 10037,
      "edge": "442.635277"
    },
    {
      "seed": 10038,
      "edge": "615.484073"
    },
    {
      "seed": 10039,
      "edge": "585.929001"
    },
    {
      "seed": 10040,
      "edge": "604.925917"
    },
    {
      "seed": 10041,
      "edge": "628.125868"
    },
    {
      "seed": 10042,
      "edge": "707.191739"
    },
    {
      "seed": 10043,
      "edge": "632.521658"
    },
    {
      "seed": 10044,
      "edge": "418.719732"
    },
    {
      "seed": 10045,
      "edge": "384.280258"
    },
    {
      "seed": 10046,
      "edge": "427.772598"
    },
    {
      "seed": 10047,
      "edge": "592.294399"
    },
    {
      "seed": 10048,
      "edge": "494.977348"
    },
    {
      "seed": 10049,
      "edge": "380.857847"
    },
    {
      "seed": 10050,
      "edge": "371.807433"
    },
    {
      "seed": 10051,
      "edge": "421.177607"
    },
    {
      "seed": 10052,
      "edge": "426.663155"
    },
    {
      "seed": 10053,
      "edge": "532.725131"
    },
    {
      "seed": 10054,
      "edge": "443.835454"
    },
    {
      "seed": 10055,
      "edge": "705.570421"
    },
    {
      "seed": 10056,
      "edge": "581.297054"
    },
    {
      "seed": 10057,
      "edge": "506.968358"
    },
    {
      "seed": 10058,
      "edge": "435.808773"
    },
    {
      "seed": 10059,
      "edge": "504.404056"
    },
    {
      "seed": 10060,
      "edge": "918.142424"
    },
    {
      "seed": 10061,
      "edge": "557.515651"
    },
    {
      "seed": 10062,
      "edge": "604.938790"
    },
    {
      "seed": 10063,
      "edge": "425.505979"
    },
    {
      "seed": 10064,
      "edge": "657.256170"
    },
    {
      "seed": 10065,
      "edge": "582.064843"
    },
    {
      "seed": 10066,
      "edge": "482.368595"
    },
    {
      "seed": 10067,
      "edge": "630.932249"
    },
    {
      "seed": 10068,
      "edge": "498.604696"
    },
    {
      "seed": 10069,
      "edge": "615.028170"
    },
    {
      "seed": 10070,
      "edge": "409.664519"
    },
    {
      "seed": 10071,
      "edge": "432.474162"
    },
    {
      "seed": 10072,
      "edge": "599.184773"
    },
    {
      "seed": 10073,
      "edge": "559.969031"
    },
    {
      "seed": 10074,
      "edge": "526.633573"
    },
    {
      "seed": 10075,
      "edge": "558.345389"
    },
    {
      "seed": 10076,
      "edge": "525.960224"
    },
    {
      "seed": 10077,
      "edge": "426.984311"
    },
    {
      "seed": 10078,
      "edge": "616.580173"
    },
    {
      "seed": 10079,
      "edge": "645.040447"
    },
    {
      "seed": 10080,
      "edge": "481.861093"
    },
    {
      "seed": 10081,
      "edge": "564.010724"
    },
    {
      "seed": 10082,
      "edge": "562.017594"
    },
    {
      "seed": 10083,
      "edge": "463.132045"
    },
    {
      "seed": 10084,
      "edge": "470.762130"
    },
    {
      "seed": 10085,
      "edge": "450.979375"
    },
    {
      "seed": 10086,
      "edge": "568.890834"
    },
    {
      "seed": 10087,
      "edge": "568.291457"
    },
    {
      "seed": 10088,
      "edge": "438.218803"
    },
    {
      "seed": 10089,
      "edge": "408.211677"
    },
    {
      "seed": 10090,
      "edge": "584.358826"
    },
    {
      "seed": 10091,
      "edge": "481.864897"
    },
    {
      "seed": 10092,
      "edge": "552.144580"
    },
    {
      "seed": 10093,
      "edge": "656.011047"
    },
    {
      "seed": 10094,
      "edge": "476.710425"
    },
    {
      "seed": 10095,
      "edge": "592.673398"
    },
    {
      "seed": 10096,
      "edge": "488.501896"
    },
    {
      "seed": 10097,
      "edge": "508.777019"
    },
    {
      "seed": 10098,
      "edge": "499.628585"
    },
    {
      "seed": 10099,
      "edge": "465.947836"
    },
    {
      "seed": 10100,
      "edge": "439.490050"
    },
    {
      "seed": 10101,
      "edge": "532.384964"
    },
    {
      "seed": 10102,
      "edge": "731.262372"
    },
    {
      "seed": 10103,
      "edge": "737.282139"
    },
    {
      "seed": 10104,
      "edge": "700.658365"
    },
    {
      "seed": 10105,
      "edge": "467.492470"
    },
    {
      "seed": 10106,
      "edge": "427.207564"
    },
    {
      "seed": 10107,
      "edge": "485.096966"
    },
    {
      "seed": 10108,
      "edge": "529.423907"
    },
    {
      "seed": 10109,
      "edge": "732.880279"
    },
    {
      "seed": 10110,
      "edge": "568.832107"
    },
    {
      "seed": 10111,
      "edge": "403.523073"
    },
    {
      "seed": 10112,
      "edge": "459.786860"
    },
    {
      "seed": 10113,
      "edge": "433.815804"
    },
    {
      "seed": 10114,
      "edge": "534.097976"
    },
    {
      "seed": 10115,
      "edge": "656.406603"
    },
    {
      "seed": 10116,
      "edge": "521.891135"
    },
    {
      "seed": 10117,
      "edge": "409.819256"
    },
    {
      "seed": 10118,
      "edge": "419.338263"
    },
    {
      "seed": 10119,
      "edge": "412.280277"
    },
    {
      "seed": 10120,
      "edge": "546.948867"
    },
    {
      "seed": 10121,
      "edge": "530.964306"
    },
    {
      "seed": 10122,
      "edge": "583.298502"
    },
    {
      "seed": 10123,
      "edge": "503.329964"
    },
    {
      "seed": 10124,
      "edge": "525.764162"
    },
    {
      "seed": 10125,
      "edge": "453.079313"
    },
    {
      "seed": 10126,
      "edge": "455.539216"
    },
    {
      "seed": 10127,
      "edge": "490.662592"
    },
    {
      "seed": 10128,
      "edge": "724.847177"
    },
    {
      "seed": 10129,
      "edge": "532.115783"
    },
    {
      "seed": 10130,
      "edge": "457.806595"
    },
    {
      "seed": 10131,
      "edge": "493.537167"
    },
    {
      "seed": 10132,
      "edge": "500.426538"
    },
    {
      "seed": 10133,
      "edge": "625.881167"
    },
    {
      "seed": 10134,
      "edge": "531.662235"
    },
    {
      "seed": 10135,
      "edge": "455.694387"
    },
    {
      "seed": 10136,
      "edge": "613.212635"
    },
    {
      "seed": 10137,
      "edge": "616.673450"
    },
    {
      "seed": 10138,
      "edge": "495.324887"
    },
    {
      "seed": 10139,
      "edge": "465.901830"
    },
    {
      "seed": 10140,
      "edge": "551.243675"
    },
    {
      "seed": 10141,
      "edge": "578.389428"
    },
    {
      "seed": 10142,
      "edge": "623.625556"
    },
    {
      "seed": 10143,
      "edge": "466.911246"
    },
    {
      "seed": 10144,
      "edge": "438.236188"
    },
    {
      "seed": 10145,
      "edge": "478.944006"
    },
    {
      "seed": 10146,
      "edge": "761.304853"
    },
    {
      "seed": 10147,
      "edge": "465.729346"
    },
    {
      "seed": 10148,
      "edge": "687.365952"
    },
    {
      "seed": 10149,
      "edge": "520.972446"
    },
    {
      "seed": 10150,
      "edge": "582.345950"
    },
    {
      "seed": 10151,
      "edge": "471.732473"
    },
    {
      "seed": 10152,
      "edge": "414.560324"
    },
    {
      "seed": 10153,
      "edge": "551.113194"
    },
    {
      "seed": 10154,
      "edge": "486.553962"
    },
    {
      "seed": 10155,
      "edge": "474.711080"
    },
    {
      "seed": 10156,
      "edge": "527.619092"
    },
    {
      "seed": 10157,
      "edge": "530.076318"
    },
    {
      "seed": 10158,
      "edge": "433.975494"
    },
    {
      "seed": 10159,
      "edge": "433.787278"
    },
    {
      "seed": 10160,
      "edge": "418.810568"
    },
    {
      "seed": 10161,
      "edge": "454.398608"
    },
    {
      "seed": 10162,
      "edge": "713.979762"
    },
    {
      "seed": 10163,
      "edge": "659.634215"
    },
    {
      "seed": 10164,
      "edge": "676.336803"
    },
    {
      "seed": 10165,
      "edge": "436.435354"
    },
    {
      "seed": 10166,
      "edge": "416.544426"
    },
    {
      "seed": 10167,
      "edge": "489.963603"
    },
    {
      "seed": 10168,
      "edge": "620.620167"
    },
    {
      "seed": 10169,
      "edge": "568.667065"
    },
    {
      "seed": 10170,
      "edge": "386.596029"
    },
    {
      "seed": 10171,
      "edge": "564.293689"
    },
    {
      "seed": 10172,
      "edge": "681.070055"
    },
    {
      "seed": 10173,
      "edge": "394.133746"
    },
    {
      "seed": 10174,
      "edge": "539.091179"
    },
    {
      "seed": 10175,
      "edge": "502.943076"
    },
    {
      "seed": 10176,
      "edge": "444.575679"
    },
    {
      "seed": 10177,
      "edge": "646.830862"
    },
    {
      "seed": 10178,
      "edge": "660.277189"
    },
    {
      "seed": 10179,
      "edge": "377.480293"
    },
    {
      "seed": 10180,
      "edge": "581.721075"
    },
    {
      "seed": 10181,
      "edge": "459.526279"
    },
    {
      "seed": 10182,
      "edge": "570.287647"
    },
    {
      "seed": 10183,
      "edge": "627.440348"
    },
    {
      "seed": 10184,
      "edge": "516.722077"
    },
    {
      "seed": 10185,
      "edge": "537.664811"
    },
    {
      "seed": 10186,
      "edge": "569.509002"
    },
    {
      "seed": 10187,
      "edge": "541.363633"
    },
    {
      "seed": 10188,
      "edge": "527.137636"
    },
    {
      "seed": 10189,
      "edge": "710.948401"
    },
    {
      "seed": 10190,
      "edge": "654.370236"
    },
    {
      "seed": 10191,
      "edge": "659.505557"
    },
    {
      "seed": 10192,
      "edge": "660.234896"
    },
    {
      "seed": 10193,
      "edge": "576.663629"
    },
    {
      "seed": 10194,
      "edge": "508.750870"
    },
    {
      "seed": 10195,
      "edge": "550.030102"
    },
    {
      "seed": 10196,
      "edge": "582.351203"
    },
    {
      "seed": 10197,
      "edge": "439.385176"
    },
    {
      "seed": 10198,
      "edge": "551.477919"
    },
    {
      "seed": 10199,
      "edge": "479.263404"
    },
    {
      "seed": 10200,
      "edge": "556.410598"
    },
    {
      "seed": 10201,
      "edge": "478.003142"
    },
    {
      "seed": 10202,
      "edge": "563.093176"
    },
    {
      "seed": 10203,
      "edge": "613.770969"
    },
    {
      "seed": 10204,
      "edge": "452.967727"
    },
    {
      "seed": 10205,
      "edge": "416.357640"
    },
    {
      "seed": 10206,
      "edge": "519.495004"
    },
    {
      "seed": 10207,
      "edge": "632.897662"
    },
    {
      "seed": 10208,
      "edge": "619.992848"
    },
    {
      "seed": 10209,
      "edge": "547.768393"
    },
    {
      "seed": 10210,
      "edge": "422.464414"
    },
    {
      "seed": 10211,
      "edge": "437.307427"
    },
    {
      "seed": 10212,
      "edge": "625.296215"
    },
    {
      "seed": 10213,
      "edge": "577.195198"
    },
    {
      "seed": 10214,
      "edge": "571.787631"
    },
    {
      "seed": 10215,
      "edge": "455.182937"
    },
    {
      "seed": 10216,
      "edge": "450.888968"
    },
    {
      "seed": 10217,
      "edge": "664.907558"
    },
    {
      "seed": 10218,
      "edge": "628.858655"
    },
    {
      "seed": 10219,
      "edge": "522.305465"
    },
    {
      "seed": 10220,
      "edge": "512.204350"
    },
    {
      "seed": 10221,
      "edge": "531.965482"
    },
    {
      "seed": 10222,
      "edge": "614.712273"
    },
    {
      "seed": 10223,
      "edge": "656.195751"
    },
    {
      "seed": 10224,
      "edge": "432.094731"
    },
    {
      "seed": 10225,
      "edge": "478.818178"
    },
    {
      "seed": 10226,
      "edge": "703.896392"
    },
    {
      "seed": 10227,
      "edge": "442.288206"
    },
    {
      "seed": 10228,
      "edge": "535.937100"
    },
    {
      "seed": 10229,
      "edge": "427.178771"
    },
    {
      "seed": 10230,
      "edge": "628.555010"
    },
    {
      "seed": 10231,
      "edge": "689.482909"
    },
    {
      "seed": 10232,
      "edge": "499.630841"
    },
    {
      "seed": 10233,
      "edge": "444.131739"
    },
    {
      "seed": 10234,
      "edge": "536.122585"
    },
    {
      "seed": 10235,
      "edge": "658.689425"
    },
    {
      "seed": 10236,
      "edge": "441.266284"
    },
    {
      "seed": 10237,
      "edge": "640.054059"
    },
    {
      "seed": 10238,
      "edge": "450.524051"
    },
    {
      "seed": 10239,
      "edge": "596.151718"
    },
    {
      "seed": 10240,
      "edge": "594.077427"
    },
    {
      "seed": 10241,
      "edge": "402.754576"
    },
    {
      "seed": 10242,
      "edge": "420.011353"
    },
    {
      "seed": 10243,
      "edge": "615.651202"
    },
    {
      "seed": 10244,
      "edge": "436.728430"
    },
    {
      "seed": 10245,
      "edge": "594.517491"
    },
    {
      "seed": 10246,
      "edge": "559.110922"
    },
    {
      "seed": 10247,
      "edge": "497.902232"
    },
    {
      "seed": 10248,
      "edge": "496.677589"
    },
    {
      "seed": 10249,
      "edge": "533.782874"
    },
    {
      "seed": 10250,
      "edge": "402.780256"
    },
    {
      "seed": 10251,
      "edge": "383.130315"
    },
    {
      "seed": 10252,
      "edge": "395.941161"
    },
    {
      "seed": 10253,
      "edge": "576.079124"
    },
    {
      "seed": 10254,
      "edge": "494.618783"
    },
    {
      "seed": 10255,
      "edge": "597.812107"
    },
    {
      "seed": 10256,
      "edge": "727.748913"
    },
    {
      "seed": 10257,
      "edge": "453.561593"
    },
    {
      "seed": 10258,
      "edge": "596.641954"
    },
    {
      "seed": 10259,
      "edge": "413.826012"
    },
    {
      "seed": 10260,
      "edge": "642.274155"
    },
    {
      "seed": 10261,
      "edge": "492.376860"
    },
    {
      "seed": 10262,
      "edge": "570.489980"
    },
    {
      "seed": 10263,
      "edge": "513.481544"
    },
    {
      "seed": 10264,
      "edge": "448.862469"
    },
    {
      "seed": 10265,
      "edge": "501.535401"
    },
    {
      "seed": 10266,
      "edge": "424.622372"
    },
    {
      "seed": 10267,
      "edge": "695.759496"
    },
    {
      "seed": 10268,
      "edge": "540.381469"
    },
    {
      "seed": 10269,
      "edge": "569.321725"
    },
    {
      "seed": 10270,
      "edge": "467.391992"
    },
    {
      "seed": 10271,
      "edge": "395.539582"
    },
    {
      "seed": 10272,
      "edge": "725.685505"
    },
    {
      "seed": 10273,
      "edge": "667.635124"
    },
    {
      "seed": 10274,
      "edge": "433.555471"
    },
    {
      "seed": 10275,
      "edge": "481.765483"
    },
    {
      "seed": 10276,
      "edge": "458.440751"
    },
    {
      "seed": 10277,
      "edge": "399.987964"
    },
    {
      "seed": 10278,
      "edge": "649.440189"
    },
    {
      "seed": 10279,
      "edge": "411.056283"
    },
    {
      "seed": 10280,
      "edge": "463.801582"
    },
    {
      "seed": 10281,
      "edge": "628.992831"
    },
    {
      "seed": 10282,
      "edge": "436.543828"
    },
    {
      "seed": 10283,
      "edge": "556.087369"
    },
    {
      "seed": 10284,
      "edge": "468.188164"
    },
    {
      "seed": 10285,
      "edge": "494.419154"
    },
    {
      "seed": 10286,
      "edge": "412.021365"
    },
    {
      "seed": 10287,
      "edge": "689.876753"
    },
    {
      "seed": 10288,
      "edge": "465.743911"
    },
    {
      "seed": 10289,
      "edge": "591.710146"
    },
    {
      "seed": 10290,
      "edge": "475.164835"
    },
    {
      "seed": 10291,
      "edge": "565.020411"
    },
    {
      "seed": 10292,
      "edge": "491.387763"
    },
    {
      "seed": 10293,
      "edge": "637.842889"
    },
    {
      "seed": 10294,
      "edge": "682.380813"
    },
    {
      "seed": 10295,
      "edge": "562.305009"
    },
    {
      "seed": 10296,
      "edge": "398.939950"
    },
    {
      "seed": 10297,
      "edge": "464.584103"
    },
    {
      "seed": 10298,
      "edge": "496.108329"
    },
    {
      "seed": 10299,
      "edge": "557.808700"
    },
    {
      "seed": 10300,
      "edge": "529.833939"
    },
    {
      "seed": 10301,
      "edge": "584.036374"
    },
    {
      "seed": 10302,
      "edge": "406.671723"
    },
    {
      "seed": 10303,
      "edge": "590.269195"
    },
    {
      "seed": 10304,
      "edge": "420.698317"
    },
    {
      "seed": 10305,
      "edge": "390.602005"
    },
    {
      "seed": 10306,
      "edge": "678.841627"
    },
    {
      "seed": 10307,
      "edge": "572.290239"
    },
    {
      "seed": 10308,
      "edge": "529.399843"
    },
    {
      "seed": 10309,
      "edge": "464.059728"
    },
    {
      "seed": 10310,
      "edge": "455.879835"
    },
    {
      "seed": 10311,
      "edge": "546.564240"
    },
    {
      "seed": 10312,
      "edge": "460.445966"
    },
    {
      "seed": 10313,
      "edge": "631.139982"
    },
    {
      "seed": 10314,
      "edge": "409.449236"
    },
    {
      "seed": 10315,
      "edge": "372.180628"
    },
    {
      "seed": 10316,
      "edge": "468.381361"
    },
    {
      "seed": 10317,
      "edge": "599.914185"
    },
    {
      "seed": 10318,
      "edge": "407.097084"
    },
    {
      "seed": 10319,
      "edge": "605.189992"
    },
    {
      "seed": 10320,
      "edge": "496.681529"
    },
    {
      "seed": 10321,
      "edge": "618.622149"
    },
    {
      "seed": 10322,
      "edge": "586.194060"
    },
    {
      "seed": 10323,
      "edge": "450.047852"
    },
    {
      "seed": 10324,
      "edge": "544.634295"
    },
    {
      "seed": 10325,
      "edge": "525.325719"
    },
    {
      "seed": 10326,
      "edge": "397.418101"
    },
    {
      "seed": 10327,
      "edge": "681.555024"
    },
    {
      "seed": 10328,
      "edge": "460.251220"
    },
    {
      "seed": 10329,
      "edge": "574.728843"
    },
    {
      "seed": 10330,
      "edge": "388.127834"
    },
    {
      "seed": 10331,
      "edge": "536.235264"
    },
    {
      "seed": 10332,
      "edge": "522.303526"
    },
    {
      "seed": 10333,
      "edge": "430.138453"
    },
    {
      "seed": 10334,
      "edge": "655.948908"
    },
    {
      "seed": 10335,
      "edge": "719.326560"
    },
    {
      "seed": 10336,
      "edge": "676.132398"
    },
    {
      "seed": 10337,
      "edge": "376.214820"
    },
    {
      "seed": 10338,
      "edge": "519.041024"
    },
    {
      "seed": 10339,
      "edge": "541.750263"
    },
    {
      "seed": 10340,
      "edge": "712.525082"
    },
    {
      "seed": 10341,
      "edge": "535.615686"
    },
    {
      "seed": 10342,
      "edge": "654.408362"
    },
    {
      "seed": 10343,
      "edge": "453.376238"
    },
    {
      "seed": 10344,
      "edge": "538.995011"
    },
    {
      "seed": 10345,
      "edge": "478.406917"
    },
    {
      "seed": 10346,
      "edge": "644.945456"
    },
    {
      "seed": 10347,
      "edge": "424.824218"
    },
    {
      "seed": 10348,
      "edge": "568.549196"
    },
    {
      "seed": 10349,
      "edge": "431.603563"
    },
    {
      "seed": 10350,
      "edge": "587.718730"
    },
    {
      "seed": 10351,
      "edge": "600.578369"
    },
    {
      "seed": 10352,
      "edge": "477.637022"
    },
    {
      "seed": 10353,
      "edge": "653.693458"
    },
    {
      "seed": 10354,
      "edge": "464.544230"
    },
    {
      "seed": 10355,
      "edge": "516.165664"
    },
    {
      "seed": 10356,
      "edge": "517.793606"
    },
    {
      "seed": 10357,
      "edge": "567.710926"
    },
    {
      "seed": 10358,
      "edge": "623.047165"
    },
    {
      "seed": 10359,
      "edge": "662.399629"
    },
    {
      "seed": 10360,
      "edge": "421.166199"
    },
    {
      "seed": 10361,
      "edge": "561.161936"
    },
    {
      "seed": 10362,
      "edge": "487.311307"
    },
    {
      "seed": 10363,
      "edge": "613.901250"
    },
    {
      "seed": 10364,
      "edge": "416.453820"
    },
    {
      "seed": 10365,
      "edge": "533.112831"
    },
    {
      "seed": 10366,
      "edge": "442.006678"
    },
    {
      "seed": 10367,
      "edge": "463.495375"
    },
    {
      "seed": 10368,
      "edge": "457.252872"
    },
    {
      "seed": 10369,
      "edge": "637.681890"
    },
    {
      "seed": 10370,
      "edge": "472.664584"
    },
    {
      "seed": 10371,
      "edge": "428.750519"
    },
    {
      "seed": 10372,
      "edge": "468.698736"
    },
    {
      "seed": 10373,
      "edge": "694.341904"
    },
    {
      "seed": 10374,
      "edge": "397.990192"
    },
    {
      "seed": 10375,
      "edge": "564.171379"
    },
    {
      "seed": 10376,
      "edge": "551.342565"
    },
    {
      "seed": 10377,
      "edge": "551.243407"
    },
    {
      "seed": 10378,
      "edge": "461.447777"
    },
    {
      "seed": 10379,
      "edge": "615.328308"
    },
    {
      "seed": 10380,
      "edge": "614.292130"
    },
    {
      "seed": 10381,
      "edge": "560.295905"
    },
    {
      "seed": 10382,
      "edge": "547.684932"
    },
    {
      "seed": 10383,
      "edge": "605.748169"
    },
    {
      "seed": 10384,
      "edge": "626.471276"
    },
    {
      "seed": 10385,
      "edge": "481.939021"
    },
    {
      "seed": 10386,
      "edge": "594.625212"
    },
    {
      "seed": 10387,
      "edge": "615.480474"
    },
    {
      "seed": 10388,
      "edge": "504.222194"
    },
    {
      "seed": 10389,
      "edge": "635.904006"
    },
    {
      "seed": 10390,
      "edge": "602.779642"
    },
    {
      "seed": 10391,
      "edge": "432.808459"
    },
    {
      "seed": 10392,
      "edge": "489.427956"
    },
    {
      "seed": 10393,
      "edge": "534.545793"
    },
    {
      "seed": 10394,
      "edge": "542.061421"
    },
    {
      "seed": 10395,
      "edge": "655.684516"
    },
    {
      "seed": 10396,
      "edge": "395.240416"
    },
    {
      "seed": 10397,
      "edge": "585.926570"
    },
    {
      "seed": 10398,
      "edge": "510.523377"
    },
    {
      "seed": 10399,
      "edge": "402.677391"
    },
    {
      "seed": 10400,
      "edge": "558.094914"
    },
    {
      "seed": 10401,
      "edge": "919.571520"
    },
    {
      "seed": 10402,
      "edge": "486.819577"
    },
    {
      "seed": 10403,
      "edge": "624.321202"
    },
    {
      "seed": 10404,
      "edge": "567.958667"
    },
    {
      "seed": 10405,
      "edge": "537.493227"
    },
    {
      "seed": 10406,
      "edge": "609.804580"
    },
    {
      "seed": 10407,
      "edge": "506.388787"
    },
    {
      "seed": 10408,
      "edge": "590.846764"
    },
    {
      "seed": 10409,
      "edge": "442.745598"
    },
    {
      "seed": 10410,
      "edge": "538.084728"
    },
    {
      "seed": 10411,
      "edge": "532.406046"
    },
    {
      "seed": 10412,
      "edge": "486.746662"
    },
    {
      "seed": 10413,
      "edge": "659.450776"
    },
    {
      "seed": 10414,
      "edge": "658.969249"
    },
    {
      "seed": 10415,
      "edge": "463.228904"
    },
    {
      "seed": 10416,
      "edge": "469.477406"
    },
    {
      "seed": 10417,
      "edge": "530.114841"
    },
    {
      "seed": 10418,
      "edge": "545.390369"
    },
    {
      "seed": 10419,
      "edge": "565.144680"
    },
    {
      "seed": 10420,
      "edge": "370.929474"
    },
    {
      "seed": 10421,
      "edge": "480.071364"
    },
    {
      "seed": 10422,
      "edge": "580.915416"
    },
    {
      "seed": 10423,
      "edge": "462.048991"
    },
    {
      "seed": 10424,
      "edge": "597.052284"
    },
    {
      "seed": 10425,
      "edge": "537.590133"
    },
    {
      "seed": 10426,
      "edge": "579.229375"
    },
    {
      "seed": 10427,
      "edge": "515.902710"
    },
    {
      "seed": 10428,
      "edge": "553.688451"
    },
    {
      "seed": 10429,
      "edge": "588.561174"
    },
    {
      "seed": 10430,
      "edge": "604.597956"
    },
    {
      "seed": 10431,
      "edge": "475.266245"
    },
    {
      "seed": 10432,
      "edge": "490.537542"
    },
    {
      "seed": 10433,
      "edge": "390.596086"
    },
    {
      "seed": 10434,
      "edge": "644.871947"
    },
    {
      "seed": 10435,
      "edge": "526.035163"
    },
    {
      "seed": 10436,
      "edge": "644.403983"
    },
    {
      "seed": 10437,
      "edge": "611.924489"
    },
    {
      "seed": 10438,
      "edge": "387.923309"
    },
    {
      "seed": 10439,
      "edge": "419.937633"
    },
    {
      "seed": 10440,
      "edge": "473.676178"
    },
    {
      "seed": 10441,
      "edge": "606.826989"
    },
    {
      "seed": 10442,
      "edge": "610.685526"
    },
    {
      "seed": 10443,
      "edge": "449.708810"
    },
    {
      "seed": 10444,
      "edge": "594.444753"
    },
    {
      "seed": 10445,
      "edge": "445.616204"
    },
    {
      "seed": 10446,
      "edge": "395.973929"
    },
    {
      "seed": 10447,
      "edge": "445.472711"
    },
    {
      "seed": 10448,
      "edge": "560.257925"
    },
    {
      "seed": 10449,
      "edge": "649.825597"
    },
    {
      "seed": 10450,
      "edge": "765.283258"
    },
    {
      "seed": 10451,
      "edge": "689.980110"
    },
    {
      "seed": 10452,
      "edge": "550.600803"
    },
    {
      "seed": 10453,
      "edge": "484.689230"
    },
    {
      "seed": 10454,
      "edge": "754.093771"
    },
    {
      "seed": 10455,
      "edge": "675.642115"
    },
    {
      "seed": 10456,
      "edge": "428.474536"
    },
    {
      "seed": 10457,
      "edge": "636.023514"
    },
    {
      "seed": 10458,
      "edge": "446.987974"
    },
    {
      "seed": 10459,
      "edge": "617.047973"
    },
    {
      "seed": 10460,
      "edge": "723.847244"
    },
    {
      "seed": 10461,
      "edge": "483.306641"
    },
    {
      "seed": 10462,
      "edge": "529.086956"
    },
    {
      "seed": 10463,
      "edge": "449.719643"
    },
    {
      "seed": 10464,
      "edge": "666.187428"
    },
    {
      "seed": 10465,
      "edge": "425.854258"
    },
    {
      "seed": 10466,
      "edge": "742.587882"
    },
    {
      "seed": 10467,
      "edge": "589.114427"
    },
    {
      "seed": 10468,
      "edge": "466.403178"
    },
    {
      "seed": 10469,
      "edge": "452.806365"
    },
    {
      "seed": 10470,
      "edge": "446.389705"
    },
    {
      "seed": 10471,
      "edge": "401.223645"
    },
    {
      "seed": 10472,
      "edge": "569.594764"
    },
    {
      "seed": 10473,
      "edge": "649.245116"
    },
    {
      "seed": 10474,
      "edge": "465.136817"
    },
    {
      "seed": 10475,
      "edge": "793.402842"
    },
    {
      "seed": 10476,
      "edge": "571.219390"
    },
    {
      "seed": 10477,
      "edge": "553.211824"
    },
    {
      "seed": 10478,
      "edge": "486.150910"
    },
    {
      "seed": 10479,
      "edge": "535.316727"
    },
    {
      "seed": 10480,
      "edge": "391.127220"
    },
    {
      "seed": 10481,
      "edge": "504.975968"
    },
    {
      "seed": 10482,
      "edge": "599.414205"
    },
    {
      "seed": 10483,
      "edge": "451.901142"
    },
    {
      "seed": 10484,
      "edge": "559.984514"
    },
    {
      "seed": 10485,
      "edge": "525.808018"
    },
    {
      "seed": 10486,
      "edge": "588.957053"
    },
    {
      "seed": 10487,
      "edge": "495.656939"
    },
    {
      "seed": 10488,
      "edge": "594.633883"
    },
    {
      "seed": 10489,
      "edge": "523.681377"
    },
    {
      "seed": 10490,
      "edge": "427.319679"
    },
    {
      "seed": 10491,
      "edge": "531.096503"
    },
    {
      "seed": 10492,
      "edge": "595.744959"
    },
    {
      "seed": 10493,
      "edge": "454.443292"
    },
    {
      "seed": 10494,
      "edge": "394.299418"
    },
    {
      "seed": 10495,
      "edge": "673.888163"
    },
    {
      "seed": 10496,
      "edge": "551.641218"
    },
    {
      "seed": 10497,
      "edge": "416.605291"
    },
    {
      "seed": 10498,
      "edge": "666.142493"
    },
    {
      "seed": 10499,
      "edge": "538.732879"
    },
    {
      "seed": 10500,
      "edge": "522.254518"
    },
    {
      "seed": 10501,
      "edge": "499.604814"
    },
    {
      "seed": 10502,
      "edge": "599.617198"
    },
    {
      "seed": 10503,
      "edge": "609.666359"
    },
    {
      "seed": 10504,
      "edge": "724.141711"
    },
    {
      "seed": 10505,
      "edge": "452.598105"
    },
    {
      "seed": 10506,
      "edge": "553.836326"
    },
    {
      "seed": 10507,
      "edge": "447.904184"
    },
    {
      "seed": 10508,
      "edge": "577.746008"
    },
    {
      "seed": 10509,
      "edge": "465.928612"
    },
    {
      "seed": 10510,
      "edge": "471.714892"
    },
    {
      "seed": 10511,
      "edge": "508.675603"
    },
    {
      "seed": 10512,
      "edge": "655.939562"
    },
    {
      "seed": 10513,
      "edge": "478.219460"
    },
    {
      "seed": 10514,
      "edge": "384.540990"
    },
    {
      "seed": 10515,
      "edge": "472.807860"
    },
    {
      "seed": 10516,
      "edge": "581.469549"
    },
    {
      "seed": 10517,
      "edge": "623.312141"
    },
    {
      "seed": 10518,
      "edge": "492.377254"
    },
    {
      "seed": 10519,
      "edge": "563.701693"
    },
    {
      "seed": 10520,
      "edge": "489.843918"
    },
    {
      "seed": 10521,
      "edge": "496.871405"
    },
    {
      "seed": 10522,
      "edge": "499.364664"
    },
    {
      "seed": 10523,
      "edge": "625.456218"
    },
    {
      "seed": 10524,
      "edge": "523.708019"
    },
    {
      "seed": 10525,
      "edge": "448.988469"
    },
    {
      "seed": 10526,
      "edge": "537.184262"
    },
    {
      "seed": 10527,
      "edge": "521.547779"
    },
    {
      "seed": 10528,
      "edge": "371.091731"
    },
    {
      "seed": 10529,
      "edge": "462.330812"
    },
    {
      "seed": 10530,
      "edge": "599.973242"
    },
    {
      "seed": 10531,
      "edge": "588.777743"
    },
    {
      "seed": 10532,
      "edge": "325.468453"
    },
    {
      "seed": 10533,
      "edge": "437.025655"
    },
    {
      "seed": 10534,
      "edge": "612.329100"
    },
    {
      "seed": 10535,
      "edge": "522.481570"
    },
    {
      "seed": 10536,
      "edge": "498.093436"
    },
    {
      "seed": 10537,
      "edge": "508.883174"
    },
    {
      "seed": 10538,
      "edge": "449.485163"
    },
    {
      "seed": 10539,
      "edge": "499.445833"
    },
    {
      "seed": 10540,
      "edge": "563.914496"
    },
    {
      "seed": 10541,
      "edge": "668.023889"
    },
    {
      "seed": 10542,
      "edge": "616.909030"
    },
    {
      "seed": 10543,
      "edge": "538.649782"
    },
    {
      "seed": 10544,
      "edge": "459.468753"
    },
    {
      "seed": 10545,
      "edge": "542.169104"
    },
    {
      "seed": 10546,
      "edge": "500.597639"
    },
    {
      "seed": 10547,
      "edge": "639.195537"
    },
    {
      "seed": 10548,
      "edge": "538.634413"
    },
    {
      "seed": 10549,
      "edge": "581.310295"
    },
    {
      "seed": 10550,
      "edge": "597.242420"
    },
    {
      "seed": 10551,
      "edge": "588.948184"
    },
    {
      "seed": 10552,
      "edge": "494.138663"
    },
    {
      "seed": 10553,
      "edge": "451.980533"
    },
    {
      "seed": 10554,
      "edge": "479.562660"
    },
    {
      "seed": 10555,
      "edge": "623.666413"
    },
    {
      "seed": 10556,
      "edge": "349.105548"
    },
    {
      "seed": 10557,
      "edge": "526.768607"
    },
    {
      "seed": 10558,
      "edge": "436.596811"
    },
    {
      "seed": 10559,
      "edge": "468.788031"
    },
    {
      "seed": 10560,
      "edge": "514.568847"
    },
    {
      "seed": 10561,
      "edge": "607.954597"
    },
    {
      "seed": 10562,
      "edge": "553.183439"
    },
    {
      "seed": 10563,
      "edge": "446.780482"
    },
    {
      "seed": 10564,
      "edge": "449.932465"
    },
    {
      "seed": 10565,
      "edge": "618.730705"
    },
    {
      "seed": 10566,
      "edge": "425.252875"
    },
    {
      "seed": 10567,
      "edge": "525.313857"
    },
    {
      "seed": 10568,
      "edge": "456.602857"
    },
    {
      "seed": 10569,
      "edge": "553.262664"
    },
    {
      "seed": 10570,
      "edge": "526.192061"
    },
    {
      "seed": 10571,
      "edge": "654.572515"
    },
    {
      "seed": 10572,
      "edge": "513.311962"
    },
    {
      "seed": 10573,
      "edge": "586.372017"
    },
    {
      "seed": 10574,
      "edge": "555.270344"
    },
    {
      "seed": 10575,
      "edge": "531.724264"
    },
    {
      "seed": 10576,
      "edge": "557.387082"
    },
    {
      "seed": 10577,
      "edge": "441.310462"
    },
    {
      "seed": 10578,
      "edge": "636.359651"
    },
    {
      "seed": 10579,
      "edge": "393.782923"
    },
    {
      "seed": 10580,
      "edge": "405.064134"
    },
    {
      "seed": 10581,
      "edge": "456.850623"
    },
    {
      "seed": 10582,
      "edge": "502.488752"
    },
    {
      "seed": 10583,
      "edge": "661.663810"
    },
    {
      "seed": 10584,
      "edge": "497.245816"
    },
    {
      "seed": 10585,
      "edge": "491.798896"
    },
    {
      "seed": 10586,
      "edge": "412.775383"
    },
    {
      "seed": 10587,
      "edge": "383.556339"
    },
    {
      "seed": 10588,
      "edge": "475.318006"
    },
    {
      "seed": 10589,
      "edge": "514.018252"
    },
    {
      "seed": 10590,
      "edge": "533.710536"
    },
    {
      "seed": 10591,
      "edge": "623.153164"
    },
    {
      "seed": 10592,
      "edge": "524.823646"
    },
    {
      "seed": 10593,
      "edge": "415.061427"
    },
    {
      "seed": 10594,
      "edge": "546.125200"
    },
    {
      "seed": 10595,
      "edge": "498.484177"
    },
    {
      "seed": 10596,
      "edge": "591.785460"
    },
    {
      "seed": 10597,
      "edge": "566.916749"
    },
    {
      "seed": 10598,
      "edge": "557.655204"
    },
    {
      "seed": 10599,
      "edge": "441.968633"
    },
    {
      "seed": 10600,
      "edge": "596.125306"
    },
    {
      "seed": 10601,
      "edge": "448.714292"
    },
    {
      "seed": 10602,
      "edge": "630.207092"
    },
    {
      "seed": 10603,
      "edge": "442.404405"
    },
    {
      "seed": 10604,
      "edge": "465.296101"
    },
    {
      "seed": 10605,
      "edge": "559.889237"
    },
    {
      "seed": 10606,
      "edge": "418.936564"
    },
    {
      "seed": 10607,
      "edge": "718.149295"
    },
    {
      "seed": 10608,
      "edge": "692.023632"
    },
    {
      "seed": 10609,
      "edge": "470.803334"
    },
    {
      "seed": 10610,
      "edge": "429.668688"
    },
    {
      "seed": 10611,
      "edge": "453.084916"
    },
    {
      "seed": 10612,
      "edge": "564.051741"
    },
    {
      "seed": 10613,
      "edge": "346.586691"
    },
    {
      "seed": 10614,
      "edge": "602.676499"
    },
    {
      "seed": 10615,
      "edge": "582.992327"
    },
    {
      "seed": 10616,
      "edge": "575.828070"
    },
    {
      "seed": 10617,
      "edge": "637.435103"
    },
    {
      "seed": 10618,
      "edge": "422.889230"
    },
    {
      "seed": 10619,
      "edge": "574.386414"
    },
    {
      "seed": 10620,
      "edge": "430.950185"
    },
    {
      "seed": 10621,
      "edge": "452.467011"
    },
    {
      "seed": 10622,
      "edge": "401.222746"
    },
    {
      "seed": 10623,
      "edge": "416.723321"
    },
    {
      "seed": 10624,
      "edge": "600.859624"
    },
    {
      "seed": 10625,
      "edge": "446.488792"
    },
    {
      "seed": 10626,
      "edge": "560.433838"
    },
    {
      "seed": 10627,
      "edge": "587.111212"
    },
    {
      "seed": 10628,
      "edge": "586.786596"
    },
    {
      "seed": 10629,
      "edge": "534.257456"
    },
    {
      "seed": 10630,
      "edge": "493.613331"
    },
    {
      "seed": 10631,
      "edge": "581.332944"
    },
    {
      "seed": 10632,
      "edge": "685.586823"
    },
    {
      "seed": 10633,
      "edge": "572.854668"
    },
    {
      "seed": 10634,
      "edge": "570.674644"
    },
    {
      "seed": 10635,
      "edge": "488.174723"
    },
    {
      "seed": 10636,
      "edge": "541.780226"
    },
    {
      "seed": 10637,
      "edge": "438.407036"
    },
    {
      "seed": 10638,
      "edge": "762.581846"
    },
    {
      "seed": 10639,
      "edge": "574.090340"
    },
    {
      "seed": 10640,
      "edge": "621.281035"
    },
    {
      "seed": 10641,
      "edge": "619.602088"
    },
    {
      "seed": 10642,
      "edge": "513.375681"
    },
    {
      "seed": 10643,
      "edge": "479.985389"
    },
    {
      "seed": 10644,
      "edge": "537.025040"
    },
    {
      "seed": 10645,
      "edge": "464.271716"
    },
    {
      "seed": 10646,
      "edge": "508.447989"
    },
    {
      "seed": 10647,
      "edge": "684.217180"
    },
    {
      "seed": 10648,
      "edge": "458.583922"
    },
    {
      "seed": 10649,
      "edge": "382.914783"
    },
    {
      "seed": 10650,
      "edge": "569.613640"
    },
    {
      "seed": 10651,
      "edge": "599.931175"
    },
    {
      "seed": 10652,
      "edge": "703.888623"
    },
    {
      "seed": 10653,
      "edge": "527.972475"
    },
    {
      "seed": 10654,
      "edge": "627.384293"
    },
    {
      "seed": 10655,
      "edge": "476.217670"
    },
    {
      "seed": 10656,
      "edge": "635.261968"
    },
    {
      "seed": 10657,
      "edge": "455.669093"
    },
    {
      "seed": 10658,
      "edge": "607.366224"
    },
    {
      "seed": 10659,
      "edge": "703.973778"
    },
    {
      "seed": 10660,
      "edge": "505.750654"
    },
    {
      "seed": 10661,
      "edge": "629.644781"
    },
    {
      "seed": 10662,
      "edge": "552.804539"
    },
    {
      "seed": 10663,
      "edge": "649.408981"
    },
    {
      "seed": 10664,
      "edge": "675.334663"
    },
    {
      "seed": 10665,
      "edge": "453.409457"
    },
    {
      "seed": 10666,
      "edge": "566.118550"
    },
    {
      "seed": 10667,
      "edge": "486.974158"
    },
    {
      "seed": 10668,
      "edge": "614.468664"
    },
    {
      "seed": 10669,
      "edge": "461.558373"
    },
    {
      "seed": 10670,
      "edge": "634.685696"
    },
    {
      "seed": 10671,
      "edge": "592.669654"
    },
    {
      "seed": 10672,
      "edge": "608.327500"
    },
    {
      "seed": 10673,
      "edge": "456.570825"
    },
    {
      "seed": 10674,
      "edge": "498.218313"
    },
    {
      "seed": 10675,
      "edge": "614.562583"
    },
    {
      "seed": 10676,
      "edge": "656.595503"
    },
    {
      "seed": 10677,
      "edge": "522.392906"
    },
    {
      "seed": 10678,
      "edge": "478.349671"
    },
    {
      "seed": 10679,
      "edge": "438.969652"
    },
    {
      "seed": 10680,
      "edge": "418.053326"
    },
    {
      "seed": 10681,
      "edge": "461.607956"
    },
    {
      "seed": 10682,
      "edge": "430.269594"
    },
    {
      "seed": 10683,
      "edge": "541.250644"
    },
    {
      "seed": 10684,
      "edge": "516.509027"
    },
    {
      "seed": 10685,
      "edge": "663.548209"
    },
    {
      "seed": 10686,
      "edge": "649.106569"
    },
    {
      "seed": 10687,
      "edge": "537.003119"
    },
    {
      "seed": 10688,
      "edge": "452.932908"
    },
    {
      "seed": 10689,
      "edge": "589.655958"
    },
    {
      "seed": 10690,
      "edge": "598.564178"
    },
    {
      "seed": 10691,
      "edge": "376.662219"
    },
    {
      "seed": 10692,
      "edge": "568.547827"
    },
    {
      "seed": 10693,
      "edge": "481.213740"
    },
    {
      "seed": 10694,
      "edge": "570.663726"
    },
    {
      "seed": 10695,
      "edge": "681.797019"
    },
    {
      "seed": 10696,
      "edge": "410.619236"
    },
    {
      "seed": 10697,
      "edge": "377.586904"
    },
    {
      "seed": 10698,
      "edge": "511.883218"
    },
    {
      "seed": 10699,
      "edge": "401.051584"
    },
    {
      "seed": 10700,
      "edge": "508.860961"
    },
    {
      "seed": 10701,
      "edge": "572.780765"
    },
    {
      "seed": 10702,
      "edge": "534.499529"
    },
    {
      "seed": 10703,
      "edge": "514.327323"
    },
    {
      "seed": 10704,
      "edge": "551.606235"
    },
    {
      "seed": 10705,
      "edge": "699.219903"
    },
    {
      "seed": 10706,
      "edge": "553.322779"
    },
    {
      "seed": 10707,
      "edge": "557.024356"
    },
    {
      "seed": 10708,
      "edge": "511.252803"
    },
    {
      "seed": 10709,
      "edge": "704.070267"
    },
    {
      "seed": 10710,
      "edge": "439.159174"
    },
    {
      "seed": 10711,
      "edge": "752.823591"
    },
    {
      "seed": 10712,
      "edge": "544.523468"
    },
    {
      "seed": 10713,
      "edge": "362.927001"
    },
    {
      "seed": 10714,
      "edge": "638.933141"
    },
    {
      "seed": 10715,
      "edge": "401.274415"
    },
    {
      "seed": 10716,
      "edge": "487.629828"
    },
    {
      "seed": 10717,
      "edge": "445.527241"
    },
    {
      "seed": 10718,
      "edge": "522.408884"
    },
    {
      "seed": 10719,
      "edge": "349.267816"
    },
    {
      "seed": 10720,
      "edge": "481.426814"
    },
    {
      "seed": 10721,
      "edge": "446.408411"
    },
    {
      "seed": 10722,
      "edge": "515.932070"
    },
    {
      "seed": 10723,
      "edge": "528.580124"
    },
    {
      "seed": 10724,
      "edge": "482.096245"
    },
    {
      "seed": 10725,
      "edge": "443.103462"
    },
    {
      "seed": 10726,
      "edge": "572.490428"
    },
    {
      "seed": 10727,
      "edge": "699.308918"
    },
    {
      "seed": 10728,
      "edge": "453.399697"
    },
    {
      "seed": 10729,
      "edge": "460.653348"
    },
    {
      "seed": 10730,
      "edge": "587.745014"
    },
    {
      "seed": 10731,
      "edge": "401.301085"
    },
    {
      "seed": 10732,
      "edge": "581.998767"
    },
    {
      "seed": 10733,
      "edge": "419.230923"
    },
    {
      "seed": 10734,
      "edge": "448.552329"
    },
    {
      "seed": 10735,
      "edge": "555.368496"
    },
    {
      "seed": 10736,
      "edge": "744.508506"
    },
    {
      "seed": 10737,
      "edge": "432.311189"
    },
    {
      "seed": 10738,
      "edge": "422.482448"
    },
    {
      "seed": 10739,
      "edge": "538.169044"
    },
    {
      "seed": 10740,
      "edge": "521.803677"
    },
    {
      "seed": 10741,
      "edge": "565.235930"
    },
    {
      "seed": 10742,
      "edge": "473.418405"
    },
    {
      "seed": 10743,
      "edge": "412.837479"
    },
    {
      "seed": 10744,
      "edge": "355.293909"
    },
    {
      "seed": 10745,
      "edge": "637.726334"
    },
    {
      "seed": 10746,
      "edge": "497.375004"
    },
    {
      "seed": 10747,
      "edge": "431.000230"
    },
    {
      "seed": 10748,
      "edge": "644.938966"
    },
    {
      "seed": 10749,
      "edge": "611.689716"
    },
    {
      "seed": 10750,
      "edge": "390.990094"
    },
    {
      "seed": 10751,
      "edge": "367.472417"
    },
    {
      "seed": 10752,
      "edge": "480.636666"
    },
    {
      "seed": 10753,
      "edge": "539.012249"
    },
    {
      "seed": 10754,
      "edge": "556.586505"
    },
    {
      "seed": 10755,
      "edge": "432.182776"
    },
    {
      "seed": 10756,
      "edge": "514.272801"
    },
    {
      "seed": 10757,
      "edge": "583.111363"
    },
    {
      "seed": 10758,
      "edge": "469.667846"
    },
    {
      "seed": 10759,
      "edge": "558.263284"
    },
    {
      "seed": 10760,
      "edge": "510.009868"
    },
    {
      "seed": 10761,
      "edge": "739.938812"
    },
    {
      "seed": 10762,
      "edge": "641.316343"
    },
    {
      "seed": 10763,
      "edge": "436.756737"
    },
    {
      "seed": 10764,
      "edge": "655.035795"
    },
    {
      "seed": 10765,
      "edge": "635.616758"
    },
    {
      "seed": 10766,
      "edge": "477.635378"
    },
    {
      "seed": 10767,
      "edge": "508.485119"
    },
    {
      "seed": 10768,
      "edge": "531.351403"
    },
    {
      "seed": 10769,
      "edge": "486.612687"
    },
    {
      "seed": 10770,
      "edge": "381.194944"
    },
    {
      "seed": 10771,
      "edge": "462.851962"
    },
    {
      "seed": 10772,
      "edge": "673.611304"
    },
    {
      "seed": 10773,
      "edge": "483.620985"
    },
    {
      "seed": 10774,
      "edge": "428.928865"
    },
    {
      "seed": 10775,
      "edge": "644.318162"
    },
    {
      "seed": 10776,
      "edge": "410.295349"
    },
    {
      "seed": 10777,
      "edge": "430.442996"
    },
    {
      "seed": 10778,
      "edge": "433.514051"
    },
    {
      "seed": 10779,
      "edge": "522.606718"
    },
    {
      "seed": 10780,
      "edge": "481.798148"
    },
    {
      "seed": 10781,
      "edge": "463.034922"
    },
    {
      "seed": 10782,
      "edge": "442.045498"
    },
    {
      "seed": 10783,
      "edge": "504.531441"
    },
    {
      "seed": 10784,
      "edge": "416.671501"
    },
    {
      "seed": 10785,
      "edge": "483.040752"
    },
    {
      "seed": 10786,
      "edge": "397.681320"
    },
    {
      "seed": 10787,
      "edge": "481.529390"
    },
    {
      "seed": 10788,
      "edge": "426.864259"
    },
    {
      "seed": 10789,
      "edge": "516.753498"
    },
    {
      "seed": 10790,
      "edge": "415.791296"
    },
    {
      "seed": 10791,
      "edge": "714.456442"
    },
    {
      "seed": 10792,
      "edge": "581.962908"
    },
    {
      "seed": 10793,
      "edge": "593.413452"
    },
    {
      "seed": 10794,
      "edge": "517.295512"
    },
    {
      "seed": 10795,
      "edge": "617.905196"
    },
    {
      "seed": 10796,
      "edge": "489.749999"
    },
    {
      "seed": 10797,
      "edge": "583.419029"
    },
    {
      "seed": 10798,
      "edge": "432.077952"
    },
    {
      "seed": 10799,
      "edge": "477.542420"
    },
    {
      "seed": 10800,
      "edge": "426.022420"
    },
    {
      "seed": 10801,
      "edge": "487.059933"
    },
    {
      "seed": 10802,
      "edge": "528.377024"
    },
    {
      "seed": 10803,
      "edge": "661.185888"
    },
    {
      "seed": 10804,
      "edge": "543.792685"
    },
    {
      "seed": 10805,
      "edge": "414.311367"
    },
    {
      "seed": 10806,
      "edge": "446.537335"
    },
    {
      "seed": 10807,
      "edge": "375.893176"
    },
    {
      "seed": 10808,
      "edge": "498.626103"
    },
    {
      "seed": 10809,
      "edge": "527.165883"
    },
    {
      "seed": 10810,
      "edge": "732.783369"
    },
    {
      "seed": 10811,
      "edge": "444.069616"
    },
    {
      "seed": 10812,
      "edge": "385.001272"
    },
    {
      "seed": 10813,
      "edge": "568.168397"
    },
    {
      "seed": 10814,
      "edge": "676.800859"
    },
    {
      "seed": 10815,
      "edge": "427.340055"
    },
    {
      "seed": 10816,
      "edge": "640.282315"
    },
    {
      "seed": 10817,
      "edge": "337.373541"
    },
    {
      "seed": 10818,
      "edge": "502.359621"
    },
    {
      "seed": 10819,
      "edge": "527.038322"
    },
    {
      "seed": 10820,
      "edge": "509.692450"
    },
    {
      "seed": 10821,
      "edge": "474.093455"
    },
    {
      "seed": 10822,
      "edge": "756.473391"
    },
    {
      "seed": 10823,
      "edge": "428.987803"
    },
    {
      "seed": 10824,
      "edge": "555.116867"
    },
    {
      "seed": 10825,
      "edge": "576.734906"
    },
    {
      "seed": 10826,
      "edge": "587.048507"
    },
    {
      "seed": 10827,
      "edge": "394.608049"
    },
    {
      "seed": 10828,
      "edge": "570.101365"
    },
    {
      "seed": 10829,
      "edge": "497.649870"
    },
    {
      "seed": 10830,
      "edge": "537.233306"
    },
    {
      "seed": 10831,
      "edge": "460.459962"
    },
    {
      "seed": 10832,
      "edge": "528.517964"
    },
    {
      "seed": 10833,
      "edge": "628.658349"
    },
    {
      "seed": 10834,
      "edge": "473.605801"
    },
    {
      "seed": 10835,
      "edge": "494.338447"
    },
    {
      "seed": 10836,
      "edge": "610.699546"
    },
    {
      "seed": 10837,
      "edge": "505.896228"
    },
    {
      "seed": 10838,
      "edge": "544.247164"
    },
    {
      "seed": 10839,
      "edge": "568.502907"
    },
    {
      "seed": 10840,
      "edge": "458.181058"
    },
    {
      "seed": 10841,
      "edge": "561.078295"
    },
    {
      "seed": 10842,
      "edge": "648.055078"
    },
    {
      "seed": 10843,
      "edge": "517.588237"
    },
    {
      "seed": 10844,
      "edge": "398.369352"
    },
    {
      "seed": 10845,
      "edge": "624.636785"
    },
    {
      "seed": 10846,
      "edge": "410.287588"
    },
    {
      "seed": 10847,
      "edge": "522.425876"
    },
    {
      "seed": 10848,
      "edge": "527.829032"
    },
    {
      "seed": 10849,
      "edge": "628.023551"
    },
    {
      "seed": 10850,
      "edge": "558.330960"
    },
    {
      "seed": 10851,
      "edge": "376.491962"
    },
    {
      "seed": 10852,
      "edge": "802.429227"
    },
    {
      "seed": 10853,
      "edge": "355.361141"
    },
    {
      "seed": 10854,
      "edge": "337.047873"
    },
    {
      "seed": 10855,
      "edge": "390.133933"
    },
    {
      "seed": 10856,
      "edge": "491.069160"
    },
    {
      "seed": 10857,
      "edge": "478.183462"
    },
    {
      "seed": 10858,
      "edge": "604.176575"
    },
    {
      "seed": 10859,
      "edge": "463.849599"
    },
    {
      "seed": 10860,
      "edge": "562.853058"
    },
    {
      "seed": 10861,
      "edge": "429.597745"
    },
    {
      "seed": 10862,
      "edge": "556.980921"
    },
    {
      "seed": 10863,
      "edge": "511.277958"
    },
    {
      "seed": 10864,
      "edge": "503.378239"
    },
    {
      "seed": 10865,
      "edge": "537.784692"
    },
    {
      "seed": 10866,
      "edge": "439.968412"
    },
    {
      "seed": 10867,
      "edge": "472.896851"
    },
    {
      "seed": 10868,
      "edge": "584.823013"
    },
    {
      "seed": 10869,
      "edge": "567.217754"
    },
    {
      "seed": 10870,
      "edge": "542.482902"
    },
    {
      "seed": 10871,
      "edge": "442.490294"
    },
    {
      "seed": 10872,
      "edge": "452.681473"
    },
    {
      "seed": 10873,
      "edge": "488.891446"
    },
    {
      "seed": 10874,
      "edge": "397.822418"
    },
    {
      "seed": 10875,
      "edge": "404.241709"
    },
    {
      "seed": 10876,
      "edge": "514.016481"
    },
    {
      "seed": 10877,
      "edge": "700.078824"
    },
    {
      "seed": 10878,
      "edge": "493.630356"
    },
    {
      "seed": 10879,
      "edge": "790.301736"
    },
    {
      "seed": 10880,
      "edge": "495.907803"
    },
    {
      "seed": 10881,
      "edge": "369.450470"
    },
    {
      "seed": 10882,
      "edge": "485.977908"
    },
    {
      "seed": 10883,
      "edge": "700.040387"
    },
    {
      "seed": 10884,
      "edge": "520.754741"
    },
    {
      "seed": 10885,
      "edge": "618.505990"
    },
    {
      "seed": 10886,
      "edge": "554.012925"
    },
    {
      "seed": 10887,
      "edge": "337.331524"
    },
    {
      "seed": 10888,
      "edge": "378.687987"
    },
    {
      "seed": 10889,
      "edge": "443.860470"
    },
    {
      "seed": 10890,
      "edge": "669.411186"
    },
    {
      "seed": 10891,
      "edge": "400.031500"
    },
    {
      "seed": 10892,
      "edge": "463.434562"
    },
    {
      "seed": 10893,
      "edge": "509.536263"
    },
    {
      "seed": 10894,
      "edge": "626.589587"
    },
    {
      "seed": 10895,
      "edge": "567.660974"
    },
    {
      "seed": 10896,
      "edge": "476.179817"
    },
    {
      "seed": 10897,
      "edge": "582.324884"
    },
    {
      "seed": 10898,
      "edge": "480.065817"
    },
    {
      "seed": 10899,
      "edge": "445.096327"
    },
    {
      "seed": 10900,
      "edge": "515.228909"
    },
    {
      "seed": 10901,
      "edge": "522.437775"
    },
    {
      "seed": 10902,
      "edge": "570.222327"
    },
    {
      "seed": 10903,
      "edge": "712.234221"
    },
    {
      "seed": 10904,
      "edge": "394.361393"
    },
    {
      "seed": 10905,
      "edge": "390.452586"
    },
    {
      "seed": 10906,
      "edge": "568.251745"
    },
    {
      "seed": 10907,
      "edge": "423.808913"
    },
    {
      "seed": 10908,
      "edge": "471.883693"
    },
    {
      "seed": 10909,
      "edge": "648.712878"
    },
    {
      "seed": 10910,
      "edge": "449.177643"
    },
    {
      "seed": 10911,
      "edge": "640.426163"
    },
    {
      "seed": 10912,
      "edge": "373.708639"
    },
    {
      "seed": 10913,
      "edge": "487.930269"
    },
    {
      "seed": 10914,
      "edge": "571.745462"
    },
    {
      "seed": 10915,
      "edge": "627.919259"
    },
    {
      "seed": 10916,
      "edge": "466.212826"
    },
    {
      "seed": 10917,
      "edge": "411.523983"
    },
    {
      "seed": 10918,
      "edge": "379.888462"
    },
    {
      "seed": 10919,
      "edge": "622.722750"
    },
    {
      "seed": 10920,
      "edge": "729.162374"
    },
    {
      "seed": 10921,
      "edge": "509.104569"
    },
    {
      "seed": 10922,
      "edge": "646.398945"
    },
    {
      "seed": 10923,
      "edge": "484.729934"
    },
    {
      "seed": 10924,
      "edge": "413.090451"
    },
    {
      "seed": 10925,
      "edge": "546.808639"
    },
    {
      "seed": 10926,
      "edge": "371.890404"
    },
    {
      "seed": 10927,
      "edge": "494.862606"
    },
    {
      "seed": 10928,
      "edge": "392.463645"
    },
    {
      "seed": 10929,
      "edge": "539.818544"
    },
    {
      "seed": 10930,
      "edge": "749.297642"
    },
    {
      "seed": 10931,
      "edge": "401.749042"
    },
    {
      "seed": 10932,
      "edge": "514.939282"
    },
    {
      "seed": 10933,
      "edge": "616.374218"
    },
    {
      "seed": 10934,
      "edge": "574.144315"
    },
    {
      "seed": 10935,
      "edge": "490.499400"
    },
    {
      "seed": 10936,
      "edge": "584.601355"
    },
    {
      "seed": 10937,
      "edge": "414.465961"
    },
    {
      "seed": 10938,
      "edge": "494.356208"
    },
    {
      "seed": 10939,
      "edge": "400.165983"
    },
    {
      "seed": 10940,
      "edge": "516.290805"
    },
    {
      "seed": 10941,
      "edge": "569.440466"
    },
    {
      "seed": 10942,
      "edge": "1013.121141"
    },
    {
      "seed": 10943,
      "edge": "626.870336"
    },
    {
      "seed": 10944,
      "edge": "505.772232"
    },
    {
      "seed": 10945,
      "edge": "479.221766"
    },
    {
      "seed": 10946,
      "edge": "555.653092"
    },
    {
      "seed": 10947,
      "edge": "530.663673"
    },
    {
      "seed": 10948,
      "edge": "529.389756"
    },
    {
      "seed": 10949,
      "edge": "552.818679"
    },
    {
      "seed": 10950,
      "edge": "410.030042"
    },
    {
      "seed": 10951,
      "edge": "415.449214"
    },
    {
      "seed": 10952,
      "edge": "441.416348"
    },
    {
      "seed": 10953,
      "edge": "440.411701"
    },
    {
      "seed": 10954,
      "edge": "547.027774"
    },
    {
      "seed": 10955,
      "edge": "640.905413"
    },
    {
      "seed": 10956,
      "edge": "493.877313"
    },
    {
      "seed": 10957,
      "edge": "463.364060"
    },
    {
      "seed": 10958,
      "edge": "662.180446"
    },
    {
      "seed": 10959,
      "edge": "558.793500"
    },
    {
      "seed": 10960,
      "edge": "685.086904"
    },
    {
      "seed": 10961,
      "edge": "551.170516"
    },
    {
      "seed": 10962,
      "edge": "493.722796"
    },
    {
      "seed": 10963,
      "edge": "575.047910"
    },
    {
      "seed": 10964,
      "edge": "505.721032"
    },
    {
      "seed": 10965,
      "edge": "525.609657"
    },
    {
      "seed": 10966,
      "edge": "528.828796"
    },
    {
      "seed": 10967,
      "edge": "462.459431"
    },
    {
      "seed": 10968,
      "edge": "668.001282"
    },
    {
      "seed": 10969,
      "edge": "487.922415"
    },
    {
      "seed": 10970,
      "edge": "406.792722"
    },
    {
      "seed": 10971,
      "edge": "652.631662"
    },
    {
      "seed": 10972,
      "edge": "618.381609"
    },
    {
      "seed": 10973,
      "edge": "688.743504"
    },
    {
      "seed": 10974,
      "edge": "432.274887"
    },
    {
      "seed": 10975,
      "edge": "472.725507"
    },
    {
      "seed": 10976,
      "edge": "358.962218"
    },
    {
      "seed": 10977,
      "edge": "660.356354"
    },
    {
      "seed": 10978,
      "edge": "412.460394"
    },
    {
      "seed": 10979,
      "edge": "564.025709"
    },
    {
      "seed": 10980,
      "edge": "680.147182"
    },
    {
      "seed": 10981,
      "edge": "595.939628"
    },
    {
      "seed": 10982,
      "edge": "688.763248"
    },
    {
      "seed": 10983,
      "edge": "435.785680"
    },
    {
      "seed": 10984,
      "edge": "418.859878"
    },
    {
      "seed": 10985,
      "edge": "519.981182"
    },
    {
      "seed": 10986,
      "edge": "522.511771"
    },
    {
      "seed": 10987,
      "edge": "649.278134"
    },
    {
      "seed": 10988,
      "edge": "666.155351"
    },
    {
      "seed": 10989,
      "edge": "558.861020"
    },
    {
      "seed": 10990,
      "edge": "669.386787"
    },
    {
      "seed": 10991,
      "edge": "566.251669"
    },
    {
      "seed": 10992,
      "edge": "348.845692"
    },
    {
      "seed": 10993,
      "edge": "560.604486"
    },
    {
      "seed": 10994,
      "edge": "551.374650"
    },
    {
      "seed": 10995,
      "edge": "602.440208"
    },
    {
      "seed": 10996,
      "edge": "559.022823"
    },
    {
      "seed": 10997,
      "edge": "470.605810"
    },
    {
      "seed": 10998,
      "edge": "627.561104"
    },
    {
      "seed": 10999,
      "edge": "346.728236"
    },
    {
      "seed": 11000,
      "edge": "465.628204"
    },
    {
      "seed": 11001,
      "edge": "541.412006"
    },
    {
      "seed": 11002,
      "edge": "418.404873"
    },
    {
      "seed": 11003,
      "edge": "501.948259"
    },
    {
      "seed": 11004,
      "edge": "609.240845"
    },
    {
      "seed": 11005,
      "edge": "591.067938"
    },
    {
      "seed": 11006,
      "edge": "559.497200"
    },
    {
      "seed": 11007,
      "edge": "469.204943"
    },
    {
      "seed": 11008,
      "edge": "649.327056"
    },
    {
      "seed": 11009,
      "edge": "428.587646"
    },
    {
      "seed": 11010,
      "edge": "585.092989"
    },
    {
      "seed": 11011,
      "edge": "407.103218"
    },
    {
      "seed": 11012,
      "edge": "484.476939"
    },
    {
      "seed": 11013,
      "edge": "565.507523"
    },
    {
      "seed": 11014,
      "edge": "715.120441"
    },
    {
      "seed": 11015,
      "edge": "513.525372"
    },
    {
      "seed": 11016,
      "edge": "375.647474"
    },
    {
      "seed": 11017,
      "edge": "569.446481"
    },
    {
      "seed": 11018,
      "edge": "569.312630"
    },
    {
      "seed": 11019,
      "edge": "723.464991"
    },
    {
      "seed": 11020,
      "edge": "481.824965"
    },
    {
      "seed": 11021,
      "edge": "621.067671"
    },
    {
      "seed": 11022,
      "edge": "689.894364"
    },
    {
      "seed": 11023,
      "edge": "508.224812"
    },
    {
      "seed": 11024,
      "edge": "483.746054"
    },
    {
      "seed": 11025,
      "edge": "806.336324"
    },
    {
      "seed": 11026,
      "edge": "424.396670"
    },
    {
      "seed": 11027,
      "edge": "617.176352"
    },
    {
      "seed": 11028,
      "edge": "594.005180"
    },
    {
      "seed": 11029,
      "edge": "468.325304"
    },
    {
      "seed": 11030,
      "edge": "708.171909"
    },
    {
      "seed": 11031,
      "edge": "574.939973"
    },
    {
      "seed": 11032,
      "edge": "419.841110"
    },
    {
      "seed": 11033,
      "edge": "505.533335"
    },
    {
      "seed": 11034,
      "edge": "630.596098"
    },
    {
      "seed": 11035,
      "edge": "701.441394"
    },
    {
      "seed": 11036,
      "edge": "451.755046"
    },
    {
      "seed": 11037,
      "edge": "487.008425"
    },
    {
      "seed": 11038,
      "edge": "574.507857"
    },
    {
      "seed": 11039,
      "edge": "531.363488"
    },
    {
      "seed": 11040,
      "edge": "398.689984"
    },
    {
      "seed": 11041,
      "edge": "454.551807"
    },
    {
      "seed": 11042,
      "edge": "734.504210"
    },
    {
      "seed": 11043,
      "edge": "384.785834"
    },
    {
      "seed": 11044,
      "edge": "595.719113"
    },
    {
      "seed": 11045,
      "edge": "604.319680"
    },
    {
      "seed": 11046,
      "edge": "587.391961"
    },
    {
      "seed": 11047,
      "edge": "478.210105"
    },
    {
      "seed": 11048,
      "edge": "500.732409"
    },
    {
      "seed": 11049,
      "edge": "586.000793"
    },
    {
      "seed": 11050,
      "edge": "545.867543"
    },
    {
      "seed": 11051,
      "edge": "567.317349"
    },
    {
      "seed": 11052,
      "edge": "442.280550"
    },
    {
      "seed": 11053,
      "edge": "703.107778"
    },
    {
      "seed": 11054,
      "edge": "577.981638"
    },
    {
      "seed": 11055,
      "edge": "608.508022"
    },
    {
      "seed": 11056,
      "edge": "544.653835"
    },
    {
      "seed": 11057,
      "edge": "650.369358"
    },
    {
      "seed": 11058,
      "edge": "437.682273"
    },
    {
      "seed": 11059,
      "edge": "666.949883"
    },
    {
      "seed": 11060,
      "edge": "561.978307"
    },
    {
      "seed": 11061,
      "edge": "671.097150"
    },
    {
      "seed": 11062,
      "edge": "706.907087"
    },
    {
      "seed": 11063,
      "edge": "502.418849"
    },
    {
      "seed": 11064,
      "edge": "554.951749"
    },
    {
      "seed": 11065,
      "edge": "603.105420"
    },
    {
      "seed": 11066,
      "edge": "542.144611"
    },
    {
      "seed": 11067,
      "edge": "445.051808"
    },
    {
      "seed": 11068,
      "edge": "436.056411"
    },
    {
      "seed": 11069,
      "edge": "495.441104"
    },
    {
      "seed": 11070,
      "edge": "474.618343"
    },
    {
      "seed": 11071,
      "edge": "643.831408"
    },
    {
      "seed": 11072,
      "edge": "505.805494"
    },
    {
      "seed": 11073,
      "edge": "707.151230"
    },
    {
      "seed": 11074,
      "edge": "535.517616"
    },
    {
      "seed": 11075,
      "edge": "412.582143"
    },
    {
      "seed": 11076,
      "edge": "720.590985"
    },
    {
      "seed": 11077,
      "edge": "806.784735"
    },
    {
      "seed": 11078,
      "edge": "541.277770"
    },
    {
      "seed": 11079,
      "edge": "422.828424"
    },
    {
      "seed": 11080,
      "edge": "442.017192"
    },
    {
      "seed": 11081,
      "edge": "436.099442"
    },
    {
      "seed": 11082,
      "edge": "606.403242"
    },
    {
      "seed": 11083,
      "edge": "590.671365"
    },
    {
      "seed": 11084,
      "edge": "476.275181"
    },
    {
      "seed": 11085,
      "edge": "546.110651"
    },
    {
      "seed": 11086,
      "edge": "625.357375"
    },
    {
      "seed": 11087,
      "edge": "535.075718"
    },
    {
      "seed": 11088,
      "edge": "508.815024"
    },
    {
      "seed": 11089,
      "edge": "686.943787"
    },
    {
      "seed": 11090,
      "edge": "463.035198"
    },
    {
      "seed": 11091,
      "edge": "573.057285"
    },
    {
      "seed": 11092,
      "edge": "464.997214"
    },
    {
      "seed": 11093,
      "edge": "415.518297"
    },
    {
      "seed": 11094,
      "edge": "597.500244"
    },
    {
      "seed": 11095,
      "edge": "605.470081"
    },
    {
      "seed": 11096,
      "edge": "456.819094"
    },
    {
      "seed": 11097,
      "edge": "502.399325"
    },
    {
      "seed": 11098,
      "edge": "685.036453"
    },
    {
      "seed": 11099,
      "edge": "457.624025"
    },
    {
      "seed": 11100,
      "edge": "503.898046"
    },
    {
      "seed": 11101,
      "edge": "399.669820"
    },
    {
      "seed": 11102,
      "edge": "531.778951"
    },
    {
      "seed": 11103,
      "edge": "443.269962"
    },
    {
      "seed": 11104,
      "edge": "648.470248"
    },
    {
      "seed": 11105,
      "edge": "426.916839"
    },
    {
      "seed": 11106,
      "edge": "442.118691"
    },
    {
      "seed": 11107,
      "edge": "392.748922"
    },
    {
      "seed": 11108,
      "edge": "640.057269"
    },
    {
      "seed": 11109,
      "edge": "511.053331"
    },
    {
      "seed": 11110,
      "edge": "562.818221"
    },
    {
      "seed": 11111,
      "edge": "455.816337"
    },
    {
      "seed": 11112,
      "edge": "489.934584"
    },
    {
      "seed": 11113,
      "edge": "697.553723"
    },
    {
      "seed": 11114,
      "edge": "640.704003"
    },
    {
      "seed": 11115,
      "edge": "578.599120"
    },
    {
      "seed": 11116,
      "edge": "605.312839"
    },
    {
      "seed": 11117,
      "edge": "544.814556"
    },
    {
      "seed": 11118,
      "edge": "508.663455"
    },
    {
      "seed": 11119,
      "edge": "467.541185"
    },
    {
      "seed": 11120,
      "edge": "578.939079"
    },
    {
      "seed": 11121,
      "edge": "562.967245"
    },
    {
      "seed": 11122,
      "edge": "679.483164"
    },
    {
      "seed": 11123,
      "edge": "710.505508"
    },
    {
      "seed": 11124,
      "edge": "386.933212"
    },
    {
      "seed": 11125,
      "edge": "411.546618"
    },
    {
      "seed": 11126,
      "edge": "571.925480"
    },
    {
      "seed": 11127,
      "edge": "533.089245"
    },
    {
      "seed": 11128,
      "edge": "443.217269"
    },
    {
      "seed": 11129,
      "edge": "516.625809"
    },
    {
      "seed": 11130,
      "edge": "448.759265"
    },
    {
      "seed": 11131,
      "edge": "663.991394"
    },
    {
      "seed": 11132,
      "edge": "606.396362"
    },
    {
      "seed": 11133,
      "edge": "595.697324"
    },
    {
      "seed": 11134,
      "edge": "487.581367"
    },
    {
      "seed": 11135,
      "edge": "550.678726"
    },
    {
      "seed": 11136,
      "edge": "484.223168"
    },
    {
      "seed": 11137,
      "edge": "642.543915"
    },
    {
      "seed": 11138,
      "edge": "660.865488"
    },
    {
      "seed": 11139,
      "edge": "355.496734"
    },
    {
      "seed": 11140,
      "edge": "449.580269"
    },
    {
      "seed": 11141,
      "edge": "566.384111"
    },
    {
      "seed": 11142,
      "edge": "341.053255"
    },
    {
      "seed": 11143,
      "edge": "459.884627"
    },
    {
      "seed": 11144,
      "edge": "576.847699"
    },
    {
      "seed": 11145,
      "edge": "480.481677"
    },
    {
      "seed": 11146,
      "edge": "479.360280"
    },
    {
      "seed": 11147,
      "edge": "387.821719"
    },
    {
      "seed": 11148,
      "edge": "507.760574"
    },
    {
      "seed": 11149,
      "edge": "581.954386"
    },
    {
      "seed": 11150,
      "edge": "331.285930"
    },
    {
      "seed": 11151,
      "edge": "564.178418"
    },
    {
      "seed": 11152,
      "edge": "510.866358"
    },
    {
      "seed": 11153,
      "edge": "375.208971"
    },
    {
      "seed": 11154,
      "edge": "443.795683"
    },
    {
      "seed": 11155,
      "edge": "368.921372"
    },
    {
      "seed": 11156,
      "edge": "452.222413"
    },
    {
      "seed": 11157,
      "edge": "506.852404"
    },
    {
      "seed": 11158,
      "edge": "423.604028"
    },
    {
      "seed": 11159,
      "edge": "592.625648"
    },
    {
      "seed": 11160,
      "edge": "421.530561"
    },
    {
      "seed": 11161,
      "edge": "593.916185"
    },
    {
      "seed": 11162,
      "edge": "502.525427"
    },
    {
      "seed": 11163,
      "edge": "653.775003"
    },
    {
      "seed": 11164,
      "edge": "540.655414"
    },
    {
      "seed": 11165,
      "edge": "627.079249"
    },
    {
      "seed": 11166,
      "edge": "546.198325"
    },
    {
      "seed": 11167,
      "edge": "559.194805"
    },
    {
      "seed": 11168,
      "edge": "524.369186"
    },
    {
      "seed": 11169,
      "edge": "591.053063"
    },
    {
      "seed": 11170,
      "edge": "548.308888"
    },
    {
      "seed": 11171,
      "edge": "511.053282"
    },
    {
      "seed": 11172,
      "edge": "435.586264"
    },
    {
      "seed": 11173,
      "edge": "474.819848"
    },
    {
      "seed": 11174,
      "edge": "629.308661"
    },
    {
      "seed": 11175,
      "edge": "393.512732"
    },
    {
      "seed": 11176,
      "edge": "768.686960"
    },
    {
      "seed": 11177,
      "edge": "479.260620"
    },
    {
      "seed": 11178,
      "edge": "459.448036"
    },
    {
      "seed": 11179,
      "edge": "532.481969"
    },
    {
      "seed": 11180,
      "edge": "413.947931"
    },
    {
      "seed": 11181,
      "edge": "438.319512"
    },
    {
      "seed": 11182,
      "edge": "477.939052"
    },
    {
      "seed": 11183,
      "edge": "398.362209"
    },
    {
      "seed": 11184,
      "edge": "690.860697"
    },
    {
      "seed": 11185,
      "edge": "594.001555"
    },
    {
      "seed": 11186,
      "edge": "538.483279"
    },
    {
      "seed": 11187,
      "edge": "582.244691"
    },
    {
      "seed": 11188,
      "edge": "621.610878"
    },
    {
      "seed": 11189,
      "edge": "413.530042"
    },
    {
      "seed": 11190,
      "edge": "471.326467"
    },
    {
      "seed": 11191,
      "edge": "718.905038"
    },
    {
      "seed": 11192,
      "edge": "532.080764"
    },
    {
      "seed": 11193,
      "edge": "556.165661"
    },
    {
      "seed": 11194,
      "edge": "487.326698"
    },
    {
      "seed": 11195,
      "edge": "531.433178"
    },
    {
      "seed": 11196,
      "edge": "624.368472"
    },
    {
      "seed": 11197,
      "edge": "504.378038"
    },
    {
      "seed": 11198,
      "edge": "643.363939"
    },
    {
      "seed": 11199,
      "edge": "505.723807"
    },
    {
      "seed": 11200,
      "edge": "571.665334"
    },
    {
      "seed": 11201,
      "edge": "529.621170"
    },
    {
      "seed": 11202,
      "edge": "604.382902"
    },
    {
      "seed": 11203,
      "edge": "554.767824"
    },
    {
      "seed": 11204,
      "edge": "529.572885"
    },
    {
      "seed": 11205,
      "edge": "606.990644"
    },
    {
      "seed": 11206,
      "edge": "514.331276"
    },
    {
      "seed": 11207,
      "edge": "595.765979"
    },
    {
      "seed": 11208,
      "edge": "462.544960"
    },
    {
      "seed": 11209,
      "edge": "703.860322"
    },
    {
      "seed": 11210,
      "edge": "551.601215"
    },
    {
      "seed": 11211,
      "edge": "610.573544"
    },
    {
      "seed": 11212,
      "edge": "423.254473"
    },
    {
      "seed": 11213,
      "edge": "603.523728"
    },
    {
      "seed": 11214,
      "edge": "541.692956"
    },
    {
      "seed": 11215,
      "edge": "438.993598"
    },
    {
      "seed": 11216,
      "edge": "401.388272"
    },
    {
      "seed": 11217,
      "edge": "594.245165"
    },
    {
      "seed": 11218,
      "edge": "699.533455"
    },
    {
      "seed": 11219,
      "edge": "498.789503"
    },
    {
      "seed": 11220,
      "edge": "472.951305"
    },
    {
      "seed": 11221,
      "edge": "512.127561"
    },
    {
      "seed": 11222,
      "edge": "592.249938"
    },
    {
      "seed": 11223,
      "edge": "526.567949"
    },
    {
      "seed": 11224,
      "edge": "691.749101"
    },
    {
      "seed": 11225,
      "edge": "707.520470"
    },
    {
      "seed": 11226,
      "edge": "717.595381"
    },
    {
      "seed": 11227,
      "edge": "439.402586"
    },
    {
      "seed": 11228,
      "edge": "490.708112"
    },
    {
      "seed": 11229,
      "edge": "644.519777"
    },
    {
      "seed": 11230,
      "edge": "401.008937"
    },
    {
      "seed": 11231,
      "edge": "532.436093"
    },
    {
      "seed": 11232,
      "edge": "637.209114"
    },
    {
      "seed": 11233,
      "edge": "563.774836"
    },
    {
      "seed": 11234,
      "edge": "617.935002"
    },
    {
      "seed": 11235,
      "edge": "493.462538"
    },
    {
      "seed": 11236,
      "edge": "595.097576"
    },
    {
      "seed": 11237,
      "edge": "521.007182"
    },
    {
      "seed": 11238,
      "edge": "360.505079"
    },
    {
      "seed": 11239,
      "edge": "565.037053"
    },
    {
      "seed": 11240,
      "edge": "489.038405"
    },
    {
      "seed": 11241,
      "edge": "537.556472"
    },
    {
      "seed": 11242,
      "edge": "554.663321"
    },
    {
      "seed": 11243,
      "edge": "529.004829"
    },
    {
      "seed": 11244,
      "edge": "515.110774"
    },
    {
      "seed": 11245,
      "edge": "625.934370"
    },
    {
      "seed": 11246,
      "edge": "552.905195"
    },
    {
      "seed": 11247,
      "edge": "532.524108"
    },
    {
      "seed": 11248,
      "edge": "585.491336"
    },
    {
      "seed": 11249,
      "edge": "531.729266"
    },
    {
      "seed": 11250,
      "edge": "466.394235"
    },
    {
      "seed": 11251,
      "edge": "422.344278"
    },
    {
      "seed": 11252,
      "edge": "623.595539"
    },
    {
      "seed": 11253,
      "edge": "616.788141"
    },
    {
      "seed": 11254,
      "edge": "621.564750"
    },
    {
      "seed": 11255,
      "edge": "501.065835"
    },
    {
      "seed": 11256,
      "edge": "697.493061"
    },
    {
      "seed": 11257,
      "edge": "401.524369"
    },
    {
      "seed": 11258,
      "edge": "562.210309"
    },
    {
      "seed": 11259,
      "edge": "414.367840"
    },
    {
      "seed": 11260,
      "edge": "547.208172"
    },
    {
      "seed": 11261,
      "edge": "413.443812"
    },
    {
      "seed": 11262,
      "edge": "486.250655"
    },
    {
      "seed": 11263,
      "edge": "487.282336"
    },
    {
      "seed": 11264,
      "edge": "376.696402"
    },
    {
      "seed": 11265,
      "edge": "417.754549"
    },
    {
      "seed": 11266,
      "edge": "779.760814"
    },
    {
      "seed": 11267,
      "edge": "570.902248"
    },
    {
      "seed": 11268,
      "edge": "411.941141"
    },
    {
      "seed": 11269,
      "edge": "360.801915"
    },
    {
      "seed": 11270,
      "edge": "471.629403"
    },
    {
      "seed": 11271,
      "edge": "470.837205"
    },
    {
      "seed": 11272,
      "edge": "581.692887"
    },
    {
      "seed": 11273,
      "edge": "524.256736"
    },
    {
      "seed": 11274,
      "edge": "582.294616"
    },
    {
      "seed": 11275,
      "edge": "422.504102"
    },
    {
      "seed": 11276,
      "edge": "473.020996"
    },
    {
      "seed": 11277,
      "edge": "716.605686"
    },
    {
      "seed": 11278,
      "edge": "558.377380"
    },
    {
      "seed": 11279,
      "edge": "450.539277"
    },
    {
      "seed": 11280,
      "edge": "605.313882"
    },
    {
      "seed": 11281,
      "edge": "560.133865"
    },
    {
      "seed": 11282,
      "edge": "484.386465"
    },
    {
      "seed": 11283,
      "edge": "463.386835"
    },
    {
      "seed": 11284,
      "edge": "659.568435"
    },
    {
      "seed": 11285,
      "edge": "651.820667"
    },
    {
      "seed": 11286,
      "edge": "503.322243"
    },
    {
      "seed": 11287,
      "edge": "538.647640"
    },
    {
      "seed": 11288,
      "edge": "533.966377"
    },
    {
      "seed": 11289,
      "edge": "492.070143"
    },
    {
      "seed": 11290,
      "edge": "553.172765"
    },
    {
      "seed": 11291,
      "edge": "417.083833"
    },
    {
      "seed": 11292,
      "edge": "589.695915"
    },
    {
      "seed": 11293,
      "edge": "430.272946"
    },
    {
      "seed": 11294,
      "edge": "396.341578"
    },
    {
      "seed": 11295,
      "edge": "402.404305"
    },
    {
      "seed": 11296,
      "edge": "623.183899"
    },
    {
      "seed": 11297,
      "edge": "511.205010"
    },
    {
      "seed": 11298,
      "edge": "581.796487"
    },
    {
      "seed": 11299,
      "edge": "492.072937"
    },
    {
      "seed": 11300,
      "edge": "649.279648"
    },
    {
      "seed": 11301,
      "edge": "507.505198"
    },
    {
      "seed": 11302,
      "edge": "552.978241"
    },
    {
      "seed": 11303,
      "edge": "649.626968"
    },
    {
      "seed": 11304,
      "edge": "415.839471"
    },
    {
      "seed": 11305,
      "edge": "623.061202"
    },
    {
      "seed": 11306,
      "edge": "374.293455"
    },
    {
      "seed": 11307,
      "edge": "430.952513"
    },
    {
      "seed": 11308,
      "edge": "411.477598"
    },
    {
      "seed": 11309,
      "edge": "470.481346"
    },
    {
      "seed": 11310,
      "edge": "538.509395"
    },
    {
      "seed": 11311,
      "edge": "571.548891"
    },
    {
      "seed": 11312,
      "edge": "475.916129"
    },
    {
      "seed": 11313,
      "edge": "607.826578"
    },
    {
      "seed": 11314,
      "edge": "458.710466"
    },
    {
      "seed": 11315,
      "edge": "625.595412"
    },
    {
      "seed": 11316,
      "edge": "472.537503"
    },
    {
      "seed": 11317,
      "edge": "509.091856"
    },
    {
      "seed": 11318,
      "edge": "637.744980"
    },
    {
      "seed": 11319,
      "edge": "575.178834"
    },
    {
      "seed": 11320,
      "edge": "429.863059"
    },
    {
      "seed": 11321,
      "edge": "521.501708"
    },
    {
      "seed": 11322,
      "edge": "621.669574"
    },
    {
      "seed": 11323,
      "edge": "686.938883"
    },
    {
      "seed": 11324,
      "edge": "444.456141"
    },
    {
      "seed": 11325,
      "edge": "622.202490"
    },
    {
      "seed": 11326,
      "edge": "517.230475"
    },
    {
      "seed": 11327,
      "edge": "537.671211"
    },
    {
      "seed": 11328,
      "edge": "375.029730"
    },
    {
      "seed": 11329,
      "edge": "603.064098"
    },
    {
      "seed": 11330,
      "edge": "559.770848"
    },
    {
      "seed": 11331,
      "edge": "389.717193"
    },
    {
      "seed": 11332,
      "edge": "589.539470"
    },
    {
      "seed": 11333,
      "edge": "642.377346"
    },
    {
      "seed": 11334,
      "edge": "546.846553"
    },
    {
      "seed": 11335,
      "edge": "494.695375"
    },
    {
      "seed": 11336,
      "edge": "530.393136"
    },
    {
      "seed": 11337,
      "edge": "494.218096"
    },
    {
      "seed": 11338,
      "edge": "550.429934"
    },
    {
      "seed": 11339,
      "edge": "412.230544"
    },
    {
      "seed": 11340,
      "edge": "382.566941"
    },
    {
      "seed": 11341,
      "edge": "529.444679"
    },
    {
      "seed": 11342,
      "edge": "518.613475"
    },
    {
      "seed": 11343,
      "edge": "588.532320"
    },
    {
      "seed": 11344,
      "edge": "538.391348"
    },
    {
      "seed": 11345,
      "edge": "630.557736"
    },
    {
      "seed": 11346,
      "edge": "570.029698"
    },
    {
      "seed": 11347,
      "edge": "635.369387"
    },
    {
      "seed": 11348,
      "edge": "439.519466"
    },
    {
      "seed": 11349,
      "edge": "494.795194"
    },
    {
      "seed": 11350,
      "edge": "689.083375"
    },
    {
      "seed": 11351,
      "edge": "441.642722"
    },
    {
      "seed": 11352,
      "edge": "459.432903"
    },
    {
      "seed": 11353,
      "edge": "582.667216"
    },
    {
      "seed": 11354,
      "edge": "623.330877"
    },
    {
      "seed": 11355,
      "edge": "548.207822"
    },
    {
      "seed": 11356,
      "edge": "549.893099"
    },
    {
      "seed": 11357,
      "edge": "530.026934"
    },
    {
      "seed": 11358,
      "edge": "573.514867"
    },
    {
      "seed": 11359,
      "edge": "695.792995"
    },
    {
      "seed": 11360,
      "edge": "649.115548"
    },
    {
      "seed": 11361,
      "edge": "428.036384"
    },
    {
      "seed": 11362,
      "edge": "602.263992"
    },
    {
      "seed": 11363,
      "edge": "393.596914"
    },
    {
      "seed": 11364,
      "edge": "471.905640"
    },
    {
      "seed": 11365,
      "edge": "508.333233"
    },
    {
      "seed": 11366,
      "edge": "633.914502"
    },
    {
      "seed": 11367,
      "edge": "487.490571"
    },
    {
      "seed": 11368,
      "edge": "619.015932"
    },
    {
      "seed": 11369,
      "edge": "448.462050"
    },
    {
      "seed": 11370,
      "edge": "550.314930"
    },
    {
      "seed": 11371,
      "edge": "540.134568"
    },
    {
      "seed": 11372,
      "edge": "362.851836"
    },
    {
      "seed": 11373,
      "edge": "579.748567"
    },
    {
      "seed": 11374,
      "edge": "571.276934"
    },
    {
      "seed": 11375,
      "edge": "452.774828"
    },
    {
      "seed": 11376,
      "edge": "553.187170"
    },
    {
      "seed": 11377,
      "edge": "502.389924"
    },
    {
      "seed": 11378,
      "edge": "592.653760"
    },
    {
      "seed": 11379,
      "edge": "535.480315"
    },
    {
      "seed": 11380,
      "edge": "800.668517"
    },
    {
      "seed": 11381,
      "edge": "440.315058"
    },
    {
      "seed": 11382,
      "edge": "452.753440"
    },
    {
      "seed": 11383,
      "edge": "682.410039"
    },
    {
      "seed": 11384,
      "edge": "503.227720"
    },
    {
      "seed": 11385,
      "edge": "482.038765"
    },
    {
      "seed": 11386,
      "edge": "511.826964"
    },
    {
      "seed": 11387,
      "edge": "789.481670"
    },
    {
      "seed": 11388,
      "edge": "642.505101"
    },
    {
      "seed": 11389,
      "edge": "331.784312"
    },
    {
      "seed": 11390,
      "edge": "694.963916"
    },
    {
      "seed": 11391,
      "edge": "361.149418"
    },
    {
      "seed": 11392,
      "edge": "591.687080"
    },
    {
      "seed": 11393,
      "edge": "468.793359"
    },
    {
      "seed": 11394,
      "edge": "415.167427"
    },
    {
      "seed": 11395,
      "edge": "630.740619"
    },
    {
      "seed": 11396,
      "edge": "417.371568"
    },
    {
      "seed": 11397,
      "edge": "440.321826"
    },
    {
      "seed": 11398,
      "edge": "427.944842"
    },
    {
      "seed": 11399,
      "edge": "538.040382"
    },
    {
      "seed": 11400,
      "edge": "502.004904"
    },
    {
      "seed": 11401,
      "edge": "348.925978"
    },
    {
      "seed": 11402,
      "edge": "474.222457"
    },
    {
      "seed": 11403,
      "edge": "580.916000"
    },
    {
      "seed": 11404,
      "edge": "491.133421"
    },
    {
      "seed": 11405,
      "edge": "526.602738"
    },
    {
      "seed": 11406,
      "edge": "516.046068"
    },
    {
      "seed": 11407,
      "edge": "523.877190"
    },
    {
      "seed": 11408,
      "edge": "388.085720"
    },
    {
      "seed": 11409,
      "edge": "536.304738"
    },
    {
      "seed": 11410,
      "edge": "470.916283"
    },
    {
      "seed": 11411,
      "edge": "554.538789"
    },
    {
      "seed": 11412,
      "edge": "615.205259"
    },
    {
      "seed": 11413,
      "edge": "504.554942"
    },
    {
      "seed": 11414,
      "edge": "512.843470"
    },
    {
      "seed": 11415,
      "edge": "498.043526"
    },
    {
      "seed": 11416,
      "edge": "509.190331"
    },
    {
      "seed": 11417,
      "edge": "611.233273"
    },
    {
      "seed": 11418,
      "edge": "537.455163"
    },
    {
      "seed": 11419,
      "edge": "527.261078"
    },
    {
      "seed": 11420,
      "edge": "502.368776"
    },
    {
      "seed": 11421,
      "edge": "462.643354"
    },
    {
      "seed": 11422,
      "edge": "474.692659"
    },
    {
      "seed": 11423,
      "edge": "330.022287"
    },
    {
      "seed": 11424,
      "edge": "426.547677"
    },
    {
      "seed": 11425,
      "edge": "554.860876"
    },
    {
      "seed": 11426,
      "edge": "543.857619"
    },
    {
      "seed": 11427,
      "edge": "480.020601"
    },
    {
      "seed": 11428,
      "edge": "534.910638"
    },
    {
      "seed": 11429,
      "edge": "500.411725"
    },
    {
      "seed": 11430,
      "edge": "567.200291"
    },
    {
      "seed": 11431,
      "edge": "537.177324"
    },
    {
      "seed": 11432,
      "edge": "421.216016"
    },
    {
      "seed": 11433,
      "edge": "416.928210"
    },
    {
      "seed": 11434,
      "edge": "547.968985"
    },
    {
      "seed": 11435,
      "edge": "483.284317"
    },
    {
      "seed": 11436,
      "edge": "465.196259"
    },
    {
      "seed": 11437,
      "edge": "599.229495"
    },
    {
      "seed": 11438,
      "edge": "545.454252"
    },
    {
      "seed": 11439,
      "edge": "465.494661"
    },
    {
      "seed": 11440,
      "edge": "596.091110"
    },
    {
      "seed": 11441,
      "edge": "565.315438"
    },
    {
      "seed": 11442,
      "edge": "549.945548"
    },
    {
      "seed": 11443,
      "edge": "505.982707"
    },
    {
      "seed": 11444,
      "edge": "537.260449"
    },
    {
      "seed": 11445,
      "edge": "472.363905"
    },
    {
      "seed": 11446,
      "edge": "595.310698"
    },
    {
      "seed": 11447,
      "edge": "366.787541"
    },
    {
      "seed": 11448,
      "edge": "504.488024"
    },
    {
      "seed": 11449,
      "edge": "428.271275"
    },
    {
      "seed": 11450,
      "edge": "551.262524"
    },
    {
      "seed": 11451,
      "edge": "606.753435"
    },
    {
      "seed": 11452,
      "edge": "477.625305"
    },
    {
      "seed": 11453,
      "edge": "483.730206"
    },
    {
      "seed": 11454,
      "edge": "623.309070"
    },
    {
      "seed": 11455,
      "edge": "781.442480"
    },
    {
      "seed": 11456,
      "edge": "433.713116"
    },
    {
      "seed": 11457,
      "edge": "458.626350"
    },
    {
      "seed": 11458,
      "edge": "586.099277"
    },
    {
      "seed": 11459,
      "edge": "382.667470"
    },
    {
      "seed": 11460,
      "edge": "422.579621"
    },
    {
      "seed": 11461,
      "edge": "413.111639"
    },
    {
      "seed": 11462,
      "edge": "574.560051"
    },
    {
      "seed": 11463,
      "edge": "510.039374"
    },
    {
      "seed": 11464,
      "edge": "599.939918"
    },
    {
      "seed": 11465,
      "edge": "490.818627"
    },
    {
      "seed": 11466,
      "edge": "631.442342"
    },
    {
      "seed": 11467,
      "edge": "601.596950"
    },
    {
      "seed": 11468,
      "edge": "578.686237"
    },
    {
      "seed": 11469,
      "edge": "578.773829"
    },
    {
      "seed": 11470,
      "edge": "457.194304"
    },
    {
      "seed": 11471,
      "edge": "473.472100"
    },
    {
      "seed": 11472,
      "edge": "460.371421"
    },
    {
      "seed": 11473,
      "edge": "421.436477"
    },
    {
      "seed": 11474,
      "edge": "558.754863"
    },
    {
      "seed": 11475,
      "edge": "585.734099"
    },
    {
      "seed": 11476,
      "edge": "541.712641"
    },
    {
      "seed": 11477,
      "edge": "583.126337"
    },
    {
      "seed": 11478,
      "edge": "574.597998"
    },
    {
      "seed": 11479,
      "edge": "552.441757"
    },
    {
      "seed": 11480,
      "edge": "560.730422"
    },
    {
      "seed": 11481,
      "edge": "550.913646"
    },
    {
      "seed": 11482,
      "edge": "453.636819"
    },
    {
      "seed": 11483,
      "edge": "740.778870"
    },
    {
      "seed": 11484,
      "edge": "567.976464"
    },
    {
      "seed": 11485,
      "edge": "487.347689"
    },
    {
      "seed": 11486,
      "edge": "671.140925"
    },
    {
      "seed": 11487,
      "edge": "670.380248"
    },
    {
      "seed": 11488,
      "edge": "503.325146"
    },
    {
      "seed": 11489,
      "edge": "388.418130"
    },
    {
      "seed": 11490,
      "edge": "635.658291"
    },
    {
      "seed": 11491,
      "edge": "424.025565"
    },
    {
      "seed": 11492,
      "edge": "632.279612"
    },
    {
      "seed": 11493,
      "edge": "624.823264"
    },
    {
      "seed": 11494,
      "edge": "504.119189"
    },
    {
      "seed": 11495,
      "edge": "395.168154"
    },
    {
      "seed": 11496,
      "edge": "424.177088"
    },
    {
      "seed": 11497,
      "edge": "476.970686"
    },
    {
      "seed": 11498,
      "edge": "602.348773"
    },
    {
      "seed": 11499,
      "edge": "548.067331"
    },
    {
      "seed": 11500,
      "edge": "631.510380"
    },
    {
      "seed": 11501,
      "edge": "436.764149"
    },
    {
      "seed": 11502,
      "edge": "358.674919"
    },
    {
      "seed": 11503,
      "edge": "473.621326"
    },
    {
      "seed": 11504,
      "edge": "669.327613"
    },
    {
      "seed": 11505,
      "edge": "599.164666"
    },
    {
      "seed": 11506,
      "edge": "614.351269"
    },
    {
      "seed": 11507,
      "edge": "611.995208"
    },
    {
      "seed": 11508,
      "edge": "357.870945"
    },
    {
      "seed": 11509,
      "edge": "593.746235"
    },
    {
      "seed": 11510,
      "edge": "556.332533"
    },
    {
      "seed": 11511,
      "edge": "547.832101"
    },
    {
      "seed": 11512,
      "edge": "347.607468"
    },
    {
      "seed": 11513,
      "edge": "439.260658"
    },
    {
      "seed": 11514,
      "edge": "428.602799"
    },
    {
      "seed": 11515,
      "edge": "433.334607"
    },
    {
      "seed": 11516,
      "edge": "597.176428"
    },
    {
      "seed": 11517,
      "edge": "580.726386"
    },
    {
      "seed": 11518,
      "edge": "455.337181"
    },
    {
      "seed": 11519,
      "edge": "523.165660"
    },
    {
      "seed": 11520,
      "edge": "649.388790"
    },
    {
      "seed": 11521,
      "edge": "514.243141"
    },
    {
      "seed": 11522,
      "edge": "445.811287"
    },
    {
      "seed": 11523,
      "edge": "384.181539"
    },
    {
      "seed": 11524,
      "edge": "508.164588"
    },
    {
      "seed": 11525,
      "edge": "426.673438"
    },
    {
      "seed": 11526,
      "edge": "622.402032"
    },
    {
      "seed": 11527,
      "edge": "573.201172"
    },
    {
      "seed": 11528,
      "edge": "423.560557"
    },
    {
      "seed": 11529,
      "edge": "419.575873"
    },
    {
      "seed": 11530,
      "edge": "529.566108"
    },
    {
      "seed": 11531,
      "edge": "433.369999"
    },
    {
      "seed": 11532,
      "edge": "462.974343"
    },
    {
      "seed": 11533,
      "edge": "633.449534"
    },
    {
      "seed": 11534,
      "edge": "488.577462"
    },
    {
      "seed": 11535,
      "edge": "531.722529"
    },
    {
      "seed": 11536,
      "edge": "428.761712"
    },
    {
      "seed": 11537,
      "edge": "518.167962"
    },
    {
      "seed": 11538,
      "edge": "583.835175"
    },
    {
      "seed": 11539,
      "edge": "554.953909"
    },
    {
      "seed": 11540,
      "edge": "777.388686"
    },
    {
      "seed": 11541,
      "edge": "572.013821"
    },
    {
      "seed": 11542,
      "edge": "383.231175"
    },
    {
      "seed": 11543,
      "edge": "484.823442"
    },
    {
      "seed": 11544,
      "edge": "530.360721"
    },
    {
      "seed": 11545,
      "edge": "364.888986"
    },
    {
      "seed": 11546,
      "edge": "472.838666"
    },
    {
      "seed": 11547,
      "edge": "360.361359"
    },
    {
      "seed": 11548,
      "edge": "451.680652"
    },
    {
      "seed": 11549,
      "edge": "495.510195"
    },
    {
      "seed": 11550,
      "edge": "558.300689"
    },
    {
      "seed": 11551,
      "edge": "541.163185"
    },
    {
      "seed": 11552,
      "edge": "564.638190"
    },
    {
      "seed": 11553,
      "edge": "690.811688"
    },
    {
      "seed": 11554,
      "edge": "621.967240"
    },
    {
      "seed": 11555,
      "edge": "681.638146"
    },
    {
      "seed": 11556,
      "edge": "445.066031"
    },
    {
      "seed": 11557,
      "edge": "584.757222"
    },
    {
      "seed": 11558,
      "edge": "667.706253"
    },
    {
      "seed": 11559,
      "edge": "625.083399"
    },
    {
      "seed": 11560,
      "edge": "519.903328"
    },
    {
      "seed": 11561,
      "edge": "525.340220"
    },
    {
      "seed": 11562,
      "edge": "398.352821"
    },
    {
      "seed": 11563,
      "edge": "423.712255"
    },
    {
      "seed": 11564,
      "edge": "612.959357"
    },
    {
      "seed": 11565,
      "edge": "657.655912"
    },
    {
      "seed": 11566,
      "edge": "410.245224"
    },
    {
      "seed": 11567,
      "edge": "545.441572"
    },
    {
      "seed": 11568,
      "edge": "595.641133"
    },
    {
      "seed": 11569,
      "edge": "438.757451"
    },
    {
      "seed": 11570,
      "edge": "581.872656"
    },
    {
      "seed": 11571,
      "edge": "600.629049"
    },
    {
      "seed": 11572,
      "edge": "523.919368"
    },
    {
      "seed": 11573,
      "edge": "669.772707"
    },
    {
      "seed": 11574,
      "edge": "425.234063"
    },
    {
      "seed": 11575,
      "edge": "434.109593"
    },
    {
      "seed": 11576,
      "edge": "438.367799"
    },
    {
      "seed": 11577,
      "edge": "424.937975"
    },
    {
      "seed": 11578,
      "edge": "705.354031"
    },
    {
      "seed": 11579,
      "edge": "659.923058"
    },
    {
      "seed": 11580,
      "edge": "509.317951"
    },
    {
      "seed": 11581,
      "edge": "433.466594"
    },
    {
      "seed": 11582,
      "edge": "567.920068"
    },
    {
      "seed": 11583,
      "edge": "531.207583"
    },
    {
      "seed": 11584,
      "edge": "569.779906"
    },
    {
      "seed": 11585,
      "edge": "577.040192"
    },
    {
      "seed": 11586,
      "edge": "387.876724"
    },
    {
      "seed": 11587,
      "edge": "560.934895"
    },
    {
      "seed": 11588,
      "edge": "581.406729"
    },
    {
      "seed": 11589,
      "edge": "689.078994"
    },
    {
      "seed": 11590,
      "edge": "554.697408"
    },
    {
      "seed": 11591,
      "edge": "528.360434"
    },
    {
      "seed": 11592,
      "edge": "348.180400"
    },
    {
      "seed": 11593,
      "edge": "393.030304"
    },
    {
      "seed": 11594,
      "edge": "387.106857"
    },
    {
      "seed": 11595,
      "edge": "589.613742"
    },
    {
      "seed": 11596,
      "edge": "603.592538"
    },
    {
      "seed": 11597,
      "edge": "661.074222"
    },
    {
      "seed": 11598,
      "edge": "500.489310"
    },
    {
      "seed": 11599,
      "edge": "346.493778"
    },
    {
      "seed": 11600,
      "edge": "464.299248"
    },
    {
      "seed": 11601,
      "edge": "722.308090"
    },
    {
      "seed": 11602,
      "edge": "581.759623"
    },
    {
      "seed": 11603,
      "edge": "615.771007"
    },
    {
      "seed": 11604,
      "edge": "520.546819"
    },
    {
      "seed": 11605,
      "edge": "528.543173"
    },
    {
      "seed": 11606,
      "edge": "417.131987"
    },
    {
      "seed": 11607,
      "edge": "545.615974"
    },
    {
      "seed": 11608,
      "edge": "401.336786"
    },
    {
      "seed": 11609,
      "edge": "579.641922"
    },
    {
      "seed": 11610,
      "edge": "618.530396"
    },
    {
      "seed": 11611,
      "edge": "480.034374"
    },
    {
      "seed": 11612,
      "edge": "532.283494"
    },
    {
      "seed": 11613,
      "edge": "591.677320"
    },
    {
      "seed": 11614,
      "edge": "414.228780"
    },
    {
      "seed": 11615,
      "edge": "623.571208"
    },
    {
      "seed": 11616,
      "edge": "469.888250"
    },
    {
      "seed": 11617,
      "edge": "599.194482"
    },
    {
      "seed": 11618,
      "edge": "689.203893"
    },
    {
      "seed": 11619,
      "edge": "515.326728"
    },
    {
      "seed": 11620,
      "edge": "547.800493"
    },
    {
      "seed": 11621,
      "edge": "564.363121"
    },
    {
      "seed": 11622,
      "edge": "623.302488"
    },
    {
      "seed": 11623,
      "edge": "495.841333"
    },
    {
      "seed": 11624,
      "edge": "581.759091"
    },
    {
      "seed": 11625,
      "edge": "628.498279"
    },
    {
      "seed": 11626,
      "edge": "417.277272"
    },
    {
      "seed": 11627,
      "edge": "524.030176"
    },
    {
      "seed": 11628,
      "edge": "742.527981"
    },
    {
      "seed": 11629,
      "edge": "401.376112"
    },
    {
      "seed": 11630,
      "edge": "574.906958"
    },
    {
      "seed": 11631,
      "edge": "538.200156"
    },
    {
      "seed": 11632,
      "edge": "659.633635"
    },
    {
      "seed": 11633,
      "edge": "539.934819"
    },
    {
      "seed": 11634,
      "edge": "470.068368"
    },
    {
      "seed": 11635,
      "edge": "624.712361"
    },
    {
      "seed": 11636,
      "edge": "540.526448"
    },
    {
      "seed": 11637,
      "edge": "454.234810"
    },
    {
      "seed": 11638,
      "edge": "392.316075"
    },
    {
      "seed": 11639,
      "edge": "371.914802"
    },
    {
      "seed": 11640,
      "edge": "588.531216"
    },
    {
      "seed": 11641,
      "edge": "468.380143"
    },
    {
      "seed": 11642,
      "edge": "655.497050"
    },
    {
      "seed": 11643,
      "edge": "606.266168"
    },
    {
      "seed": 11644,
      "edge": "471.794582"
    },
    {
      "seed": 11645,
      "edge": "656.105079"
    },
    {
      "seed": 11646,
      "edge": "637.472524"
    },
    {
      "seed": 11647,
      "edge": "664.463031"
    },
    {
      "seed": 11648,
      "edge": "644.500438"
    },
    {
      "seed": 11649,
      "edge": "510.366194"
    },
    {
      "seed": 11650,
      "edge": "434.467641"
    },
    {
      "seed": 11651,
      "edge": "653.982699"
    },
    {
      "seed": 11652,
      "edge": "647.596395"
    },
    {
      "seed": 11653,
      "edge": "379.136991"
    },
    {
      "seed": 11654,
      "edge": "440.967952"
    },
    {
      "seed": 11655,
      "edge": "451.791488"
    },
    {
      "seed": 11656,
      "edge": "611.362416"
    },
    {
      "seed": 11657,
      "edge": "613.076774"
    },
    {
      "seed": 11658,
      "edge": "604.647445"
    },
    {
      "seed": 11659,
      "edge": "621.338198"
    },
    {
      "seed": 11660,
      "edge": "601.679017"
    },
    {
      "seed": 11661,
      "edge": "601.545733"
    },
    {
      "seed": 11662,
      "edge": "417.292783"
    },
    {
      "seed": 11663,
      "edge": "504.985943"
    },
    {
      "seed": 11664,
      "edge": "477.680736"
    },
    {
      "seed": 11665,
      "edge": "574.720399"
    },
    {
      "seed": 11666,
      "edge": "526.721791"
    },
    {
      "seed": 11667,
      "edge": "517.073495"
    },
    {
      "seed": 11668,
      "edge": "545.690259"
    },
    {
      "seed": 11669,
      "edge": "612.750453"
    },
    {
      "seed": 11670,
      "edge": "464.881275"
    },
    {
      "seed": 11671,
      "edge": "574.035563"
    },
    {
      "seed": 11672,
      "edge": "468.457076"
    },
    {
      "seed": 11673,
      "edge": "468.074162"
    },
    {
      "seed": 11674,
      "edge": "541.533563"
    },
    {
      "seed": 11675,
      "edge": "445.092206"
    },
    {
      "seed": 11676,
      "edge": "663.088193"
    },
    {
      "seed": 11677,
      "edge": "580.962476"
    },
    {
      "seed": 11678,
      "edge": "541.571796"
    },
    {
      "seed": 11679,
      "edge": "481.624544"
    },
    {
      "seed": 11680,
      "edge": "442.344231"
    },
    {
      "seed": 11681,
      "edge": "482.875759"
    },
    {
      "seed": 11682,
      "edge": "515.761617"
    },
    {
      "seed": 11683,
      "edge": "625.314107"
    },
    {
      "seed": 11684,
      "edge": "480.377972"
    },
    {
      "seed": 11685,
      "edge": "581.925206"
    },
    {
      "seed": 11686,
      "edge": "522.268987"
    },
    {
      "seed": 11687,
      "edge": "562.749442"
    },
    {
      "seed": 11688,
      "edge": "422.791719"
    },
    {
      "seed": 11689,
      "edge": "375.570556"
    },
    {
      "seed": 11690,
      "edge": "444.285652"
    },
    {
      "seed": 11691,
      "edge": "458.010319"
    },
    {
      "seed": 11692,
      "edge": "595.969315"
    },
    {
      "seed": 11693,
      "edge": "638.982787"
    },
    {
      "seed": 11694,
      "edge": "539.118373"
    },
    {
      "seed": 11695,
      "edge": "595.976986"
    },
    {
      "seed": 11696,
      "edge": "710.094987"
    },
    {
      "seed": 11697,
      "edge": "611.976130"
    },
    {
      "seed": 11698,
      "edge": "505.242496"
    },
    {
      "seed": 11699,
      "edge": "577.146076"
    },
    {
      "seed": 11700,
      "edge": "489.742632"
    },
    {
      "seed": 11701,
      "edge": "647.900420"
    },
    {
      "seed": 11702,
      "edge": "654.513477"
    },
    {
      "seed": 11703,
      "edge": "575.964038"
    },
    {
      "seed": 11704,
      "edge": "549.790956"
    },
    {
      "seed": 11705,
      "edge": "636.606652"
    },
    {
      "seed": 11706,
      "edge": "509.360715"
    },
    {
      "seed": 11707,
      "edge": "450.218693"
    },
    {
      "seed": 11708,
      "edge": "537.941181"
    },
    {
      "seed": 11709,
      "edge": "594.384342"
    },
    {
      "seed": 11710,
      "edge": "494.029081"
    },
    {
      "seed": 11711,
      "edge": "413.632879"
    },
    {
      "seed": 11712,
      "edge": "501.518820"
    },
    {
      "seed": 11713,
      "edge": "535.517722"
    },
    {
      "seed": 11714,
      "edge": "530.528156"
    },
    {
      "seed": 11715,
      "edge": "537.576447"
    },
    {
      "seed": 11716,
      "edge": "424.273390"
    },
    {
      "seed": 11717,
      "edge": "393.912947"
    },
    {
      "seed": 11718,
      "edge": "422.513389"
    },
    {
      "seed": 11719,
      "edge": "627.424054"
    },
    {
      "seed": 11720,
      "edge": "475.685839"
    },
    {
      "seed": 11721,
      "edge": "378.958447"
    },
    {
      "seed": 11722,
      "edge": "479.527339"
    },
    {
      "seed": 11723,
      "edge": "468.602335"
    },
    {
      "seed": 11724,
      "edge": "455.275132"
    },
    {
      "seed": 11725,
      "edge": "524.644954"
    },
    {
      "seed": 11726,
      "edge": "441.830296"
    },
    {
      "seed": 11727,
      "edge": "612.992260"
    },
    {
      "seed": 11728,
      "edge": "664.472683"
    },
    {
      "seed": 11729,
      "edge": "528.177207"
    },
    {
      "seed": 11730,
      "edge": "708.518846"
    },
    {
      "seed": 11731,
      "edge": "471.799995"
    },
    {
      "seed": 11732,
      "edge": "383.765967"
    },
    {
      "seed": 11733,
      "edge": "617.800972"
    },
    {
      "seed": 11734,
      "edge": "576.404637"
    },
    {
      "seed": 11735,
      "edge": "549.253399"
    },
    {
      "seed": 11736,
      "edge": "515.400578"
    },
    {
      "seed": 11737,
      "edge": "730.668393"
    },
    {
      "seed": 11738,
      "edge": "361.006369"
    },
    {
      "seed": 11739,
      "edge": "635.970332"
    },
    {
      "seed": 11740,
      "edge": "616.383946"
    },
    {
      "seed": 11741,
      "edge": "691.334115"
    },
    {
      "seed": 11742,
      "edge": "394.770954"
    },
    {
      "seed": 11743,
      "edge": "568.214426"
    },
    {
      "seed": 11744,
      "edge": "547.857423"
    },
    {
      "seed": 11745,
      "edge": "440.099666"
    },
    {
      "seed": 11746,
      "edge": "637.627027"
    },
    {
      "seed": 11747,
      "edge": "630.990481"
    },
    {
      "seed": 11748,
      "edge": "572.682587"
    },
    {
      "seed": 11749,
      "edge": "583.500716"
    },
    {
      "seed": 11750,
      "edge": "423.181900"
    },
    {
      "seed": 11751,
      "edge": "624.603616"
    },
    {
      "seed": 11752,
      "edge": "389.746127"
    },
    {
      "seed": 11753,
      "edge": "583.240569"
    },
    {
      "seed": 11754,
      "edge": "496.216954"
    },
    {
      "seed": 11755,
      "edge": "566.281903"
    },
    {
      "seed": 11756,
      "edge": "645.043740"
    },
    {
      "seed": 11757,
      "edge": "487.895467"
    },
    {
      "seed": 11758,
      "edge": "600.369760"
    },
    {
      "seed": 11759,
      "edge": "571.473927"
    },
    {
      "seed": 11760,
      "edge": "531.103870"
    },
    {
      "seed": 11761,
      "edge": "558.465614"
    },
    {
      "seed": 11762,
      "edge": "643.340641"
    },
    {
      "seed": 11763,
      "edge": "608.762412"
    },
    {
      "seed": 11764,
      "edge": "426.581166"
    },
    {
      "seed": 11765,
      "edge": "665.141784"
    },
    {
      "seed": 11766,
      "edge": "479.001125"
    },
    {
      "seed": 11767,
      "edge": "535.965119"
    },
    {
      "seed": 11768,
      "edge": "436.103508"
    },
    {
      "seed": 11769,
      "edge": "600.666676"
    },
    {
      "seed": 11770,
      "edge": "679.477798"
    },
    {
      "seed": 11771,
      "edge": "462.550987"
    },
    {
      "seed": 11772,
      "edge": "521.745517"
    },
    {
      "seed": 11773,
      "edge": "387.108284"
    },
    {
      "seed": 11774,
      "edge": "535.649517"
    },
    {
      "seed": 11775,
      "edge": "447.438194"
    },
    {
      "seed": 11776,
      "edge": "634.593592"
    },
    {
      "seed": 11777,
      "edge": "405.771472"
    },
    {
      "seed": 11778,
      "edge": "771.372290"
    },
    {
      "seed": 11779,
      "edge": "447.343215"
    },
    {
      "seed": 11780,
      "edge": "487.102076"
    },
    {
      "seed": 11781,
      "edge": "706.729963"
    },
    {
      "seed": 11782,
      "edge": "528.185908"
    },
    {
      "seed": 11783,
      "edge": "621.180371"
    },
    {
      "seed": 11784,
      "edge": "397.482679"
    },
    {
      "seed": 11785,
      "edge": "554.824950"
    },
    {
      "seed": 11786,
      "edge": "497.367467"
    },
    {
      "seed": 11787,
      "edge": "537.867974"
    },
    {
      "seed": 11788,
      "edge": "381.397220"
    },
    {
      "seed": 11789,
      "edge": "556.000855"
    },
    {
      "seed": 11790,
      "edge": "590.395113"
    },
    {
      "seed": 11791,
      "edge": "712.576484"
    },
    {
      "seed": 11792,
      "edge": "721.599782"
    },
    {
      "seed": 11793,
      "edge": "469.249977"
    },
    {
      "seed": 11794,
      "edge": "488.274117"
    },
    {
      "seed": 11795,
      "edge": "527.804889"
    },
    {
      "seed": 11796,
      "edge": "522.816107"
    },
    {
      "seed": 11797,
      "edge": "517.898725"
    },
    {
      "seed": 11798,
      "edge": "442.604502"
    },
    {
      "seed": 11799,
      "edge": "536.964019"
    },
    {
      "seed": 11800,
      "edge": "465.961481"
    },
    {
      "seed": 11801,
      "edge": "567.245617"
    },
    {
      "seed": 11802,
      "edge": "584.215906"
    },
    {
      "seed": 11803,
      "edge": "405.366718"
    },
    {
      "seed": 11804,
      "edge": "441.285381"
    },
    {
      "seed": 11805,
      "edge": "690.864909"
    },
    {
      "seed": 11806,
      "edge": "549.941781"
    },
    {
      "seed": 11807,
      "edge": "410.502993"
    },
    {
      "seed": 11808,
      "edge": "621.669975"
    },
    {
      "seed": 11809,
      "edge": "600.236655"
    },
    {
      "seed": 11810,
      "edge": "712.024097"
    },
    {
      "seed": 11811,
      "edge": "464.064804"
    },
    {
      "seed": 11812,
      "edge": "513.018899"
    },
    {
      "seed": 11813,
      "edge": "668.375174"
    },
    {
      "seed": 11814,
      "edge": "425.114976"
    },
    {
      "seed": 11815,
      "edge": "599.330072"
    },
    {
      "seed": 11816,
      "edge": "403.137743"
    },
    {
      "seed": 11817,
      "edge": "457.788614"
    },
    {
      "seed": 11818,
      "edge": "441.467980"
    },
    {
      "seed": 11819,
      "edge": "409.899880"
    },
    {
      "seed": 11820,
      "edge": "470.535104"
    },
    {
      "seed": 11821,
      "edge": "489.161009"
    },
    {
      "seed": 11822,
      "edge": "695.591993"
    },
    {
      "seed": 11823,
      "edge": "383.879502"
    },
    {
      "seed": 11824,
      "edge": "498.418192"
    },
    {
      "seed": 11825,
      "edge": "456.691072"
    },
    {
      "seed": 11826,
      "edge": "629.115849"
    },
    {
      "seed": 11827,
      "edge": "544.481843"
    },
    {
      "seed": 11828,
      "edge": "353.094330"
    },
    {
      "seed": 11829,
      "edge": "507.137866"
    },
    {
      "seed": 11830,
      "edge": "477.775601"
    },
    {
      "seed": 11831,
      "edge": "628.019204"
    },
    {
      "seed": 11832,
      "edge": "427.366992"
    },
    {
      "seed": 11833,
      "edge": "469.986506"
    },
    {
      "seed": 11834,
      "edge": "560.610248"
    },
    {
      "seed": 11835,
      "edge": "500.905387"
    },
    {
      "seed": 11836,
      "edge": "531.942939"
    },
    {
      "seed": 11837,
      "edge": "578.739814"
    },
    {
      "seed": 11838,
      "edge": "600.156253"
    },
    {
      "seed": 11839,
      "edge": "656.363872"
    },
    {
      "seed": 11840,
      "edge": "558.554206"
    },
    {
      "seed": 11841,
      "edge": "414.981813"
    },
    {
      "seed": 11842,
      "edge": "433.854292"
    },
    {
      "seed": 11843,
      "edge": "531.559642"
    },
    {
      "seed": 11844,
      "edge": "627.599731"
    },
    {
      "seed": 11845,
      "edge": "653.946979"
    },
    {
      "seed": 11846,
      "edge": "431.845347"
    },
    {
      "seed": 11847,
      "edge": "436.901866"
    },
    {
      "seed": 11848,
      "edge": "458.428055"
    },
    {
      "seed": 11849,
      "edge": "650.311177"
    },
    {
      "seed": 11850,
      "edge": "550.873748"
    },
    {
      "seed": 11851,
      "edge": "574.979566"
    },
    {
      "seed": 11852,
      "edge": "577.458213"
    },
    {
      "seed": 11853,
      "edge": "442.416664"
    },
    {
      "seed": 11854,
      "edge": "433.401776"
    },
    {
      "seed": 11855,
      "edge": "525.589798"
    },
    {
      "seed": 11856,
      "edge": "468.233702"
    },
    {
      "seed": 11857,
      "edge": "604.153231"
    },
    {
      "seed": 11858,
      "edge": "435.997711"
    },
    {
      "seed": 11859,
      "edge": "702.930072"
    },
    {
      "seed": 11860,
      "edge": "430.883985"
    },
    {
      "seed": 11861,
      "edge": "621.139734"
    },
    {
      "seed": 11862,
      "edge": "397.945958"
    },
    {
      "seed": 11863,
      "edge": "701.312627"
    },
    {
      "seed": 11864,
      "edge": "346.133488"
    },
    {
      "seed": 11865,
      "edge": "608.991476"
    },
    {
      "seed": 11866,
      "edge": "599.494617"
    },
    {
      "seed": 11867,
      "edge": "563.873423"
    },
    {
      "seed": 11868,
      "edge": "523.664105"
    },
    {
      "seed": 11869,
      "edge": "625.045894"
    },
    {
      "seed": 11870,
      "edge": "651.676371"
    },
    {
      "seed": 11871,
      "edge": "574.216581"
    },
    {
      "seed": 11872,
      "edge": "527.684654"
    },
    {
      "seed": 11873,
      "edge": "498.179065"
    },
    {
      "seed": 11874,
      "edge": "355.748003"
    },
    {
      "seed": 11875,
      "edge": "698.554875"
    },
    {
      "seed": 11876,
      "edge": "405.102858"
    },
    {
      "seed": 11877,
      "edge": "362.550339"
    },
    {
      "seed": 11878,
      "edge": "592.141307"
    },
    {
      "seed": 11879,
      "edge": "544.880979"
    },
    {
      "seed": 11880,
      "edge": "567.122327"
    },
    {
      "seed": 11881,
      "edge": "431.077931"
    },
    {
      "seed": 11882,
      "edge": "444.606170"
    },
    {
      "seed": 11883,
      "edge": "430.126773"
    },
    {
      "seed": 11884,
      "edge": "527.883063"
    },
    {
      "seed": 11885,
      "edge": "556.404673"
    },
    {
      "seed": 11886,
      "edge": "607.231631"
    },
    {
      "seed": 11887,
      "edge": "495.013092"
    },
    {
      "seed": 11888,
      "edge": "631.679756"
    },
    {
      "seed": 11889,
      "edge": "457.069637"
    },
    {
      "seed": 11890,
      "edge": "391.134449"
    },
    {
      "seed": 11891,
      "edge": "404.826185"
    },
    {
      "seed": 11892,
      "edge": "585.224377"
    },
    {
      "seed": 11893,
      "edge": "672.235525"
    },
    {
      "seed": 11894,
      "edge": "532.621291"
    },
    {
      "seed": 11895,
      "edge": "506.062492"
    },
    {
      "seed": 11896,
      "edge": "588.552610"
    },
    {
      "seed": 11897,
      "edge": "582.049775"
    },
    {
      "seed": 11898,
      "edge": "581.102093"
    },
    {
      "seed": 11899,
      "edge": "393.812473"
    },
    {
      "seed": 11900,
      "edge": "608.996998"
    },
    {
      "seed": 11901,
      "edge": "429.053804"
    },
    {
      "seed": 11902,
      "edge": "432.216474"
    },
    {
      "seed": 11903,
      "edge": "398.659883"
    },
    {
      "seed": 11904,
      "edge": "446.476922"
    },
    {
      "seed": 11905,
      "edge": "463.835098"
    },
    {
      "seed": 11906,
      "edge": "391.325185"
    },
    {
      "seed": 11907,
      "edge": "593.554244"
    },
    {
      "seed": 11908,
      "edge": "547.818610"
    },
    {
      "seed": 11909,
      "edge": "408.435124"
    },
    {
      "seed": 11910,
      "edge": "713.839738"
    },
    {
      "seed": 11911,
      "edge": "733.050916"
    },
    {
      "seed": 11912,
      "edge": "512.315746"
    },
    {
      "seed": 11913,
      "edge": "407.488141"
    },
    {
      "seed": 11914,
      "edge": "420.591049"
    },
    {
      "seed": 11915,
      "edge": "485.090821"
    },
    {
      "seed": 11916,
      "edge": "375.031631"
    },
    {
      "seed": 11917,
      "edge": "607.014292"
    },
    {
      "seed": 11918,
      "edge": "720.868809"
    },
    {
      "seed": 11919,
      "edge": "598.680952"
    },
    {
      "seed": 11920,
      "edge": "605.084125"
    },
    {
      "seed": 11921,
      "edge": "799.940964"
    },
    {
      "seed": 11922,
      "edge": "623.044747"
    },
    {
      "seed": 11923,
      "edge": "388.833828"
    },
    {
      "seed": 11924,
      "edge": "481.842225"
    },
    {
      "seed": 11925,
      "edge": "411.010861"
    },
    {
      "seed": 11926,
      "edge": "605.030776"
    },
    {
      "seed": 11927,
      "edge": "402.950922"
    },
    {
      "seed": 11928,
      "edge": "513.058364"
    },
    {
      "seed": 11929,
      "edge": "648.670005"
    },
    {
      "seed": 11930,
      "edge": "661.253193"
    },
    {
      "seed": 11931,
      "edge": "670.664467"
    },
    {
      "seed": 11932,
      "edge": "548.298165"
    },
    {
      "seed": 11933,
      "edge": "455.977188"
    },
    {
      "seed": 11934,
      "edge": "519.024911"
    },
    {
      "seed": 11935,
      "edge": "654.228560"
    },
    {
      "seed": 11936,
      "edge": "439.478001"
    },
    {
      "seed": 11937,
      "edge": "555.102267"
    },
    {
      "seed": 11938,
      "edge": "419.893304"
    },
    {
      "seed": 11939,
      "edge": "578.314081"
    },
    {
      "seed": 11940,
      "edge": "409.594192"
    },
    {
      "seed": 11941,
      "edge": "415.961034"
    },
    {
      "seed": 11942,
      "edge": "467.300544"
    },
    {
      "seed": 11943,
      "edge": "492.045396"
    },
    {
      "seed": 11944,
      "edge": "611.674050"
    },
    {
      "seed": 11945,
      "edge": "527.735551"
    },
    {
      "seed": 11946,
      "edge": "472.998288"
    },
    {
      "seed": 11947,
      "edge": "624.978088"
    },
    {
      "seed": 11948,
      "edge": "479.210077"
    },
    {
      "seed": 11949,
      "edge": "455.190779"
    },
    {
      "seed": 11950,
      "edge": "750.137517"
    },
    {
      "seed": 11951,
      "edge": "333.487108"
    },
    {
      "seed": 11952,
      "edge": "507.223856"
    },
    {
      "seed": 11953,
      "edge": "515.155354"
    },
    {
      "seed": 11954,
      "edge": "466.037175"
    },
    {
      "seed": 11955,
      "edge": "460.982318"
    },
    {
      "seed": 11956,
      "edge": "610.154782"
    },
    {
      "seed": 11957,
      "edge": "635.284051"
    },
    {
      "seed": 11958,
      "edge": "638.583476"
    },
    {
      "seed": 11959,
      "edge": "524.230112"
    },
    {
      "seed": 11960,
      "edge": "552.054458"
    },
    {
      "seed": 11961,
      "edge": "471.437165"
    },
    {
      "seed": 11962,
      "edge": "446.843602"
    },
    {
      "seed": 11963,
      "edge": "456.613931"
    },
    {
      "seed": 11964,
      "edge": "634.068380"
    },
    {
      "seed": 11965,
      "edge": "585.191140"
    },
    {
      "seed": 11966,
      "edge": "551.006884"
    },
    {
      "seed": 11967,
      "edge": "462.299275"
    },
    {
      "seed": 11968,
      "edge": "492.131437"
    },
    {
      "seed": 11969,
      "edge": "427.421464"
    },
    {
      "seed": 11970,
      "edge": "405.600777"
    },
    {
      "seed": 11971,
      "edge": "524.468185"
    },
    {
      "seed": 11972,
      "edge": "598.265618"
    },
    {
      "seed": 11973,
      "edge": "470.420215"
    },
    {
      "seed": 11974,
      "edge": "477.633074"
    },
    {
      "seed": 11975,
      "edge": "477.437419"
    },
    {
      "seed": 11976,
      "edge": "648.347844"
    },
    {
      "seed": 11977,
      "edge": "379.510078"
    },
    {
      "seed": 11978,
      "edge": "444.901088"
    },
    {
      "seed": 11979,
      "edge": "462.395421"
    },
    {
      "seed": 11980,
      "edge": "453.147591"
    },
    {
      "seed": 11981,
      "edge": "462.120321"
    },
    {
      "seed": 11982,
      "edge": "559.159056"
    },
    {
      "seed": 11983,
      "edge": "386.087009"
    },
    {
      "seed": 11984,
      "edge": "541.191859"
    },
    {
      "seed": 11985,
      "edge": "443.594539"
    },
    {
      "seed": 11986,
      "edge": "437.128390"
    },
    {
      "seed": 11987,
      "edge": "543.825953"
    },
    {
      "seed": 11988,
      "edge": "489.335202"
    },
    {
      "seed": 11989,
      "edge": "524.594970"
    },
    {
      "seed": 11990,
      "edge": "508.519082"
    },
    {
      "seed": 11991,
      "edge": "430.609098"
    },
    {
      "seed": 11992,
      "edge": "586.237367"
    },
    {
      "seed": 11993,
      "edge": "677.487363"
    },
    {
      "seed": 11994,
      "edge": "676.136386"
    },
    {
      "seed": 11995,
      "edge": "483.711802"
    },
    {
      "seed": 11996,
      "edge": "570.938589"
    },
    {
      "seed": 11997,
      "edge": "609.292571"
    },
    {
      "seed": 11998,
      "edge": "498.700112"
    },
    {
      "seed": 11999,
      "edge": "351.219087"
    },
    {
      "seed": 12000,
      "edge": "674.582208"
    },
    {
      "seed": 12001,
      "edge": "601.292825"
    },
    {
      "seed": 12002,
      "edge": "446.878301"
    },
    {
      "seed": 12003,
      "edge": "734.995432"
    },
    {
      "seed": 12004,
      "edge": "591.310683"
    },
    {
      "seed": 12005,
      "edge": "681.588724"
    },
    {
      "seed": 12006,
      "edge": "557.394799"
    },
    {
      "seed": 12007,
      "edge": "371.498990"
    },
    {
      "seed": 12008,
      "edge": "493.846472"
    },
    {
      "seed": 12009,
      "edge": "538.041172"
    },
    {
      "seed": 12010,
      "edge": "528.648220"
    },
    {
      "seed": 12011,
      "edge": "557.468659"
    },
    {
      "seed": 12012,
      "edge": "444.735833"
    },
    {
      "seed": 12013,
      "edge": "569.640669"
    },
    {
      "seed": 12014,
      "edge": "417.767002"
    },
    {
      "seed": 12015,
      "edge": "579.856463"
    },
    {
      "seed": 12016,
      "edge": "473.314683"
    },
    {
      "seed": 12017,
      "edge": "490.865667"
    },
    {
      "seed": 12018,
      "edge": "435.601995"
    },
    {
      "seed": 12019,
      "edge": "384.044175"
    },
    {
      "seed": 12020,
      "edge": "572.579043"
    },
    {
      "seed": 12021,
      "edge": "464.810901"
    },
    {
      "seed": 12022,
      "edge": "467.452032"
    },
    {
      "seed": 12023,
      "edge": "774.046954"
    },
    {
      "seed": 12024,
      "edge": "379.611860"
    },
    {
      "seed": 12025,
      "edge": "553.743545"
    },
    {
      "seed": 12026,
      "edge": "544.673646"
    },
    {
      "seed": 12027,
      "edge": "527.892179"
    },
    {
      "seed": 12028,
      "edge": "474.497366"
    },
    {
      "seed": 12029,
      "edge": "420.087038"
    },
    {
      "seed": 12030,
      "edge": "631.922040"
    },
    {
      "seed": 12031,
      "edge": "475.377415"
    },
    {
      "seed": 12032,
      "edge": "566.830630"
    },
    {
      "seed": 12033,
      "edge": "423.765981"
    },
    {
      "seed": 12034,
      "edge": "701.131512"
    },
    {
      "seed": 12035,
      "edge": "385.310548"
    },
    {
      "seed": 12036,
      "edge": "634.032985"
    },
    {
      "seed": 12037,
      "edge": "461.034025"
    },
    {
      "seed": 12038,
      "edge": "523.053640"
    },
    {
      "seed": 12039,
      "edge": "499.261740"
    },
    {
      "seed": 12040,
      "edge": "569.887358"
    },
    {
      "seed": 12041,
      "edge": "560.424673"
    },
    {
      "seed": 12042,
      "edge": "434.583644"
    },
    {
      "seed": 12043,
      "edge": "447.374447"
    },
    {
      "seed": 12044,
      "edge": "622.899689"
    },
    {
      "seed": 12045,
      "edge": "398.068715"
    },
    {
      "seed": 12046,
      "edge": "523.303901"
    },
    {
      "seed": 12047,
      "edge": "409.823332"
    }
  ]
}