{
 "_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": [
   64000,
   65023
  ],
  "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": [
     64000,
     64063
    ],
    "pairs": 64,
    "reference": "CPython replica2.run, fresh policy object per run",
    "max_abs_error": 8.981260180007666e-12
   }
  }
 },
 "rows": [
  {"seed": 64000, "edge": "436.408765"},
  {"seed": 64001, "edge": "475.019670"},
  {"seed": 64002, "edge": "434.703199"},
  {"seed": 64003, "edge": "572.661568"},
  {"seed": 64004, "edge": "385.956169"},
  {"seed": 64005, "edge": "586.200920"},
  {"seed": 64006, "edge": "670.252322"},
  {"seed": 64007, "edge": "607.097068"},
  {"seed": 64008, "edge": "626.387730"},
  {"seed": 64009, "edge": "474.202735"},
  {"seed": 64010, "edge": "468.850364"},
  {"seed": 64011, "edge": "529.686513"},
  {"seed": 64012, "edge": "427.398415"},
  {"seed": 64013, "edge": "427.100709"},
  {"seed": 64014, "edge": "564.067448"},
  {"seed": 64015, "edge": "404.210132"},
  {"seed": 64016, "edge": "535.156962"},
  {"seed": 64017, "edge": "610.641824"},
  {"seed": 64018, "edge": "489.388196"},
  {"seed": 64019, "edge": "716.635606"},
  {"seed": 64020, "edge": "457.281421"},
  {"seed": 64021, "edge": "583.889705"},
  {"seed": 64022, "edge": "564.542987"},
  {"seed": 64023, "edge": "461.866294"},
  {"seed": 64024, "edge": "609.235777"},
  {"seed": 64025, "edge": "604.319032"},
  {"seed": 64026, "edge": "448.634555"},
  {"seed": 64027, "edge": "505.714435"},
  {"seed": 64028, "edge": "488.099411"},
  {"seed": 64029, "edge": "357.815281"},
  {"seed": 64030, "edge": "567.581581"},
  {"seed": 64031, "edge": "624.295050"},
  {"seed": 64032, "edge": "441.045803"},
  {"seed": 64033, "edge": "592.851045"},
  {"seed": 64034, "edge": "651.089806"},
  {"seed": 64035, "edge": "512.209682"},
  {"seed": 64036, "edge": "477.004911"},
  {"seed": 64037, "edge": "402.034745"},
  {"seed": 64038, "edge": "536.302899"},
  {"seed": 64039, "edge": "554.948047"},
  {"seed": 64040, "edge": "465.406324"},
  {"seed": 64041, "edge": "527.836759"},
  {"seed": 64042, "edge": "401.480827"},
  {"seed": 64043, "edge": "582.364153"},
  {"seed": 64044, "edge": "712.437144"},
  {"seed": 64045, "edge": "655.866445"},
  {"seed": 64046, "edge": "490.344390"},
  {"seed": 64047, "edge": "493.711907"},
  {"seed": 64048, "edge": "612.187388"},
  {"seed": 64049, "edge": "484.893939"},
  {"seed": 64050, "edge": "432.332596"},
  {"seed": 64051, "edge": "523.040498"},
  {"seed": 64052, "edge": "547.159138"},
  {"seed": 64053, "edge": "502.750916"},
  {"seed": 64054, "edge": "484.783094"},
  {"seed": 64055, "edge": "581.695076"},
  {"seed": 64056, "edge": "590.217539"},
  {"seed": 64057, "edge": "424.050519"},
  {"seed": 64058, "edge": "479.919728"},
  {"seed": 64059, "edge": "394.628244"},
  {"seed": 64060, "edge": "497.257421"},
  {"seed": 64061, "edge": "597.665752"},
  {"seed": 64062, "edge": "631.035047"},
  {"seed": 64063, "edge": "543.399505"},
  {"seed": 64064, "edge": "343.712523"},
  {"seed": 64065, "edge": "418.540130"},
  {"seed": 64066, "edge": "443.984342"},
  {"seed": 64067, "edge": "477.590493"},
  {"seed": 64068, "edge": "486.104801"},
  {"seed": 64069, "edge": "349.070198"},
  {"seed": 64070, "edge": "474.959789"},
  {"seed": 64071, "edge": "509.571749"},
  {"seed": 64072, "edge": "539.646588"},
  {"seed": 64073, "edge": "428.090887"},
  {"seed": 64074, "edge": "736.420917"},
  {"seed": 64075, "edge": "632.279458"},
  {"seed": 64076, "edge": "595.559020"},
  {"seed": 64077, "edge": "664.324173"},
  {"seed": 64078, "edge": "687.464301"},
  {"seed": 64079, "edge": "393.771978"},
  {"seed": 64080, "edge": "473.703356"},
  {"seed": 64081, "edge": "607.615402"},
  {"seed": 64082, "edge": "384.758448"},
  {"seed": 64083, "edge": "633.920285"},
  {"seed": 64084, "edge": "538.475654"},
  {"seed": 64085, "edge": "628.234333"},
  {"seed": 64086, "edge": "393.323362"},
  {"seed": 64087, "edge": "437.055375"},
  {"seed": 64088, "edge": "508.236966"},
  {"seed": 64089, "edge": "379.781899"},
  {"seed": 64090, "edge": "463.526435"},
  {"seed": 64091, "edge": "359.019667"},
  {"seed": 64092, "edge": "438.180650"},
  {"seed": 64093, "edge": "551.036142"},
  {"seed": 64094, "edge": "546.538676"},
  {"seed": 64095, "edge": "561.763319"},
  {"seed": 64096, "edge": "558.910502"},
  {"seed": 64097, "edge": "536.661691"},
  {"seed": 64098, "edge": "556.522410"},
  {"seed": 64099, "edge": "365.520738"},
  {"seed": 64100, "edge": "472.877673"},
  {"seed": 64101, "edge": "599.927530"},
  {"seed": 64102, "edge": "402.255055"},
  {"seed": 64103, "edge": "348.889017"},
  {"seed": 64104, "edge": "489.257913"},
  {"seed": 64105, "edge": "616.234792"},
  {"seed": 64106, "edge": "598.276246"},
  {"seed": 64107, "edge": "574.714658"},
  {"seed": 64108, "edge": "567.759822"},
  {"seed": 64109, "edge": "449.815423"},
  {"seed": 64110, "edge": "618.082462"},
  {"seed": 64111, "edge": "576.931326"},
  {"seed": 64112, "edge": "639.771632"},
  {"seed": 64113, "edge": "424.176485"},
  {"seed": 64114, "edge": "740.532078"},
  {"seed": 64115, "edge": "568.952314"},
  {"seed": 64116, "edge": "665.886535"},
  {"seed": 64117, "edge": "468.172439"},
  {"seed": 64118, "edge": "505.800162"},
  {"seed": 64119, "edge": "486.975309"},
  {"seed": 64120, "edge": "673.244812"},
  {"seed": 64121, "edge": "536.988092"},
  {"seed": 64122, "edge": "410.383331"},
  {"seed": 64123, "edge": "482.665649"},
  {"seed": 64124, "edge": "660.000066"},
  {"seed": 64125, "edge": "616.600380"},
  {"seed": 64126, "edge": "511.158163"},
  {"seed": 64127, "edge": "425.511940"},
  {"seed": 64128, "edge": "461.176746"},
  {"seed": 64129, "edge": "503.678773"},
  {"seed": 64130, "edge": "563.116838"},
  {"seed": 64131, "edge": "608.553118"},
  {"seed": 64132, "edge": "633.843985"},
  {"seed": 64133, "edge": "411.617488"},
  {"seed": 64134, "edge": "466.355347"},
  {"seed": 64135, "edge": "564.411274"},
  {"seed": 64136, "edge": "707.720056"},
  {"seed": 64137, "edge": "509.126547"},
  {"seed": 64138, "edge": "619.504587"},
  {"seed": 64139, "edge": "686.103113"},
  {"seed": 64140, "edge": "508.617825"},
  {"seed": 64141, "edge": "534.392152"},
  {"seed": 64142, "edge": "370.704285"},
  {"seed": 64143, "edge": "565.845102"},
  {"seed": 64144, "edge": "493.925875"},
  {"seed": 64145, "edge": "676.779287"},
  {"seed": 64146, "edge": "389.984696"},
  {"seed": 64147, "edge": "526.703107"},
  {"seed": 64148, "edge": "546.512144"},
  {"seed": 64149, "edge": "458.316482"},
  {"seed": 64150, "edge": "483.290136"},
  {"seed": 64151, "edge": "635.417723"},
  {"seed": 64152, "edge": "569.459533"},
  {"seed": 64153, "edge": "453.368122"},
  {"seed": 64154, "edge": "556.274281"},
  {"seed": 64155, "edge": "439.453471"},
  {"seed": 64156, "edge": "525.203401"},
  {"seed": 64157, "edge": "453.443629"},
  {"seed": 64158, "edge": "520.979373"},
  {"seed": 64159, "edge": "501.292916"},
  {"seed": 64160, "edge": "589.748426"},
  {"seed": 64161, "edge": "603.558631"},
  {"seed": 64162, "edge": "673.622324"},
  {"seed": 64163, "edge": "472.065752"},
  {"seed": 64164, "edge": "555.439729"},
  {"seed": 64165, "edge": "524.299828"},
  {"seed": 64166, "edge": "413.897426"},
  {"seed": 64167, "edge": "440.479895"},
  {"seed": 64168, "edge": "606.491883"},
  {"seed": 64169, "edge": "619.441308"},
  {"seed": 64170, "edge": "490.947619"},
  {"seed": 64171, "edge": "530.605069"},
  {"seed": 64172, "edge": "676.716363"},
  {"seed": 64173, "edge": "462.540371"},
  {"seed": 64174, "edge": "446.561728"},
  {"seed": 64175, "edge": "495.026808"},
  {"seed": 64176, "edge": "580.124515"},
  {"seed": 64177, "edge": "504.927264"},
  {"seed": 64178, "edge": "522.726757"},
  {"seed": 64179, "edge": "519.936415"},
  {"seed": 64180, "edge": "434.138834"},
  {"seed": 64181, "edge": "624.910573"},
  {"seed": 64182, "edge": "452.560183"},
  {"seed": 64183, "edge": "681.470873"},
  {"seed": 64184, "edge": "479.016015"},
  {"seed": 64185, "edge": "544.573572"},
  {"seed": 64186, "edge": "643.685540"},
  {"seed": 64187, "edge": "523.457155"},
  {"seed": 64188, "edge": "670.127838"},
  {"seed": 64189, "edge": "521.028523"},
  {"seed": 64190, "edge": "511.497075"},
  {"seed": 64191, "edge": "655.716910"},
  {"seed": 64192, "edge": "555.163278"},
  {"seed": 64193, "edge": "464.045212"},
  {"seed": 64194, "edge": "481.510891"},
  {"seed": 64195, "edge": "453.951674"},
  {"seed": 64196, "edge": "728.536598"},
  {"seed": 64197, "edge": "700.949088"},
  {"seed": 64198, "edge": "615.942765"},
  {"seed": 64199, "edge": "385.795743"},
  {"seed": 64200, "edge": "700.203478"},
  {"seed": 64201, "edge": "571.864815"},
  {"seed": 64202, "edge": "435.211510"},
  {"seed": 64203, "edge": "489.948716"},
  {"seed": 64204, "edge": "471.087968"},
  {"seed": 64205, "edge": "578.165499"},
  {"seed": 64206, "edge": "492.174302"},
  {"seed": 64207, "edge": "402.560521"},
  {"seed": 64208, "edge": "711.854562"},
  {"seed": 64209, "edge": "412.588419"},
  {"seed": 64210, "edge": "611.337119"},
  {"seed": 64211, "edge": "459.259985"},
  {"seed": 64212, "edge": "466.818416"},
  {"seed": 64213, "edge": "562.334769"},
  {"seed": 64214, "edge": "447.411670"},
  {"seed": 64215, "edge": "406.399910"},
  {"seed": 64216, "edge": "631.569152"},
  {"seed": 64217, "edge": "493.012154"},
  {"seed": 64218, "edge": "438.326970"},
  {"seed": 64219, "edge": "567.296035"},
  {"seed": 64220, "edge": "573.494982"},
  {"seed": 64221, "edge": "538.713972"},
  {"seed": 64222, "edge": "379.515514"},
  {"seed": 64223, "edge": "608.799358"},
  {"seed": 64224, "edge": "510.722316"},
  {"seed": 64225, "edge": "637.138228"},
  {"seed": 64226, "edge": "527.234537"},
  {"seed": 64227, "edge": "405.677332"},
  {"seed": 64228, "edge": "440.437811"},
  {"seed": 64229, "edge": "659.001460"},
  {"seed": 64230, "edge": "537.157938"},
  {"seed": 64231, "edge": "580.051466"},
  {"seed": 64232, "edge": "505.155613"},
  {"seed": 64233, "edge": "470.340430"},
  {"seed": 64234, "edge": "371.761918"},
  {"seed": 64235, "edge": "382.128370"},
  {"seed": 64236, "edge": "634.924286"},
  {"seed": 64237, "edge": "444.377364"},
  {"seed": 64238, "edge": "716.745083"},
  {"seed": 64239, "edge": "643.884951"},
  {"seed": 64240, "edge": "377.406206"},
  {"seed": 64241, "edge": "483.091138"},
  {"seed": 64242, "edge": "651.980284"},
  {"seed": 64243, "edge": "506.732222"},
  {"seed": 64244, "edge": "657.728758"},
  {"seed": 64245, "edge": "604.300054"},
  {"seed": 64246, "edge": "579.017057"},
  {"seed": 64247, "edge": "719.602781"},
  {"seed": 64248, "edge": "344.250239"},
  {"seed": 64249, "edge": "362.618548"},
  {"seed": 64250, "edge": "697.968430"},
  {"seed": 64251, "edge": "599.748899"},
  {"seed": 64252, "edge": "478.840881"},
  {"seed": 64253, "edge": "367.874478"},
  {"seed": 64254, "edge": "550.595520"},
  {"seed": 64255, "edge": "375.459625"},
  {"seed": 64256, "edge": "415.076849"},
  {"seed": 64257, "edge": "610.288777"},
  {"seed": 64258, "edge": "511.859465"},
  {"seed": 64259, "edge": "360.632657"},
  {"seed": 64260, "edge": "490.795280"},
  {"seed": 64261, "edge": "731.585122"},
  {"seed": 64262, "edge": "607.026668"},
  {"seed": 64263, "edge": "476.010704"},
  {"seed": 64264, "edge": "466.456477"},
  {"seed": 64265, "edge": "593.897541"},
  {"seed": 64266, "edge": "577.060153"},
  {"seed": 64267, "edge": "604.094102"},
  {"seed": 64268, "edge": "452.046780"},
  {"seed": 64269, "edge": "530.743012"},
  {"seed": 64270, "edge": "507.769377"},
  {"seed": 64271, "edge": "437.540542"},
  {"seed": 64272, "edge": "703.606287"},
  {"seed": 64273, "edge": "429.618172"},
  {"seed": 64274, "edge": "569.441121"},
  {"seed": 64275, "edge": "558.997033"},
  {"seed": 64276, "edge": "439.630907"},
  {"seed": 64277, "edge": "605.910392"},
  {"seed": 64278, "edge": "614.818929"},
  {"seed": 64279, "edge": "438.526004"},
  {"seed": 64280, "edge": "690.712285"},
  {"seed": 64281, "edge": "587.444985"},
  {"seed": 64282, "edge": "507.406006"},
  {"seed": 64283, "edge": "643.485528"},
  {"seed": 64284, "edge": "544.142706"},
  {"seed": 64285, "edge": "397.974026"},
  {"seed": 64286, "edge": "401.974116"},
  {"seed": 64287, "edge": "394.884910"},
  {"seed": 64288, "edge": "465.528598"},
  {"seed": 64289, "edge": "411.485150"},
  {"seed": 64290, "edge": "489.064475"},
  {"seed": 64291, "edge": "464.556285"},
  {"seed": 64292, "edge": "571.426403"},
  {"seed": 64293, "edge": "470.795384"},
  {"seed": 64294, "edge": "592.205482"},
  {"seed": 64295, "edge": "435.095644"},
  {"seed": 64296, "edge": "532.998886"},
  {"seed": 64297, "edge": "707.230472"},
  {"seed": 64298, "edge": "480.258185"},
  {"seed": 64299, "edge": "503.886596"},
  {"seed": 64300, "edge": "488.751477"},
  {"seed": 64301, "edge": "507.095657"},
  {"seed": 64302, "edge": "388.963064"},
  {"seed": 64303, "edge": "699.968142"},
  {"seed": 64304, "edge": "441.528305"},
  {"seed": 64305, "edge": "568.729961"},
  {"seed": 64306, "edge": "561.227729"},
  {"seed": 64307, "edge": "599.507700"},
  {"seed": 64308, "edge": "610.087667"},
  {"seed": 64309, "edge": "450.378477"},
  {"seed": 64310, "edge": "566.236949"},
  {"seed": 64311, "edge": "517.698924"},
  {"seed": 64312, "edge": "539.639396"},
  {"seed": 64313, "edge": "653.113970"},
  {"seed": 64314, "edge": "578.383916"},
  {"seed": 64315, "edge": "457.765138"},
  {"seed": 64316, "edge": "605.562707"},
  {"seed": 64317, "edge": "613.921718"},
  {"seed": 64318, "edge": "532.946880"},
  {"seed": 64319, "edge": "593.617064"},
  {"seed": 64320, "edge": "385.192701"},
  {"seed": 64321, "edge": "370.191293"},
  {"seed": 64322, "edge": "536.703130"},
  {"seed": 64323, "edge": "522.475956"},
  {"seed": 64324, "edge": "504.574138"},
  {"seed": 64325, "edge": "594.948059"},
  {"seed": 64326, "edge": "596.066131"},
  {"seed": 64327, "edge": "738.914776"},
  {"seed": 64328, "edge": "575.628814"},
  {"seed": 64329, "edge": "587.089549"},
  {"seed": 64330, "edge": "558.991371"},
  {"seed": 64331, "edge": "527.814796"},
  {"seed": 64332, "edge": "660.452471"},
  {"seed": 64333, "edge": "475.903685"},
  {"seed": 64334, "edge": "734.526957"},
  {"seed": 64335, "edge": "529.121757"},
  {"seed": 64336, "edge": "504.974212"},
  {"seed": 64337, "edge": "540.596655"},
  {"seed": 64338, "edge": "442.446048"},
  {"seed": 64339, "edge": "495.899730"},
  {"seed": 64340, "edge": "686.685611"},
  {"seed": 64341, "edge": "512.420765"},
  {"seed": 64342, "edge": "645.343839"},
  {"seed": 64343, "edge": "533.695613"},
  {"seed": 64344, "edge": "560.027853"},
  {"seed": 64345, "edge": "620.890008"},
  {"seed": 64346, "edge": "563.037270"},
  {"seed": 64347, "edge": "701.043380"},
  {"seed": 64348, "edge": "637.659409"},
  {"seed": 64349, "edge": "516.244311"},
  {"seed": 64350, "edge": "641.556822"},
  {"seed": 64351, "edge": "667.784223"},
  {"seed": 64352, "edge": "594.761531"},
  {"seed": 64353, "edge": "693.442610"},
  {"seed": 64354, "edge": "567.270569"},
  {"seed": 64355, "edge": "615.028934"},
  {"seed": 64356, "edge": "503.770205"},
  {"seed": 64357, "edge": "463.430079"},
  {"seed": 64358, "edge": "361.231467"},
  {"seed": 64359, "edge": "472.777976"},
  {"seed": 64360, "edge": "489.485330"},
  {"seed": 64361, "edge": "512.313244"},
  {"seed": 64362, "edge": "677.511647"},
  {"seed": 64363, "edge": "732.652319"},
  {"seed": 64364, "edge": "420.020725"},
  {"seed": 64365, "edge": "521.973254"},
  {"seed": 64366, "edge": "393.052681"},
  {"seed": 64367, "edge": "488.718368"},
  {"seed": 64368, "edge": "447.152636"},
  {"seed": 64369, "edge": "504.922301"},
  {"seed": 64370, "edge": "487.197247"},
  {"seed": 64371, "edge": "445.149329"},
  {"seed": 64372, "edge": "508.765357"},
  {"seed": 64373, "edge": "703.961598"},
  {"seed": 64374, "edge": "681.910446"},
  {"seed": 64375, "edge": "732.755250"},
  {"seed": 64376, "edge": "558.893587"},
  {"seed": 64377, "edge": "474.434118"},
  {"seed": 64378, "edge": "641.364022"},
  {"seed": 64379, "edge": "567.089194"},
  {"seed": 64380, "edge": "637.981723"},
  {"seed": 64381, "edge": "406.110643"},
  {"seed": 64382, "edge": "595.771737"},
  {"seed": 64383, "edge": "414.209148"},
  {"seed": 64384, "edge": "354.037122"},
  {"seed": 64385, "edge": "772.982677"},
  {"seed": 64386, "edge": "560.908503"},
  {"seed": 64387, "edge": "435.385190"},
  {"seed": 64388, "edge": "526.733342"},
  {"seed": 64389, "edge": "496.453290"},
  {"seed": 64390, "edge": "394.591976"},
  {"seed": 64391, "edge": "553.760504"},
  {"seed": 64392, "edge": "491.593641"},
  {"seed": 64393, "edge": "419.123568"},
  {"seed": 64394, "edge": "609.896933"},
  {"seed": 64395, "edge": "798.035565"},
  {"seed": 64396, "edge": "445.727021"},
  {"seed": 64397, "edge": "662.613156"},
  {"seed": 64398, "edge": "572.101754"},
  {"seed": 64399, "edge": "485.651163"},
  {"seed": 64400, "edge": "487.484589"},
  {"seed": 64401, "edge": "649.528206"},
  {"seed": 64402, "edge": "480.262607"},
  {"seed": 64403, "edge": "414.603242"},
  {"seed": 64404, "edge": "437.036783"},
  {"seed": 64405, "edge": "359.477126"},
  {"seed": 64406, "edge": "575.309570"},
  {"seed": 64407, "edge": "504.342308"},
  {"seed": 64408, "edge": "566.113341"},
  {"seed": 64409, "edge": "684.855178"},
  {"seed": 64410, "edge": "626.161732"},
  {"seed": 64411, "edge": "549.957908"},
  {"seed": 64412, "edge": "569.159419"},
  {"seed": 64413, "edge": "406.766415"},
  {"seed": 64414, "edge": "465.883820"},
  {"seed": 64415, "edge": "788.832222"},
  {"seed": 64416, "edge": "580.586170"},
  {"seed": 64417, "edge": "487.717804"},
  {"seed": 64418, "edge": "614.492987"},
  {"seed": 64419, "edge": "624.872266"},
  {"seed": 64420, "edge": "484.397428"},
  {"seed": 64421, "edge": "517.287144"},
  {"seed": 64422, "edge": "412.283104"},
  {"seed": 64423, "edge": "550.078450"},
  {"seed": 64424, "edge": "471.947950"},
  {"seed": 64425, "edge": "450.402096"},
  {"seed": 64426, "edge": "569.607329"},
  {"seed": 64427, "edge": "540.709426"},
  {"seed": 64428, "edge": "581.722148"},
  {"seed": 64429, "edge": "408.479504"},
  {"seed": 64430, "edge": "373.166857"},
  {"seed": 64431, "edge": "513.777928"},
  {"seed": 64432, "edge": "424.217813"},
  {"seed": 64433, "edge": "526.179993"},
  {"seed": 64434, "edge": "510.433972"},
  {"seed": 64435, "edge": "495.580112"},
  {"seed": 64436, "edge": "442.573379"},
  {"seed": 64437, "edge": "602.030061"},
  {"seed": 64438, "edge": "452.385261"},
  {"seed": 64439, "edge": "494.659897"},
  {"seed": 64440, "edge": "521.537484"},
  {"seed": 64441, "edge": "583.887727"},
  {"seed": 64442, "edge": "414.592858"},
  {"seed": 64443, "edge": "497.467657"},
  {"seed": 64444, "edge": "608.541439"},
  {"seed": 64445, "edge": "681.611955"},
  {"seed": 64446, "edge": "523.711361"},
  {"seed": 64447, "edge": "664.812540"},
  {"seed": 64448, "edge": "491.579015"},
  {"seed": 64449, "edge": "623.772564"},
  {"seed": 64450, "edge": "427.806087"},
  {"seed": 64451, "edge": "530.400650"},
  {"seed": 64452, "edge": "509.676435"},
  {"seed": 64453, "edge": "407.686226"},
  {"seed": 64454, "edge": "693.963366"},
  {"seed": 64455, "edge": "617.944684"},
  {"seed": 64456, "edge": "410.036509"},
  {"seed": 64457, "edge": "502.650789"},
  {"seed": 64458, "edge": "610.201600"},
  {"seed": 64459, "edge": "613.945313"},
  {"seed": 64460, "edge": "471.844863"},
  {"seed": 64461, "edge": "484.184389"},
  {"seed": 64462, "edge": "531.439912"},
  {"seed": 64463, "edge": "573.641297"},
  {"seed": 64464, "edge": "538.385730"},
  {"seed": 64465, "edge": "498.713130"},
  {"seed": 64466, "edge": "623.951280"},
  {"seed": 64467, "edge": "439.022759"},
  {"seed": 64468, "edge": "585.258985"},
  {"seed": 64469, "edge": "647.248115"},
  {"seed": 64470, "edge": "571.461587"},
  {"seed": 64471, "edge": "528.369610"},
  {"seed": 64472, "edge": "475.166216"},
  {"seed": 64473, "edge": "372.240414"},
  {"seed": 64474, "edge": "540.988138"},
  {"seed": 64475, "edge": "536.545715"},
  {"seed": 64476, "edge": "442.205103"},
  {"seed": 64477, "edge": "621.568211"},
  {"seed": 64478, "edge": "529.142483"},
  {"seed": 64479, "edge": "645.980892"},
  {"seed": 64480, "edge": "582.282994"},
  {"seed": 64481, "edge": "501.452374"},
  {"seed": 64482, "edge": "552.788380"},
  {"seed": 64483, "edge": "420.126007"},
  {"seed": 64484, "edge": "447.831102"},
  {"seed": 64485, "edge": "438.955910"},
  {"seed": 64486, "edge": "645.237076"},
  {"seed": 64487, "edge": "389.556375"},
  {"seed": 64488, "edge": "435.428969"},
  {"seed": 64489, "edge": "639.917402"},
  {"seed": 64490, "edge": "468.822502"},
  {"seed": 64491, "edge": "616.823953"},
  {"seed": 64492, "edge": "492.735775"},
  {"seed": 64493, "edge": "452.768845"},
  {"seed": 64494, "edge": "702.379380"},
  {"seed": 64495, "edge": "490.248598"},
  {"seed": 64496, "edge": "536.232710"},
  {"seed": 64497, "edge": "477.437278"},
  {"seed": 64498, "edge": "513.068532"},
  {"seed": 64499, "edge": "535.012817"},
  {"seed": 64500, "edge": "701.300871"},
  {"seed": 64501, "edge": "576.147176"},
  {"seed": 64502, "edge": "643.340959"},
  {"seed": 64503, "edge": "474.900311"},
  {"seed": 64504, "edge": "433.809418"},
  {"seed": 64505, "edge": "727.957296"},
  {"seed": 64506, "edge": "373.602235"},
  {"seed": 64507, "edge": "521.269235"},
  {"seed": 64508, "edge": "637.151062"},
  {"seed": 64509, "edge": "799.988589"},
  {"seed": 64510, "edge": "411.537509"},
  {"seed": 64511, "edge": "452.572790"},
  {"seed": 64512, "edge": "509.293614"},
  {"seed": 64513, "edge": "732.680697"},
  {"seed": 64514, "edge": "526.804165"},
  {"seed": 64515, "edge": "556.907466"},
  {"seed": 64516, "edge": "533.579164"},
  {"seed": 64517, "edge": "493.065227"},
  {"seed": 64518, "edge": "653.811216"},
  {"seed": 64519, "edge": "480.134629"},
  {"seed": 64520, "edge": "429.898947"},
  {"seed": 64521, "edge": "573.331599"},
  {"seed": 64522, "edge": "682.181822"},
  {"seed": 64523, "edge": "608.725246"},
  {"seed": 64524, "edge": "663.596994"},
  {"seed": 64525, "edge": "581.883215"},
  {"seed": 64526, "edge": "555.023600"},
  {"seed": 64527, "edge": "465.386432"},
  {"seed": 64528, "edge": "375.084003"},
  {"seed": 64529, "edge": "567.925757"},
  {"seed": 64530, "edge": "481.362553"},
  {"seed": 64531, "edge": "451.384969"},
  {"seed": 64532, "edge": "552.484271"},
  {"seed": 64533, "edge": "672.891117"},
  {"seed": 64534, "edge": "492.394338"},
  {"seed": 64535, "edge": "535.362876"},
  {"seed": 64536, "edge": "678.441841"},
  {"seed": 64537, "edge": "529.109036"},
  {"seed": 64538, "edge": "568.223668"},
  {"seed": 64539, "edge": "658.320407"},
  {"seed": 64540, "edge": "485.190093"},
  {"seed": 64541, "edge": "482.804210"},
  {"seed": 64542, "edge": "508.891527"},
  {"seed": 64543, "edge": "458.727958"},
  {"seed": 64544, "edge": "586.472181"},
  {"seed": 64545, "edge": "592.468049"},
  {"seed": 64546, "edge": "716.502416"},
  {"seed": 64547, "edge": "556.563944"},
  {"seed": 64548, "edge": "623.026991"},
  {"seed": 64549, "edge": "784.448259"},
  {"seed": 64550, "edge": "601.667701"},
  {"seed": 64551, "edge": "427.415507"},
  {"seed": 64552, "edge": "510.511291"},
  {"seed": 64553, "edge": "609.267392"},
  {"seed": 64554, "edge": "511.517873"},
  {"seed": 64555, "edge": "500.792413"},
  {"seed": 64556, "edge": "455.409519"},
  {"seed": 64557, "edge": "574.749551"},
  {"seed": 64558, "edge": "611.125008"},
  {"seed": 64559, "edge": "455.265961"},
  {"seed": 64560, "edge": "583.891410"},
  {"seed": 64561, "edge": "619.392535"},
  {"seed": 64562, "edge": "573.069520"},
  {"seed": 64563, "edge": "608.551431"},
  {"seed": 64564, "edge": "711.117030"},
  {"seed": 64565, "edge": "687.838055"},
  {"seed": 64566, "edge": "582.538532"},
  {"seed": 64567, "edge": "563.167354"},
  {"seed": 64568, "edge": "558.219855"},
  {"seed": 64569, "edge": "576.452821"},
  {"seed": 64570, "edge": "477.997979"},
  {"seed": 64571, "edge": "588.184703"},
  {"seed": 64572, "edge": "531.459525"},
  {"seed": 64573, "edge": "564.657144"},
  {"seed": 64574, "edge": "603.882683"},
  {"seed": 64575, "edge": "579.159810"},
  {"seed": 64576, "edge": "481.084163"},
  {"seed": 64577, "edge": "493.026539"},
  {"seed": 64578, "edge": "648.177137"},
  {"seed": 64579, "edge": "594.242216"},
  {"seed": 64580, "edge": "507.853563"},
  {"seed": 64581, "edge": "558.459872"},
  {"seed": 64582, "edge": "562.824991"},
  {"seed": 64583, "edge": "368.003101"},
  {"seed": 64584, "edge": "422.226580"},
  {"seed": 64585, "edge": "587.233957"},
  {"seed": 64586, "edge": "558.095199"},
  {"seed": 64587, "edge": "538.401303"},
  {"seed": 64588, "edge": "497.403542"},
  {"seed": 64589, "edge": "552.845051"},
  {"seed": 64590, "edge": "517.592741"},
  {"seed": 64591, "edge": "404.768639"},
  {"seed": 64592, "edge": "587.744290"},
  {"seed": 64593, "edge": "619.614495"},
  {"seed": 64594, "edge": "404.341691"},
  {"seed": 64595, "edge": "477.977740"},
  {"seed": 64596, "edge": "585.433641"},
  {"seed": 64597, "edge": "492.662024"},
  {"seed": 64598, "edge": "420.587310"},
  {"seed": 64599, "edge": "581.662864"},
  {"seed": 64600, "edge": "553.587229"},
  {"seed": 64601, "edge": "593.521774"},
  {"seed": 64602, "edge": "658.854828"},
  {"seed": 64603, "edge": "588.047208"},
  {"seed": 64604, "edge": "467.654704"},
  {"seed": 64605, "edge": "679.542823"},
  {"seed": 64606, "edge": "547.292151"},
  {"seed": 64607, "edge": "606.159664"},
  {"seed": 64608, "edge": "408.638991"},
  {"seed": 64609, "edge": "537.837696"},
  {"seed": 64610, "edge": "678.329470"},
  {"seed": 64611, "edge": "672.697050"},
  {"seed": 64612, "edge": "437.322363"},
  {"seed": 64613, "edge": "536.521085"},
  {"seed": 64614, "edge": "670.472357"},
  {"seed": 64615, "edge": "593.742117"},
  {"seed": 64616, "edge": "404.256231"},
  {"seed": 64617, "edge": "617.978920"},
  {"seed": 64618, "edge": "621.558516"},
  {"seed": 64619, "edge": "409.959237"},
  {"seed": 64620, "edge": "576.455349"},
  {"seed": 64621, "edge": "514.468252"},
  {"seed": 64622, "edge": "529.348615"},
  {"seed": 64623, "edge": "495.514867"},
  {"seed": 64624, "edge": "501.969996"},
  {"seed": 64625, "edge": "583.385176"},
  {"seed": 64626, "edge": "524.920916"},
  {"seed": 64627, "edge": "481.261576"},
  {"seed": 64628, "edge": "521.804238"},
  {"seed": 64629, "edge": "696.331956"},
  {"seed": 64630, "edge": "493.375123"},
  {"seed": 64631, "edge": "485.878791"},
  {"seed": 64632, "edge": "389.372639"},
  {"seed": 64633, "edge": "503.975762"},
  {"seed": 64634, "edge": "373.599173"},
  {"seed": 64635, "edge": "421.710424"},
  {"seed": 64636, "edge": "639.577084"},
  {"seed": 64637, "edge": "478.684652"},
  {"seed": 64638, "edge": "600.652864"},
  {"seed": 64639, "edge": "513.911912"},
  {"seed": 64640, "edge": "474.042657"},
  {"seed": 64641, "edge": "531.117129"},
  {"seed": 64642, "edge": "686.760491"},
  {"seed": 64643, "edge": "487.395356"},
  {"seed": 64644, "edge": "610.819347"},
  {"seed": 64645, "edge": "443.299727"},
  {"seed": 64646, "edge": "386.568677"},
  {"seed": 64647, "edge": "761.069316"},
  {"seed": 64648, "edge": "697.200078"},
  {"seed": 64649, "edge": "516.980603"},
  {"seed": 64650, "edge": "519.486758"},
  {"seed": 64651, "edge": "530.943777"},
  {"seed": 64652, "edge": "575.233333"},
  {"seed": 64653, "edge": "716.117373"},
  {"seed": 64654, "edge": "452.266410"},
  {"seed": 64655, "edge": "577.440703"},
  {"seed": 64656, "edge": "504.215049"},
  {"seed": 64657, "edge": "506.645769"},
  {"seed": 64658, "edge": "652.952809"},
  {"seed": 64659, "edge": "422.491845"},
  {"seed": 64660, "edge": "620.415876"},
  {"seed": 64661, "edge": "475.486296"},
  {"seed": 64662, "edge": "728.093406"},
  {"seed": 64663, "edge": "428.665953"},
  {"seed": 64664, "edge": "527.129794"},
  {"seed": 64665, "edge": "582.315128"},
  {"seed": 64666, "edge": "592.861085"},
  {"seed": 64667, "edge": "469.652123"},
  {"seed": 64668, "edge": "620.130743"},
  {"seed": 64669, "edge": "573.843916"},
  {"seed": 64670, "edge": "511.009388"},
  {"seed": 64671, "edge": "512.104651"},
  {"seed": 64672, "edge": "633.781209"},
  {"seed": 64673, "edge": "569.761105"},
  {"seed": 64674, "edge": "500.375050"},
  {"seed": 64675, "edge": "414.413606"},
  {"seed": 64676, "edge": "559.997943"},
  {"seed": 64677, "edge": "582.817439"},
  {"seed": 64678, "edge": "657.437417"},
  {"seed": 64679, "edge": "445.949575"},
  {"seed": 64680, "edge": "459.348358"},
  {"seed": 64681, "edge": "538.054626"},
  {"seed": 64682, "edge": "623.999920"},
  {"seed": 64683, "edge": "549.161859"},
  {"seed": 64684, "edge": "493.208093"},
  {"seed": 64685, "edge": "542.935168"},
  {"seed": 64686, "edge": "438.762368"},
  {"seed": 64687, "edge": "582.913058"},
  {"seed": 64688, "edge": "603.832991"},
  {"seed": 64689, "edge": "665.541286"},
  {"seed": 64690, "edge": "537.748209"},
  {"seed": 64691, "edge": "730.093380"},
  {"seed": 64692, "edge": "547.446314"},
  {"seed": 64693, "edge": "523.047263"},
  {"seed": 64694, "edge": "513.549872"},
  {"seed": 64695, "edge": "490.143796"},
  {"seed": 64696, "edge": "388.679574"},
  {"seed": 64697, "edge": "651.647711"},
  {"seed": 64698, "edge": "584.318046"},
  {"seed": 64699, "edge": "411.560610"},
  {"seed": 64700, "edge": "365.386712"},
  {"seed": 64701, "edge": "406.104061"},
  {"seed": 64702, "edge": "448.972118"},
  {"seed": 64703, "edge": "570.164756"},
  {"seed": 64704, "edge": "637.169441"},
  {"seed": 64705, "edge": "559.885307"},
  {"seed": 64706, "edge": "525.114675"},
  {"seed": 64707, "edge": "415.066087"},
  {"seed": 64708, "edge": "548.734550"},
  {"seed": 64709, "edge": "645.795644"},
  {"seed": 64710, "edge": "529.855368"},
  {"seed": 64711, "edge": "508.988282"},
  {"seed": 64712, "edge": "753.822770"},
  {"seed": 64713, "edge": "443.472643"},
  {"seed": 64714, "edge": "671.581801"},
  {"seed": 64715, "edge": "534.651483"},
  {"seed": 64716, "edge": "520.923811"},
  {"seed": 64717, "edge": "646.187204"},
  {"seed": 64718, "edge": "654.512592"},
  {"seed": 64719, "edge": "427.660024"},
  {"seed": 64720, "edge": "538.784724"},
  {"seed": 64721, "edge": "551.989291"},
  {"seed": 64722, "edge": "676.645097"},
  {"seed": 64723, "edge": "455.763939"},
  {"seed": 64724, "edge": "597.004994"},
  {"seed": 64725, "edge": "427.758697"},
  {"seed": 64726, "edge": "575.201608"},
  {"seed": 64727, "edge": "570.805952"},
  {"seed": 64728, "edge": "441.044995"},
  {"seed": 64729, "edge": "375.169448"},
  {"seed": 64730, "edge": "490.830519"},
  {"seed": 64731, "edge": "576.853577"},
  {"seed": 64732, "edge": "505.133543"},
  {"seed": 64733, "edge": "555.121072"},
  {"seed": 64734, "edge": "520.146792"},
  {"seed": 64735, "edge": "521.899706"},
  {"seed": 64736, "edge": "545.244539"},
  {"seed": 64737, "edge": "525.785041"},
  {"seed": 64738, "edge": "335.114141"},
  {"seed": 64739, "edge": "511.745173"},
  {"seed": 64740, "edge": "805.640078"},
  {"seed": 64741, "edge": "599.526683"},
  {"seed": 64742, "edge": "499.150836"},
  {"seed": 64743, "edge": "624.282672"},
  {"seed": 64744, "edge": "418.829287"},
  {"seed": 64745, "edge": "445.863078"},
  {"seed": 64746, "edge": "626.257455"},
  {"seed": 64747, "edge": "612.077465"},
  {"seed": 64748, "edge": "559.019100"},
  {"seed": 64749, "edge": "459.513855"},
  {"seed": 64750, "edge": "514.257807"},
  {"seed": 64751, "edge": "399.764320"},
  {"seed": 64752, "edge": "531.247430"},
  {"seed": 64753, "edge": "561.613027"},
  {"seed": 64754, "edge": "497.710672"},
  {"seed": 64755, "edge": "633.213957"},
  {"seed": 64756, "edge": "612.293559"},
  {"seed": 64757, "edge": "402.224932"},
  {"seed": 64758, "edge": "479.955520"},
  {"seed": 64759, "edge": "440.791983"},
  {"seed": 64760, "edge": "564.829659"},
  {"seed": 64761, "edge": "671.387653"},
  {"seed": 64762, "edge": "500.369705"},
  {"seed": 64763, "edge": "429.603239"},
  {"seed": 64764, "edge": "414.940970"},
  {"seed": 64765, "edge": "493.316779"},
  {"seed": 64766, "edge": "392.735086"},
  {"seed": 64767, "edge": "463.808540"},
  {"seed": 64768, "edge": "645.507119"},
  {"seed": 64769, "edge": "594.957445"},
  {"seed": 64770, "edge": "433.745446"},
  {"seed": 64771, "edge": "585.314094"},
  {"seed": 64772, "edge": "396.297243"},
  {"seed": 64773, "edge": "641.430395"},
  {"seed": 64774, "edge": "672.664582"},
  {"seed": 64775, "edge": "662.844457"},
  {"seed": 64776, "edge": "578.714724"},
  {"seed": 64777, "edge": "412.952109"},
  {"seed": 64778, "edge": "427.321639"},
  {"seed": 64779, "edge": "782.387822"},
  {"seed": 64780, "edge": "413.518625"},
  {"seed": 64781, "edge": "472.965010"},
  {"seed": 64782, "edge": "586.273462"},
  {"seed": 64783, "edge": "627.611746"},
  {"seed": 64784, "edge": "645.544505"},
  {"seed": 64785, "edge": "615.356124"},
  {"seed": 64786, "edge": "483.530979"},
  {"seed": 64787, "edge": "414.088400"},
  {"seed": 64788, "edge": "775.275335"},
  {"seed": 64789, "edge": "503.509900"},
  {"seed": 64790, "edge": "557.785584"},
  {"seed": 64791, "edge": "519.689430"},
  {"seed": 64792, "edge": "667.739565"},
  {"seed": 64793, "edge": "454.460416"},
  {"seed": 64794, "edge": "504.723961"},
  {"seed": 64795, "edge": "553.426958"},
  {"seed": 64796, "edge": "645.499614"},
  {"seed": 64797, "edge": "455.805264"},
  {"seed": 64798, "edge": "632.403921"},
  {"seed": 64799, "edge": "466.966670"},
  {"seed": 64800, "edge": "544.362887"},
  {"seed": 64801, "edge": "453.160630"},
  {"seed": 64802, "edge": "511.065258"},
  {"seed": 64803, "edge": "429.811576"},
  {"seed": 64804, "edge": "505.944482"},
  {"seed": 64805, "edge": "398.573630"},
  {"seed": 64806, "edge": "477.393624"},
  {"seed": 64807, "edge": "601.040124"},
  {"seed": 64808, "edge": "729.095109"},
  {"seed": 64809, "edge": "479.387064"},
  {"seed": 64810, "edge": "527.082626"},
  {"seed": 64811, "edge": "559.923116"},
  {"seed": 64812, "edge": "622.997191"},
  {"seed": 64813, "edge": "534.518174"},
  {"seed": 64814, "edge": "362.152781"},
  {"seed": 64815, "edge": "461.416117"},
  {"seed": 64816, "edge": "414.721060"},
  {"seed": 64817, "edge": "555.800904"},
  {"seed": 64818, "edge": "527.644711"},
  {"seed": 64819, "edge": "598.860709"},
  {"seed": 64820, "edge": "558.047440"},
  {"seed": 64821, "edge": "516.894801"},
  {"seed": 64822, "edge": "539.686881"},
  {"seed": 64823, "edge": "431.211582"},
  {"seed": 64824, "edge": "583.709962"},
  {"seed": 64825, "edge": "575.887172"},
  {"seed": 64826, "edge": "488.201353"},
  {"seed": 64827, "edge": "383.330025"},
  {"seed": 64828, "edge": "423.719559"},
  {"seed": 64829, "edge": "488.146565"},
  {"seed": 64830, "edge": "531.059709"},
  {"seed": 64831, "edge": "637.624626"},
  {"seed": 64832, "edge": "624.877766"},
  {"seed": 64833, "edge": "661.524507"},
  {"seed": 64834, "edge": "646.230562"},
  {"seed": 64835, "edge": "591.305378"},
  {"seed": 64836, "edge": "517.659725"},
  {"seed": 64837, "edge": "506.378075"},
  {"seed": 64838, "edge": "521.450899"},
  {"seed": 64839, "edge": "613.875137"},
  {"seed": 64840, "edge": "566.945386"},
  {"seed": 64841, "edge": "496.470696"},
  {"seed": 64842, "edge": "548.629339"},
  {"seed": 64843, "edge": "403.801890"},
  {"seed": 64844, "edge": "570.289108"},
  {"seed": 64845, "edge": "599.019229"},
  {"seed": 64846, "edge": "574.446448"},
  {"seed": 64847, "edge": "643.486955"},
  {"seed": 64848, "edge": "427.984364"},
  {"seed": 64849, "edge": "607.042835"},
  {"seed": 64850, "edge": "541.783588"},
  {"seed": 64851, "edge": "648.998365"},
  {"seed": 64852, "edge": "545.623738"},
  {"seed": 64853, "edge": "513.083456"},
  {"seed": 64854, "edge": "544.952052"},
  {"seed": 64855, "edge": "586.785241"},
  {"seed": 64856, "edge": "477.738234"},
  {"seed": 64857, "edge": "393.612833"},
  {"seed": 64858, "edge": "584.297776"},
  {"seed": 64859, "edge": "568.563509"},
  {"seed": 64860, "edge": "403.569849"},
  {"seed": 64861, "edge": "564.757941"},
  {"seed": 64862, "edge": "523.231850"},
  {"seed": 64863, "edge": "537.174191"},
  {"seed": 64864, "edge": "493.200788"},
  {"seed": 64865, "edge": "593.418959"},
  {"seed": 64866, "edge": "467.673950"},
  {"seed": 64867, "edge": "381.313203"},
  {"seed": 64868, "edge": "402.237703"},
  {"seed": 64869, "edge": "626.216979"},
  {"seed": 64870, "edge": "487.699788"},
  {"seed": 64871, "edge": "659.214324"},
  {"seed": 64872, "edge": "618.450351"},
  {"seed": 64873, "edge": "679.017847"},
  {"seed": 64874, "edge": "608.630421"},
  {"seed": 64875, "edge": "435.883149"},
  {"seed": 64876, "edge": "510.384201"},
  {"seed": 64877, "edge": "524.237503"},
  {"seed": 64878, "edge": "430.366598"},
  {"seed": 64879, "edge": "451.877583"},
  {"seed": 64880, "edge": "575.163247"},
  {"seed": 64881, "edge": "519.932819"},
  {"seed": 64882, "edge": "497.690685"},
  {"seed": 64883, "edge": "499.173543"},
  {"seed": 64884, "edge": "673.612396"},
  {"seed": 64885, "edge": "546.491676"},
  {"seed": 64886, "edge": "411.495356"},
  {"seed": 64887, "edge": "563.354741"},
  {"seed": 64888, "edge": "623.939671"},
  {"seed": 64889, "edge": "592.930957"},
  {"seed": 64890, "edge": "575.127147"},
  {"seed": 64891, "edge": "579.625416"},
  {"seed": 64892, "edge": "482.698328"},
  {"seed": 64893, "edge": "651.177524"},
  {"seed": 64894, "edge": "581.906865"},
  {"seed": 64895, "edge": "406.474925"},
  {"seed": 64896, "edge": "520.176261"},
  {"seed": 64897, "edge": "533.859568"},
  {"seed": 64898, "edge": "421.987917"},
  {"seed": 64899, "edge": "453.245696"},
  {"seed": 64900, "edge": "484.605386"},
  {"seed": 64901, "edge": "740.891379"},
  {"seed": 64902, "edge": "515.238555"},
  {"seed": 64903, "edge": "529.175378"},
  {"seed": 64904, "edge": "561.978671"},
  {"seed": 64905, "edge": "480.716110"},
  {"seed": 64906, "edge": "484.323084"},
  {"seed": 64907, "edge": "418.759609"},
  {"seed": 64908, "edge": "606.998736"},
  {"seed": 64909, "edge": "461.059983"},
  {"seed": 64910, "edge": "687.910452"},
  {"seed": 64911, "edge": "712.866981"},
  {"seed": 64912, "edge": "427.438679"},
  {"seed": 64913, "edge": "454.600767"},
  {"seed": 64914, "edge": "491.192727"},
  {"seed": 64915, "edge": "787.512480"},
  {"seed": 64916, "edge": "519.542862"},
  {"seed": 64917, "edge": "535.039044"},
  {"seed": 64918, "edge": "374.941835"},
  {"seed": 64919, "edge": "702.566831"},
  {"seed": 64920, "edge": "855.718664"},
  {"seed": 64921, "edge": "549.305155"},
  {"seed": 64922, "edge": "551.802328"},
  {"seed": 64923, "edge": "493.196368"},
  {"seed": 64924, "edge": "706.736839"},
  {"seed": 64925, "edge": "451.182511"},
  {"seed": 64926, "edge": "644.865815"},
  {"seed": 64927, "edge": "470.090932"},
  {"seed": 64928, "edge": "399.439043"},
  {"seed": 64929, "edge": "530.541971"},
  {"seed": 64930, "edge": "669.826867"},
  {"seed": 64931, "edge": "332.134421"},
  {"seed": 64932, "edge": "468.449554"},
  {"seed": 64933, "edge": "540.321079"},
  {"seed": 64934, "edge": "525.753308"},
  {"seed": 64935, "edge": "541.414932"},
  {"seed": 64936, "edge": "536.805173"},
  {"seed": 64937, "edge": "699.148470"},
  {"seed": 64938, "edge": "562.628135"},
  {"seed": 64939, "edge": "528.808101"},
  {"seed": 64940, "edge": "469.146155"},
  {"seed": 64941, "edge": "565.010334"},
  {"seed": 64942, "edge": "642.957558"},
  {"seed": 64943, "edge": "483.181402"},
  {"seed": 64944, "edge": "453.879462"},
  {"seed": 64945, "edge": "738.841626"},
  {"seed": 64946, "edge": "501.032038"},
  {"seed": 64947, "edge": "485.286333"},
  {"seed": 64948, "edge": "728.101857"},
  {"seed": 64949, "edge": "381.109326"},
  {"seed": 64950, "edge": "537.938447"},
  {"seed": 64951, "edge": "454.431616"},
  {"seed": 64952, "edge": "512.168264"},
  {"seed": 64953, "edge": "430.358105"},
  {"seed": 64954, "edge": "604.167314"},
  {"seed": 64955, "edge": "636.253085"},
  {"seed": 64956, "edge": "443.209391"},
  {"seed": 64957, "edge": "592.688199"},
  {"seed": 64958, "edge": "542.923741"},
  {"seed": 64959, "edge": "462.737602"},
  {"seed": 64960, "edge": "446.156912"},
  {"seed": 64961, "edge": "415.904734"},
  {"seed": 64962, "edge": "525.640853"},
  {"seed": 64963, "edge": "569.908119"},
  {"seed": 64964, "edge": "554.175682"},
  {"seed": 64965, "edge": "707.933353"},
  {"seed": 64966, "edge": "567.932797"},
  {"seed": 64967, "edge": "564.648498"},
  {"seed": 64968, "edge": "506.573400"},
  {"seed": 64969, "edge": "530.599829"},
  {"seed": 64970, "edge": "682.762804"},
  {"seed": 64971, "edge": "440.159396"},
  {"seed": 64972, "edge": "493.227681"},
  {"seed": 64973, "edge": "600.408720"},
  {"seed": 64974, "edge": "366.490349"},
  {"seed": 64975, "edge": "653.147818"},
  {"seed": 64976, "edge": "603.054971"},
  {"seed": 64977, "edge": "398.218199"},
  {"seed": 64978, "edge": "426.481128"},
  {"seed": 64979, "edge": "632.528084"},
  {"seed": 64980, "edge": "464.808834"},
  {"seed": 64981, "edge": "542.582001"},
  {"seed": 64982, "edge": "402.474603"},
  {"seed": 64983, "edge": "565.074846"},
  {"seed": 64984, "edge": "567.238990"},
  {"seed": 64985, "edge": "546.750325"},
  {"seed": 64986, "edge": "641.885735"},
  {"seed": 64987, "edge": "407.349582"},
  {"seed": 64988, "edge": "381.396162"},
  {"seed": 64989, "edge": "498.642387"},
  {"seed": 64990, "edge": "610.283797"},
  {"seed": 64991, "edge": "386.894742"},
  {"seed": 64992, "edge": "415.301799"},
  {"seed": 64993, "edge": "715.135029"},
  {"seed": 64994, "edge": "524.945708"},
  {"seed": 64995, "edge": "803.458028"},
  {"seed": 64996, "edge": "492.493093"},
  {"seed": 64997, "edge": "476.079286"},
  {"seed": 64998, "edge": "608.381638"},
  {"seed": 64999, "edge": "551.704832"},
  {"seed": 65000, "edge": "604.583657"},
  {"seed": 65001, "edge": "398.279274"},
  {"seed": 65002, "edge": "649.804537"},
  {"seed": 65003, "edge": "609.039172"},
  {"seed": 65004, "edge": "585.459683"},
  {"seed": 65005, "edge": "549.935481"},
  {"seed": 65006, "edge": "586.492523"},
  {"seed": 65007, "edge": "659.507093"},
  {"seed": 65008, "edge": "365.720234"},
  {"seed": 65009, "edge": "386.871220"},
  {"seed": 65010, "edge": "481.356023"},
  {"seed": 65011, "edge": "577.868449"},
  {"seed": 65012, "edge": "475.245794"},
  {"seed": 65013, "edge": "522.916055"},
  {"seed": 65014, "edge": "565.313412"},
  {"seed": 65015, "edge": "466.870807"},
  {"seed": 65016, "edge": "406.476152"},
  {"seed": 65017, "edge": "518.715527"},
  {"seed": 65018, "edge": "472.269984"},
  {"seed": 65019, "edge": "561.984789"},
  {"seed": 65020, "edge": "456.241131"},
  {"seed": 65021, "edge": "468.714727"},
  {"seed": 65022, "edge": "540.806754"},
  {"seed": 65023, "edge": "616.308247"}
 ]
}