{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "COMBO",
 "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": 5.4569682106375694e-12
   }
  }
 },
 "rows": [
  {"seed": 10000, "edge": "444.195330"},
  {"seed": 10001, "edge": "572.172682"},
  {"seed": 10002, "edge": "526.274760"},
  {"seed": 10003, "edge": "573.811097"},
  {"seed": 10004, "edge": "523.593941"},
  {"seed": 10005, "edge": "527.614292"},
  {"seed": 10006, "edge": "486.153342"},
  {"seed": 10007, "edge": "525.620715"},
  {"seed": 10008, "edge": "662.565553"},
  {"seed": 10009, "edge": "654.037421"},
  {"seed": 10010, "edge": "477.722750"},
  {"seed": 10011, "edge": "371.062413"},
  {"seed": 10012, "edge": "458.946697"},
  {"seed": 10013, "edge": "402.003342"},
  {"seed": 10014, "edge": "701.618750"},
  {"seed": 10015, "edge": "630.817181"},
  {"seed": 10016, "edge": "568.405849"},
  {"seed": 10017, "edge": "494.449446"},
  {"seed": 10018, "edge": "482.259962"},
  {"seed": 10019, "edge": "454.968163"},
  {"seed": 10020, "edge": "495.582983"},
  {"seed": 10021, "edge": "413.225285"},
  {"seed": 10022, "edge": "441.431232"},
  {"seed": 10023, "edge": "635.586975"},
  {"seed": 10024, "edge": "481.625728"},
  {"seed": 10025, "edge": "446.719757"},
  {"seed": 10026, "edge": "346.987414"},
  {"seed": 10027, "edge": "548.415337"},
  {"seed": 10028, "edge": "525.450918"},
  {"seed": 10029, "edge": "443.455469"},
  {"seed": 10030, "edge": "593.971971"},
  {"seed": 10031, "edge": "342.595180"},
  {"seed": 10032, "edge": "638.988041"},
  {"seed": 10033, "edge": "536.198071"},
  {"seed": 10034, "edge": "563.862891"},
  {"seed": 10035, "edge": "634.643044"},
  {"seed": 10036, "edge": "547.164040"},
  {"seed": 10037, "edge": "445.440428"},
  {"seed": 10038, "edge": "619.987870"},
  {"seed": 10039, "edge": "589.103862"},
  {"seed": 10040, "edge": "610.613943"},
  {"seed": 10041, "edge": "631.171422"},
  {"seed": 10042, "edge": "711.515745"},
  {"seed": 10043, "edge": "639.507020"},
  {"seed": 10044, "edge": "421.683379"},
  {"seed": 10045, "edge": "387.146918"},
  {"seed": 10046, "edge": "432.231816"},
  {"seed": 10047, "edge": "599.377388"},
  {"seed": 10048, "edge": "498.706602"},
  {"seed": 10049, "edge": "384.359827"},
  {"seed": 10050, "edge": "374.934185"},
  {"seed": 10051, "edge": "423.624580"},
  {"seed": 10052, "edge": "430.044776"},
  {"seed": 10053, "edge": "537.576293"},
  {"seed": 10054, "edge": "447.789568"},
  {"seed": 10055, "edge": "710.458483"},
  {"seed": 10056, "edge": "583.608766"},
  {"seed": 10057, "edge": "510.699310"},
  {"seed": 10058, "edge": "439.635703"},
  {"seed": 10059, "edge": "508.193779"},
  {"seed": 10060, "edge": "928.138190"},
  {"seed": 10061, "edge": "562.911775"},
  {"seed": 10062, "edge": "609.057353"},
  {"seed": 10063, "edge": "430.625278"},
  {"seed": 10064, "edge": "663.981444"},
  {"seed": 10065, "edge": "585.805482"},
  {"seed": 10066, "edge": "486.807054"},
  {"seed": 10067, "edge": "635.583395"},
  {"seed": 10068, "edge": "503.210014"},
  {"seed": 10069, "edge": "620.805657"},
  {"seed": 10070, "edge": "412.257915"},
  {"seed": 10071, "edge": "436.803521"},
  {"seed": 10072, "edge": "605.417650"},
  {"seed": 10073, "edge": "565.004026"},
  {"seed": 10074, "edge": "531.129686"},
  {"seed": 10075, "edge": "562.624189"},
  {"seed": 10076, "edge": "531.325240"},
  {"seed": 10077, "edge": "429.805374"},
  {"seed": 10078, "edge": "622.005630"},
  {"seed": 10079, "edge": "651.596439"},
  {"seed": 10080, "edge": "486.060513"},
  {"seed": 10081, "edge": "566.250615"},
  {"seed": 10082, "edge": "566.720135"},
  {"seed": 10083, "edge": "465.338179"},
  {"seed": 10084, "edge": "475.967641"},
  {"seed": 10085, "edge": "455.441852"},
  {"seed": 10086, "edge": "572.401256"},
  {"seed": 10087, "edge": "573.508216"},
  {"seed": 10088, "edge": "442.199111"},
  {"seed": 10089, "edge": "414.025846"},
  {"seed": 10090, "edge": "589.369094"},
  {"seed": 10091, "edge": "486.737713"},
  {"seed": 10092, "edge": "557.208322"},
  {"seed": 10093, "edge": "661.550193"},
  {"seed": 10094, "edge": "479.064245"},
  {"seed": 10095, "edge": "598.057045"},
  {"seed": 10096, "edge": "492.117809"},
  {"seed": 10097, "edge": "512.260733"},
  {"seed": 10098, "edge": "503.691117"},
  {"seed": 10099, "edge": "468.644976"},
  {"seed": 10100, "edge": "444.318003"},
  {"seed": 10101, "edge": "535.893307"},
  {"seed": 10102, "edge": "736.283757"},
  {"seed": 10103, "edge": "741.567825"},
  {"seed": 10104, "edge": "705.212638"},
  {"seed": 10105, "edge": "469.269524"},
  {"seed": 10106, "edge": "429.972463"},
  {"seed": 10107, "edge": "490.834376"},
  {"seed": 10108, "edge": "533.695050"},
  {"seed": 10109, "edge": "739.968779"},
  {"seed": 10110, "edge": "573.105695"},
  {"seed": 10111, "edge": "404.706896"},
  {"seed": 10112, "edge": "463.053806"},
  {"seed": 10113, "edge": "436.262876"},
  {"seed": 10114, "edge": "536.528808"},
  {"seed": 10115, "edge": "661.586142"},
  {"seed": 10116, "edge": "523.886515"},
  {"seed": 10117, "edge": "412.341352"},
  {"seed": 10118, "edge": "422.881765"},
  {"seed": 10119, "edge": "416.294877"},
  {"seed": 10120, "edge": "551.195596"},
  {"seed": 10121, "edge": "536.029144"},
  {"seed": 10122, "edge": "585.463714"},
  {"seed": 10123, "edge": "506.792631"},
  {"seed": 10124, "edge": "533.068546"},
  {"seed": 10125, "edge": "457.691300"},
  {"seed": 10126, "edge": "459.502558"},
  {"seed": 10127, "edge": "496.917713"},
  {"seed": 10128, "edge": "734.957262"},
  {"seed": 10129, "edge": "536.806217"},
  {"seed": 10130, "edge": "460.625646"},
  {"seed": 10131, "edge": "497.950373"},
  {"seed": 10132, "edge": "503.297357"},
  {"seed": 10133, "edge": "628.944796"},
  {"seed": 10134, "edge": "535.912889"},
  {"seed": 10135, "edge": "459.780222"},
  {"seed": 10136, "edge": "617.497913"},
  {"seed": 10137, "edge": "621.302003"},
  {"seed": 10138, "edge": "499.367325"},
  {"seed": 10139, "edge": "467.151166"},
  {"seed": 10140, "edge": "553.702154"},
  {"seed": 10141, "edge": "582.287840"},
  {"seed": 10142, "edge": "628.028902"},
  {"seed": 10143, "edge": "469.794955"},
  {"seed": 10144, "edge": "440.540292"},
  {"seed": 10145, "edge": "482.083001"},
  {"seed": 10146, "edge": "759.444449"},
  {"seed": 10147, "edge": "468.851876"},
  {"seed": 10148, "edge": "691.627210"},
  {"seed": 10149, "edge": "526.532808"},
  {"seed": 10150, "edge": "586.753006"},
  {"seed": 10151, "edge": "475.235342"},
  {"seed": 10152, "edge": "416.353307"},
  {"seed": 10153, "edge": "557.748775"},
  {"seed": 10154, "edge": "490.916289"},
  {"seed": 10155, "edge": "477.932134"},
  {"seed": 10156, "edge": "533.322801"},
  {"seed": 10157, "edge": "534.819571"},
  {"seed": 10158, "edge": "436.542840"},
  {"seed": 10159, "edge": "437.489769"},
  {"seed": 10160, "edge": "421.808262"},
  {"seed": 10161, "edge": "457.974991"},
  {"seed": 10162, "edge": "719.302546"},
  {"seed": 10163, "edge": "668.403402"},
  {"seed": 10164, "edge": "683.797965"},
  {"seed": 10165, "edge": "439.719454"},
  {"seed": 10166, "edge": "420.904490"},
  {"seed": 10167, "edge": "494.043305"},
  {"seed": 10168, "edge": "623.375696"},
  {"seed": 10169, "edge": "572.839425"},
  {"seed": 10170, "edge": "389.763255"},
  {"seed": 10171, "edge": "569.498500"},
  {"seed": 10172, "edge": "685.903034"},
  {"seed": 10173, "edge": "398.891656"},
  {"seed": 10174, "edge": "542.563047"},
  {"seed": 10175, "edge": "505.850344"},
  {"seed": 10176, "edge": "445.895647"},
  {"seed": 10177, "edge": "652.751909"},
  {"seed": 10178, "edge": "663.826764"},
  {"seed": 10179, "edge": "380.384848"},
  {"seed": 10180, "edge": "585.493975"},
  {"seed": 10181, "edge": "463.403797"},
  {"seed": 10182, "edge": "575.929253"},
  {"seed": 10183, "edge": "631.518407"},
  {"seed": 10184, "edge": "521.727744"},
  {"seed": 10185, "edge": "541.925166"},
  {"seed": 10186, "edge": "576.076193"},
  {"seed": 10187, "edge": "550.438113"},
  {"seed": 10188, "edge": "532.326586"},
  {"seed": 10189, "edge": "716.912535"},
  {"seed": 10190, "edge": "662.178397"},
  {"seed": 10191, "edge": "663.288758"},
  {"seed": 10192, "edge": "665.684162"},
  {"seed": 10193, "edge": "581.072181"},
  {"seed": 10194, "edge": "511.285854"},
  {"seed": 10195, "edge": "554.321996"},
  {"seed": 10196, "edge": "585.403605"},
  {"seed": 10197, "edge": "441.924544"},
  {"seed": 10198, "edge": "556.613289"},
  {"seed": 10199, "edge": "484.651096"},
  {"seed": 10200, "edge": "560.448452"},
  {"seed": 10201, "edge": "482.316725"},
  {"seed": 10202, "edge": "568.070801"},
  {"seed": 10203, "edge": "617.749406"},
  {"seed": 10204, "edge": "455.512629"},
  {"seed": 10205, "edge": "418.718719"},
  {"seed": 10206, "edge": "523.869239"},
  {"seed": 10207, "edge": "639.069986"},
  {"seed": 10208, "edge": "626.644659"},
  {"seed": 10209, "edge": "551.035780"},
  {"seed": 10210, "edge": "426.076740"},
  {"seed": 10211, "edge": "441.292629"},
  {"seed": 10212, "edge": "629.181140"},
  {"seed": 10213, "edge": "580.991330"},
  {"seed": 10214, "edge": "577.058425"},
  {"seed": 10215, "edge": "457.173848"},
  {"seed": 10216, "edge": "454.041187"},
  {"seed": 10217, "edge": "667.878083"},
  {"seed": 10218, "edge": "631.602007"},
  {"seed": 10219, "edge": "527.341730"},
  {"seed": 10220, "edge": "515.822079"},
  {"seed": 10221, "edge": "536.410478"},
  {"seed": 10222, "edge": "622.903105"},
  {"seed": 10223, "edge": "663.230322"},
  {"seed": 10224, "edge": "436.465807"},
  {"seed": 10225, "edge": "483.981314"},
  {"seed": 10226, "edge": "706.262829"},
  {"seed": 10227, "edge": "446.005577"},
  {"seed": 10228, "edge": "541.241865"},
  {"seed": 10229, "edge": "431.964029"},
  {"seed": 10230, "edge": "631.522514"},
  {"seed": 10231, "edge": "693.121421"},
  {"seed": 10232, "edge": "501.954769"},
  {"seed": 10233, "edge": "448.070330"},
  {"seed": 10234, "edge": "541.322028"},
  {"seed": 10235, "edge": "664.055307"},
  {"seed": 10236, "edge": "443.787854"},
  {"seed": 10237, "edge": "648.585714"},
  {"seed": 10238, "edge": "453.323148"},
  {"seed": 10239, "edge": "600.884771"},
  {"seed": 10240, "edge": "600.720540"},
  {"seed": 10241, "edge": "405.829425"},
  {"seed": 10242, "edge": "424.616430"},
  {"seed": 10243, "edge": "620.264344"},
  {"seed": 10244, "edge": "441.494955"},
  {"seed": 10245, "edge": "600.044340"},
  {"seed": 10246, "edge": "562.870811"},
  {"seed": 10247, "edge": "503.074056"},
  {"seed": 10248, "edge": "499.970700"},
  {"seed": 10249, "edge": "537.801101"},
  {"seed": 10250, "edge": "405.853864"},
  {"seed": 10251, "edge": "387.479593"},
  {"seed": 10252, "edge": "399.252908"},
  {"seed": 10253, "edge": "581.836657"},
  {"seed": 10254, "edge": "499.775472"},
  {"seed": 10255, "edge": "601.847561"},
  {"seed": 10256, "edge": "733.804033"},
  {"seed": 10257, "edge": "458.510426"},
  {"seed": 10258, "edge": "602.996345"},
  {"seed": 10259, "edge": "417.815227"},
  {"seed": 10260, "edge": "649.303690"},
  {"seed": 10261, "edge": "497.604119"},
  {"seed": 10262, "edge": "576.243903"},
  {"seed": 10263, "edge": "518.283162"},
  {"seed": 10264, "edge": "453.372277"},
  {"seed": 10265, "edge": "505.549158"},
  {"seed": 10266, "edge": "428.516123"},
  {"seed": 10267, "edge": "702.281230"},
  {"seed": 10268, "edge": "544.120234"},
  {"seed": 10269, "edge": "572.623102"},
  {"seed": 10270, "edge": "471.474566"},
  {"seed": 10271, "edge": "398.867455"},
  {"seed": 10272, "edge": "733.358347"},
  {"seed": 10273, "edge": "671.268518"},
  {"seed": 10274, "edge": "436.241202"},
  {"seed": 10275, "edge": "486.013712"},
  {"seed": 10276, "edge": "464.069726"},
  {"seed": 10277, "edge": "401.991224"},
  {"seed": 10278, "edge": "655.744804"},
  {"seed": 10279, "edge": "413.268985"},
  {"seed": 10280, "edge": "466.765102"},
  {"seed": 10281, "edge": "635.124650"},
  {"seed": 10282, "edge": "439.046926"},
  {"seed": 10283, "edge": "561.291132"},
  {"seed": 10284, "edge": "472.770443"},
  {"seed": 10285, "edge": "500.370332"},
  {"seed": 10286, "edge": "414.435768"},
  {"seed": 10287, "edge": "696.566763"},
  {"seed": 10288, "edge": "467.973731"},
  {"seed": 10289, "edge": "596.892686"},
  {"seed": 10290, "edge": "478.813623"},
  {"seed": 10291, "edge": "571.253927"},
  {"seed": 10292, "edge": "495.203417"},
  {"seed": 10293, "edge": "642.171899"},
  {"seed": 10294, "edge": "684.805424"},
  {"seed": 10295, "edge": "568.013191"},
  {"seed": 10296, "edge": "401.378677"},
  {"seed": 10297, "edge": "469.470442"},
  {"seed": 10298, "edge": "500.457158"},
  {"seed": 10299, "edge": "562.442101"},
  {"seed": 10300, "edge": "543.324156"},
  {"seed": 10301, "edge": "588.409661"},
  {"seed": 10302, "edge": "409.483119"},
  {"seed": 10303, "edge": "595.706940"},
  {"seed": 10304, "edge": "425.240004"},
  {"seed": 10305, "edge": "393.797209"},
  {"seed": 10306, "edge": "684.677806"},
  {"seed": 10307, "edge": "576.451719"},
  {"seed": 10308, "edge": "530.803663"},
  {"seed": 10309, "edge": "469.476399"},
  {"seed": 10310, "edge": "459.134539"},
  {"seed": 10311, "edge": "550.840331"},
  {"seed": 10312, "edge": "463.857812"},
  {"seed": 10313, "edge": "636.644387"},
  {"seed": 10314, "edge": "413.470757"},
  {"seed": 10315, "edge": "373.855475"},
  {"seed": 10316, "edge": "474.528673"},
  {"seed": 10317, "edge": "603.236813"},
  {"seed": 10318, "edge": "410.042984"},
  {"seed": 10319, "edge": "610.740251"},
  {"seed": 10320, "edge": "501.157625"},
  {"seed": 10321, "edge": "627.077784"},
  {"seed": 10322, "edge": "590.540579"},
  {"seed": 10323, "edge": "452.372477"},
  {"seed": 10324, "edge": "549.787029"},
  {"seed": 10325, "edge": "529.769199"},
  {"seed": 10326, "edge": "399.507445"},
  {"seed": 10327, "edge": "688.547145"},
  {"seed": 10328, "edge": "462.934246"},
  {"seed": 10329, "edge": "580.628550"},
  {"seed": 10330, "edge": "391.655014"},
  {"seed": 10331, "edge": "540.852539"},
  {"seed": 10332, "edge": "525.865403"},
  {"seed": 10333, "edge": "432.908516"},
  {"seed": 10334, "edge": "659.547998"},
  {"seed": 10335, "edge": "723.960643"},
  {"seed": 10336, "edge": "680.724480"},
  {"seed": 10337, "edge": "378.419414"},
  {"seed": 10338, "edge": "521.933672"},
  {"seed": 10339, "edge": "546.458231"},
  {"seed": 10340, "edge": "716.734370"},
  {"seed": 10341, "edge": "538.107230"},
  {"seed": 10342, "edge": "658.506670"},
  {"seed": 10343, "edge": "457.057707"},
  {"seed": 10344, "edge": "544.593190"},
  {"seed": 10345, "edge": "482.388849"},
  {"seed": 10346, "edge": "650.053056"},
  {"seed": 10347, "edge": "429.328924"},
  {"seed": 10348, "edge": "572.997149"},
  {"seed": 10349, "edge": "436.972465"},
  {"seed": 10350, "edge": "591.700454"},
  {"seed": 10351, "edge": "606.312073"},
  {"seed": 10352, "edge": "480.139250"},
  {"seed": 10353, "edge": "659.365693"},
  {"seed": 10354, "edge": "469.805943"},
  {"seed": 10355, "edge": "521.453716"},
  {"seed": 10356, "edge": "523.018953"},
  {"seed": 10357, "edge": "571.965986"},
  {"seed": 10358, "edge": "631.591952"},
  {"seed": 10359, "edge": "665.577010"},
  {"seed": 10360, "edge": "424.542137"},
  {"seed": 10361, "edge": "565.756380"},
  {"seed": 10362, "edge": "491.543451"},
  {"seed": 10363, "edge": "618.370059"},
  {"seed": 10364, "edge": "420.559348"},
  {"seed": 10365, "edge": "535.515735"},
  {"seed": 10366, "edge": "445.100885"},
  {"seed": 10367, "edge": "467.958163"},
  {"seed": 10368, "edge": "459.187682"},
  {"seed": 10369, "edge": "643.872765"},
  {"seed": 10370, "edge": "476.006268"},
  {"seed": 10371, "edge": "433.149661"},
  {"seed": 10372, "edge": "471.525919"},
  {"seed": 10373, "edge": "700.918844"},
  {"seed": 10374, "edge": "400.128837"},
  {"seed": 10375, "edge": "568.230965"},
  {"seed": 10376, "edge": "554.872353"},
  {"seed": 10377, "edge": "558.015512"},
  {"seed": 10378, "edge": "464.662333"},
  {"seed": 10379, "edge": "619.419317"},
  {"seed": 10380, "edge": "619.256878"},
  {"seed": 10381, "edge": "566.370071"},
  {"seed": 10382, "edge": "551.716068"},
  {"seed": 10383, "edge": "612.114513"},
  {"seed": 10384, "edge": "631.718465"},
  {"seed": 10385, "edge": "487.512227"},
  {"seed": 10386, "edge": "600.018979"},
  {"seed": 10387, "edge": "620.460212"},
  {"seed": 10388, "edge": "507.897487"},
  {"seed": 10389, "edge": "641.390117"},
  {"seed": 10390, "edge": "606.144216"},
  {"seed": 10391, "edge": "436.940285"},
  {"seed": 10392, "edge": "492.261795"},
  {"seed": 10393, "edge": "538.798658"},
  {"seed": 10394, "edge": "546.611094"},
  {"seed": 10395, "edge": "657.657468"},
  {"seed": 10396, "edge": "399.510203"},
  {"seed": 10397, "edge": "590.066022"},
  {"seed": 10398, "edge": "516.645456"},
  {"seed": 10399, "edge": "406.227592"},
  {"seed": 10400, "edge": "561.595919"},
  {"seed": 10401, "edge": "927.101626"},
  {"seed": 10402, "edge": "491.177165"},
  {"seed": 10403, "edge": "630.329488"},
  {"seed": 10404, "edge": "571.421996"},
  {"seed": 10405, "edge": "541.867494"},
  {"seed": 10406, "edge": "616.540296"},
  {"seed": 10407, "edge": "510.337683"},
  {"seed": 10408, "edge": "596.260355"},
  {"seed": 10409, "edge": "446.569092"},
  {"seed": 10410, "edge": "542.464996"},
  {"seed": 10411, "edge": "538.614445"},
  {"seed": 10412, "edge": "491.244331"},
  {"seed": 10413, "edge": "666.480843"},
  {"seed": 10414, "edge": "664.618125"},
  {"seed": 10415, "edge": "468.643498"},
  {"seed": 10416, "edge": "472.905753"},
  {"seed": 10417, "edge": "535.247311"},
  {"seed": 10418, "edge": "549.282505"},
  {"seed": 10419, "edge": "568.850019"},
  {"seed": 10420, "edge": "373.691756"},
  {"seed": 10421, "edge": "483.341515"},
  {"seed": 10422, "edge": "586.510758"},
  {"seed": 10423, "edge": "465.208817"},
  {"seed": 10424, "edge": "600.436068"},
  {"seed": 10425, "edge": "540.820604"},
  {"seed": 10426, "edge": "584.222334"},
  {"seed": 10427, "edge": "519.849711"},
  {"seed": 10428, "edge": "557.039939"},
  {"seed": 10429, "edge": "593.186609"},
  {"seed": 10430, "edge": "606.966975"},
  {"seed": 10431, "edge": "479.910665"},
  {"seed": 10432, "edge": "495.525079"},
  {"seed": 10433, "edge": "393.679683"},
  {"seed": 10434, "edge": "650.016051"},
  {"seed": 10435, "edge": "531.070154"},
  {"seed": 10436, "edge": "651.525306"},
  {"seed": 10437, "edge": "619.266841"},
  {"seed": 10438, "edge": "390.761412"},
  {"seed": 10439, "edge": "423.101422"},
  {"seed": 10440, "edge": "478.097135"},
  {"seed": 10441, "edge": "611.452795"},
  {"seed": 10442, "edge": "615.733583"},
  {"seed": 10443, "edge": "454.510552"},
  {"seed": 10444, "edge": "599.842783"},
  {"seed": 10445, "edge": "449.602985"},
  {"seed": 10446, "edge": "398.713042"},
  {"seed": 10447, "edge": "446.362073"},
  {"seed": 10448, "edge": "563.255829"},
  {"seed": 10449, "edge": "654.010377"},
  {"seed": 10450, "edge": "770.148982"},
  {"seed": 10451, "edge": "695.193916"},
  {"seed": 10452, "edge": "553.870708"},
  {"seed": 10453, "edge": "487.915657"},
  {"seed": 10454, "edge": "757.438078"},
  {"seed": 10455, "edge": "679.082409"},
  {"seed": 10456, "edge": "431.151074"},
  {"seed": 10457, "edge": "639.553842"},
  {"seed": 10458, "edge": "448.721165"},
  {"seed": 10459, "edge": "621.047716"},
  {"seed": 10460, "edge": "728.782516"},
  {"seed": 10461, "edge": "488.068661"},
  {"seed": 10462, "edge": "533.979278"},
  {"seed": 10463, "edge": "451.307167"},
  {"seed": 10464, "edge": "675.552300"},
  {"seed": 10465, "edge": "429.298802"},
  {"seed": 10466, "edge": "748.398537"},
  {"seed": 10467, "edge": "594.345048"},
  {"seed": 10468, "edge": "470.373933"},
  {"seed": 10469, "edge": "456.799241"},
  {"seed": 10470, "edge": "449.174093"},
  {"seed": 10471, "edge": "405.593999"},
  {"seed": 10472, "edge": "574.735679"},
  {"seed": 10473, "edge": "655.092916"},
  {"seed": 10474, "edge": "469.846566"},
  {"seed": 10475, "edge": "800.418778"},
  {"seed": 10476, "edge": "573.956846"},
  {"seed": 10477, "edge": "558.230938"},
  {"seed": 10478, "edge": "488.985678"},
  {"seed": 10479, "edge": "538.934812"},
  {"seed": 10480, "edge": "394.666713"},
  {"seed": 10481, "edge": "505.909163"},
  {"seed": 10482, "edge": "604.905404"},
  {"seed": 10483, "edge": "455.620594"},
  {"seed": 10484, "edge": "562.989836"},
  {"seed": 10485, "edge": "531.013940"},
  {"seed": 10486, "edge": "593.244387"},
  {"seed": 10487, "edge": "500.621468"},
  {"seed": 10488, "edge": "599.334934"},
  {"seed": 10489, "edge": "531.047136"},
  {"seed": 10490, "edge": "431.150329"},
  {"seed": 10491, "edge": "534.763000"},
  {"seed": 10492, "edge": "599.417212"},
  {"seed": 10493, "edge": "458.942984"},
  {"seed": 10494, "edge": "395.628886"},
  {"seed": 10495, "edge": "678.671470"},
  {"seed": 10496, "edge": "555.290379"},
  {"seed": 10497, "edge": "418.886143"},
  {"seed": 10498, "edge": "670.937791"},
  {"seed": 10499, "edge": "543.729956"},
  {"seed": 10500, "edge": "525.603005"},
  {"seed": 10501, "edge": "503.564561"},
  {"seed": 10502, "edge": "604.888444"},
  {"seed": 10503, "edge": "613.680165"},
  {"seed": 10504, "edge": "729.768386"},
  {"seed": 10505, "edge": "455.680311"},
  {"seed": 10506, "edge": "559.181447"},
  {"seed": 10507, "edge": "451.727698"},
  {"seed": 10508, "edge": "580.950691"},
  {"seed": 10509, "edge": "469.722030"},
  {"seed": 10510, "edge": "475.169778"},
  {"seed": 10511, "edge": "514.277693"},
  {"seed": 10512, "edge": "660.727235"},
  {"seed": 10513, "edge": "481.211260"},
  {"seed": 10514, "edge": "387.111125"},
  {"seed": 10515, "edge": "476.111978"},
  {"seed": 10516, "edge": "585.876032"},
  {"seed": 10517, "edge": "627.815002"},
  {"seed": 10518, "edge": "495.625068"},
  {"seed": 10519, "edge": "569.502259"},
  {"seed": 10520, "edge": "491.936051"},
  {"seed": 10521, "edge": "499.622952"},
  {"seed": 10522, "edge": "503.539197"},
  {"seed": 10523, "edge": "629.288683"},
  {"seed": 10524, "edge": "526.319809"},
  {"seed": 10525, "edge": "452.424763"},
  {"seed": 10526, "edge": "539.295506"},
  {"seed": 10527, "edge": "525.973715"},
  {"seed": 10528, "edge": "374.038532"},
  {"seed": 10529, "edge": "466.093457"},
  {"seed": 10530, "edge": "606.161486"},
  {"seed": 10531, "edge": "594.397051"},
  {"seed": 10532, "edge": "326.902144"},
  {"seed": 10533, "edge": "440.382585"},
  {"seed": 10534, "edge": "614.666074"},
  {"seed": 10535, "edge": "526.315497"},
  {"seed": 10536, "edge": "503.902051"},
  {"seed": 10537, "edge": "514.613610"},
  {"seed": 10538, "edge": "454.708044"},
  {"seed": 10539, "edge": "501.957627"},
  {"seed": 10540, "edge": "568.159013"},
  {"seed": 10541, "edge": "673.293285"},
  {"seed": 10542, "edge": "624.031606"},
  {"seed": 10543, "edge": "543.354708"},
  {"seed": 10544, "edge": "462.159144"},
  {"seed": 10545, "edge": "546.856281"},
  {"seed": 10546, "edge": "507.772515"},
  {"seed": 10547, "edge": "644.370558"},
  {"seed": 10548, "edge": "542.065309"},
  {"seed": 10549, "edge": "585.786718"},
  {"seed": 10550, "edge": "601.970730"},
  {"seed": 10551, "edge": "593.954878"},
  {"seed": 10552, "edge": "498.265032"},
  {"seed": 10553, "edge": "455.771043"},
  {"seed": 10554, "edge": "482.561482"},
  {"seed": 10555, "edge": "627.764982"},
  {"seed": 10556, "edge": "352.467481"},
  {"seed": 10557, "edge": "530.621233"},
  {"seed": 10558, "edge": "441.482423"},
  {"seed": 10559, "edge": "472.657335"},
  {"seed": 10560, "edge": "522.120927"},
  {"seed": 10561, "edge": "613.770332"},
  {"seed": 10562, "edge": "557.995895"},
  {"seed": 10563, "edge": "448.696820"},
  {"seed": 10564, "edge": "452.275725"},
  {"seed": 10565, "edge": "627.203997"},
  {"seed": 10566, "edge": "427.371317"},
  {"seed": 10567, "edge": "531.199537"},
  {"seed": 10568, "edge": "460.270774"},
  {"seed": 10569, "edge": "557.518265"},
  {"seed": 10570, "edge": "532.651979"},
  {"seed": 10571, "edge": "658.581919"},
  {"seed": 10572, "edge": "515.832960"},
  {"seed": 10573, "edge": "592.567494"},
  {"seed": 10574, "edge": "561.009546"},
  {"seed": 10575, "edge": "537.620789"},
  {"seed": 10576, "edge": "561.964761"},
  {"seed": 10577, "edge": "445.208164"},
  {"seed": 10578, "edge": "643.126282"},
  {"seed": 10579, "edge": "396.878746"},
  {"seed": 10580, "edge": "406.495809"},
  {"seed": 10581, "edge": "460.659325"},
  {"seed": 10582, "edge": "506.463131"},
  {"seed": 10583, "edge": "667.956795"},
  {"seed": 10584, "edge": "500.865799"},
  {"seed": 10585, "edge": "495.491376"},
  {"seed": 10586, "edge": "414.739256"},
  {"seed": 10587, "edge": "386.564522"},
  {"seed": 10588, "edge": "479.760436"},
  {"seed": 10589, "edge": "518.794948"},
  {"seed": 10590, "edge": "538.164780"},
  {"seed": 10591, "edge": "630.619443"},
  {"seed": 10592, "edge": "528.083223"},
  {"seed": 10593, "edge": "418.861137"},
  {"seed": 10594, "edge": "550.338156"},
  {"seed": 10595, "edge": "501.983954"},
  {"seed": 10596, "edge": "596.460941"},
  {"seed": 10597, "edge": "571.029055"},
  {"seed": 10598, "edge": "558.738896"},
  {"seed": 10599, "edge": "444.284941"},
  {"seed": 10600, "edge": "601.108672"},
  {"seed": 10601, "edge": "451.575363"},
  {"seed": 10602, "edge": "633.935624"},
  {"seed": 10603, "edge": "447.081799"},
  {"seed": 10604, "edge": "468.348619"},
  {"seed": 10605, "edge": "562.597035"},
  {"seed": 10606, "edge": "422.852746"},
  {"seed": 10607, "edge": "724.046159"},
  {"seed": 10608, "edge": "698.692789"},
  {"seed": 10609, "edge": "473.418755"},
  {"seed": 10610, "edge": "432.470285"},
  {"seed": 10611, "edge": "455.027298"},
  {"seed": 10612, "edge": "570.078423"},
  {"seed": 10613, "edge": "347.947586"},
  {"seed": 10614, "edge": "607.891655"},
  {"seed": 10615, "edge": "587.344699"},
  {"seed": 10616, "edge": "580.738062"},
  {"seed": 10617, "edge": "644.400552"},
  {"seed": 10618, "edge": "422.747396"},
  {"seed": 10619, "edge": "580.360635"},
  {"seed": 10620, "edge": "432.492637"},
  {"seed": 10621, "edge": "454.034262"},
  {"seed": 10622, "edge": "405.100975"},
  {"seed": 10623, "edge": "421.846773"},
  {"seed": 10624, "edge": "605.671377"},
  {"seed": 10625, "edge": "449.282154"},
  {"seed": 10626, "edge": "565.198804"},
  {"seed": 10627, "edge": "590.937238"},
  {"seed": 10628, "edge": "591.319137"},
  {"seed": 10629, "edge": "538.754730"},
  {"seed": 10630, "edge": "498.812871"},
  {"seed": 10631, "edge": "585.503150"},
  {"seed": 10632, "edge": "693.583090"},
  {"seed": 10633, "edge": "578.090641"},
  {"seed": 10634, "edge": "577.964991"},
  {"seed": 10635, "edge": "490.539981"},
  {"seed": 10636, "edge": "546.011262"},
  {"seed": 10637, "edge": "442.551188"},
  {"seed": 10638, "edge": "767.807868"},
  {"seed": 10639, "edge": "576.404867"},
  {"seed": 10640, "edge": "627.413652"},
  {"seed": 10641, "edge": "625.352176"},
  {"seed": 10642, "edge": "515.618123"},
  {"seed": 10643, "edge": "484.027772"},
  {"seed": 10644, "edge": "540.917370"},
  {"seed": 10645, "edge": "467.251337"},
  {"seed": 10646, "edge": "512.868954"},
  {"seed": 10647, "edge": "690.602269"},
  {"seed": 10648, "edge": "461.138217"},
  {"seed": 10649, "edge": "385.522814"},
  {"seed": 10650, "edge": "574.859605"},
  {"seed": 10651, "edge": "604.334935"},
  {"seed": 10652, "edge": "711.111861"},
  {"seed": 10653, "edge": "531.513927"},
  {"seed": 10654, "edge": "632.581040"},
  {"seed": 10655, "edge": "479.507316"},
  {"seed": 10656, "edge": "637.645186"},
  {"seed": 10657, "edge": "458.588716"},
  {"seed": 10658, "edge": "611.527355"},
  {"seed": 10659, "edge": "708.310029"},
  {"seed": 10660, "edge": "509.210701"},
  {"seed": 10661, "edge": "633.291675"},
  {"seed": 10662, "edge": "555.084718"},
  {"seed": 10663, "edge": "654.200907"},
  {"seed": 10664, "edge": "679.397284"},
  {"seed": 10665, "edge": "455.603932"},
  {"seed": 10666, "edge": "573.281812"},
  {"seed": 10667, "edge": "491.139472"},
  {"seed": 10668, "edge": "617.772192"},
  {"seed": 10669, "edge": "466.614921"},
  {"seed": 10670, "edge": "637.813311"},
  {"seed": 10671, "edge": "598.231636"},
  {"seed": 10672, "edge": "613.244088"},
  {"seed": 10673, "edge": "459.528597"},
  {"seed": 10674, "edge": "504.052498"},
  {"seed": 10675, "edge": "618.928801"},
  {"seed": 10676, "edge": "660.082025"},
  {"seed": 10677, "edge": "526.442271"},
  {"seed": 10678, "edge": "480.175145"},
  {"seed": 10679, "edge": "441.922642"},
  {"seed": 10680, "edge": "422.189842"},
  {"seed": 10681, "edge": "464.800000"},
  {"seed": 10682, "edge": "433.557084"},
  {"seed": 10683, "edge": "544.693362"},
  {"seed": 10684, "edge": "518.709298"},
  {"seed": 10685, "edge": "668.450478"},
  {"seed": 10686, "edge": "653.258128"},
  {"seed": 10687, "edge": "541.267382"},
  {"seed": 10688, "edge": "455.581390"},
  {"seed": 10689, "edge": "593.670708"},
  {"seed": 10690, "edge": "604.921200"},
  {"seed": 10691, "edge": "379.667888"},
  {"seed": 10692, "edge": "574.057065"},
  {"seed": 10693, "edge": "485.481625"},
  {"seed": 10694, "edge": "573.420391"},
  {"seed": 10695, "edge": "687.570509"},
  {"seed": 10696, "edge": "411.498600"},
  {"seed": 10697, "edge": "380.216791"},
  {"seed": 10698, "edge": "515.677732"},
  {"seed": 10699, "edge": "403.279083"},
  {"seed": 10700, "edge": "510.957082"},
  {"seed": 10701, "edge": "580.204172"},
  {"seed": 10702, "edge": "537.155287"},
  {"seed": 10703, "edge": "518.969894"},
  {"seed": 10704, "edge": "555.163683"},
  {"seed": 10705, "edge": "702.548868"},
  {"seed": 10706, "edge": "557.279333"},
  {"seed": 10707, "edge": "561.841624"},
  {"seed": 10708, "edge": "516.365256"},
  {"seed": 10709, "edge": "709.125287"},
  {"seed": 10710, "edge": "443.478504"},
  {"seed": 10711, "edge": "760.115193"},
  {"seed": 10712, "edge": "551.062266"},
  {"seed": 10713, "edge": "365.307645"},
  {"seed": 10714, "edge": "642.586686"},
  {"seed": 10715, "edge": "405.105712"},
  {"seed": 10716, "edge": "490.877754"},
  {"seed": 10717, "edge": "449.088795"},
  {"seed": 10718, "edge": "525.452374"},
  {"seed": 10719, "edge": "351.472236"},
  {"seed": 10720, "edge": "485.928293"},
  {"seed": 10721, "edge": "450.797620"},
  {"seed": 10722, "edge": "521.869532"},
  {"seed": 10723, "edge": "531.482035"},
  {"seed": 10724, "edge": "487.048374"},
  {"seed": 10725, "edge": "445.977544"},
  {"seed": 10726, "edge": "576.753182"},
  {"seed": 10727, "edge": "702.145289"},
  {"seed": 10728, "edge": "458.080969"},
  {"seed": 10729, "edge": "463.976846"},
  {"seed": 10730, "edge": "592.829305"},
  {"seed": 10731, "edge": "405.392672"},
  {"seed": 10732, "edge": "585.074583"},
  {"seed": 10733, "edge": "421.870138"},
  {"seed": 10734, "edge": "452.850815"},
  {"seed": 10735, "edge": "560.924539"},
  {"seed": 10736, "edge": "752.271131"},
  {"seed": 10737, "edge": "436.942612"},
  {"seed": 10738, "edge": "426.569051"},
  {"seed": 10739, "edge": "542.957066"},
  {"seed": 10740, "edge": "525.670997"},
  {"seed": 10741, "edge": "569.047994"},
  {"seed": 10742, "edge": "478.977754"},
  {"seed": 10743, "edge": "416.587709"},
  {"seed": 10744, "edge": "358.237788"},
  {"seed": 10745, "edge": "641.829908"},
  {"seed": 10746, "edge": "501.163959"},
  {"seed": 10747, "edge": "433.230933"},
  {"seed": 10748, "edge": "651.299131"},
  {"seed": 10749, "edge": "615.135385"},
  {"seed": 10750, "edge": "395.023487"},
  {"seed": 10751, "edge": "370.153628"},
  {"seed": 10752, "edge": "484.825155"},
  {"seed": 10753, "edge": "542.694441"},
  {"seed": 10754, "edge": "563.530474"},
  {"seed": 10755, "edge": "434.897131"},
  {"seed": 10756, "edge": "516.765472"},
  {"seed": 10757, "edge": "585.727048"},
  {"seed": 10758, "edge": "472.998043"},
  {"seed": 10759, "edge": "562.083854"},
  {"seed": 10760, "edge": "514.013220"},
  {"seed": 10761, "edge": "745.489497"},
  {"seed": 10762, "edge": "647.830361"},
  {"seed": 10763, "edge": "440.075551"},
  {"seed": 10764, "edge": "659.262131"},
  {"seed": 10765, "edge": "639.171913"},
  {"seed": 10766, "edge": "481.755023"},
  {"seed": 10767, "edge": "511.710287"},
  {"seed": 10768, "edge": "536.048852"},
  {"seed": 10769, "edge": "491.887168"},
  {"seed": 10770, "edge": "385.238387"},
  {"seed": 10771, "edge": "465.647364"},
  {"seed": 10772, "edge": "679.283151"},
  {"seed": 10773, "edge": "487.570491"},
  {"seed": 10774, "edge": "432.187416"},
  {"seed": 10775, "edge": "649.745842"},
  {"seed": 10776, "edge": "412.352500"},
  {"seed": 10777, "edge": "434.044733"},
  {"seed": 10778, "edge": "437.750828"},
  {"seed": 10779, "edge": "527.437198"},
  {"seed": 10780, "edge": "484.385819"},
  {"seed": 10781, "edge": "467.034089"},
  {"seed": 10782, "edge": "444.461448"},
  {"seed": 10783, "edge": "510.012241"},
  {"seed": 10784, "edge": "422.143258"},
  {"seed": 10785, "edge": "487.733341"},
  {"seed": 10786, "edge": "400.905407"},
  {"seed": 10787, "edge": "483.862203"},
  {"seed": 10788, "edge": "430.015375"},
  {"seed": 10789, "edge": "520.727513"},
  {"seed": 10790, "edge": "424.733472"},
  {"seed": 10791, "edge": "720.016674"},
  {"seed": 10792, "edge": "584.795633"},
  {"seed": 10793, "edge": "597.637761"},
  {"seed": 10794, "edge": "521.408238"},
  {"seed": 10795, "edge": "623.326833"},
  {"seed": 10796, "edge": "493.269986"},
  {"seed": 10797, "edge": "590.159901"},
  {"seed": 10798, "edge": "432.799446"},
  {"seed": 10799, "edge": "482.800995"},
  {"seed": 10800, "edge": "429.443946"},
  {"seed": 10801, "edge": "492.307619"},
  {"seed": 10802, "edge": "532.436901"},
  {"seed": 10803, "edge": "666.584898"},
  {"seed": 10804, "edge": "549.875772"},
  {"seed": 10805, "edge": "417.749834"},
  {"seed": 10806, "edge": "449.467255"},
  {"seed": 10807, "edge": "380.165825"},
  {"seed": 10808, "edge": "501.706695"},
  {"seed": 10809, "edge": "531.894240"},
  {"seed": 10810, "edge": "735.619430"},
  {"seed": 10811, "edge": "446.620472"},
  {"seed": 10812, "edge": "386.744285"},
  {"seed": 10813, "edge": "571.785274"},
  {"seed": 10814, "edge": "681.031436"},
  {"seed": 10815, "edge": "429.597957"},
  {"seed": 10816, "edge": "643.754664"},
  {"seed": 10817, "edge": "339.107469"},
  {"seed": 10818, "edge": "505.580549"},
  {"seed": 10819, "edge": "530.915908"},
  {"seed": 10820, "edge": "514.872941"},
  {"seed": 10821, "edge": "476.142776"},
  {"seed": 10822, "edge": "761.995603"},
  {"seed": 10823, "edge": "431.878121"},
  {"seed": 10824, "edge": "557.541033"},
  {"seed": 10825, "edge": "583.269266"},
  {"seed": 10826, "edge": "592.900569"},
  {"seed": 10827, "edge": "398.545684"},
  {"seed": 10828, "edge": "575.237354"},
  {"seed": 10829, "edge": "502.439842"},
  {"seed": 10830, "edge": "540.217137"},
  {"seed": 10831, "edge": "464.126543"},
  {"seed": 10832, "edge": "533.131420"},
  {"seed": 10833, "edge": "635.290682"},
  {"seed": 10834, "edge": "476.919847"},
  {"seed": 10835, "edge": "496.273746"},
  {"seed": 10836, "edge": "614.668811"},
  {"seed": 10837, "edge": "509.046177"},
  {"seed": 10838, "edge": "549.771456"},
  {"seed": 10839, "edge": "574.206519"},
  {"seed": 10840, "edge": "462.636571"},
  {"seed": 10841, "edge": "567.490270"},
  {"seed": 10842, "edge": "649.480089"},
  {"seed": 10843, "edge": "522.095777"},
  {"seed": 10844, "edge": "401.873368"},
  {"seed": 10845, "edge": "627.938821"},
  {"seed": 10846, "edge": "413.552964"},
  {"seed": 10847, "edge": "526.783126"},
  {"seed": 10848, "edge": "533.700655"},
  {"seed": 10849, "edge": "634.148872"},
  {"seed": 10850, "edge": "562.038315"},
  {"seed": 10851, "edge": "379.029118"},
  {"seed": 10852, "edge": "806.963340"},
  {"seed": 10853, "edge": "358.381959"},
  {"seed": 10854, "edge": "338.556972"},
  {"seed": 10855, "edge": "393.137070"},
  {"seed": 10856, "edge": "497.013766"},
  {"seed": 10857, "edge": "482.324669"},
  {"seed": 10858, "edge": "608.967542"},
  {"seed": 10859, "edge": "466.747905"},
  {"seed": 10860, "edge": "568.549907"},
  {"seed": 10861, "edge": "434.282496"},
  {"seed": 10862, "edge": "562.453536"},
  {"seed": 10863, "edge": "515.568546"},
  {"seed": 10864, "edge": "508.023244"},
  {"seed": 10865, "edge": "542.938798"},
  {"seed": 10866, "edge": "443.158697"},
  {"seed": 10867, "edge": "477.897340"},
  {"seed": 10868, "edge": "589.697740"},
  {"seed": 10869, "edge": "572.872842"},
  {"seed": 10870, "edge": "546.721800"},
  {"seed": 10871, "edge": "446.198642"},
  {"seed": 10872, "edge": "456.941207"},
  {"seed": 10873, "edge": "492.868987"},
  {"seed": 10874, "edge": "399.820929"},
  {"seed": 10875, "edge": "407.565396"},
  {"seed": 10876, "edge": "518.582284"},
  {"seed": 10877, "edge": "706.301118"},
  {"seed": 10878, "edge": "497.223734"},
  {"seed": 10879, "edge": "801.674413"},
  {"seed": 10880, "edge": "501.208455"},
  {"seed": 10881, "edge": "373.196675"},
  {"seed": 10882, "edge": "489.822420"},
  {"seed": 10883, "edge": "709.233137"},
  {"seed": 10884, "edge": "528.320003"},
  {"seed": 10885, "edge": "624.038869"},
  {"seed": 10886, "edge": "557.760389"},
  {"seed": 10887, "edge": "339.797057"},
  {"seed": 10888, "edge": "382.507082"},
  {"seed": 10889, "edge": "447.386135"},
  {"seed": 10890, "edge": "672.380213"},
  {"seed": 10891, "edge": "402.679547"},
  {"seed": 10892, "edge": "466.010074"},
  {"seed": 10893, "edge": "512.821376"},
  {"seed": 10894, "edge": "632.569752"},
  {"seed": 10895, "edge": "572.130864"},
  {"seed": 10896, "edge": "480.276159"},
  {"seed": 10897, "edge": "585.455969"},
  {"seed": 10898, "edge": "484.628114"},
  {"seed": 10899, "edge": "449.108234"},
  {"seed": 10900, "edge": "518.801185"},
  {"seed": 10901, "edge": "526.828997"},
  {"seed": 10902, "edge": "575.438086"},
  {"seed": 10903, "edge": "724.262125"},
  {"seed": 10904, "edge": "399.005449"},
  {"seed": 10905, "edge": "391.804214"},
  {"seed": 10906, "edge": "570.635213"},
  {"seed": 10907, "edge": "427.271433"},
  {"seed": 10908, "edge": "477.358976"},
  {"seed": 10909, "edge": "652.913704"},
  {"seed": 10910, "edge": "453.165065"},
  {"seed": 10911, "edge": "643.691584"},
  {"seed": 10912, "edge": "377.638899"},
  {"seed": 10913, "edge": "492.799423"},
  {"seed": 10914, "edge": "577.294840"},
  {"seed": 10915, "edge": "631.418140"},
  {"seed": 10916, "edge": "468.883115"},
  {"seed": 10917, "edge": "414.088629"},
  {"seed": 10918, "edge": "384.022278"},
  {"seed": 10919, "edge": "628.862889"},
  {"seed": 10920, "edge": "734.837104"},
  {"seed": 10921, "edge": "512.617242"},
  {"seed": 10922, "edge": "652.533831"},
  {"seed": 10923, "edge": "490.576319"},
  {"seed": 10924, "edge": "414.097409"},
  {"seed": 10925, "edge": "550.194934"},
  {"seed": 10926, "edge": "373.756728"},
  {"seed": 10927, "edge": "498.005710"},
  {"seed": 10928, "edge": "394.259671"},
  {"seed": 10929, "edge": "546.030548"},
  {"seed": 10930, "edge": "754.492723"},
  {"seed": 10931, "edge": "406.344475"},
  {"seed": 10932, "edge": "518.422055"},
  {"seed": 10933, "edge": "620.913286"},
  {"seed": 10934, "edge": "580.640248"},
  {"seed": 10935, "edge": "495.440505"},
  {"seed": 10936, "edge": "588.948691"},
  {"seed": 10937, "edge": "418.452909"},
  {"seed": 10938, "edge": "495.931009"},
  {"seed": 10939, "edge": "403.582516"},
  {"seed": 10940, "edge": "516.706424"},
  {"seed": 10941, "edge": "572.786057"},
  {"seed": 10942, "edge": "1044.521832"},
  {"seed": 10943, "edge": "632.317289"},
  {"seed": 10944, "edge": "509.479360"},
  {"seed": 10945, "edge": "483.877487"},
  {"seed": 10946, "edge": "559.806947"},
  {"seed": 10947, "edge": "534.866610"},
  {"seed": 10948, "edge": "532.402937"},
  {"seed": 10949, "edge": "558.228967"},
  {"seed": 10950, "edge": "414.717194"},
  {"seed": 10951, "edge": "417.883859"},
  {"seed": 10952, "edge": "443.431311"},
  {"seed": 10953, "edge": "441.903607"},
  {"seed": 10954, "edge": "553.341306"},
  {"seed": 10955, "edge": "646.261173"},
  {"seed": 10956, "edge": "499.812732"},
  {"seed": 10957, "edge": "466.181419"},
  {"seed": 10958, "edge": "669.715062"},
  {"seed": 10959, "edge": "561.661013"},
  {"seed": 10960, "edge": "692.585231"},
  {"seed": 10961, "edge": "556.401190"},
  {"seed": 10962, "edge": "499.351524"},
  {"seed": 10963, "edge": "578.579988"},
  {"seed": 10964, "edge": "509.393831"},
  {"seed": 10965, "edge": "528.448081"},
  {"seed": 10966, "edge": "532.782387"},
  {"seed": 10967, "edge": "467.331232"},
  {"seed": 10968, "edge": "673.505025"},
  {"seed": 10969, "edge": "492.269080"},
  {"seed": 10970, "edge": "411.489548"},
  {"seed": 10971, "edge": "659.824573"},
  {"seed": 10972, "edge": "625.293425"},
  {"seed": 10973, "edge": "697.616331"},
  {"seed": 10974, "edge": "436.811953"},
  {"seed": 10975, "edge": "477.506136"},
  {"seed": 10976, "edge": "361.933224"},
  {"seed": 10977, "edge": "666.817612"},
  {"seed": 10978, "edge": "416.207445"},
  {"seed": 10979, "edge": "569.565965"},
  {"seed": 10980, "edge": "686.727061"},
  {"seed": 10981, "edge": "599.687930"},
  {"seed": 10982, "edge": "691.991780"},
  {"seed": 10983, "edge": "439.186756"},
  {"seed": 10984, "edge": "421.321783"},
  {"seed": 10985, "edge": "524.733233"},
  {"seed": 10986, "edge": "527.906182"},
  {"seed": 10987, "edge": "653.347808"},
  {"seed": 10988, "edge": "669.760731"},
  {"seed": 10989, "edge": "561.241353"},
  {"seed": 10990, "edge": "675.138995"},
  {"seed": 10991, "edge": "570.166701"},
  {"seed": 10992, "edge": "351.281366"},
  {"seed": 10993, "edge": "566.238497"},
  {"seed": 10994, "edge": "554.631316"},
  {"seed": 10995, "edge": "606.606100"},
  {"seed": 10996, "edge": "563.615014"},
  {"seed": 10997, "edge": "473.871632"},
  {"seed": 10998, "edge": "634.305947"},
  {"seed": 10999, "edge": "350.976705"},
  {"seed": 11000, "edge": "470.873054"},
  {"seed": 11001, "edge": "551.289882"},
  {"seed": 11002, "edge": "423.309906"},
  {"seed": 11003, "edge": "507.575828"},
  {"seed": 11004, "edge": "614.903184"},
  {"seed": 11005, "edge": "595.749491"},
  {"seed": 11006, "edge": "563.033124"},
  {"seed": 11007, "edge": "471.352483"},
  {"seed": 11008, "edge": "654.850421"},
  {"seed": 11009, "edge": "430.019472"},
  {"seed": 11010, "edge": "592.678590"},
  {"seed": 11011, "edge": "410.938936"},
  {"seed": 11012, "edge": "486.897942"},
  {"seed": 11013, "edge": "570.839969"},
  {"seed": 11014, "edge": "718.911626"},
  {"seed": 11015, "edge": "519.329889"},
  {"seed": 11016, "edge": "379.282262"},
  {"seed": 11017, "edge": "576.730683"},
  {"seed": 11018, "edge": "571.009430"},
  {"seed": 11019, "edge": "731.012949"},
  {"seed": 11020, "edge": "483.980184"},
  {"seed": 11021, "edge": "625.651989"},
  {"seed": 11022, "edge": "695.520970"},
  {"seed": 11023, "edge": "511.262415"},
  {"seed": 11024, "edge": "486.243393"},
  {"seed": 11025, "edge": "813.461766"},
  {"seed": 11026, "edge": "427.923813"},
  {"seed": 11027, "edge": "622.058693"},
  {"seed": 11028, "edge": "598.273833"},
  {"seed": 11029, "edge": "474.862410"},
  {"seed": 11030, "edge": "714.000532"},
  {"seed": 11031, "edge": "575.256428"},
  {"seed": 11032, "edge": "422.282227"},
  {"seed": 11033, "edge": "509.920182"},
  {"seed": 11034, "edge": "635.633758"},
  {"seed": 11035, "edge": "705.904129"},
  {"seed": 11036, "edge": "454.395657"},
  {"seed": 11037, "edge": "490.565537"},
  {"seed": 11038, "edge": "579.591205"},
  {"seed": 11039, "edge": "535.142745"},
  {"seed": 11040, "edge": "402.788347"},
  {"seed": 11041, "edge": "456.458095"},
  {"seed": 11042, "edge": "738.945070"},
  {"seed": 11043, "edge": "386.187176"},
  {"seed": 11044, "edge": "600.088524"},
  {"seed": 11045, "edge": "611.057091"},
  {"seed": 11046, "edge": "595.299915"},
  {"seed": 11047, "edge": "482.061026"},
  {"seed": 11048, "edge": "506.178179"},
  {"seed": 11049, "edge": "592.284917"},
  {"seed": 11050, "edge": "549.286907"},
  {"seed": 11051, "edge": "571.852159"},
  {"seed": 11052, "edge": "444.979040"},
  {"seed": 11053, "edge": "710.503931"},
  {"seed": 11054, "edge": "582.568834"},
  {"seed": 11055, "edge": "613.766977"},
  {"seed": 11056, "edge": "548.860069"},
  {"seed": 11057, "edge": "654.652380"},
  {"seed": 11058, "edge": "442.302405"},
  {"seed": 11059, "edge": "674.719072"},
  {"seed": 11060, "edge": "566.743439"},
  {"seed": 11061, "edge": "676.357042"},
  {"seed": 11062, "edge": "713.131424"},
  {"seed": 11063, "edge": "505.874415"},
  {"seed": 11064, "edge": "560.247475"},
  {"seed": 11065, "edge": "607.049507"},
  {"seed": 11066, "edge": "544.117560"},
  {"seed": 11067, "edge": "448.262142"},
  {"seed": 11068, "edge": "438.968891"},
  {"seed": 11069, "edge": "497.505771"},
  {"seed": 11070, "edge": "478.680682"},
  {"seed": 11071, "edge": "647.534758"},
  {"seed": 11072, "edge": "510.322134"},
  {"seed": 11073, "edge": "710.877472"},
  {"seed": 11074, "edge": "539.662002"},
  {"seed": 11075, "edge": "414.590544"},
  {"seed": 11076, "edge": "729.229414"},
  {"seed": 11077, "edge": "815.229415"},
  {"seed": 11078, "edge": "546.082412"},
  {"seed": 11079, "edge": "426.656854"},
  {"seed": 11080, "edge": "445.569163"},
  {"seed": 11081, "edge": "438.489902"},
  {"seed": 11082, "edge": "612.640346"},
  {"seed": 11083, "edge": "595.231828"},
  {"seed": 11084, "edge": "481.546960"},
  {"seed": 11085, "edge": "550.199209"},
  {"seed": 11086, "edge": "631.256111"},
  {"seed": 11087, "edge": "537.673653"},
  {"seed": 11088, "edge": "512.957801"},
  {"seed": 11089, "edge": "693.927803"},
  {"seed": 11090, "edge": "465.034897"},
  {"seed": 11091, "edge": "577.007761"},
  {"seed": 11092, "edge": "469.883552"},
  {"seed": 11093, "edge": "420.361392"},
  {"seed": 11094, "edge": "602.966850"},
  {"seed": 11095, "edge": "611.422742"},
  {"seed": 11096, "edge": "460.650284"},
  {"seed": 11097, "edge": "508.055037"},
  {"seed": 11098, "edge": "690.722895"},
  {"seed": 11099, "edge": "460.143461"},
  {"seed": 11100, "edge": "506.898911"},
  {"seed": 11101, "edge": "403.206377"},
  {"seed": 11102, "edge": "533.607289"},
  {"seed": 11103, "edge": "446.514817"},
  {"seed": 11104, "edge": "653.965861"},
  {"seed": 11105, "edge": "430.111508"},
  {"seed": 11106, "edge": "446.489620"},
  {"seed": 11107, "edge": "396.582222"},
  {"seed": 11108, "edge": "645.722237"},
  {"seed": 11109, "edge": "516.169807"},
  {"seed": 11110, "edge": "566.845543"},
  {"seed": 11111, "edge": "459.768921"},
  {"seed": 11112, "edge": "492.941692"},
  {"seed": 11113, "edge": "703.982243"},
  {"seed": 11114, "edge": "645.181770"},
  {"seed": 11115, "edge": "581.758517"},
  {"seed": 11116, "edge": "612.063755"},
  {"seed": 11117, "edge": "549.375630"},
  {"seed": 11118, "edge": "512.590247"},
  {"seed": 11119, "edge": "471.842025"},
  {"seed": 11120, "edge": "582.876224"},
  {"seed": 11121, "edge": "567.246224"},
  {"seed": 11122, "edge": "684.678990"},
  {"seed": 11123, "edge": "715.342630"},
  {"seed": 11124, "edge": "389.038859"},
  {"seed": 11125, "edge": "414.909797"},
  {"seed": 11126, "edge": "578.322962"},
  {"seed": 11127, "edge": "537.974287"},
  {"seed": 11128, "edge": "447.424959"},
  {"seed": 11129, "edge": "520.527914"},
  {"seed": 11130, "edge": "451.981959"},
  {"seed": 11131, "edge": "671.856195"},
  {"seed": 11132, "edge": "613.336966"},
  {"seed": 11133, "edge": "599.597057"},
  {"seed": 11134, "edge": "493.409563"},
  {"seed": 11135, "edge": "555.255203"},
  {"seed": 11136, "edge": "488.112079"},
  {"seed": 11137, "edge": "646.389708"},
  {"seed": 11138, "edge": "666.648116"},
  {"seed": 11139, "edge": "357.606101"},
  {"seed": 11140, "edge": "452.972159"},
  {"seed": 11141, "edge": "571.507881"},
  {"seed": 11142, "edge": "343.273821"},
  {"seed": 11143, "edge": "464.611352"},
  {"seed": 11144, "edge": "580.787263"},
  {"seed": 11145, "edge": "484.880640"},
  {"seed": 11146, "edge": "480.683706"},
  {"seed": 11147, "edge": "388.498081"},
  {"seed": 11148, "edge": "512.337843"},
  {"seed": 11149, "edge": "585.372796"},
  {"seed": 11150, "edge": "334.027996"},
  {"seed": 11151, "edge": "568.614170"},
  {"seed": 11152, "edge": "513.746253"},
  {"seed": 11153, "edge": "377.140953"},
  {"seed": 11154, "edge": "444.763488"},
  {"seed": 11155, "edge": "372.550989"},
  {"seed": 11156, "edge": "454.074943"},
  {"seed": 11157, "edge": "511.386287"},
  {"seed": 11158, "edge": "426.386301"},
  {"seed": 11159, "edge": "595.315234"},
  {"seed": 11160, "edge": "425.955766"},
  {"seed": 11161, "edge": "599.395659"},
  {"seed": 11162, "edge": "506.592663"},
  {"seed": 11163, "edge": "657.677127"},
  {"seed": 11164, "edge": "541.912606"},
  {"seed": 11165, "edge": "632.504106"},
  {"seed": 11166, "edge": "548.428358"},
  {"seed": 11167, "edge": "562.706667"},
  {"seed": 11168, "edge": "529.535002"},
  {"seed": 11169, "edge": "594.306942"},
  {"seed": 11170, "edge": "553.283767"},
  {"seed": 11171, "edge": "513.416975"},
  {"seed": 11172, "edge": "438.565985"},
  {"seed": 11173, "edge": "479.232539"},
  {"seed": 11174, "edge": "634.043749"},
  {"seed": 11175, "edge": "397.249950"},
  {"seed": 11176, "edge": "773.925422"},
  {"seed": 11177, "edge": "480.949337"},
  {"seed": 11178, "edge": "461.659068"},
  {"seed": 11179, "edge": "536.423458"},
  {"seed": 11180, "edge": "419.448324"},
  {"seed": 11181, "edge": "440.090263"},
  {"seed": 11182, "edge": "482.001880"},
  {"seed": 11183, "edge": "400.267997"},
  {"seed": 11184, "edge": "699.214940"},
  {"seed": 11185, "edge": "597.261408"},
  {"seed": 11186, "edge": "540.141179"},
  {"seed": 11187, "edge": "586.234239"},
  {"seed": 11188, "edge": "623.710350"},
  {"seed": 11189, "edge": "416.949733"},
  {"seed": 11190, "edge": "477.326597"},
  {"seed": 11191, "edge": "728.252922"},
  {"seed": 11192, "edge": "537.637436"},
  {"seed": 11193, "edge": "563.210814"},
  {"seed": 11194, "edge": "493.078523"},
  {"seed": 11195, "edge": "532.403551"},
  {"seed": 11196, "edge": "628.315622"},
  {"seed": 11197, "edge": "508.628605"},
  {"seed": 11198, "edge": "646.948832"},
  {"seed": 11199, "edge": "509.408029"},
  {"seed": 11200, "edge": "574.460240"},
  {"seed": 11201, "edge": "532.782018"},
  {"seed": 11202, "edge": "608.543322"},
  {"seed": 11203, "edge": "558.422792"},
  {"seed": 11204, "edge": "535.133786"},
  {"seed": 11205, "edge": "610.567632"},
  {"seed": 11206, "edge": "517.844395"},
  {"seed": 11207, "edge": "601.088954"},
  {"seed": 11208, "edge": "464.851007"},
  {"seed": 11209, "edge": "710.773921"},
  {"seed": 11210, "edge": "554.578415"},
  {"seed": 11211, "edge": "616.445902"},
  {"seed": 11212, "edge": "426.030895"},
  {"seed": 11213, "edge": "610.277346"},
  {"seed": 11214, "edge": "546.429970"},
  {"seed": 11215, "edge": "442.404707"},
  {"seed": 11216, "edge": "402.985517"},
  {"seed": 11217, "edge": "597.537049"},
  {"seed": 11218, "edge": "703.674480"},
  {"seed": 11219, "edge": "504.188544"},
  {"seed": 11220, "edge": "476.083737"},
  {"seed": 11221, "edge": "517.379376"},
  {"seed": 11222, "edge": "596.914674"},
  {"seed": 11223, "edge": "530.496540"},
  {"seed": 11224, "edge": "695.654342"},
  {"seed": 11225, "edge": "711.028078"},
  {"seed": 11226, "edge": "720.786220"},
  {"seed": 11227, "edge": "441.132943"},
  {"seed": 11228, "edge": "495.121661"},
  {"seed": 11229, "edge": "648.869072"},
  {"seed": 11230, "edge": "403.874824"},
  {"seed": 11231, "edge": "537.705005"},
  {"seed": 11232, "edge": "647.302954"},
  {"seed": 11233, "edge": "568.406234"},
  {"seed": 11234, "edge": "621.239480"},
  {"seed": 11235, "edge": "498.917080"},
  {"seed": 11236, "edge": "600.031067"},
  {"seed": 11237, "edge": "524.067441"},
  {"seed": 11238, "edge": "364.651310"},
  {"seed": 11239, "edge": "570.605845"},
  {"seed": 11240, "edge": "493.349186"},
  {"seed": 11241, "edge": "541.036698"},
  {"seed": 11242, "edge": "562.129183"},
  {"seed": 11243, "edge": "535.862405"},
  {"seed": 11244, "edge": "521.308119"},
  {"seed": 11245, "edge": "631.100859"},
  {"seed": 11246, "edge": "557.047300"},
  {"seed": 11247, "edge": "534.411189"},
  {"seed": 11248, "edge": "591.253532"},
  {"seed": 11249, "edge": "534.707843"},
  {"seed": 11250, "edge": "469.702358"},
  {"seed": 11251, "edge": "427.660407"},
  {"seed": 11252, "edge": "627.658710"},
  {"seed": 11253, "edge": "621.441980"},
  {"seed": 11254, "edge": "624.943873"},
  {"seed": 11255, "edge": "506.810804"},
  {"seed": 11256, "edge": "704.765673"},
  {"seed": 11257, "edge": "404.028846"},
  {"seed": 11258, "edge": "567.057949"},
  {"seed": 11259, "edge": "417.461884"},
  {"seed": 11260, "edge": "551.420078"},
  {"seed": 11261, "edge": "414.856896"},
  {"seed": 11262, "edge": "492.380951"},
  {"seed": 11263, "edge": "491.513559"},
  {"seed": 11264, "edge": "379.867485"},
  {"seed": 11265, "edge": "419.467884"},
  {"seed": 11266, "edge": "786.097313"},
  {"seed": 11267, "edge": "577.027996"},
  {"seed": 11268, "edge": "414.425542"},
  {"seed": 11269, "edge": "364.303353"},
  {"seed": 11270, "edge": "474.698233"},
  {"seed": 11271, "edge": "473.890917"},
  {"seed": 11272, "edge": "588.069690"},
  {"seed": 11273, "edge": "527.967237"},
  {"seed": 11274, "edge": "586.856212"},
  {"seed": 11275, "edge": "423.387992"},
  {"seed": 11276, "edge": "477.096638"},
  {"seed": 11277, "edge": "722.118668"},
  {"seed": 11278, "edge": "566.262354"},
  {"seed": 11279, "edge": "453.627257"},
  {"seed": 11280, "edge": "611.129747"},
  {"seed": 11281, "edge": "567.533175"},
  {"seed": 11282, "edge": "490.073222"},
  {"seed": 11283, "edge": "467.213825"},
  {"seed": 11284, "edge": "666.116373"},
  {"seed": 11285, "edge": "657.947612"},
  {"seed": 11286, "edge": "508.988307"},
  {"seed": 11287, "edge": "542.592558"},
  {"seed": 11288, "edge": "539.762650"},
  {"seed": 11289, "edge": "497.678230"},
  {"seed": 11290, "edge": "557.608619"},
  {"seed": 11291, "edge": "422.085487"},
  {"seed": 11292, "edge": "593.839699"},
  {"seed": 11293, "edge": "433.096134"},
  {"seed": 11294, "edge": "398.985030"},
  {"seed": 11295, "edge": "405.137259"},
  {"seed": 11296, "edge": "628.664960"},
  {"seed": 11297, "edge": "515.999391"},
  {"seed": 11298, "edge": "585.509383"},
  {"seed": 11299, "edge": "493.873151"},
  {"seed": 11300, "edge": "653.690224"},
  {"seed": 11301, "edge": "511.269944"},
  {"seed": 11302, "edge": "557.522893"},
  {"seed": 11303, "edge": "664.178188"},
  {"seed": 11304, "edge": "418.444909"},
  {"seed": 11305, "edge": "629.418272"},
  {"seed": 11306, "edge": "377.911712"},
  {"seed": 11307, "edge": "435.173237"},
  {"seed": 11308, "edge": "415.720793"},
  {"seed": 11309, "edge": "473.818548"},
  {"seed": 11310, "edge": "541.205822"},
  {"seed": 11311, "edge": "576.008936"},
  {"seed": 11312, "edge": "480.228486"},
  {"seed": 11313, "edge": "614.419614"},
  {"seed": 11314, "edge": "463.362064"},
  {"seed": 11315, "edge": "629.230509"},
  {"seed": 11316, "edge": "474.381872"},
  {"seed": 11317, "edge": "515.082151"},
  {"seed": 11318, "edge": "642.694133"},
  {"seed": 11319, "edge": "581.324570"},
  {"seed": 11320, "edge": "431.848098"},
  {"seed": 11321, "edge": "525.336106"},
  {"seed": 11322, "edge": "629.092625"},
  {"seed": 11323, "edge": "691.763747"},
  {"seed": 11324, "edge": "448.786318"},
  {"seed": 11325, "edge": "627.722209"},
  {"seed": 11326, "edge": "521.311484"},
  {"seed": 11327, "edge": "543.521762"},
  {"seed": 11328, "edge": "377.982849"},
  {"seed": 11329, "edge": "608.242223"},
  {"seed": 11330, "edge": "561.581296"},
  {"seed": 11331, "edge": "393.031823"},
  {"seed": 11332, "edge": "594.229066"},
  {"seed": 11333, "edge": "648.393932"},
  {"seed": 11334, "edge": "550.078575"},
  {"seed": 11335, "edge": "498.682518"},
  {"seed": 11336, "edge": "533.987581"},
  {"seed": 11337, "edge": "498.612473"},
  {"seed": 11338, "edge": "557.613654"},
  {"seed": 11339, "edge": "415.534863"},
  {"seed": 11340, "edge": "385.573912"},
  {"seed": 11341, "edge": "534.781333"},
  {"seed": 11342, "edge": "525.697197"},
  {"seed": 11343, "edge": "590.614116"},
  {"seed": 11344, "edge": "541.521066"},
  {"seed": 11345, "edge": "632.696624"},
  {"seed": 11346, "edge": "575.233538"},
  {"seed": 11347, "edge": "638.878997"},
  {"seed": 11348, "edge": "441.570840"},
  {"seed": 11349, "edge": "497.585434"},
  {"seed": 11350, "edge": "691.024103"},
  {"seed": 11351, "edge": "445.999386"},
  {"seed": 11352, "edge": "463.200821"},
  {"seed": 11353, "edge": "589.534638"},
  {"seed": 11354, "edge": "628.304150"},
  {"seed": 11355, "edge": "551.675293"},
  {"seed": 11356, "edge": "555.399704"},
  {"seed": 11357, "edge": "534.240325"},
  {"seed": 11358, "edge": "577.740560"},
  {"seed": 11359, "edge": "699.967784"},
  {"seed": 11360, "edge": "653.412029"},
  {"seed": 11361, "edge": "430.783053"},
  {"seed": 11362, "edge": "606.337577"},
  {"seed": 11363, "edge": "394.907043"},
  {"seed": 11364, "edge": "476.194101"},
  {"seed": 11365, "edge": "513.678465"},
  {"seed": 11366, "edge": "637.020191"},
  {"seed": 11367, "edge": "490.146630"},
  {"seed": 11368, "edge": "625.075016"},
  {"seed": 11369, "edge": "451.458470"},
  {"seed": 11370, "edge": "555.742612"},
  {"seed": 11371, "edge": "546.380859"},
  {"seed": 11372, "edge": "366.403178"},
  {"seed": 11373, "edge": "584.683499"},
  {"seed": 11374, "edge": "577.202165"},
  {"seed": 11375, "edge": "456.100275"},
  {"seed": 11376, "edge": "556.143293"},
  {"seed": 11377, "edge": "504.783360"},
  {"seed": 11378, "edge": "598.864976"},
  {"seed": 11379, "edge": "539.838914"},
  {"seed": 11380, "edge": "809.450256"},
  {"seed": 11381, "edge": "445.739604"},
  {"seed": 11382, "edge": "455.511267"},
  {"seed": 11383, "edge": "685.813483"},
  {"seed": 11384, "edge": "508.453771"},
  {"seed": 11385, "edge": "486.835511"},
  {"seed": 11386, "edge": "516.270453"},
  {"seed": 11387, "edge": "797.054413"},
  {"seed": 11388, "edge": "646.401105"},
  {"seed": 11389, "edge": "334.567037"},
  {"seed": 11390, "edge": "698.047205"},
  {"seed": 11391, "edge": "362.421411"},
  {"seed": 11392, "edge": "595.384313"},
  {"seed": 11393, "edge": "471.072058"},
  {"seed": 11394, "edge": "419.486582"},
  {"seed": 11395, "edge": "635.817414"},
  {"seed": 11396, "edge": "421.029313"},
  {"seed": 11397, "edge": "442.727199"},
  {"seed": 11398, "edge": "432.086620"},
  {"seed": 11399, "edge": "541.611669"},
  {"seed": 11400, "edge": "505.512926"},
  {"seed": 11401, "edge": "351.594612"},
  {"seed": 11402, "edge": "480.606275"},
  {"seed": 11403, "edge": "586.217770"},
  {"seed": 11404, "edge": "494.013775"},
  {"seed": 11405, "edge": "532.233113"},
  {"seed": 11406, "edge": "520.193667"},
  {"seed": 11407, "edge": "526.972750"},
  {"seed": 11408, "edge": "389.690172"},
  {"seed": 11409, "edge": "541.270939"},
  {"seed": 11410, "edge": "474.907201"},
  {"seed": 11411, "edge": "558.831122"},
  {"seed": 11412, "edge": "620.122278"},
  {"seed": 11413, "edge": "508.899898"},
  {"seed": 11414, "edge": "514.634247"},
  {"seed": 11415, "edge": "501.106266"},
  {"seed": 11416, "edge": "515.453372"},
  {"seed": 11417, "edge": "615.442219"},
  {"seed": 11418, "edge": "540.071602"},
  {"seed": 11419, "edge": "533.119105"},
  {"seed": 11420, "edge": "506.561902"},
  {"seed": 11421, "edge": "466.542013"},
  {"seed": 11422, "edge": "479.025869"},
  {"seed": 11423, "edge": "332.639834"},
  {"seed": 11424, "edge": "428.717919"},
  {"seed": 11425, "edge": "560.807258"},
  {"seed": 11426, "edge": "548.684222"},
  {"seed": 11427, "edge": "484.061794"},
  {"seed": 11428, "edge": "539.991307"},
  {"seed": 11429, "edge": "503.242318"},
  {"seed": 11430, "edge": "569.597499"},
  {"seed": 11431, "edge": "541.345863"},
  {"seed": 11432, "edge": "424.556854"},
  {"seed": 11433, "edge": "419.307353"},
  {"seed": 11434, "edge": "551.771486"},
  {"seed": 11435, "edge": "487.739482"},
  {"seed": 11436, "edge": "468.675627"},
  {"seed": 11437, "edge": "605.721284"},
  {"seed": 11438, "edge": "547.773467"},
  {"seed": 11439, "edge": "468.366073"},
  {"seed": 11440, "edge": "599.744143"},
  {"seed": 11441, "edge": "569.408747"},
  {"seed": 11442, "edge": "552.183427"},
  {"seed": 11443, "edge": "510.648577"},
  {"seed": 11444, "edge": "541.657932"},
  {"seed": 11445, "edge": "476.634198"},
  {"seed": 11446, "edge": "600.152023"},
  {"seed": 11447, "edge": "369.742664"},
  {"seed": 11448, "edge": "508.322910"},
  {"seed": 11449, "edge": "432.860769"},
  {"seed": 11450, "edge": "555.437637"},
  {"seed": 11451, "edge": "611.624891"},
  {"seed": 11452, "edge": "481.189133"},
  {"seed": 11453, "edge": "487.069723"},
  {"seed": 11454, "edge": "629.683596"},
  {"seed": 11455, "edge": "789.578685"},
  {"seed": 11456, "edge": "437.522988"},
  {"seed": 11457, "edge": "463.134350"},
  {"seed": 11458, "edge": "590.751032"},
  {"seed": 11459, "edge": "386.293262"},
  {"seed": 11460, "edge": "425.456109"},
  {"seed": 11461, "edge": "415.729639"},
  {"seed": 11462, "edge": "578.816381"},
  {"seed": 11463, "edge": "513.647672"},
  {"seed": 11464, "edge": "605.785295"},
  {"seed": 11465, "edge": "494.279588"},
  {"seed": 11466, "edge": "636.221639"},
  {"seed": 11467, "edge": "605.603896"},
  {"seed": 11468, "edge": "581.743995"},
  {"seed": 11469, "edge": "585.380260"},
  {"seed": 11470, "edge": "461.789141"},
  {"seed": 11471, "edge": "478.450688"},
  {"seed": 11472, "edge": "463.383287"},
  {"seed": 11473, "edge": "425.335678"},
  {"seed": 11474, "edge": "563.518738"},
  {"seed": 11475, "edge": "591.658155"},
  {"seed": 11476, "edge": "546.780965"},
  {"seed": 11477, "edge": "586.457018"},
  {"seed": 11478, "edge": "581.910971"},
  {"seed": 11479, "edge": "557.508391"},
  {"seed": 11480, "edge": "564.878404"},
  {"seed": 11481, "edge": "556.024027"},
  {"seed": 11482, "edge": "458.772774"},
  {"seed": 11483, "edge": "749.896680"},
  {"seed": 11484, "edge": "575.334455"},
  {"seed": 11485, "edge": "492.524791"},
  {"seed": 11486, "edge": "677.672415"},
  {"seed": 11487, "edge": "677.480984"},
  {"seed": 11488, "edge": "507.319961"},
  {"seed": 11489, "edge": "390.920729"},
  {"seed": 11490, "edge": "640.716149"},
  {"seed": 11491, "edge": "427.590752"},
  {"seed": 11492, "edge": "637.933325"},
  {"seed": 11493, "edge": "628.203541"},
  {"seed": 11494, "edge": "507.466577"},
  {"seed": 11495, "edge": "398.438702"},
  {"seed": 11496, "edge": "428.515481"},
  {"seed": 11497, "edge": "478.967656"},
  {"seed": 11498, "edge": "608.271984"},
  {"seed": 11499, "edge": "554.523107"},
  {"seed": 11500, "edge": "637.140025"},
  {"seed": 11501, "edge": "439.855360"},
  {"seed": 11502, "edge": "361.357587"},
  {"seed": 11503, "edge": "478.396312"},
  {"seed": 11504, "edge": "673.188953"},
  {"seed": 11505, "edge": "603.536248"},
  {"seed": 11506, "edge": "619.142787"},
  {"seed": 11507, "edge": "617.119130"},
  {"seed": 11508, "edge": "360.340155"},
  {"seed": 11509, "edge": "598.252258"},
  {"seed": 11510, "edge": "561.683180"},
  {"seed": 11511, "edge": "551.021289"},
  {"seed": 11512, "edge": "350.463415"},
  {"seed": 11513, "edge": "442.853382"},
  {"seed": 11514, "edge": "430.772657"},
  {"seed": 11515, "edge": "435.750925"},
  {"seed": 11516, "edge": "602.653111"},
  {"seed": 11517, "edge": "585.793035"},
  {"seed": 11518, "edge": "460.565849"},
  {"seed": 11519, "edge": "527.772743"},
  {"seed": 11520, "edge": "651.337404"},
  {"seed": 11521, "edge": "519.398844"},
  {"seed": 11522, "edge": "449.510824"},
  {"seed": 11523, "edge": "385.043428"},
  {"seed": 11524, "edge": "514.013830"},
  {"seed": 11525, "edge": "430.944025"},
  {"seed": 11526, "edge": "626.357396"},
  {"seed": 11527, "edge": "579.426989"},
  {"seed": 11528, "edge": "425.816009"},
  {"seed": 11529, "edge": "423.119805"},
  {"seed": 11530, "edge": "535.261598"},
  {"seed": 11531, "edge": "436.545622"},
  {"seed": 11532, "edge": "467.064373"},
  {"seed": 11533, "edge": "636.893789"},
  {"seed": 11534, "edge": "491.648740"},
  {"seed": 11535, "edge": "538.186868"},
  {"seed": 11536, "edge": "431.931235"},
  {"seed": 11537, "edge": "521.549635"},
  {"seed": 11538, "edge": "588.539609"},
  {"seed": 11539, "edge": "559.640844"},
  {"seed": 11540, "edge": "784.675136"},
  {"seed": 11541, "edge": "575.094386"},
  {"seed": 11542, "edge": "386.756767"},
  {"seed": 11543, "edge": "488.535135"},
  {"seed": 11544, "edge": "533.043718"},
  {"seed": 11545, "edge": "366.773580"},
  {"seed": 11546, "edge": "476.879595"},
  {"seed": 11547, "edge": "362.510121"},
  {"seed": 11548, "edge": "455.637660"},
  {"seed": 11549, "edge": "499.327632"},
  {"seed": 11550, "edge": "563.446419"},
  {"seed": 11551, "edge": "546.849594"},
  {"seed": 11552, "edge": "569.900662"},
  {"seed": 11553, "edge": "695.782366"},
  {"seed": 11554, "edge": "630.003212"},
  {"seed": 11555, "edge": "685.516359"},
  {"seed": 11556, "edge": "448.194215"},
  {"seed": 11557, "edge": "589.259502"},
  {"seed": 11558, "edge": "673.188625"},
  {"seed": 11559, "edge": "632.999959"},
  {"seed": 11560, "edge": "523.147383"},
  {"seed": 11561, "edge": "530.233995"},
  {"seed": 11562, "edge": "400.775515"},
  {"seed": 11563, "edge": "427.672710"},
  {"seed": 11564, "edge": "619.776318"},
  {"seed": 11565, "edge": "663.890981"},
  {"seed": 11566, "edge": "414.814723"},
  {"seed": 11567, "edge": "551.863727"},
  {"seed": 11568, "edge": "600.687035"},
  {"seed": 11569, "edge": "442.746327"},
  {"seed": 11570, "edge": "585.657515"},
  {"seed": 11571, "edge": "606.596764"},
  {"seed": 11572, "edge": "530.037783"},
  {"seed": 11573, "edge": "678.699225"},
  {"seed": 11574, "edge": "429.102977"},
  {"seed": 11575, "edge": "436.753523"},
  {"seed": 11576, "edge": "441.565222"},
  {"seed": 11577, "edge": "429.486610"},
  {"seed": 11578, "edge": "712.030441"},
  {"seed": 11579, "edge": "664.970698"},
  {"seed": 11580, "edge": "512.192544"},
  {"seed": 11581, "edge": "434.798488"},
  {"seed": 11582, "edge": "572.004449"},
  {"seed": 11583, "edge": "536.394466"},
  {"seed": 11584, "edge": "575.087476"},
  {"seed": 11585, "edge": "580.617537"},
  {"seed": 11586, "edge": "389.195170"},
  {"seed": 11587, "edge": "565.103596"},
  {"seed": 11588, "edge": "587.596662"},
  {"seed": 11589, "edge": "693.040552"},
  {"seed": 11590, "edge": "559.602081"},
  {"seed": 11591, "edge": "531.098868"},
  {"seed": 11592, "edge": "348.930549"},
  {"seed": 11593, "edge": "395.952223"},
  {"seed": 11594, "edge": "390.551112"},
  {"seed": 11595, "edge": "595.426766"},
  {"seed": 11596, "edge": "611.167654"},
  {"seed": 11597, "edge": "665.165661"},
  {"seed": 11598, "edge": "504.564117"},
  {"seed": 11599, "edge": "349.372312"},
  {"seed": 11600, "edge": "466.768114"},
  {"seed": 11601, "edge": "727.787569"},
  {"seed": 11602, "edge": "585.783444"},
  {"seed": 11603, "edge": "620.624544"},
  {"seed": 11604, "edge": "526.231440"},
  {"seed": 11605, "edge": "531.516511"},
  {"seed": 11606, "edge": "419.496855"},
  {"seed": 11607, "edge": "550.287633"},
  {"seed": 11608, "edge": "403.223268"},
  {"seed": 11609, "edge": "585.477364"},
  {"seed": 11610, "edge": "624.646583"},
  {"seed": 11611, "edge": "483.566512"},
  {"seed": 11612, "edge": "537.056825"},
  {"seed": 11613, "edge": "596.110927"},
  {"seed": 11614, "edge": "415.845397"},
  {"seed": 11615, "edge": "631.592443"},
  {"seed": 11616, "edge": "475.038296"},
  {"seed": 11617, "edge": "604.958733"},
  {"seed": 11618, "edge": "695.808220"},
  {"seed": 11619, "edge": "519.961621"},
  {"seed": 11620, "edge": "550.762361"},
  {"seed": 11621, "edge": "570.674440"},
  {"seed": 11622, "edge": "629.579347"},
  {"seed": 11623, "edge": "500.664711"},
  {"seed": 11624, "edge": "587.248734"},
  {"seed": 11625, "edge": "632.727579"},
  {"seed": 11626, "edge": "419.290045"},
  {"seed": 11627, "edge": "528.384733"},
  {"seed": 11628, "edge": "751.282818"},
  {"seed": 11629, "edge": "404.163409"},
  {"seed": 11630, "edge": "578.419219"},
  {"seed": 11631, "edge": "541.619966"},
  {"seed": 11632, "edge": "673.500205"},
  {"seed": 11633, "edge": "545.418447"},
  {"seed": 11634, "edge": "474.222089"},
  {"seed": 11635, "edge": "630.723259"},
  {"seed": 11636, "edge": "543.889102"},
  {"seed": 11637, "edge": "458.428749"},
  {"seed": 11638, "edge": "394.332118"},
  {"seed": 11639, "edge": "374.793541"},
  {"seed": 11640, "edge": "594.499930"},
  {"seed": 11641, "edge": "472.565730"},
  {"seed": 11642, "edge": "660.886361"},
  {"seed": 11643, "edge": "614.788057"},
  {"seed": 11644, "edge": "477.773748"},
  {"seed": 11645, "edge": "659.561113"},
  {"seed": 11646, "edge": "642.537839"},
  {"seed": 11647, "edge": "670.030556"},
  {"seed": 11648, "edge": "650.482664"},
  {"seed": 11649, "edge": "514.577158"},
  {"seed": 11650, "edge": "437.936514"},
  {"seed": 11651, "edge": "657.519676"},
  {"seed": 11652, "edge": "654.165484"},
  {"seed": 11653, "edge": "381.133870"},
  {"seed": 11654, "edge": "443.319858"},
  {"seed": 11655, "edge": "455.462394"},
  {"seed": 11656, "edge": "615.065593"},
  {"seed": 11657, "edge": "616.108703"},
  {"seed": 11658, "edge": "610.799138"},
  {"seed": 11659, "edge": "625.545090"},
  {"seed": 11660, "edge": "607.750390"},
  {"seed": 11661, "edge": "605.068793"},
  {"seed": 11662, "edge": "421.114497"},
  {"seed": 11663, "edge": "508.898787"},
  {"seed": 11664, "edge": "481.762617"},
  {"seed": 11665, "edge": "579.957891"},
  {"seed": 11666, "edge": "531.045355"},
  {"seed": 11667, "edge": "522.029762"},
  {"seed": 11668, "edge": "547.661411"},
  {"seed": 11669, "edge": "617.200122"},
  {"seed": 11670, "edge": "467.393354"},
  {"seed": 11671, "edge": "579.915787"},
  {"seed": 11672, "edge": "473.606177"},
  {"seed": 11673, "edge": "470.996119"},
  {"seed": 11674, "edge": "545.610998"},
  {"seed": 11675, "edge": "447.011546"},
  {"seed": 11676, "edge": "669.431399"},
  {"seed": 11677, "edge": "585.697991"},
  {"seed": 11678, "edge": "547.258467"},
  {"seed": 11679, "edge": "486.026768"},
  {"seed": 11680, "edge": "447.537817"},
  {"seed": 11681, "edge": "485.175960"},
  {"seed": 11682, "edge": "519.978076"},
  {"seed": 11683, "edge": "629.226147"},
  {"seed": 11684, "edge": "483.656065"},
  {"seed": 11685, "edge": "587.437515"},
  {"seed": 11686, "edge": "525.353135"},
  {"seed": 11687, "edge": "568.370932"},
  {"seed": 11688, "edge": "426.243751"},
  {"seed": 11689, "edge": "378.257365"},
  {"seed": 11690, "edge": "448.697629"},
  {"seed": 11691, "edge": "463.141481"},
  {"seed": 11692, "edge": "601.140291"},
  {"seed": 11693, "edge": "644.945767"},
  {"seed": 11694, "edge": "545.315560"},
  {"seed": 11695, "edge": "599.636829"},
  {"seed": 11696, "edge": "717.935248"},
  {"seed": 11697, "edge": "617.517911"},
  {"seed": 11698, "edge": "508.964115"},
  {"seed": 11699, "edge": "581.885866"},
  {"seed": 11700, "edge": "493.991369"},
  {"seed": 11701, "edge": "658.322227"},
  {"seed": 11702, "edge": "658.123551"},
  {"seed": 11703, "edge": "580.710511"},
  {"seed": 11704, "edge": "553.985707"},
  {"seed": 11705, "edge": "643.112262"},
  {"seed": 11706, "edge": "514.779661"},
  {"seed": 11707, "edge": "455.488851"},
  {"seed": 11708, "edge": "542.535753"},
  {"seed": 11709, "edge": "601.088643"},
  {"seed": 11710, "edge": "498.966378"},
  {"seed": 11711, "edge": "415.453729"},
  {"seed": 11712, "edge": "506.418475"},
  {"seed": 11713, "edge": "540.295701"},
  {"seed": 11714, "edge": "536.263773"},
  {"seed": 11715, "edge": "543.021122"},
  {"seed": 11716, "edge": "426.873723"},
  {"seed": 11717, "edge": "395.770750"},
  {"seed": 11718, "edge": "423.241117"},
  {"seed": 11719, "edge": "631.979596"},
  {"seed": 11720, "edge": "481.207993"},
  {"seed": 11721, "edge": "381.108914"},
  {"seed": 11722, "edge": "483.217945"},
  {"seed": 11723, "edge": "472.782151"},
  {"seed": 11724, "edge": "460.400140"},
  {"seed": 11725, "edge": "529.795299"},
  {"seed": 11726, "edge": "444.475101"},
  {"seed": 11727, "edge": "619.230106"},
  {"seed": 11728, "edge": "671.675606"},
  {"seed": 11729, "edge": "533.417211"},
  {"seed": 11730, "edge": "713.461872"},
  {"seed": 11731, "edge": "474.422086"},
  {"seed": 11732, "edge": "387.258516"},
  {"seed": 11733, "edge": "622.269938"},
  {"seed": 11734, "edge": "581.837990"},
  {"seed": 11735, "edge": "550.371906"},
  {"seed": 11736, "edge": "520.077690"},
  {"seed": 11737, "edge": "735.027568"},
  {"seed": 11738, "edge": "363.584963"},
  {"seed": 11739, "edge": "640.479975"},
  {"seed": 11740, "edge": "623.748516"},
  {"seed": 11741, "edge": "698.372853"},
  {"seed": 11742, "edge": "398.634556"},
  {"seed": 11743, "edge": "572.526977"},
  {"seed": 11744, "edge": "552.089575"},
  {"seed": 11745, "edge": "444.538167"},
  {"seed": 11746, "edge": "644.525147"},
  {"seed": 11747, "edge": "637.410375"},
  {"seed": 11748, "edge": "578.938769"},
  {"seed": 11749, "edge": "589.359351"},
  {"seed": 11750, "edge": "425.727015"},
  {"seed": 11751, "edge": "628.589772"},
  {"seed": 11752, "edge": "393.468289"},
  {"seed": 11753, "edge": "586.084911"},
  {"seed": 11754, "edge": "501.456991"},
  {"seed": 11755, "edge": "572.813991"},
  {"seed": 11756, "edge": "649.520109"},
  {"seed": 11757, "edge": "490.287510"},
  {"seed": 11758, "edge": "606.699758"},
  {"seed": 11759, "edge": "574.290534"},
  {"seed": 11760, "edge": "535.007033"},
  {"seed": 11761, "edge": "563.632196"},
  {"seed": 11762, "edge": "648.657277"},
  {"seed": 11763, "edge": "613.124761"},
  {"seed": 11764, "edge": "428.254481"},
  {"seed": 11765, "edge": "672.664836"},
  {"seed": 11766, "edge": "482.521538"},
  {"seed": 11767, "edge": "540.668512"},
  {"seed": 11768, "edge": "439.383631"},
  {"seed": 11769, "edge": "608.727925"},
  {"seed": 11770, "edge": "684.492544"},
  {"seed": 11771, "edge": "465.772024"},
  {"seed": 11772, "edge": "525.476781"},
  {"seed": 11773, "edge": "391.567969"},
  {"seed": 11774, "edge": "540.359874"},
  {"seed": 11775, "edge": "451.219841"},
  {"seed": 11776, "edge": "641.917643"},
  {"seed": 11777, "edge": "408.091016"},
  {"seed": 11778, "edge": "779.446974"},
  {"seed": 11779, "edge": "449.866109"},
  {"seed": 11780, "edge": "490.416032"},
  {"seed": 11781, "edge": "713.408544"},
  {"seed": 11782, "edge": "534.271810"},
  {"seed": 11783, "edge": "626.479782"},
  {"seed": 11784, "edge": "398.241740"},
  {"seed": 11785, "edge": "560.860324"},
  {"seed": 11786, "edge": "500.862490"},
  {"seed": 11787, "edge": "543.189885"},
  {"seed": 11788, "edge": "382.927427"},
  {"seed": 11789, "edge": "562.212262"},
  {"seed": 11790, "edge": "596.153008"},
  {"seed": 11791, "edge": "716.348069"},
  {"seed": 11792, "edge": "725.589494"},
  {"seed": 11793, "edge": "472.565007"},
  {"seed": 11794, "edge": "492.379527"},
  {"seed": 11795, "edge": "531.847231"},
  {"seed": 11796, "edge": "527.457078"},
  {"seed": 11797, "edge": "519.815688"},
  {"seed": 11798, "edge": "446.389588"},
  {"seed": 11799, "edge": "543.510351"},
  {"seed": 11800, "edge": "469.238521"},
  {"seed": 11801, "edge": "572.391318"},
  {"seed": 11802, "edge": "589.555512"},
  {"seed": 11803, "edge": "409.724694"},
  {"seed": 11804, "edge": "445.157406"},
  {"seed": 11805, "edge": "695.864065"},
  {"seed": 11806, "edge": "552.274267"},
  {"seed": 11807, "edge": "413.792319"},
  {"seed": 11808, "edge": "623.764873"},
  {"seed": 11809, "edge": "604.368172"},
  {"seed": 11810, "edge": "715.554625"},
  {"seed": 11811, "edge": "468.705882"},
  {"seed": 11812, "edge": "517.455967"},
  {"seed": 11813, "edge": "672.547340"},
  {"seed": 11814, "edge": "428.419877"},
  {"seed": 11815, "edge": "603.938440"},
  {"seed": 11816, "edge": "405.183585"},
  {"seed": 11817, "edge": "462.952775"},
  {"seed": 11818, "edge": "444.475762"},
  {"seed": 11819, "edge": "413.190522"},
  {"seed": 11820, "edge": "474.529556"},
  {"seed": 11821, "edge": "494.191655"},
  {"seed": 11822, "edge": "702.272850"},
  {"seed": 11823, "edge": "387.912968"},
  {"seed": 11824, "edge": "502.444567"},
  {"seed": 11825, "edge": "461.405956"},
  {"seed": 11826, "edge": "634.162990"},
  {"seed": 11827, "edge": "547.352040"},
  {"seed": 11828, "edge": "353.719713"},
  {"seed": 11829, "edge": "510.104532"},
  {"seed": 11830, "edge": "482.906213"},
  {"seed": 11831, "edge": "632.419301"},
  {"seed": 11832, "edge": "431.555479"},
  {"seed": 11833, "edge": "473.496835"},
  {"seed": 11834, "edge": "564.898579"},
  {"seed": 11835, "edge": "506.987926"},
  {"seed": 11836, "edge": "538.043093"},
  {"seed": 11837, "edge": "581.743295"},
  {"seed": 11838, "edge": "605.683280"},
  {"seed": 11839, "edge": "664.913858"},
  {"seed": 11840, "edge": "563.843992"},
  {"seed": 11841, "edge": "420.019538"},
  {"seed": 11842, "edge": "435.648906"},
  {"seed": 11843, "edge": "535.420951"},
  {"seed": 11844, "edge": "631.114380"},
  {"seed": 11845, "edge": "659.949673"},
  {"seed": 11846, "edge": "436.572365"},
  {"seed": 11847, "edge": "438.741091"},
  {"seed": 11848, "edge": "460.330479"},
  {"seed": 11849, "edge": "655.240628"},
  {"seed": 11850, "edge": "556.848518"},
  {"seed": 11851, "edge": "581.633748"},
  {"seed": 11852, "edge": "583.640830"},
  {"seed": 11853, "edge": "444.540264"},
  {"seed": 11854, "edge": "436.605723"},
  {"seed": 11855, "edge": "531.693466"},
  {"seed": 11856, "edge": "472.114376"},
  {"seed": 11857, "edge": "611.515581"},
  {"seed": 11858, "edge": "440.072114"},
  {"seed": 11859, "edge": "712.018427"},
  {"seed": 11860, "edge": "433.146269"},
  {"seed": 11861, "edge": "625.020124"},
  {"seed": 11862, "edge": "400.362529"},
  {"seed": 11863, "edge": "708.169085"},
  {"seed": 11864, "edge": "349.783366"},
  {"seed": 11865, "edge": "615.499406"},
  {"seed": 11866, "edge": "605.187896"},
  {"seed": 11867, "edge": "569.188446"},
  {"seed": 11868, "edge": "527.806029"},
  {"seed": 11869, "edge": "632.335603"},
  {"seed": 11870, "edge": "655.472192"},
  {"seed": 11871, "edge": "575.541231"},
  {"seed": 11872, "edge": "530.353262"},
  {"seed": 11873, "edge": "502.118158"},
  {"seed": 11874, "edge": "358.629787"},
  {"seed": 11875, "edge": "705.161616"},
  {"seed": 11876, "edge": "408.420002"},
  {"seed": 11877, "edge": "366.742646"},
  {"seed": 11878, "edge": "597.413508"},
  {"seed": 11879, "edge": "550.023438"},
  {"seed": 11880, "edge": "572.993448"},
  {"seed": 11881, "edge": "435.987515"},
  {"seed": 11882, "edge": "449.377795"},
  {"seed": 11883, "edge": "433.833692"},
  {"seed": 11884, "edge": "533.101721"},
  {"seed": 11885, "edge": "561.372624"},
  {"seed": 11886, "edge": "614.217276"},
  {"seed": 11887, "edge": "499.197277"},
  {"seed": 11888, "edge": "637.183043"},
  {"seed": 11889, "edge": "460.483068"},
  {"seed": 11890, "edge": "393.828045"},
  {"seed": 11891, "edge": "408.096895"},
  {"seed": 11892, "edge": "588.400676"},
  {"seed": 11893, "edge": "675.760682"},
  {"seed": 11894, "edge": "537.548737"},
  {"seed": 11895, "edge": "509.994879"},
  {"seed": 11896, "edge": "591.563013"},
  {"seed": 11897, "edge": "586.444764"},
  {"seed": 11898, "edge": "583.515778"},
  {"seed": 11899, "edge": "397.977342"},
  {"seed": 11900, "edge": "614.675986"},
  {"seed": 11901, "edge": "431.496372"},
  {"seed": 11902, "edge": "433.902518"},
  {"seed": 11903, "edge": "401.116958"},
  {"seed": 11904, "edge": "449.572493"},
  {"seed": 11905, "edge": "468.568042"},
  {"seed": 11906, "edge": "395.890557"},
  {"seed": 11907, "edge": "600.180825"},
  {"seed": 11908, "edge": "552.503254"},
  {"seed": 11909, "edge": "411.535121"},
  {"seed": 11910, "edge": "724.420055"},
  {"seed": 11911, "edge": "745.610423"},
  {"seed": 11912, "edge": "516.711340"},
  {"seed": 11913, "edge": "409.475032"},
  {"seed": 11914, "edge": "423.883677"},
  {"seed": 11915, "edge": "490.658277"},
  {"seed": 11916, "edge": "378.929801"},
  {"seed": 11917, "edge": "610.910103"},
  {"seed": 11918, "edge": "728.664620"},
  {"seed": 11919, "edge": "603.370748"},
  {"seed": 11920, "edge": "609.095617"},
  {"seed": 11921, "edge": "805.844063"},
  {"seed": 11922, "edge": "628.526475"},
  {"seed": 11923, "edge": "391.063501"},
  {"seed": 11924, "edge": "484.446033"},
  {"seed": 11925, "edge": "413.288867"},
  {"seed": 11926, "edge": "610.420246"},
  {"seed": 11927, "edge": "405.001833"},
  {"seed": 11928, "edge": "517.366878"},
  {"seed": 11929, "edge": "654.040882"},
  {"seed": 11930, "edge": "664.132580"},
  {"seed": 11931, "edge": "673.083807"},
  {"seed": 11932, "edge": "552.079994"},
  {"seed": 11933, "edge": "458.948776"},
  {"seed": 11934, "edge": "523.946655"},
  {"seed": 11935, "edge": "659.008699"},
  {"seed": 11936, "edge": "443.016940"},
  {"seed": 11937, "edge": "558.286905"},
  {"seed": 11938, "edge": "424.314906"},
  {"seed": 11939, "edge": "584.744970"},
  {"seed": 11940, "edge": "412.772478"},
  {"seed": 11941, "edge": "419.362233"},
  {"seed": 11942, "edge": "469.796636"},
  {"seed": 11943, "edge": "497.004216"},
  {"seed": 11944, "edge": "616.821789"},
  {"seed": 11945, "edge": "530.654531"},
  {"seed": 11946, "edge": "476.508795"},
  {"seed": 11947, "edge": "629.758764"},
  {"seed": 11948, "edge": "485.221277"},
  {"seed": 11949, "edge": "456.737131"},
  {"seed": 11950, "edge": "754.443130"},
  {"seed": 11951, "edge": "335.057476"},
  {"seed": 11952, "edge": "512.371400"},
  {"seed": 11953, "edge": "519.745448"},
  {"seed": 11954, "edge": "470.421165"},
  {"seed": 11955, "edge": "464.048633"},
  {"seed": 11956, "edge": "613.961933"},
  {"seed": 11957, "edge": "640.472997"},
  {"seed": 11958, "edge": "643.310397"},
  {"seed": 11959, "edge": "528.350578"},
  {"seed": 11960, "edge": "558.053515"},
  {"seed": 11961, "edge": "475.367430"},
  {"seed": 11962, "edge": "449.755863"},
  {"seed": 11963, "edge": "459.127776"},
  {"seed": 11964, "edge": "636.817283"},
  {"seed": 11965, "edge": "589.217650"},
  {"seed": 11966, "edge": "554.793862"},
  {"seed": 11967, "edge": "466.913303"},
  {"seed": 11968, "edge": "495.559897"},
  {"seed": 11969, "edge": "430.779486"},
  {"seed": 11970, "edge": "408.348303"},
  {"seed": 11971, "edge": "528.979197"},
  {"seed": 11972, "edge": "604.731160"},
  {"seed": 11973, "edge": "475.248658"},
  {"seed": 11974, "edge": "479.417078"},
  {"seed": 11975, "edge": "483.296537"},
  {"seed": 11976, "edge": "652.186244"},
  {"seed": 11977, "edge": "382.532112"},
  {"seed": 11978, "edge": "448.627876"},
  {"seed": 11979, "edge": "467.392441"},
  {"seed": 11980, "edge": "457.007242"},
  {"seed": 11981, "edge": "465.342379"},
  {"seed": 11982, "edge": "565.472243"},
  {"seed": 11983, "edge": "388.891486"},
  {"seed": 11984, "edge": "544.997856"},
  {"seed": 11985, "edge": "446.916705"},
  {"seed": 11986, "edge": "439.959394"},
  {"seed": 11987, "edge": "548.071918"},
  {"seed": 11988, "edge": "493.311660"},
  {"seed": 11989, "edge": "529.800215"},
  {"seed": 11990, "edge": "513.700960"},
  {"seed": 11991, "edge": "433.483784"},
  {"seed": 11992, "edge": "592.424757"},
  {"seed": 11993, "edge": "681.662511"},
  {"seed": 11994, "edge": "682.702676"},
  {"seed": 11995, "edge": "487.922191"},
  {"seed": 11996, "edge": "573.666744"},
  {"seed": 11997, "edge": "614.655926"},
  {"seed": 11998, "edge": "502.924030"},
  {"seed": 11999, "edge": "354.489030"},
  {"seed": 12000, "edge": "681.643471"},
  {"seed": 12001, "edge": "604.238934"},
  {"seed": 12002, "edge": "449.786370"},
  {"seed": 12003, "edge": "743.967505"},
  {"seed": 12004, "edge": "596.506705"},
  {"seed": 12005, "edge": "686.772477"},
  {"seed": 12006, "edge": "561.864679"},
  {"seed": 12007, "edge": "374.326695"},
  {"seed": 12008, "edge": "498.174156"},
  {"seed": 12009, "edge": "543.146872"},
  {"seed": 12010, "edge": "532.856587"},
  {"seed": 12011, "edge": "560.945772"},
  {"seed": 12012, "edge": "448.150939"},
  {"seed": 12013, "edge": "575.311784"},
  {"seed": 12014, "edge": "422.791581"},
  {"seed": 12015, "edge": "584.986882"},
  {"seed": 12016, "edge": "476.213303"},
  {"seed": 12017, "edge": "496.043462"},
  {"seed": 12018, "edge": "438.681246"},
  {"seed": 12019, "edge": "386.351150"},
  {"seed": 12020, "edge": "579.167296"},
  {"seed": 12021, "edge": "469.822596"},
  {"seed": 12022, "edge": "470.729119"},
  {"seed": 12023, "edge": "780.066069"},
  {"seed": 12024, "edge": "381.983349"},
  {"seed": 12025, "edge": "558.217935"},
  {"seed": 12026, "edge": "549.248997"},
  {"seed": 12027, "edge": "532.504806"},
  {"seed": 12028, "edge": "479.588962"},
  {"seed": 12029, "edge": "423.153078"},
  {"seed": 12030, "edge": "637.154589"},
  {"seed": 12031, "edge": "480.331813"},
  {"seed": 12032, "edge": "570.674265"},
  {"seed": 12033, "edge": "425.810441"},
  {"seed": 12034, "edge": "706.029273"},
  {"seed": 12035, "edge": "387.156610"},
  {"seed": 12036, "edge": "638.711641"},
  {"seed": 12037, "edge": "465.802414"},
  {"seed": 12038, "edge": "528.017700"},
  {"seed": 12039, "edge": "501.030799"},
  {"seed": 12040, "edge": "574.249878"},
  {"seed": 12041, "edge": "565.623014"},
  {"seed": 12042, "edge": "437.283818"},
  {"seed": 12043, "edge": "451.745309"},
  {"seed": 12044, "edge": "626.555279"},
  {"seed": 12045, "edge": "401.409485"},
  {"seed": 12046, "edge": "528.329355"},
  {"seed": 12047, "edge": "411.966829"}
 ]
}