{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "qt1-ref",
 "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": 9.663381206337363e-12
   }
  }
 },
 "rows": [
  {"seed": 10000, "edge": "443.101741"},
  {"seed": 10001, "edge": "571.454483"},
  {"seed": 10002, "edge": "525.908441"},
  {"seed": 10003, "edge": "574.040699"},
  {"seed": 10004, "edge": "523.245286"},
  {"seed": 10005, "edge": "526.886083"},
  {"seed": 10006, "edge": "485.471113"},
  {"seed": 10007, "edge": "526.499854"},
  {"seed": 10008, "edge": "662.120344"},
  {"seed": 10009, "edge": "652.215433"},
  {"seed": 10010, "edge": "476.458262"},
  {"seed": 10011, "edge": "370.779112"},
  {"seed": 10012, "edge": "458.676508"},
  {"seed": 10013, "edge": "402.044717"},
  {"seed": 10014, "edge": "699.939333"},
  {"seed": 10015, "edge": "630.007440"},
  {"seed": 10016, "edge": "566.883377"},
  {"seed": 10017, "edge": "493.663184"},
  {"seed": 10018, "edge": "481.294922"},
  {"seed": 10019, "edge": "455.026496"},
  {"seed": 10020, "edge": "494.936996"},
  {"seed": 10021, "edge": "413.144770"},
  {"seed": 10022, "edge": "439.795916"},
  {"seed": 10023, "edge": "635.556903"},
  {"seed": 10024, "edge": "480.645031"},
  {"seed": 10025, "edge": "446.092918"},
  {"seed": 10026, "edge": "346.418333"},
  {"seed": 10027, "edge": "548.294917"},
  {"seed": 10028, "edge": "525.132460"},
  {"seed": 10029, "edge": "442.213958"},
  {"seed": 10030, "edge": "594.705251"},
  {"seed": 10031, "edge": "342.135371"},
  {"seed": 10032, "edge": "638.215547"},
  {"seed": 10033, "edge": "535.889902"},
  {"seed": 10034, "edge": "563.480957"},
  {"seed": 10035, "edge": "630.879107"},
  {"seed": 10036, "edge": "546.599922"},
  {"seed": 10037, "edge": "444.481810"},
  {"seed": 10038, "edge": "619.144826"},
  {"seed": 10039, "edge": "588.640685"},
  {"seed": 10040, "edge": "609.932131"},
  {"seed": 10041, "edge": "629.442648"},
  {"seed": 10042, "edge": "710.943099"},
  {"seed": 10043, "edge": "639.584665"},
  {"seed": 10044, "edge": "420.549954"},
  {"seed": 10045, "edge": "386.200606"},
  {"seed": 10046, "edge": "431.914837"},
  {"seed": 10047, "edge": "597.670416"},
  {"seed": 10048, "edge": "498.509602"},
  {"seed": 10049, "edge": "383.887352"},
  {"seed": 10050, "edge": "374.420306"},
  {"seed": 10051, "edge": "422.856273"},
  {"seed": 10052, "edge": "429.482366"},
  {"seed": 10053, "edge": "537.944577"},
  {"seed": 10054, "edge": "446.855281"},
  {"seed": 10055, "edge": "709.953769"},
  {"seed": 10056, "edge": "582.982740"},
  {"seed": 10057, "edge": "510.910660"},
  {"seed": 10058, "edge": "438.308899"},
  {"seed": 10059, "edge": "507.623204"},
  {"seed": 10060, "edge": "927.605559"},
  {"seed": 10061, "edge": "561.747127"},
  {"seed": 10062, "edge": "608.039920"},
  {"seed": 10063, "edge": "429.739935"},
  {"seed": 10064, "edge": "662.701692"},
  {"seed": 10065, "edge": "584.767693"},
  {"seed": 10066, "edge": "486.846961"},
  {"seed": 10067, "edge": "635.039933"},
  {"seed": 10068, "edge": "501.695794"},
  {"seed": 10069, "edge": "620.364107"},
  {"seed": 10070, "edge": "411.877336"},
  {"seed": 10071, "edge": "436.445869"},
  {"seed": 10072, "edge": "604.136028"},
  {"seed": 10073, "edge": "565.139222"},
  {"seed": 10074, "edge": "530.567882"},
  {"seed": 10075, "edge": "561.510496"},
  {"seed": 10076, "edge": "531.698608"},
  {"seed": 10077, "edge": "429.918486"},
  {"seed": 10078, "edge": "621.712327"},
  {"seed": 10079, "edge": "650.860772"},
  {"seed": 10080, "edge": "484.714820"},
  {"seed": 10081, "edge": "565.277750"},
  {"seed": 10082, "edge": "566.084334"},
  {"seed": 10083, "edge": "464.627242"},
  {"seed": 10084, "edge": "475.504789"},
  {"seed": 10085, "edge": "454.782139"},
  {"seed": 10086, "edge": "570.870425"},
  {"seed": 10087, "edge": "572.389756"},
  {"seed": 10088, "edge": "441.473499"},
  {"seed": 10089, "edge": "413.616707"},
  {"seed": 10090, "edge": "588.298563"},
  {"seed": 10091, "edge": "486.469448"},
  {"seed": 10092, "edge": "556.781189"},
  {"seed": 10093, "edge": "661.203787"},
  {"seed": 10094, "edge": "477.450220"},
  {"seed": 10095, "edge": "596.864148"},
  {"seed": 10096, "edge": "490.894815"},
  {"seed": 10097, "edge": "512.396494"},
  {"seed": 10098, "edge": "503.073616"},
  {"seed": 10099, "edge": "468.392202"},
  {"seed": 10100, "edge": "442.846689"},
  {"seed": 10101, "edge": "536.028030"},
  {"seed": 10102, "edge": "736.376115"},
  {"seed": 10103, "edge": "740.714060"},
  {"seed": 10104, "edge": "704.421713"},
  {"seed": 10105, "edge": "468.722635"},
  {"seed": 10106, "edge": "429.828705"},
  {"seed": 10107, "edge": "489.224584"},
  {"seed": 10108, "edge": "533.238269"},
  {"seed": 10109, "edge": "739.048419"},
  {"seed": 10110, "edge": "572.355791"},
  {"seed": 10111, "edge": "404.311059"},
  {"seed": 10112, "edge": "462.249922"},
  {"seed": 10113, "edge": "435.695683"},
  {"seed": 10114, "edge": "536.405748"},
  {"seed": 10115, "edge": "659.810565"},
  {"seed": 10116, "edge": "522.472955"},
  {"seed": 10117, "edge": "411.875865"},
  {"seed": 10118, "edge": "422.626409"},
  {"seed": 10119, "edge": "414.934724"},
  {"seed": 10120, "edge": "549.567542"},
  {"seed": 10121, "edge": "534.262139"},
  {"seed": 10122, "edge": "585.638977"},
  {"seed": 10123, "edge": "505.724969"},
  {"seed": 10124, "edge": "532.353342"},
  {"seed": 10125, "edge": "456.706305"},
  {"seed": 10126, "edge": "458.719340"},
  {"seed": 10127, "edge": "496.420556"},
  {"seed": 10128, "edge": "733.895099"},
  {"seed": 10129, "edge": "536.315066"},
  {"seed": 10130, "edge": "459.395576"},
  {"seed": 10131, "edge": "497.192109"},
  {"seed": 10132, "edge": "503.524468"},
  {"seed": 10133, "edge": "628.494932"},
  {"seed": 10134, "edge": "534.776354"},
  {"seed": 10135, "edge": "458.591736"},
  {"seed": 10136, "edge": "617.651803"},
  {"seed": 10137, "edge": "621.987879"},
  {"seed": 10138, "edge": "499.566427"},
  {"seed": 10139, "edge": "466.119056"},
  {"seed": 10140, "edge": "553.543150"},
  {"seed": 10141, "edge": "581.772540"},
  {"seed": 10142, "edge": "627.688575"},
  {"seed": 10143, "edge": "469.297113"},
  {"seed": 10144, "edge": "440.627152"},
  {"seed": 10145, "edge": "482.108175"},
  {"seed": 10146, "edge": "762.996946"},
  {"seed": 10147, "edge": "468.064168"},
  {"seed": 10148, "edge": "692.003268"},
  {"seed": 10149, "edge": "525.101166"},
  {"seed": 10150, "edge": "586.727056"},
  {"seed": 10151, "edge": "473.608436"},
  {"seed": 10152, "edge": "415.894526"},
  {"seed": 10153, "edge": "556.989859"},
  {"seed": 10154, "edge": "490.796917"},
  {"seed": 10155, "edge": "476.498828"},
  {"seed": 10156, "edge": "531.981974"},
  {"seed": 10157, "edge": "534.954755"},
  {"seed": 10158, "edge": "436.149253"},
  {"seed": 10159, "edge": "436.108549"},
  {"seed": 10160, "edge": "420.565958"},
  {"seed": 10161, "edge": "457.203039"},
  {"seed": 10162, "edge": "720.578775"},
  {"seed": 10163, "edge": "667.252907"},
  {"seed": 10164, "edge": "683.293974"},
  {"seed": 10165, "edge": "439.044439"},
  {"seed": 10166, "edge": "419.881586"},
  {"seed": 10167, "edge": "493.366135"},
  {"seed": 10168, "edge": "622.915710"},
  {"seed": 10169, "edge": "571.014908"},
  {"seed": 10170, "edge": "389.381564"},
  {"seed": 10171, "edge": "569.550743"},
  {"seed": 10172, "edge": "686.010106"},
  {"seed": 10173, "edge": "397.563867"},
  {"seed": 10174, "edge": "541.676101"},
  {"seed": 10175, "edge": "504.944920"},
  {"seed": 10176, "edge": "445.935164"},
  {"seed": 10177, "edge": "652.445210"},
  {"seed": 10178, "edge": "664.390099"},
  {"seed": 10179, "edge": "379.555620"},
  {"seed": 10180, "edge": "584.724058"},
  {"seed": 10181, "edge": "463.226165"},
  {"seed": 10182, "edge": "576.383908"},
  {"seed": 10183, "edge": "630.304350"},
  {"seed": 10184, "edge": "520.791455"},
  {"seed": 10185, "edge": "541.277860"},
  {"seed": 10186, "edge": "574.396322"},
  {"seed": 10187, "edge": "550.090403"},
  {"seed": 10188, "edge": "531.659929"},
  {"seed": 10189, "edge": "717.118425"},
  {"seed": 10190, "edge": "660.772762"},
  {"seed": 10191, "edge": "662.201620"},
  {"seed": 10192, "edge": "665.564894"},
  {"seed": 10193, "edge": "580.029314"},
  {"seed": 10194, "edge": "511.220517"},
  {"seed": 10195, "edge": "553.859404"},
  {"seed": 10196, "edge": "584.583956"},
  {"seed": 10197, "edge": "441.075809"},
  {"seed": 10198, "edge": "556.612009"},
  {"seed": 10199, "edge": "484.573856"},
  {"seed": 10200, "edge": "559.812075"},
  {"seed": 10201, "edge": "481.279419"},
  {"seed": 10202, "edge": "567.411674"},
  {"seed": 10203, "edge": "616.508220"},
  {"seed": 10204, "edge": "455.025901"},
  {"seed": 10205, "edge": "417.807459"},
  {"seed": 10206, "edge": "521.806005"},
  {"seed": 10207, "edge": "637.989150"},
  {"seed": 10208, "edge": "625.519923"},
  {"seed": 10209, "edge": "551.087413"},
  {"seed": 10210, "edge": "426.431246"},
  {"seed": 10211, "edge": "441.460237"},
  {"seed": 10212, "edge": "627.768796"},
  {"seed": 10213, "edge": "580.848019"},
  {"seed": 10214, "edge": "577.113337"},
  {"seed": 10215, "edge": "456.559062"},
  {"seed": 10216, "edge": "453.657931"},
  {"seed": 10217, "edge": "667.993515"},
  {"seed": 10218, "edge": "631.535409"},
  {"seed": 10219, "edge": "526.793610"},
  {"seed": 10220, "edge": "515.985721"},
  {"seed": 10221, "edge": "534.941418"},
  {"seed": 10222, "edge": "622.404958"},
  {"seed": 10223, "edge": "662.232031"},
  {"seed": 10224, "edge": "435.997760"},
  {"seed": 10225, "edge": "484.010402"},
  {"seed": 10226, "edge": "706.069908"},
  {"seed": 10227, "edge": "444.638902"},
  {"seed": 10228, "edge": "540.693919"},
  {"seed": 10229, "edge": "431.745153"},
  {"seed": 10230, "edge": "631.382080"},
  {"seed": 10231, "edge": "693.177529"},
  {"seed": 10232, "edge": "501.870778"},
  {"seed": 10233, "edge": "446.910787"},
  {"seed": 10234, "edge": "540.813562"},
  {"seed": 10235, "edge": "664.805625"},
  {"seed": 10236, "edge": "444.995263"},
  {"seed": 10237, "edge": "646.750558"},
  {"seed": 10238, "edge": "452.709132"},
  {"seed": 10239, "edge": "599.988315"},
  {"seed": 10240, "edge": "599.986877"},
  {"seed": 10241, "edge": "405.914737"},
  {"seed": 10242, "edge": "424.038149"},
  {"seed": 10243, "edge": "619.053869"},
  {"seed": 10244, "edge": "439.449865"},
  {"seed": 10245, "edge": "599.557915"},
  {"seed": 10246, "edge": "562.973569"},
  {"seed": 10247, "edge": "502.557584"},
  {"seed": 10248, "edge": "499.151706"},
  {"seed": 10249, "edge": "537.660421"},
  {"seed": 10250, "edge": "403.956331"},
  {"seed": 10251, "edge": "386.914292"},
  {"seed": 10252, "edge": "398.659476"},
  {"seed": 10253, "edge": "581.509613"},
  {"seed": 10254, "edge": "497.962598"},
  {"seed": 10255, "edge": "601.673569"},
  {"seed": 10256, "edge": "733.452951"},
  {"seed": 10257, "edge": "457.971004"},
  {"seed": 10258, "edge": "603.000077"},
  {"seed": 10259, "edge": "416.536459"},
  {"seed": 10260, "edge": "647.563458"},
  {"seed": 10261, "edge": "497.527020"},
  {"seed": 10262, "edge": "575.554686"},
  {"seed": 10263, "edge": "516.748742"},
  {"seed": 10264, "edge": "452.419003"},
  {"seed": 10265, "edge": "505.048194"},
  {"seed": 10266, "edge": "427.799724"},
  {"seed": 10267, "edge": "702.242288"},
  {"seed": 10268, "edge": "543.172358"},
  {"seed": 10269, "edge": "571.777404"},
  {"seed": 10270, "edge": "470.789542"},
  {"seed": 10271, "edge": "397.832751"},
  {"seed": 10272, "edge": "733.294528"},
  {"seed": 10273, "edge": "670.162630"},
  {"seed": 10274, "edge": "435.537733"},
  {"seed": 10275, "edge": "485.724871"},
  {"seed": 10276, "edge": "463.018378"},
  {"seed": 10277, "edge": "401.943741"},
  {"seed": 10278, "edge": "654.694685"},
  {"seed": 10279, "edge": "413.102600"},
  {"seed": 10280, "edge": "466.739738"},
  {"seed": 10281, "edge": "634.840890"},
  {"seed": 10282, "edge": "438.379017"},
  {"seed": 10283, "edge": "560.624028"},
  {"seed": 10284, "edge": "471.912473"},
  {"seed": 10285, "edge": "499.967642"},
  {"seed": 10286, "edge": "413.626596"},
  {"seed": 10287, "edge": "695.641903"},
  {"seed": 10288, "edge": "467.466085"},
  {"seed": 10289, "edge": "595.724571"},
  {"seed": 10290, "edge": "478.619857"},
  {"seed": 10291, "edge": "570.865557"},
  {"seed": 10292, "edge": "493.804573"},
  {"seed": 10293, "edge": "641.432175"},
  {"seed": 10294, "edge": "684.236724"},
  {"seed": 10295, "edge": "567.838130"},
  {"seed": 10296, "edge": "400.816924"},
  {"seed": 10297, "edge": "468.821919"},
  {"seed": 10298, "edge": "500.023847"},
  {"seed": 10299, "edge": "562.797788"},
  {"seed": 10300, "edge": "542.628413"},
  {"seed": 10301, "edge": "587.022634"},
  {"seed": 10302, "edge": "408.547697"},
  {"seed": 10303, "edge": "595.857939"},
  {"seed": 10304, "edge": "424.242964"},
  {"seed": 10305, "edge": "392.590333"},
  {"seed": 10306, "edge": "685.028762"},
  {"seed": 10307, "edge": "575.758692"},
  {"seed": 10308, "edge": "530.484925"},
  {"seed": 10309, "edge": "467.952074"},
  {"seed": 10310, "edge": "458.327014"},
  {"seed": 10311, "edge": "550.603519"},
  {"seed": 10312, "edge": "462.975238"},
  {"seed": 10313, "edge": "636.979693"},
  {"seed": 10314, "edge": "412.198423"},
  {"seed": 10315, "edge": "373.415563"},
  {"seed": 10316, "edge": "473.655971"},
  {"seed": 10317, "edge": "603.457480"},
  {"seed": 10318, "edge": "410.051710"},
  {"seed": 10319, "edge": "610.750598"},
  {"seed": 10320, "edge": "501.090401"},
  {"seed": 10321, "edge": "626.248311"},
  {"seed": 10322, "edge": "590.568245"},
  {"seed": 10323, "edge": "451.383677"},
  {"seed": 10324, "edge": "549.821673"},
  {"seed": 10325, "edge": "529.291487"},
  {"seed": 10326, "edge": "398.417968"},
  {"seed": 10327, "edge": "688.376816"},
  {"seed": 10328, "edge": "462.505083"},
  {"seed": 10329, "edge": "579.473323"},
  {"seed": 10330, "edge": "390.870673"},
  {"seed": 10331, "edge": "542.208411"},
  {"seed": 10332, "edge": "525.385418"},
  {"seed": 10333, "edge": "432.025195"},
  {"seed": 10334, "edge": "659.438302"},
  {"seed": 10335, "edge": "721.737300"},
  {"seed": 10336, "edge": "679.199993"},
  {"seed": 10337, "edge": "378.866903"},
  {"seed": 10338, "edge": "521.093599"},
  {"seed": 10339, "edge": "546.439356"},
  {"seed": 10340, "edge": "716.697553"},
  {"seed": 10341, "edge": "537.491454"},
  {"seed": 10342, "edge": "659.219818"},
  {"seed": 10343, "edge": "456.852478"},
  {"seed": 10344, "edge": "543.547585"},
  {"seed": 10345, "edge": "482.250901"},
  {"seed": 10346, "edge": "649.520253"},
  {"seed": 10347, "edge": "428.941720"},
  {"seed": 10348, "edge": "572.585133"},
  {"seed": 10349, "edge": "435.654997"},
  {"seed": 10350, "edge": "591.545021"},
  {"seed": 10351, "edge": "605.920936"},
  {"seed": 10352, "edge": "480.063683"},
  {"seed": 10353, "edge": "658.715133"},
  {"seed": 10354, "edge": "469.213111"},
  {"seed": 10355, "edge": "520.389149"},
  {"seed": 10356, "edge": "523.136409"},
  {"seed": 10357, "edge": "571.401650"},
  {"seed": 10358, "edge": "631.067110"},
  {"seed": 10359, "edge": "664.412525"},
  {"seed": 10360, "edge": "423.532022"},
  {"seed": 10361, "edge": "565.478303"},
  {"seed": 10362, "edge": "491.656709"},
  {"seed": 10363, "edge": "618.197727"},
  {"seed": 10364, "edge": "420.042751"},
  {"seed": 10365, "edge": "534.994131"},
  {"seed": 10366, "edge": "445.174641"},
  {"seed": 10367, "edge": "466.369967"},
  {"seed": 10368, "edge": "458.466025"},
  {"seed": 10369, "edge": "643.562143"},
  {"seed": 10370, "edge": "475.825252"},
  {"seed": 10371, "edge": "432.021036"},
  {"seed": 10372, "edge": "470.494116"},
  {"seed": 10373, "edge": "699.475111"},
  {"seed": 10374, "edge": "398.820483"},
  {"seed": 10375, "edge": "567.715150"},
  {"seed": 10376, "edge": "554.896011"},
  {"seed": 10377, "edge": "556.956355"},
  {"seed": 10378, "edge": "464.554225"},
  {"seed": 10379, "edge": "617.969565"},
  {"seed": 10380, "edge": "618.661062"},
  {"seed": 10381, "edge": "565.497920"},
  {"seed": 10382, "edge": "550.864006"},
  {"seed": 10383, "edge": "611.338942"},
  {"seed": 10384, "edge": "631.285260"},
  {"seed": 10385, "edge": "485.995469"},
  {"seed": 10386, "edge": "599.954177"},
  {"seed": 10387, "edge": "619.518861"},
  {"seed": 10388, "edge": "506.538607"},
  {"seed": 10389, "edge": "640.838263"},
  {"seed": 10390, "edge": "606.067154"},
  {"seed": 10391, "edge": "435.918055"},
  {"seed": 10392, "edge": "492.811385"},
  {"seed": 10393, "edge": "538.223441"},
  {"seed": 10394, "edge": "546.564998"},
  {"seed": 10395, "edge": "657.303235"},
  {"seed": 10396, "edge": "398.181765"},
  {"seed": 10397, "edge": "589.848630"},
  {"seed": 10398, "edge": "515.650036"},
  {"seed": 10399, "edge": "404.808892"},
  {"seed": 10400, "edge": "561.257009"},
  {"seed": 10401, "edge": "927.514803"},
  {"seed": 10402, "edge": "490.259214"},
  {"seed": 10403, "edge": "629.330096"},
  {"seed": 10404, "edge": "570.171605"},
  {"seed": 10405, "edge": "541.125767"},
  {"seed": 10406, "edge": "616.210695"},
  {"seed": 10407, "edge": "509.825122"},
  {"seed": 10408, "edge": "596.026937"},
  {"seed": 10409, "edge": "445.800747"},
  {"seed": 10410, "edge": "541.825208"},
  {"seed": 10411, "edge": "539.063021"},
  {"seed": 10412, "edge": "490.774025"},
  {"seed": 10413, "edge": "666.349759"},
  {"seed": 10414, "edge": "664.745955"},
  {"seed": 10415, "edge": "467.460043"},
  {"seed": 10416, "edge": "472.192835"},
  {"seed": 10417, "edge": "534.004654"},
  {"seed": 10418, "edge": "548.838583"},
  {"seed": 10419, "edge": "568.679287"},
  {"seed": 10420, "edge": "373.133158"},
  {"seed": 10421, "edge": "483.691229"},
  {"seed": 10422, "edge": "587.508813"},
  {"seed": 10423, "edge": "464.772208"},
  {"seed": 10424, "edge": "599.218329"},
  {"seed": 10425, "edge": "540.326936"},
  {"seed": 10426, "edge": "583.911994"},
  {"seed": 10427, "edge": "519.386640"},
  {"seed": 10428, "edge": "556.986580"},
  {"seed": 10429, "edge": "591.884836"},
  {"seed": 10430, "edge": "605.956545"},
  {"seed": 10431, "edge": "479.526653"},
  {"seed": 10432, "edge": "494.586009"},
  {"seed": 10433, "edge": "393.481047"},
  {"seed": 10434, "edge": "650.616925"},
  {"seed": 10435, "edge": "530.329868"},
  {"seed": 10436, "edge": "649.750475"},
  {"seed": 10437, "edge": "619.576907"},
  {"seed": 10438, "edge": "389.544907"},
  {"seed": 10439, "edge": "422.622880"},
  {"seed": 10440, "edge": "477.099520"},
  {"seed": 10441, "edge": "610.818705"},
  {"seed": 10442, "edge": "615.267712"},
  {"seed": 10443, "edge": "454.055320"},
  {"seed": 10444, "edge": "598.483149"},
  {"seed": 10445, "edge": "448.178720"},
  {"seed": 10446, "edge": "398.425231"},
  {"seed": 10447, "edge": "445.457837"},
  {"seed": 10448, "edge": "562.624654"},
  {"seed": 10449, "edge": "653.271571"},
  {"seed": 10450, "edge": "770.069778"},
  {"seed": 10451, "edge": "695.307167"},
  {"seed": 10452, "edge": "552.761962"},
  {"seed": 10453, "edge": "487.161121"},
  {"seed": 10454, "edge": "756.384614"},
  {"seed": 10455, "edge": "679.629097"},
  {"seed": 10456, "edge": "430.254502"},
  {"seed": 10457, "edge": "638.431791"},
  {"seed": 10458, "edge": "447.676888"},
  {"seed": 10459, "edge": "619.994259"},
  {"seed": 10460, "edge": "729.104504"},
  {"seed": 10461, "edge": "487.039163"},
  {"seed": 10462, "edge": "533.431773"},
  {"seed": 10463, "edge": "450.897932"},
  {"seed": 10464, "edge": "675.670363"},
  {"seed": 10465, "edge": "428.070835"},
  {"seed": 10466, "edge": "748.439054"},
  {"seed": 10467, "edge": "594.289898"},
  {"seed": 10468, "edge": "469.536624"},
  {"seed": 10469, "edge": "456.730223"},
  {"seed": 10470, "edge": "448.423397"},
  {"seed": 10471, "edge": "404.788279"},
  {"seed": 10472, "edge": "573.344925"},
  {"seed": 10473, "edge": "654.339135"},
  {"seed": 10474, "edge": "469.222092"},
  {"seed": 10475, "edge": "801.054397"},
  {"seed": 10476, "edge": "573.900276"},
  {"seed": 10477, "edge": "556.666207"},
  {"seed": 10478, "edge": "488.308721"},
  {"seed": 10479, "edge": "538.309951"},
  {"seed": 10480, "edge": "393.499178"},
  {"seed": 10481, "edge": "505.460331"},
  {"seed": 10482, "edge": "603.624260"},
  {"seed": 10483, "edge": "454.968597"},
  {"seed": 10484, "edge": "562.941042"},
  {"seed": 10485, "edge": "530.156296"},
  {"seed": 10486, "edge": "592.637978"},
  {"seed": 10487, "edge": "498.615338"},
  {"seed": 10488, "edge": "598.697674"},
  {"seed": 10489, "edge": "530.994062"},
  {"seed": 10490, "edge": "431.016282"},
  {"seed": 10491, "edge": "535.399945"},
  {"seed": 10492, "edge": "598.674973"},
  {"seed": 10493, "edge": "457.278517"},
  {"seed": 10494, "edge": "395.052199"},
  {"seed": 10495, "edge": "678.745123"},
  {"seed": 10496, "edge": "554.983259"},
  {"seed": 10497, "edge": "418.564291"},
  {"seed": 10498, "edge": "670.861260"},
  {"seed": 10499, "edge": "543.151852"},
  {"seed": 10500, "edge": "524.963056"},
  {"seed": 10501, "edge": "502.776806"},
  {"seed": 10502, "edge": "603.954741"},
  {"seed": 10503, "edge": "614.206171"},
  {"seed": 10504, "edge": "729.700445"},
  {"seed": 10505, "edge": "455.403320"},
  {"seed": 10506, "edge": "559.887248"},
  {"seed": 10507, "edge": "451.356897"},
  {"seed": 10508, "edge": "580.357896"},
  {"seed": 10509, "edge": "469.271202"},
  {"seed": 10510, "edge": "475.136884"},
  {"seed": 10511, "edge": "513.276570"},
  {"seed": 10512, "edge": "660.173965"},
  {"seed": 10513, "edge": "480.407251"},
  {"seed": 10514, "edge": "386.123620"},
  {"seed": 10515, "edge": "475.348449"},
  {"seed": 10516, "edge": "585.584353"},
  {"seed": 10517, "edge": "627.288072"},
  {"seed": 10518, "edge": "494.796905"},
  {"seed": 10519, "edge": "571.284951"},
  {"seed": 10520, "edge": "490.831399"},
  {"seed": 10521, "edge": "499.624429"},
  {"seed": 10522, "edge": "503.416983"},
  {"seed": 10523, "edge": "628.085910"},
  {"seed": 10524, "edge": "526.287633"},
  {"seed": 10525, "edge": "451.417174"},
  {"seed": 10526, "edge": "538.971741"},
  {"seed": 10527, "edge": "525.274706"},
  {"seed": 10528, "edge": "373.011371"},
  {"seed": 10529, "edge": "464.959131"},
  {"seed": 10530, "edge": "605.064165"},
  {"seed": 10531, "edge": "593.914234"},
  {"seed": 10532, "edge": "326.727276"},
  {"seed": 10533, "edge": "439.115696"},
  {"seed": 10534, "edge": "613.792335"},
  {"seed": 10535, "edge": "524.655009"},
  {"seed": 10536, "edge": "503.349349"},
  {"seed": 10537, "edge": "514.347391"},
  {"seed": 10538, "edge": "453.342670"},
  {"seed": 10539, "edge": "502.693984"},
  {"seed": 10540, "edge": "567.624572"},
  {"seed": 10541, "edge": "673.803545"},
  {"seed": 10542, "edge": "622.856746"},
  {"seed": 10543, "edge": "542.056100"},
  {"seed": 10544, "edge": "461.782304"},
  {"seed": 10545, "edge": "546.296958"},
  {"seed": 10546, "edge": "505.357585"},
  {"seed": 10547, "edge": "642.908771"},
  {"seed": 10548, "edge": "541.707902"},
  {"seed": 10549, "edge": "584.186507"},
  {"seed": 10550, "edge": "601.494622"},
  {"seed": 10551, "edge": "593.322854"},
  {"seed": 10552, "edge": "496.952023"},
  {"seed": 10553, "edge": "455.504990"},
  {"seed": 10554, "edge": "482.165603"},
  {"seed": 10555, "edge": "627.019702"},
  {"seed": 10556, "edge": "351.949574"},
  {"seed": 10557, "edge": "530.199986"},
  {"seed": 10558, "edge": "440.990451"},
  {"seed": 10559, "edge": "470.737019"},
  {"seed": 10560, "edge": "521.022773"},
  {"seed": 10561, "edge": "613.639995"},
  {"seed": 10562, "edge": "557.936799"},
  {"seed": 10563, "edge": "448.907852"},
  {"seed": 10564, "edge": "451.545437"},
  {"seed": 10565, "edge": "626.355463"},
  {"seed": 10566, "edge": "427.166594"},
  {"seed": 10567, "edge": "529.836899"},
  {"seed": 10568, "edge": "459.440852"},
  {"seed": 10569, "edge": "555.394770"},
  {"seed": 10570, "edge": "531.572991"},
  {"seed": 10571, "edge": "658.194675"},
  {"seed": 10572, "edge": "515.973923"},
  {"seed": 10573, "edge": "591.807777"},
  {"seed": 10574, "edge": "560.484967"},
  {"seed": 10575, "edge": "536.980620"},
  {"seed": 10576, "edge": "561.522885"},
  {"seed": 10577, "edge": "445.262703"},
  {"seed": 10578, "edge": "641.878701"},
  {"seed": 10579, "edge": "395.721332"},
  {"seed": 10580, "edge": "406.417781"},
  {"seed": 10581, "edge": "460.123968"},
  {"seed": 10582, "edge": "506.628729"},
  {"seed": 10583, "edge": "666.812874"},
  {"seed": 10584, "edge": "499.192865"},
  {"seed": 10585, "edge": "495.190901"},
  {"seed": 10586, "edge": "414.085998"},
  {"seed": 10587, "edge": "386.135429"},
  {"seed": 10588, "edge": "479.387550"},
  {"seed": 10589, "edge": "518.953135"},
  {"seed": 10590, "edge": "537.392151"},
  {"seed": 10591, "edge": "630.018974"},
  {"seed": 10592, "edge": "527.865311"},
  {"seed": 10593, "edge": "417.310892"},
  {"seed": 10594, "edge": "549.552431"},
  {"seed": 10595, "edge": "501.931723"},
  {"seed": 10596, "edge": "595.720723"},
  {"seed": 10597, "edge": "571.237756"},
  {"seed": 10598, "edge": "558.819651"},
  {"seed": 10599, "edge": "444.128471"},
  {"seed": 10600, "edge": "600.148770"},
  {"seed": 10601, "edge": "450.769770"},
  {"seed": 10602, "edge": "633.564670"},
  {"seed": 10603, "edge": "445.796307"},
  {"seed": 10604, "edge": "467.559448"},
  {"seed": 10605, "edge": "561.756632"},
  {"seed": 10606, "edge": "421.829720"},
  {"seed": 10607, "edge": "722.764348"},
  {"seed": 10608, "edge": "698.280203"},
  {"seed": 10609, "edge": "473.450789"},
  {"seed": 10610, "edge": "432.813908"},
  {"seed": 10611, "edge": "454.560933"},
  {"seed": 10612, "edge": "569.575571"},
  {"seed": 10613, "edge": "347.789855"},
  {"seed": 10614, "edge": "607.269599"},
  {"seed": 10615, "edge": "586.321837"},
  {"seed": 10616, "edge": "580.406761"},
  {"seed": 10617, "edge": "643.424291"},
  {"seed": 10618, "edge": "421.255445"},
  {"seed": 10619, "edge": "578.617646"},
  {"seed": 10620, "edge": "431.982661"},
  {"seed": 10621, "edge": "453.466313"},
  {"seed": 10622, "edge": "403.609155"},
  {"seed": 10623, "edge": "421.319932"},
  {"seed": 10624, "edge": "605.170605"},
  {"seed": 10625, "edge": "447.905165"},
  {"seed": 10626, "edge": "565.721796"},
  {"seed": 10627, "edge": "589.918809"},
  {"seed": 10628, "edge": "590.600476"},
  {"seed": 10629, "edge": "537.779818"},
  {"seed": 10630, "edge": "498.572896"},
  {"seed": 10631, "edge": "583.706691"},
  {"seed": 10632, "edge": "692.736858"},
  {"seed": 10633, "edge": "577.533054"},
  {"seed": 10634, "edge": "577.540319"},
  {"seed": 10635, "edge": "489.666725"},
  {"seed": 10636, "edge": "545.779700"},
  {"seed": 10637, "edge": "441.055977"},
  {"seed": 10638, "edge": "767.876951"},
  {"seed": 10639, "edge": "575.880185"},
  {"seed": 10640, "edge": "626.768501"},
  {"seed": 10641, "edge": "624.794094"},
  {"seed": 10642, "edge": "515.877361"},
  {"seed": 10643, "edge": "483.006054"},
  {"seed": 10644, "edge": "541.175641"},
  {"seed": 10645, "edge": "467.310636"},
  {"seed": 10646, "edge": "512.050907"},
  {"seed": 10647, "edge": "689.298584"},
  {"seed": 10648, "edge": "460.293202"},
  {"seed": 10649, "edge": "385.038337"},
  {"seed": 10650, "edge": "574.294727"},
  {"seed": 10651, "edge": "604.196855"},
  {"seed": 10652, "edge": "709.861696"},
  {"seed": 10653, "edge": "529.816998"},
  {"seed": 10654, "edge": "631.562685"},
  {"seed": 10655, "edge": "479.239097"},
  {"seed": 10656, "edge": "636.819483"},
  {"seed": 10657, "edge": "458.919770"},
  {"seed": 10658, "edge": "610.794334"},
  {"seed": 10659, "edge": "707.159621"},
  {"seed": 10660, "edge": "507.915671"},
  {"seed": 10661, "edge": "633.637938"},
  {"seed": 10662, "edge": "554.832976"},
  {"seed": 10663, "edge": "653.650842"},
  {"seed": 10664, "edge": "678.357379"},
  {"seed": 10665, "edge": "455.130543"},
  {"seed": 10666, "edge": "572.087566"},
  {"seed": 10667, "edge": "491.244043"},
  {"seed": 10668, "edge": "618.226617"},
  {"seed": 10669, "edge": "466.478516"},
  {"seed": 10670, "edge": "637.757637"},
  {"seed": 10671, "edge": "596.918081"},
  {"seed": 10672, "edge": "611.699548"},
  {"seed": 10673, "edge": "458.684092"},
  {"seed": 10674, "edge": "503.464050"},
  {"seed": 10675, "edge": "617.493474"},
  {"seed": 10676, "edge": "659.003533"},
  {"seed": 10677, "edge": "525.922442"},
  {"seed": 10678, "edge": "479.378797"},
  {"seed": 10679, "edge": "441.898513"},
  {"seed": 10680, "edge": "421.179990"},
  {"seed": 10681, "edge": "464.015713"},
  {"seed": 10682, "edge": "433.134606"},
  {"seed": 10683, "edge": "543.919108"},
  {"seed": 10684, "edge": "517.889320"},
  {"seed": 10685, "edge": "667.024120"},
  {"seed": 10686, "edge": "653.065194"},
  {"seed": 10687, "edge": "539.704696"},
  {"seed": 10688, "edge": "455.838095"},
  {"seed": 10689, "edge": "592.950971"},
  {"seed": 10690, "edge": "604.517484"},
  {"seed": 10691, "edge": "378.879402"},
  {"seed": 10692, "edge": "573.004772"},
  {"seed": 10693, "edge": "484.369796"},
  {"seed": 10694, "edge": "572.361624"},
  {"seed": 10695, "edge": "686.279265"},
  {"seed": 10696, "edge": "411.749079"},
  {"seed": 10697, "edge": "379.578265"},
  {"seed": 10698, "edge": "515.708858"},
  {"seed": 10699, "edge": "403.304789"},
  {"seed": 10700, "edge": "509.863983"},
  {"seed": 10701, "edge": "579.270208"},
  {"seed": 10702, "edge": "537.159772"},
  {"seed": 10703, "edge": "518.246241"},
  {"seed": 10704, "edge": "554.551661"},
  {"seed": 10705, "edge": "702.037398"},
  {"seed": 10706, "edge": "556.846864"},
  {"seed": 10707, "edge": "561.489157"},
  {"seed": 10708, "edge": "516.210146"},
  {"seed": 10709, "edge": "709.152394"},
  {"seed": 10710, "edge": "442.744024"},
  {"seed": 10711, "edge": "759.536752"},
  {"seed": 10712, "edge": "549.755196"},
  {"seed": 10713, "edge": "364.711329"},
  {"seed": 10714, "edge": "642.104136"},
  {"seed": 10715, "edge": "404.703341"},
  {"seed": 10716, "edge": "490.000316"},
  {"seed": 10717, "edge": "448.441459"},
  {"seed": 10718, "edge": "524.788748"},
  {"seed": 10719, "edge": "349.906296"},
  {"seed": 10720, "edge": "485.076894"},
  {"seed": 10721, "edge": "450.404008"},
  {"seed": 10722, "edge": "521.321705"},
  {"seed": 10723, "edge": "531.731349"},
  {"seed": 10724, "edge": "485.983892"},
  {"seed": 10725, "edge": "446.097037"},
  {"seed": 10726, "edge": "576.378665"},
  {"seed": 10727, "edge": "702.036540"},
  {"seed": 10728, "edge": "457.891071"},
  {"seed": 10729, "edge": "462.873235"},
  {"seed": 10730, "edge": "591.951720"},
  {"seed": 10731, "edge": "404.834226"},
  {"seed": 10732, "edge": "584.242977"},
  {"seed": 10733, "edge": "420.839485"},
  {"seed": 10734, "edge": "452.944072"},
  {"seed": 10735, "edge": "559.658128"},
  {"seed": 10736, "edge": "752.274565"},
  {"seed": 10737, "edge": "435.766341"},
  {"seed": 10738, "edge": "426.017652"},
  {"seed": 10739, "edge": "542.210338"},
  {"seed": 10740, "edge": "524.767674"},
  {"seed": 10741, "edge": "567.495801"},
  {"seed": 10742, "edge": "477.137254"},
  {"seed": 10743, "edge": "416.117075"},
  {"seed": 10744, "edge": "358.001619"},
  {"seed": 10745, "edge": "641.410616"},
  {"seed": 10746, "edge": "500.367178"},
  {"seed": 10747, "edge": "432.295911"},
  {"seed": 10748, "edge": "650.880153"},
  {"seed": 10749, "edge": "614.974517"},
  {"seed": 10750, "edge": "394.263910"},
  {"seed": 10751, "edge": "369.939487"},
  {"seed": 10752, "edge": "484.427796"},
  {"seed": 10753, "edge": "541.579993"},
  {"seed": 10754, "edge": "563.347193"},
  {"seed": 10755, "edge": "433.712417"},
  {"seed": 10756, "edge": "516.583870"},
  {"seed": 10757, "edge": "584.914528"},
  {"seed": 10758, "edge": "472.026077"},
  {"seed": 10759, "edge": "561.117379"},
  {"seed": 10760, "edge": "512.960521"},
  {"seed": 10761, "edge": "744.467788"},
  {"seed": 10762, "edge": "646.575462"},
  {"seed": 10763, "edge": "440.003005"},
  {"seed": 10764, "edge": "658.632406"},
  {"seed": 10765, "edge": "638.362287"},
  {"seed": 10766, "edge": "481.559965"},
  {"seed": 10767, "edge": "510.714775"},
  {"seed": 10768, "edge": "534.717358"},
  {"seed": 10769, "edge": "491.643830"},
  {"seed": 10770, "edge": "384.647692"},
  {"seed": 10771, "edge": "464.289160"},
  {"seed": 10772, "edge": "677.572273"},
  {"seed": 10773, "edge": "485.162201"},
  {"seed": 10774, "edge": "431.708987"},
  {"seed": 10775, "edge": "649.641554"},
  {"seed": 10776, "edge": "412.726261"},
  {"seed": 10777, "edge": "432.829728"},
  {"seed": 10778, "edge": "437.017462"},
  {"seed": 10779, "edge": "526.476371"},
  {"seed": 10780, "edge": "483.365680"},
  {"seed": 10781, "edge": "466.084627"},
  {"seed": 10782, "edge": "443.922101"},
  {"seed": 10783, "edge": "509.712518"},
  {"seed": 10784, "edge": "421.217109"},
  {"seed": 10785, "edge": "487.579583"},
  {"seed": 10786, "edge": "400.497543"},
  {"seed": 10787, "edge": "483.847170"},
  {"seed": 10788, "edge": "429.763674"},
  {"seed": 10789, "edge": "519.942915"},
  {"seed": 10790, "edge": "424.174369"},
  {"seed": 10791, "edge": "719.289037"},
  {"seed": 10792, "edge": "584.474027"},
  {"seed": 10793, "edge": "597.929610"},
  {"seed": 10794, "edge": "520.785499"},
  {"seed": 10795, "edge": "620.986404"},
  {"seed": 10796, "edge": "492.124112"},
  {"seed": 10797, "edge": "589.190032"},
  {"seed": 10798, "edge": "433.680647"},
  {"seed": 10799, "edge": "481.930062"},
  {"seed": 10800, "edge": "428.998430"},
  {"seed": 10801, "edge": "491.881836"},
  {"seed": 10802, "edge": "531.373657"},
  {"seed": 10803, "edge": "664.662451"},
  {"seed": 10804, "edge": "548.697545"},
  {"seed": 10805, "edge": "417.726302"},
  {"seed": 10806, "edge": "447.764571"},
  {"seed": 10807, "edge": "378.823141"},
  {"seed": 10808, "edge": "500.847279"},
  {"seed": 10809, "edge": "531.851100"},
  {"seed": 10810, "edge": "735.159834"},
  {"seed": 10811, "edge": "445.205157"},
  {"seed": 10812, "edge": "386.314903"},
  {"seed": 10813, "edge": "571.811977"},
  {"seed": 10814, "edge": "680.207390"},
  {"seed": 10815, "edge": "429.538133"},
  {"seed": 10816, "edge": "642.782736"},
  {"seed": 10817, "edge": "338.734790"},
  {"seed": 10818, "edge": "505.195496"},
  {"seed": 10819, "edge": "530.373641"},
  {"seed": 10820, "edge": "514.399261"},
  {"seed": 10821, "edge": "475.896916"},
  {"seed": 10822, "edge": "762.388381"},
  {"seed": 10823, "edge": "431.943187"},
  {"seed": 10824, "edge": "556.692681"},
  {"seed": 10825, "edge": "582.554304"},
  {"seed": 10826, "edge": "592.261303"},
  {"seed": 10827, "edge": "397.708157"},
  {"seed": 10828, "edge": "574.643697"},
  {"seed": 10829, "edge": "501.200749"},
  {"seed": 10830, "edge": "540.443451"},
  {"seed": 10831, "edge": "462.851126"},
  {"seed": 10832, "edge": "532.154183"},
  {"seed": 10833, "edge": "635.093570"},
  {"seed": 10834, "edge": "475.817366"},
  {"seed": 10835, "edge": "496.637115"},
  {"seed": 10836, "edge": "614.079962"},
  {"seed": 10837, "edge": "507.129893"},
  {"seed": 10838, "edge": "549.343890"},
  {"seed": 10839, "edge": "572.573905"},
  {"seed": 10840, "edge": "462.720926"},
  {"seed": 10841, "edge": "565.150872"},
  {"seed": 10842, "edge": "649.174738"},
  {"seed": 10843, "edge": "521.790604"},
  {"seed": 10844, "edge": "401.595817"},
  {"seed": 10845, "edge": "627.628198"},
  {"seed": 10846, "edge": "412.725781"},
  {"seed": 10847, "edge": "525.879057"},
  {"seed": 10848, "edge": "531.394618"},
  {"seed": 10849, "edge": "632.981246"},
  {"seed": 10850, "edge": "562.259310"},
  {"seed": 10851, "edge": "378.505467"},
  {"seed": 10852, "edge": "806.161385"},
  {"seed": 10853, "edge": "357.517478"},
  {"seed": 10854, "edge": "338.477501"},
  {"seed": 10855, "edge": "392.386033"},
  {"seed": 10856, "edge": "495.984587"},
  {"seed": 10857, "edge": "482.232460"},
  {"seed": 10858, "edge": "608.493892"},
  {"seed": 10859, "edge": "464.355718"},
  {"seed": 10860, "edge": "567.298430"},
  {"seed": 10861, "edge": "434.106255"},
  {"seed": 10862, "edge": "560.687410"},
  {"seed": 10863, "edge": "514.336319"},
  {"seed": 10864, "edge": "507.334040"},
  {"seed": 10865, "edge": "542.910803"},
  {"seed": 10866, "edge": "442.373329"},
  {"seed": 10867, "edge": "477.431059"},
  {"seed": 10868, "edge": "590.127782"},
  {"seed": 10869, "edge": "572.123485"},
  {"seed": 10870, "edge": "546.470033"},
  {"seed": 10871, "edge": "445.880276"},
  {"seed": 10872, "edge": "456.350035"},
  {"seed": 10873, "edge": "492.639915"},
  {"seed": 10874, "edge": "399.693497"},
  {"seed": 10875, "edge": "406.873137"},
  {"seed": 10876, "edge": "518.260269"},
  {"seed": 10877, "edge": "705.985802"},
  {"seed": 10878, "edge": "496.032799"},
  {"seed": 10879, "edge": "800.922883"},
  {"seed": 10880, "edge": "500.429835"},
  {"seed": 10881, "edge": "372.028817"},
  {"seed": 10882, "edge": "489.517292"},
  {"seed": 10883, "edge": "709.125576"},
  {"seed": 10884, "edge": "527.625744"},
  {"seed": 10885, "edge": "624.168309"},
  {"seed": 10886, "edge": "557.611194"},
  {"seed": 10887, "edge": "339.415316"},
  {"seed": 10888, "edge": "381.347116"},
  {"seed": 10889, "edge": "445.980220"},
  {"seed": 10890, "edge": "672.186582"},
  {"seed": 10891, "edge": "402.815131"},
  {"seed": 10892, "edge": "465.537567"},
  {"seed": 10893, "edge": "512.537735"},
  {"seed": 10894, "edge": "631.070049"},
  {"seed": 10895, "edge": "572.028484"},
  {"seed": 10896, "edge": "479.571632"},
  {"seed": 10897, "edge": "585.081612"},
  {"seed": 10898, "edge": "483.192777"},
  {"seed": 10899, "edge": "448.789837"},
  {"seed": 10900, "edge": "518.235399"},
  {"seed": 10901, "edge": "526.691588"},
  {"seed": 10902, "edge": "574.674822"},
  {"seed": 10903, "edge": "725.314452"},
  {"seed": 10904, "edge": "397.446490"},
  {"seed": 10905, "edge": "391.339478"},
  {"seed": 10906, "edge": "568.975025"},
  {"seed": 10907, "edge": "427.001034"},
  {"seed": 10908, "edge": "476.238963"},
  {"seed": 10909, "edge": "653.110653"},
  {"seed": 10910, "edge": "453.168525"},
  {"seed": 10911, "edge": "642.626017"},
  {"seed": 10912, "edge": "376.918201"},
  {"seed": 10913, "edge": "491.894229"},
  {"seed": 10914, "edge": "576.049634"},
  {"seed": 10915, "edge": "631.059370"},
  {"seed": 10916, "edge": "467.003411"},
  {"seed": 10917, "edge": "413.442931"},
  {"seed": 10918, "edge": "383.286760"},
  {"seed": 10919, "edge": "628.096654"},
  {"seed": 10920, "edge": "733.251956"},
  {"seed": 10921, "edge": "512.600098"},
  {"seed": 10922, "edge": "652.321316"},
  {"seed": 10923, "edge": "489.311874"},
  {"seed": 10924, "edge": "414.719420"},
  {"seed": 10925, "edge": "548.705221"},
  {"seed": 10926, "edge": "372.737661"},
  {"seed": 10927, "edge": "497.370331"},
  {"seed": 10928, "edge": "393.882324"},
  {"seed": 10929, "edge": "545.278929"},
  {"seed": 10930, "edge": "755.710096"},
  {"seed": 10931, "edge": "405.067144"},
  {"seed": 10932, "edge": "517.372483"},
  {"seed": 10933, "edge": "619.863883"},
  {"seed": 10934, "edge": "579.702730"},
  {"seed": 10935, "edge": "494.553297"},
  {"seed": 10936, "edge": "587.713393"},
  {"seed": 10937, "edge": "418.068959"},
  {"seed": 10938, "edge": "496.337250"},
  {"seed": 10939, "edge": "402.724191"},
  {"seed": 10940, "edge": "516.577327"},
  {"seed": 10941, "edge": "571.254904"},
  {"seed": 10942, "edge": "1043.984813"},
  {"seed": 10943, "edge": "630.828315"},
  {"seed": 10944, "edge": "509.668668"},
  {"seed": 10945, "edge": "483.216219"},
  {"seed": 10946, "edge": "558.719749"},
  {"seed": 10947, "edge": "535.114744"},
  {"seed": 10948, "edge": "531.701810"},
  {"seed": 10949, "edge": "557.027710"},
  {"seed": 10950, "edge": "413.451259"},
  {"seed": 10951, "edge": "417.344134"},
  {"seed": 10952, "edge": "442.666461"},
  {"seed": 10953, "edge": "441.466334"},
  {"seed": 10954, "edge": "553.127761"},
  {"seed": 10955, "edge": "646.661592"},
  {"seed": 10956, "edge": "499.260104"},
  {"seed": 10957, "edge": "465.447667"},
  {"seed": 10958, "edge": "668.930217"},
  {"seed": 10959, "edge": "561.089048"},
  {"seed": 10960, "edge": "692.283849"},
  {"seed": 10961, "edge": "556.732496"},
  {"seed": 10962, "edge": "498.672652"},
  {"seed": 10963, "edge": "578.061922"},
  {"seed": 10964, "edge": "508.667448"},
  {"seed": 10965, "edge": "528.378909"},
  {"seed": 10966, "edge": "531.648880"},
  {"seed": 10967, "edge": "465.930992"},
  {"seed": 10968, "edge": "673.496550"},
  {"seed": 10969, "edge": "491.704130"},
  {"seed": 10970, "edge": "410.853381"},
  {"seed": 10971, "edge": "658.730770"},
  {"seed": 10972, "edge": "625.111278"},
  {"seed": 10973, "edge": "697.061732"},
  {"seed": 10974, "edge": "436.035036"},
  {"seed": 10975, "edge": "476.523654"},
  {"seed": 10976, "edge": "361.378414"},
  {"seed": 10977, "edge": "666.437397"},
  {"seed": 10978, "edge": "416.209735"},
  {"seed": 10979, "edge": "568.730014"},
  {"seed": 10980, "edge": "685.751275"},
  {"seed": 10981, "edge": "598.955876"},
  {"seed": 10982, "edge": "692.039557"},
  {"seed": 10983, "edge": "438.805147"},
  {"seed": 10984, "edge": "421.271304"},
  {"seed": 10985, "edge": "524.134153"},
  {"seed": 10986, "edge": "527.099988"},
  {"seed": 10987, "edge": "651.776826"},
  {"seed": 10988, "edge": "668.368576"},
  {"seed": 10989, "edge": "560.834249"},
  {"seed": 10990, "edge": "674.475392"},
  {"seed": 10991, "edge": "569.827431"},
  {"seed": 10992, "edge": "350.124839"},
  {"seed": 10993, "edge": "565.235144"},
  {"seed": 10994, "edge": "553.045455"},
  {"seed": 10995, "edge": "605.782132"},
  {"seed": 10996, "edge": "563.434867"},
  {"seed": 10997, "edge": "473.245594"},
  {"seed": 10998, "edge": "632.915746"},
  {"seed": 10999, "edge": "350.366861"},
  {"seed": 11000, "edge": "470.222923"},
  {"seed": 11001, "edge": "549.652388"},
  {"seed": 11002, "edge": "421.847296"},
  {"seed": 11003, "edge": "506.801231"},
  {"seed": 11004, "edge": "614.193237"},
  {"seed": 11005, "edge": "595.194555"},
  {"seed": 11006, "edge": "562.626159"},
  {"seed": 11007, "edge": "471.401780"},
  {"seed": 11008, "edge": "654.384535"},
  {"seed": 11009, "edge": "428.939047"},
  {"seed": 11010, "edge": "591.356985"},
  {"seed": 11011, "edge": "410.279697"},
  {"seed": 11012, "edge": "486.282770"},
  {"seed": 11013, "edge": "570.326179"},
  {"seed": 11014, "edge": "718.503502"},
  {"seed": 11015, "edge": "518.938647"},
  {"seed": 11016, "edge": "378.578989"},
  {"seed": 11017, "edge": "575.140584"},
  {"seed": 11018, "edge": "571.110016"},
  {"seed": 11019, "edge": "730.361192"},
  {"seed": 11020, "edge": "482.836089"},
  {"seed": 11021, "edge": "625.893687"},
  {"seed": 11022, "edge": "694.447079"},
  {"seed": 11023, "edge": "510.858946"},
  {"seed": 11024, "edge": "485.500625"},
  {"seed": 11025, "edge": "811.916077"},
  {"seed": 11026, "edge": "426.228274"},
  {"seed": 11027, "edge": "621.273636"},
  {"seed": 11028, "edge": "596.468821"},
  {"seed": 11029, "edge": "473.835118"},
  {"seed": 11030, "edge": "714.121883"},
  {"seed": 11031, "edge": "573.973050"},
  {"seed": 11032, "edge": "421.509119"},
  {"seed": 11033, "edge": "509.627432"},
  {"seed": 11034, "edge": "634.185943"},
  {"seed": 11035, "edge": "706.220793"},
  {"seed": 11036, "edge": "453.940004"},
  {"seed": 11037, "edge": "489.417879"},
  {"seed": 11038, "edge": "579.293221"},
  {"seed": 11039, "edge": "534.925806"},
  {"seed": 11040, "edge": "402.358752"},
  {"seed": 11041, "edge": "456.371296"},
  {"seed": 11042, "edge": "738.649060"},
  {"seed": 11043, "edge": "386.257365"},
  {"seed": 11044, "edge": "600.089139"},
  {"seed": 11045, "edge": "610.281421"},
  {"seed": 11046, "edge": "594.829728"},
  {"seed": 11047, "edge": "480.823353"},
  {"seed": 11048, "edge": "505.734506"},
  {"seed": 11049, "edge": "591.923293"},
  {"seed": 11050, "edge": "548.194811"},
  {"seed": 11051, "edge": "571.137437"},
  {"seed": 11052, "edge": "444.263297"},
  {"seed": 11053, "edge": "709.578537"},
  {"seed": 11054, "edge": "581.736862"},
  {"seed": 11055, "edge": "613.500071"},
  {"seed": 11056, "edge": "548.002473"},
  {"seed": 11057, "edge": "653.442548"},
  {"seed": 11058, "edge": "441.709758"},
  {"seed": 11059, "edge": "674.256888"},
  {"seed": 11060, "edge": "566.740060"},
  {"seed": 11061, "edge": "675.594364"},
  {"seed": 11062, "edge": "715.466273"},
  {"seed": 11063, "edge": "504.859151"},
  {"seed": 11064, "edge": "558.230376"},
  {"seed": 11065, "edge": "606.333869"},
  {"seed": 11066, "edge": "543.121027"},
  {"seed": 11067, "edge": "447.999042"},
  {"seed": 11068, "edge": "438.868420"},
  {"seed": 11069, "edge": "497.006509"},
  {"seed": 11070, "edge": "477.747406"},
  {"seed": 11071, "edge": "646.677957"},
  {"seed": 11072, "edge": "510.126628"},
  {"seed": 11073, "edge": "709.412914"},
  {"seed": 11074, "edge": "538.458616"},
  {"seed": 11075, "edge": "413.821216"},
  {"seed": 11076, "edge": "728.272946"},
  {"seed": 11077, "edge": "814.259325"},
  {"seed": 11078, "edge": "546.270619"},
  {"seed": 11079, "edge": "426.639565"},
  {"seed": 11080, "edge": "443.986522"},
  {"seed": 11081, "edge": "438.243200"},
  {"seed": 11082, "edge": "612.217295"},
  {"seed": 11083, "edge": "595.466514"},
  {"seed": 11084, "edge": "480.766701"},
  {"seed": 11085, "edge": "549.746804"},
  {"seed": 11086, "edge": "630.585625"},
  {"seed": 11087, "edge": "537.944723"},
  {"seed": 11088, "edge": "512.559668"},
  {"seed": 11089, "edge": "692.986080"},
  {"seed": 11090, "edge": "464.726360"},
  {"seed": 11091, "edge": "576.524823"},
  {"seed": 11092, "edge": "470.201880"},
  {"seed": 11093, "edge": "419.505547"},
  {"seed": 11094, "edge": "602.029979"},
  {"seed": 11095, "edge": "611.609623"},
  {"seed": 11096, "edge": "460.361307"},
  {"seed": 11097, "edge": "506.746334"},
  {"seed": 11098, "edge": "690.136902"},
  {"seed": 11099, "edge": "460.309540"},
  {"seed": 11100, "edge": "507.247356"},
  {"seed": 11101, "edge": "402.237653"},
  {"seed": 11102, "edge": "533.344977"},
  {"seed": 11103, "edge": "445.348258"},
  {"seed": 11104, "edge": "653.157358"},
  {"seed": 11105, "edge": "429.696363"},
  {"seed": 11106, "edge": "445.746786"},
  {"seed": 11107, "edge": "396.470140"},
  {"seed": 11108, "edge": "645.109018"},
  {"seed": 11109, "edge": "515.516154"},
  {"seed": 11110, "edge": "566.225526"},
  {"seed": 11111, "edge": "458.352698"},
  {"seed": 11112, "edge": "493.030055"},
  {"seed": 11113, "edge": "703.056355"},
  {"seed": 11114, "edge": "644.216371"},
  {"seed": 11115, "edge": "580.738972"},
  {"seed": 11116, "edge": "610.541936"},
  {"seed": 11117, "edge": "549.586622"},
  {"seed": 11118, "edge": "512.197491"},
  {"seed": 11119, "edge": "469.814178"},
  {"seed": 11120, "edge": "582.659737"},
  {"seed": 11121, "edge": "567.026175"},
  {"seed": 11122, "edge": "684.098816"},
  {"seed": 11123, "edge": "714.703762"},
  {"seed": 11124, "edge": "388.976408"},
  {"seed": 11125, "edge": "414.931693"},
  {"seed": 11126, "edge": "577.126444"},
  {"seed": 11127, "edge": "538.304522"},
  {"seed": 11128, "edge": "446.509441"},
  {"seed": 11129, "edge": "520.172835"},
  {"seed": 11130, "edge": "451.350815"},
  {"seed": 11131, "edge": "671.400046"},
  {"seed": 11132, "edge": "612.514922"},
  {"seed": 11133, "edge": "598.427780"},
  {"seed": 11134, "edge": "492.746600"},
  {"seed": 11135, "edge": "555.561588"},
  {"seed": 11136, "edge": "487.427395"},
  {"seed": 11137, "edge": "646.008952"},
  {"seed": 11138, "edge": "665.320953"},
  {"seed": 11139, "edge": "357.581885"},
  {"seed": 11140, "edge": "452.384902"},
  {"seed": 11141, "edge": "571.056817"},
  {"seed": 11142, "edge": "342.530137"},
  {"seed": 11143, "edge": "463.639931"},
  {"seed": 11144, "edge": "580.434442"},
  {"seed": 11145, "edge": "483.819790"},
  {"seed": 11146, "edge": "480.546506"},
  {"seed": 11147, "edge": "388.221381"},
  {"seed": 11148, "edge": "511.498603"},
  {"seed": 11149, "edge": "584.302708"},
  {"seed": 11150, "edge": "333.121759"},
  {"seed": 11151, "edge": "567.163185"},
  {"seed": 11152, "edge": "513.644817"},
  {"seed": 11153, "edge": "376.651959"},
  {"seed": 11154, "edge": "444.208250"},
  {"seed": 11155, "edge": "371.918265"},
  {"seed": 11156, "edge": "453.960940"},
  {"seed": 11157, "edge": "510.922680"},
  {"seed": 11158, "edge": "425.144690"},
  {"seed": 11159, "edge": "594.480159"},
  {"seed": 11160, "edge": "425.762582"},
  {"seed": 11161, "edge": "597.877425"},
  {"seed": 11162, "edge": "506.581295"},
  {"seed": 11163, "edge": "658.235462"},
  {"seed": 11164, "edge": "542.532873"},
  {"seed": 11165, "edge": "631.319210"},
  {"seed": 11166, "edge": "547.788340"},
  {"seed": 11167, "edge": "561.698317"},
  {"seed": 11168, "edge": "528.845036"},
  {"seed": 11169, "edge": "593.697061"},
  {"seed": 11170, "edge": "552.545325"},
  {"seed": 11171, "edge": "513.402576"},
  {"seed": 11172, "edge": "437.716492"},
  {"seed": 11173, "edge": "477.686686"},
  {"seed": 11174, "edge": "634.022110"},
  {"seed": 11175, "edge": "396.932558"},
  {"seed": 11176, "edge": "772.756662"},
  {"seed": 11177, "edge": "480.837123"},
  {"seed": 11178, "edge": "461.738067"},
  {"seed": 11179, "edge": "536.315510"},
  {"seed": 11180, "edge": "419.530015"},
  {"seed": 11181, "edge": "438.121429"},
  {"seed": 11182, "edge": "481.563844"},
  {"seed": 11183, "edge": "400.101049"},
  {"seed": 11184, "edge": "698.320511"},
  {"seed": 11185, "edge": "596.831997"},
  {"seed": 11186, "edge": "539.787816"},
  {"seed": 11187, "edge": "585.766831"},
  {"seed": 11188, "edge": "622.420624"},
  {"seed": 11189, "edge": "417.080448"},
  {"seed": 11190, "edge": "476.835048"},
  {"seed": 11191, "edge": "726.770847"},
  {"seed": 11192, "edge": "536.735547"},
  {"seed": 11193, "edge": "562.049162"},
  {"seed": 11194, "edge": "492.740203"},
  {"seed": 11195, "edge": "531.973101"},
  {"seed": 11196, "edge": "628.627860"},
  {"seed": 11197, "edge": "508.377366"},
  {"seed": 11198, "edge": "647.246672"},
  {"seed": 11199, "edge": "508.712062"},
  {"seed": 11200, "edge": "573.804578"},
  {"seed": 11201, "edge": "532.921270"},
  {"seed": 11202, "edge": "608.277711"},
  {"seed": 11203, "edge": "558.775850"},
  {"seed": 11204, "edge": "534.640841"},
  {"seed": 11205, "edge": "610.240123"},
  {"seed": 11206, "edge": "516.983244"},
  {"seed": 11207, "edge": "600.103705"},
  {"seed": 11208, "edge": "464.256634"},
  {"seed": 11209, "edge": "710.490141"},
  {"seed": 11210, "edge": "554.281058"},
  {"seed": 11211, "edge": "613.754361"},
  {"seed": 11212, "edge": "425.364891"},
  {"seed": 11213, "edge": "610.864189"},
  {"seed": 11214, "edge": "546.248921"},
  {"seed": 11215, "edge": "442.028827"},
  {"seed": 11216, "edge": "402.313248"},
  {"seed": 11217, "edge": "596.269292"},
  {"seed": 11218, "edge": "703.124030"},
  {"seed": 11219, "edge": "504.499863"},
  {"seed": 11220, "edge": "475.511755"},
  {"seed": 11221, "edge": "515.974582"},
  {"seed": 11222, "edge": "595.610193"},
  {"seed": 11223, "edge": "529.556007"},
  {"seed": 11224, "edge": "695.889190"},
  {"seed": 11225, "edge": "708.657383"},
  {"seed": 11226, "edge": "720.359451"},
  {"seed": 11227, "edge": "440.617641"},
  {"seed": 11228, "edge": "494.044237"},
  {"seed": 11229, "edge": "648.861563"},
  {"seed": 11230, "edge": "404.280197"},
  {"seed": 11231, "edge": "536.748350"},
  {"seed": 11232, "edge": "646.500068"},
  {"seed": 11233, "edge": "567.775111"},
  {"seed": 11234, "edge": "621.105564"},
  {"seed": 11235, "edge": "498.338638"},
  {"seed": 11236, "edge": "599.049671"},
  {"seed": 11237, "edge": "524.649361"},
  {"seed": 11238, "edge": "363.584115"},
  {"seed": 11239, "edge": "571.214425"},
  {"seed": 11240, "edge": "492.986719"},
  {"seed": 11241, "edge": "539.871405"},
  {"seed": 11242, "edge": "559.445805"},
  {"seed": 11243, "edge": "535.332185"},
  {"seed": 11244, "edge": "519.782065"},
  {"seed": 11245, "edge": "630.609273"},
  {"seed": 11246, "edge": "557.724607"},
  {"seed": 11247, "edge": "533.689405"},
  {"seed": 11248, "edge": "590.559512"},
  {"seed": 11249, "edge": "535.339747"},
  {"seed": 11250, "edge": "468.639915"},
  {"seed": 11251, "edge": "426.049531"},
  {"seed": 11252, "edge": "627.229727"},
  {"seed": 11253, "edge": "621.002690"},
  {"seed": 11254, "edge": "624.865438"},
  {"seed": 11255, "edge": "506.464303"},
  {"seed": 11256, "edge": "703.843322"},
  {"seed": 11257, "edge": "404.025683"},
  {"seed": 11258, "edge": "566.567602"},
  {"seed": 11259, "edge": "416.657101"},
  {"seed": 11260, "edge": "551.499132"},
  {"seed": 11261, "edge": "414.306534"},
  {"seed": 11262, "edge": "491.919536"},
  {"seed": 11263, "edge": "491.371734"},
  {"seed": 11264, "edge": "379.401133"},
  {"seed": 11265, "edge": "419.313507"},
  {"seed": 11266, "edge": "784.804573"},
  {"seed": 11267, "edge": "576.608586"},
  {"seed": 11268, "edge": "414.725937"},
  {"seed": 11269, "edge": "364.192079"},
  {"seed": 11270, "edge": "474.058075"},
  {"seed": 11271, "edge": "473.152691"},
  {"seed": 11272, "edge": "587.169237"},
  {"seed": 11273, "edge": "527.775044"},
  {"seed": 11274, "edge": "587.273173"},
  {"seed": 11275, "edge": "422.324528"},
  {"seed": 11276, "edge": "476.607955"},
  {"seed": 11277, "edge": "721.470222"},
  {"seed": 11278, "edge": "565.342150"},
  {"seed": 11279, "edge": "452.826566"},
  {"seed": 11280, "edge": "610.360527"},
  {"seed": 11281, "edge": "566.758035"},
  {"seed": 11282, "edge": "489.085482"},
  {"seed": 11283, "edge": "466.380991"},
  {"seed": 11284, "edge": "665.286095"},
  {"seed": 11285, "edge": "657.724680"},
  {"seed": 11286, "edge": "507.909918"},
  {"seed": 11287, "edge": "542.125100"},
  {"seed": 11288, "edge": "539.580796"},
  {"seed": 11289, "edge": "495.779801"},
  {"seed": 11290, "edge": "557.463610"},
  {"seed": 11291, "edge": "421.447975"},
  {"seed": 11292, "edge": "594.655166"},
  {"seed": 11293, "edge": "431.934749"},
  {"seed": 11294, "edge": "398.753667"},
  {"seed": 11295, "edge": "405.239563"},
  {"seed": 11296, "edge": "627.726765"},
  {"seed": 11297, "edge": "514.992636"},
  {"seed": 11298, "edge": "584.395521"},
  {"seed": 11299, "edge": "493.840211"},
  {"seed": 11300, "edge": "653.812173"},
  {"seed": 11301, "edge": "510.891507"},
  {"seed": 11302, "edge": "557.335427"},
  {"seed": 11303, "edge": "663.493095"},
  {"seed": 11304, "edge": "418.445125"},
  {"seed": 11305, "edge": "628.457313"},
  {"seed": 11306, "edge": "377.550998"},
  {"seed": 11307, "edge": "434.302137"},
  {"seed": 11308, "edge": "415.510965"},
  {"seed": 11309, "edge": "472.203554"},
  {"seed": 11310, "edge": "540.252199"},
  {"seed": 11311, "edge": "574.206220"},
  {"seed": 11312, "edge": "479.221455"},
  {"seed": 11313, "edge": "614.133383"},
  {"seed": 11314, "edge": "462.899636"},
  {"seed": 11315, "edge": "628.752017"},
  {"seed": 11316, "edge": "473.542046"},
  {"seed": 11317, "edge": "514.687480"},
  {"seed": 11318, "edge": "641.517678"},
  {"seed": 11319, "edge": "580.358303"},
  {"seed": 11320, "edge": "430.780266"},
  {"seed": 11321, "edge": "525.874359"},
  {"seed": 11322, "edge": "628.036919"},
  {"seed": 11323, "edge": "690.701010"},
  {"seed": 11324, "edge": "447.752351"},
  {"seed": 11325, "edge": "626.630268"},
  {"seed": 11326, "edge": "521.693047"},
  {"seed": 11327, "edge": "542.310364"},
  {"seed": 11328, "edge": "377.906010"},
  {"seed": 11329, "edge": "606.662522"},
  {"seed": 11330, "edge": "561.327289"},
  {"seed": 11331, "edge": "392.398648"},
  {"seed": 11332, "edge": "593.910162"},
  {"seed": 11333, "edge": "647.243281"},
  {"seed": 11334, "edge": "550.262450"},
  {"seed": 11335, "edge": "498.903601"},
  {"seed": 11336, "edge": "534.559111"},
  {"seed": 11337, "edge": "498.726002"},
  {"seed": 11338, "edge": "556.241211"},
  {"seed": 11339, "edge": "415.076023"},
  {"seed": 11340, "edge": "385.371513"},
  {"seed": 11341, "edge": "533.681830"},
  {"seed": 11342, "edge": "524.455947"},
  {"seed": 11343, "edge": "590.793493"},
  {"seed": 11344, "edge": "540.625152"},
  {"seed": 11345, "edge": "632.944208"},
  {"seed": 11346, "edge": "575.159542"},
  {"seed": 11347, "edge": "638.645127"},
  {"seed": 11348, "edge": "440.575602"},
  {"seed": 11349, "edge": "496.615264"},
  {"seed": 11350, "edge": "690.828963"},
  {"seed": 11351, "edge": "445.094895"},
  {"seed": 11352, "edge": "462.632835"},
  {"seed": 11353, "edge": "588.529386"},
  {"seed": 11354, "edge": "627.351922"},
  {"seed": 11355, "edge": "551.725624"},
  {"seed": 11356, "edge": "553.532466"},
  {"seed": 11357, "edge": "532.809681"},
  {"seed": 11358, "edge": "577.521140"},
  {"seed": 11359, "edge": "699.668816"},
  {"seed": 11360, "edge": "653.391514"},
  {"seed": 11361, "edge": "431.002269"},
  {"seed": 11362, "edge": "605.553089"},
  {"seed": 11363, "edge": "395.171394"},
  {"seed": 11364, "edge": "475.073785"},
  {"seed": 11365, "edge": "513.265464"},
  {"seed": 11366, "edge": "636.635970"},
  {"seed": 11367, "edge": "490.157263"},
  {"seed": 11368, "edge": "625.538961"},
  {"seed": 11369, "edge": "451.098859"},
  {"seed": 11370, "edge": "553.843769"},
  {"seed": 11371, "edge": "545.120710"},
  {"seed": 11372, "edge": "365.038799"},
  {"seed": 11373, "edge": "583.164196"},
  {"seed": 11374, "edge": "577.064945"},
  {"seed": 11375, "edge": "455.102394"},
  {"seed": 11376, "edge": "557.893589"},
  {"seed": 11377, "edge": "505.123715"},
  {"seed": 11378, "edge": "597.982999"},
  {"seed": 11379, "edge": "538.830767"},
  {"seed": 11380, "edge": "808.508712"},
  {"seed": 11381, "edge": "444.997503"},
  {"seed": 11382, "edge": "455.707386"},
  {"seed": 11383, "edge": "685.420386"},
  {"seed": 11384, "edge": "507.235073"},
  {"seed": 11385, "edge": "486.386766"},
  {"seed": 11386, "edge": "516.132165"},
  {"seed": 11387, "edge": "797.294932"},
  {"seed": 11388, "edge": "646.412143"},
  {"seed": 11389, "edge": "333.346790"},
  {"seed": 11390, "edge": "698.164529"},
  {"seed": 11391, "edge": "361.909877"},
  {"seed": 11392, "edge": "595.022064"},
  {"seed": 11393, "edge": "470.473481"},
  {"seed": 11394, "edge": "418.700854"},
  {"seed": 11395, "edge": "634.677132"},
  {"seed": 11396, "edge": "420.676145"},
  {"seed": 11397, "edge": "442.064677"},
  {"seed": 11398, "edge": "431.863532"},
  {"seed": 11399, "edge": "541.325281"},
  {"seed": 11400, "edge": "505.021630"},
  {"seed": 11401, "edge": "351.423769"},
  {"seed": 11402, "edge": "479.904833"},
  {"seed": 11403, "edge": "585.312055"},
  {"seed": 11404, "edge": "493.669893"},
  {"seed": 11405, "edge": "532.074175"},
  {"seed": 11406, "edge": "520.426823"},
  {"seed": 11407, "edge": "526.527357"},
  {"seed": 11408, "edge": "388.929334"},
  {"seed": 11409, "edge": "541.470748"},
  {"seed": 11410, "edge": "474.484269"},
  {"seed": 11411, "edge": "559.187322"},
  {"seed": 11412, "edge": "618.932561"},
  {"seed": 11413, "edge": "509.257004"},
  {"seed": 11414, "edge": "513.512062"},
  {"seed": 11415, "edge": "499.389848"},
  {"seed": 11416, "edge": "514.523578"},
  {"seed": 11417, "edge": "616.428435"},
  {"seed": 11418, "edge": "538.978648"},
  {"seed": 11419, "edge": "532.411064"},
  {"seed": 11420, "edge": "506.134001"},
  {"seed": 11421, "edge": "466.275614"},
  {"seed": 11422, "edge": "478.134707"},
  {"seed": 11423, "edge": "331.765147"},
  {"seed": 11424, "edge": "428.372864"},
  {"seed": 11425, "edge": "560.121503"},
  {"seed": 11426, "edge": "547.201959"},
  {"seed": 11427, "edge": "483.553801"},
  {"seed": 11428, "edge": "539.502886"},
  {"seed": 11429, "edge": "502.160420"},
  {"seed": 11430, "edge": "570.167031"},
  {"seed": 11431, "edge": "540.995006"},
  {"seed": 11432, "edge": "424.247095"},
  {"seed": 11433, "edge": "418.554215"},
  {"seed": 11434, "edge": "551.352407"},
  {"seed": 11435, "edge": "487.091964"},
  {"seed": 11436, "edge": "467.344472"},
  {"seed": 11437, "edge": "606.169593"},
  {"seed": 11438, "edge": "547.550170"},
  {"seed": 11439, "edge": "468.528614"},
  {"seed": 11440, "edge": "599.542225"},
  {"seed": 11441, "edge": "568.669916"},
  {"seed": 11442, "edge": "551.846341"},
  {"seed": 11443, "edge": "510.391833"},
  {"seed": 11444, "edge": "541.019652"},
  {"seed": 11445, "edge": "475.669905"},
  {"seed": 11446, "edge": "598.799134"},
  {"seed": 11447, "edge": "369.274836"},
  {"seed": 11448, "edge": "507.097718"},
  {"seed": 11449, "edge": "431.509296"},
  {"seed": 11450, "edge": "554.819461"},
  {"seed": 11451, "edge": "611.251955"},
  {"seed": 11452, "edge": "480.669224"},
  {"seed": 11453, "edge": "486.063934"},
  {"seed": 11454, "edge": "627.934412"},
  {"seed": 11455, "edge": "789.917319"},
  {"seed": 11456, "edge": "437.030253"},
  {"seed": 11457, "edge": "462.395660"},
  {"seed": 11458, "edge": "591.166989"},
  {"seed": 11459, "edge": "384.790916"},
  {"seed": 11460, "edge": "424.301348"},
  {"seed": 11461, "edge": "414.132330"},
  {"seed": 11462, "edge": "577.938933"},
  {"seed": 11463, "edge": "512.668097"},
  {"seed": 11464, "edge": "607.199336"},
  {"seed": 11465, "edge": "494.212307"},
  {"seed": 11466, "edge": "634.312144"},
  {"seed": 11467, "edge": "604.960123"},
  {"seed": 11468, "edge": "580.469202"},
  {"seed": 11469, "edge": "584.480554"},
  {"seed": 11470, "edge": "460.669649"},
  {"seed": 11471, "edge": "477.894958"},
  {"seed": 11472, "edge": "462.849901"},
  {"seed": 11473, "edge": "424.619251"},
  {"seed": 11474, "edge": "562.994665"},
  {"seed": 11475, "edge": "591.275425"},
  {"seed": 11476, "edge": "545.813324"},
  {"seed": 11477, "edge": "586.257431"},
  {"seed": 11478, "edge": "579.911590"},
  {"seed": 11479, "edge": "556.551982"},
  {"seed": 11480, "edge": "563.902322"},
  {"seed": 11481, "edge": "555.827763"},
  {"seed": 11482, "edge": "458.292508"},
  {"seed": 11483, "edge": "748.670323"},
  {"seed": 11484, "edge": "575.154480"},
  {"seed": 11485, "edge": "492.722434"},
  {"seed": 11486, "edge": "676.976951"},
  {"seed": 11487, "edge": "677.997468"},
  {"seed": 11488, "edge": "506.713977"},
  {"seed": 11489, "edge": "390.115589"},
  {"seed": 11490, "edge": "640.223580"},
  {"seed": 11491, "edge": "426.285860"},
  {"seed": 11492, "edge": "636.944876"},
  {"seed": 11493, "edge": "628.145934"},
  {"seed": 11494, "edge": "507.352456"},
  {"seed": 11495, "edge": "398.232803"},
  {"seed": 11496, "edge": "428.203975"},
  {"seed": 11497, "edge": "478.666004"},
  {"seed": 11498, "edge": "608.112549"},
  {"seed": 11499, "edge": "553.088188"},
  {"seed": 11500, "edge": "636.774136"},
  {"seed": 11501, "edge": "438.905906"},
  {"seed": 11502, "edge": "360.559649"},
  {"seed": 11503, "edge": "478.073801"},
  {"seed": 11504, "edge": "672.617177"},
  {"seed": 11505, "edge": "603.205896"},
  {"seed": 11506, "edge": "619.340228"},
  {"seed": 11507, "edge": "616.239927"},
  {"seed": 11508, "edge": "360.297790"},
  {"seed": 11509, "edge": "597.107242"},
  {"seed": 11510, "edge": "561.038117"},
  {"seed": 11511, "edge": "549.328914"},
  {"seed": 11512, "edge": "349.954665"},
  {"seed": 11513, "edge": "442.427643"},
  {"seed": 11514, "edge": "430.492335"},
  {"seed": 11515, "edge": "434.172938"},
  {"seed": 11516, "edge": "602.549422"},
  {"seed": 11517, "edge": "586.150993"},
  {"seed": 11518, "edge": "460.102322"},
  {"seed": 11519, "edge": "526.866926"},
  {"seed": 11520, "edge": "650.326190"},
  {"seed": 11521, "edge": "518.992316"},
  {"seed": 11522, "edge": "448.383420"},
  {"seed": 11523, "edge": "384.220897"},
  {"seed": 11524, "edge": "512.724255"},
  {"seed": 11525, "edge": "429.919086"},
  {"seed": 11526, "edge": "626.002962"},
  {"seed": 11527, "edge": "577.799699"},
  {"seed": 11528, "edge": "425.161488"},
  {"seed": 11529, "edge": "421.282841"},
  {"seed": 11530, "edge": "534.011695"},
  {"seed": 11531, "edge": "436.156643"},
  {"seed": 11532, "edge": "467.454567"},
  {"seed": 11533, "edge": "637.807475"},
  {"seed": 11534, "edge": "491.050790"},
  {"seed": 11535, "edge": "537.333529"},
  {"seed": 11536, "edge": "430.381594"},
  {"seed": 11537, "edge": "520.519305"},
  {"seed": 11538, "edge": "588.118874"},
  {"seed": 11539, "edge": "558.503095"},
  {"seed": 11540, "edge": "783.064283"},
  {"seed": 11541, "edge": "573.869668"},
  {"seed": 11542, "edge": "386.467521"},
  {"seed": 11543, "edge": "488.563121"},
  {"seed": 11544, "edge": "532.256419"},
  {"seed": 11545, "edge": "366.685808"},
  {"seed": 11546, "edge": "476.774459"},
  {"seed": 11547, "edge": "362.285457"},
  {"seed": 11548, "edge": "454.993456"},
  {"seed": 11549, "edge": "499.554876"},
  {"seed": 11550, "edge": "561.939963"},
  {"seed": 11551, "edge": "544.943649"},
  {"seed": 11552, "edge": "569.805534"},
  {"seed": 11553, "edge": "694.834862"},
  {"seed": 11554, "edge": "628.627969"},
  {"seed": 11555, "edge": "686.452607"},
  {"seed": 11556, "edge": "446.148092"},
  {"seed": 11557, "edge": "589.628721"},
  {"seed": 11558, "edge": "672.258543"},
  {"seed": 11559, "edge": "633.249031"},
  {"seed": 11560, "edge": "522.886565"},
  {"seed": 11561, "edge": "529.944551"},
  {"seed": 11562, "edge": "399.554484"},
  {"seed": 11563, "edge": "427.031518"},
  {"seed": 11564, "edge": "620.038504"},
  {"seed": 11565, "edge": "663.094342"},
  {"seed": 11566, "edge": "414.577594"},
  {"seed": 11567, "edge": "551.522196"},
  {"seed": 11568, "edge": "600.282747"},
  {"seed": 11569, "edge": "442.344420"},
  {"seed": 11570, "edge": "585.361892"},
  {"seed": 11571, "edge": "606.133551"},
  {"seed": 11572, "edge": "529.524864"},
  {"seed": 11573, "edge": "677.440338"},
  {"seed": 11574, "edge": "428.700807"},
  {"seed": 11575, "edge": "435.254759"},
  {"seed": 11576, "edge": "440.559752"},
  {"seed": 11577, "edge": "428.116196"},
  {"seed": 11578, "edge": "711.819899"},
  {"seed": 11579, "edge": "665.250098"},
  {"seed": 11580, "edge": "511.724242"},
  {"seed": 11581, "edge": "434.339328"},
  {"seed": 11582, "edge": "571.783949"},
  {"seed": 11583, "edge": "534.279880"},
  {"seed": 11584, "edge": "574.502764"},
  {"seed": 11585, "edge": "580.504246"},
  {"seed": 11586, "edge": "388.968689"},
  {"seed": 11587, "edge": "564.753761"},
  {"seed": 11588, "edge": "587.705433"},
  {"seed": 11589, "edge": "691.143337"},
  {"seed": 11590, "edge": "559.369467"},
  {"seed": 11591, "edge": "530.384522"},
  {"seed": 11592, "edge": "348.736101"},
  {"seed": 11593, "edge": "395.784788"},
  {"seed": 11594, "edge": "388.828479"},
  {"seed": 11595, "edge": "594.957201"},
  {"seed": 11596, "edge": "610.998162"},
  {"seed": 11597, "edge": "664.821553"},
  {"seed": 11598, "edge": "504.544362"},
  {"seed": 11599, "edge": "348.662823"},
  {"seed": 11600, "edge": "466.374318"},
  {"seed": 11601, "edge": "726.574998"},
  {"seed": 11602, "edge": "586.059275"},
  {"seed": 11603, "edge": "620.693274"},
  {"seed": 11604, "edge": "525.788480"},
  {"seed": 11605, "edge": "531.143112"},
  {"seed": 11606, "edge": "419.490845"},
  {"seed": 11607, "edge": "549.076497"},
  {"seed": 11608, "edge": "402.158219"},
  {"seed": 11609, "edge": "584.717514"},
  {"seed": 11610, "edge": "623.943123"},
  {"seed": 11611, "edge": "482.651057"},
  {"seed": 11612, "edge": "536.838975"},
  {"seed": 11613, "edge": "595.430142"},
  {"seed": 11614, "edge": "416.125876"},
  {"seed": 11615, "edge": "630.804396"},
  {"seed": 11616, "edge": "473.498905"},
  {"seed": 11617, "edge": "604.567553"},
  {"seed": 11618, "edge": "695.840835"},
  {"seed": 11619, "edge": "519.248670"},
  {"seed": 11620, "edge": "550.613009"},
  {"seed": 11621, "edge": "569.274953"},
  {"seed": 11622, "edge": "628.470896"},
  {"seed": 11623, "edge": "499.409396"},
  {"seed": 11624, "edge": "586.382775"},
  {"seed": 11625, "edge": "631.489377"},
  {"seed": 11626, "edge": "418.558881"},
  {"seed": 11627, "edge": "528.115888"},
  {"seed": 11628, "edge": "750.286866"},
  {"seed": 11629, "edge": "403.436267"},
  {"seed": 11630, "edge": "578.471022"},
  {"seed": 11631, "edge": "541.075082"},
  {"seed": 11632, "edge": "673.743177"},
  {"seed": 11633, "edge": "544.724963"},
  {"seed": 11634, "edge": "473.413501"},
  {"seed": 11635, "edge": "630.993082"},
  {"seed": 11636, "edge": "543.278725"},
  {"seed": 11637, "edge": "457.604206"},
  {"seed": 11638, "edge": "394.386252"},
  {"seed": 11639, "edge": "374.386728"},
  {"seed": 11640, "edge": "593.221355"},
  {"seed": 11641, "edge": "472.131422"},
  {"seed": 11642, "edge": "660.407343"},
  {"seed": 11643, "edge": "614.848941"},
  {"seed": 11644, "edge": "477.016545"},
  {"seed": 11645, "edge": "659.941773"},
  {"seed": 11646, "edge": "641.721585"},
  {"seed": 11647, "edge": "669.101930"},
  {"seed": 11648, "edge": "650.280050"},
  {"seed": 11649, "edge": "514.681473"},
  {"seed": 11650, "edge": "437.565851"},
  {"seed": 11651, "edge": "656.900755"},
  {"seed": 11652, "edge": "654.068438"},
  {"seed": 11653, "edge": "381.091713"},
  {"seed": 11654, "edge": "442.670455"},
  {"seed": 11655, "edge": "454.293469"},
  {"seed": 11656, "edge": "614.244844"},
  {"seed": 11657, "edge": "615.280613"},
  {"seed": 11658, "edge": "609.567210"},
  {"seed": 11659, "edge": "625.312953"},
  {"seed": 11660, "edge": "607.741348"},
  {"seed": 11661, "edge": "604.126796"},
  {"seed": 11662, "edge": "421.174586"},
  {"seed": 11663, "edge": "508.572363"},
  {"seed": 11664, "edge": "481.364303"},
  {"seed": 11665, "edge": "580.167325"},
  {"seed": 11666, "edge": "530.379638"},
  {"seed": 11667, "edge": "522.087480"},
  {"seed": 11668, "edge": "548.366669"},
  {"seed": 11669, "edge": "616.605305"},
  {"seed": 11670, "edge": "466.753277"},
  {"seed": 11671, "edge": "579.081692"},
  {"seed": 11672, "edge": "471.357545"},
  {"seed": 11673, "edge": "471.004728"},
  {"seed": 11674, "edge": "545.497874"},
  {"seed": 11675, "edge": "446.235526"},
  {"seed": 11676, "edge": "668.760142"},
  {"seed": 11677, "edge": "584.272263"},
  {"seed": 11678, "edge": "546.071148"},
  {"seed": 11679, "edge": "485.122307"},
  {"seed": 11680, "edge": "447.052776"},
  {"seed": 11681, "edge": "484.298619"},
  {"seed": 11682, "edge": "519.298420"},
  {"seed": 11683, "edge": "628.563408"},
  {"seed": 11684, "edge": "482.895174"},
  {"seed": 11685, "edge": "585.588953"},
  {"seed": 11686, "edge": "523.942525"},
  {"seed": 11687, "edge": "568.428194"},
  {"seed": 11688, "edge": "426.501629"},
  {"seed": 11689, "edge": "378.068940"},
  {"seed": 11690, "edge": "448.384078"},
  {"seed": 11691, "edge": "463.349310"},
  {"seed": 11692, "edge": "600.575902"},
  {"seed": 11693, "edge": "643.798189"},
  {"seed": 11694, "edge": "544.177240"},
  {"seed": 11695, "edge": "601.149466"},
  {"seed": 11696, "edge": "717.029227"},
  {"seed": 11697, "edge": "616.376418"},
  {"seed": 11698, "edge": "508.167397"},
  {"seed": 11699, "edge": "579.798021"},
  {"seed": 11700, "edge": "493.577470"},
  {"seed": 11701, "edge": "655.963126"},
  {"seed": 11702, "edge": "657.945668"},
  {"seed": 11703, "edge": "579.630418"},
  {"seed": 11704, "edge": "553.325696"},
  {"seed": 11705, "edge": "642.381908"},
  {"seed": 11706, "edge": "513.461613"},
  {"seed": 11707, "edge": "455.188262"},
  {"seed": 11708, "edge": "541.582351"},
  {"seed": 11709, "edge": "601.392630"},
  {"seed": 11710, "edge": "497.710843"},
  {"seed": 11711, "edge": "414.533040"},
  {"seed": 11712, "edge": "506.278598"},
  {"seed": 11713, "edge": "540.438688"},
  {"seed": 11714, "edge": "535.780184"},
  {"seed": 11715, "edge": "542.298168"},
  {"seed": 11716, "edge": "425.886992"},
  {"seed": 11717, "edge": "395.082620"},
  {"seed": 11718, "edge": "423.454538"},
  {"seed": 11719, "edge": "631.142529"},
  {"seed": 11720, "edge": "481.368209"},
  {"seed": 11721, "edge": "380.737586"},
  {"seed": 11722, "edge": "482.845292"},
  {"seed": 11723, "edge": "472.211818"},
  {"seed": 11724, "edge": "459.914008"},
  {"seed": 11725, "edge": "529.731564"},
  {"seed": 11726, "edge": "444.392170"},
  {"seed": 11727, "edge": "619.349934"},
  {"seed": 11728, "edge": "670.811412"},
  {"seed": 11729, "edge": "532.222770"},
  {"seed": 11730, "edge": "713.501272"},
  {"seed": 11731, "edge": "474.059429"},
  {"seed": 11732, "edge": "386.591415"},
  {"seed": 11733, "edge": "621.486363"},
  {"seed": 11734, "edge": "581.924141"},
  {"seed": 11735, "edge": "549.921452"},
  {"seed": 11736, "edge": "519.755695"},
  {"seed": 11737, "edge": "734.871666"},
  {"seed": 11738, "edge": "363.304655"},
  {"seed": 11739, "edge": "640.370623"},
  {"seed": 11740, "edge": "623.395485"},
  {"seed": 11741, "edge": "697.593105"},
  {"seed": 11742, "edge": "398.456325"},
  {"seed": 11743, "edge": "571.894545"},
  {"seed": 11744, "edge": "551.116167"},
  {"seed": 11745, "edge": "443.973494"},
  {"seed": 11746, "edge": "645.656805"},
  {"seed": 11747, "edge": "637.095995"},
  {"seed": 11748, "edge": "576.888208"},
  {"seed": 11749, "edge": "588.343956"},
  {"seed": 11750, "edge": "425.094841"},
  {"seed": 11751, "edge": "628.392441"},
  {"seed": 11752, "edge": "393.737476"},
  {"seed": 11753, "edge": "586.445570"},
  {"seed": 11754, "edge": "501.406833"},
  {"seed": 11755, "edge": "572.983753"},
  {"seed": 11756, "edge": "649.557254"},
  {"seed": 11757, "edge": "490.262094"},
  {"seed": 11758, "edge": "606.596835"},
  {"seed": 11759, "edge": "574.710572"},
  {"seed": 11760, "edge": "534.905435"},
  {"seed": 11761, "edge": "562.813190"},
  {"seed": 11762, "edge": "647.667048"},
  {"seed": 11763, "edge": "612.987582"},
  {"seed": 11764, "edge": "428.069014"},
  {"seed": 11765, "edge": "672.629986"},
  {"seed": 11766, "edge": "482.008269"},
  {"seed": 11767, "edge": "538.921869"},
  {"seed": 11768, "edge": "438.435698"},
  {"seed": 11769, "edge": "608.181166"},
  {"seed": 11770, "edge": "685.180722"},
  {"seed": 11771, "edge": "464.875911"},
  {"seed": 11772, "edge": "525.389019"},
  {"seed": 11773, "edge": "390.432798"},
  {"seed": 11774, "edge": "540.077156"},
  {"seed": 11775, "edge": "449.841938"},
  {"seed": 11776, "edge": "639.193670"},
  {"seed": 11777, "edge": "406.572317"},
  {"seed": 11778, "edge": "779.362588"},
  {"seed": 11779, "edge": "449.152588"},
  {"seed": 11780, "edge": "489.963512"},
  {"seed": 11781, "edge": "712.875369"},
  {"seed": 11782, "edge": "532.900634"},
  {"seed": 11783, "edge": "625.662637"},
  {"seed": 11784, "edge": "397.998116"},
  {"seed": 11785, "edge": "560.072318"},
  {"seed": 11786, "edge": "500.120482"},
  {"seed": 11787, "edge": "542.703958"},
  {"seed": 11788, "edge": "382.075913"},
  {"seed": 11789, "edge": "561.031355"},
  {"seed": 11790, "edge": "595.199605"},
  {"seed": 11791, "edge": "715.365487"},
  {"seed": 11792, "edge": "724.799871"},
  {"seed": 11793, "edge": "471.705941"},
  {"seed": 11794, "edge": "492.268462"},
  {"seed": 11795, "edge": "530.373109"},
  {"seed": 11796, "edge": "526.215394"},
  {"seed": 11797, "edge": "518.850723"},
  {"seed": 11798, "edge": "445.935143"},
  {"seed": 11799, "edge": "542.439816"},
  {"seed": 11800, "edge": "468.297410"},
  {"seed": 11801, "edge": "571.925352"},
  {"seed": 11802, "edge": "588.893728"},
  {"seed": 11803, "edge": "408.746837"},
  {"seed": 11804, "edge": "444.545191"},
  {"seed": 11805, "edge": "695.631664"},
  {"seed": 11806, "edge": "552.112334"},
  {"seed": 11807, "edge": "414.079915"},
  {"seed": 11808, "edge": "625.587611"},
  {"seed": 11809, "edge": "604.386088"},
  {"seed": 11810, "edge": "714.795285"},
  {"seed": 11811, "edge": "468.678799"},
  {"seed": 11812, "edge": "517.030262"},
  {"seed": 11813, "edge": "672.400458"},
  {"seed": 11814, "edge": "427.316359"},
  {"seed": 11815, "edge": "603.663700"},
  {"seed": 11816, "edge": "404.834613"},
  {"seed": 11817, "edge": "461.712575"},
  {"seed": 11818, "edge": "444.247340"},
  {"seed": 11819, "edge": "413.045884"},
  {"seed": 11820, "edge": "474.982573"},
  {"seed": 11821, "edge": "493.307282"},
  {"seed": 11822, "edge": "701.581839"},
  {"seed": 11823, "edge": "387.526880"},
  {"seed": 11824, "edge": "502.081003"},
  {"seed": 11825, "edge": "460.617500"},
  {"seed": 11826, "edge": "632.782840"},
  {"seed": 11827, "edge": "544.969190"},
  {"seed": 11828, "edge": "353.080789"},
  {"seed": 11829, "edge": "510.348529"},
  {"seed": 11830, "edge": "482.722937"},
  {"seed": 11831, "edge": "632.282209"},
  {"seed": 11832, "edge": "430.925827"},
  {"seed": 11833, "edge": "473.385792"},
  {"seed": 11834, "edge": "564.526935"},
  {"seed": 11835, "edge": "506.212601"},
  {"seed": 11836, "edge": "537.236962"},
  {"seed": 11837, "edge": "582.690322"},
  {"seed": 11838, "edge": "604.976967"},
  {"seed": 11839, "edge": "663.975241"},
  {"seed": 11840, "edge": "562.805671"},
  {"seed": 11841, "edge": "419.449659"},
  {"seed": 11842, "edge": "435.216525"},
  {"seed": 11843, "edge": "534.642731"},
  {"seed": 11844, "edge": "631.467928"},
  {"seed": 11845, "edge": "659.462813"},
  {"seed": 11846, "edge": "436.226569"},
  {"seed": 11847, "edge": "438.159806"},
  {"seed": 11848, "edge": "460.221759"},
  {"seed": 11849, "edge": "653.521493"},
  {"seed": 11850, "edge": "555.905807"},
  {"seed": 11851, "edge": "580.349730"},
  {"seed": 11852, "edge": "582.755589"},
  {"seed": 11853, "edge": "443.857577"},
  {"seed": 11854, "edge": "435.666431"},
  {"seed": 11855, "edge": "531.393747"},
  {"seed": 11856, "edge": "471.980884"},
  {"seed": 11857, "edge": "610.530819"},
  {"seed": 11858, "edge": "438.792638"},
  {"seed": 11859, "edge": "710.685323"},
  {"seed": 11860, "edge": "431.452874"},
  {"seed": 11861, "edge": "625.586884"},
  {"seed": 11862, "edge": "400.357341"},
  {"seed": 11863, "edge": "708.113674"},
  {"seed": 11864, "edge": "349.372931"},
  {"seed": 11865, "edge": "614.832983"},
  {"seed": 11866, "edge": "604.642146"},
  {"seed": 11867, "edge": "569.280230"},
  {"seed": 11868, "edge": "526.285639"},
  {"seed": 11869, "edge": "631.624561"},
  {"seed": 11870, "edge": "654.760767"},
  {"seed": 11871, "edge": "575.107673"},
  {"seed": 11872, "edge": "529.962223"},
  {"seed": 11873, "edge": "502.545570"},
  {"seed": 11874, "edge": "357.982474"},
  {"seed": 11875, "edge": "704.594655"},
  {"seed": 11876, "edge": "407.924630"},
  {"seed": 11877, "edge": "365.884319"},
  {"seed": 11878, "edge": "596.303147"},
  {"seed": 11879, "edge": "549.521358"},
  {"seed": 11880, "edge": "572.139821"},
  {"seed": 11881, "edge": "434.767940"},
  {"seed": 11882, "edge": "448.797271"},
  {"seed": 11883, "edge": "433.582088"},
  {"seed": 11884, "edge": "532.441711"},
  {"seed": 11885, "edge": "561.371538"},
  {"seed": 11886, "edge": "613.859521"},
  {"seed": 11887, "edge": "498.181219"},
  {"seed": 11888, "edge": "637.604049"},
  {"seed": 11889, "edge": "460.311342"},
  {"seed": 11890, "edge": "392.474791"},
  {"seed": 11891, "edge": "407.786691"},
  {"seed": 11892, "edge": "589.647037"},
  {"seed": 11893, "edge": "673.628683"},
  {"seed": 11894, "edge": "537.008984"},
  {"seed": 11895, "edge": "508.784181"},
  {"seed": 11896, "edge": "591.594358"},
  {"seed": 11897, "edge": "586.291814"},
  {"seed": 11898, "edge": "582.190552"},
  {"seed": 11899, "edge": "397.873838"},
  {"seed": 11900, "edge": "613.275646"},
  {"seed": 11901, "edge": "431.009310"},
  {"seed": 11902, "edge": "432.242675"},
  {"seed": 11903, "edge": "399.601734"},
  {"seed": 11904, "edge": "450.159370"},
  {"seed": 11905, "edge": "467.722239"},
  {"seed": 11906, "edge": "394.160614"},
  {"seed": 11907, "edge": "599.687273"},
  {"seed": 11908, "edge": "552.715331"},
  {"seed": 11909, "edge": "410.446385"},
  {"seed": 11910, "edge": "723.470211"},
  {"seed": 11911, "edge": "744.106292"},
  {"seed": 11912, "edge": "517.285678"},
  {"seed": 11913, "edge": "409.449800"},
  {"seed": 11914, "edge": "423.212113"},
  {"seed": 11915, "edge": "490.098643"},
  {"seed": 11916, "edge": "378.794020"},
  {"seed": 11917, "edge": "610.920695"},
  {"seed": 11918, "edge": "726.962980"},
  {"seed": 11919, "edge": "603.500065"},
  {"seed": 11920, "edge": "608.625443"},
  {"seed": 11921, "edge": "804.378860"},
  {"seed": 11922, "edge": "629.253275"},
  {"seed": 11923, "edge": "390.844816"},
  {"seed": 11924, "edge": "484.258146"},
  {"seed": 11925, "edge": "412.918220"},
  {"seed": 11926, "edge": "610.716304"},
  {"seed": 11927, "edge": "404.779539"},
  {"seed": 11928, "edge": "516.582475"},
  {"seed": 11929, "edge": "654.689113"},
  {"seed": 11930, "edge": "663.162123"},
  {"seed": 11931, "edge": "672.714777"},
  {"seed": 11932, "edge": "551.364448"},
  {"seed": 11933, "edge": "458.311362"},
  {"seed": 11934, "edge": "522.852764"},
  {"seed": 11935, "edge": "657.341210"},
  {"seed": 11936, "edge": "441.999683"},
  {"seed": 11937, "edge": "557.882632"},
  {"seed": 11938, "edge": "424.149067"},
  {"seed": 11939, "edge": "583.795535"},
  {"seed": 11940, "edge": "411.696954"},
  {"seed": 11941, "edge": "418.708476"},
  {"seed": 11942, "edge": "469.446106"},
  {"seed": 11943, "edge": "496.955346"},
  {"seed": 11944, "edge": "616.823623"},
  {"seed": 11945, "edge": "529.638458"},
  {"seed": 11946, "edge": "476.349274"},
  {"seed": 11947, "edge": "627.986363"},
  {"seed": 11948, "edge": "484.518949"},
  {"seed": 11949, "edge": "457.668752"},
  {"seed": 11950, "edge": "754.471207"},
  {"seed": 11951, "edge": "334.472165"},
  {"seed": 11952, "edge": "511.408813"},
  {"seed": 11953, "edge": "519.921979"},
  {"seed": 11954, "edge": "469.208672"},
  {"seed": 11955, "edge": "464.029589"},
  {"seed": 11956, "edge": "612.686423"},
  {"seed": 11957, "edge": "639.167912"},
  {"seed": 11958, "edge": "642.440267"},
  {"seed": 11959, "edge": "526.812074"},
  {"seed": 11960, "edge": "556.532290"},
  {"seed": 11961, "edge": "475.094207"},
  {"seed": 11962, "edge": "449.166997"},
  {"seed": 11963, "edge": "458.661252"},
  {"seed": 11964, "edge": "636.100887"},
  {"seed": 11965, "edge": "589.009823"},
  {"seed": 11966, "edge": "554.551534"},
  {"seed": 11967, "edge": "467.040079"},
  {"seed": 11968, "edge": "494.837325"},
  {"seed": 11969, "edge": "429.912633"},
  {"seed": 11970, "edge": "407.288770"},
  {"seed": 11971, "edge": "527.819654"},
  {"seed": 11972, "edge": "604.267271"},
  {"seed": 11973, "edge": "474.075511"},
  {"seed": 11974, "edge": "479.062800"},
  {"seed": 11975, "edge": "483.460628"},
  {"seed": 11976, "edge": "652.293832"},
  {"seed": 11977, "edge": "381.053571"},
  {"seed": 11978, "edge": "448.178854"},
  {"seed": 11979, "edge": "466.907922"},
  {"seed": 11980, "edge": "456.747541"},
  {"seed": 11981, "edge": "464.778047"},
  {"seed": 11982, "edge": "564.338633"},
  {"seed": 11983, "edge": "388.581940"},
  {"seed": 11984, "edge": "544.850723"},
  {"seed": 11985, "edge": "446.543768"},
  {"seed": 11986, "edge": "440.613302"},
  {"seed": 11987, "edge": "546.935736"},
  {"seed": 11988, "edge": "492.844613"},
  {"seed": 11989, "edge": "528.980118"},
  {"seed": 11990, "edge": "512.137158"},
  {"seed": 11991, "edge": "433.283578"},
  {"seed": 11992, "edge": "591.915490"},
  {"seed": 11993, "edge": "680.984646"},
  {"seed": 11994, "edge": "681.885446"},
  {"seed": 11995, "edge": "487.344910"},
  {"seed": 11996, "edge": "573.393548"},
  {"seed": 11997, "edge": "613.969843"},
  {"seed": 11998, "edge": "502.316073"},
  {"seed": 11999, "edge": "353.696083"},
  {"seed": 12000, "edge": "679.329048"},
  {"seed": 12001, "edge": "604.509170"},
  {"seed": 12002, "edge": "448.726855"},
  {"seed": 12003, "edge": "742.198048"},
  {"seed": 12004, "edge": "595.746540"},
  {"seed": 12005, "edge": "686.747616"},
  {"seed": 12006, "edge": "561.693176"},
  {"seed": 12007, "edge": "373.772765"},
  {"seed": 12008, "edge": "497.092124"},
  {"seed": 12009, "edge": "543.366982"},
  {"seed": 12010, "edge": "532.350836"},
  {"seed": 12011, "edge": "561.288510"},
  {"seed": 12012, "edge": "448.046611"},
  {"seed": 12013, "edge": "574.158608"},
  {"seed": 12014, "edge": "422.218914"},
  {"seed": 12015, "edge": "584.562708"},
  {"seed": 12016, "edge": "475.696497"},
  {"seed": 12017, "edge": "495.668530"},
  {"seed": 12018, "edge": "437.807413"},
  {"seed": 12019, "edge": "386.813978"},
  {"seed": 12020, "edge": "578.245772"},
  {"seed": 12021, "edge": "469.890885"},
  {"seed": 12022, "edge": "471.321374"},
  {"seed": 12023, "edge": "777.897119"},
  {"seed": 12024, "edge": "381.456841"},
  {"seed": 12025, "edge": "556.626675"},
  {"seed": 12026, "edge": "548.553923"},
  {"seed": 12027, "edge": "532.281346"},
  {"seed": 12028, "edge": "478.776320"},
  {"seed": 12029, "edge": "422.364935"},
  {"seed": 12030, "edge": "637.702500"},
  {"seed": 12031, "edge": "479.659446"},
  {"seed": 12032, "edge": "569.476327"},
  {"seed": 12033, "edge": "425.549362"},
  {"seed": 12034, "edge": "704.066736"},
  {"seed": 12035, "edge": "386.891070"},
  {"seed": 12036, "edge": "638.741919"},
  {"seed": 12037, "edge": "465.320689"},
  {"seed": 12038, "edge": "526.790314"},
  {"seed": 12039, "edge": "500.751830"},
  {"seed": 12040, "edge": "573.992262"},
  {"seed": 12041, "edge": "565.239852"},
  {"seed": 12042, "edge": "436.439247"},
  {"seed": 12043, "edge": "451.454013"},
  {"seed": 12044, "edge": "626.501194"},
  {"seed": 12045, "edge": "400.753562"},
  {"seed": 12046, "edge": "527.854689"},
  {"seed": 12047, "edge": "411.369186"}
 ]
}