{
 "_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": [
   60000,
   61023
  ],
  "row_count": 1024,
  "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": [
     60000,
     60063
    ],
    "pairs": 64,
    "reference": "CPython replica2.run, fresh policy object per run",
    "max_abs_error": 4.320099833421409e-12
   }
  }
 },
 "rows": [
  {"seed": 60000, "edge": "486.687235"},
  {"seed": 60001, "edge": "490.451766"},
  {"seed": 60002, "edge": "592.656523"},
  {"seed": 60003, "edge": "589.971334"},
  {"seed": 60004, "edge": "555.230031"},
  {"seed": 60005, "edge": "622.984888"},
  {"seed": 60006, "edge": "540.413482"},
  {"seed": 60007, "edge": "449.634417"},
  {"seed": 60008, "edge": "385.605080"},
  {"seed": 60009, "edge": "468.813851"},
  {"seed": 60010, "edge": "591.749525"},
  {"seed": 60011, "edge": "450.670379"},
  {"seed": 60012, "edge": "453.410048"},
  {"seed": 60013, "edge": "485.569571"},
  {"seed": 60014, "edge": "565.502758"},
  {"seed": 60015, "edge": "492.208484"},
  {"seed": 60016, "edge": "409.753501"},
  {"seed": 60017, "edge": "593.508804"},
  {"seed": 60018, "edge": "619.431065"},
  {"seed": 60019, "edge": "514.613691"},
  {"seed": 60020, "edge": "584.764472"},
  {"seed": 60021, "edge": "369.682640"},
  {"seed": 60022, "edge": "546.288731"},
  {"seed": 60023, "edge": "707.604612"},
  {"seed": 60024, "edge": "524.556941"},
  {"seed": 60025, "edge": "705.215296"},
  {"seed": 60026, "edge": "655.688853"},
  {"seed": 60027, "edge": "611.357915"},
  {"seed": 60028, "edge": "554.121947"},
  {"seed": 60029, "edge": "626.609621"},
  {"seed": 60030, "edge": "394.494165"},
  {"seed": 60031, "edge": "669.994077"},
  {"seed": 60032, "edge": "552.687172"},
  {"seed": 60033, "edge": "672.653541"},
  {"seed": 60034, "edge": "475.906056"},
  {"seed": 60035, "edge": "618.266729"},
  {"seed": 60036, "edge": "687.398354"},
  {"seed": 60037, "edge": "551.314555"},
  {"seed": 60038, "edge": "541.082200"},
  {"seed": 60039, "edge": "540.831439"},
  {"seed": 60040, "edge": "585.552182"},
  {"seed": 60041, "edge": "534.530857"},
  {"seed": 60042, "edge": "403.117676"},
  {"seed": 60043, "edge": "543.754385"},
  {"seed": 60044, "edge": "437.305748"},
  {"seed": 60045, "edge": "601.541971"},
  {"seed": 60046, "edge": "531.152942"},
  {"seed": 60047, "edge": "488.632502"},
  {"seed": 60048, "edge": "527.541270"},
  {"seed": 60049, "edge": "448.056192"},
  {"seed": 60050, "edge": "417.662002"},
  {"seed": 60051, "edge": "412.656329"},
  {"seed": 60052, "edge": "603.628845"},
  {"seed": 60053, "edge": "464.704964"},
  {"seed": 60054, "edge": "438.605037"},
  {"seed": 60055, "edge": "540.100842"},
  {"seed": 60056, "edge": "540.524410"},
  {"seed": 60057, "edge": "580.253100"},
  {"seed": 60058, "edge": "619.636704"},
  {"seed": 60059, "edge": "420.151990"},
  {"seed": 60060, "edge": "466.440557"},
  {"seed": 60061, "edge": "373.401426"},
  {"seed": 60062, "edge": "534.003564"},
  {"seed": 60063, "edge": "395.848471"},
  {"seed": 60064, "edge": "453.965046"},
  {"seed": 60065, "edge": "560.018359"},
  {"seed": 60066, "edge": "516.165449"},
  {"seed": 60067, "edge": "582.406067"},
  {"seed": 60068, "edge": "485.632269"},
  {"seed": 60069, "edge": "523.729683"},
  {"seed": 60070, "edge": "580.850255"},
  {"seed": 60071, "edge": "490.304633"},
  {"seed": 60072, "edge": "605.884807"},
  {"seed": 60073, "edge": "572.289924"},
  {"seed": 60074, "edge": "376.721241"},
  {"seed": 60075, "edge": "499.491085"},
  {"seed": 60076, "edge": "551.043667"},
  {"seed": 60077, "edge": "428.166508"},
  {"seed": 60078, "edge": "498.533852"},
  {"seed": 60079, "edge": "482.621849"},
  {"seed": 60080, "edge": "429.110787"},
  {"seed": 60081, "edge": "603.094772"},
  {"seed": 60082, "edge": "518.061809"},
  {"seed": 60083, "edge": "572.401004"},
  {"seed": 60084, "edge": "585.617764"},
  {"seed": 60085, "edge": "534.168958"},
  {"seed": 60086, "edge": "566.541678"},
  {"seed": 60087, "edge": "708.173560"},
  {"seed": 60088, "edge": "500.710673"},
  {"seed": 60089, "edge": "504.371410"},
  {"seed": 60090, "edge": "430.165576"},
  {"seed": 60091, "edge": "592.701839"},
  {"seed": 60092, "edge": "566.864997"},
  {"seed": 60093, "edge": "454.732712"},
  {"seed": 60094, "edge": "397.335237"},
  {"seed": 60095, "edge": "603.943694"},
  {"seed": 60096, "edge": "429.624470"},
  {"seed": 60097, "edge": "475.845474"},
  {"seed": 60098, "edge": "468.690374"},
  {"seed": 60099, "edge": "434.153520"},
  {"seed": 60100, "edge": "500.668235"},
  {"seed": 60101, "edge": "581.789078"},
  {"seed": 60102, "edge": "501.826349"},
  {"seed": 60103, "edge": "591.960175"},
  {"seed": 60104, "edge": "678.493042"},
  {"seed": 60105, "edge": "626.474849"},
  {"seed": 60106, "edge": "532.589019"},
  {"seed": 60107, "edge": "483.120493"},
  {"seed": 60108, "edge": "390.593761"},
  {"seed": 60109, "edge": "410.401581"},
  {"seed": 60110, "edge": "579.529956"},
  {"seed": 60111, "edge": "604.640474"},
  {"seed": 60112, "edge": "489.320751"},
  {"seed": 60113, "edge": "650.927858"},
  {"seed": 60114, "edge": "430.174334"},
  {"seed": 60115, "edge": "596.344515"},
  {"seed": 60116, "edge": "404.971889"},
  {"seed": 60117, "edge": "601.686480"},
  {"seed": 60118, "edge": "389.519002"},
  {"seed": 60119, "edge": "422.842165"},
  {"seed": 60120, "edge": "538.506875"},
  {"seed": 60121, "edge": "597.653815"},
  {"seed": 60122, "edge": "683.277623"},
  {"seed": 60123, "edge": "500.987742"},
  {"seed": 60124, "edge": "601.699413"},
  {"seed": 60125, "edge": "526.899844"},
  {"seed": 60126, "edge": "673.011747"},
  {"seed": 60127, "edge": "454.992647"},
  {"seed": 60128, "edge": "581.596493"},
  {"seed": 60129, "edge": "405.058005"},
  {"seed": 60130, "edge": "544.831298"},
  {"seed": 60131, "edge": "581.327455"},
  {"seed": 60132, "edge": "487.274365"},
  {"seed": 60133, "edge": "445.667209"},
  {"seed": 60134, "edge": "572.767616"},
  {"seed": 60135, "edge": "501.565476"},
  {"seed": 60136, "edge": "636.575226"},
  {"seed": 60137, "edge": "530.234482"},
  {"seed": 60138, "edge": "596.820343"},
  {"seed": 60139, "edge": "517.919333"},
  {"seed": 60140, "edge": "439.426553"},
  {"seed": 60141, "edge": "507.604661"},
  {"seed": 60142, "edge": "557.646007"},
  {"seed": 60143, "edge": "781.974533"},
  {"seed": 60144, "edge": "464.200731"},
  {"seed": 60145, "edge": "632.517775"},
  {"seed": 60146, "edge": "511.571128"},
  {"seed": 60147, "edge": "671.515177"},
  {"seed": 60148, "edge": "632.061367"},
  {"seed": 60149, "edge": "737.384732"},
  {"seed": 60150, "edge": "461.345953"},
  {"seed": 60151, "edge": "432.963184"},
  {"seed": 60152, "edge": "643.994024"},
  {"seed": 60153, "edge": "510.971321"},
  {"seed": 60154, "edge": "697.427689"},
  {"seed": 60155, "edge": "541.390548"},
  {"seed": 60156, "edge": "371.783622"},
  {"seed": 60157, "edge": "498.393107"},
  {"seed": 60158, "edge": "439.922356"},
  {"seed": 60159, "edge": "360.286242"},
  {"seed": 60160, "edge": "336.359052"},
  {"seed": 60161, "edge": "449.792377"},
  {"seed": 60162, "edge": "691.068260"},
  {"seed": 60163, "edge": "522.914031"},
  {"seed": 60164, "edge": "506.568475"},
  {"seed": 60165, "edge": "466.321781"},
  {"seed": 60166, "edge": "394.361763"},
  {"seed": 60167, "edge": "484.644125"},
  {"seed": 60168, "edge": "378.420239"},
  {"seed": 60169, "edge": "642.042391"},
  {"seed": 60170, "edge": "561.120381"},
  {"seed": 60171, "edge": "407.858893"},
  {"seed": 60172, "edge": "510.703912"},
  {"seed": 60173, "edge": "653.274840"},
  {"seed": 60174, "edge": "510.305118"},
  {"seed": 60175, "edge": "396.723524"},
  {"seed": 60176, "edge": "584.173038"},
  {"seed": 60177, "edge": "485.003605"},
  {"seed": 60178, "edge": "551.011334"},
  {"seed": 60179, "edge": "364.519918"},
  {"seed": 60180, "edge": "732.193335"},
  {"seed": 60181, "edge": "569.162569"},
  {"seed": 60182, "edge": "430.195384"},
  {"seed": 60183, "edge": "394.637319"},
  {"seed": 60184, "edge": "608.850280"},
  {"seed": 60185, "edge": "420.364085"},
  {"seed": 60186, "edge": "515.203495"},
  {"seed": 60187, "edge": "409.060717"},
  {"seed": 60188, "edge": "470.070003"},
  {"seed": 60189, "edge": "397.204201"},
  {"seed": 60190, "edge": "554.787992"},
  {"seed": 60191, "edge": "641.494501"},
  {"seed": 60192, "edge": "480.431860"},
  {"seed": 60193, "edge": "505.702424"},
  {"seed": 60194, "edge": "634.106859"},
  {"seed": 60195, "edge": "526.388268"},
  {"seed": 60196, "edge": "422.677812"},
  {"seed": 60197, "edge": "568.957547"},
  {"seed": 60198, "edge": "449.940747"},
  {"seed": 60199, "edge": "504.103194"},
  {"seed": 60200, "edge": "669.110910"},
  {"seed": 60201, "edge": "454.465005"},
  {"seed": 60202, "edge": "522.206675"},
  {"seed": 60203, "edge": "668.198500"},
  {"seed": 60204, "edge": "529.449191"},
  {"seed": 60205, "edge": "708.692671"},
  {"seed": 60206, "edge": "597.332757"},
  {"seed": 60207, "edge": "638.350582"},
  {"seed": 60208, "edge": "536.135286"},
  {"seed": 60209, "edge": "490.502921"},
  {"seed": 60210, "edge": "846.085666"},
  {"seed": 60211, "edge": "537.760314"},
  {"seed": 60212, "edge": "494.783713"},
  {"seed": 60213, "edge": "453.364495"},
  {"seed": 60214, "edge": "508.477391"},
  {"seed": 60215, "edge": "562.564169"},
  {"seed": 60216, "edge": "471.492955"},
  {"seed": 60217, "edge": "694.588589"},
  {"seed": 60218, "edge": "720.561774"},
  {"seed": 60219, "edge": "578.994127"},
  {"seed": 60220, "edge": "377.395095"},
  {"seed": 60221, "edge": "418.477931"},
  {"seed": 60222, "edge": "579.654051"},
  {"seed": 60223, "edge": "520.369355"},
  {"seed": 60224, "edge": "416.630440"},
  {"seed": 60225, "edge": "451.304750"},
  {"seed": 60226, "edge": "422.946518"},
  {"seed": 60227, "edge": "419.019727"},
  {"seed": 60228, "edge": "560.996841"},
  {"seed": 60229, "edge": "703.776929"},
  {"seed": 60230, "edge": "592.356651"},
  {"seed": 60231, "edge": "506.123546"},
  {"seed": 60232, "edge": "383.315817"},
  {"seed": 60233, "edge": "477.074376"},
  {"seed": 60234, "edge": "599.302409"},
  {"seed": 60235, "edge": "599.761358"},
  {"seed": 60236, "edge": "496.675342"},
  {"seed": 60237, "edge": "492.886458"},
  {"seed": 60238, "edge": "555.391565"},
  {"seed": 60239, "edge": "527.548025"},
  {"seed": 60240, "edge": "629.297492"},
  {"seed": 60241, "edge": "474.250038"},
  {"seed": 60242, "edge": "491.866205"},
  {"seed": 60243, "edge": "446.136994"},
  {"seed": 60244, "edge": "622.244295"},
  {"seed": 60245, "edge": "373.746773"},
  {"seed": 60246, "edge": "623.690226"},
  {"seed": 60247, "edge": "588.010692"},
  {"seed": 60248, "edge": "538.314509"},
  {"seed": 60249, "edge": "492.563822"},
  {"seed": 60250, "edge": "538.914534"},
  {"seed": 60251, "edge": "601.009181"},
  {"seed": 60252, "edge": "571.727483"},
  {"seed": 60253, "edge": "361.229297"},
  {"seed": 60254, "edge": "360.122607"},
  {"seed": 60255, "edge": "513.284258"},
  {"seed": 60256, "edge": "554.387707"},
  {"seed": 60257, "edge": "477.078995"},
  {"seed": 60258, "edge": "419.938554"},
  {"seed": 60259, "edge": "515.521672"},
  {"seed": 60260, "edge": "592.696655"},
  {"seed": 60261, "edge": "415.068157"},
  {"seed": 60262, "edge": "531.299037"},
  {"seed": 60263, "edge": "594.062505"},
  {"seed": 60264, "edge": "655.870818"},
  {"seed": 60265, "edge": "467.443783"},
  {"seed": 60266, "edge": "501.072267"},
  {"seed": 60267, "edge": "538.843082"},
  {"seed": 60268, "edge": "652.128892"},
  {"seed": 60269, "edge": "479.078232"},
  {"seed": 60270, "edge": "506.013624"},
  {"seed": 60271, "edge": "502.253082"},
  {"seed": 60272, "edge": "393.987531"},
  {"seed": 60273, "edge": "507.186995"},
  {"seed": 60274, "edge": "529.158448"},
  {"seed": 60275, "edge": "589.975101"},
  {"seed": 60276, "edge": "600.284769"},
  {"seed": 60277, "edge": "660.510629"},
  {"seed": 60278, "edge": "550.742119"},
  {"seed": 60279, "edge": "504.167019"},
  {"seed": 60280, "edge": "422.663340"},
  {"seed": 60281, "edge": "601.404518"},
  {"seed": 60282, "edge": "452.382683"},
  {"seed": 60283, "edge": "447.304831"},
  {"seed": 60284, "edge": "517.951686"},
  {"seed": 60285, "edge": "651.238135"},
  {"seed": 60286, "edge": "444.192308"},
  {"seed": 60287, "edge": "624.392653"},
  {"seed": 60288, "edge": "526.275206"},
  {"seed": 60289, "edge": "436.489106"},
  {"seed": 60290, "edge": "394.954227"},
  {"seed": 60291, "edge": "529.720557"},
  {"seed": 60292, "edge": "590.665420"},
  {"seed": 60293, "edge": "372.297801"},
  {"seed": 60294, "edge": "510.907948"},
  {"seed": 60295, "edge": "603.624275"},
  {"seed": 60296, "edge": "508.651323"},
  {"seed": 60297, "edge": "412.346677"},
  {"seed": 60298, "edge": "517.957453"},
  {"seed": 60299, "edge": "438.318260"},
  {"seed": 60300, "edge": "558.942699"},
  {"seed": 60301, "edge": "605.907049"},
  {"seed": 60302, "edge": "514.057551"},
  {"seed": 60303, "edge": "460.513185"},
  {"seed": 60304, "edge": "630.456927"},
  {"seed": 60305, "edge": "414.561637"},
  {"seed": 60306, "edge": "529.883151"},
  {"seed": 60307, "edge": "436.031573"},
  {"seed": 60308, "edge": "548.051046"},
  {"seed": 60309, "edge": "408.958161"},
  {"seed": 60310, "edge": "499.703330"},
  {"seed": 60311, "edge": "498.383721"},
  {"seed": 60312, "edge": "436.590243"},
  {"seed": 60313, "edge": "521.425508"},
  {"seed": 60314, "edge": "517.455776"},
  {"seed": 60315, "edge": "434.292958"},
  {"seed": 60316, "edge": "479.059947"},
  {"seed": 60317, "edge": "329.440357"},
  {"seed": 60318, "edge": "557.846090"},
  {"seed": 60319, "edge": "521.684139"},
  {"seed": 60320, "edge": "550.663943"},
  {"seed": 60321, "edge": "787.945387"},
  {"seed": 60322, "edge": "577.127353"},
  {"seed": 60323, "edge": "516.433825"},
  {"seed": 60324, "edge": "435.163931"},
  {"seed": 60325, "edge": "563.281594"},
  {"seed": 60326, "edge": "434.470217"},
  {"seed": 60327, "edge": "612.194231"},
  {"seed": 60328, "edge": "606.161405"},
  {"seed": 60329, "edge": "412.258078"},
  {"seed": 60330, "edge": "467.616663"},
  {"seed": 60331, "edge": "399.068417"},
  {"seed": 60332, "edge": "764.323081"},
  {"seed": 60333, "edge": "682.610040"},
  {"seed": 60334, "edge": "558.971856"},
  {"seed": 60335, "edge": "728.469851"},
  {"seed": 60336, "edge": "507.409442"},
  {"seed": 60337, "edge": "645.583861"},
  {"seed": 60338, "edge": "720.074406"},
  {"seed": 60339, "edge": "347.316011"},
  {"seed": 60340, "edge": "524.831444"},
  {"seed": 60341, "edge": "586.151069"},
  {"seed": 60342, "edge": "541.216700"},
  {"seed": 60343, "edge": "617.462401"},
  {"seed": 60344, "edge": "471.913086"},
  {"seed": 60345, "edge": "577.991780"},
  {"seed": 60346, "edge": "605.361922"},
  {"seed": 60347, "edge": "559.001647"},
  {"seed": 60348, "edge": "547.882797"},
  {"seed": 60349, "edge": "484.916861"},
  {"seed": 60350, "edge": "727.137843"},
  {"seed": 60351, "edge": "381.632029"},
  {"seed": 60352, "edge": "570.578404"},
  {"seed": 60353, "edge": "525.444217"},
  {"seed": 60354, "edge": "602.567508"},
  {"seed": 60355, "edge": "438.923478"},
  {"seed": 60356, "edge": "652.069352"},
  {"seed": 60357, "edge": "528.682541"},
  {"seed": 60358, "edge": "507.154853"},
  {"seed": 60359, "edge": "495.513289"},
  {"seed": 60360, "edge": "552.942617"},
  {"seed": 60361, "edge": "697.465056"},
  {"seed": 60362, "edge": "375.469050"},
  {"seed": 60363, "edge": "557.659597"},
  {"seed": 60364, "edge": "487.095319"},
  {"seed": 60365, "edge": "668.443027"},
  {"seed": 60366, "edge": "631.980566"},
  {"seed": 60367, "edge": "536.814782"},
  {"seed": 60368, "edge": "611.921055"},
  {"seed": 60369, "edge": "574.724322"},
  {"seed": 60370, "edge": "631.266086"},
  {"seed": 60371, "edge": "429.599693"},
  {"seed": 60372, "edge": "537.694085"},
  {"seed": 60373, "edge": "468.740962"},
  {"seed": 60374, "edge": "562.228534"},
  {"seed": 60375, "edge": "669.576054"},
  {"seed": 60376, "edge": "468.911985"},
  {"seed": 60377, "edge": "505.756048"},
  {"seed": 60378, "edge": "524.799908"},
  {"seed": 60379, "edge": "455.711215"},
  {"seed": 60380, "edge": "461.840537"},
  {"seed": 60381, "edge": "477.038839"},
  {"seed": 60382, "edge": "653.145943"},
  {"seed": 60383, "edge": "479.997717"},
  {"seed": 60384, "edge": "437.399581"},
  {"seed": 60385, "edge": "603.863986"},
  {"seed": 60386, "edge": "599.428447"},
  {"seed": 60387, "edge": "687.589794"},
  {"seed": 60388, "edge": "439.872173"},
  {"seed": 60389, "edge": "627.996209"},
  {"seed": 60390, "edge": "558.257642"},
  {"seed": 60391, "edge": "552.221280"},
  {"seed": 60392, "edge": "446.223024"},
  {"seed": 60393, "edge": "614.943447"},
  {"seed": 60394, "edge": "420.006818"},
  {"seed": 60395, "edge": "635.525211"},
  {"seed": 60396, "edge": "560.496033"},
  {"seed": 60397, "edge": "544.845153"},
  {"seed": 60398, "edge": "606.623669"},
  {"seed": 60399, "edge": "422.699411"},
  {"seed": 60400, "edge": "517.499997"},
  {"seed": 60401, "edge": "480.434690"},
  {"seed": 60402, "edge": "484.491168"},
  {"seed": 60403, "edge": "572.452256"},
  {"seed": 60404, "edge": "615.535759"},
  {"seed": 60405, "edge": "656.284820"},
  {"seed": 60406, "edge": "436.203468"},
  {"seed": 60407, "edge": "592.875305"},
  {"seed": 60408, "edge": "716.383719"},
  {"seed": 60409, "edge": "558.309582"},
  {"seed": 60410, "edge": "484.988990"},
  {"seed": 60411, "edge": "674.092068"},
  {"seed": 60412, "edge": "573.717016"},
  {"seed": 60413, "edge": "536.800136"},
  {"seed": 60414, "edge": "445.209819"},
  {"seed": 60415, "edge": "470.050822"},
  {"seed": 60416, "edge": "355.196564"},
  {"seed": 60417, "edge": "683.512536"},
  {"seed": 60418, "edge": "445.872671"},
  {"seed": 60419, "edge": "385.035416"},
  {"seed": 60420, "edge": "397.964740"},
  {"seed": 60421, "edge": "428.486896"},
  {"seed": 60422, "edge": "408.493945"},
  {"seed": 60423, "edge": "467.058988"},
  {"seed": 60424, "edge": "651.814795"},
  {"seed": 60425, "edge": "491.735869"},
  {"seed": 60426, "edge": "584.949531"},
  {"seed": 60427, "edge": "513.190274"},
  {"seed": 60428, "edge": "430.381443"},
  {"seed": 60429, "edge": "465.408284"},
  {"seed": 60430, "edge": "531.932610"},
  {"seed": 60431, "edge": "601.284779"},
  {"seed": 60432, "edge": "462.797463"},
  {"seed": 60433, "edge": "672.576802"},
  {"seed": 60434, "edge": "583.970057"},
  {"seed": 60435, "edge": "494.055743"},
  {"seed": 60436, "edge": "411.442723"},
  {"seed": 60437, "edge": "542.937337"},
  {"seed": 60438, "edge": "688.286733"},
  {"seed": 60439, "edge": "510.767051"},
  {"seed": 60440, "edge": "652.154766"},
  {"seed": 60441, "edge": "467.759682"},
  {"seed": 60442, "edge": "600.462603"},
  {"seed": 60443, "edge": "473.497216"},
  {"seed": 60444, "edge": "472.577647"},
  {"seed": 60445, "edge": "539.715367"},
  {"seed": 60446, "edge": "629.382217"},
  {"seed": 60447, "edge": "459.512863"},
  {"seed": 60448, "edge": "481.787986"},
  {"seed": 60449, "edge": "426.702607"},
  {"seed": 60450, "edge": "453.416023"},
  {"seed": 60451, "edge": "417.110521"},
  {"seed": 60452, "edge": "570.591535"},
  {"seed": 60453, "edge": "818.042149"},
  {"seed": 60454, "edge": "575.239974"},
  {"seed": 60455, "edge": "495.276564"},
  {"seed": 60456, "edge": "617.327162"},
  {"seed": 60457, "edge": "521.356806"},
  {"seed": 60458, "edge": "513.086477"},
  {"seed": 60459, "edge": "607.452187"},
  {"seed": 60460, "edge": "559.255447"},
  {"seed": 60461, "edge": "538.069575"},
  {"seed": 60462, "edge": "513.083620"},
  {"seed": 60463, "edge": "657.523617"},
  {"seed": 60464, "edge": "478.672277"},
  {"seed": 60465, "edge": "367.602186"},
  {"seed": 60466, "edge": "547.095383"},
  {"seed": 60467, "edge": "801.323144"},
  {"seed": 60468, "edge": "456.387680"},
  {"seed": 60469, "edge": "639.411508"},
  {"seed": 60470, "edge": "579.463430"},
  {"seed": 60471, "edge": "448.388725"},
  {"seed": 60472, "edge": "493.367050"},
  {"seed": 60473, "edge": "483.268091"},
  {"seed": 60474, "edge": "699.918929"},
  {"seed": 60475, "edge": "589.243117"},
  {"seed": 60476, "edge": "463.295040"},
  {"seed": 60477, "edge": "535.382672"},
  {"seed": 60478, "edge": "514.288630"},
  {"seed": 60479, "edge": "480.241860"},
  {"seed": 60480, "edge": "764.283256"},
  {"seed": 60481, "edge": "429.005815"},
  {"seed": 60482, "edge": "680.335970"},
  {"seed": 60483, "edge": "567.003418"},
  {"seed": 60484, "edge": "417.110150"},
  {"seed": 60485, "edge": "628.748837"},
  {"seed": 60486, "edge": "386.790138"},
  {"seed": 60487, "edge": "554.372989"},
  {"seed": 60488, "edge": "434.930186"},
  {"seed": 60489, "edge": "450.647689"},
  {"seed": 60490, "edge": "516.329455"},
  {"seed": 60491, "edge": "352.429161"},
  {"seed": 60492, "edge": "491.242019"},
  {"seed": 60493, "edge": "586.630989"},
  {"seed": 60494, "edge": "432.652317"},
  {"seed": 60495, "edge": "681.262945"},
  {"seed": 60496, "edge": "674.580828"},
  {"seed": 60497, "edge": "662.245181"},
  {"seed": 60498, "edge": "357.243556"},
  {"seed": 60499, "edge": "499.821920"},
  {"seed": 60500, "edge": "520.813412"},
  {"seed": 60501, "edge": "549.554067"},
  {"seed": 60502, "edge": "455.718274"},
  {"seed": 60503, "edge": "662.015096"},
  {"seed": 60504, "edge": "624.177864"},
  {"seed": 60505, "edge": "432.041107"},
  {"seed": 60506, "edge": "636.335926"},
  {"seed": 60507, "edge": "382.789408"},
  {"seed": 60508, "edge": "528.435028"},
  {"seed": 60509, "edge": "571.626523"},
  {"seed": 60510, "edge": "536.415475"},
  {"seed": 60511, "edge": "571.313449"},
  {"seed": 60512, "edge": "392.357562"},
  {"seed": 60513, "edge": "493.039558"},
  {"seed": 60514, "edge": "516.058616"},
  {"seed": 60515, "edge": "445.083632"},
  {"seed": 60516, "edge": "491.382327"},
  {"seed": 60517, "edge": "406.816459"},
  {"seed": 60518, "edge": "520.844328"},
  {"seed": 60519, "edge": "508.303561"},
  {"seed": 60520, "edge": "547.316704"},
  {"seed": 60521, "edge": "547.717441"},
  {"seed": 60522, "edge": "639.098859"},
  {"seed": 60523, "edge": "532.048638"},
  {"seed": 60524, "edge": "525.378363"},
  {"seed": 60525, "edge": "570.228335"},
  {"seed": 60526, "edge": "540.058755"},
  {"seed": 60527, "edge": "750.797964"},
  {"seed": 60528, "edge": "412.349867"},
  {"seed": 60529, "edge": "397.159568"},
  {"seed": 60530, "edge": "450.963371"},
  {"seed": 60531, "edge": "445.685772"},
  {"seed": 60532, "edge": "598.277874"},
  {"seed": 60533, "edge": "426.223591"},
  {"seed": 60534, "edge": "381.462652"},
  {"seed": 60535, "edge": "408.579625"},
  {"seed": 60536, "edge": "515.861983"},
  {"seed": 60537, "edge": "508.400598"},
  {"seed": 60538, "edge": "390.258031"},
  {"seed": 60539, "edge": "560.067762"},
  {"seed": 60540, "edge": "616.582042"},
  {"seed": 60541, "edge": "555.128158"},
  {"seed": 60542, "edge": "437.179969"},
  {"seed": 60543, "edge": "717.757719"},
  {"seed": 60544, "edge": "430.553280"},
  {"seed": 60545, "edge": "599.313705"},
  {"seed": 60546, "edge": "690.850913"},
  {"seed": 60547, "edge": "587.706921"},
  {"seed": 60548, "edge": "444.503852"},
  {"seed": 60549, "edge": "523.520465"},
  {"seed": 60550, "edge": "550.978497"},
  {"seed": 60551, "edge": "638.973711"},
  {"seed": 60552, "edge": "439.711419"},
  {"seed": 60553, "edge": "405.163469"},
  {"seed": 60554, "edge": "553.899606"},
  {"seed": 60555, "edge": "550.974380"},
  {"seed": 60556, "edge": "583.543771"},
  {"seed": 60557, "edge": "425.108976"},
  {"seed": 60558, "edge": "538.852757"},
  {"seed": 60559, "edge": "549.856770"},
  {"seed": 60560, "edge": "403.923770"},
  {"seed": 60561, "edge": "449.187592"},
  {"seed": 60562, "edge": "634.918706"},
  {"seed": 60563, "edge": "586.774846"},
  {"seed": 60564, "edge": "597.311831"},
  {"seed": 60565, "edge": "637.425095"},
  {"seed": 60566, "edge": "641.662736"},
  {"seed": 60567, "edge": "633.781265"},
  {"seed": 60568, "edge": "607.299903"},
  {"seed": 60569, "edge": "684.487032"},
  {"seed": 60570, "edge": "581.552774"},
  {"seed": 60571, "edge": "574.489513"},
  {"seed": 60572, "edge": "615.138576"},
  {"seed": 60573, "edge": "519.845418"},
  {"seed": 60574, "edge": "525.192321"},
  {"seed": 60575, "edge": "513.229592"},
  {"seed": 60576, "edge": "596.299399"},
  {"seed": 60577, "edge": "691.636829"},
  {"seed": 60578, "edge": "525.283555"},
  {"seed": 60579, "edge": "540.723214"},
  {"seed": 60580, "edge": "419.238796"},
  {"seed": 60581, "edge": "640.125058"},
  {"seed": 60582, "edge": "524.603115"},
  {"seed": 60583, "edge": "565.399857"},
  {"seed": 60584, "edge": "473.541954"},
  {"seed": 60585, "edge": "491.391387"},
  {"seed": 60586, "edge": "552.478610"},
  {"seed": 60587, "edge": "548.602027"},
  {"seed": 60588, "edge": "676.420643"},
  {"seed": 60589, "edge": "622.615248"},
  {"seed": 60590, "edge": "453.295005"},
  {"seed": 60591, "edge": "500.887179"},
  {"seed": 60592, "edge": "553.332498"},
  {"seed": 60593, "edge": "432.770304"},
  {"seed": 60594, "edge": "681.176214"},
  {"seed": 60595, "edge": "608.733441"},
  {"seed": 60596, "edge": "454.941934"},
  {"seed": 60597, "edge": "532.547002"},
  {"seed": 60598, "edge": "511.612787"},
  {"seed": 60599, "edge": "433.802267"},
  {"seed": 60600, "edge": "537.866171"},
  {"seed": 60601, "edge": "477.788330"},
  {"seed": 60602, "edge": "543.072111"},
  {"seed": 60603, "edge": "619.439305"},
  {"seed": 60604, "edge": "621.578231"},
  {"seed": 60605, "edge": "377.160786"},
  {"seed": 60606, "edge": "467.591473"},
  {"seed": 60607, "edge": "391.011090"},
  {"seed": 60608, "edge": "639.498942"},
  {"seed": 60609, "edge": "586.989210"},
  {"seed": 60610, "edge": "640.338154"},
  {"seed": 60611, "edge": "516.521214"},
  {"seed": 60612, "edge": "604.051689"},
  {"seed": 60613, "edge": "528.996880"},
  {"seed": 60614, "edge": "387.441131"},
  {"seed": 60615, "edge": "452.929876"},
  {"seed": 60616, "edge": "412.474433"},
  {"seed": 60617, "edge": "360.422507"},
  {"seed": 60618, "edge": "541.562470"},
  {"seed": 60619, "edge": "415.146563"},
  {"seed": 60620, "edge": "466.628912"},
  {"seed": 60621, "edge": "577.697766"},
  {"seed": 60622, "edge": "395.208891"},
  {"seed": 60623, "edge": "648.412348"},
  {"seed": 60624, "edge": "482.489653"},
  {"seed": 60625, "edge": "544.834028"},
  {"seed": 60626, "edge": "451.810664"},
  {"seed": 60627, "edge": "607.621846"},
  {"seed": 60628, "edge": "495.824056"},
  {"seed": 60629, "edge": "613.072310"},
  {"seed": 60630, "edge": "593.147833"},
  {"seed": 60631, "edge": "532.112387"},
  {"seed": 60632, "edge": "602.349126"},
  {"seed": 60633, "edge": "578.388383"},
  {"seed": 60634, "edge": "658.244604"},
  {"seed": 60635, "edge": "688.548829"},
  {"seed": 60636, "edge": "442.411385"},
  {"seed": 60637, "edge": "557.154871"},
  {"seed": 60638, "edge": "537.249753"},
  {"seed": 60639, "edge": "396.596082"},
  {"seed": 60640, "edge": "531.943190"},
  {"seed": 60641, "edge": "655.712472"},
  {"seed": 60642, "edge": "572.271647"},
  {"seed": 60643, "edge": "394.204086"},
  {"seed": 60644, "edge": "520.052887"},
  {"seed": 60645, "edge": "395.636126"},
  {"seed": 60646, "edge": "475.480824"},
  {"seed": 60647, "edge": "588.307139"},
  {"seed": 60648, "edge": "628.699761"},
  {"seed": 60649, "edge": "443.023950"},
  {"seed": 60650, "edge": "408.256569"},
  {"seed": 60651, "edge": "435.728335"},
  {"seed": 60652, "edge": "616.249511"},
  {"seed": 60653, "edge": "663.994690"},
  {"seed": 60654, "edge": "482.094689"},
  {"seed": 60655, "edge": "504.837875"},
  {"seed": 60656, "edge": "617.350670"},
  {"seed": 60657, "edge": "416.898868"},
  {"seed": 60658, "edge": "579.561714"},
  {"seed": 60659, "edge": "649.748933"},
  {"seed": 60660, "edge": "597.827174"},
  {"seed": 60661, "edge": "579.389719"},
  {"seed": 60662, "edge": "530.523956"},
  {"seed": 60663, "edge": "607.863963"},
  {"seed": 60664, "edge": "445.481011"},
  {"seed": 60665, "edge": "453.118380"},
  {"seed": 60666, "edge": "469.585348"},
  {"seed": 60667, "edge": "593.980715"},
  {"seed": 60668, "edge": "541.260097"},
  {"seed": 60669, "edge": "473.492045"},
  {"seed": 60670, "edge": "430.323550"},
  {"seed": 60671, "edge": "491.263854"},
  {"seed": 60672, "edge": "472.797819"},
  {"seed": 60673, "edge": "431.960452"},
  {"seed": 60674, "edge": "597.459879"},
  {"seed": 60675, "edge": "410.995747"},
  {"seed": 60676, "edge": "534.362453"},
  {"seed": 60677, "edge": "749.432612"},
  {"seed": 60678, "edge": "498.929669"},
  {"seed": 60679, "edge": "704.327251"},
  {"seed": 60680, "edge": "794.371253"},
  {"seed": 60681, "edge": "523.970379"},
  {"seed": 60682, "edge": "474.184511"},
  {"seed": 60683, "edge": "378.946962"},
  {"seed": 60684, "edge": "517.314505"},
  {"seed": 60685, "edge": "384.255973"},
  {"seed": 60686, "edge": "480.598693"},
  {"seed": 60687, "edge": "524.541973"},
  {"seed": 60688, "edge": "576.188715"},
  {"seed": 60689, "edge": "641.381050"},
  {"seed": 60690, "edge": "610.193319"},
  {"seed": 60691, "edge": "433.842512"},
  {"seed": 60692, "edge": "576.754771"},
  {"seed": 60693, "edge": "334.577237"},
  {"seed": 60694, "edge": "486.163302"},
  {"seed": 60695, "edge": "600.110692"},
  {"seed": 60696, "edge": "568.828352"},
  {"seed": 60697, "edge": "530.701755"},
  {"seed": 60698, "edge": "424.165409"},
  {"seed": 60699, "edge": "431.981620"},
  {"seed": 60700, "edge": "395.201890"},
  {"seed": 60701, "edge": "391.685497"},
  {"seed": 60702, "edge": "710.900639"},
  {"seed": 60703, "edge": "697.464441"},
  {"seed": 60704, "edge": "635.172510"},
  {"seed": 60705, "edge": "552.950056"},
  {"seed": 60706, "edge": "644.085645"},
  {"seed": 60707, "edge": "468.212367"},
  {"seed": 60708, "edge": "367.821923"},
  {"seed": 60709, "edge": "570.072754"},
  {"seed": 60710, "edge": "615.959067"},
  {"seed": 60711, "edge": "552.476274"},
  {"seed": 60712, "edge": "482.140441"},
  {"seed": 60713, "edge": "581.142698"},
  {"seed": 60714, "edge": "374.171458"},
  {"seed": 60715, "edge": "446.037444"},
  {"seed": 60716, "edge": "523.496822"},
  {"seed": 60717, "edge": "549.203085"},
  {"seed": 60718, "edge": "616.215956"},
  {"seed": 60719, "edge": "392.171849"},
  {"seed": 60720, "edge": "395.156090"},
  {"seed": 60721, "edge": "532.051701"},
  {"seed": 60722, "edge": "572.460721"},
  {"seed": 60723, "edge": "626.404261"},
  {"seed": 60724, "edge": "679.726184"},
  {"seed": 60725, "edge": "644.255797"},
  {"seed": 60726, "edge": "385.748212"},
  {"seed": 60727, "edge": "453.017060"},
  {"seed": 60728, "edge": "415.393224"},
  {"seed": 60729, "edge": "549.537101"},
  {"seed": 60730, "edge": "599.819072"},
  {"seed": 60731, "edge": "536.593046"},
  {"seed": 60732, "edge": "534.965353"},
  {"seed": 60733, "edge": "578.646147"},
  {"seed": 60734, "edge": "488.230038"},
  {"seed": 60735, "edge": "611.357490"},
  {"seed": 60736, "edge": "747.077289"},
  {"seed": 60737, "edge": "469.302841"},
  {"seed": 60738, "edge": "391.267933"},
  {"seed": 60739, "edge": "462.228153"},
  {"seed": 60740, "edge": "470.187559"},
  {"seed": 60741, "edge": "482.865094"},
  {"seed": 60742, "edge": "725.736945"},
  {"seed": 60743, "edge": "547.433808"},
  {"seed": 60744, "edge": "582.110322"},
  {"seed": 60745, "edge": "620.455844"},
  {"seed": 60746, "edge": "407.450631"},
  {"seed": 60747, "edge": "600.455669"},
  {"seed": 60748, "edge": "543.755656"},
  {"seed": 60749, "edge": "453.688377"},
  {"seed": 60750, "edge": "417.610135"},
  {"seed": 60751, "edge": "428.959373"},
  {"seed": 60752, "edge": "616.591128"},
  {"seed": 60753, "edge": "514.863096"},
  {"seed": 60754, "edge": "470.916309"},
  {"seed": 60755, "edge": "533.468137"},
  {"seed": 60756, "edge": "496.874234"},
  {"seed": 60757, "edge": "530.216032"},
  {"seed": 60758, "edge": "594.757062"},
  {"seed": 60759, "edge": "741.828529"},
  {"seed": 60760, "edge": "458.347627"},
  {"seed": 60761, "edge": "575.632085"},
  {"seed": 60762, "edge": "601.575903"},
  {"seed": 60763, "edge": "624.209695"},
  {"seed": 60764, "edge": "418.887577"},
  {"seed": 60765, "edge": "598.758552"},
  {"seed": 60766, "edge": "666.235114"},
  {"seed": 60767, "edge": "386.151149"},
  {"seed": 60768, "edge": "522.435889"},
  {"seed": 60769, "edge": "420.263470"},
  {"seed": 60770, "edge": "478.645085"},
  {"seed": 60771, "edge": "476.299269"},
  {"seed": 60772, "edge": "536.281895"},
  {"seed": 60773, "edge": "545.298196"},
  {"seed": 60774, "edge": "418.818226"},
  {"seed": 60775, "edge": "517.862898"},
  {"seed": 60776, "edge": "455.239962"},
  {"seed": 60777, "edge": "448.526326"},
  {"seed": 60778, "edge": "581.787012"},
  {"seed": 60779, "edge": "443.338928"},
  {"seed": 60780, "edge": "397.111301"},
  {"seed": 60781, "edge": "470.031405"},
  {"seed": 60782, "edge": "653.313166"},
  {"seed": 60783, "edge": "642.495832"},
  {"seed": 60784, "edge": "639.024584"},
  {"seed": 60785, "edge": "405.309751"},
  {"seed": 60786, "edge": "480.917653"},
  {"seed": 60787, "edge": "539.188146"},
  {"seed": 60788, "edge": "403.089612"},
  {"seed": 60789, "edge": "487.742697"},
  {"seed": 60790, "edge": "549.999269"},
  {"seed": 60791, "edge": "394.364464"},
  {"seed": 60792, "edge": "453.233817"},
  {"seed": 60793, "edge": "514.092445"},
  {"seed": 60794, "edge": "502.220527"},
  {"seed": 60795, "edge": "517.319474"},
  {"seed": 60796, "edge": "527.991220"},
  {"seed": 60797, "edge": "383.492563"},
  {"seed": 60798, "edge": "433.135624"},
  {"seed": 60799, "edge": "533.484679"},
  {"seed": 60800, "edge": "575.900703"},
  {"seed": 60801, "edge": "552.393288"},
  {"seed": 60802, "edge": "739.822897"},
  {"seed": 60803, "edge": "650.490904"},
  {"seed": 60804, "edge": "504.428562"},
  {"seed": 60805, "edge": "556.713949"},
  {"seed": 60806, "edge": "619.844407"},
  {"seed": 60807, "edge": "486.271071"},
  {"seed": 60808, "edge": "434.995254"},
  {"seed": 60809, "edge": "692.333296"},
  {"seed": 60810, "edge": "603.285184"},
  {"seed": 60811, "edge": "601.297990"},
  {"seed": 60812, "edge": "491.061337"},
  {"seed": 60813, "edge": "625.151679"},
  {"seed": 60814, "edge": "627.148181"},
  {"seed": 60815, "edge": "492.216998"},
  {"seed": 60816, "edge": "547.711208"},
  {"seed": 60817, "edge": "631.966696"},
  {"seed": 60818, "edge": "633.791350"},
  {"seed": 60819, "edge": "678.350433"},
  {"seed": 60820, "edge": "357.251368"},
  {"seed": 60821, "edge": "669.030075"},
  {"seed": 60822, "edge": "560.785765"},
  {"seed": 60823, "edge": "433.053588"},
  {"seed": 60824, "edge": "451.137196"},
  {"seed": 60825, "edge": "606.426617"},
  {"seed": 60826, "edge": "519.725197"},
  {"seed": 60827, "edge": "527.959012"},
  {"seed": 60828, "edge": "402.169111"},
  {"seed": 60829, "edge": "385.205359"},
  {"seed": 60830, "edge": "488.297105"},
  {"seed": 60831, "edge": "480.952545"},
  {"seed": 60832, "edge": "536.188228"},
  {"seed": 60833, "edge": "392.603715"},
  {"seed": 60834, "edge": "519.665333"},
  {"seed": 60835, "edge": "580.570409"},
  {"seed": 60836, "edge": "450.645158"},
  {"seed": 60837, "edge": "405.085566"},
  {"seed": 60838, "edge": "467.184205"},
  {"seed": 60839, "edge": "716.853191"},
  {"seed": 60840, "edge": "689.641714"},
  {"seed": 60841, "edge": "540.982179"},
  {"seed": 60842, "edge": "459.366957"},
  {"seed": 60843, "edge": "556.817528"},
  {"seed": 60844, "edge": "526.874008"},
  {"seed": 60845, "edge": "573.741196"},
  {"seed": 60846, "edge": "608.519290"},
  {"seed": 60847, "edge": "680.550160"},
  {"seed": 60848, "edge": "703.302536"},
  {"seed": 60849, "edge": "431.200333"},
  {"seed": 60850, "edge": "501.131442"},
  {"seed": 60851, "edge": "451.439269"},
  {"seed": 60852, "edge": "518.274339"},
  {"seed": 60853, "edge": "614.352745"},
  {"seed": 60854, "edge": "607.778881"},
  {"seed": 60855, "edge": "623.753224"},
  {"seed": 60856, "edge": "465.179401"},
  {"seed": 60857, "edge": "508.287132"},
  {"seed": 60858, "edge": "614.290838"},
  {"seed": 60859, "edge": "556.187948"},
  {"seed": 60860, "edge": "431.788599"},
  {"seed": 60861, "edge": "418.476641"},
  {"seed": 60862, "edge": "457.544768"},
  {"seed": 60863, "edge": "457.104372"},
  {"seed": 60864, "edge": "399.941757"},
  {"seed": 60865, "edge": "462.618169"},
  {"seed": 60866, "edge": "440.374724"},
  {"seed": 60867, "edge": "409.157783"},
  {"seed": 60868, "edge": "513.654435"},
  {"seed": 60869, "edge": "684.001039"},
  {"seed": 60870, "edge": "505.894131"},
  {"seed": 60871, "edge": "610.188601"},
  {"seed": 60872, "edge": "438.703387"},
  {"seed": 60873, "edge": "568.826163"},
  {"seed": 60874, "edge": "595.012921"},
  {"seed": 60875, "edge": "443.041002"},
  {"seed": 60876, "edge": "550.492186"},
  {"seed": 60877, "edge": "643.698960"},
  {"seed": 60878, "edge": "674.677371"},
  {"seed": 60879, "edge": "541.789571"},
  {"seed": 60880, "edge": "418.567223"},
  {"seed": 60881, "edge": "582.753839"},
  {"seed": 60882, "edge": "460.447121"},
  {"seed": 60883, "edge": "530.995970"},
  {"seed": 60884, "edge": "490.029588"},
  {"seed": 60885, "edge": "613.567202"},
  {"seed": 60886, "edge": "463.370713"},
  {"seed": 60887, "edge": "567.559255"},
  {"seed": 60888, "edge": "545.468105"},
  {"seed": 60889, "edge": "530.922783"},
  {"seed": 60890, "edge": "663.754731"},
  {"seed": 60891, "edge": "624.443230"},
  {"seed": 60892, "edge": "611.731883"},
  {"seed": 60893, "edge": "482.428310"},
  {"seed": 60894, "edge": "558.244824"},
  {"seed": 60895, "edge": "552.997184"},
  {"seed": 60896, "edge": "520.475275"},
  {"seed": 60897, "edge": "441.898093"},
  {"seed": 60898, "edge": "467.435712"},
  {"seed": 60899, "edge": "565.012746"},
  {"seed": 60900, "edge": "695.759639"},
  {"seed": 60901, "edge": "465.288549"},
  {"seed": 60902, "edge": "471.887728"},
  {"seed": 60903, "edge": "548.686768"},
  {"seed": 60904, "edge": "427.803419"},
  {"seed": 60905, "edge": "506.462924"},
  {"seed": 60906, "edge": "445.772541"},
  {"seed": 60907, "edge": "389.337598"},
  {"seed": 60908, "edge": "544.537976"},
  {"seed": 60909, "edge": "517.369263"},
  {"seed": 60910, "edge": "429.315515"},
  {"seed": 60911, "edge": "559.476525"},
  {"seed": 60912, "edge": "707.503530"},
  {"seed": 60913, "edge": "517.303470"},
  {"seed": 60914, "edge": "395.362083"},
  {"seed": 60915, "edge": "617.644859"},
  {"seed": 60916, "edge": "647.211834"},
  {"seed": 60917, "edge": "625.145690"},
  {"seed": 60918, "edge": "462.616560"},
  {"seed": 60919, "edge": "639.781771"},
  {"seed": 60920, "edge": "407.326948"},
  {"seed": 60921, "edge": "435.685915"},
  {"seed": 60922, "edge": "445.996506"},
  {"seed": 60923, "edge": "624.066420"},
  {"seed": 60924, "edge": "402.130742"},
  {"seed": 60925, "edge": "397.075091"},
  {"seed": 60926, "edge": "551.052142"},
  {"seed": 60927, "edge": "499.921388"},
  {"seed": 60928, "edge": "618.225581"},
  {"seed": 60929, "edge": "677.540602"},
  {"seed": 60930, "edge": "662.169023"},
  {"seed": 60931, "edge": "627.092062"},
  {"seed": 60932, "edge": "395.497582"},
  {"seed": 60933, "edge": "610.701262"},
  {"seed": 60934, "edge": "517.703275"},
  {"seed": 60935, "edge": "511.558459"},
  {"seed": 60936, "edge": "542.763937"},
  {"seed": 60937, "edge": "530.590128"},
  {"seed": 60938, "edge": "455.254205"},
  {"seed": 60939, "edge": "514.338469"},
  {"seed": 60940, "edge": "443.148597"},
  {"seed": 60941, "edge": "547.157352"},
  {"seed": 60942, "edge": "646.171665"},
  {"seed": 60943, "edge": "686.386049"},
  {"seed": 60944, "edge": "563.290235"},
  {"seed": 60945, "edge": "566.908181"},
  {"seed": 60946, "edge": "607.842935"},
  {"seed": 60947, "edge": "394.362109"},
  {"seed": 60948, "edge": "563.103357"},
  {"seed": 60949, "edge": "590.576753"},
  {"seed": 60950, "edge": "411.362530"},
  {"seed": 60951, "edge": "517.233251"},
  {"seed": 60952, "edge": "415.721672"},
  {"seed": 60953, "edge": "571.818012"},
  {"seed": 60954, "edge": "433.423048"},
  {"seed": 60955, "edge": "531.939438"},
  {"seed": 60956, "edge": "410.691922"},
  {"seed": 60957, "edge": "580.092967"},
  {"seed": 60958, "edge": "601.223250"},
  {"seed": 60959, "edge": "391.109779"},
  {"seed": 60960, "edge": "650.506017"},
  {"seed": 60961, "edge": "609.567557"},
  {"seed": 60962, "edge": "711.290998"},
  {"seed": 60963, "edge": "668.079290"},
  {"seed": 60964, "edge": "717.059277"},
  {"seed": 60965, "edge": "690.421677"},
  {"seed": 60966, "edge": "375.565414"},
  {"seed": 60967, "edge": "396.281178"},
  {"seed": 60968, "edge": "574.004309"},
  {"seed": 60969, "edge": "508.123544"},
  {"seed": 60970, "edge": "435.064774"},
  {"seed": 60971, "edge": "421.795854"},
  {"seed": 60972, "edge": "640.585156"},
  {"seed": 60973, "edge": "561.368478"},
  {"seed": 60974, "edge": "475.349298"},
  {"seed": 60975, "edge": "700.998712"},
  {"seed": 60976, "edge": "669.944755"},
  {"seed": 60977, "edge": "602.294932"},
  {"seed": 60978, "edge": "476.118564"},
  {"seed": 60979, "edge": "427.329683"},
  {"seed": 60980, "edge": "571.282167"},
  {"seed": 60981, "edge": "562.320236"},
  {"seed": 60982, "edge": "665.365465"},
  {"seed": 60983, "edge": "603.441931"},
  {"seed": 60984, "edge": "630.560058"},
  {"seed": 60985, "edge": "511.684140"},
  {"seed": 60986, "edge": "468.149004"},
  {"seed": 60987, "edge": "607.456490"},
  {"seed": 60988, "edge": "513.974087"},
  {"seed": 60989, "edge": "680.040032"},
  {"seed": 60990, "edge": "456.116695"},
  {"seed": 60991, "edge": "606.457717"},
  {"seed": 60992, "edge": "659.718630"},
  {"seed": 60993, "edge": "587.206971"},
  {"seed": 60994, "edge": "597.418158"},
  {"seed": 60995, "edge": "454.140954"},
  {"seed": 60996, "edge": "619.746287"},
  {"seed": 60997, "edge": "438.618736"},
  {"seed": 60998, "edge": "402.342056"},
  {"seed": 60999, "edge": "503.294111"},
  {"seed": 61000, "edge": "524.571434"},
  {"seed": 61001, "edge": "471.058207"},
  {"seed": 61002, "edge": "379.519094"},
  {"seed": 61003, "edge": "489.567324"},
  {"seed": 61004, "edge": "667.051929"},
  {"seed": 61005, "edge": "504.535911"},
  {"seed": 61006, "edge": "550.544802"},
  {"seed": 61007, "edge": "463.910071"},
  {"seed": 61008, "edge": "480.479580"},
  {"seed": 61009, "edge": "465.906963"},
  {"seed": 61010, "edge": "444.428894"},
  {"seed": 61011, "edge": "526.237828"},
  {"seed": 61012, "edge": "670.515383"},
  {"seed": 61013, "edge": "719.257217"},
  {"seed": 61014, "edge": "500.664947"},
  {"seed": 61015, "edge": "421.359096"},
  {"seed": 61016, "edge": "688.603199"},
  {"seed": 61017, "edge": "547.919629"},
  {"seed": 61018, "edge": "435.818400"},
  {"seed": 61019, "edge": "596.241352"},
  {"seed": 61020, "edge": "466.328577"},
  {"seed": 61021, "edge": "468.343476"},
  {"seed": 61022, "edge": "508.039390"},
  {"seed": 61023, "edge": "603.633735"}
 ]
}