{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "qt1-ref",
 "provenance": {
  "origin": "ammfast.run_batch (Numba port of Taylor's replica2.run); not a CPython rerun",
  "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
  "sources": [
   {
    "path": "reference/combo/combo.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/combo/combo.py",
    "sha256": "c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"
   },
   {
    "path": "reference/qt1/blob.bin",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/blob.bin",
    "sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
   },
   {
    "path": "reference/qt1/qmref.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/qmref.py",
    "sha256": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"
   },
   {
    "path": "reference/taylor/replica2.py",
    "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
    "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
   },
   {
    "path": "reference/twocomp/twocomp.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/twocomp/twocomp.py",
    "sha256": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"
   }
  ],
  "source_inventory": {
   "path": "reference/sources.json",
   "sha256": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"
  },
  "kernel_origin": {
   "path": "reference/envelopes/numba__fastsim.py.json",
   "sha256": "355105f14d012389dd750af045e29b284b53a790a677fd4bf0be3033350ecae1"
  },
  "implementation": {
   "ammfast/__init__.py": "5ce5b00b96ca7da11f37010d234803eca0e92adb2eebec18a35cb6d81c645b6c",
   "ammfast/_head.py": "3ea24996bf90ce3dbb32fed745f9073c477b0ccd250befb5082a6ac8878ff86f",
   "ammfast/_kernel.py": "45613331edb2fd46afa607612e1e6f0c22f0132c9974df6445ce18afe04cc2ae",
   "ammfast/_reference.py": "6509935958e7a317163b58b7da67add653a73028378fde65db9c40dddbfd3de0"
  },
  "checkpoint_binding": "e66a7b4315bd5e7fc6430ae5a7d191bfe8d6e752eff9843f9a3d819cecf145ea",
  "generation_command": "python -B baselines/replica/generate.py --stage all --workers 4 --budget 420",
  "backend_runtime": {
   "python": "3.12.16",
   "implementation": "cpython",
   "platform": "linux",
   "machine": "x86_64",
   "numpy": "2.5.4",
   "numba": "0.68.1",
   "llvmlite": "0.50.0"
  },
  "n_steps": 10000,
  "seed_range": [
   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": 5.4569682106375694e-12
   }
  }
 },
 "rows": [
  {"seed": 60000, "edge": "486.160768"},
  {"seed": 60001, "edge": "490.786874"},
  {"seed": 60002, "edge": "591.010155"},
  {"seed": 60003, "edge": "589.694856"},
  {"seed": 60004, "edge": "553.191798"},
  {"seed": 60005, "edge": "622.414276"},
  {"seed": 60006, "edge": "539.008265"},
  {"seed": 60007, "edge": "448.207935"},
  {"seed": 60008, "edge": "384.002665"},
  {"seed": 60009, "edge": "469.210165"},
  {"seed": 60010, "edge": "591.764527"},
  {"seed": 60011, "edge": "449.539487"},
  {"seed": 60012, "edge": "452.852589"},
  {"seed": 60013, "edge": "485.015154"},
  {"seed": 60014, "edge": "565.388332"},
  {"seed": 60015, "edge": "492.443652"},
  {"seed": 60016, "edge": "408.895490"},
  {"seed": 60017, "edge": "592.989825"},
  {"seed": 60018, "edge": "618.110164"},
  {"seed": 60019, "edge": "513.721808"},
  {"seed": 60020, "edge": "583.771847"},
  {"seed": 60021, "edge": "368.818747"},
  {"seed": 60022, "edge": "545.175264"},
  {"seed": 60023, "edge": "707.401576"},
  {"seed": 60024, "edge": "523.882421"},
  {"seed": 60025, "edge": "704.281470"},
  {"seed": 60026, "edge": "655.929091"},
  {"seed": 60027, "edge": "610.629390"},
  {"seed": 60028, "edge": "554.402399"},
  {"seed": 60029, "edge": "624.851985"},
  {"seed": 60030, "edge": "393.275464"},
  {"seed": 60031, "edge": "669.320414"},
  {"seed": 60032, "edge": "550.614644"},
  {"seed": 60033, "edge": "671.166217"},
  {"seed": 60034, "edge": "475.227318"},
  {"seed": 60035, "edge": "617.297050"},
  {"seed": 60036, "edge": "689.039367"},
  {"seed": 60037, "edge": "551.071560"},
  {"seed": 60038, "edge": "539.945805"},
  {"seed": 60039, "edge": "538.993357"},
  {"seed": 60040, "edge": "584.314860"},
  {"seed": 60041, "edge": "532.763528"},
  {"seed": 60042, "edge": "402.553751"},
  {"seed": 60043, "edge": "542.349030"},
  {"seed": 60044, "edge": "436.212376"},
  {"seed": 60045, "edge": "599.574274"},
  {"seed": 60046, "edge": "529.636218"},
  {"seed": 60047, "edge": "488.068627"},
  {"seed": 60048, "edge": "527.000880"},
  {"seed": 60049, "edge": "447.157223"},
  {"seed": 60050, "edge": "416.816460"},
  {"seed": 60051, "edge": "412.274312"},
  {"seed": 60052, "edge": "603.021470"},
  {"seed": 60053, "edge": "465.434740"},
  {"seed": 60054, "edge": "437.762737"},
  {"seed": 60055, "edge": "539.368616"},
  {"seed": 60056, "edge": "540.510420"},
  {"seed": 60057, "edge": "579.227057"},
  {"seed": 60058, "edge": "618.691086"},
  {"seed": 60059, "edge": "419.526953"},
  {"seed": 60060, "edge": "466.549781"},
  {"seed": 60061, "edge": "373.257345"},
  {"seed": 60062, "edge": "534.452460"},
  {"seed": 60063, "edge": "394.300666"},
  {"seed": 60064, "edge": "452.782890"},
  {"seed": 60065, "edge": "560.132288"},
  {"seed": 60066, "edge": "515.312580"},
  {"seed": 60067, "edge": "581.777509"},
  {"seed": 60068, "edge": "485.391712"},
  {"seed": 60069, "edge": "523.510990"},
  {"seed": 60070, "edge": "579.354003"},
  {"seed": 60071, "edge": "489.170484"},
  {"seed": 60072, "edge": "604.949398"},
  {"seed": 60073, "edge": "571.684743"},
  {"seed": 60074, "edge": "375.830750"},
  {"seed": 60075, "edge": "498.015518"},
  {"seed": 60076, "edge": "550.221327"},
  {"seed": 60077, "edge": "426.615329"},
  {"seed": 60078, "edge": "498.182765"},
  {"seed": 60079, "edge": "481.925601"},
  {"seed": 60080, "edge": "427.764565"},
  {"seed": 60081, "edge": "601.345539"},
  {"seed": 60082, "edge": "517.801940"},
  {"seed": 60083, "edge": "570.621657"},
  {"seed": 60084, "edge": "584.815544"},
  {"seed": 60085, "edge": "534.406249"},
  {"seed": 60086, "edge": "565.604162"},
  {"seed": 60087, "edge": "707.015661"},
  {"seed": 60088, "edge": "499.740297"},
  {"seed": 60089, "edge": "503.676483"},
  {"seed": 60090, "edge": "430.395793"},
  {"seed": 60091, "edge": "592.869758"},
  {"seed": 60092, "edge": "566.002754"},
  {"seed": 60093, "edge": "454.551127"},
  {"seed": 60094, "edge": "396.215754"},
  {"seed": 60095, "edge": "603.182890"},
  {"seed": 60096, "edge": "428.672109"},
  {"seed": 60097, "edge": "475.024342"},
  {"seed": 60098, "edge": "467.827760"},
  {"seed": 60099, "edge": "434.129480"},
  {"seed": 60100, "edge": "499.463950"},
  {"seed": 60101, "edge": "581.297444"},
  {"seed": 60102, "edge": "501.264607"},
  {"seed": 60103, "edge": "591.770898"},
  {"seed": 60104, "edge": "677.985358"},
  {"seed": 60105, "edge": "626.047107"},
  {"seed": 60106, "edge": "531.619745"},
  {"seed": 60107, "edge": "482.446911"},
  {"seed": 60108, "edge": "390.505514"},
  {"seed": 60109, "edge": "409.551351"},
  {"seed": 60110, "edge": "578.731490"},
  {"seed": 60111, "edge": "602.859306"},
  {"seed": 60112, "edge": "487.167251"},
  {"seed": 60113, "edge": "650.643785"},
  {"seed": 60114, "edge": "429.465133"},
  {"seed": 60115, "edge": "595.928958"},
  {"seed": 60116, "edge": "404.724540"},
  {"seed": 60117, "edge": "601.104237"},
  {"seed": 60118, "edge": "388.498942"},
  {"seed": 60119, "edge": "422.690430"},
  {"seed": 60120, "edge": "537.929658"},
  {"seed": 60121, "edge": "597.086497"},
  {"seed": 60122, "edge": "681.377589"},
  {"seed": 60123, "edge": "500.129354"},
  {"seed": 60124, "edge": "600.935404"},
  {"seed": 60125, "edge": "526.532232"},
  {"seed": 60126, "edge": "672.062527"},
  {"seed": 60127, "edge": "454.165807"},
  {"seed": 60128, "edge": "582.481350"},
  {"seed": 60129, "edge": "404.895838"},
  {"seed": 60130, "edge": "544.038285"},
  {"seed": 60131, "edge": "581.274325"},
  {"seed": 60132, "edge": "487.371198"},
  {"seed": 60133, "edge": "446.399527"},
  {"seed": 60134, "edge": "571.970464"},
  {"seed": 60135, "edge": "500.703228"},
  {"seed": 60136, "edge": "635.416822"},
  {"seed": 60137, "edge": "529.169369"},
  {"seed": 60138, "edge": "596.543586"},
  {"seed": 60139, "edge": "518.310545"},
  {"seed": 60140, "edge": "438.823892"},
  {"seed": 60141, "edge": "507.183214"},
  {"seed": 60142, "edge": "558.335417"},
  {"seed": 60143, "edge": "782.278408"},
  {"seed": 60144, "edge": "464.863708"},
  {"seed": 60145, "edge": "631.590607"},
  {"seed": 60146, "edge": "509.773115"},
  {"seed": 60147, "edge": "671.144623"},
  {"seed": 60148, "edge": "632.074753"},
  {"seed": 60149, "edge": "736.837134"},
  {"seed": 60150, "edge": "461.309291"},
  {"seed": 60151, "edge": "432.518916"},
  {"seed": 60152, "edge": "642.818478"},
  {"seed": 60153, "edge": "509.555475"},
  {"seed": 60154, "edge": "696.732437"},
  {"seed": 60155, "edge": "540.526111"},
  {"seed": 60156, "edge": "371.271547"},
  {"seed": 60157, "edge": "498.488381"},
  {"seed": 60158, "edge": "439.223161"},
  {"seed": 60159, "edge": "359.748033"},
  {"seed": 60160, "edge": "336.187970"},
  {"seed": 60161, "edge": "448.628349"},
  {"seed": 60162, "edge": "691.438560"},
  {"seed": 60163, "edge": "522.677836"},
  {"seed": 60164, "edge": "505.041912"},
  {"seed": 60165, "edge": "464.504899"},
  {"seed": 60166, "edge": "393.781033"},
  {"seed": 60167, "edge": "484.893613"},
  {"seed": 60168, "edge": "378.081952"},
  {"seed": 60169, "edge": "642.088455"},
  {"seed": 60170, "edge": "560.387201"},
  {"seed": 60171, "edge": "407.847639"},
  {"seed": 60172, "edge": "510.235925"},
  {"seed": 60173, "edge": "651.066561"},
  {"seed": 60174, "edge": "509.781506"},
  {"seed": 60175, "edge": "395.767248"},
  {"seed": 60176, "edge": "582.962183"},
  {"seed": 60177, "edge": "485.445865"},
  {"seed": 60178, "edge": "549.855903"},
  {"seed": 60179, "edge": "363.063875"},
  {"seed": 60180, "edge": "732.691913"},
  {"seed": 60181, "edge": "568.348095"},
  {"seed": 60182, "edge": "429.529033"},
  {"seed": 60183, "edge": "394.596481"},
  {"seed": 60184, "edge": "609.165919"},
  {"seed": 60185, "edge": "419.737961"},
  {"seed": 60186, "edge": "514.386069"},
  {"seed": 60187, "edge": "407.963218"},
  {"seed": 60188, "edge": "467.982178"},
  {"seed": 60189, "edge": "396.670929"},
  {"seed": 60190, "edge": "553.754377"},
  {"seed": 60191, "edge": "640.555319"},
  {"seed": 60192, "edge": "480.065997"},
  {"seed": 60193, "edge": "504.736526"},
  {"seed": 60194, "edge": "634.612933"},
  {"seed": 60195, "edge": "525.127146"},
  {"seed": 60196, "edge": "420.862343"},
  {"seed": 60197, "edge": "568.350580"},
  {"seed": 60198, "edge": "449.253192"},
  {"seed": 60199, "edge": "504.780579"},
  {"seed": 60200, "edge": "667.876910"},
  {"seed": 60201, "edge": "453.668848"},
  {"seed": 60202, "edge": "523.005683"},
  {"seed": 60203, "edge": "667.349898"},
  {"seed": 60204, "edge": "528.526252"},
  {"seed": 60205, "edge": "708.650923"},
  {"seed": 60206, "edge": "597.640788"},
  {"seed": 60207, "edge": "638.252008"},
  {"seed": 60208, "edge": "535.083985"},
  {"seed": 60209, "edge": "489.979350"},
  {"seed": 60210, "edge": "849.013574"},
  {"seed": 60211, "edge": "536.422534"},
  {"seed": 60212, "edge": "494.232074"},
  {"seed": 60213, "edge": "451.906353"},
  {"seed": 60214, "edge": "506.931966"},
  {"seed": 60215, "edge": "562.748702"},
  {"seed": 60216, "edge": "470.685686"},
  {"seed": 60217, "edge": "692.841909"},
  {"seed": 60218, "edge": "719.531935"},
  {"seed": 60219, "edge": "579.021435"},
  {"seed": 60220, "edge": "376.682379"},
  {"seed": 60221, "edge": "417.771024"},
  {"seed": 60222, "edge": "580.096472"},
  {"seed": 60223, "edge": "520.513115"},
  {"seed": 60224, "edge": "415.742340"},
  {"seed": 60225, "edge": "449.829033"},
  {"seed": 60226, "edge": "422.125420"},
  {"seed": 60227, "edge": "418.643395"},
  {"seed": 60228, "edge": "560.435927"},
  {"seed": 60229, "edge": "702.036080"},
  {"seed": 60230, "edge": "590.988264"},
  {"seed": 60231, "edge": "506.914902"},
  {"seed": 60232, "edge": "382.551357"},
  {"seed": 60233, "edge": "476.147353"},
  {"seed": 60234, "edge": "598.754150"},
  {"seed": 60235, "edge": "599.380609"},
  {"seed": 60236, "edge": "495.682009"},
  {"seed": 60237, "edge": "492.720292"},
  {"seed": 60238, "edge": "554.665874"},
  {"seed": 60239, "edge": "527.371224"},
  {"seed": 60240, "edge": "627.912644"},
  {"seed": 60241, "edge": "473.327778"},
  {"seed": 60242, "edge": "491.309095"},
  {"seed": 60243, "edge": "446.120790"},
  {"seed": 60244, "edge": "621.944327"},
  {"seed": 60245, "edge": "372.300607"},
  {"seed": 60246, "edge": "623.144938"},
  {"seed": 60247, "edge": "587.307532"},
  {"seed": 60248, "edge": "538.481201"},
  {"seed": 60249, "edge": "492.506130"},
  {"seed": 60250, "edge": "538.307626"},
  {"seed": 60251, "edge": "600.920859"},
  {"seed": 60252, "edge": "570.304535"},
  {"seed": 60253, "edge": "360.653385"},
  {"seed": 60254, "edge": "359.110988"},
  {"seed": 60255, "edge": "513.227613"},
  {"seed": 60256, "edge": "553.844305"},
  {"seed": 60257, "edge": "476.613239"},
  {"seed": 60258, "edge": "419.294495"},
  {"seed": 60259, "edge": "514.377869"},
  {"seed": 60260, "edge": "592.140635"},
  {"seed": 60261, "edge": "414.191276"},
  {"seed": 60262, "edge": "530.679408"},
  {"seed": 60263, "edge": "594.312351"},
  {"seed": 60264, "edge": "654.943569"},
  {"seed": 60265, "edge": "468.129845"},
  {"seed": 60266, "edge": "500.446668"},
  {"seed": 60267, "edge": "537.407183"},
  {"seed": 60268, "edge": "651.957743"},
  {"seed": 60269, "edge": "477.852602"},
  {"seed": 60270, "edge": "505.101375"},
  {"seed": 60271, "edge": "501.732978"},
  {"seed": 60272, "edge": "393.843714"},
  {"seed": 60273, "edge": "505.784815"},
  {"seed": 60274, "edge": "528.893397"},
  {"seed": 60275, "edge": "589.818950"},
  {"seed": 60276, "edge": "600.487929"},
  {"seed": 60277, "edge": "659.977206"},
  {"seed": 60278, "edge": "549.842544"},
  {"seed": 60279, "edge": "502.741795"},
  {"seed": 60280, "edge": "422.059767"},
  {"seed": 60281, "edge": "601.127676"},
  {"seed": 60282, "edge": "451.673931"},
  {"seed": 60283, "edge": "446.740969"},
  {"seed": 60284, "edge": "516.939084"},
  {"seed": 60285, "edge": "650.738522"},
  {"seed": 60286, "edge": "443.027324"},
  {"seed": 60287, "edge": "623.618283"},
  {"seed": 60288, "edge": "525.114148"},
  {"seed": 60289, "edge": "435.642763"},
  {"seed": 60290, "edge": "393.909102"},
  {"seed": 60291, "edge": "529.147742"},
  {"seed": 60292, "edge": "590.392649"},
  {"seed": 60293, "edge": "371.692398"},
  {"seed": 60294, "edge": "509.778546"},
  {"seed": 60295, "edge": "603.811752"},
  {"seed": 60296, "edge": "507.515423"},
  {"seed": 60297, "edge": "411.940687"},
  {"seed": 60298, "edge": "517.913633"},
  {"seed": 60299, "edge": "437.017764"},
  {"seed": 60300, "edge": "558.354512"},
  {"seed": 60301, "edge": "605.051760"},
  {"seed": 60302, "edge": "513.501500"},
  {"seed": 60303, "edge": "459.478350"},
  {"seed": 60304, "edge": "630.064972"},
  {"seed": 60305, "edge": "412.663497"},
  {"seed": 60306, "edge": "529.250592"},
  {"seed": 60307, "edge": "436.021916"},
  {"seed": 60308, "edge": "547.593237"},
  {"seed": 60309, "edge": "407.685873"},
  {"seed": 60310, "edge": "498.470847"},
  {"seed": 60311, "edge": "498.126497"},
  {"seed": 60312, "edge": "436.456087"},
  {"seed": 60313, "edge": "520.501647"},
  {"seed": 60314, "edge": "517.248894"},
  {"seed": 60315, "edge": "434.228324"},
  {"seed": 60316, "edge": "478.976299"},
  {"seed": 60317, "edge": "328.751730"},
  {"seed": 60318, "edge": "557.557617"},
  {"seed": 60319, "edge": "520.875537"},
  {"seed": 60320, "edge": "550.467375"},
  {"seed": 60321, "edge": "788.043652"},
  {"seed": 60322, "edge": "577.379679"},
  {"seed": 60323, "edge": "515.494061"},
  {"seed": 60324, "edge": "434.300846"},
  {"seed": 60325, "edge": "562.847373"},
  {"seed": 60326, "edge": "435.917259"},
  {"seed": 60327, "edge": "611.294018"},
  {"seed": 60328, "edge": "605.158375"},
  {"seed": 60329, "edge": "411.814240"},
  {"seed": 60330, "edge": "467.371882"},
  {"seed": 60331, "edge": "397.564213"},
  {"seed": 60332, "edge": "763.154747"},
  {"seed": 60333, "edge": "682.090191"},
  {"seed": 60334, "edge": "557.918717"},
  {"seed": 60335, "edge": "728.699648"},
  {"seed": 60336, "edge": "507.434160"},
  {"seed": 60337, "edge": "644.705294"},
  {"seed": 60338, "edge": "719.998230"},
  {"seed": 60339, "edge": "345.975840"},
  {"seed": 60340, "edge": "524.817242"},
  {"seed": 60341, "edge": "585.923013"},
  {"seed": 60342, "edge": "540.682934"},
  {"seed": 60343, "edge": "616.465776"},
  {"seed": 60344, "edge": "471.016501"},
  {"seed": 60345, "edge": "577.923123"},
  {"seed": 60346, "edge": "605.402580"},
  {"seed": 60347, "edge": "558.479639"},
  {"seed": 60348, "edge": "545.908409"},
  {"seed": 60349, "edge": "485.066185"},
  {"seed": 60350, "edge": "725.433951"},
  {"seed": 60351, "edge": "380.529561"},
  {"seed": 60352, "edge": "569.304144"},
  {"seed": 60353, "edge": "525.552887"},
  {"seed": 60354, "edge": "602.021952"},
  {"seed": 60355, "edge": "438.369705"},
  {"seed": 60356, "edge": "650.979167"},
  {"seed": 60357, "edge": "526.565514"},
  {"seed": 60358, "edge": "506.387910"},
  {"seed": 60359, "edge": "494.414139"},
  {"seed": 60360, "edge": "552.280059"},
  {"seed": 60361, "edge": "696.042747"},
  {"seed": 60362, "edge": "374.303885"},
  {"seed": 60363, "edge": "557.620398"},
  {"seed": 60364, "edge": "486.827115"},
  {"seed": 60365, "edge": "667.608342"},
  {"seed": 60366, "edge": "631.722874"},
  {"seed": 60367, "edge": "536.649293"},
  {"seed": 60368, "edge": "609.380586"},
  {"seed": 60369, "edge": "574.938644"},
  {"seed": 60370, "edge": "629.422683"},
  {"seed": 60371, "edge": "428.860642"},
  {"seed": 60372, "edge": "538.599052"},
  {"seed": 60373, "edge": "468.511167"},
  {"seed": 60374, "edge": "561.753032"},
  {"seed": 60375, "edge": "668.229300"},
  {"seed": 60376, "edge": "467.759394"},
  {"seed": 60377, "edge": "505.561363"},
  {"seed": 60378, "edge": "524.133741"},
  {"seed": 60379, "edge": "455.572609"},
  {"seed": 60380, "edge": "460.648321"},
  {"seed": 60381, "edge": "475.360701"},
  {"seed": 60382, "edge": "652.124227"},
  {"seed": 60383, "edge": "479.696962"},
  {"seed": 60384, "edge": "437.075688"},
  {"seed": 60385, "edge": "604.153755"},
  {"seed": 60386, "edge": "598.609484"},
  {"seed": 60387, "edge": "686.806465"},
  {"seed": 60388, "edge": "439.057332"},
  {"seed": 60389, "edge": "628.156882"},
  {"seed": 60390, "edge": "557.236961"},
  {"seed": 60391, "edge": "552.094091"},
  {"seed": 60392, "edge": "445.145575"},
  {"seed": 60393, "edge": "614.755240"},
  {"seed": 60394, "edge": "418.605619"},
  {"seed": 60395, "edge": "634.509683"},
  {"seed": 60396, "edge": "558.949251"},
  {"seed": 60397, "edge": "543.446370"},
  {"seed": 60398, "edge": "605.326075"},
  {"seed": 60399, "edge": "421.695052"},
  {"seed": 60400, "edge": "516.785429"},
  {"seed": 60401, "edge": "480.396154"},
  {"seed": 60402, "edge": "483.346404"},
  {"seed": 60403, "edge": "572.673791"},
  {"seed": 60404, "edge": "615.872836"},
  {"seed": 60405, "edge": "654.696195"},
  {"seed": 60406, "edge": "434.945972"},
  {"seed": 60407, "edge": "592.562285"},
  {"seed": 60408, "edge": "716.276498"},
  {"seed": 60409, "edge": "558.243577"},
  {"seed": 60410, "edge": "483.393129"},
  {"seed": 60411, "edge": "673.287360"},
  {"seed": 60412, "edge": "571.434684"},
  {"seed": 60413, "edge": "536.856419"},
  {"seed": 60414, "edge": "444.245429"},
  {"seed": 60415, "edge": "469.364708"},
  {"seed": 60416, "edge": "354.585875"},
  {"seed": 60417, "edge": "682.707475"},
  {"seed": 60418, "edge": "445.758722"},
  {"seed": 60419, "edge": "384.829305"},
  {"seed": 60420, "edge": "397.217124"},
  {"seed": 60421, "edge": "428.342761"},
  {"seed": 60422, "edge": "407.844295"},
  {"seed": 60423, "edge": "466.783353"},
  {"seed": 60424, "edge": "651.478263"},
  {"seed": 60425, "edge": "490.672768"},
  {"seed": 60426, "edge": "583.788379"},
  {"seed": 60427, "edge": "513.186448"},
  {"seed": 60428, "edge": "429.791174"},
  {"seed": 60429, "edge": "465.272505"},
  {"seed": 60430, "edge": "531.312689"},
  {"seed": 60431, "edge": "601.044781"},
  {"seed": 60432, "edge": "461.955954"},
  {"seed": 60433, "edge": "672.645357"},
  {"seed": 60434, "edge": "583.239539"},
  {"seed": 60435, "edge": "493.967930"},
  {"seed": 60436, "edge": "411.107296"},
  {"seed": 60437, "edge": "542.041534"},
  {"seed": 60438, "edge": "687.640297"},
  {"seed": 60439, "edge": "509.652805"},
  {"seed": 60440, "edge": "651.833458"},
  {"seed": 60441, "edge": "467.705866"},
  {"seed": 60442, "edge": "598.796348"},
  {"seed": 60443, "edge": "472.176489"},
  {"seed": 60444, "edge": "472.078035"},
  {"seed": 60445, "edge": "539.273839"},
  {"seed": 60446, "edge": "630.468333"},
  {"seed": 60447, "edge": "459.759416"},
  {"seed": 60448, "edge": "481.268791"},
  {"seed": 60449, "edge": "425.517870"},
  {"seed": 60450, "edge": "452.638335"},
  {"seed": 60451, "edge": "417.582583"},
  {"seed": 60452, "edge": "569.502349"},
  {"seed": 60453, "edge": "817.192157"},
  {"seed": 60454, "edge": "574.048071"},
  {"seed": 60455, "edge": "494.424672"},
  {"seed": 60456, "edge": "616.391440"},
  {"seed": 60457, "edge": "520.231624"},
  {"seed": 60458, "edge": "511.764397"},
  {"seed": 60459, "edge": "607.787959"},
  {"seed": 60460, "edge": "558.064695"},
  {"seed": 60461, "edge": "536.201086"},
  {"seed": 60462, "edge": "511.963162"},
  {"seed": 60463, "edge": "657.302345"},
  {"seed": 60464, "edge": "478.685681"},
  {"seed": 60465, "edge": "366.710059"},
  {"seed": 60466, "edge": "546.833034"},
  {"seed": 60467, "edge": "799.982482"},
  {"seed": 60468, "edge": "455.924161"},
  {"seed": 60469, "edge": "638.232047"},
  {"seed": 60470, "edge": "578.154460"},
  {"seed": 60471, "edge": "447.704854"},
  {"seed": 60472, "edge": "492.527381"},
  {"seed": 60473, "edge": "482.720182"},
  {"seed": 60474, "edge": "699.422308"},
  {"seed": 60475, "edge": "588.967602"},
  {"seed": 60476, "edge": "463.539140"},
  {"seed": 60477, "edge": "534.634139"},
  {"seed": 60478, "edge": "513.146091"},
  {"seed": 60479, "edge": "480.605215"},
  {"seed": 60480, "edge": "763.211368"},
  {"seed": 60481, "edge": "428.226600"},
  {"seed": 60482, "edge": "679.684481"},
  {"seed": 60483, "edge": "566.946302"},
  {"seed": 60484, "edge": "415.802809"},
  {"seed": 60485, "edge": "627.791485"},
  {"seed": 60486, "edge": "386.386194"},
  {"seed": 60487, "edge": "555.084740"},
  {"seed": 60488, "edge": "434.767082"},
  {"seed": 60489, "edge": "450.164798"},
  {"seed": 60490, "edge": "515.374696"},
  {"seed": 60491, "edge": "351.051544"},
  {"seed": 60492, "edge": "490.293413"},
  {"seed": 60493, "edge": "586.217997"},
  {"seed": 60494, "edge": "432.619331"},
  {"seed": 60495, "edge": "680.593616"},
  {"seed": 60496, "edge": "675.607102"},
  {"seed": 60497, "edge": "661.373076"},
  {"seed": 60498, "edge": "356.910219"},
  {"seed": 60499, "edge": "499.479816"},
  {"seed": 60500, "edge": "519.959659"},
  {"seed": 60501, "edge": "548.596412"},
  {"seed": 60502, "edge": "455.282257"},
  {"seed": 60503, "edge": "661.308674"},
  {"seed": 60504, "edge": "624.217391"},
  {"seed": 60505, "edge": "431.448436"},
  {"seed": 60506, "edge": "636.173286"},
  {"seed": 60507, "edge": "382.421258"},
  {"seed": 60508, "edge": "527.677079"},
  {"seed": 60509, "edge": "571.069488"},
  {"seed": 60510, "edge": "535.320776"},
  {"seed": 60511, "edge": "571.290926"},
  {"seed": 60512, "edge": "391.762082"},
  {"seed": 60513, "edge": "491.806119"},
  {"seed": 60514, "edge": "515.396949"},
  {"seed": 60515, "edge": "444.512073"},
  {"seed": 60516, "edge": "489.915225"},
  {"seed": 60517, "edge": "406.621340"},
  {"seed": 60518, "edge": "519.470670"},
  {"seed": 60519, "edge": "506.602191"},
  {"seed": 60520, "edge": "546.287200"},
  {"seed": 60521, "edge": "546.259999"},
  {"seed": 60522, "edge": "638.231416"},
  {"seed": 60523, "edge": "531.672730"},
  {"seed": 60524, "edge": "524.478205"},
  {"seed": 60525, "edge": "570.848441"},
  {"seed": 60526, "edge": "538.862533"},
  {"seed": 60527, "edge": "749.677765"},
  {"seed": 60528, "edge": "412.247640"},
  {"seed": 60529, "edge": "396.839079"},
  {"seed": 60530, "edge": "450.208972"},
  {"seed": 60531, "edge": "445.219018"},
  {"seed": 60532, "edge": "597.817514"},
  {"seed": 60533, "edge": "426.019381"},
  {"seed": 60534, "edge": "380.632243"},
  {"seed": 60535, "edge": "408.828495"},
  {"seed": 60536, "edge": "515.193779"},
  {"seed": 60537, "edge": "508.441924"},
  {"seed": 60538, "edge": "390.194453"},
  {"seed": 60539, "edge": "559.262939"},
  {"seed": 60540, "edge": "616.699756"},
  {"seed": 60541, "edge": "555.335845"},
  {"seed": 60542, "edge": "434.825681"},
  {"seed": 60543, "edge": "717.288233"},
  {"seed": 60544, "edge": "428.639898"},
  {"seed": 60545, "edge": "600.229418"},
  {"seed": 60546, "edge": "690.665872"},
  {"seed": 60547, "edge": "586.975301"},
  {"seed": 60548, "edge": "443.676284"},
  {"seed": 60549, "edge": "523.063273"},
  {"seed": 60550, "edge": "550.498232"},
  {"seed": 60551, "edge": "637.906963"},
  {"seed": 60552, "edge": "439.566990"},
  {"seed": 60553, "edge": "404.206613"},
  {"seed": 60554, "edge": "552.797049"},
  {"seed": 60555, "edge": "550.211535"},
  {"seed": 60556, "edge": "582.353769"},
  {"seed": 60557, "edge": "424.937665"},
  {"seed": 60558, "edge": "538.166254"},
  {"seed": 60559, "edge": "549.856397"},
  {"seed": 60560, "edge": "403.342124"},
  {"seed": 60561, "edge": "448.683774"},
  {"seed": 60562, "edge": "634.296012"},
  {"seed": 60563, "edge": "585.330951"},
  {"seed": 60564, "edge": "596.817631"},
  {"seed": 60565, "edge": "636.027042"},
  {"seed": 60566, "edge": "641.558723"},
  {"seed": 60567, "edge": "632.790202"},
  {"seed": 60568, "edge": "606.093201"},
  {"seed": 60569, "edge": "683.403300"},
  {"seed": 60570, "edge": "581.375361"},
  {"seed": 60571, "edge": "574.226599"},
  {"seed": 60572, "edge": "613.948247"},
  {"seed": 60573, "edge": "518.191583"},
  {"seed": 60574, "edge": "524.346274"},
  {"seed": 60575, "edge": "510.815096"},
  {"seed": 60576, "edge": "595.797917"},
  {"seed": 60577, "edge": "692.111871"},
  {"seed": 60578, "edge": "524.667414"},
  {"seed": 60579, "edge": "540.613868"},
  {"seed": 60580, "edge": "419.033838"},
  {"seed": 60581, "edge": "639.412658"},
  {"seed": 60582, "edge": "523.727009"},
  {"seed": 60583, "edge": "564.885793"},
  {"seed": 60584, "edge": "473.229753"},
  {"seed": 60585, "edge": "490.584488"},
  {"seed": 60586, "edge": "551.614550"},
  {"seed": 60587, "edge": "548.213606"},
  {"seed": 60588, "edge": "675.460505"},
  {"seed": 60589, "edge": "623.100982"},
  {"seed": 60590, "edge": "452.583900"},
  {"seed": 60591, "edge": "500.643801"},
  {"seed": 60592, "edge": "553.105999"},
  {"seed": 60593, "edge": "432.368531"},
  {"seed": 60594, "edge": "681.612187"},
  {"seed": 60595, "edge": "607.113238"},
  {"seed": 60596, "edge": "454.233019"},
  {"seed": 60597, "edge": "531.732364"},
  {"seed": 60598, "edge": "510.418750"},
  {"seed": 60599, "edge": "433.391436"},
  {"seed": 60600, "edge": "537.260036"},
  {"seed": 60601, "edge": "477.148271"},
  {"seed": 60602, "edge": "543.017701"},
  {"seed": 60603, "edge": "618.040357"},
  {"seed": 60604, "edge": "620.769672"},
  {"seed": 60605, "edge": "376.892575"},
  {"seed": 60606, "edge": "467.039368"},
  {"seed": 60607, "edge": "389.885103"},
  {"seed": 60608, "edge": "638.406023"},
  {"seed": 60609, "edge": "586.477656"},
  {"seed": 60610, "edge": "639.963346"},
  {"seed": 60611, "edge": "516.294111"},
  {"seed": 60612, "edge": "603.937204"},
  {"seed": 60613, "edge": "527.258092"},
  {"seed": 60614, "edge": "386.845947"},
  {"seed": 60615, "edge": "452.862257"},
  {"seed": 60616, "edge": "410.345475"},
  {"seed": 60617, "edge": "360.005573"},
  {"seed": 60618, "edge": "541.991429"},
  {"seed": 60619, "edge": "415.428028"},
  {"seed": 60620, "edge": "466.632969"},
  {"seed": 60621, "edge": "577.238533"},
  {"seed": 60622, "edge": "394.313688"},
  {"seed": 60623, "edge": "647.840178"},
  {"seed": 60624, "edge": "482.764411"},
  {"seed": 60625, "edge": "543.851415"},
  {"seed": 60626, "edge": "450.928925"},
  {"seed": 60627, "edge": "606.315970"},
  {"seed": 60628, "edge": "494.783208"},
  {"seed": 60629, "edge": "613.199729"},
  {"seed": 60630, "edge": "593.017774"},
  {"seed": 60631, "edge": "532.190711"},
  {"seed": 60632, "edge": "601.050283"},
  {"seed": 60633, "edge": "577.691896"},
  {"seed": 60634, "edge": "658.442066"},
  {"seed": 60635, "edge": "688.087703"},
  {"seed": 60636, "edge": "441.210200"},
  {"seed": 60637, "edge": "556.603505"},
  {"seed": 60638, "edge": "535.994686"},
  {"seed": 60639, "edge": "395.949976"},
  {"seed": 60640, "edge": "530.235982"},
  {"seed": 60641, "edge": "655.541076"},
  {"seed": 60642, "edge": "570.982293"},
  {"seed": 60643, "edge": "393.888047"},
  {"seed": 60644, "edge": "520.612808"},
  {"seed": 60645, "edge": "395.024344"},
  {"seed": 60646, "edge": "475.492081"},
  {"seed": 60647, "edge": "587.476420"},
  {"seed": 60648, "edge": "628.493686"},
  {"seed": 60649, "edge": "443.207478"},
  {"seed": 60650, "edge": "407.830942"},
  {"seed": 60651, "edge": "434.750401"},
  {"seed": 60652, "edge": "615.362250"},
  {"seed": 60653, "edge": "658.527384"},
  {"seed": 60654, "edge": "482.139507"},
  {"seed": 60655, "edge": "503.073956"},
  {"seed": 60656, "edge": "616.911583"},
  {"seed": 60657, "edge": "416.630130"},
  {"seed": 60658, "edge": "579.331963"},
  {"seed": 60659, "edge": "648.163721"},
  {"seed": 60660, "edge": "597.683894"},
  {"seed": 60661, "edge": "578.850800"},
  {"seed": 60662, "edge": "530.337510"},
  {"seed": 60663, "edge": "606.660445"},
  {"seed": 60664, "edge": "445.826822"},
  {"seed": 60665, "edge": "452.474829"},
  {"seed": 60666, "edge": "469.371044"},
  {"seed": 60667, "edge": "592.988916"},
  {"seed": 60668, "edge": "540.305532"},
  {"seed": 60669, "edge": "472.567380"},
  {"seed": 60670, "edge": "429.842481"},
  {"seed": 60671, "edge": "492.111328"},
  {"seed": 60672, "edge": "471.998436"},
  {"seed": 60673, "edge": "431.493330"},
  {"seed": 60674, "edge": "596.547957"},
  {"seed": 60675, "edge": "409.700389"},
  {"seed": 60676, "edge": "532.556277"},
  {"seed": 60677, "edge": "748.263520"},
  {"seed": 60678, "edge": "497.903277"},
  {"seed": 60679, "edge": "703.436651"},
  {"seed": 60680, "edge": "793.879764"},
  {"seed": 60681, "edge": "523.727885"},
  {"seed": 60682, "edge": "473.376940"},
  {"seed": 60683, "edge": "378.491390"},
  {"seed": 60684, "edge": "517.060429"},
  {"seed": 60685, "edge": "383.563669"},
  {"seed": 60686, "edge": "479.673140"},
  {"seed": 60687, "edge": "523.392089"},
  {"seed": 60688, "edge": "575.565080"},
  {"seed": 60689, "edge": "640.207035"},
  {"seed": 60690, "edge": "609.850529"},
  {"seed": 60691, "edge": "433.378164"},
  {"seed": 60692, "edge": "575.637549"},
  {"seed": 60693, "edge": "333.487560"},
  {"seed": 60694, "edge": "484.962953"},
  {"seed": 60695, "edge": "599.126542"},
  {"seed": 60696, "edge": "567.196427"},
  {"seed": 60697, "edge": "529.996563"},
  {"seed": 60698, "edge": "424.044794"},
  {"seed": 60699, "edge": "432.184550"},
  {"seed": 60700, "edge": "394.619810"},
  {"seed": 60701, "edge": "391.650811"},
  {"seed": 60702, "edge": "709.649774"},
  {"seed": 60703, "edge": "696.994166"},
  {"seed": 60704, "edge": "634.886685"},
  {"seed": 60705, "edge": "553.084835"},
  {"seed": 60706, "edge": "642.647550"},
  {"seed": 60707, "edge": "468.388983"},
  {"seed": 60708, "edge": "367.533682"},
  {"seed": 60709, "edge": "569.323359"},
  {"seed": 60710, "edge": "615.140892"},
  {"seed": 60711, "edge": "551.448432"},
  {"seed": 60712, "edge": "481.150204"},
  {"seed": 60713, "edge": "580.656088"},
  {"seed": 60714, "edge": "373.133379"},
  {"seed": 60715, "edge": "444.943879"},
  {"seed": 60716, "edge": "522.738109"},
  {"seed": 60717, "edge": "548.068451"},
  {"seed": 60718, "edge": "614.520967"},
  {"seed": 60719, "edge": "391.840900"},
  {"seed": 60720, "edge": "394.279017"},
  {"seed": 60721, "edge": "532.019303"},
  {"seed": 60722, "edge": "572.615528"},
  {"seed": 60723, "edge": "626.662267"},
  {"seed": 60724, "edge": "679.089252"},
  {"seed": 60725, "edge": "642.884812"},
  {"seed": 60726, "edge": "384.771343"},
  {"seed": 60727, "edge": "452.646945"},
  {"seed": 60728, "edge": "415.720990"},
  {"seed": 60729, "edge": "548.547558"},
  {"seed": 60730, "edge": "599.345605"},
  {"seed": 60731, "edge": "536.654079"},
  {"seed": 60732, "edge": "533.926018"},
  {"seed": 60733, "edge": "578.552241"},
  {"seed": 60734, "edge": "488.734952"},
  {"seed": 60735, "edge": "610.976311"},
  {"seed": 60736, "edge": "746.038221"},
  {"seed": 60737, "edge": "468.108108"},
  {"seed": 60738, "edge": "390.214688"},
  {"seed": 60739, "edge": "462.460031"},
  {"seed": 60740, "edge": "469.818307"},
  {"seed": 60741, "edge": "482.107517"},
  {"seed": 60742, "edge": "725.013741"},
  {"seed": 60743, "edge": "547.629896"},
  {"seed": 60744, "edge": "581.046291"},
  {"seed": 60745, "edge": "619.862643"},
  {"seed": 60746, "edge": "406.791243"},
  {"seed": 60747, "edge": "599.677589"},
  {"seed": 60748, "edge": "543.535746"},
  {"seed": 60749, "edge": "452.996614"},
  {"seed": 60750, "edge": "416.548272"},
  {"seed": 60751, "edge": "428.376962"},
  {"seed": 60752, "edge": "616.810823"},
  {"seed": 60753, "edge": "513.592202"},
  {"seed": 60754, "edge": "470.563065"},
  {"seed": 60755, "edge": "532.317736"},
  {"seed": 60756, "edge": "495.543932"},
  {"seed": 60757, "edge": "529.376253"},
  {"seed": 60758, "edge": "594.905064"},
  {"seed": 60759, "edge": "741.886602"},
  {"seed": 60760, "edge": "457.243672"},
  {"seed": 60761, "edge": "574.464639"},
  {"seed": 60762, "edge": "599.904720"},
  {"seed": 60763, "edge": "622.850790"},
  {"seed": 60764, "edge": "418.285933"},
  {"seed": 60765, "edge": "597.459552"},
  {"seed": 60766, "edge": "664.880740"},
  {"seed": 60767, "edge": "385.685153"},
  {"seed": 60768, "edge": "520.712542"},
  {"seed": 60769, "edge": "420.619898"},
  {"seed": 60770, "edge": "477.937951"},
  {"seed": 60771, "edge": "476.138320"},
  {"seed": 60772, "edge": "536.021398"},
  {"seed": 60773, "edge": "544.777471"},
  {"seed": 60774, "edge": "417.503774"},
  {"seed": 60775, "edge": "516.965417"},
  {"seed": 60776, "edge": "455.396745"},
  {"seed": 60777, "edge": "447.704655"},
  {"seed": 60778, "edge": "581.494911"},
  {"seed": 60779, "edge": "442.493167"},
  {"seed": 60780, "edge": "396.392183"},
  {"seed": 60781, "edge": "468.592076"},
  {"seed": 60782, "edge": "652.083548"},
  {"seed": 60783, "edge": "642.707646"},
  {"seed": 60784, "edge": "637.744103"},
  {"seed": 60785, "edge": "405.128806"},
  {"seed": 60786, "edge": "480.047614"},
  {"seed": 60787, "edge": "539.194854"},
  {"seed": 60788, "edge": "402.335971"},
  {"seed": 60789, "edge": "486.842928"},
  {"seed": 60790, "edge": "549.437623"},
  {"seed": 60791, "edge": "393.923929"},
  {"seed": 60792, "edge": "452.213747"},
  {"seed": 60793, "edge": "514.254076"},
  {"seed": 60794, "edge": "501.841665"},
  {"seed": 60795, "edge": "516.885315"},
  {"seed": 60796, "edge": "528.015349"},
  {"seed": 60797, "edge": "383.282709"},
  {"seed": 60798, "edge": "433.063905"},
  {"seed": 60799, "edge": "531.832811"},
  {"seed": 60800, "edge": "574.921980"},
  {"seed": 60801, "edge": "551.897818"},
  {"seed": 60802, "edge": "739.370888"},
  {"seed": 60803, "edge": "650.472291"},
  {"seed": 60804, "edge": "503.632607"},
  {"seed": 60805, "edge": "556.859149"},
  {"seed": 60806, "edge": "618.542918"},
  {"seed": 60807, "edge": "485.897425"},
  {"seed": 60808, "edge": "433.714419"},
  {"seed": 60809, "edge": "691.597210"},
  {"seed": 60810, "edge": "602.550656"},
  {"seed": 60811, "edge": "599.981561"},
  {"seed": 60812, "edge": "490.603996"},
  {"seed": 60813, "edge": "624.266027"},
  {"seed": 60814, "edge": "626.956191"},
  {"seed": 60815, "edge": "492.295241"},
  {"seed": 60816, "edge": "548.120888"},
  {"seed": 60817, "edge": "630.834949"},
  {"seed": 60818, "edge": "633.054692"},
  {"seed": 60819, "edge": "677.884028"},
  {"seed": 60820, "edge": "356.538875"},
  {"seed": 60821, "edge": "667.968193"},
  {"seed": 60822, "edge": "559.754897"},
  {"seed": 60823, "edge": "432.437783"},
  {"seed": 60824, "edge": "450.650038"},
  {"seed": 60825, "edge": "605.877862"},
  {"seed": 60826, "edge": "519.201060"},
  {"seed": 60827, "edge": "526.886837"},
  {"seed": 60828, "edge": "401.384501"},
  {"seed": 60829, "edge": "384.205694"},
  {"seed": 60830, "edge": "487.101629"},
  {"seed": 60831, "edge": "480.263022"},
  {"seed": 60832, "edge": "534.962693"},
  {"seed": 60833, "edge": "392.653634"},
  {"seed": 60834, "edge": "518.981329"},
  {"seed": 60835, "edge": "580.657308"},
  {"seed": 60836, "edge": "449.379231"},
  {"seed": 60837, "edge": "404.679927"},
  {"seed": 60838, "edge": "466.096161"},
  {"seed": 60839, "edge": "716.663987"},
  {"seed": 60840, "edge": "688.979130"},
  {"seed": 60841, "edge": "540.281762"},
  {"seed": 60842, "edge": "457.277405"},
  {"seed": 60843, "edge": "556.822801"},
  {"seed": 60844, "edge": "526.369675"},
  {"seed": 60845, "edge": "573.066593"},
  {"seed": 60846, "edge": "607.452542"},
  {"seed": 60847, "edge": "679.440875"},
  {"seed": 60848, "edge": "702.990944"},
  {"seed": 60849, "edge": "430.358377"},
  {"seed": 60850, "edge": "500.630905"},
  {"seed": 60851, "edge": "450.386371"},
  {"seed": 60852, "edge": "518.522673"},
  {"seed": 60853, "edge": "613.771036"},
  {"seed": 60854, "edge": "608.118107"},
  {"seed": 60855, "edge": "622.456089"},
  {"seed": 60856, "edge": "464.001539"},
  {"seed": 60857, "edge": "507.815633"},
  {"seed": 60858, "edge": "612.776667"},
  {"seed": 60859, "edge": "554.880853"},
  {"seed": 60860, "edge": "429.925641"},
  {"seed": 60861, "edge": "417.467756"},
  {"seed": 60862, "edge": "458.097078"},
  {"seed": 60863, "edge": "457.026067"},
  {"seed": 60864, "edge": "399.495379"},
  {"seed": 60865, "edge": "461.960683"},
  {"seed": 60866, "edge": "439.170775"},
  {"seed": 60867, "edge": "408.813128"},
  {"seed": 60868, "edge": "513.502665"},
  {"seed": 60869, "edge": "683.528753"},
  {"seed": 60870, "edge": "505.062108"},
  {"seed": 60871, "edge": "610.042541"},
  {"seed": 60872, "edge": "439.186979"},
  {"seed": 60873, "edge": "567.725980"},
  {"seed": 60874, "edge": "594.659243"},
  {"seed": 60875, "edge": "442.207492"},
  {"seed": 60876, "edge": "550.858146"},
  {"seed": 60877, "edge": "642.078591"},
  {"seed": 60878, "edge": "675.042974"},
  {"seed": 60879, "edge": "540.944679"},
  {"seed": 60880, "edge": "418.097308"},
  {"seed": 60881, "edge": "582.028824"},
  {"seed": 60882, "edge": "459.369522"},
  {"seed": 60883, "edge": "530.050788"},
  {"seed": 60884, "edge": "489.625416"},
  {"seed": 60885, "edge": "612.484542"},
  {"seed": 60886, "edge": "463.067000"},
  {"seed": 60887, "edge": "564.610830"},
  {"seed": 60888, "edge": "544.012044"},
  {"seed": 60889, "edge": "530.967300"},
  {"seed": 60890, "edge": "663.664943"},
  {"seed": 60891, "edge": "624.063573"},
  {"seed": 60892, "edge": "611.702757"},
  {"seed": 60893, "edge": "481.716277"},
  {"seed": 60894, "edge": "558.099613"},
  {"seed": 60895, "edge": "553.149719"},
  {"seed": 60896, "edge": "520.557963"},
  {"seed": 60897, "edge": "440.338343"},
  {"seed": 60898, "edge": "466.140569"},
  {"seed": 60899, "edge": "564.224278"},
  {"seed": 60900, "edge": "695.742033"},
  {"seed": 60901, "edge": "464.379223"},
  {"seed": 60902, "edge": "472.171242"},
  {"seed": 60903, "edge": "547.774182"},
  {"seed": 60904, "edge": "426.474955"},
  {"seed": 60905, "edge": "506.555058"},
  {"seed": 60906, "edge": "445.000971"},
  {"seed": 60907, "edge": "388.894303"},
  {"seed": 60908, "edge": "543.847125"},
  {"seed": 60909, "edge": "517.471435"},
  {"seed": 60910, "edge": "428.789630"},
  {"seed": 60911, "edge": "559.201945"},
  {"seed": 60912, "edge": "707.198387"},
  {"seed": 60913, "edge": "517.668752"},
  {"seed": 60914, "edge": "395.293178"},
  {"seed": 60915, "edge": "617.243026"},
  {"seed": 60916, "edge": "646.518613"},
  {"seed": 60917, "edge": "623.755710"},
  {"seed": 60918, "edge": "462.455339"},
  {"seed": 60919, "edge": "639.464823"},
  {"seed": 60920, "edge": "406.750738"},
  {"seed": 60921, "edge": "434.851263"},
  {"seed": 60922, "edge": "445.679131"},
  {"seed": 60923, "edge": "623.486841"},
  {"seed": 60924, "edge": "401.976852"},
  {"seed": 60925, "edge": "397.332997"},
  {"seed": 60926, "edge": "550.698582"},
  {"seed": 60927, "edge": "499.110373"},
  {"seed": 60928, "edge": "618.386710"},
  {"seed": 60929, "edge": "676.654230"},
  {"seed": 60930, "edge": "662.944427"},
  {"seed": 60931, "edge": "626.563604"},
  {"seed": 60932, "edge": "394.591062"},
  {"seed": 60933, "edge": "609.629828"},
  {"seed": 60934, "edge": "518.087727"},
  {"seed": 60935, "edge": "511.631292"},
  {"seed": 60936, "edge": "543.846086"},
  {"seed": 60937, "edge": "530.734792"},
  {"seed": 60938, "edge": "454.642442"},
  {"seed": 60939, "edge": "513.994779"},
  {"seed": 60940, "edge": "443.031678"},
  {"seed": 60941, "edge": "546.567432"},
  {"seed": 60942, "edge": "645.206228"},
  {"seed": 60943, "edge": "686.383184"},
  {"seed": 60944, "edge": "562.404114"},
  {"seed": 60945, "edge": "566.476570"},
  {"seed": 60946, "edge": "607.293750"},
  {"seed": 60947, "edge": "393.767958"},
  {"seed": 60948, "edge": "562.555878"},
  {"seed": 60949, "edge": "590.282817"},
  {"seed": 60950, "edge": "410.920428"},
  {"seed": 60951, "edge": "515.490225"},
  {"seed": 60952, "edge": "414.764065"},
  {"seed": 60953, "edge": "570.438485"},
  {"seed": 60954, "edge": "432.818498"},
  {"seed": 60955, "edge": "530.307882"},
  {"seed": 60956, "edge": "410.280099"},
  {"seed": 60957, "edge": "578.884736"},
  {"seed": 60958, "edge": "600.849450"},
  {"seed": 60959, "edge": "389.481410"},
  {"seed": 60960, "edge": "649.620594"},
  {"seed": 60961, "edge": "608.847265"},
  {"seed": 60962, "edge": "709.833311"},
  {"seed": 60963, "edge": "667.976289"},
  {"seed": 60964, "edge": "715.411392"},
  {"seed": 60965, "edge": "690.268381"},
  {"seed": 60966, "edge": "374.705024"},
  {"seed": 60967, "edge": "395.647013"},
  {"seed": 60968, "edge": "572.739846"},
  {"seed": 60969, "edge": "509.034949"},
  {"seed": 60970, "edge": "434.203709"},
  {"seed": 60971, "edge": "421.595018"},
  {"seed": 60972, "edge": "639.515242"},
  {"seed": 60973, "edge": "560.568344"},
  {"seed": 60974, "edge": "474.844296"},
  {"seed": 60975, "edge": "701.492993"},
  {"seed": 60976, "edge": "669.668012"},
  {"seed": 60977, "edge": "602.057462"},
  {"seed": 60978, "edge": "476.058616"},
  {"seed": 60979, "edge": "426.931690"},
  {"seed": 60980, "edge": "570.355516"},
  {"seed": 60981, "edge": "562.318532"},
  {"seed": 60982, "edge": "664.188434"},
  {"seed": 60983, "edge": "601.355814"},
  {"seed": 60984, "edge": "630.534152"},
  {"seed": 60985, "edge": "509.947969"},
  {"seed": 60986, "edge": "468.211106"},
  {"seed": 60987, "edge": "606.611584"},
  {"seed": 60988, "edge": "513.435571"},
  {"seed": 60989, "edge": "678.625765"},
  {"seed": 60990, "edge": "455.205369"},
  {"seed": 60991, "edge": "605.472301"},
  {"seed": 60992, "edge": "659.399293"},
  {"seed": 60993, "edge": "585.848726"},
  {"seed": 60994, "edge": "596.623396"},
  {"seed": 60995, "edge": "452.839639"},
  {"seed": 60996, "edge": "619.102791"},
  {"seed": 60997, "edge": "437.932112"},
  {"seed": 60998, "edge": "401.598177"},
  {"seed": 60999, "edge": "502.333205"},
  {"seed": 61000, "edge": "524.093798"},
  {"seed": 61001, "edge": "470.895172"},
  {"seed": 61002, "edge": "379.204558"},
  {"seed": 61003, "edge": "489.276808"},
  {"seed": 61004, "edge": "666.880042"},
  {"seed": 61005, "edge": "503.267160"},
  {"seed": 61006, "edge": "549.555270"},
  {"seed": 61007, "edge": "462.461874"},
  {"seed": 61008, "edge": "478.834770"},
  {"seed": 61009, "edge": "465.225485"},
  {"seed": 61010, "edge": "443.639732"},
  {"seed": 61011, "edge": "526.311889"},
  {"seed": 61012, "edge": "669.922307"},
  {"seed": 61013, "edge": "718.788136"},
  {"seed": 61014, "edge": "500.321375"},
  {"seed": 61015, "edge": "420.301981"},
  {"seed": 61016, "edge": "687.669966"},
  {"seed": 61017, "edge": "547.951666"},
  {"seed": 61018, "edge": "435.294827"},
  {"seed": 61019, "edge": "594.363297"},
  {"seed": 61020, "edge": "466.025369"},
  {"seed": 61021, "edge": "468.246129"},
  {"seed": 61022, "edge": "506.556838"},
  {"seed": 61023, "edge": "603.564959"}
 ]
}