{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "TwoComp",
 "provenance": {
  "origin": "ammfast.run_batch (Numba port of Taylor's replica2.run); not a CPython rerun",
  "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
  "sources": [
   {
    "path": "reference/combo/combo.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/combo/combo.py",
    "sha256": "c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"
   },
   {
    "path": "reference/qt1/blob.bin",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/blob.bin",
    "sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
   },
   {
    "path": "reference/qt1/qmref.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/qmref.py",
    "sha256": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"
   },
   {
    "path": "reference/taylor/replica2.py",
    "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
    "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
   },
   {
    "path": "reference/twocomp/twocomp.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/twocomp/twocomp.py",
    "sha256": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"
   }
  ],
  "source_inventory": {
   "path": "reference/sources.json",
   "sha256": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"
  },
  "kernel_origin": {
   "path": "reference/envelopes/numba__fastsim.py.json",
   "sha256": "355105f14d012389dd750af045e29b284b53a790a677fd4bf0be3033350ecae1"
  },
  "implementation": {
   "ammfast/__init__.py": "5ce5b00b96ca7da11f37010d234803eca0e92adb2eebec18a35cb6d81c645b6c",
   "ammfast/_head.py": "3ea24996bf90ce3dbb32fed745f9073c477b0ccd250befb5082a6ac8878ff86f",
   "ammfast/_kernel.py": "45613331edb2fd46afa607612e1e6f0c22f0132c9974df6445ce18afe04cc2ae",
   "ammfast/_reference.py": "6509935958e7a317163b58b7da67add653a73028378fde65db9c40dddbfd3de0"
  },
  "checkpoint_binding": "e66a7b4315bd5e7fc6430ae5a7d191bfe8d6e752eff9843f9a3d819cecf145ea",
  "generation_command": "python -B baselines/replica/generate.py --stage all --workers 4 --budget 420",
  "backend_runtime": {
   "python": "3.12.16",
   "implementation": "cpython",
   "platform": "linux",
   "machine": "x86_64",
   "numpy": "2.5.4",
   "numba": "0.68.1",
   "llvmlite": "0.50.0"
  },
  "n_steps": 10000,
  "seed_range": [
   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": 1.0231815394945443e-11
   }
  }
 },
 "rows": [
  {"seed": 60000, "edge": "486.763074"},
  {"seed": 60001, "edge": "490.028910"},
  {"seed": 60002, "edge": "591.307779"},
  {"seed": 60003, "edge": "589.939641"},
  {"seed": 60004, "edge": "553.895193"},
  {"seed": 60005, "edge": "623.040528"},
  {"seed": 60006, "edge": "539.825145"},
  {"seed": 60007, "edge": "449.060159"},
  {"seed": 60008, "edge": "384.859276"},
  {"seed": 60009, "edge": "468.566541"},
  {"seed": 60010, "edge": "592.486336"},
  {"seed": 60011, "edge": "450.085840"},
  {"seed": 60012, "edge": "453.744403"},
  {"seed": 60013, "edge": "484.537041"},
  {"seed": 60014, "edge": "565.872665"},
  {"seed": 60015, "edge": "492.431231"},
  {"seed": 60016, "edge": "409.736570"},
  {"seed": 60017, "edge": "593.017774"},
  {"seed": 60018, "edge": "618.967841"},
  {"seed": 60019, "edge": "514.422814"},
  {"seed": 60020, "edge": "583.836326"},
  {"seed": 60021, "edge": "369.619498"},
  {"seed": 60022, "edge": "545.315523"},
  {"seed": 60023, "edge": "707.435929"},
  {"seed": 60024, "edge": "524.350050"},
  {"seed": 60025, "edge": "704.310613"},
  {"seed": 60026, "edge": "655.924281"},
  {"seed": 60027, "edge": "611.393862"},
  {"seed": 60028, "edge": "554.054006"},
  {"seed": 60029, "edge": "625.936059"},
  {"seed": 60030, "edge": "393.607169"},
  {"seed": 60031, "edge": "669.716368"},
  {"seed": 60032, "edge": "551.769526"},
  {"seed": 60033, "edge": "672.647841"},
  {"seed": 60034, "edge": "475.890529"},
  {"seed": 60035, "edge": "618.310489"},
  {"seed": 60036, "edge": "688.263392"},
  {"seed": 60037, "edge": "551.336104"},
  {"seed": 60038, "edge": "540.302725"},
  {"seed": 60039, "edge": "539.933467"},
  {"seed": 60040, "edge": "585.140089"},
  {"seed": 60041, "edge": "533.933326"},
  {"seed": 60042, "edge": "403.543633"},
  {"seed": 60043, "edge": "543.070589"},
  {"seed": 60044, "edge": "436.481756"},
  {"seed": 60045, "edge": "601.349761"},
  {"seed": 60046, "edge": "530.870668"},
  {"seed": 60047, "edge": "488.821162"},
  {"seed": 60048, "edge": "527.538137"},
  {"seed": 60049, "edge": "447.396610"},
  {"seed": 60050, "edge": "416.802964"},
  {"seed": 60051, "edge": "412.264870"},
  {"seed": 60052, "edge": "603.583539"},
  {"seed": 60053, "edge": "465.086300"},
  {"seed": 60054, "edge": "438.773255"},
  {"seed": 60055, "edge": "539.469573"},
  {"seed": 60056, "edge": "540.527103"},
  {"seed": 60057, "edge": "579.627983"},
  {"seed": 60058, "edge": "619.183218"},
  {"seed": 60059, "edge": "419.768589"},
  {"seed": 60060, "edge": "466.701865"},
  {"seed": 60061, "edge": "373.065858"},
  {"seed": 60062, "edge": "534.244368"},
  {"seed": 60063, "edge": "394.649529"},
  {"seed": 60064, "edge": "453.409163"},
  {"seed": 60065, "edge": "560.045350"},
  {"seed": 60066, "edge": "516.180052"},
  {"seed": 60067, "edge": "581.779161"},
  {"seed": 60068, "edge": "485.732162"},
  {"seed": 60069, "edge": "523.551128"},
  {"seed": 60070, "edge": "580.111405"},
  {"seed": 60071, "edge": "489.655015"},
  {"seed": 60072, "edge": "605.758184"},
  {"seed": 60073, "edge": "572.340876"},
  {"seed": 60074, "edge": "376.429127"},
  {"seed": 60075, "edge": "499.320941"},
  {"seed": 60076, "edge": "551.235386"},
  {"seed": 60077, "edge": "427.575923"},
  {"seed": 60078, "edge": "498.916740"},
  {"seed": 60079, "edge": "482.135129"},
  {"seed": 60080, "edge": "428.733991"},
  {"seed": 60081, "edge": "602.269555"},
  {"seed": 60082, "edge": "518.313394"},
  {"seed": 60083, "edge": "571.908996"},
  {"seed": 60084, "edge": "585.399778"},
  {"seed": 60085, "edge": "534.242088"},
  {"seed": 60086, "edge": "566.903775"},
  {"seed": 60087, "edge": "707.949867"},
  {"seed": 60088, "edge": "500.561395"},
  {"seed": 60089, "edge": "504.282457"},
  {"seed": 60090, "edge": "429.667897"},
  {"seed": 60091, "edge": "593.754934"},
  {"seed": 60092, "edge": "566.828740"},
  {"seed": 60093, "edge": "454.873070"},
  {"seed": 60094, "edge": "396.565972"},
  {"seed": 60095, "edge": "603.702841"},
  {"seed": 60096, "edge": "429.312201"},
  {"seed": 60097, "edge": "475.651353"},
  {"seed": 60098, "edge": "468.556252"},
  {"seed": 60099, "edge": "434.627803"},
  {"seed": 60100, "edge": "500.290253"},
  {"seed": 60101, "edge": "582.329119"},
  {"seed": 60102, "edge": "501.231148"},
  {"seed": 60103, "edge": "592.020138"},
  {"seed": 60104, "edge": "678.385555"},
  {"seed": 60105, "edge": "626.517209"},
  {"seed": 60106, "edge": "532.246545"},
  {"seed": 60107, "edge": "482.607922"},
  {"seed": 60108, "edge": "390.628339"},
  {"seed": 60109, "edge": "410.140716"},
  {"seed": 60110, "edge": "579.593889"},
  {"seed": 60111, "edge": "603.630673"},
  {"seed": 60112, "edge": "488.823341"},
  {"seed": 60113, "edge": "650.753318"},
  {"seed": 60114, "edge": "430.253563"},
  {"seed": 60115, "edge": "596.228394"},
  {"seed": 60116, "edge": "404.962715"},
  {"seed": 60117, "edge": "601.682441"},
  {"seed": 60118, "edge": "388.492940"},
  {"seed": 60119, "edge": "422.983289"},
  {"seed": 60120, "edge": "538.416193"},
  {"seed": 60121, "edge": "597.154260"},
  {"seed": 60122, "edge": "682.371728"},
  {"seed": 60123, "edge": "500.122193"},
  {"seed": 60124, "edge": "601.612791"},
  {"seed": 60125, "edge": "526.833914"},
  {"seed": 60126, "edge": "672.844186"},
  {"seed": 60127, "edge": "454.526949"},
  {"seed": 60128, "edge": "581.911286"},
  {"seed": 60129, "edge": "404.926010"},
  {"seed": 60130, "edge": "544.851426"},
  {"seed": 60131, "edge": "581.191137"},
  {"seed": 60132, "edge": "487.343641"},
  {"seed": 60133, "edge": "446.563407"},
  {"seed": 60134, "edge": "572.215081"},
  {"seed": 60135, "edge": "500.556825"},
  {"seed": 60136, "edge": "635.693317"},
  {"seed": 60137, "edge": "529.848584"},
  {"seed": 60138, "edge": "597.084382"},
  {"seed": 60139, "edge": "517.529337"},
  {"seed": 60140, "edge": "439.049586"},
  {"seed": 60141, "edge": "506.993103"},
  {"seed": 60142, "edge": "558.107750"},
  {"seed": 60143, "edge": "781.394327"},
  {"seed": 60144, "edge": "464.428523"},
  {"seed": 60145, "edge": "632.122247"},
  {"seed": 60146, "edge": "511.161034"},
  {"seed": 60147, "edge": "671.635281"},
  {"seed": 60148, "edge": "631.662373"},
  {"seed": 60149, "edge": "737.682792"},
  {"seed": 60150, "edge": "461.355071"},
  {"seed": 60151, "edge": "432.681921"},
  {"seed": 60152, "edge": "644.059608"},
  {"seed": 60153, "edge": "511.069805"},
  {"seed": 60154, "edge": "697.276721"},
  {"seed": 60155, "edge": "540.264421"},
  {"seed": 60156, "edge": "371.441553"},
  {"seed": 60157, "edge": "498.293638"},
  {"seed": 60158, "edge": "439.362905"},
  {"seed": 60159, "edge": "360.383785"},
  {"seed": 60160, "edge": "336.261617"},
  {"seed": 60161, "edge": "449.410350"},
  {"seed": 60162, "edge": "690.719349"},
  {"seed": 60163, "edge": "522.964505"},
  {"seed": 60164, "edge": "506.247717"},
  {"seed": 60165, "edge": "465.165722"},
  {"seed": 60166, "edge": "394.315881"},
  {"seed": 60167, "edge": "485.054936"},
  {"seed": 60168, "edge": "379.252033"},
  {"seed": 60169, "edge": "641.720862"},
  {"seed": 60170, "edge": "560.425142"},
  {"seed": 60171, "edge": "408.014972"},
  {"seed": 60172, "edge": "510.912945"},
  {"seed": 60173, "edge": "653.090034"},
  {"seed": 60174, "edge": "510.134154"},
  {"seed": 60175, "edge": "396.016133"},
  {"seed": 60176, "edge": "583.455133"},
  {"seed": 60177, "edge": "485.700355"},
  {"seed": 60178, "edge": "550.478217"},
  {"seed": 60179, "edge": "364.084109"},
  {"seed": 60180, "edge": "732.155042"},
  {"seed": 60181, "edge": "569.414551"},
  {"seed": 60182, "edge": "430.149041"},
  {"seed": 60183, "edge": "394.492456"},
  {"seed": 60184, "edge": "609.400289"},
  {"seed": 60185, "edge": "421.201262"},
  {"seed": 60186, "edge": "515.428070"},
  {"seed": 60187, "edge": "408.621824"},
  {"seed": 60188, "edge": "469.760242"},
  {"seed": 60189, "edge": "396.830904"},
  {"seed": 60190, "edge": "554.659961"},
  {"seed": 60191, "edge": "640.997579"},
  {"seed": 60192, "edge": "480.803037"},
  {"seed": 60193, "edge": "504.758602"},
  {"seed": 60194, "edge": "634.199017"},
  {"seed": 60195, "edge": "526.178281"},
  {"seed": 60196, "edge": "421.669053"},
  {"seed": 60197, "edge": "568.954339"},
  {"seed": 60198, "edge": "449.528909"},
  {"seed": 60199, "edge": "504.369626"},
  {"seed": 60200, "edge": "668.464255"},
  {"seed": 60201, "edge": "454.528969"},
  {"seed": 60202, "edge": "522.618959"},
  {"seed": 60203, "edge": "667.757621"},
  {"seed": 60204, "edge": "529.015463"},
  {"seed": 60205, "edge": "707.926816"},
  {"seed": 60206, "edge": "598.278367"},
  {"seed": 60207, "edge": "638.731479"},
  {"seed": 60208, "edge": "536.280862"},
  {"seed": 60209, "edge": "489.932511"},
  {"seed": 60210, "edge": "849.347165"},
  {"seed": 60211, "edge": "537.837536"},
  {"seed": 60212, "edge": "494.478480"},
  {"seed": 60213, "edge": "452.614868"},
  {"seed": 60214, "edge": "507.437928"},
  {"seed": 60215, "edge": "562.622984"},
  {"seed": 60216, "edge": "471.199705"},
  {"seed": 60217, "edge": "693.598728"},
  {"seed": 60218, "edge": "720.233714"},
  {"seed": 60219, "edge": "578.381292"},
  {"seed": 60220, "edge": "377.313885"},
  {"seed": 60221, "edge": "417.764350"},
  {"seed": 60222, "edge": "580.393355"},
  {"seed": 60223, "edge": "520.535216"},
  {"seed": 60224, "edge": "416.407593"},
  {"seed": 60225, "edge": "451.092727"},
  {"seed": 60226, "edge": "422.688260"},
  {"seed": 60227, "edge": "418.555752"},
  {"seed": 60228, "edge": "560.277250"},
  {"seed": 60229, "edge": "703.543157"},
  {"seed": 60230, "edge": "592.184297"},
  {"seed": 60231, "edge": "506.738211"},
  {"seed": 60232, "edge": "382.346427"},
  {"seed": 60233, "edge": "477.246330"},
  {"seed": 60234, "edge": "599.397494"},
  {"seed": 60235, "edge": "599.409948"},
  {"seed": 60236, "edge": "496.913990"},
  {"seed": 60237, "edge": "492.274349"},
  {"seed": 60238, "edge": "555.022238"},
  {"seed": 60239, "edge": "527.631223"},
  {"seed": 60240, "edge": "629.149088"},
  {"seed": 60241, "edge": "474.200014"},
  {"seed": 60242, "edge": "492.788106"},
  {"seed": 60243, "edge": "446.258749"},
  {"seed": 60244, "edge": "622.493166"},
  {"seed": 60245, "edge": "372.841136"},
  {"seed": 60246, "edge": "622.571182"},
  {"seed": 60247, "edge": "588.525577"},
  {"seed": 60248, "edge": "538.558005"},
  {"seed": 60249, "edge": "492.187842"},
  {"seed": 60250, "edge": "538.844711"},
  {"seed": 60251, "edge": "600.708158"},
  {"seed": 60252, "edge": "571.507535"},
  {"seed": 60253, "edge": "360.812896"},
  {"seed": 60254, "edge": "360.067829"},
  {"seed": 60255, "edge": "513.230699"},
  {"seed": 60256, "edge": "553.959341"},
  {"seed": 60257, "edge": "476.902392"},
  {"seed": 60258, "edge": "419.651357"},
  {"seed": 60259, "edge": "515.131349"},
  {"seed": 60260, "edge": "592.961457"},
  {"seed": 60261, "edge": "414.977501"},
  {"seed": 60262, "edge": "531.393985"},
  {"seed": 60263, "edge": "595.143312"},
  {"seed": 60264, "edge": "656.192272"},
  {"seed": 60265, "edge": "467.899085"},
  {"seed": 60266, "edge": "500.848163"},
  {"seed": 60267, "edge": "539.132632"},
  {"seed": 60268, "edge": "653.201851"},
  {"seed": 60269, "edge": "478.846980"},
  {"seed": 60270, "edge": "505.851573"},
  {"seed": 60271, "edge": "502.121997"},
  {"seed": 60272, "edge": "393.807326"},
  {"seed": 60273, "edge": "506.686562"},
  {"seed": 60274, "edge": "528.950688"},
  {"seed": 60275, "edge": "590.041748"},
  {"seed": 60276, "edge": "599.984310"},
  {"seed": 60277, "edge": "659.635794"},
  {"seed": 60278, "edge": "550.234818"},
  {"seed": 60279, "edge": "504.040932"},
  {"seed": 60280, "edge": "422.110237"},
  {"seed": 60281, "edge": "601.501509"},
  {"seed": 60282, "edge": "451.929614"},
  {"seed": 60283, "edge": "447.059472"},
  {"seed": 60284, "edge": "517.902544"},
  {"seed": 60285, "edge": "651.452545"},
  {"seed": 60286, "edge": "443.785477"},
  {"seed": 60287, "edge": "624.120822"},
  {"seed": 60288, "edge": "526.302689"},
  {"seed": 60289, "edge": "435.808913"},
  {"seed": 60290, "edge": "394.956361"},
  {"seed": 60291, "edge": "529.740683"},
  {"seed": 60292, "edge": "591.257940"},
  {"seed": 60293, "edge": "372.376407"},
  {"seed": 60294, "edge": "510.678290"},
  {"seed": 60295, "edge": "603.537943"},
  {"seed": 60296, "edge": "508.746811"},
  {"seed": 60297, "edge": "411.616292"},
  {"seed": 60298, "edge": "517.624966"},
  {"seed": 60299, "edge": "437.843539"},
  {"seed": 60300, "edge": "558.505632"},
  {"seed": 60301, "edge": "605.631801"},
  {"seed": 60302, "edge": "513.684107"},
  {"seed": 60303, "edge": "460.390861"},
  {"seed": 60304, "edge": "630.518928"},
  {"seed": 60305, "edge": "413.676228"},
  {"seed": 60306, "edge": "530.044076"},
  {"seed": 60307, "edge": "436.154826"},
  {"seed": 60308, "edge": "547.935947"},
  {"seed": 60309, "edge": "408.714296"},
  {"seed": 60310, "edge": "499.699011"},
  {"seed": 60311, "edge": "498.305191"},
  {"seed": 60312, "edge": "436.661881"},
  {"seed": 60313, "edge": "521.213029"},
  {"seed": 60314, "edge": "517.489531"},
  {"seed": 60315, "edge": "434.061711"},
  {"seed": 60316, "edge": "478.466118"},
  {"seed": 60317, "edge": "328.678687"},
  {"seed": 60318, "edge": "557.706997"},
  {"seed": 60319, "edge": "521.782589"},
  {"seed": 60320, "edge": "550.825797"},
  {"seed": 60321, "edge": "787.725151"},
  {"seed": 60322, "edge": "577.528981"},
  {"seed": 60323, "edge": "515.419803"},
  {"seed": 60324, "edge": "434.502723"},
  {"seed": 60325, "edge": "563.514451"},
  {"seed": 60326, "edge": "434.959685"},
  {"seed": 60327, "edge": "611.332646"},
  {"seed": 60328, "edge": "605.920028"},
  {"seed": 60329, "edge": "412.536241"},
  {"seed": 60330, "edge": "467.359321"},
  {"seed": 60331, "edge": "398.245470"},
  {"seed": 60332, "edge": "764.587979"},
  {"seed": 60333, "edge": "683.477089"},
  {"seed": 60334, "edge": "558.773481"},
  {"seed": 60335, "edge": "728.625745"},
  {"seed": 60336, "edge": "507.269094"},
  {"seed": 60337, "edge": "644.373374"},
  {"seed": 60338, "edge": "720.019403"},
  {"seed": 60339, "edge": "347.339125"},
  {"seed": 60340, "edge": "524.992808"},
  {"seed": 60341, "edge": "586.022240"},
  {"seed": 60342, "edge": "540.630817"},
  {"seed": 60343, "edge": "618.008158"},
  {"seed": 60344, "edge": "471.204165"},
  {"seed": 60345, "edge": "577.688935"},
  {"seed": 60346, "edge": "605.481183"},
  {"seed": 60347, "edge": "559.511791"},
  {"seed": 60348, "edge": "547.811415"},
  {"seed": 60349, "edge": "484.905477"},
  {"seed": 60350, "edge": "726.464500"},
  {"seed": 60351, "edge": "381.243937"},
  {"seed": 60352, "edge": "569.962942"},
  {"seed": 60353, "edge": "525.509960"},
  {"seed": 60354, "edge": "602.375947"},
  {"seed": 60355, "edge": "438.889943"},
  {"seed": 60356, "edge": "652.399990"},
  {"seed": 60357, "edge": "528.336861"},
  {"seed": 60358, "edge": "506.725747"},
  {"seed": 60359, "edge": "494.566016"},
  {"seed": 60360, "edge": "552.884382"},
  {"seed": 60361, "edge": "697.371475"},
  {"seed": 60362, "edge": "375.340003"},
  {"seed": 60363, "edge": "557.058429"},
  {"seed": 60364, "edge": "486.993010"},
  {"seed": 60365, "edge": "668.223591"},
  {"seed": 60366, "edge": "632.291837"},
  {"seed": 60367, "edge": "537.361231"},
  {"seed": 60368, "edge": "611.297486"},
  {"seed": 60369, "edge": "575.208753"},
  {"seed": 60370, "edge": "630.713627"},
  {"seed": 60371, "edge": "429.511601"},
  {"seed": 60372, "edge": "538.668359"},
  {"seed": 60373, "edge": "468.604851"},
  {"seed": 60374, "edge": "562.800550"},
  {"seed": 60375, "edge": "668.128113"},
  {"seed": 60376, "edge": "468.360699"},
  {"seed": 60377, "edge": "505.556951"},
  {"seed": 60378, "edge": "525.036087"},
  {"seed": 60379, "edge": "455.604731"},
  {"seed": 60380, "edge": "461.696841"},
  {"seed": 60381, "edge": "477.054993"},
  {"seed": 60382, "edge": "652.806722"},
  {"seed": 60383, "edge": "480.425549"},
  {"seed": 60384, "edge": "436.989655"},
  {"seed": 60385, "edge": "605.748361"},
  {"seed": 60386, "edge": "599.426826"},
  {"seed": 60387, "edge": "687.228056"},
  {"seed": 60388, "edge": "438.925631"},
  {"seed": 60389, "edge": "628.285206"},
  {"seed": 60390, "edge": "557.871072"},
  {"seed": 60391, "edge": "552.459671"},
  {"seed": 60392, "edge": "446.159842"},
  {"seed": 60393, "edge": "614.979105"},
  {"seed": 60394, "edge": "419.564704"},
  {"seed": 60395, "edge": "635.512399"},
  {"seed": 60396, "edge": "560.124440"},
  {"seed": 60397, "edge": "544.522184"},
  {"seed": 60398, "edge": "606.406561"},
  {"seed": 60399, "edge": "422.487526"},
  {"seed": 60400, "edge": "516.521278"},
  {"seed": 60401, "edge": "480.443974"},
  {"seed": 60402, "edge": "483.793863"},
  {"seed": 60403, "edge": "572.413668"},
  {"seed": 60404, "edge": "615.791443"},
  {"seed": 60405, "edge": "655.275162"},
  {"seed": 60406, "edge": "435.757116"},
  {"seed": 60407, "edge": "593.521477"},
  {"seed": 60408, "edge": "717.619225"},
  {"seed": 60409, "edge": "557.885645"},
  {"seed": 60410, "edge": "484.238179"},
  {"seed": 60411, "edge": "674.626487"},
  {"seed": 60412, "edge": "573.240633"},
  {"seed": 60413, "edge": "536.507872"},
  {"seed": 60414, "edge": "445.107486"},
  {"seed": 60415, "edge": "469.531577"},
  {"seed": 60416, "edge": "354.776395"},
  {"seed": 60417, "edge": "682.899136"},
  {"seed": 60418, "edge": "445.615893"},
  {"seed": 60419, "edge": "384.584554"},
  {"seed": 60420, "edge": "398.076909"},
  {"seed": 60421, "edge": "428.385863"},
  {"seed": 60422, "edge": "408.494616"},
  {"seed": 60423, "edge": "466.854540"},
  {"seed": 60424, "edge": "651.270685"},
  {"seed": 60425, "edge": "491.813708"},
  {"seed": 60426, "edge": "584.689768"},
  {"seed": 60427, "edge": "512.596116"},
  {"seed": 60428, "edge": "430.298367"},
  {"seed": 60429, "edge": "465.579306"},
  {"seed": 60430, "edge": "531.631157"},
  {"seed": 60431, "edge": "601.340216"},
  {"seed": 60432, "edge": "462.372093"},
  {"seed": 60433, "edge": "672.767008"},
  {"seed": 60434, "edge": "583.138367"},
  {"seed": 60435, "edge": "494.150648"},
  {"seed": 60436, "edge": "411.013741"},
  {"seed": 60437, "edge": "542.512272"},
  {"seed": 60438, "edge": "687.256392"},
  {"seed": 60439, "edge": "511.000381"},
  {"seed": 60440, "edge": "651.828286"},
  {"seed": 60441, "edge": "467.741822"},
  {"seed": 60442, "edge": "599.512938"},
  {"seed": 60443, "edge": "472.928448"},
  {"seed": 60444, "edge": "472.774818"},
  {"seed": 60445, "edge": "539.458561"},
  {"seed": 60446, "edge": "629.418451"},
  {"seed": 60447, "edge": "460.007379"},
  {"seed": 60448, "edge": "481.671925"},
  {"seed": 60449, "edge": "426.991268"},
  {"seed": 60450, "edge": "452.753823"},
  {"seed": 60451, "edge": "417.035588"},
  {"seed": 60452, "edge": "569.513341"},
  {"seed": 60453, "edge": "817.554368"},
  {"seed": 60454, "edge": "575.225868"},
  {"seed": 60455, "edge": "495.164036"},
  {"seed": 60456, "edge": "617.233374"},
  {"seed": 60457, "edge": "520.980477"},
  {"seed": 60458, "edge": "512.487236"},
  {"seed": 60459, "edge": "607.312586"},
  {"seed": 60460, "edge": "558.256511"},
  {"seed": 60461, "edge": "536.927902"},
  {"seed": 60462, "edge": "512.500931"},
  {"seed": 60463, "edge": "657.899411"},
  {"seed": 60464, "edge": "479.255429"},
  {"seed": 60465, "edge": "366.387055"},
  {"seed": 60466, "edge": "546.970125"},
  {"seed": 60467, "edge": "801.114088"},
  {"seed": 60468, "edge": "456.392938"},
  {"seed": 60469, "edge": "639.418629"},
  {"seed": 60470, "edge": "578.679290"},
  {"seed": 60471, "edge": "447.892697"},
  {"seed": 60472, "edge": "492.958556"},
  {"seed": 60473, "edge": "483.703190"},
  {"seed": 60474, "edge": "699.825698"},
  {"seed": 60475, "edge": "589.483977"},
  {"seed": 60476, "edge": "463.194852"},
  {"seed": 60477, "edge": "535.419925"},
  {"seed": 60478, "edge": "514.226378"},
  {"seed": 60479, "edge": "480.631172"},
  {"seed": 60480, "edge": "763.811836"},
  {"seed": 60481, "edge": "428.900506"},
  {"seed": 60482, "edge": "680.482636"},
  {"seed": 60483, "edge": "566.693115"},
  {"seed": 60484, "edge": "416.820686"},
  {"seed": 60485, "edge": "628.289176"},
  {"seed": 60486, "edge": "386.850492"},
  {"seed": 60487, "edge": "554.901295"},
  {"seed": 60488, "edge": "435.409080"},
  {"seed": 60489, "edge": "449.935861"},
  {"seed": 60490, "edge": "516.225474"},
  {"seed": 60491, "edge": "351.793118"},
  {"seed": 60492, "edge": "490.635706"},
  {"seed": 60493, "edge": "586.147552"},
  {"seed": 60494, "edge": "433.063680"},
  {"seed": 60495, "edge": "680.546104"},
  {"seed": 60496, "edge": "675.585425"},
  {"seed": 60497, "edge": "661.828218"},
  {"seed": 60498, "edge": "357.005354"},
  {"seed": 60499, "edge": "499.604868"},
  {"seed": 60500, "edge": "520.453582"},
  {"seed": 60501, "edge": "549.225950"},
  {"seed": 60502, "edge": "455.679803"},
  {"seed": 60503, "edge": "661.845767"},
  {"seed": 60504, "edge": "624.421548"},
  {"seed": 60505, "edge": "431.410857"},
  {"seed": 60506, "edge": "636.750265"},
  {"seed": 60507, "edge": "382.830001"},
  {"seed": 60508, "edge": "528.144185"},
  {"seed": 60509, "edge": "571.375761"},
  {"seed": 60510, "edge": "535.760371"},
  {"seed": 60511, "edge": "571.216182"},
  {"seed": 60512, "edge": "392.204511"},
  {"seed": 60513, "edge": "492.791196"},
  {"seed": 60514, "edge": "515.814161"},
  {"seed": 60515, "edge": "445.324349"},
  {"seed": 60516, "edge": "491.190036"},
  {"seed": 60517, "edge": "406.775361"},
  {"seed": 60518, "edge": "520.242984"},
  {"seed": 60519, "edge": "507.533326"},
  {"seed": 60520, "edge": "546.394887"},
  {"seed": 60521, "edge": "547.399118"},
  {"seed": 60522, "edge": "638.608788"},
  {"seed": 60523, "edge": "532.426011"},
  {"seed": 60524, "edge": "524.856784"},
  {"seed": 60525, "edge": "570.172667"},
  {"seed": 60526, "edge": "539.319421"},
  {"seed": 60527, "edge": "749.797774"},
  {"seed": 60528, "edge": "412.305655"},
  {"seed": 60529, "edge": "396.823334"},
  {"seed": 60530, "edge": "450.738533"},
  {"seed": 60531, "edge": "445.291965"},
  {"seed": 60532, "edge": "597.276004"},
  {"seed": 60533, "edge": "426.804047"},
  {"seed": 60534, "edge": "380.556930"},
  {"seed": 60535, "edge": "408.834700"},
  {"seed": 60536, "edge": "514.486198"},
  {"seed": 60537, "edge": "508.419048"},
  {"seed": 60538, "edge": "390.815226"},
  {"seed": 60539, "edge": "559.663202"},
  {"seed": 60540, "edge": "617.334899"},
  {"seed": 60541, "edge": "555.484888"},
  {"seed": 60542, "edge": "436.703558"},
  {"seed": 60543, "edge": "717.801751"},
  {"seed": 60544, "edge": "430.056208"},
  {"seed": 60545, "edge": "599.928763"},
  {"seed": 60546, "edge": "691.437016"},
  {"seed": 60547, "edge": "587.908228"},
  {"seed": 60548, "edge": "444.346929"},
  {"seed": 60549, "edge": "524.524869"},
  {"seed": 60550, "edge": "550.338061"},
  {"seed": 60551, "edge": "639.224212"},
  {"seed": 60552, "edge": "439.697392"},
  {"seed": 60553, "edge": "404.560837"},
  {"seed": 60554, "edge": "553.164714"},
  {"seed": 60555, "edge": "550.457860"},
  {"seed": 60556, "edge": "582.974218"},
  {"seed": 60557, "edge": "425.267667"},
  {"seed": 60558, "edge": "538.831953"},
  {"seed": 60559, "edge": "549.588772"},
  {"seed": 60560, "edge": "404.213647"},
  {"seed": 60561, "edge": "449.253967"},
  {"seed": 60562, "edge": "635.274389"},
  {"seed": 60563, "edge": "587.106034"},
  {"seed": 60564, "edge": "598.044017"},
  {"seed": 60565, "edge": "637.329405"},
  {"seed": 60566, "edge": "641.045390"},
  {"seed": 60567, "edge": "633.306219"},
  {"seed": 60568, "edge": "606.843649"},
  {"seed": 60569, "edge": "684.540875"},
  {"seed": 60570, "edge": "581.423598"},
  {"seed": 60571, "edge": "574.153944"},
  {"seed": 60572, "edge": "615.170068"},
  {"seed": 60573, "edge": "519.615183"},
  {"seed": 60574, "edge": "525.525971"},
  {"seed": 60575, "edge": "512.277938"},
  {"seed": 60576, "edge": "595.720762"},
  {"seed": 60577, "edge": "691.943547"},
  {"seed": 60578, "edge": "525.584920"},
  {"seed": 60579, "edge": "540.623612"},
  {"seed": 60580, "edge": "419.040905"},
  {"seed": 60581, "edge": "639.981733"},
  {"seed": 60582, "edge": "525.641599"},
  {"seed": 60583, "edge": "565.195013"},
  {"seed": 60584, "edge": "473.277695"},
  {"seed": 60585, "edge": "491.213347"},
  {"seed": 60586, "edge": "552.631633"},
  {"seed": 60587, "edge": "549.630986"},
  {"seed": 60588, "edge": "675.385927"},
  {"seed": 60589, "edge": "623.298851"},
  {"seed": 60590, "edge": "453.132611"},
  {"seed": 60591, "edge": "501.253565"},
  {"seed": 60592, "edge": "553.447493"},
  {"seed": 60593, "edge": "433.022335"},
  {"seed": 60594, "edge": "681.080572"},
  {"seed": 60595, "edge": "608.372941"},
  {"seed": 60596, "edge": "455.000669"},
  {"seed": 60597, "edge": "531.907134"},
  {"seed": 60598, "edge": "511.173378"},
  {"seed": 60599, "edge": "433.282790"},
  {"seed": 60600, "edge": "538.324861"},
  {"seed": 60601, "edge": "476.728751"},
  {"seed": 60602, "edge": "542.927752"},
  {"seed": 60603, "edge": "618.670218"},
  {"seed": 60604, "edge": "621.317068"},
  {"seed": 60605, "edge": "377.332545"},
  {"seed": 60606, "edge": "466.740966"},
  {"seed": 60607, "edge": "391.260075"},
  {"seed": 60608, "edge": "639.351660"},
  {"seed": 60609, "edge": "587.481824"},
  {"seed": 60610, "edge": "640.697867"},
  {"seed": 60611, "edge": "515.976962"},
  {"seed": 60612, "edge": "604.067108"},
  {"seed": 60613, "edge": "528.834903"},
  {"seed": 60614, "edge": "386.881843"},
  {"seed": 60615, "edge": "453.663138"},
  {"seed": 60616, "edge": "411.052875"},
  {"seed": 60617, "edge": "359.864267"},
  {"seed": 60618, "edge": "541.757966"},
  {"seed": 60619, "edge": "414.911276"},
  {"seed": 60620, "edge": "467.318756"},
  {"seed": 60621, "edge": "577.349467"},
  {"seed": 60622, "edge": "394.779413"},
  {"seed": 60623, "edge": "648.605454"},
  {"seed": 60624, "edge": "482.645169"},
  {"seed": 60625, "edge": "544.392347"},
  {"seed": 60626, "edge": "451.088065"},
  {"seed": 60627, "edge": "607.292740"},
  {"seed": 60628, "edge": "496.626748"},
  {"seed": 60629, "edge": "612.944124"},
  {"seed": 60630, "edge": "593.642626"},
  {"seed": 60631, "edge": "531.956463"},
  {"seed": 60632, "edge": "602.250078"},
  {"seed": 60633, "edge": "578.149251"},
  {"seed": 60634, "edge": "658.058555"},
  {"seed": 60635, "edge": "687.931013"},
  {"seed": 60636, "edge": "442.026266"},
  {"seed": 60637, "edge": "556.599988"},
  {"seed": 60638, "edge": "536.728794"},
  {"seed": 60639, "edge": "396.185669"},
  {"seed": 60640, "edge": "530.522802"},
  {"seed": 60641, "edge": "655.477239"},
  {"seed": 60642, "edge": "571.688076"},
  {"seed": 60643, "edge": "394.150947"},
  {"seed": 60644, "edge": "520.496371"},
  {"seed": 60645, "edge": "395.630452"},
  {"seed": 60646, "edge": "475.316887"},
  {"seed": 60647, "edge": "588.256413"},
  {"seed": 60648, "edge": "628.406600"},
  {"seed": 60649, "edge": "443.239511"},
  {"seed": 60650, "edge": "408.153818"},
  {"seed": 60651, "edge": "435.260895"},
  {"seed": 60652, "edge": "615.937915"},
  {"seed": 60653, "edge": "662.832055"},
  {"seed": 60654, "edge": "481.579503"},
  {"seed": 60655, "edge": "504.653383"},
  {"seed": 60656, "edge": "617.261239"},
  {"seed": 60657, "edge": "417.012136"},
  {"seed": 60658, "edge": "579.172581"},
  {"seed": 60659, "edge": "648.383148"},
  {"seed": 60660, "edge": "597.174186"},
  {"seed": 60661, "edge": "578.908308"},
  {"seed": 60662, "edge": "530.497215"},
  {"seed": 60663, "edge": "607.498395"},
  {"seed": 60664, "edge": "445.841269"},
  {"seed": 60665, "edge": "452.760731"},
  {"seed": 60666, "edge": "469.430461"},
  {"seed": 60667, "edge": "594.683272"},
  {"seed": 60668, "edge": "540.656816"},
  {"seed": 60669, "edge": "472.404104"},
  {"seed": 60670, "edge": "430.495384"},
  {"seed": 60671, "edge": "491.267745"},
  {"seed": 60672, "edge": "472.345084"},
  {"seed": 60673, "edge": "431.409239"},
  {"seed": 60674, "edge": "597.024071"},
  {"seed": 60675, "edge": "410.426895"},
  {"seed": 60676, "edge": "533.661594"},
  {"seed": 60677, "edge": "749.675378"},
  {"seed": 60678, "edge": "498.161165"},
  {"seed": 60679, "edge": "704.930597"},
  {"seed": 60680, "edge": "794.501428"},
  {"seed": 60681, "edge": "524.461656"},
  {"seed": 60682, "edge": "474.388582"},
  {"seed": 60683, "edge": "378.642442"},
  {"seed": 60684, "edge": "517.601817"},
  {"seed": 60685, "edge": "384.027107"},
  {"seed": 60686, "edge": "479.872368"},
  {"seed": 60687, "edge": "524.173520"},
  {"seed": 60688, "edge": "575.843851"},
  {"seed": 60689, "edge": "640.786794"},
  {"seed": 60690, "edge": "610.309733"},
  {"seed": 60691, "edge": "433.916424"},
  {"seed": 60692, "edge": "577.127833"},
  {"seed": 60693, "edge": "333.767581"},
  {"seed": 60694, "edge": "486.196479"},
  {"seed": 60695, "edge": "600.491766"},
  {"seed": 60696, "edge": "568.102901"},
  {"seed": 60697, "edge": "530.471622"},
  {"seed": 60698, "edge": "424.385033"},
  {"seed": 60699, "edge": "431.806152"},
  {"seed": 60700, "edge": "394.790992"},
  {"seed": 60701, "edge": "392.370635"},
  {"seed": 60702, "edge": "710.300849"},
  {"seed": 60703, "edge": "697.614997"},
  {"seed": 60704, "edge": "635.106804"},
  {"seed": 60705, "edge": "553.055809"},
  {"seed": 60706, "edge": "644.550646"},
  {"seed": 60707, "edge": "468.603512"},
  {"seed": 60708, "edge": "367.450109"},
  {"seed": 60709, "edge": "569.429426"},
  {"seed": 60710, "edge": "614.942429"},
  {"seed": 60711, "edge": "551.995415"},
  {"seed": 60712, "edge": "482.069711"},
  {"seed": 60713, "edge": "580.541495"},
  {"seed": 60714, "edge": "373.657101"},
  {"seed": 60715, "edge": "445.231188"},
  {"seed": 60716, "edge": "523.170471"},
  {"seed": 60717, "edge": "548.649384"},
  {"seed": 60718, "edge": "615.439773"},
  {"seed": 60719, "edge": "391.846415"},
  {"seed": 60720, "edge": "395.079707"},
  {"seed": 60721, "edge": "531.985653"},
  {"seed": 60722, "edge": "572.216994"},
  {"seed": 60723, "edge": "626.702543"},
  {"seed": 60724, "edge": "678.931478"},
  {"seed": 60725, "edge": "643.983980"},
  {"seed": 60726, "edge": "385.193173"},
  {"seed": 60727, "edge": "452.971184"},
  {"seed": 60728, "edge": "414.576153"},
  {"seed": 60729, "edge": "549.967892"},
  {"seed": 60730, "edge": "599.508752"},
  {"seed": 60731, "edge": "537.041607"},
  {"seed": 60732, "edge": "533.812941"},
  {"seed": 60733, "edge": "577.392968"},
  {"seed": 60734, "edge": "487.891947"},
  {"seed": 60735, "edge": "610.567699"},
  {"seed": 60736, "edge": "746.773828"},
  {"seed": 60737, "edge": "469.097928"},
  {"seed": 60738, "edge": "390.688381"},
  {"seed": 60739, "edge": "462.234783"},
  {"seed": 60740, "edge": "469.958882"},
  {"seed": 60741, "edge": "482.248256"},
  {"seed": 60742, "edge": "725.689111"},
  {"seed": 60743, "edge": "548.466107"},
  {"seed": 60744, "edge": "581.509582"},
  {"seed": 60745, "edge": "620.318002"},
  {"seed": 60746, "edge": "406.813466"},
  {"seed": 60747, "edge": "600.346204"},
  {"seed": 60748, "edge": "543.696361"},
  {"seed": 60749, "edge": "454.004328"},
  {"seed": 60750, "edge": "417.754473"},
  {"seed": 60751, "edge": "429.619490"},
  {"seed": 60752, "edge": "616.322883"},
  {"seed": 60753, "edge": "514.410254"},
  {"seed": 60754, "edge": "471.002332"},
  {"seed": 60755, "edge": "532.888105"},
  {"seed": 60756, "edge": "496.502823"},
  {"seed": 60757, "edge": "529.892418"},
  {"seed": 60758, "edge": "595.252598"},
  {"seed": 60759, "edge": "741.783251"},
  {"seed": 60760, "edge": "458.431870"},
  {"seed": 60761, "edge": "575.049443"},
  {"seed": 60762, "edge": "601.972647"},
  {"seed": 60763, "edge": "624.311574"},
  {"seed": 60764, "edge": "419.099115"},
  {"seed": 60765, "edge": "598.927997"},
  {"seed": 60766, "edge": "665.768945"},
  {"seed": 60767, "edge": "385.604430"},
  {"seed": 60768, "edge": "521.793596"},
  {"seed": 60769, "edge": "420.389901"},
  {"seed": 60770, "edge": "478.283315"},
  {"seed": 60771, "edge": "476.866178"},
  {"seed": 60772, "edge": "536.017873"},
  {"seed": 60773, "edge": "545.347569"},
  {"seed": 60774, "edge": "417.946836"},
  {"seed": 60775, "edge": "516.487193"},
  {"seed": 60776, "edge": "455.336020"},
  {"seed": 60777, "edge": "448.289162"},
  {"seed": 60778, "edge": "581.607223"},
  {"seed": 60779, "edge": "442.772875"},
  {"seed": 60780, "edge": "396.687653"},
  {"seed": 60781, "edge": "469.400047"},
  {"seed": 60782, "edge": "652.867451"},
  {"seed": 60783, "edge": "642.169318"},
  {"seed": 60784, "edge": "639.673048"},
  {"seed": 60785, "edge": "405.283600"},
  {"seed": 60786, "edge": "480.074338"},
  {"seed": 60787, "edge": "538.839506"},
  {"seed": 60788, "edge": "403.166092"},
  {"seed": 60789, "edge": "488.318471"},
  {"seed": 60790, "edge": "549.602495"},
  {"seed": 60791, "edge": "393.675358"},
  {"seed": 60792, "edge": "453.069563"},
  {"seed": 60793, "edge": "514.842852"},
  {"seed": 60794, "edge": "501.361937"},
  {"seed": 60795, "edge": "516.416173"},
  {"seed": 60796, "edge": "528.123440"},
  {"seed": 60797, "edge": "383.059771"},
  {"seed": 60798, "edge": "432.931610"},
  {"seed": 60799, "edge": "533.136357"},
  {"seed": 60800, "edge": "576.299955"},
  {"seed": 60801, "edge": "552.469449"},
  {"seed": 60802, "edge": "739.962400"},
  {"seed": 60803, "edge": "650.466657"},
  {"seed": 60804, "edge": "503.878284"},
  {"seed": 60805, "edge": "556.356561"},
  {"seed": 60806, "edge": "619.401233"},
  {"seed": 60807, "edge": "486.066497"},
  {"seed": 60808, "edge": "435.005796"},
  {"seed": 60809, "edge": "692.082153"},
  {"seed": 60810, "edge": "602.877418"},
  {"seed": 60811, "edge": "600.977233"},
  {"seed": 60812, "edge": "491.183479"},
  {"seed": 60813, "edge": "624.798072"},
  {"seed": 60814, "edge": "626.553937"},
  {"seed": 60815, "edge": "493.077730"},
  {"seed": 60816, "edge": "547.548357"},
  {"seed": 60817, "edge": "631.086800"},
  {"seed": 60818, "edge": "633.168142"},
  {"seed": 60819, "edge": "678.429275"},
  {"seed": 60820, "edge": "356.848204"},
  {"seed": 60821, "edge": "668.334846"},
  {"seed": 60822, "edge": "560.259486"},
  {"seed": 60823, "edge": "433.125548"},
  {"seed": 60824, "edge": "450.625454"},
  {"seed": 60825, "edge": "606.077265"},
  {"seed": 60826, "edge": "519.049038"},
  {"seed": 60827, "edge": "527.759283"},
  {"seed": 60828, "edge": "402.032475"},
  {"seed": 60829, "edge": "384.485368"},
  {"seed": 60830, "edge": "487.775631"},
  {"seed": 60831, "edge": "480.972555"},
  {"seed": 60832, "edge": "536.075274"},
  {"seed": 60833, "edge": "392.314610"},
  {"seed": 60834, "edge": "519.716462"},
  {"seed": 60835, "edge": "580.759782"},
  {"seed": 60836, "edge": "450.852271"},
  {"seed": 60837, "edge": "405.048127"},
  {"seed": 60838, "edge": "466.320043"},
  {"seed": 60839, "edge": "716.994811"},
  {"seed": 60840, "edge": "690.011800"},
  {"seed": 60841, "edge": "541.614299"},
  {"seed": 60842, "edge": "458.914748"},
  {"seed": 60843, "edge": "556.225343"},
  {"seed": 60844, "edge": "527.129028"},
  {"seed": 60845, "edge": "573.370013"},
  {"seed": 60846, "edge": "608.482494"},
  {"seed": 60847, "edge": "680.921640"},
  {"seed": 60848, "edge": "703.690851"},
  {"seed": 60849, "edge": "431.000076"},
  {"seed": 60850, "edge": "500.990386"},
  {"seed": 60851, "edge": "451.063623"},
  {"seed": 60852, "edge": "518.330931"},
  {"seed": 60853, "edge": "614.372463"},
  {"seed": 60854, "edge": "608.367153"},
  {"seed": 60855, "edge": "622.304864"},
  {"seed": 60856, "edge": "464.432570"},
  {"seed": 60857, "edge": "508.332447"},
  {"seed": 60858, "edge": "612.729892"},
  {"seed": 60859, "edge": "555.715797"},
  {"seed": 60860, "edge": "431.194900"},
  {"seed": 60861, "edge": "418.382108"},
  {"seed": 60862, "edge": "457.609844"},
  {"seed": 60863, "edge": "457.456165"},
  {"seed": 60864, "edge": "400.041428"},
  {"seed": 60865, "edge": "462.139534"},
  {"seed": 60866, "edge": "440.486031"},
  {"seed": 60867, "edge": "408.818530"},
  {"seed": 60868, "edge": "513.623325"},
  {"seed": 60869, "edge": "684.217142"},
  {"seed": 60870, "edge": "505.528607"},
  {"seed": 60871, "edge": "609.769308"},
  {"seed": 60872, "edge": "439.186996"},
  {"seed": 60873, "edge": "568.192234"},
  {"seed": 60874, "edge": "594.940611"},
  {"seed": 60875, "edge": "442.874434"},
  {"seed": 60876, "edge": "550.582740"},
  {"seed": 60877, "edge": "643.480744"},
  {"seed": 60878, "edge": "674.780149"},
  {"seed": 60879, "edge": "541.273111"},
  {"seed": 60880, "edge": "418.395703"},
  {"seed": 60881, "edge": "582.943522"},
  {"seed": 60882, "edge": "459.302735"},
  {"seed": 60883, "edge": "530.801277"},
  {"seed": 60884, "edge": "489.414794"},
  {"seed": 60885, "edge": "613.257866"},
  {"seed": 60886, "edge": "463.051974"},
  {"seed": 60887, "edge": "566.157701"},
  {"seed": 60888, "edge": "544.659844"},
  {"seed": 60889, "edge": "530.908280"},
  {"seed": 60890, "edge": "663.030370"},
  {"seed": 60891, "edge": "624.697301"},
  {"seed": 60892, "edge": "611.615462"},
  {"seed": 60893, "edge": "482.416504"},
  {"seed": 60894, "edge": "558.267845"},
  {"seed": 60895, "edge": "553.519231"},
  {"seed": 60896, "edge": "520.438737"},
  {"seed": 60897, "edge": "441.657207"},
  {"seed": 60898, "edge": "467.005480"},
  {"seed": 60899, "edge": "564.212778"},
  {"seed": 60900, "edge": "695.455840"},
  {"seed": 60901, "edge": "464.332083"},
  {"seed": 60902, "edge": "472.045465"},
  {"seed": 60903, "edge": "547.906335"},
  {"seed": 60904, "edge": "427.188489"},
  {"seed": 60905, "edge": "506.558252"},
  {"seed": 60906, "edge": "445.360133"},
  {"seed": 60907, "edge": "389.220205"},
  {"seed": 60908, "edge": "544.627450"},
  {"seed": 60909, "edge": "517.005706"},
  {"seed": 60910, "edge": "429.285382"},
  {"seed": 60911, "edge": "559.379844"},
  {"seed": 60912, "edge": "707.915610"},
  {"seed": 60913, "edge": "517.098560"},
  {"seed": 60914, "edge": "395.221686"},
  {"seed": 60915, "edge": "617.818638"},
  {"seed": 60916, "edge": "646.830362"},
  {"seed": 60917, "edge": "624.758160"},
  {"seed": 60918, "edge": "462.244029"},
  {"seed": 60919, "edge": "639.004033"},
  {"seed": 60920, "edge": "406.739977"},
  {"seed": 60921, "edge": "434.920276"},
  {"seed": 60922, "edge": "445.280941"},
  {"seed": 60923, "edge": "623.154099"},
  {"seed": 60924, "edge": "401.888351"},
  {"seed": 60925, "edge": "397.269322"},
  {"seed": 60926, "edge": "550.925902"},
  {"seed": 60927, "edge": "501.213072"},
  {"seed": 60928, "edge": "617.683913"},
  {"seed": 60929, "edge": "677.483241"},
  {"seed": 60930, "edge": "662.841486"},
  {"seed": 60931, "edge": "627.310288"},
  {"seed": 60932, "edge": "395.034091"},
  {"seed": 60933, "edge": "610.742419"},
  {"seed": 60934, "edge": "517.995795"},
  {"seed": 60935, "edge": "511.405606"},
  {"seed": 60936, "edge": "543.840952"},
  {"seed": 60937, "edge": "530.109605"},
  {"seed": 60938, "edge": "455.209306"},
  {"seed": 60939, "edge": "514.020779"},
  {"seed": 60940, "edge": "442.941580"},
  {"seed": 60941, "edge": "546.837464"},
  {"seed": 60942, "edge": "645.876379"},
  {"seed": 60943, "edge": "686.303362"},
  {"seed": 60944, "edge": "563.163495"},
  {"seed": 60945, "edge": "566.755764"},
  {"seed": 60946, "edge": "607.592816"},
  {"seed": 60947, "edge": "393.405240"},
  {"seed": 60948, "edge": "563.074863"},
  {"seed": 60949, "edge": "591.510404"},
  {"seed": 60950, "edge": "411.147217"},
  {"seed": 60951, "edge": "516.253655"},
  {"seed": 60952, "edge": "415.397279"},
  {"seed": 60953, "edge": "571.392237"},
  {"seed": 60954, "edge": "433.306234"},
  {"seed": 60955, "edge": "532.200005"},
  {"seed": 60956, "edge": "410.908024"},
  {"seed": 60957, "edge": "579.812667"},
  {"seed": 60958, "edge": "601.102691"},
  {"seed": 60959, "edge": "389.677363"},
  {"seed": 60960, "edge": "650.554160"},
  {"seed": 60961, "edge": "609.313525"},
  {"seed": 60962, "edge": "711.136545"},
  {"seed": 60963, "edge": "667.404483"},
  {"seed": 60964, "edge": "716.332950"},
  {"seed": 60965, "edge": "690.853126"},
  {"seed": 60966, "edge": "375.232985"},
  {"seed": 60967, "edge": "396.511820"},
  {"seed": 60968, "edge": "574.260498"},
  {"seed": 60969, "edge": "508.952082"},
  {"seed": 60970, "edge": "434.848408"},
  {"seed": 60971, "edge": "422.284079"},
  {"seed": 60972, "edge": "639.299372"},
  {"seed": 60973, "edge": "560.867633"},
  {"seed": 60974, "edge": "474.871040"},
  {"seed": 60975, "edge": "701.065553"},
  {"seed": 60976, "edge": "669.365032"},
  {"seed": 60977, "edge": "601.718127"},
  {"seed": 60978, "edge": "476.149955"},
  {"seed": 60979, "edge": "427.172158"},
  {"seed": 60980, "edge": "571.327019"},
  {"seed": 60981, "edge": "562.330467"},
  {"seed": 60982, "edge": "664.592588"},
  {"seed": 60983, "edge": "602.727690"},
  {"seed": 60984, "edge": "630.081396"},
  {"seed": 60985, "edge": "510.871395"},
  {"seed": 60986, "edge": "468.519084"},
  {"seed": 60987, "edge": "607.879976"},
  {"seed": 60988, "edge": "513.594144"},
  {"seed": 60989, "edge": "680.204963"},
  {"seed": 60990, "edge": "455.937539"},
  {"seed": 60991, "edge": "606.387967"},
  {"seed": 60992, "edge": "659.279303"},
  {"seed": 60993, "edge": "586.761703"},
  {"seed": 60994, "edge": "596.566217"},
  {"seed": 60995, "edge": "453.535495"},
  {"seed": 60996, "edge": "619.310281"},
  {"seed": 60997, "edge": "437.587337"},
  {"seed": 60998, "edge": "402.388292"},
  {"seed": 60999, "edge": "503.765876"},
  {"seed": 61000, "edge": "524.062383"},
  {"seed": 61001, "edge": "471.067320"},
  {"seed": 61002, "edge": "379.494180"},
  {"seed": 61003, "edge": "489.504610"},
  {"seed": 61004, "edge": "667.577901"},
  {"seed": 61005, "edge": "504.135898"},
  {"seed": 61006, "edge": "550.677551"},
  {"seed": 61007, "edge": "462.983623"},
  {"seed": 61008, "edge": "480.114634"},
  {"seed": 61009, "edge": "465.264405"},
  {"seed": 61010, "edge": "444.432340"},
  {"seed": 61011, "edge": "526.613840"},
  {"seed": 61012, "edge": "670.195121"},
  {"seed": 61013, "edge": "718.980198"},
  {"seed": 61014, "edge": "500.509665"},
  {"seed": 61015, "edge": "421.254547"},
  {"seed": 61016, "edge": "687.314117"},
  {"seed": 61017, "edge": "547.755887"},
  {"seed": 61018, "edge": "435.719262"},
  {"seed": 61019, "edge": "595.153257"},
  {"seed": 61020, "edge": "466.036476"},
  {"seed": 61021, "edge": "468.251847"},
  {"seed": 61022, "edge": "506.810546"},
  {"seed": 61023, "edge": "603.922445"}
 ]
}