{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "TwoComp",
 "provenance": {
  "origin": "ammfast.run_batch (Numba port of Taylor's replica2.run); not a CPython rerun",
  "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
  "sources": [
   {
    "path": "reference/combo/combo.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/combo/combo.py",
    "sha256": "c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"
   },
   {
    "path": "reference/qt1/blob.bin",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/blob.bin",
    "sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
   },
   {
    "path": "reference/qt1/qmref.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/qmref.py",
    "sha256": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"
   },
   {
    "path": "reference/taylor/replica2.py",
    "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
    "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
   },
   {
    "path": "reference/twocomp/twocomp.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/twocomp/twocomp.py",
    "sha256": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"
   }
  ],
  "source_inventory": {
   "path": "reference/sources.json",
   "sha256": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"
  },
  "kernel_origin": {
   "path": "reference/envelopes/numba__fastsim.py.json",
   "sha256": "355105f14d012389dd750af045e29b284b53a790a677fd4bf0be3033350ecae1"
  },
  "implementation": {
   "ammfast/__init__.py": "5ce5b00b96ca7da11f37010d234803eca0e92adb2eebec18a35cb6d81c645b6c",
   "ammfast/_head.py": "3ea24996bf90ce3dbb32fed745f9073c477b0ccd250befb5082a6ac8878ff86f",
   "ammfast/_kernel.py": "45613331edb2fd46afa607612e1e6f0c22f0132c9974df6445ce18afe04cc2ae",
   "ammfast/_reference.py": "6509935958e7a317163b58b7da67add653a73028378fde65db9c40dddbfd3de0"
  },
  "checkpoint_binding": "e66a7b4315bd5e7fc6430ae5a7d191bfe8d6e752eff9843f9a3d819cecf145ea",
  "generation_command": "python -B baselines/replica/generate.py --stage all --workers 4 --budget 420",
  "backend_runtime": {
   "python": "3.12.16",
   "implementation": "cpython",
   "platform": "linux",
   "machine": "x86_64",
   "numpy": "2.5.4",
   "numba": "0.68.1",
   "llvmlite": "0.50.0"
  },
  "n_steps": 10000,
  "seed_range": [
   10000,
   12047
  ],
  "row_count": 2048,
  "edge_semantics": "policy pool edge e1 of replica2.run (dict key \"edge\")",
  "rounding": "unrounded binary64 edge; format(edge, \".6f\") once at serialization",
  "validation": {
   "evidence": "baselines/replica/validation.json",
   "tolerance_abs": 1e-09,
   "gate": {
    "pairs": 384,
    "max_abs_error": 1.1937117960769683e-11,
    "pass": true
   },
   "spot_check": {
    "seeds": [
     10000,
     10063
    ],
    "pairs": 64,
    "reference": "CPython replica2.run, fresh policy object per run",
    "max_abs_error": 1.8189894035458565e-12
   }
  }
 },
 "rows": [
  {"seed": 10000, "edge": "443.690614"},
  {"seed": 10001, "edge": "571.968071"},
  {"seed": 10002, "edge": "526.124475"},
  {"seed": 10003, "edge": "573.919460"},
  {"seed": 10004, "edge": "523.477153"},
  {"seed": 10005, "edge": "527.376672"},
  {"seed": 10006, "edge": "486.070303"},
  {"seed": 10007, "edge": "526.104291"},
  {"seed": 10008, "edge": "663.237126"},
  {"seed": 10009, "edge": "653.924123"},
  {"seed": 10010, "edge": "476.925031"},
  {"seed": 10011, "edge": "370.541945"},
  {"seed": 10012, "edge": "459.102164"},
  {"seed": 10013, "edge": "402.354595"},
  {"seed": 10014, "edge": "701.118483"},
  {"seed": 10015, "edge": "630.174678"},
  {"seed": 10016, "edge": "567.482623"},
  {"seed": 10017, "edge": "494.322439"},
  {"seed": 10018, "edge": "482.627766"},
  {"seed": 10019, "edge": "455.055191"},
  {"seed": 10020, "edge": "496.032929"},
  {"seed": 10021, "edge": "412.673294"},
  {"seed": 10022, "edge": "440.504508"},
  {"seed": 10023, "edge": "635.528871"},
  {"seed": 10024, "edge": "481.617902"},
  {"seed": 10025, "edge": "446.820344"},
  {"seed": 10026, "edge": "346.743311"},
  {"seed": 10027, "edge": "548.382022"},
  {"seed": 10028, "edge": "525.700550"},
  {"seed": 10029, "edge": "442.998387"},
  {"seed": 10030, "edge": "594.476642"},
  {"seed": 10031, "edge": "342.378779"},
  {"seed": 10032, "edge": "639.310906"},
  {"seed": 10033, "edge": "536.090352"},
  {"seed": 10034, "edge": "563.698346"},
  {"seed": 10035, "edge": "634.255637"},
  {"seed": 10036, "edge": "547.086717"},
  {"seed": 10037, "edge": "445.487632"},
  {"seed": 10038, "edge": "619.332392"},
  {"seed": 10039, "edge": "589.304323"},
  {"seed": 10040, "edge": "610.671487"},
  {"seed": 10041, "edge": "631.102064"},
  {"seed": 10042, "edge": "711.536518"},
  {"seed": 10043, "edge": "638.801013"},
  {"seed": 10044, "edge": "421.867391"},
  {"seed": 10045, "edge": "387.328506"},
  {"seed": 10046, "edge": "431.746896"},
  {"seed": 10047, "edge": "599.022832"},
  {"seed": 10048, "edge": "498.297891"},
  {"seed": 10049, "edge": "384.475830"},
  {"seed": 10050, "edge": "374.793883"},
  {"seed": 10051, "edge": "423.640747"},
  {"seed": 10052, "edge": "430.330473"},
  {"seed": 10053, "edge": "537.267001"},
  {"seed": 10054, "edge": "447.897763"},
  {"seed": 10055, "edge": "710.234002"},
  {"seed": 10056, "edge": "583.234203"},
  {"seed": 10057, "edge": "510.590997"},
  {"seed": 10058, "edge": "439.001369"},
  {"seed": 10059, "edge": "507.417364"},
  {"seed": 10060, "edge": "927.937616"},
  {"seed": 10061, "edge": "562.769137"},
  {"seed": 10062, "edge": "609.223015"},
  {"seed": 10063, "edge": "430.250395"},
  {"seed": 10064, "edge": "663.290222"},
  {"seed": 10065, "edge": "585.405157"},
  {"seed": 10066, "edge": "487.144360"},
  {"seed": 10067, "edge": "635.367453"},
  {"seed": 10068, "edge": "503.547891"},
  {"seed": 10069, "edge": "620.557937"},
  {"seed": 10070, "edge": "412.156278"},
  {"seed": 10071, "edge": "436.595404"},
  {"seed": 10072, "edge": "605.285998"},
  {"seed": 10073, "edge": "564.628932"},
  {"seed": 10074, "edge": "530.210694"},
  {"seed": 10075, "edge": "562.067330"},
  {"seed": 10076, "edge": "531.324199"},
  {"seed": 10077, "edge": "429.924971"},
  {"seed": 10078, "edge": "621.892605"},
  {"seed": 10079, "edge": "651.496117"},
  {"seed": 10080, "edge": "486.139152"},
  {"seed": 10081, "edge": "565.563590"},
  {"seed": 10082, "edge": "566.591078"},
  {"seed": 10083, "edge": "465.135397"},
  {"seed": 10084, "edge": "475.678244"},
  {"seed": 10085, "edge": "454.841997"},
  {"seed": 10086, "edge": "571.949162"},
  {"seed": 10087, "edge": "572.663376"},
  {"seed": 10088, "edge": "441.906174"},
  {"seed": 10089, "edge": "413.788886"},
  {"seed": 10090, "edge": "589.143628"},
  {"seed": 10091, "edge": "486.236858"},
  {"seed": 10092, "edge": "557.079499"},
  {"seed": 10093, "edge": "661.018921"},
  {"seed": 10094, "edge": "478.821937"},
  {"seed": 10095, "edge": "597.772262"},
  {"seed": 10096, "edge": "491.773783"},
  {"seed": 10097, "edge": "512.668143"},
  {"seed": 10098, "edge": "503.898537"},
  {"seed": 10099, "edge": "468.547671"},
  {"seed": 10100, "edge": "443.958618"},
  {"seed": 10101, "edge": "535.850951"},
  {"seed": 10102, "edge": "737.050543"},
  {"seed": 10103, "edge": "742.195990"},
  {"seed": 10104, "edge": "705.382409"},
  {"seed": 10105, "edge": "469.196919"},
  {"seed": 10106, "edge": "430.146712"},
  {"seed": 10107, "edge": "489.652935"},
  {"seed": 10108, "edge": "534.528318"},
  {"seed": 10109, "edge": "739.821019"},
  {"seed": 10110, "edge": "573.060484"},
  {"seed": 10111, "edge": "404.741250"},
  {"seed": 10112, "edge": "462.932347"},
  {"seed": 10113, "edge": "436.012344"},
  {"seed": 10114, "edge": "537.169074"},
  {"seed": 10115, "edge": "661.503671"},
  {"seed": 10116, "edge": "523.820729"},
  {"seed": 10117, "edge": "412.340944"},
  {"seed": 10118, "edge": "422.508878"},
  {"seed": 10119, "edge": "415.236975"},
  {"seed": 10120, "edge": "550.941599"},
  {"seed": 10121, "edge": "534.937957"},
  {"seed": 10122, "edge": "585.667257"},
  {"seed": 10123, "edge": "506.422267"},
  {"seed": 10124, "edge": "533.107511"},
  {"seed": 10125, "edge": "457.399878"},
  {"seed": 10126, "edge": "459.493964"},
  {"seed": 10127, "edge": "496.802092"},
  {"seed": 10128, "edge": "734.878034"},
  {"seed": 10129, "edge": "536.547548"},
  {"seed": 10130, "edge": "460.078021"},
  {"seed": 10131, "edge": "497.098545"},
  {"seed": 10132, "edge": "503.755834"},
  {"seed": 10133, "edge": "630.023828"},
  {"seed": 10134, "edge": "535.261439"},
  {"seed": 10135, "edge": "459.368632"},
  {"seed": 10136, "edge": "617.616513"},
  {"seed": 10137, "edge": "622.046578"},
  {"seed": 10138, "edge": "499.264777"},
  {"seed": 10139, "edge": "466.336014"},
  {"seed": 10140, "edge": "554.079914"},
  {"seed": 10141, "edge": "582.052816"},
  {"seed": 10142, "edge": "627.411797"},
  {"seed": 10143, "edge": "469.654638"},
  {"seed": 10144, "edge": "440.611924"},
  {"seed": 10145, "edge": "482.095955"},
  {"seed": 10146, "edge": "760.245012"},
  {"seed": 10147, "edge": "468.896082"},
  {"seed": 10148, "edge": "692.067977"},
  {"seed": 10149, "edge": "525.789471"},
  {"seed": 10150, "edge": "586.958984"},
  {"seed": 10151, "edge": "474.989160"},
  {"seed": 10152, "edge": "416.279091"},
  {"seed": 10153, "edge": "557.450116"},
  {"seed": 10154, "edge": "490.550950"},
  {"seed": 10155, "edge": "477.261358"},
  {"seed": 10156, "edge": "532.569594"},
  {"seed": 10157, "edge": "535.048625"},
  {"seed": 10158, "edge": "436.614050"},
  {"seed": 10159, "edge": "437.362159"},
  {"seed": 10160, "edge": "420.800394"},
  {"seed": 10161, "edge": "457.620170"},
  {"seed": 10162, "edge": "719.744678"},
  {"seed": 10163, "edge": "667.730834"},
  {"seed": 10164, "edge": "684.132330"},
  {"seed": 10165, "edge": "439.631253"},
  {"seed": 10166, "edge": "420.398634"},
  {"seed": 10167, "edge": "493.723508"},
  {"seed": 10168, "edge": "624.285575"},
  {"seed": 10169, "edge": "571.689492"},
  {"seed": 10170, "edge": "389.296309"},
  {"seed": 10171, "edge": "569.230433"},
  {"seed": 10172, "edge": "686.011943"},
  {"seed": 10173, "edge": "398.573447"},
  {"seed": 10174, "edge": "541.841686"},
  {"seed": 10175, "edge": "505.818321"},
  {"seed": 10176, "edge": "446.037928"},
  {"seed": 10177, "edge": "653.127314"},
  {"seed": 10178, "edge": "664.770788"},
  {"seed": 10179, "edge": "380.043022"},
  {"seed": 10180, "edge": "585.408065"},
  {"seed": 10181, "edge": "463.158337"},
  {"seed": 10182, "edge": "575.662056"},
  {"seed": 10183, "edge": "631.052869"},
  {"seed": 10184, "edge": "521.161233"},
  {"seed": 10185, "edge": "541.592176"},
  {"seed": 10186, "edge": "575.442946"},
  {"seed": 10187, "edge": "550.213056"},
  {"seed": 10188, "edge": "532.796923"},
  {"seed": 10189, "edge": "717.342346"},
  {"seed": 10190, "edge": "661.496731"},
  {"seed": 10191, "edge": "662.941510"},
  {"seed": 10192, "edge": "666.052955"},
  {"seed": 10193, "edge": "581.100959"},
  {"seed": 10194, "edge": "511.474759"},
  {"seed": 10195, "edge": "554.696706"},
  {"seed": 10196, "edge": "584.836594"},
  {"seed": 10197, "edge": "441.546236"},
  {"seed": 10198, "edge": "556.549395"},
  {"seed": 10199, "edge": "483.644311"},
  {"seed": 10200, "edge": "560.206126"},
  {"seed": 10201, "edge": "481.839510"},
  {"seed": 10202, "edge": "568.568928"},
  {"seed": 10203, "edge": "616.462407"},
  {"seed": 10204, "edge": "455.466321"},
  {"seed": 10205, "edge": "418.389777"},
  {"seed": 10206, "edge": "523.396801"},
  {"seed": 10207, "edge": "638.293705"},
  {"seed": 10208, "edge": "626.583832"},
  {"seed": 10209, "edge": "551.617580"},
  {"seed": 10210, "edge": "426.462784"},
  {"seed": 10211, "edge": "441.692738"},
  {"seed": 10212, "edge": "629.124936"},
  {"seed": 10213, "edge": "581.433653"},
  {"seed": 10214, "edge": "577.483182"},
  {"seed": 10215, "edge": "456.951184"},
  {"seed": 10216, "edge": "454.158788"},
  {"seed": 10217, "edge": "668.247626"},
  {"seed": 10218, "edge": "631.313061"},
  {"seed": 10219, "edge": "527.203868"},
  {"seed": 10220, "edge": "515.804782"},
  {"seed": 10221, "edge": "535.924359"},
  {"seed": 10222, "edge": "622.216356"},
  {"seed": 10223, "edge": "663.729258"},
  {"seed": 10224, "edge": "436.160303"},
  {"seed": 10225, "edge": "483.535933"},
  {"seed": 10226, "edge": "706.219718"},
  {"seed": 10227, "edge": "445.757929"},
  {"seed": 10228, "edge": "540.652999"},
  {"seed": 10229, "edge": "431.761737"},
  {"seed": 10230, "edge": "630.956352"},
  {"seed": 10231, "edge": "694.166533"},
  {"seed": 10232, "edge": "502.622010"},
  {"seed": 10233, "edge": "447.532732"},
  {"seed": 10234, "edge": "541.685435"},
  {"seed": 10235, "edge": "664.785554"},
  {"seed": 10236, "edge": "444.096430"},
  {"seed": 10237, "edge": "648.848921"},
  {"seed": 10238, "edge": "453.728954"},
  {"seed": 10239, "edge": "601.026808"},
  {"seed": 10240, "edge": "600.984592"},
  {"seed": 10241, "edge": "405.566462"},
  {"seed": 10242, "edge": "423.949647"},
  {"seed": 10243, "edge": "620.245172"},
  {"seed": 10244, "edge": "440.258611"},
  {"seed": 10245, "edge": "600.213362"},
  {"seed": 10246, "edge": "563.017010"},
  {"seed": 10247, "edge": "502.764364"},
  {"seed": 10248, "edge": "500.021468"},
  {"seed": 10249, "edge": "538.242220"},
  {"seed": 10250, "edge": "404.724241"},
  {"seed": 10251, "edge": "386.989549"},
  {"seed": 10252, "edge": "399.256347"},
  {"seed": 10253, "edge": "581.904269"},
  {"seed": 10254, "edge": "498.622937"},
  {"seed": 10255, "edge": "601.813265"},
  {"seed": 10256, "edge": "733.016784"},
  {"seed": 10257, "edge": "457.944398"},
  {"seed": 10258, "edge": "603.106061"},
  {"seed": 10259, "edge": "416.728839"},
  {"seed": 10260, "edge": "649.389407"},
  {"seed": 10261, "edge": "497.935924"},
  {"seed": 10262, "edge": "576.002895"},
  {"seed": 10263, "edge": "518.335611"},
  {"seed": 10264, "edge": "453.126649"},
  {"seed": 10265, "edge": "505.363064"},
  {"seed": 10266, "edge": "428.624716"},
  {"seed": 10267, "edge": "702.553562"},
  {"seed": 10268, "edge": "543.771616"},
  {"seed": 10269, "edge": "573.370976"},
  {"seed": 10270, "edge": "471.337310"},
  {"seed": 10271, "edge": "397.816273"},
  {"seed": 10272, "edge": "732.719088"},
  {"seed": 10273, "edge": "670.415950"},
  {"seed": 10274, "edge": "435.337211"},
  {"seed": 10275, "edge": "486.260488"},
  {"seed": 10276, "edge": "463.643075"},
  {"seed": 10277, "edge": "402.166428"},
  {"seed": 10278, "edge": "655.161611"},
  {"seed": 10279, "edge": "413.778248"},
  {"seed": 10280, "edge": "466.761289"},
  {"seed": 10281, "edge": "635.022218"},
  {"seed": 10282, "edge": "438.540289"},
  {"seed": 10283, "edge": "560.911466"},
  {"seed": 10284, "edge": "472.264234"},
  {"seed": 10285, "edge": "500.744087"},
  {"seed": 10286, "edge": "414.284207"},
  {"seed": 10287, "edge": "696.055293"},
  {"seed": 10288, "edge": "467.639016"},
  {"seed": 10289, "edge": "596.286243"},
  {"seed": 10290, "edge": "478.848087"},
  {"seed": 10291, "edge": "570.853611"},
  {"seed": 10292, "edge": "494.487311"},
  {"seed": 10293, "edge": "642.237941"},
  {"seed": 10294, "edge": "685.065780"},
  {"seed": 10295, "edge": "567.827275"},
  {"seed": 10296, "edge": "401.407921"},
  {"seed": 10297, "edge": "469.089894"},
  {"seed": 10298, "edge": "500.692862"},
  {"seed": 10299, "edge": "562.907682"},
  {"seed": 10300, "edge": "543.495058"},
  {"seed": 10301, "edge": "587.136457"},
  {"seed": 10302, "edge": "409.351946"},
  {"seed": 10303, "edge": "596.410708"},
  {"seed": 10304, "edge": "425.152372"},
  {"seed": 10305, "edge": "393.495953"},
  {"seed": 10306, "edge": "684.401804"},
  {"seed": 10307, "edge": "576.406813"},
  {"seed": 10308, "edge": "531.254762"},
  {"seed": 10309, "edge": "468.503484"},
  {"seed": 10310, "edge": "458.776292"},
  {"seed": 10311, "edge": "550.716784"},
  {"seed": 10312, "edge": "462.582746"},
  {"seed": 10313, "edge": "637.066610"},
  {"seed": 10314, "edge": "412.732909"},
  {"seed": 10315, "edge": "373.547266"},
  {"seed": 10316, "edge": "473.991110"},
  {"seed": 10317, "edge": "603.872646"},
  {"seed": 10318, "edge": "410.474079"},
  {"seed": 10319, "edge": "610.932429"},
  {"seed": 10320, "edge": "501.314904"},
  {"seed": 10321, "edge": "626.587949"},
  {"seed": 10322, "edge": "591.179071"},
  {"seed": 10323, "edge": "451.402051"},
  {"seed": 10324, "edge": "550.085829"},
  {"seed": 10325, "edge": "529.268638"},
  {"seed": 10326, "edge": "399.029552"},
  {"seed": 10327, "edge": "688.792599"},
  {"seed": 10328, "edge": "463.062642"},
  {"seed": 10329, "edge": "579.975597"},
  {"seed": 10330, "edge": "391.225956"},
  {"seed": 10331, "edge": "542.092646"},
  {"seed": 10332, "edge": "526.596660"},
  {"seed": 10333, "edge": "433.486407"},
  {"seed": 10334, "edge": "659.246597"},
  {"seed": 10335, "edge": "722.901735"},
  {"seed": 10336, "edge": "680.165999"},
  {"seed": 10337, "edge": "378.942801"},
  {"seed": 10338, "edge": "521.441477"},
  {"seed": 10339, "edge": "546.129676"},
  {"seed": 10340, "edge": "716.991093"},
  {"seed": 10341, "edge": "538.421793"},
  {"seed": 10342, "edge": "659.208191"},
  {"seed": 10343, "edge": "457.305233"},
  {"seed": 10344, "edge": "544.414061"},
  {"seed": 10345, "edge": "482.392531"},
  {"seed": 10346, "edge": "650.086076"},
  {"seed": 10347, "edge": "429.238209"},
  {"seed": 10348, "edge": "573.151618"},
  {"seed": 10349, "edge": "436.812792"},
  {"seed": 10350, "edge": "591.134642"},
  {"seed": 10351, "edge": "606.711620"},
  {"seed": 10352, "edge": "480.238950"},
  {"seed": 10353, "edge": "659.667603"},
  {"seed": 10354, "edge": "469.941738"},
  {"seed": 10355, "edge": "520.476190"},
  {"seed": 10356, "edge": "523.634308"},
  {"seed": 10357, "edge": "571.092483"},
  {"seed": 10358, "edge": "631.813443"},
  {"seed": 10359, "edge": "665.284478"},
  {"seed": 10360, "edge": "424.160085"},
  {"seed": 10361, "edge": "565.526526"},
  {"seed": 10362, "edge": "491.462250"},
  {"seed": 10363, "edge": "617.785079"},
  {"seed": 10364, "edge": "420.275678"},
  {"seed": 10365, "edge": "535.426574"},
  {"seed": 10366, "edge": "444.919019"},
  {"seed": 10367, "edge": "466.843821"},
  {"seed": 10368, "edge": "459.436520"},
  {"seed": 10369, "edge": "643.954513"},
  {"seed": 10370, "edge": "476.100067"},
  {"seed": 10371, "edge": "433.570939"},
  {"seed": 10372, "edge": "471.084674"},
  {"seed": 10373, "edge": "699.553399"},
  {"seed": 10374, "edge": "399.580167"},
  {"seed": 10375, "edge": "567.240259"},
  {"seed": 10376, "edge": "554.377981"},
  {"seed": 10377, "edge": "558.251515"},
  {"seed": 10378, "edge": "464.819217"},
  {"seed": 10379, "edge": "619.471278"},
  {"seed": 10380, "edge": "618.309422"},
  {"seed": 10381, "edge": "566.067439"},
  {"seed": 10382, "edge": "550.883220"},
  {"seed": 10383, "edge": "611.763214"},
  {"seed": 10384, "edge": "631.566037"},
  {"seed": 10385, "edge": "486.142505"},
  {"seed": 10386, "edge": "600.264260"},
  {"seed": 10387, "edge": "619.416359"},
  {"seed": 10388, "edge": "507.686387"},
  {"seed": 10389, "edge": "641.704348"},
  {"seed": 10390, "edge": "605.441082"},
  {"seed": 10391, "edge": "436.423467"},
  {"seed": 10392, "edge": "492.630564"},
  {"seed": 10393, "edge": "538.385131"},
  {"seed": 10394, "edge": "545.363167"},
  {"seed": 10395, "edge": "658.428061"},
  {"seed": 10396, "edge": "398.742794"},
  {"seed": 10397, "edge": "589.585254"},
  {"seed": 10398, "edge": "516.957125"},
  {"seed": 10399, "edge": "405.529232"},
  {"seed": 10400, "edge": "561.736821"},
  {"seed": 10401, "edge": "927.443657"},
  {"seed": 10402, "edge": "490.843455"},
  {"seed": 10403, "edge": "630.341222"},
  {"seed": 10404, "edge": "571.400645"},
  {"seed": 10405, "edge": "541.820846"},
  {"seed": 10406, "edge": "616.741285"},
  {"seed": 10407, "edge": "510.575773"},
  {"seed": 10408, "edge": "596.188934"},
  {"seed": 10409, "edge": "446.619283"},
  {"seed": 10410, "edge": "542.103267"},
  {"seed": 10411, "edge": "538.588597"},
  {"seed": 10412, "edge": "491.554674"},
  {"seed": 10413, "edge": "666.075620"},
  {"seed": 10414, "edge": "665.314967"},
  {"seed": 10415, "edge": "468.310973"},
  {"seed": 10416, "edge": "471.925253"},
  {"seed": 10417, "edge": "535.190705"},
  {"seed": 10418, "edge": "549.493891"},
  {"seed": 10419, "edge": "568.787106"},
  {"seed": 10420, "edge": "373.300821"},
  {"seed": 10421, "edge": "484.234545"},
  {"seed": 10422, "edge": "586.791222"},
  {"seed": 10423, "edge": "465.418153"},
  {"seed": 10424, "edge": "600.332152"},
  {"seed": 10425, "edge": "540.780435"},
  {"seed": 10426, "edge": "584.425196"},
  {"seed": 10427, "edge": "519.183869"},
  {"seed": 10428, "edge": "556.565808"},
  {"seed": 10429, "edge": "592.353606"},
  {"seed": 10430, "edge": "606.331137"},
  {"seed": 10431, "edge": "479.958268"},
  {"seed": 10432, "edge": "495.528639"},
  {"seed": 10433, "edge": "393.481840"},
  {"seed": 10434, "edge": "649.625597"},
  {"seed": 10435, "edge": "531.115766"},
  {"seed": 10436, "edge": "651.116160"},
  {"seed": 10437, "edge": "619.199382"},
  {"seed": 10438, "edge": "390.636930"},
  {"seed": 10439, "edge": "422.175836"},
  {"seed": 10440, "edge": "477.689774"},
  {"seed": 10441, "edge": "611.679702"},
  {"seed": 10442, "edge": "615.562036"},
  {"seed": 10443, "edge": "454.003355"},
  {"seed": 10444, "edge": "599.344135"},
  {"seed": 10445, "edge": "449.173750"},
  {"seed": 10446, "edge": "398.619489"},
  {"seed": 10447, "edge": "446.342495"},
  {"seed": 10448, "edge": "563.013435"},
  {"seed": 10449, "edge": "654.072768"},
  {"seed": 10450, "edge": "770.743026"},
  {"seed": 10451, "edge": "695.016105"},
  {"seed": 10452, "edge": "553.149130"},
  {"seed": 10453, "edge": "488.074015"},
  {"seed": 10454, "edge": "757.002544"},
  {"seed": 10455, "edge": "679.634355"},
  {"seed": 10456, "edge": "430.495637"},
  {"seed": 10457, "edge": "639.012414"},
  {"seed": 10458, "edge": "448.462179"},
  {"seed": 10459, "edge": "620.435766"},
  {"seed": 10460, "edge": "729.176433"},
  {"seed": 10461, "edge": "487.205137"},
  {"seed": 10462, "edge": "534.044887"},
  {"seed": 10463, "edge": "450.944492"},
  {"seed": 10464, "edge": "675.643170"},
  {"seed": 10465, "edge": "427.978067"},
  {"seed": 10466, "edge": "748.814302"},
  {"seed": 10467, "edge": "595.457292"},
  {"seed": 10468, "edge": "469.814476"},
  {"seed": 10469, "edge": "456.726637"},
  {"seed": 10470, "edge": "449.351075"},
  {"seed": 10471, "edge": "404.593469"},
  {"seed": 10472, "edge": "573.574659"},
  {"seed": 10473, "edge": "654.732665"},
  {"seed": 10474, "edge": "469.173266"},
  {"seed": 10475, "edge": "802.074513"},
  {"seed": 10476, "edge": "574.410164"},
  {"seed": 10477, "edge": "557.099788"},
  {"seed": 10478, "edge": "489.270144"},
  {"seed": 10479, "edge": "538.885647"},
  {"seed": 10480, "edge": "394.027875"},
  {"seed": 10481, "edge": "505.507384"},
  {"seed": 10482, "edge": "603.849900"},
  {"seed": 10483, "edge": "454.799646"},
  {"seed": 10484, "edge": "562.600044"},
  {"seed": 10485, "edge": "531.042968"},
  {"seed": 10486, "edge": "592.799172"},
  {"seed": 10487, "edge": "500.619784"},
  {"seed": 10488, "edge": "599.164494"},
  {"seed": 10489, "edge": "531.304126"},
  {"seed": 10490, "edge": "430.772722"},
  {"seed": 10491, "edge": "535.117868"},
  {"seed": 10492, "edge": "599.624208"},
  {"seed": 10493, "edge": "458.068062"},
  {"seed": 10494, "edge": "395.397464"},
  {"seed": 10495, "edge": "678.934738"},
  {"seed": 10496, "edge": "554.962562"},
  {"seed": 10497, "edge": "418.820275"},
  {"seed": 10498, "edge": "670.962875"},
  {"seed": 10499, "edge": "543.628270"},
  {"seed": 10500, "edge": "524.805682"},
  {"seed": 10501, "edge": "503.221955"},
  {"seed": 10502, "edge": "604.338750"},
  {"seed": 10503, "edge": "613.968386"},
  {"seed": 10504, "edge": "729.397276"},
  {"seed": 10505, "edge": "455.131248"},
  {"seed": 10506, "edge": "560.097930"},
  {"seed": 10507, "edge": "451.721776"},
  {"seed": 10508, "edge": "580.694548"},
  {"seed": 10509, "edge": "468.926077"},
  {"seed": 10510, "edge": "475.005000"},
  {"seed": 10511, "edge": "514.668863"},
  {"seed": 10512, "edge": "660.353959"},
  {"seed": 10513, "edge": "480.961097"},
  {"seed": 10514, "edge": "386.661416"},
  {"seed": 10515, "edge": "475.843408"},
  {"seed": 10516, "edge": "585.277317"},
  {"seed": 10517, "edge": "628.078198"},
  {"seed": 10518, "edge": "495.318689"},
  {"seed": 10519, "edge": "570.949189"},
  {"seed": 10520, "edge": "492.119967"},
  {"seed": 10521, "edge": "499.678227"},
  {"seed": 10522, "edge": "503.893288"},
  {"seed": 10523, "edge": "627.980960"},
  {"seed": 10524, "edge": "526.105340"},
  {"seed": 10525, "edge": "452.255315"},
  {"seed": 10526, "edge": "539.855137"},
  {"seed": 10527, "edge": "525.693896"},
  {"seed": 10528, "edge": "373.894579"},
  {"seed": 10529, "edge": "465.742086"},
  {"seed": 10530, "edge": "604.964111"},
  {"seed": 10531, "edge": "594.606593"},
  {"seed": 10532, "edge": "326.690732"},
  {"seed": 10533, "edge": "440.470374"},
  {"seed": 10534, "edge": "613.795803"},
  {"seed": 10535, "edge": "525.808277"},
  {"seed": 10536, "edge": "504.076932"},
  {"seed": 10537, "edge": "515.113770"},
  {"seed": 10538, "edge": "453.890741"},
  {"seed": 10539, "edge": "503.070926"},
  {"seed": 10540, "edge": "567.978438"},
  {"seed": 10541, "edge": "673.848620"},
  {"seed": 10542, "edge": "623.904018"},
  {"seed": 10543, "edge": "543.191368"},
  {"seed": 10544, "edge": "462.061624"},
  {"seed": 10545, "edge": "546.911738"},
  {"seed": 10546, "edge": "506.757587"},
  {"seed": 10547, "edge": "644.303493"},
  {"seed": 10548, "edge": "541.324632"},
  {"seed": 10549, "edge": "585.139811"},
  {"seed": 10550, "edge": "602.231098"},
  {"seed": 10551, "edge": "593.442573"},
  {"seed": 10552, "edge": "497.782085"},
  {"seed": 10553, "edge": "455.626127"},
  {"seed": 10554, "edge": "482.527007"},
  {"seed": 10555, "edge": "627.759405"},
  {"seed": 10556, "edge": "352.232152"},
  {"seed": 10557, "edge": "530.340468"},
  {"seed": 10558, "edge": "441.033385"},
  {"seed": 10559, "edge": "471.112605"},
  {"seed": 10560, "edge": "521.002127"},
  {"seed": 10561, "edge": "614.701763"},
  {"seed": 10562, "edge": "557.902336"},
  {"seed": 10563, "edge": "448.555342"},
  {"seed": 10564, "edge": "452.069076"},
  {"seed": 10565, "edge": "627.143115"},
  {"seed": 10566, "edge": "427.059620"},
  {"seed": 10567, "edge": "530.730499"},
  {"seed": 10568, "edge": "459.398045"},
  {"seed": 10569, "edge": "557.157608"},
  {"seed": 10570, "edge": "532.739952"},
  {"seed": 10571, "edge": "659.604404"},
  {"seed": 10572, "edge": "515.901715"},
  {"seed": 10573, "edge": "591.116879"},
  {"seed": 10574, "edge": "560.458192"},
  {"seed": 10575, "edge": "537.663346"},
  {"seed": 10576, "edge": "562.402821"},
  {"seed": 10577, "edge": "445.114127"},
  {"seed": 10578, "edge": "643.448780"},
  {"seed": 10579, "edge": "396.480514"},
  {"seed": 10580, "edge": "405.999488"},
  {"seed": 10581, "edge": "460.899526"},
  {"seed": 10582, "edge": "506.627176"},
  {"seed": 10583, "edge": "667.287198"},
  {"seed": 10584, "edge": "500.027032"},
  {"seed": 10585, "edge": "495.337081"},
  {"seed": 10586, "edge": "413.887141"},
  {"seed": 10587, "edge": "386.258963"},
  {"seed": 10588, "edge": "479.059787"},
  {"seed": 10589, "edge": "519.424498"},
  {"seed": 10590, "edge": "538.600146"},
  {"seed": 10591, "edge": "630.184620"},
  {"seed": 10592, "edge": "528.166606"},
  {"seed": 10593, "edge": "418.989210"},
  {"seed": 10594, "edge": "549.870519"},
  {"seed": 10595, "edge": "501.621341"},
  {"seed": 10596, "edge": "596.284832"},
  {"seed": 10597, "edge": "571.258209"},
  {"seed": 10598, "edge": "559.039554"},
  {"seed": 10599, "edge": "444.601619"},
  {"seed": 10600, "edge": "601.068536"},
  {"seed": 10601, "edge": "451.226366"},
  {"seed": 10602, "edge": "634.019476"},
  {"seed": 10603, "edge": "446.520992"},
  {"seed": 10604, "edge": "468.077351"},
  {"seed": 10605, "edge": "561.568799"},
  {"seed": 10606, "edge": "422.406483"},
  {"seed": 10607, "edge": "723.784474"},
  {"seed": 10608, "edge": "698.905528"},
  {"seed": 10609, "edge": "473.753500"},
  {"seed": 10610, "edge": "432.316231"},
  {"seed": 10611, "edge": "454.847422"},
  {"seed": 10612, "edge": "570.345409"},
  {"seed": 10613, "edge": "348.107850"},
  {"seed": 10614, "edge": "607.947657"},
  {"seed": 10615, "edge": "587.102325"},
  {"seed": 10616, "edge": "581.313051"},
  {"seed": 10617, "edge": "644.727643"},
  {"seed": 10618, "edge": "422.081284"},
  {"seed": 10619, "edge": "579.627907"},
  {"seed": 10620, "edge": "432.003667"},
  {"seed": 10621, "edge": "454.050248"},
  {"seed": 10622, "edge": "404.223704"},
  {"seed": 10623, "edge": "421.164407"},
  {"seed": 10624, "edge": "605.167460"},
  {"seed": 10625, "edge": "448.433257"},
  {"seed": 10626, "edge": "565.398839"},
  {"seed": 10627, "edge": "590.381275"},
  {"seed": 10628, "edge": "591.516241"},
  {"seed": 10629, "edge": "538.297623"},
  {"seed": 10630, "edge": "498.487635"},
  {"seed": 10631, "edge": "585.301400"},
  {"seed": 10632, "edge": "693.770487"},
  {"seed": 10633, "edge": "577.508259"},
  {"seed": 10634, "edge": "577.198904"},
  {"seed": 10635, "edge": "490.349228"},
  {"seed": 10636, "edge": "545.553502"},
  {"seed": 10637, "edge": "441.818198"},
  {"seed": 10638, "edge": "766.994447"},
  {"seed": 10639, "edge": "576.120378"},
  {"seed": 10640, "edge": "627.147439"},
  {"seed": 10641, "edge": "625.158133"},
  {"seed": 10642, "edge": "515.213277"},
  {"seed": 10643, "edge": "483.978893"},
  {"seed": 10644, "edge": "541.546769"},
  {"seed": 10645, "edge": "466.969871"},
  {"seed": 10646, "edge": "513.060222"},
  {"seed": 10647, "edge": "690.619189"},
  {"seed": 10648, "edge": "460.598546"},
  {"seed": 10649, "edge": "385.142220"},
  {"seed": 10650, "edge": "574.647865"},
  {"seed": 10651, "edge": "603.490731"},
  {"seed": 10652, "edge": "709.482468"},
  {"seed": 10653, "edge": "531.390187"},
  {"seed": 10654, "edge": "632.722830"},
  {"seed": 10655, "edge": "479.629997"},
  {"seed": 10656, "edge": "637.307539"},
  {"seed": 10657, "edge": "458.643125"},
  {"seed": 10658, "edge": "611.722826"},
  {"seed": 10659, "edge": "707.919509"},
  {"seed": 10660, "edge": "508.674853"},
  {"seed": 10661, "edge": "633.988636"},
  {"seed": 10662, "edge": "555.040089"},
  {"seed": 10663, "edge": "654.231638"},
  {"seed": 10664, "edge": "679.324235"},
  {"seed": 10665, "edge": "455.361880"},
  {"seed": 10666, "edge": "572.563695"},
  {"seed": 10667, "edge": "491.690487"},
  {"seed": 10668, "edge": "617.934354"},
  {"seed": 10669, "edge": "466.452840"},
  {"seed": 10670, "edge": "637.232729"},
  {"seed": 10671, "edge": "597.336510"},
  {"seed": 10672, "edge": "612.617152"},
  {"seed": 10673, "edge": "459.396930"},
  {"seed": 10674, "edge": "503.921589"},
  {"seed": 10675, "edge": "618.613122"},
  {"seed": 10676, "edge": "660.759735"},
  {"seed": 10677, "edge": "526.163323"},
  {"seed": 10678, "edge": "479.946724"},
  {"seed": 10679, "edge": "441.620790"},
  {"seed": 10680, "edge": "421.670941"},
  {"seed": 10681, "edge": "464.656191"},
  {"seed": 10682, "edge": "433.439884"},
  {"seed": 10683, "edge": "544.944187"},
  {"seed": 10684, "edge": "518.989358"},
  {"seed": 10685, "edge": "667.930862"},
  {"seed": 10686, "edge": "653.166432"},
  {"seed": 10687, "edge": "540.873332"},
  {"seed": 10688, "edge": "455.586846"},
  {"seed": 10689, "edge": "593.238098"},
  {"seed": 10690, "edge": "605.290629"},
  {"seed": 10691, "edge": "378.798928"},
  {"seed": 10692, "edge": "573.991754"},
  {"seed": 10693, "edge": "485.670820"},
  {"seed": 10694, "edge": "573.530449"},
  {"seed": 10695, "edge": "687.491071"},
  {"seed": 10696, "edge": "412.126291"},
  {"seed": 10697, "edge": "380.285261"},
  {"seed": 10698, "edge": "515.345585"},
  {"seed": 10699, "edge": "403.677849"},
  {"seed": 10700, "edge": "511.142761"},
  {"seed": 10701, "edge": "580.744250"},
  {"seed": 10702, "edge": "537.586291"},
  {"seed": 10703, "edge": "517.945619"},
  {"seed": 10704, "edge": "554.926883"},
  {"seed": 10705, "edge": "702.168099"},
  {"seed": 10706, "edge": "557.120084"},
  {"seed": 10707, "edge": "561.913969"},
  {"seed": 10708, "edge": "516.798409"},
  {"seed": 10709, "edge": "709.929280"},
  {"seed": 10710, "edge": "443.322742"},
  {"seed": 10711, "edge": "759.755256"},
  {"seed": 10712, "edge": "549.973712"},
  {"seed": 10713, "edge": "364.509270"},
  {"seed": 10714, "edge": "641.961522"},
  {"seed": 10715, "edge": "404.619488"},
  {"seed": 10716, "edge": "490.181978"},
  {"seed": 10717, "edge": "448.727281"},
  {"seed": 10718, "edge": "525.466114"},
  {"seed": 10719, "edge": "350.652894"},
  {"seed": 10720, "edge": "485.973636"},
  {"seed": 10721, "edge": "450.146253"},
  {"seed": 10722, "edge": "522.086880"},
  {"seed": 10723, "edge": "531.472943"},
  {"seed": 10724, "edge": "487.018808"},
  {"seed": 10725, "edge": "445.920083"},
  {"seed": 10726, "edge": "577.103109"},
  {"seed": 10727, "edge": "701.766971"},
  {"seed": 10728, "edge": "458.572193"},
  {"seed": 10729, "edge": "463.797157"},
  {"seed": 10730, "edge": "592.607121"},
  {"seed": 10731, "edge": "405.301403"},
  {"seed": 10732, "edge": "584.680857"},
  {"seed": 10733, "edge": "421.625157"},
  {"seed": 10734, "edge": "452.650890"},
  {"seed": 10735, "edge": "561.116192"},
  {"seed": 10736, "edge": "751.677233"},
  {"seed": 10737, "edge": "436.635029"},
  {"seed": 10738, "edge": "426.249965"},
  {"seed": 10739, "edge": "542.685597"},
  {"seed": 10740, "edge": "524.702299"},
  {"seed": 10741, "edge": "569.441139"},
  {"seed": 10742, "edge": "478.320848"},
  {"seed": 10743, "edge": "416.520977"},
  {"seed": 10744, "edge": "357.729414"},
  {"seed": 10745, "edge": "642.533357"},
  {"seed": 10746, "edge": "500.367028"},
  {"seed": 10747, "edge": "433.009399"},
  {"seed": 10748, "edge": "650.841327"},
  {"seed": 10749, "edge": "614.274141"},
  {"seed": 10750, "edge": "394.710793"},
  {"seed": 10751, "edge": "370.033078"},
  {"seed": 10752, "edge": "485.008353"},
  {"seed": 10753, "edge": "543.143368"},
  {"seed": 10754, "edge": "563.223338"},
  {"seed": 10755, "edge": "433.927365"},
  {"seed": 10756, "edge": "517.011486"},
  {"seed": 10757, "edge": "585.933048"},
  {"seed": 10758, "edge": "472.760749"},
  {"seed": 10759, "edge": "561.754548"},
  {"seed": 10760, "edge": "513.666482"},
  {"seed": 10761, "edge": "745.977830"},
  {"seed": 10762, "edge": "647.415359"},
  {"seed": 10763, "edge": "440.432491"},
  {"seed": 10764, "edge": "659.299396"},
  {"seed": 10765, "edge": "638.685100"},
  {"seed": 10766, "edge": "481.705348"},
  {"seed": 10767, "edge": "511.081294"},
  {"seed": 10768, "edge": "534.633089"},
  {"seed": 10769, "edge": "492.509570"},
  {"seed": 10770, "edge": "384.383746"},
  {"seed": 10771, "edge": "465.340688"},
  {"seed": 10772, "edge": "678.342522"},
  {"seed": 10773, "edge": "486.852028"},
  {"seed": 10774, "edge": "431.631567"},
  {"seed": 10775, "edge": "649.556916"},
  {"seed": 10776, "edge": "412.073860"},
  {"seed": 10777, "edge": "434.104895"},
  {"seed": 10778, "edge": "437.740319"},
  {"seed": 10779, "edge": "527.169760"},
  {"seed": 10780, "edge": "483.882918"},
  {"seed": 10781, "edge": "467.305348"},
  {"seed": 10782, "edge": "444.421731"},
  {"seed": 10783, "edge": "509.201628"},
  {"seed": 10784, "edge": "421.920059"},
  {"seed": 10785, "edge": "487.827262"},
  {"seed": 10786, "edge": "400.496695"},
  {"seed": 10787, "edge": "484.140722"},
  {"seed": 10788, "edge": "430.545784"},
  {"seed": 10789, "edge": "520.767735"},
  {"seed": 10790, "edge": "424.462352"},
  {"seed": 10791, "edge": "719.697410"},
  {"seed": 10792, "edge": "584.722485"},
  {"seed": 10793, "edge": "598.126584"},
  {"seed": 10794, "edge": "520.925271"},
  {"seed": 10795, "edge": "622.530800"},
  {"seed": 10796, "edge": "492.639403"},
  {"seed": 10797, "edge": "590.087221"},
  {"seed": 10798, "edge": "433.593056"},
  {"seed": 10799, "edge": "482.957573"},
  {"seed": 10800, "edge": "429.372520"},
  {"seed": 10801, "edge": "493.092801"},
  {"seed": 10802, "edge": "532.559119"},
  {"seed": 10803, "edge": "666.453632"},
  {"seed": 10804, "edge": "549.639446"},
  {"seed": 10805, "edge": "418.042545"},
  {"seed": 10806, "edge": "448.815407"},
  {"seed": 10807, "edge": "379.617425"},
  {"seed": 10808, "edge": "501.784455"},
  {"seed": 10809, "edge": "532.294166"},
  {"seed": 10810, "edge": "735.703158"},
  {"seed": 10811, "edge": "445.971692"},
  {"seed": 10812, "edge": "386.686509"},
  {"seed": 10813, "edge": "571.971138"},
  {"seed": 10814, "edge": "681.232724"},
  {"seed": 10815, "edge": "429.579963"},
  {"seed": 10816, "edge": "643.752630"},
  {"seed": 10817, "edge": "339.056922"},
  {"seed": 10818, "edge": "505.478469"},
  {"seed": 10819, "edge": "531.322366"},
  {"seed": 10820, "edge": "515.036661"},
  {"seed": 10821, "edge": "476.358610"},
  {"seed": 10822, "edge": "761.949332"},
  {"seed": 10823, "edge": "431.988592"},
  {"seed": 10824, "edge": "557.052774"},
  {"seed": 10825, "edge": "582.393593"},
  {"seed": 10826, "edge": "592.639629"},
  {"seed": 10827, "edge": "397.938326"},
  {"seed": 10828, "edge": "574.676839"},
  {"seed": 10829, "edge": "502.195880"},
  {"seed": 10830, "edge": "540.448023"},
  {"seed": 10831, "edge": "462.903438"},
  {"seed": 10832, "edge": "532.662162"},
  {"seed": 10833, "edge": "634.863191"},
  {"seed": 10834, "edge": "476.197486"},
  {"seed": 10835, "edge": "496.206083"},
  {"seed": 10836, "edge": "614.151224"},
  {"seed": 10837, "edge": "507.693208"},
  {"seed": 10838, "edge": "549.277968"},
  {"seed": 10839, "edge": "574.073755"},
  {"seed": 10840, "edge": "462.245929"},
  {"seed": 10841, "edge": "566.177584"},
  {"seed": 10842, "edge": "648.909309"},
  {"seed": 10843, "edge": "522.006002"},
  {"seed": 10844, "edge": "402.334780"},
  {"seed": 10845, "edge": "628.395737"},
  {"seed": 10846, "edge": "413.051353"},
  {"seed": 10847, "edge": "526.839232"},
  {"seed": 10848, "edge": "532.647179"},
  {"seed": 10849, "edge": "633.512162"},
  {"seed": 10850, "edge": "562.046891"},
  {"seed": 10851, "edge": "378.529872"},
  {"seed": 10852, "edge": "806.416627"},
  {"seed": 10853, "edge": "358.224390"},
  {"seed": 10854, "edge": "337.680346"},
  {"seed": 10855, "edge": "393.034893"},
  {"seed": 10856, "edge": "496.480925"},
  {"seed": 10857, "edge": "482.077174"},
  {"seed": 10858, "edge": "608.668147"},
  {"seed": 10859, "edge": "465.840111"},
  {"seed": 10860, "edge": "567.698164"},
  {"seed": 10861, "edge": "433.982373"},
  {"seed": 10862, "edge": "561.794991"},
  {"seed": 10863, "edge": "514.948709"},
  {"seed": 10864, "edge": "508.305165"},
  {"seed": 10865, "edge": "542.948054"},
  {"seed": 10866, "edge": "443.095582"},
  {"seed": 10867, "edge": "477.830355"},
  {"seed": 10868, "edge": "590.053825"},
  {"seed": 10869, "edge": "572.493850"},
  {"seed": 10870, "edge": "546.672846"},
  {"seed": 10871, "edge": "447.276444"},
  {"seed": 10872, "edge": "456.485939"},
  {"seed": 10873, "edge": "492.438369"},
  {"seed": 10874, "edge": "399.919629"},
  {"seed": 10875, "edge": "407.240407"},
  {"seed": 10876, "edge": "518.349613"},
  {"seed": 10877, "edge": "706.032985"},
  {"seed": 10878, "edge": "497.078883"},
  {"seed": 10879, "edge": "801.911299"},
  {"seed": 10880, "edge": "500.612356"},
  {"seed": 10881, "edge": "372.341553"},
  {"seed": 10882, "edge": "489.434393"},
  {"seed": 10883, "edge": "709.389704"},
  {"seed": 10884, "edge": "528.082127"},
  {"seed": 10885, "edge": "624.126556"},
  {"seed": 10886, "edge": "558.419743"},
  {"seed": 10887, "edge": "339.623774"},
  {"seed": 10888, "edge": "381.904548"},
  {"seed": 10889, "edge": "447.247956"},
  {"seed": 10890, "edge": "672.771222"},
  {"seed": 10891, "edge": "402.130958"},
  {"seed": 10892, "edge": "466.003144"},
  {"seed": 10893, "edge": "512.760611"},
  {"seed": 10894, "edge": "632.633360"},
  {"seed": 10895, "edge": "572.168827"},
  {"seed": 10896, "edge": "479.854131"},
  {"seed": 10897, "edge": "585.943730"},
  {"seed": 10898, "edge": "483.832663"},
  {"seed": 10899, "edge": "448.829263"},
  {"seed": 10900, "edge": "518.582080"},
  {"seed": 10901, "edge": "527.014239"},
  {"seed": 10902, "edge": "575.083799"},
  {"seed": 10903, "edge": "724.400294"},
  {"seed": 10904, "edge": "398.107631"},
  {"seed": 10905, "edge": "391.682149"},
  {"seed": 10906, "edge": "570.218218"},
  {"seed": 10907, "edge": "427.366718"},
  {"seed": 10908, "edge": "476.713296"},
  {"seed": 10909, "edge": "652.806158"},
  {"seed": 10910, "edge": "452.849897"},
  {"seed": 10911, "edge": "643.518023"},
  {"seed": 10912, "edge": "377.051237"},
  {"seed": 10913, "edge": "492.125858"},
  {"seed": 10914, "edge": "576.955026"},
  {"seed": 10915, "edge": "631.542099"},
  {"seed": 10916, "edge": "467.403816"},
  {"seed": 10917, "edge": "414.075221"},
  {"seed": 10918, "edge": "383.659599"},
  {"seed": 10919, "edge": "629.079411"},
  {"seed": 10920, "edge": "734.134611"},
  {"seed": 10921, "edge": "513.055784"},
  {"seed": 10922, "edge": "653.387926"},
  {"seed": 10923, "edge": "490.571380"},
  {"seed": 10924, "edge": "414.573161"},
  {"seed": 10925, "edge": "549.677597"},
  {"seed": 10926, "edge": "374.041415"},
  {"seed": 10927, "edge": "498.214926"},
  {"seed": 10928, "edge": "394.865779"},
  {"seed": 10929, "edge": "546.138878"},
  {"seed": 10930, "edge": "754.759647"},
  {"seed": 10931, "edge": "406.076998"},
  {"seed": 10932, "edge": "518.420406"},
  {"seed": 10933, "edge": "620.530931"},
  {"seed": 10934, "edge": "580.248660"},
  {"seed": 10935, "edge": "495.215513"},
  {"seed": 10936, "edge": "589.120782"},
  {"seed": 10937, "edge": "418.673255"},
  {"seed": 10938, "edge": "496.695207"},
  {"seed": 10939, "edge": "402.972226"},
  {"seed": 10940, "edge": "516.671009"},
  {"seed": 10941, "edge": "571.903762"},
  {"seed": 10942, "edge": "1045.393082"},
  {"seed": 10943, "edge": "632.378027"},
  {"seed": 10944, "edge": "510.124667"},
  {"seed": 10945, "edge": "483.901855"},
  {"seed": 10946, "edge": "559.871671"},
  {"seed": 10947, "edge": "535.205143"},
  {"seed": 10948, "edge": "533.166693"},
  {"seed": 10949, "edge": "557.921840"},
  {"seed": 10950, "edge": "414.477655"},
  {"seed": 10951, "edge": "417.558993"},
  {"seed": 10952, "edge": "443.149191"},
  {"seed": 10953, "edge": "442.313052"},
  {"seed": 10954, "edge": "553.060746"},
  {"seed": 10955, "edge": "646.585879"},
  {"seed": 10956, "edge": "498.939165"},
  {"seed": 10957, "edge": "466.541974"},
  {"seed": 10958, "edge": "670.076073"},
  {"seed": 10959, "edge": "560.476889"},
  {"seed": 10960, "edge": "692.341261"},
  {"seed": 10961, "edge": "556.329083"},
  {"seed": 10962, "edge": "499.171053"},
  {"seed": 10963, "edge": "579.222140"},
  {"seed": 10964, "edge": "508.287055"},
  {"seed": 10965, "edge": "528.750057"},
  {"seed": 10966, "edge": "532.657597"},
  {"seed": 10967, "edge": "466.954985"},
  {"seed": 10968, "edge": "673.782488"},
  {"seed": 10969, "edge": "492.300625"},
  {"seed": 10970, "edge": "411.183727"},
  {"seed": 10971, "edge": "659.319568"},
  {"seed": 10972, "edge": "624.869948"},
  {"seed": 10973, "edge": "697.869996"},
  {"seed": 10974, "edge": "436.312904"},
  {"seed": 10975, "edge": "477.286906"},
  {"seed": 10976, "edge": "361.801390"},
  {"seed": 10977, "edge": "666.600470"},
  {"seed": 10978, "edge": "416.233280"},
  {"seed": 10979, "edge": "569.623458"},
  {"seed": 10980, "edge": "686.383705"},
  {"seed": 10981, "edge": "598.923488"},
  {"seed": 10982, "edge": "692.064763"},
  {"seed": 10983, "edge": "439.218026"},
  {"seed": 10984, "edge": "420.957884"},
  {"seed": 10985, "edge": "524.747858"},
  {"seed": 10986, "edge": "527.557104"},
  {"seed": 10987, "edge": "652.869628"},
  {"seed": 10988, "edge": "669.024719"},
  {"seed": 10989, "edge": "561.724705"},
  {"seed": 10990, "edge": "675.913698"},
  {"seed": 10991, "edge": "570.056229"},
  {"seed": 10992, "edge": "351.152966"},
  {"seed": 10993, "edge": "566.323882"},
  {"seed": 10994, "edge": "554.327406"},
  {"seed": 10995, "edge": "606.355434"},
  {"seed": 10996, "edge": "563.333722"},
  {"seed": 10997, "edge": "474.181972"},
  {"seed": 10998, "edge": "634.177225"},
  {"seed": 10999, "edge": "350.744627"},
  {"seed": 11000, "edge": "470.387937"},
  {"seed": 11001, "edge": "550.175527"},
  {"seed": 11002, "edge": "421.985398"},
  {"seed": 11003, "edge": "507.438503"},
  {"seed": 11004, "edge": "615.090092"},
  {"seed": 11005, "edge": "595.274795"},
  {"seed": 11006, "edge": "562.914503"},
  {"seed": 11007, "edge": "471.729958"},
  {"seed": 11008, "edge": "654.765385"},
  {"seed": 11009, "edge": "430.153498"},
  {"seed": 11010, "edge": "592.759278"},
  {"seed": 11011, "edge": "411.094320"},
  {"seed": 11012, "edge": "486.596761"},
  {"seed": 11013, "edge": "570.422436"},
  {"seed": 11014, "edge": "718.845424"},
  {"seed": 11015, "edge": "518.536675"},
  {"seed": 11016, "edge": "378.842324"},
  {"seed": 11017, "edge": "577.160625"},
  {"seed": 11018, "edge": "570.639139"},
  {"seed": 11019, "edge": "730.162740"},
  {"seed": 11020, "edge": "484.274772"},
  {"seed": 11021, "edge": "625.827384"},
  {"seed": 11022, "edge": "695.037161"},
  {"seed": 11023, "edge": "511.588204"},
  {"seed": 11024, "edge": "485.169957"},
  {"seed": 11025, "edge": "812.431324"},
  {"seed": 11026, "edge": "426.632833"},
  {"seed": 11027, "edge": "621.029315"},
  {"seed": 11028, "edge": "597.729279"},
  {"seed": 11029, "edge": "474.199306"},
  {"seed": 11030, "edge": "714.289873"},
  {"seed": 11031, "edge": "574.483305"},
  {"seed": 11032, "edge": "421.859761"},
  {"seed": 11033, "edge": "509.564570"},
  {"seed": 11034, "edge": "635.193985"},
  {"seed": 11035, "edge": "705.673498"},
  {"seed": 11036, "edge": "454.267826"},
  {"seed": 11037, "edge": "489.731364"},
  {"seed": 11038, "edge": "578.815263"},
  {"seed": 11039, "edge": "534.947630"},
  {"seed": 11040, "edge": "402.338139"},
  {"seed": 11041, "edge": "456.523621"},
  {"seed": 11042, "edge": "739.269675"},
  {"seed": 11043, "edge": "385.559655"},
  {"seed": 11044, "edge": "600.915522"},
  {"seed": 11045, "edge": "610.796192"},
  {"seed": 11046, "edge": "595.170806"},
  {"seed": 11047, "edge": "481.146232"},
  {"seed": 11048, "edge": "505.395862"},
  {"seed": 11049, "edge": "592.833650"},
  {"seed": 11050, "edge": "548.690408"},
  {"seed": 11051, "edge": "571.521930"},
  {"seed": 11052, "edge": "445.171038"},
  {"seed": 11053, "edge": "709.357773"},
  {"seed": 11054, "edge": "582.653098"},
  {"seed": 11055, "edge": "613.560977"},
  {"seed": 11056, "edge": "548.114020"},
  {"seed": 11057, "edge": "654.186391"},
  {"seed": 11058, "edge": "442.348118"},
  {"seed": 11059, "edge": "673.774495"},
  {"seed": 11060, "edge": "566.759370"},
  {"seed": 11061, "edge": "676.064057"},
  {"seed": 11062, "edge": "713.785601"},
  {"seed": 11063, "edge": "504.773944"},
  {"seed": 11064, "edge": "558.981442"},
  {"seed": 11065, "edge": "605.582660"},
  {"seed": 11066, "edge": "543.256295"},
  {"seed": 11067, "edge": "447.834975"},
  {"seed": 11068, "edge": "438.956106"},
  {"seed": 11069, "edge": "496.531331"},
  {"seed": 11070, "edge": "477.461700"},
  {"seed": 11071, "edge": "647.170409"},
  {"seed": 11072, "edge": "510.133634"},
  {"seed": 11073, "edge": "710.731876"},
  {"seed": 11074, "edge": "539.469760"},
  {"seed": 11075, "edge": "414.150037"},
  {"seed": 11076, "edge": "728.630034"},
  {"seed": 11077, "edge": "815.305347"},
  {"seed": 11078, "edge": "546.848142"},
  {"seed": 11079, "edge": "426.383507"},
  {"seed": 11080, "edge": "443.558080"},
  {"seed": 11081, "edge": "438.116854"},
  {"seed": 11082, "edge": "612.643407"},
  {"seed": 11083, "edge": "595.181346"},
  {"seed": 11084, "edge": "481.640568"},
  {"seed": 11085, "edge": "549.648027"},
  {"seed": 11086, "edge": "630.697754"},
  {"seed": 11087, "edge": "537.079809"},
  {"seed": 11088, "edge": "512.413461"},
  {"seed": 11089, "edge": "694.483677"},
  {"seed": 11090, "edge": "464.748456"},
  {"seed": 11091, "edge": "576.908590"},
  {"seed": 11092, "edge": "470.165077"},
  {"seed": 11093, "edge": "419.413312"},
  {"seed": 11094, "edge": "602.918608"},
  {"seed": 11095, "edge": "611.837516"},
  {"seed": 11096, "edge": "460.238582"},
  {"seed": 11097, "edge": "507.271322"},
  {"seed": 11098, "edge": "690.209254"},
  {"seed": 11099, "edge": "459.753963"},
  {"seed": 11100, "edge": "506.231353"},
  {"seed": 11101, "edge": "402.569538"},
  {"seed": 11102, "edge": "533.719702"},
  {"seed": 11103, "edge": "445.644385"},
  {"seed": 11104, "edge": "654.031730"},
  {"seed": 11105, "edge": "430.104830"},
  {"seed": 11106, "edge": "446.035666"},
  {"seed": 11107, "edge": "396.666359"},
  {"seed": 11108, "edge": "644.947354"},
  {"seed": 11109, "edge": "515.877638"},
  {"seed": 11110, "edge": "565.878921"},
  {"seed": 11111, "edge": "459.410815"},
  {"seed": 11112, "edge": "492.546848"},
  {"seed": 11113, "edge": "703.158186"},
  {"seed": 11114, "edge": "644.254464"},
  {"seed": 11115, "edge": "580.914472"},
  {"seed": 11116, "edge": "611.049606"},
  {"seed": 11117, "edge": "549.810827"},
  {"seed": 11118, "edge": "512.017014"},
  {"seed": 11119, "edge": "471.256926"},
  {"seed": 11120, "edge": "582.697372"},
  {"seed": 11121, "edge": "566.553819"},
  {"seed": 11122, "edge": "684.665907"},
  {"seed": 11123, "edge": "715.400882"},
  {"seed": 11124, "edge": "388.751288"},
  {"seed": 11125, "edge": "414.923729"},
  {"seed": 11126, "edge": "578.042742"},
  {"seed": 11127, "edge": "538.118602"},
  {"seed": 11128, "edge": "447.381773"},
  {"seed": 11129, "edge": "520.908578"},
  {"seed": 11130, "edge": "452.488041"},
  {"seed": 11131, "edge": "671.547271"},
  {"seed": 11132, "edge": "613.024431"},
  {"seed": 11133, "edge": "599.072448"},
  {"seed": 11134, "edge": "493.133739"},
  {"seed": 11135, "edge": "555.760858"},
  {"seed": 11136, "edge": "488.365074"},
  {"seed": 11137, "edge": "646.340311"},
  {"seed": 11138, "edge": "666.138814"},
  {"seed": 11139, "edge": "357.688928"},
  {"seed": 11140, "edge": "452.615215"},
  {"seed": 11141, "edge": "571.344464"},
  {"seed": 11142, "edge": "342.798184"},
  {"seed": 11143, "edge": "464.383408"},
  {"seed": 11144, "edge": "580.406017"},
  {"seed": 11145, "edge": "484.164820"},
  {"seed": 11146, "edge": "480.557739"},
  {"seed": 11147, "edge": "388.581520"},
  {"seed": 11148, "edge": "512.344727"},
  {"seed": 11149, "edge": "584.581284"},
  {"seed": 11150, "edge": "333.632616"},
  {"seed": 11151, "edge": "568.130789"},
  {"seed": 11152, "edge": "513.493194"},
  {"seed": 11153, "edge": "377.310883"},
  {"seed": 11154, "edge": "445.085030"},
  {"seed": 11155, "edge": "372.192972"},
  {"seed": 11156, "edge": "454.852934"},
  {"seed": 11157, "edge": "511.191247"},
  {"seed": 11158, "edge": "425.860002"},
  {"seed": 11159, "edge": "594.995390"},
  {"seed": 11160, "edge": "426.418557"},
  {"seed": 11161, "edge": "598.917490"},
  {"seed": 11162, "edge": "507.112799"},
  {"seed": 11163, "edge": "657.426290"},
  {"seed": 11164, "edge": "542.691269"},
  {"seed": 11165, "edge": "632.105337"},
  {"seed": 11166, "edge": "548.026335"},
  {"seed": 11167, "edge": "562.374367"},
  {"seed": 11168, "edge": "529.448921"},
  {"seed": 11169, "edge": "593.999860"},
  {"seed": 11170, "edge": "553.487268"},
  {"seed": 11171, "edge": "513.026408"},
  {"seed": 11172, "edge": "437.298658"},
  {"seed": 11173, "edge": "478.297884"},
  {"seed": 11174, "edge": "634.668535"},
  {"seed": 11175, "edge": "397.298104"},
  {"seed": 11176, "edge": "773.543695"},
  {"seed": 11177, "edge": "480.997382"},
  {"seed": 11178, "edge": "461.659948"},
  {"seed": 11179, "edge": "536.169134"},
  {"seed": 11180, "edge": "419.960498"},
  {"seed": 11181, "edge": "439.625421"},
  {"seed": 11182, "edge": "481.791208"},
  {"seed": 11183, "edge": "400.161757"},
  {"seed": 11184, "edge": "699.518377"},
  {"seed": 11185, "edge": "598.069655"},
  {"seed": 11186, "edge": "539.918561"},
  {"seed": 11187, "edge": "585.649063"},
  {"seed": 11188, "edge": "623.082386"},
  {"seed": 11189, "edge": "417.195100"},
  {"seed": 11190, "edge": "476.669507"},
  {"seed": 11191, "edge": "727.558968"},
  {"seed": 11192, "edge": "537.264361"},
  {"seed": 11193, "edge": "563.431847"},
  {"seed": 11194, "edge": "492.368116"},
  {"seed": 11195, "edge": "532.912123"},
  {"seed": 11196, "edge": "628.293792"},
  {"seed": 11197, "edge": "507.913007"},
  {"seed": 11198, "edge": "646.696224"},
  {"seed": 11199, "edge": "508.902965"},
  {"seed": 11200, "edge": "574.325615"},
  {"seed": 11201, "edge": "532.926103"},
  {"seed": 11202, "edge": "608.610001"},
  {"seed": 11203, "edge": "557.823190"},
  {"seed": 11204, "edge": "534.850502"},
  {"seed": 11205, "edge": "610.514263"},
  {"seed": 11206, "edge": "517.414329"},
  {"seed": 11207, "edge": "600.427615"},
  {"seed": 11208, "edge": "465.252733"},
  {"seed": 11209, "edge": "711.342450"},
  {"seed": 11210, "edge": "554.187472"},
  {"seed": 11211, "edge": "616.399582"},
  {"seed": 11212, "edge": "425.506218"},
  {"seed": 11213, "edge": "610.601787"},
  {"seed": 11214, "edge": "546.135114"},
  {"seed": 11215, "edge": "442.209172"},
  {"seed": 11216, "edge": "402.932415"},
  {"seed": 11217, "edge": "596.965204"},
  {"seed": 11218, "edge": "702.841650"},
  {"seed": 11219, "edge": "503.552691"},
  {"seed": 11220, "edge": "475.638900"},
  {"seed": 11221, "edge": "517.242011"},
  {"seed": 11222, "edge": "596.840474"},
  {"seed": 11223, "edge": "530.879035"},
  {"seed": 11224, "edge": "695.350865"},
  {"seed": 11225, "edge": "710.366193"},
  {"seed": 11226, "edge": "721.504400"},
  {"seed": 11227, "edge": "441.280508"},
  {"seed": 11228, "edge": "494.446660"},
  {"seed": 11229, "edge": "649.323182"},
  {"seed": 11230, "edge": "404.129038"},
  {"seed": 11231, "edge": "537.759175"},
  {"seed": 11232, "edge": "647.126610"},
  {"seed": 11233, "edge": "567.609699"},
  {"seed": 11234, "edge": "620.899087"},
  {"seed": 11235, "edge": "498.605804"},
  {"seed": 11236, "edge": "600.183816"},
  {"seed": 11237, "edge": "524.378642"},
  {"seed": 11238, "edge": "364.006201"},
  {"seed": 11239, "edge": "571.415707"},
  {"seed": 11240, "edge": "493.632880"},
  {"seed": 11241, "edge": "540.502242"},
  {"seed": 11242, "edge": "561.322918"},
  {"seed": 11243, "edge": "535.811294"},
  {"seed": 11244, "edge": "520.738853"},
  {"seed": 11245, "edge": "631.483265"},
  {"seed": 11246, "edge": "556.967949"},
  {"seed": 11247, "edge": "534.064153"},
  {"seed": 11248, "edge": "590.677661"},
  {"seed": 11249, "edge": "535.347991"},
  {"seed": 11250, "edge": "469.430208"},
  {"seed": 11251, "edge": "426.264074"},
  {"seed": 11252, "edge": "628.110030"},
  {"seed": 11253, "edge": "621.392606"},
  {"seed": 11254, "edge": "624.289861"},
  {"seed": 11255, "edge": "505.920349"},
  {"seed": 11256, "edge": "704.555506"},
  {"seed": 11257, "edge": "403.970767"},
  {"seed": 11258, "edge": "567.019850"},
  {"seed": 11259, "edge": "417.187008"},
  {"seed": 11260, "edge": "551.180513"},
  {"seed": 11261, "edge": "414.623477"},
  {"seed": 11262, "edge": "491.729358"},
  {"seed": 11263, "edge": "491.575913"},
  {"seed": 11264, "edge": "380.050605"},
  {"seed": 11265, "edge": "419.352095"},
  {"seed": 11266, "edge": "785.732589"},
  {"seed": 11267, "edge": "577.134578"},
  {"seed": 11268, "edge": "414.025559"},
  {"seed": 11269, "edge": "364.128283"},
  {"seed": 11270, "edge": "474.830179"},
  {"seed": 11271, "edge": "473.448702"},
  {"seed": 11272, "edge": "588.286753"},
  {"seed": 11273, "edge": "528.295956"},
  {"seed": 11274, "edge": "587.618420"},
  {"seed": 11275, "edge": "423.342196"},
  {"seed": 11276, "edge": "476.783211"},
  {"seed": 11277, "edge": "722.816635"},
  {"seed": 11278, "edge": "566.334818"},
  {"seed": 11279, "edge": "453.480945"},
  {"seed": 11280, "edge": "611.195994"},
  {"seed": 11281, "edge": "567.334253"},
  {"seed": 11282, "edge": "488.839636"},
  {"seed": 11283, "edge": "466.865099"},
  {"seed": 11284, "edge": "666.159833"},
  {"seed": 11285, "edge": "658.372684"},
  {"seed": 11286, "edge": "508.770097"},
  {"seed": 11287, "edge": "542.035623"},
  {"seed": 11288, "edge": "540.597036"},
  {"seed": 11289, "edge": "496.532610"},
  {"seed": 11290, "edge": "557.756284"},
  {"seed": 11291, "edge": "421.772286"},
  {"seed": 11292, "edge": "594.814477"},
  {"seed": 11293, "edge": "432.254728"},
  {"seed": 11294, "edge": "399.195551"},
  {"seed": 11295, "edge": "405.588673"},
  {"seed": 11296, "edge": "628.568352"},
  {"seed": 11297, "edge": "516.366258"},
  {"seed": 11298, "edge": "585.406980"},
  {"seed": 11299, "edge": "494.666664"},
  {"seed": 11300, "edge": "654.590771"},
  {"seed": 11301, "edge": "511.003663"},
  {"seed": 11302, "edge": "557.461651"},
  {"seed": 11303, "edge": "664.624040"},
  {"seed": 11304, "edge": "418.340590"},
  {"seed": 11305, "edge": "629.551494"},
  {"seed": 11306, "edge": "378.020152"},
  {"seed": 11307, "edge": "434.501330"},
  {"seed": 11308, "edge": "415.981363"},
  {"seed": 11309, "edge": "473.461793"},
  {"seed": 11310, "edge": "540.372771"},
  {"seed": 11311, "edge": "573.538122"},
  {"seed": 11312, "edge": "480.007208"},
  {"seed": 11313, "edge": "614.241728"},
  {"seed": 11314, "edge": "463.480130"},
  {"seed": 11315, "edge": "629.311016"},
  {"seed": 11316, "edge": "473.746278"},
  {"seed": 11317, "edge": "515.320954"},
  {"seed": 11318, "edge": "642.559357"},
  {"seed": 11319, "edge": "581.251805"},
  {"seed": 11320, "edge": "431.407392"},
  {"seed": 11321, "edge": "524.932146"},
  {"seed": 11322, "edge": "629.202358"},
  {"seed": 11323, "edge": "692.012370"},
  {"seed": 11324, "edge": "448.788040"},
  {"seed": 11325, "edge": "627.360938"},
  {"seed": 11326, "edge": "521.692129"},
  {"seed": 11327, "edge": "542.750739"},
  {"seed": 11328, "edge": "378.129882"},
  {"seed": 11329, "edge": "607.791640"},
  {"seed": 11330, "edge": "561.242795"},
  {"seed": 11331, "edge": "392.585123"},
  {"seed": 11332, "edge": "593.637340"},
  {"seed": 11333, "edge": "648.279028"},
  {"seed": 11334, "edge": "550.507917"},
  {"seed": 11335, "edge": "498.573171"},
  {"seed": 11336, "edge": "534.602800"},
  {"seed": 11337, "edge": "499.111865"},
  {"seed": 11338, "edge": "557.448213"},
  {"seed": 11339, "edge": "415.686206"},
  {"seed": 11340, "edge": "385.614186"},
  {"seed": 11341, "edge": "534.867473"},
  {"seed": 11342, "edge": "526.111344"},
  {"seed": 11343, "edge": "590.322928"},
  {"seed": 11344, "edge": "541.249566"},
  {"seed": 11345, "edge": "633.680372"},
  {"seed": 11346, "edge": "575.081283"},
  {"seed": 11347, "edge": "638.436883"},
  {"seed": 11348, "edge": "441.584248"},
  {"seed": 11349, "edge": "497.319383"},
  {"seed": 11350, "edge": "691.179022"},
  {"seed": 11351, "edge": "445.319375"},
  {"seed": 11352, "edge": "463.305699"},
  {"seed": 11353, "edge": "589.325642"},
  {"seed": 11354, "edge": "628.638954"},
  {"seed": 11355, "edge": "551.791124"},
  {"seed": 11356, "edge": "554.040407"},
  {"seed": 11357, "edge": "534.177516"},
  {"seed": 11358, "edge": "577.599634"},
  {"seed": 11359, "edge": "700.717355"},
  {"seed": 11360, "edge": "653.249315"},
  {"seed": 11361, "edge": "430.787086"},
  {"seed": 11362, "edge": "605.805890"},
  {"seed": 11363, "edge": "394.895134"},
  {"seed": 11364, "edge": "475.981755"},
  {"seed": 11365, "edge": "513.041415"},
  {"seed": 11366, "edge": "636.321736"},
  {"seed": 11367, "edge": "490.687820"},
  {"seed": 11368, "edge": "625.014361"},
  {"seed": 11369, "edge": "450.707413"},
  {"seed": 11370, "edge": "555.209929"},
  {"seed": 11371, "edge": "545.403604"},
  {"seed": 11372, "edge": "365.651295"},
  {"seed": 11373, "edge": "585.105251"},
  {"seed": 11374, "edge": "577.472826"},
  {"seed": 11375, "edge": "455.341168"},
  {"seed": 11376, "edge": "557.538952"},
  {"seed": 11377, "edge": "504.898653"},
  {"seed": 11378, "edge": "598.364014"},
  {"seed": 11379, "edge": "539.666352"},
  {"seed": 11380, "edge": "809.309944"},
  {"seed": 11381, "edge": "445.859311"},
  {"seed": 11382, "edge": "455.788820"},
  {"seed": 11383, "edge": "685.962027"},
  {"seed": 11384, "edge": "507.864004"},
  {"seed": 11385, "edge": "486.819081"},
  {"seed": 11386, "edge": "516.372505"},
  {"seed": 11387, "edge": "796.243913"},
  {"seed": 11388, "edge": "645.796684"},
  {"seed": 11389, "edge": "334.434387"},
  {"seed": 11390, "edge": "698.210605"},
  {"seed": 11391, "edge": "361.807797"},
  {"seed": 11392, "edge": "595.337199"},
  {"seed": 11393, "edge": "471.036256"},
  {"seed": 11394, "edge": "419.425117"},
  {"seed": 11395, "edge": "635.101700"},
  {"seed": 11396, "edge": "421.426692"},
  {"seed": 11397, "edge": "442.285188"},
  {"seed": 11398, "edge": "431.988876"},
  {"seed": 11399, "edge": "540.881512"},
  {"seed": 11400, "edge": "505.652657"},
  {"seed": 11401, "edge": "351.590218"},
  {"seed": 11402, "edge": "479.890626"},
  {"seed": 11403, "edge": "586.270721"},
  {"seed": 11404, "edge": "494.421334"},
  {"seed": 11405, "edge": "532.800458"},
  {"seed": 11406, "edge": "520.305658"},
  {"seed": 11407, "edge": "526.982060"},
  {"seed": 11408, "edge": "389.032334"},
  {"seed": 11409, "edge": "542.042683"},
  {"seed": 11410, "edge": "474.831288"},
  {"seed": 11411, "edge": "558.790187"},
  {"seed": 11412, "edge": "619.680267"},
  {"seed": 11413, "edge": "508.738317"},
  {"seed": 11414, "edge": "513.302195"},
  {"seed": 11415, "edge": "500.707340"},
  {"seed": 11416, "edge": "514.791091"},
  {"seed": 11417, "edge": "616.391054"},
  {"seed": 11418, "edge": "539.747917"},
  {"seed": 11419, "edge": "531.939259"},
  {"seed": 11420, "edge": "506.257072"},
  {"seed": 11421, "edge": "466.845183"},
  {"seed": 11422, "edge": "479.074205"},
  {"seed": 11423, "edge": "332.184721"},
  {"seed": 11424, "edge": "428.768875"},
  {"seed": 11425, "edge": "560.651754"},
  {"seed": 11426, "edge": "548.888473"},
  {"seed": 11427, "edge": "483.472262"},
  {"seed": 11428, "edge": "539.308540"},
  {"seed": 11429, "edge": "503.126681"},
  {"seed": 11430, "edge": "569.517015"},
  {"seed": 11431, "edge": "541.114477"},
  {"seed": 11432, "edge": "424.435543"},
  {"seed": 11433, "edge": "419.719455"},
  {"seed": 11434, "edge": "551.153826"},
  {"seed": 11435, "edge": "487.331584"},
  {"seed": 11436, "edge": "467.693843"},
  {"seed": 11437, "edge": "605.418580"},
  {"seed": 11438, "edge": "547.481958"},
  {"seed": 11439, "edge": "468.154918"},
  {"seed": 11440, "edge": "599.272538"},
  {"seed": 11441, "edge": "568.820362"},
  {"seed": 11442, "edge": "551.739300"},
  {"seed": 11443, "edge": "510.568633"},
  {"seed": 11444, "edge": "541.752238"},
  {"seed": 11445, "edge": "475.755837"},
  {"seed": 11446, "edge": "600.162978"},
  {"seed": 11447, "edge": "369.815717"},
  {"seed": 11448, "edge": "507.947360"},
  {"seed": 11449, "edge": "432.836080"},
  {"seed": 11450, "edge": "555.192411"},
  {"seed": 11451, "edge": "611.823615"},
  {"seed": 11452, "edge": "480.707262"},
  {"seed": 11453, "edge": "486.733119"},
  {"seed": 11454, "edge": "629.000494"},
  {"seed": 11455, "edge": "789.980532"},
  {"seed": 11456, "edge": "437.450184"},
  {"seed": 11457, "edge": "463.280774"},
  {"seed": 11458, "edge": "591.357153"},
  {"seed": 11459, "edge": "385.948325"},
  {"seed": 11460, "edge": "424.613367"},
  {"seed": 11461, "edge": "414.817038"},
  {"seed": 11462, "edge": "577.528881"},
  {"seed": 11463, "edge": "512.977034"},
  {"seed": 11464, "edge": "606.478129"},
  {"seed": 11465, "edge": "494.712631"},
  {"seed": 11466, "edge": "635.160305"},
  {"seed": 11467, "edge": "604.684685"},
  {"seed": 11468, "edge": "580.691541"},
  {"seed": 11469, "edge": "585.320445"},
  {"seed": 11470, "edge": "461.376575"},
  {"seed": 11471, "edge": "477.873557"},
  {"seed": 11472, "edge": "463.116512"},
  {"seed": 11473, "edge": "424.661329"},
  {"seed": 11474, "edge": "563.428901"},
  {"seed": 11475, "edge": "591.404044"},
  {"seed": 11476, "edge": "546.772876"},
  {"seed": 11477, "edge": "586.573245"},
  {"seed": 11478, "edge": "581.393748"},
  {"seed": 11479, "edge": "556.552102"},
  {"seed": 11480, "edge": "564.766343"},
  {"seed": 11481, "edge": "556.467006"},
  {"seed": 11482, "edge": "457.683589"},
  {"seed": 11483, "edge": "749.588183"},
  {"seed": 11484, "edge": "575.821922"},
  {"seed": 11485, "edge": "492.484795"},
  {"seed": 11486, "edge": "677.368926"},
  {"seed": 11487, "edge": "678.741764"},
  {"seed": 11488, "edge": "507.049413"},
  {"seed": 11489, "edge": "390.641718"},
  {"seed": 11490, "edge": "641.443266"},
  {"seed": 11491, "edge": "427.017324"},
  {"seed": 11492, "edge": "636.795807"},
  {"seed": 11493, "edge": "628.128577"},
  {"seed": 11494, "edge": "508.005483"},
  {"seed": 11495, "edge": "398.785209"},
  {"seed": 11496, "edge": "428.883546"},
  {"seed": 11497, "edge": "479.283525"},
  {"seed": 11498, "edge": "607.703437"},
  {"seed": 11499, "edge": "553.756341"},
  {"seed": 11500, "edge": "636.126131"},
  {"seed": 11501, "edge": "439.136359"},
  {"seed": 11502, "edge": "361.262959"},
  {"seed": 11503, "edge": "478.410020"},
  {"seed": 11504, "edge": "672.516917"},
  {"seed": 11505, "edge": "604.098782"},
  {"seed": 11506, "edge": "618.889546"},
  {"seed": 11507, "edge": "616.747746"},
  {"seed": 11508, "edge": "360.155968"},
  {"seed": 11509, "edge": "597.363571"},
  {"seed": 11510, "edge": "561.426344"},
  {"seed": 11511, "edge": "550.024665"},
  {"seed": 11512, "edge": "350.415289"},
  {"seed": 11513, "edge": "442.757620"},
  {"seed": 11514, "edge": "431.100095"},
  {"seed": 11515, "edge": "434.735679"},
  {"seed": 11516, "edge": "602.807872"},
  {"seed": 11517, "edge": "585.919159"},
  {"seed": 11518, "edge": "460.315411"},
  {"seed": 11519, "edge": "526.398588"},
  {"seed": 11520, "edge": "651.217455"},
  {"seed": 11521, "edge": "519.303256"},
  {"seed": 11522, "edge": "449.046490"},
  {"seed": 11523, "edge": "383.928737"},
  {"seed": 11524, "edge": "513.208419"},
  {"seed": 11525, "edge": "431.021723"},
  {"seed": 11526, "edge": "625.530321"},
  {"seed": 11527, "edge": "578.645600"},
  {"seed": 11528, "edge": "425.357656"},
  {"seed": 11529, "edge": "422.803884"},
  {"seed": 11530, "edge": "534.628088"},
  {"seed": 11531, "edge": "437.175441"},
  {"seed": 11532, "edge": "467.072891"},
  {"seed": 11533, "edge": "637.814600"},
  {"seed": 11534, "edge": "491.493844"},
  {"seed": 11535, "edge": "538.054574"},
  {"seed": 11536, "edge": "431.237477"},
  {"seed": 11537, "edge": "521.437205"},
  {"seed": 11538, "edge": "589.003626"},
  {"seed": 11539, "edge": "559.426241"},
  {"seed": 11540, "edge": "783.876934"},
  {"seed": 11541, "edge": "575.602239"},
  {"seed": 11542, "edge": "387.040214"},
  {"seed": 11543, "edge": "488.533398"},
  {"seed": 11544, "edge": "532.247565"},
  {"seed": 11545, "edge": "366.950452"},
  {"seed": 11546, "edge": "476.947704"},
  {"seed": 11547, "edge": "362.187839"},
  {"seed": 11548, "edge": "456.337276"},
  {"seed": 11549, "edge": "499.334526"},
  {"seed": 11550, "edge": "563.742022"},
  {"seed": 11551, "edge": "546.226508"},
  {"seed": 11552, "edge": "569.476165"},
  {"seed": 11553, "edge": "695.031499"},
  {"seed": 11554, "edge": "630.306184"},
  {"seed": 11555, "edge": "685.347523"},
  {"seed": 11556, "edge": "447.240125"},
  {"seed": 11557, "edge": "590.036912"},
  {"seed": 11558, "edge": "673.142629"},
  {"seed": 11559, "edge": "633.169401"},
  {"seed": 11560, "edge": "522.215445"},
  {"seed": 11561, "edge": "530.330551"},
  {"seed": 11562, "edge": "400.661440"},
  {"seed": 11563, "edge": "427.394199"},
  {"seed": 11564, "edge": "619.780112"},
  {"seed": 11565, "edge": "664.227563"},
  {"seed": 11566, "edge": "414.911878"},
  {"seed": 11567, "edge": "551.698899"},
  {"seed": 11568, "edge": "601.142286"},
  {"seed": 11569, "edge": "442.509713"},
  {"seed": 11570, "edge": "585.299648"},
  {"seed": 11571, "edge": "606.514616"},
  {"seed": 11572, "edge": "530.162836"},
  {"seed": 11573, "edge": "678.041635"},
  {"seed": 11574, "edge": "428.425928"},
  {"seed": 11575, "edge": "436.331553"},
  {"seed": 11576, "edge": "441.194911"},
  {"seed": 11577, "edge": "428.739175"},
  {"seed": 11578, "edge": "711.791414"},
  {"seed": 11579, "edge": "665.080688"},
  {"seed": 11580, "edge": "511.709128"},
  {"seed": 11581, "edge": "434.429735"},
  {"seed": 11582, "edge": "572.690212"},
  {"seed": 11583, "edge": "535.892297"},
  {"seed": 11584, "edge": "575.041499"},
  {"seed": 11585, "edge": "580.786244"},
  {"seed": 11586, "edge": "388.670284"},
  {"seed": 11587, "edge": "564.776113"},
  {"seed": 11588, "edge": "588.587674"},
  {"seed": 11589, "edge": "693.321512"},
  {"seed": 11590, "edge": "559.450475"},
  {"seed": 11591, "edge": "530.579384"},
  {"seed": 11592, "edge": "348.924127"},
  {"seed": 11593, "edge": "396.247959"},
  {"seed": 11594, "edge": "390.016785"},
  {"seed": 11595, "edge": "595.588376"},
  {"seed": 11596, "edge": "610.645892"},
  {"seed": 11597, "edge": "665.463702"},
  {"seed": 11598, "edge": "504.496838"},
  {"seed": 11599, "edge": "349.479941"},
  {"seed": 11600, "edge": "466.803188"},
  {"seed": 11601, "edge": "727.758256"},
  {"seed": 11602, "edge": "585.865510"},
  {"seed": 11603, "edge": "620.042228"},
  {"seed": 11604, "edge": "525.831349"},
  {"seed": 11605, "edge": "531.497219"},
  {"seed": 11606, "edge": "418.892062"},
  {"seed": 11607, "edge": "550.537742"},
  {"seed": 11608, "edge": "402.895819"},
  {"seed": 11609, "edge": "585.006786"},
  {"seed": 11610, "edge": "624.838467"},
  {"seed": 11611, "edge": "483.025788"},
  {"seed": 11612, "edge": "536.418288"},
  {"seed": 11613, "edge": "596.502743"},
  {"seed": 11614, "edge": "416.030902"},
  {"seed": 11615, "edge": "631.143598"},
  {"seed": 11616, "edge": "474.069204"},
  {"seed": 11617, "edge": "605.072767"},
  {"seed": 11618, "edge": "695.657335"},
  {"seed": 11619, "edge": "519.773012"},
  {"seed": 11620, "edge": "550.909867"},
  {"seed": 11621, "edge": "569.932254"},
  {"seed": 11622, "edge": "629.670293"},
  {"seed": 11623, "edge": "500.498304"},
  {"seed": 11624, "edge": "586.618694"},
  {"seed": 11625, "edge": "632.000929"},
  {"seed": 11626, "edge": "419.639385"},
  {"seed": 11627, "edge": "528.118245"},
  {"seed": 11628, "edge": "751.542702"},
  {"seed": 11629, "edge": "404.064498"},
  {"seed": 11630, "edge": "578.194666"},
  {"seed": 11631, "edge": "541.018630"},
  {"seed": 11632, "edge": "673.610624"},
  {"seed": 11633, "edge": "545.668567"},
  {"seed": 11634, "edge": "473.703710"},
  {"seed": 11635, "edge": "630.876626"},
  {"seed": 11636, "edge": "543.822284"},
  {"seed": 11637, "edge": "458.947590"},
  {"seed": 11638, "edge": "394.343076"},
  {"seed": 11639, "edge": "374.749890"},
  {"seed": 11640, "edge": "594.114699"},
  {"seed": 11641, "edge": "472.774887"},
  {"seed": 11642, "edge": "660.971566"},
  {"seed": 11643, "edge": "615.543499"},
  {"seed": 11644, "edge": "478.195720"},
  {"seed": 11645, "edge": "659.996377"},
  {"seed": 11646, "edge": "642.399121"},
  {"seed": 11647, "edge": "669.220094"},
  {"seed": 11648, "edge": "650.193562"},
  {"seed": 11649, "edge": "514.864056"},
  {"seed": 11650, "edge": "438.128848"},
  {"seed": 11651, "edge": "657.152536"},
  {"seed": 11652, "edge": "653.641425"},
  {"seed": 11653, "edge": "381.478496"},
  {"seed": 11654, "edge": "442.730986"},
  {"seed": 11655, "edge": "455.091530"},
  {"seed": 11656, "edge": "615.487046"},
  {"seed": 11657, "edge": "616.365022"},
  {"seed": 11658, "edge": "610.834516"},
  {"seed": 11659, "edge": "624.604937"},
  {"seed": 11660, "edge": "607.800448"},
  {"seed": 11661, "edge": "605.226081"},
  {"seed": 11662, "edge": "421.558940"},
  {"seed": 11663, "edge": "509.533608"},
  {"seed": 11664, "edge": "482.066705"},
  {"seed": 11665, "edge": "580.349528"},
  {"seed": 11666, "edge": "530.715133"},
  {"seed": 11667, "edge": "522.450832"},
  {"seed": 11668, "edge": "548.169655"},
  {"seed": 11669, "edge": "616.943630"},
  {"seed": 11670, "edge": "466.904388"},
  {"seed": 11671, "edge": "579.690446"},
  {"seed": 11672, "edge": "472.745582"},
  {"seed": 11673, "edge": "471.344971"},
  {"seed": 11674, "edge": "545.360428"},
  {"seed": 11675, "edge": "446.223948"},
  {"seed": 11676, "edge": "669.546459"},
  {"seed": 11677, "edge": "585.132879"},
  {"seed": 11678, "edge": "547.047841"},
  {"seed": 11679, "edge": "485.771710"},
  {"seed": 11680, "edge": "446.926133"},
  {"seed": 11681, "edge": "484.815536"},
  {"seed": 11682, "edge": "519.676348"},
  {"seed": 11683, "edge": "629.213268"},
  {"seed": 11684, "edge": "483.012883"},
  {"seed": 11685, "edge": "587.527267"},
  {"seed": 11686, "edge": "524.843933"},
  {"seed": 11687, "edge": "568.432509"},
  {"seed": 11688, "edge": "425.975849"},
  {"seed": 11689, "edge": "378.235330"},
  {"seed": 11690, "edge": "448.120355"},
  {"seed": 11691, "edge": "463.722835"},
  {"seed": 11692, "edge": "601.103059"},
  {"seed": 11693, "edge": "644.363409"},
  {"seed": 11694, "edge": "545.110990"},
  {"seed": 11695, "edge": "601.466633"},
  {"seed": 11696, "edge": "717.225800"},
  {"seed": 11697, "edge": "616.996593"},
  {"seed": 11698, "edge": "509.250348"},
  {"seed": 11699, "edge": "580.285868"},
  {"seed": 11700, "edge": "494.354756"},
  {"seed": 11701, "edge": "653.536541"},
  {"seed": 11702, "edge": "658.793588"},
  {"seed": 11703, "edge": "580.517795"},
  {"seed": 11704, "edge": "554.374203"},
  {"seed": 11705, "edge": "642.981755"},
  {"seed": 11706, "edge": "513.956916"},
  {"seed": 11707, "edge": "455.261478"},
  {"seed": 11708, "edge": "541.779567"},
  {"seed": 11709, "edge": "601.450601"},
  {"seed": 11710, "edge": "498.685583"},
  {"seed": 11711, "edge": "414.970201"},
  {"seed": 11712, "edge": "506.597887"},
  {"seed": 11713, "edge": "540.304422"},
  {"seed": 11714, "edge": "536.044240"},
  {"seed": 11715, "edge": "541.999946"},
  {"seed": 11716, "edge": "427.466025"},
  {"seed": 11717, "edge": "395.721022"},
  {"seed": 11718, "edge": "423.635563"},
  {"seed": 11719, "edge": "632.460773"},
  {"seed": 11720, "edge": "481.937636"},
  {"seed": 11721, "edge": "380.611609"},
  {"seed": 11722, "edge": "482.280190"},
  {"seed": 11723, "edge": "472.311639"},
  {"seed": 11724, "edge": "460.227353"},
  {"seed": 11725, "edge": "529.677119"},
  {"seed": 11726, "edge": "444.951911"},
  {"seed": 11727, "edge": "619.278191"},
  {"seed": 11728, "edge": "671.557683"},
  {"seed": 11729, "edge": "532.722739"},
  {"seed": 11730, "edge": "713.581851"},
  {"seed": 11731, "edge": "475.237382"},
  {"seed": 11732, "edge": "387.074613"},
  {"seed": 11733, "edge": "623.101288"},
  {"seed": 11734, "edge": "582.280638"},
  {"seed": 11735, "edge": "550.027366"},
  {"seed": 11736, "edge": "520.419661"},
  {"seed": 11737, "edge": "734.744001"},
  {"seed": 11738, "edge": "363.204845"},
  {"seed": 11739, "edge": "640.712227"},
  {"seed": 11740, "edge": "623.973554"},
  {"seed": 11741, "edge": "698.241956"},
  {"seed": 11742, "edge": "398.879854"},
  {"seed": 11743, "edge": "571.520969"},
  {"seed": 11744, "edge": "552.392472"},
  {"seed": 11745, "edge": "444.356447"},
  {"seed": 11746, "edge": "645.113386"},
  {"seed": 11747, "edge": "637.665384"},
  {"seed": 11748, "edge": "578.107411"},
  {"seed": 11749, "edge": "588.257997"},
  {"seed": 11750, "edge": "425.082876"},
  {"seed": 11751, "edge": "629.309982"},
  {"seed": 11752, "edge": "393.467918"},
  {"seed": 11753, "edge": "586.663826"},
  {"seed": 11754, "edge": "501.291210"},
  {"seed": 11755, "edge": "572.732818"},
  {"seed": 11756, "edge": "649.593926"},
  {"seed": 11757, "edge": "490.231165"},
  {"seed": 11758, "edge": "607.431690"},
  {"seed": 11759, "edge": "573.643594"},
  {"seed": 11760, "edge": "535.424113"},
  {"seed": 11761, "edge": "563.327110"},
  {"seed": 11762, "edge": "648.522740"},
  {"seed": 11763, "edge": "613.164433"},
  {"seed": 11764, "edge": "428.603432"},
  {"seed": 11765, "edge": "673.144107"},
  {"seed": 11766, "edge": "482.287312"},
  {"seed": 11767, "edge": "539.586559"},
  {"seed": 11768, "edge": "438.642472"},
  {"seed": 11769, "edge": "609.027132"},
  {"seed": 11770, "edge": "684.268889"},
  {"seed": 11771, "edge": "465.230120"},
  {"seed": 11772, "edge": "524.911780"},
  {"seed": 11773, "edge": "390.996573"},
  {"seed": 11774, "edge": "540.365651"},
  {"seed": 11775, "edge": "450.408792"},
  {"seed": 11776, "edge": "641.380831"},
  {"seed": 11777, "edge": "407.829481"},
  {"seed": 11778, "edge": "779.094854"},
  {"seed": 11779, "edge": "449.887849"},
  {"seed": 11780, "edge": "490.412710"},
  {"seed": 11781, "edge": "712.931898"},
  {"seed": 11782, "edge": "533.927666"},
  {"seed": 11783, "edge": "625.929191"},
  {"seed": 11784, "edge": "398.321574"},
  {"seed": 11785, "edge": "561.299202"},
  {"seed": 11786, "edge": "500.446246"},
  {"seed": 11787, "edge": "543.406262"},
  {"seed": 11788, "edge": "382.482261"},
  {"seed": 11789, "edge": "562.123064"},
  {"seed": 11790, "edge": "595.926112"},
  {"seed": 11791, "edge": "716.099742"},
  {"seed": 11792, "edge": "725.405136"},
  {"seed": 11793, "edge": "472.173022"},
  {"seed": 11794, "edge": "492.655366"},
  {"seed": 11795, "edge": "531.401839"},
  {"seed": 11796, "edge": "527.218280"},
  {"seed": 11797, "edge": "518.847231"},
  {"seed": 11798, "edge": "447.261389"},
  {"seed": 11799, "edge": "543.077812"},
  {"seed": 11800, "edge": "469.262445"},
  {"seed": 11801, "edge": "571.611754"},
  {"seed": 11802, "edge": "588.992327"},
  {"seed": 11803, "edge": "409.487042"},
  {"seed": 11804, "edge": "445.293476"},
  {"seed": 11805, "edge": "696.028348"},
  {"seed": 11806, "edge": "553.336857"},
  {"seed": 11807, "edge": "413.659132"},
  {"seed": 11808, "edge": "624.407269"},
  {"seed": 11809, "edge": "604.564563"},
  {"seed": 11810, "edge": "715.257915"},
  {"seed": 11811, "edge": "468.551946"},
  {"seed": 11812, "edge": "517.006846"},
  {"seed": 11813, "edge": "673.048686"},
  {"seed": 11814, "edge": "428.273659"},
  {"seed": 11815, "edge": "604.129258"},
  {"seed": 11816, "edge": "404.345271"},
  {"seed": 11817, "edge": "462.140810"},
  {"seed": 11818, "edge": "444.541094"},
  {"seed": 11819, "edge": "412.499383"},
  {"seed": 11820, "edge": "474.053044"},
  {"seed": 11821, "edge": "494.142949"},
  {"seed": 11822, "edge": "701.906587"},
  {"seed": 11823, "edge": "388.231200"},
  {"seed": 11824, "edge": "502.450504"},
  {"seed": 11825, "edge": "461.349050"},
  {"seed": 11826, "edge": "632.236116"},
  {"seed": 11827, "edge": "545.556195"},
  {"seed": 11828, "edge": "352.892067"},
  {"seed": 11829, "edge": "511.443939"},
  {"seed": 11830, "edge": "482.598751"},
  {"seed": 11831, "edge": "632.722386"},
  {"seed": 11832, "edge": "431.465854"},
  {"seed": 11833, "edge": "473.467584"},
  {"seed": 11834, "edge": "564.773535"},
  {"seed": 11835, "edge": "506.901383"},
  {"seed": 11836, "edge": "538.117132"},
  {"seed": 11837, "edge": "581.996296"},
  {"seed": 11838, "edge": "605.119688"},
  {"seed": 11839, "edge": "664.644063"},
  {"seed": 11840, "edge": "563.314883"},
  {"seed": 11841, "edge": "419.460724"},
  {"seed": 11842, "edge": "435.479965"},
  {"seed": 11843, "edge": "535.011658"},
  {"seed": 11844, "edge": "630.853746"},
  {"seed": 11845, "edge": "659.042378"},
  {"seed": 11846, "edge": "436.993822"},
  {"seed": 11847, "edge": "438.498399"},
  {"seed": 11848, "edge": "460.454721"},
  {"seed": 11849, "edge": "655.054772"},
  {"seed": 11850, "edge": "556.606649"},
  {"seed": 11851, "edge": "581.075286"},
  {"seed": 11852, "edge": "583.910816"},
  {"seed": 11853, "edge": "445.048256"},
  {"seed": 11854, "edge": "436.651246"},
  {"seed": 11855, "edge": "531.401407"},
  {"seed": 11856, "edge": "471.714814"},
  {"seed": 11857, "edge": "612.570914"},
  {"seed": 11858, "edge": "440.330851"},
  {"seed": 11859, "edge": "711.590909"},
  {"seed": 11860, "edge": "431.534311"},
  {"seed": 11861, "edge": "624.898811"},
  {"seed": 11862, "edge": "401.020895"},
  {"seed": 11863, "edge": "708.966316"},
  {"seed": 11864, "edge": "349.865201"},
  {"seed": 11865, "edge": "614.962257"},
  {"seed": 11866, "edge": "605.310191"},
  {"seed": 11867, "edge": "569.512875"},
  {"seed": 11868, "edge": "527.350130"},
  {"seed": 11869, "edge": "632.071841"},
  {"seed": 11870, "edge": "655.042325"},
  {"seed": 11871, "edge": "575.554971"},
  {"seed": 11872, "edge": "530.325123"},
  {"seed": 11873, "edge": "502.378625"},
  {"seed": 11874, "edge": "358.503583"},
  {"seed": 11875, "edge": "704.570839"},
  {"seed": 11876, "edge": "408.295219"},
  {"seed": 11877, "edge": "366.634202"},
  {"seed": 11878, "edge": "597.218984"},
  {"seed": 11879, "edge": "550.149952"},
  {"seed": 11880, "edge": "572.733624"},
  {"seed": 11881, "edge": "435.119951"},
  {"seed": 11882, "edge": "448.848662"},
  {"seed": 11883, "edge": "434.079459"},
  {"seed": 11884, "edge": "532.945047"},
  {"seed": 11885, "edge": "561.395328"},
  {"seed": 11886, "edge": "614.308480"},
  {"seed": 11887, "edge": "498.841077"},
  {"seed": 11888, "edge": "637.689360"},
  {"seed": 11889, "edge": "460.709992"},
  {"seed": 11890, "edge": "393.185410"},
  {"seed": 11891, "edge": "407.738950"},
  {"seed": 11892, "edge": "589.762309"},
  {"seed": 11893, "edge": "674.936801"},
  {"seed": 11894, "edge": "537.282305"},
  {"seed": 11895, "edge": "509.076805"},
  {"seed": 11896, "edge": "591.963536"},
  {"seed": 11897, "edge": "587.035659"},
  {"seed": 11898, "edge": "583.600963"},
  {"seed": 11899, "edge": "397.648495"},
  {"seed": 11900, "edge": "613.875183"},
  {"seed": 11901, "edge": "431.297120"},
  {"seed": 11902, "edge": "433.176082"},
  {"seed": 11903, "edge": "400.738190"},
  {"seed": 11904, "edge": "449.752063"},
  {"seed": 11905, "edge": "468.599007"},
  {"seed": 11906, "edge": "395.082618"},
  {"seed": 11907, "edge": "600.154095"},
  {"seed": 11908, "edge": "552.382062"},
  {"seed": 11909, "edge": "411.330919"},
  {"seed": 11910, "edge": "724.737269"},
  {"seed": 11911, "edge": "744.966270"},
  {"seed": 11912, "edge": "516.817073"},
  {"seed": 11913, "edge": "409.565064"},
  {"seed": 11914, "edge": "423.123713"},
  {"seed": 11915, "edge": "490.442853"},
  {"seed": 11916, "edge": "378.331118"},
  {"seed": 11917, "edge": "611.186087"},
  {"seed": 11918, "edge": "728.720986"},
  {"seed": 11919, "edge": "603.169344"},
  {"seed": 11920, "edge": "608.948547"},
  {"seed": 11921, "edge": "804.645647"},
  {"seed": 11922, "edge": "628.730733"},
  {"seed": 11923, "edge": "391.286044"},
  {"seed": 11924, "edge": "484.604866"},
  {"seed": 11925, "edge": "413.472568"},
  {"seed": 11926, "edge": "610.736864"},
  {"seed": 11927, "edge": "405.257832"},
  {"seed": 11928, "edge": "517.824388"},
  {"seed": 11929, "edge": "654.048493"},
  {"seed": 11930, "edge": "664.058825"},
  {"seed": 11931, "edge": "673.225789"},
  {"seed": 11932, "edge": "552.671416"},
  {"seed": 11933, "edge": "458.637650"},
  {"seed": 11934, "edge": "523.727056"},
  {"seed": 11935, "edge": "658.707612"},
  {"seed": 11936, "edge": "442.305081"},
  {"seed": 11937, "edge": "558.159098"},
  {"seed": 11938, "edge": "424.711706"},
  {"seed": 11939, "edge": "585.035496"},
  {"seed": 11940, "edge": "412.009000"},
  {"seed": 11941, "edge": "418.448231"},
  {"seed": 11942, "edge": "470.005209"},
  {"seed": 11943, "edge": "496.877828"},
  {"seed": 11944, "edge": "617.393301"},
  {"seed": 11945, "edge": "530.827629"},
  {"seed": 11946, "edge": "476.190562"},
  {"seed": 11947, "edge": "629.490996"},
  {"seed": 11948, "edge": "484.667253"},
  {"seed": 11949, "edge": "456.448580"},
  {"seed": 11950, "edge": "755.511294"},
  {"seed": 11951, "edge": "335.220016"},
  {"seed": 11952, "edge": "512.047943"},
  {"seed": 11953, "edge": "519.775977"},
  {"seed": 11954, "edge": "470.475124"},
  {"seed": 11955, "edge": "464.395804"},
  {"seed": 11956, "edge": "613.540257"},
  {"seed": 11957, "edge": "639.826452"},
  {"seed": 11958, "edge": "642.731046"},
  {"seed": 11959, "edge": "528.018001"},
  {"seed": 11960, "edge": "557.526022"},
  {"seed": 11961, "edge": "475.088564"},
  {"seed": 11962, "edge": "450.204939"},
  {"seed": 11963, "edge": "459.145663"},
  {"seed": 11964, "edge": "636.392445"},
  {"seed": 11965, "edge": "588.548658"},
  {"seed": 11966, "edge": "555.508910"},
  {"seed": 11967, "edge": "466.473512"},
  {"seed": 11968, "edge": "495.450221"},
  {"seed": 11969, "edge": "430.574569"},
  {"seed": 11970, "edge": "408.047044"},
  {"seed": 11971, "edge": "528.979722"},
  {"seed": 11972, "edge": "604.486396"},
  {"seed": 11973, "edge": "474.962021"},
  {"seed": 11974, "edge": "478.983392"},
  {"seed": 11975, "edge": "483.220357"},
  {"seed": 11976, "edge": "652.112411"},
  {"seed": 11977, "edge": "382.787918"},
  {"seed": 11978, "edge": "449.094894"},
  {"seed": 11979, "edge": "466.743683"},
  {"seed": 11980, "edge": "456.440693"},
  {"seed": 11981, "edge": "465.503814"},
  {"seed": 11982, "edge": "564.976515"},
  {"seed": 11983, "edge": "389.152891"},
  {"seed": 11984, "edge": "545.116417"},
  {"seed": 11985, "edge": "447.009163"},
  {"seed": 11986, "edge": "440.385730"},
  {"seed": 11987, "edge": "547.523415"},
  {"seed": 11988, "edge": "492.614966"},
  {"seed": 11989, "edge": "529.714370"},
  {"seed": 11990, "edge": "514.101970"},
  {"seed": 11991, "edge": "433.800383"},
  {"seed": 11992, "edge": "592.174482"},
  {"seed": 11993, "edge": "681.364103"},
  {"seed": 11994, "edge": "682.930124"},
  {"seed": 11995, "edge": "487.141622"},
  {"seed": 11996, "edge": "573.728689"},
  {"seed": 11997, "edge": "614.421905"},
  {"seed": 11998, "edge": "501.987128"},
  {"seed": 11999, "edge": "353.835793"},
  {"seed": 12000, "edge": "680.707752"},
  {"seed": 12001, "edge": "604.636234"},
  {"seed": 12002, "edge": "448.950032"},
  {"seed": 12003, "edge": "744.082972"},
  {"seed": 12004, "edge": "596.337101"},
  {"seed": 12005, "edge": "686.907965"},
  {"seed": 12006, "edge": "561.223571"},
  {"seed": 12007, "edge": "374.173397"},
  {"seed": 12008, "edge": "497.876494"},
  {"seed": 12009, "edge": "543.680187"},
  {"seed": 12010, "edge": "532.494305"},
  {"seed": 12011, "edge": "561.254724"},
  {"seed": 12012, "edge": "448.604607"},
  {"seed": 12013, "edge": "574.980090"},
  {"seed": 12014, "edge": "422.397203"},
  {"seed": 12015, "edge": "584.152180"},
  {"seed": 12016, "edge": "476.408213"},
  {"seed": 12017, "edge": "496.031907"},
  {"seed": 12018, "edge": "438.208278"},
  {"seed": 12019, "edge": "386.585773"},
  {"seed": 12020, "edge": "579.124876"},
  {"seed": 12021, "edge": "468.848024"},
  {"seed": 12022, "edge": "471.316324"},
  {"seed": 12023, "edge": "779.000131"},
  {"seed": 12024, "edge": "381.981745"},
  {"seed": 12025, "edge": "558.125481"},
  {"seed": 12026, "edge": "549.355053"},
  {"seed": 12027, "edge": "533.175225"},
  {"seed": 12028, "edge": "478.970669"},
  {"seed": 12029, "edge": "422.685551"},
  {"seed": 12030, "edge": "636.942275"},
  {"seed": 12031, "edge": "480.061343"},
  {"seed": 12032, "edge": "570.383681"},
  {"seed": 12033, "edge": "425.975986"},
  {"seed": 12034, "edge": "705.397480"},
  {"seed": 12035, "edge": "387.012391"},
  {"seed": 12036, "edge": "639.397593"},
  {"seed": 12037, "edge": "465.382282"},
  {"seed": 12038, "edge": "527.329171"},
  {"seed": 12039, "edge": "501.292080"},
  {"seed": 12040, "edge": "574.667416"},
  {"seed": 12041, "edge": "565.001073"},
  {"seed": 12042, "edge": "436.636248"},
  {"seed": 12043, "edge": "451.290190"},
  {"seed": 12044, "edge": "626.978383"},
  {"seed": 12045, "edge": "401.225966"},
  {"seed": 12046, "edge": "528.010872"},
  {"seed": 12047, "edge": "411.502961"}
 ]
}