{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "COMBO",
 "provenance": {
  "origin": "ammfast.run_batch (Numba port of Taylor's replica2.run); not a CPython rerun",
  "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
  "sources": [
   {
    "path": "reference/combo/combo.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/combo/combo.py",
    "sha256": "c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"
   },
   {
    "path": "reference/qt1/blob.bin",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/blob.bin",
    "sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
   },
   {
    "path": "reference/qt1/qmref.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/qmref.py",
    "sha256": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"
   },
   {
    "path": "reference/taylor/replica2.py",
    "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
    "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
   },
   {
    "path": "reference/twocomp/twocomp.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/twocomp/twocomp.py",
    "sha256": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"
   }
  ],
  "source_inventory": {
   "path": "reference/sources.json",
   "sha256": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"
  },
  "kernel_origin": {
   "path": "reference/envelopes/numba__fastsim.py.json",
   "sha256": "355105f14d012389dd750af045e29b284b53a790a677fd4bf0be3033350ecae1"
  },
  "implementation": {
   "ammfast/__init__.py": "5ce5b00b96ca7da11f37010d234803eca0e92adb2eebec18a35cb6d81c645b6c",
   "ammfast/_head.py": "3ea24996bf90ce3dbb32fed745f9073c477b0ccd250befb5082a6ac8878ff86f",
   "ammfast/_kernel.py": "45613331edb2fd46afa607612e1e6f0c22f0132c9974df6445ce18afe04cc2ae",
   "ammfast/_reference.py": "6509935958e7a317163b58b7da67add653a73028378fde65db9c40dddbfd3de0"
  },
  "checkpoint_binding": "e66a7b4315bd5e7fc6430ae5a7d191bfe8d6e752eff9843f9a3d819cecf145ea",
  "generation_command": "python -B baselines/replica/generate.py --stage all --workers 4 --budget 420",
  "backend_runtime": {
   "python": "3.12.16",
   "implementation": "cpython",
   "platform": "linux",
   "machine": "x86_64",
   "numpy": "2.5.4",
   "numba": "0.68.1",
   "llvmlite": "0.50.0"
  },
  "n_steps": 10000,
  "seed_range": [
   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": 1.1937117960769683e-11
   }
  }
 },
 "rows": [
  {"seed": 64000, "edge": "437.710000"},
  {"seed": 64001, "edge": "475.681302"},
  {"seed": 64002, "edge": "434.753759"},
  {"seed": 64003, "edge": "575.219527"},
  {"seed": 64004, "edge": "387.357067"},
  {"seed": 64005, "edge": "586.198603"},
  {"seed": 64006, "edge": "670.858067"},
  {"seed": 64007, "edge": "607.149556"},
  {"seed": 64008, "edge": "627.109208"},
  {"seed": 64009, "edge": "474.470313"},
  {"seed": 64010, "edge": "470.121732"},
  {"seed": 64011, "edge": "529.516232"},
  {"seed": 64012, "edge": "428.493973"},
  {"seed": 64013, "edge": "427.035477"},
  {"seed": 64014, "edge": "564.565841"},
  {"seed": 64015, "edge": "404.574857"},
  {"seed": 64016, "edge": "535.970075"},
  {"seed": 64017, "edge": "610.947428"},
  {"seed": 64018, "edge": "489.889565"},
  {"seed": 64019, "edge": "716.341619"},
  {"seed": 64020, "edge": "457.348800"},
  {"seed": 64021, "edge": "583.683870"},
  {"seed": 64022, "edge": "564.254664"},
  {"seed": 64023, "edge": "463.432732"},
  {"seed": 64024, "edge": "610.360803"},
  {"seed": 64025, "edge": "605.060173"},
  {"seed": 64026, "edge": "449.595345"},
  {"seed": 64027, "edge": "506.959799"},
  {"seed": 64028, "edge": "488.752737"},
  {"seed": 64029, "edge": "357.826707"},
  {"seed": 64030, "edge": "568.793731"},
  {"seed": 64031, "edge": "625.952922"},
  {"seed": 64032, "edge": "441.416649"},
  {"seed": 64033, "edge": "594.047892"},
  {"seed": 64034, "edge": "652.606207"},
  {"seed": 64035, "edge": "513.071829"},
  {"seed": 64036, "edge": "477.954709"},
  {"seed": 64037, "edge": "403.284884"},
  {"seed": 64038, "edge": "536.466948"},
  {"seed": 64039, "edge": "555.559317"},
  {"seed": 64040, "edge": "466.416380"},
  {"seed": 64041, "edge": "528.608416"},
  {"seed": 64042, "edge": "401.905762"},
  {"seed": 64043, "edge": "582.905414"},
  {"seed": 64044, "edge": "714.919169"},
  {"seed": 64045, "edge": "656.463650"},
  {"seed": 64046, "edge": "490.796533"},
  {"seed": 64047, "edge": "495.118695"},
  {"seed": 64048, "edge": "613.333186"},
  {"seed": 64049, "edge": "484.841961"},
  {"seed": 64050, "edge": "432.595555"},
  {"seed": 64051, "edge": "524.145921"},
  {"seed": 64052, "edge": "548.055989"},
  {"seed": 64053, "edge": "502.242186"},
  {"seed": 64054, "edge": "485.076740"},
  {"seed": 64055, "edge": "582.157979"},
  {"seed": 64056, "edge": "591.107757"},
  {"seed": 64057, "edge": "425.256929"},
  {"seed": 64058, "edge": "480.043274"},
  {"seed": 64059, "edge": "395.319367"},
  {"seed": 64060, "edge": "497.703580"},
  {"seed": 64061, "edge": "597.986363"},
  {"seed": 64062, "edge": "632.275145"},
  {"seed": 64063, "edge": "543.418878"},
  {"seed": 64064, "edge": "344.817846"},
  {"seed": 64065, "edge": "420.276008"},
  {"seed": 64066, "edge": "444.929522"},
  {"seed": 64067, "edge": "478.299673"},
  {"seed": 64068, "edge": "486.232015"},
  {"seed": 64069, "edge": "350.129399"},
  {"seed": 64070, "edge": "475.602615"},
  {"seed": 64071, "edge": "510.564038"},
  {"seed": 64072, "edge": "539.026783"},
  {"seed": 64073, "edge": "429.181811"},
  {"seed": 64074, "edge": "737.885790"},
  {"seed": 64075, "edge": "634.922216"},
  {"seed": 64076, "edge": "596.658911"},
  {"seed": 64077, "edge": "664.823574"},
  {"seed": 64078, "edge": "687.506533"},
  {"seed": 64079, "edge": "394.828019"},
  {"seed": 64080, "edge": "473.787684"},
  {"seed": 64081, "edge": "608.102264"},
  {"seed": 64082, "edge": "385.720430"},
  {"seed": 64083, "edge": "634.784739"},
  {"seed": 64084, "edge": "538.339214"},
  {"seed": 64085, "edge": "629.352591"},
  {"seed": 64086, "edge": "393.741970"},
  {"seed": 64087, "edge": "438.274114"},
  {"seed": 64088, "edge": "508.017111"},
  {"seed": 64089, "edge": "380.166566"},
  {"seed": 64090, "edge": "463.638405"},
  {"seed": 64091, "edge": "359.333286"},
  {"seed": 64092, "edge": "438.599044"},
  {"seed": 64093, "edge": "551.011430"},
  {"seed": 64094, "edge": "546.031889"},
  {"seed": 64095, "edge": "562.555342"},
  {"seed": 64096, "edge": "559.679529"},
  {"seed": 64097, "edge": "537.183314"},
  {"seed": 64098, "edge": "556.659360"},
  {"seed": 64099, "edge": "366.616135"},
  {"seed": 64100, "edge": "472.517300"},
  {"seed": 64101, "edge": "597.150547"},
  {"seed": 64102, "edge": "402.330188"},
  {"seed": 64103, "edge": "348.943780"},
  {"seed": 64104, "edge": "489.150817"},
  {"seed": 64105, "edge": "617.360686"},
  {"seed": 64106, "edge": "598.523850"},
  {"seed": 64107, "edge": "575.649775"},
  {"seed": 64108, "edge": "568.332039"},
  {"seed": 64109, "edge": "450.010265"},
  {"seed": 64110, "edge": "618.987555"},
  {"seed": 64111, "edge": "576.777114"},
  {"seed": 64112, "edge": "640.931572"},
  {"seed": 64113, "edge": "425.440014"},
  {"seed": 64114, "edge": "742.201792"},
  {"seed": 64115, "edge": "569.270443"},
  {"seed": 64116, "edge": "665.288899"},
  {"seed": 64117, "edge": "468.394341"},
  {"seed": 64118, "edge": "505.585411"},
  {"seed": 64119, "edge": "487.446740"},
  {"seed": 64120, "edge": "674.479054"},
  {"seed": 64121, "edge": "537.041195"},
  {"seed": 64122, "edge": "411.399551"},
  {"seed": 64123, "edge": "482.479482"},
  {"seed": 64124, "edge": "661.645848"},
  {"seed": 64125, "edge": "617.179730"},
  {"seed": 64126, "edge": "511.481403"},
  {"seed": 64127, "edge": "425.822384"},
  {"seed": 64128, "edge": "461.472257"},
  {"seed": 64129, "edge": "503.999437"},
  {"seed": 64130, "edge": "564.442475"},
  {"seed": 64131, "edge": "609.625642"},
  {"seed": 64132, "edge": "636.113140"},
  {"seed": 64133, "edge": "411.710134"},
  {"seed": 64134, "edge": "466.512392"},
  {"seed": 64135, "edge": "565.354132"},
  {"seed": 64136, "edge": "707.876622"},
  {"seed": 64137, "edge": "510.825420"},
  {"seed": 64138, "edge": "618.628883"},
  {"seed": 64139, "edge": "686.004414"},
  {"seed": 64140, "edge": "509.152410"},
  {"seed": 64141, "edge": "535.977682"},
  {"seed": 64142, "edge": "371.067777"},
  {"seed": 64143, "edge": "567.004702"},
  {"seed": 64144, "edge": "495.097339"},
  {"seed": 64145, "edge": "677.890886"},
  {"seed": 64146, "edge": "391.500311"},
  {"seed": 64147, "edge": "526.751720"},
  {"seed": 64148, "edge": "546.675838"},
  {"seed": 64149, "edge": "458.542432"},
  {"seed": 64150, "edge": "483.930214"},
  {"seed": 64151, "edge": "637.298767"},
  {"seed": 64152, "edge": "571.093031"},
  {"seed": 64153, "edge": "454.613729"},
  {"seed": 64154, "edge": "556.338148"},
  {"seed": 64155, "edge": "439.399227"},
  {"seed": 64156, "edge": "524.853407"},
  {"seed": 64157, "edge": "453.836351"},
  {"seed": 64158, "edge": "521.603119"},
  {"seed": 64159, "edge": "502.436904"},
  {"seed": 64160, "edge": "590.415566"},
  {"seed": 64161, "edge": "603.800904"},
  {"seed": 64162, "edge": "674.269274"},
  {"seed": 64163, "edge": "472.722636"},
  {"seed": 64164, "edge": "555.465407"},
  {"seed": 64165, "edge": "525.819382"},
  {"seed": 64166, "edge": "414.836655"},
  {"seed": 64167, "edge": "440.329184"},
  {"seed": 64168, "edge": "607.550867"},
  {"seed": 64169, "edge": "619.454532"},
  {"seed": 64170, "edge": "492.245337"},
  {"seed": 64171, "edge": "530.642298"},
  {"seed": 64172, "edge": "677.507750"},
  {"seed": 64173, "edge": "462.816243"},
  {"seed": 64174, "edge": "446.549611"},
  {"seed": 64175, "edge": "495.733536"},
  {"seed": 64176, "edge": "580.116806"},
  {"seed": 64177, "edge": "506.228689"},
  {"seed": 64178, "edge": "522.262624"},
  {"seed": 64179, "edge": "519.985472"},
  {"seed": 64180, "edge": "435.295052"},
  {"seed": 64181, "edge": "625.599529"},
  {"seed": 64182, "edge": "454.080247"},
  {"seed": 64183, "edge": "681.742112"},
  {"seed": 64184, "edge": "479.778505"},
  {"seed": 64185, "edge": "544.707488"},
  {"seed": 64186, "edge": "643.816011"},
  {"seed": 64187, "edge": "524.825016"},
  {"seed": 64188, "edge": "671.558187"},
  {"seed": 64189, "edge": "520.812970"},
  {"seed": 64190, "edge": "511.201052"},
  {"seed": 64191, "edge": "655.889066"},
  {"seed": 64192, "edge": "556.007007"},
  {"seed": 64193, "edge": "464.158306"},
  {"seed": 64194, "edge": "483.068516"},
  {"seed": 64195, "edge": "453.988618"},
  {"seed": 64196, "edge": "728.464446"},
  {"seed": 64197, "edge": "701.609645"},
  {"seed": 64198, "edge": "616.620531"},
  {"seed": 64199, "edge": "386.301637"},
  {"seed": 64200, "edge": "700.784882"},
  {"seed": 64201, "edge": "572.236194"},
  {"seed": 64202, "edge": "436.731049"},
  {"seed": 64203, "edge": "490.711686"},
  {"seed": 64204, "edge": "472.251147"},
  {"seed": 64205, "edge": "577.655501"},
  {"seed": 64206, "edge": "493.189471"},
  {"seed": 64207, "edge": "403.165653"},
  {"seed": 64208, "edge": "712.148650"},
  {"seed": 64209, "edge": "413.234493"},
  {"seed": 64210, "edge": "612.081661"},
  {"seed": 64211, "edge": "459.276075"},
  {"seed": 64212, "edge": "468.350728"},
  {"seed": 64213, "edge": "562.531123"},
  {"seed": 64214, "edge": "448.133843"},
  {"seed": 64215, "edge": "406.840299"},
  {"seed": 64216, "edge": "631.534406"},
  {"seed": 64217, "edge": "493.299641"},
  {"seed": 64218, "edge": "438.423968"},
  {"seed": 64219, "edge": "567.731262"},
  {"seed": 64220, "edge": "574.667936"},
  {"seed": 64221, "edge": "538.799338"},
  {"seed": 64222, "edge": "380.365895"},
  {"seed": 64223, "edge": "608.488884"},
  {"seed": 64224, "edge": "512.162580"},
  {"seed": 64225, "edge": "637.882418"},
  {"seed": 64226, "edge": "527.657586"},
  {"seed": 64227, "edge": "405.349955"},
  {"seed": 64228, "edge": "440.732717"},
  {"seed": 64229, "edge": "659.701891"},
  {"seed": 64230, "edge": "537.551515"},
  {"seed": 64231, "edge": "581.510881"},
  {"seed": 64232, "edge": "505.110132"},
  {"seed": 64233, "edge": "470.077936"},
  {"seed": 64234, "edge": "371.854594"},
  {"seed": 64235, "edge": "382.415588"},
  {"seed": 64236, "edge": "635.301897"},
  {"seed": 64237, "edge": "445.499232"},
  {"seed": 64238, "edge": "717.345918"},
  {"seed": 64239, "edge": "644.912618"},
  {"seed": 64240, "edge": "378.631944"},
  {"seed": 64241, "edge": "484.542802"},
  {"seed": 64242, "edge": "652.244854"},
  {"seed": 64243, "edge": "507.022332"},
  {"seed": 64244, "edge": "657.829374"},
  {"seed": 64245, "edge": "603.769579"},
  {"seed": 64246, "edge": "580.605531"},
  {"seed": 64247, "edge": "719.721652"},
  {"seed": 64248, "edge": "345.328363"},
  {"seed": 64249, "edge": "362.464279"},
  {"seed": 64250, "edge": "698.650747"},
  {"seed": 64251, "edge": "601.523855"},
  {"seed": 64252, "edge": "479.483054"},
  {"seed": 64253, "edge": "368.517468"},
  {"seed": 64254, "edge": "550.845549"},
  {"seed": 64255, "edge": "376.001609"},
  {"seed": 64256, "edge": "415.874514"},
  {"seed": 64257, "edge": "610.971590"},
  {"seed": 64258, "edge": "511.906164"},
  {"seed": 64259, "edge": "361.314203"},
  {"seed": 64260, "edge": "491.327723"},
  {"seed": 64261, "edge": "732.582685"},
  {"seed": 64262, "edge": "606.999319"},
  {"seed": 64263, "edge": "476.071631"},
  {"seed": 64264, "edge": "467.779286"},
  {"seed": 64265, "edge": "594.248090"},
  {"seed": 64266, "edge": "577.389156"},
  {"seed": 64267, "edge": "604.231288"},
  {"seed": 64268, "edge": "452.216880"},
  {"seed": 64269, "edge": "530.050343"},
  {"seed": 64270, "edge": "507.664917"},
  {"seed": 64271, "edge": "439.060313"},
  {"seed": 64272, "edge": "704.403127"},
  {"seed": 64273, "edge": "430.705290"},
  {"seed": 64274, "edge": "569.306191"},
  {"seed": 64275, "edge": "559.555299"},
  {"seed": 64276, "edge": "440.600736"},
  {"seed": 64277, "edge": "607.731260"},
  {"seed": 64278, "edge": "617.111402"},
  {"seed": 64279, "edge": "438.571818"},
  {"seed": 64280, "edge": "691.026972"},
  {"seed": 64281, "edge": "587.833358"},
  {"seed": 64282, "edge": "507.409521"},
  {"seed": 64283, "edge": "644.096616"},
  {"seed": 64284, "edge": "545.382080"},
  {"seed": 64285, "edge": "398.399529"},
  {"seed": 64286, "edge": "401.990826"},
  {"seed": 64287, "edge": "395.484008"},
  {"seed": 64288, "edge": "466.042377"},
  {"seed": 64289, "edge": "412.053369"},
  {"seed": 64290, "edge": "490.198392"},
  {"seed": 64291, "edge": "465.504065"},
  {"seed": 64292, "edge": "572.071854"},
  {"seed": 64293, "edge": "471.375600"},
  {"seed": 64294, "edge": "591.911759"},
  {"seed": 64295, "edge": "436.356048"},
  {"seed": 64296, "edge": "534.088609"},
  {"seed": 64297, "edge": "707.259260"},
  {"seed": 64298, "edge": "480.754374"},
  {"seed": 64299, "edge": "504.910396"},
  {"seed": 64300, "edge": "489.508352"},
  {"seed": 64301, "edge": "508.304898"},
  {"seed": 64302, "edge": "389.527512"},
  {"seed": 64303, "edge": "699.885764"},
  {"seed": 64304, "edge": "441.377387"},
  {"seed": 64305, "edge": "570.065116"},
  {"seed": 64306, "edge": "562.238609"},
  {"seed": 64307, "edge": "600.130182"},
  {"seed": 64308, "edge": "610.550512"},
  {"seed": 64309, "edge": "449.807959"},
  {"seed": 64310, "edge": "567.317713"},
  {"seed": 64311, "edge": "517.795570"},
  {"seed": 64312, "edge": "539.799642"},
  {"seed": 64313, "edge": "653.451343"},
  {"seed": 64314, "edge": "579.314030"},
  {"seed": 64315, "edge": "458.030154"},
  {"seed": 64316, "edge": "606.826597"},
  {"seed": 64317, "edge": "615.037180"},
  {"seed": 64318, "edge": "534.133961"},
  {"seed": 64319, "edge": "594.867706"},
  {"seed": 64320, "edge": "384.969383"},
  {"seed": 64321, "edge": "371.228516"},
  {"seed": 64322, "edge": "536.234763"},
  {"seed": 64323, "edge": "523.276877"},
  {"seed": 64324, "edge": "505.387484"},
  {"seed": 64325, "edge": "596.041357"},
  {"seed": 64326, "edge": "598.253904"},
  {"seed": 64327, "edge": "738.651057"},
  {"seed": 64328, "edge": "576.756870"},
  {"seed": 64329, "edge": "587.241321"},
  {"seed": 64330, "edge": "560.460540"},
  {"seed": 64331, "edge": "528.321156"},
  {"seed": 64332, "edge": "661.190353"},
  {"seed": 64333, "edge": "476.255612"},
  {"seed": 64334, "edge": "735.457459"},
  {"seed": 64335, "edge": "529.745179"},
  {"seed": 64336, "edge": "505.399121"},
  {"seed": 64337, "edge": "542.092693"},
  {"seed": 64338, "edge": "443.488046"},
  {"seed": 64339, "edge": "497.270030"},
  {"seed": 64340, "edge": "686.777030"},
  {"seed": 64341, "edge": "512.436682"},
  {"seed": 64342, "edge": "646.157096"},
  {"seed": 64343, "edge": "534.436053"},
  {"seed": 64344, "edge": "560.339850"},
  {"seed": 64345, "edge": "620.743495"},
  {"seed": 64346, "edge": "563.004925"},
  {"seed": 64347, "edge": "701.416109"},
  {"seed": 64348, "edge": "637.034606"},
  {"seed": 64349, "edge": "516.433874"},
  {"seed": 64350, "edge": "642.800155"},
  {"seed": 64351, "edge": "668.754744"},
  {"seed": 64352, "edge": "595.530733"},
  {"seed": 64353, "edge": "693.065837"},
  {"seed": 64354, "edge": "568.117623"},
  {"seed": 64355, "edge": "615.401921"},
  {"seed": 64356, "edge": "504.790676"},
  {"seed": 64357, "edge": "464.606189"},
  {"seed": 64358, "edge": "362.190958"},
  {"seed": 64359, "edge": "473.413098"},
  {"seed": 64360, "edge": "489.604526"},
  {"seed": 64361, "edge": "513.824714"},
  {"seed": 64362, "edge": "677.339109"},
  {"seed": 64363, "edge": "732.639441"},
  {"seed": 64364, "edge": "420.716676"},
  {"seed": 64365, "edge": "522.301529"},
  {"seed": 64366, "edge": "393.925961"},
  {"seed": 64367, "edge": "488.943239"},
  {"seed": 64368, "edge": "447.545616"},
  {"seed": 64369, "edge": "505.361554"},
  {"seed": 64370, "edge": "488.070679"},
  {"seed": 64371, "edge": "446.520661"},
  {"seed": 64372, "edge": "508.916065"},
  {"seed": 64373, "edge": "704.452649"},
  {"seed": 64374, "edge": "680.887013"},
  {"seed": 64375, "edge": "734.377062"},
  {"seed": 64376, "edge": "559.420967"},
  {"seed": 64377, "edge": "474.047284"},
  {"seed": 64378, "edge": "642.027836"},
  {"seed": 64379, "edge": "567.679682"},
  {"seed": 64380, "edge": "637.774198"},
  {"seed": 64381, "edge": "407.054960"},
  {"seed": 64382, "edge": "596.462181"},
  {"seed": 64383, "edge": "414.839425"},
  {"seed": 64384, "edge": "354.717936"},
  {"seed": 64385, "edge": "772.586614"},
  {"seed": 64386, "edge": "560.664436"},
  {"seed": 64387, "edge": "435.424293"},
  {"seed": 64388, "edge": "526.781955"},
  {"seed": 64389, "edge": "497.841923"},
  {"seed": 64390, "edge": "394.549994"},
  {"seed": 64391, "edge": "554.416197"},
  {"seed": 64392, "edge": "491.857971"},
  {"seed": 64393, "edge": "419.447418"},
  {"seed": 64394, "edge": "610.465142"},
  {"seed": 64395, "edge": "798.504719"},
  {"seed": 64396, "edge": "445.892916"},
  {"seed": 64397, "edge": "663.357984"},
  {"seed": 64398, "edge": "571.994379"},
  {"seed": 64399, "edge": "487.782503"},
  {"seed": 64400, "edge": "487.726218"},
  {"seed": 64401, "edge": "650.738913"},
  {"seed": 64402, "edge": "481.268562"},
  {"seed": 64403, "edge": "415.013108"},
  {"seed": 64404, "edge": "437.457667"},
  {"seed": 64405, "edge": "359.461294"},
  {"seed": 64406, "edge": "576.045829"},
  {"seed": 64407, "edge": "505.308719"},
  {"seed": 64408, "edge": "567.527739"},
  {"seed": 64409, "edge": "684.815388"},
  {"seed": 64410, "edge": "626.306755"},
  {"seed": 64411, "edge": "551.184420"},
  {"seed": 64412, "edge": "570.670445"},
  {"seed": 64413, "edge": "407.514989"},
  {"seed": 64414, "edge": "466.050393"},
  {"seed": 64415, "edge": "789.082508"},
  {"seed": 64416, "edge": "582.482418"},
  {"seed": 64417, "edge": "489.319499"},
  {"seed": 64418, "edge": "614.794851"},
  {"seed": 64419, "edge": "625.010828"},
  {"seed": 64420, "edge": "486.641556"},
  {"seed": 64421, "edge": "517.555247"},
  {"seed": 64422, "edge": "412.799133"},
  {"seed": 64423, "edge": "551.579172"},
  {"seed": 64424, "edge": "472.334984"},
  {"seed": 64425, "edge": "450.629893"},
  {"seed": 64426, "edge": "570.154148"},
  {"seed": 64427, "edge": "542.378314"},
  {"seed": 64428, "edge": "582.159632"},
  {"seed": 64429, "edge": "408.964505"},
  {"seed": 64430, "edge": "373.585244"},
  {"seed": 64431, "edge": "514.161298"},
  {"seed": 64432, "edge": "423.995918"},
  {"seed": 64433, "edge": "527.811333"},
  {"seed": 64434, "edge": "510.878196"},
  {"seed": 64435, "edge": "496.057760"},
  {"seed": 64436, "edge": "443.969124"},
  {"seed": 64437, "edge": "602.971277"},
  {"seed": 64438, "edge": "452.576802"},
  {"seed": 64439, "edge": "495.986187"},
  {"seed": 64440, "edge": "521.730026"},
  {"seed": 64441, "edge": "584.469012"},
  {"seed": 64442, "edge": "415.578832"},
  {"seed": 64443, "edge": "498.373086"},
  {"seed": 64444, "edge": "609.343321"},
  {"seed": 64445, "edge": "682.376349"},
  {"seed": 64446, "edge": "524.624159"},
  {"seed": 64447, "edge": "664.453930"},
  {"seed": 64448, "edge": "491.795944"},
  {"seed": 64449, "edge": "625.841804"},
  {"seed": 64450, "edge": "428.676575"},
  {"seed": 64451, "edge": "530.908734"},
  {"seed": 64452, "edge": "509.078793"},
  {"seed": 64453, "edge": "408.379086"},
  {"seed": 64454, "edge": "694.379643"},
  {"seed": 64455, "edge": "619.420491"},
  {"seed": 64456, "edge": "410.982573"},
  {"seed": 64457, "edge": "503.284181"},
  {"seed": 64458, "edge": "610.080069"},
  {"seed": 64459, "edge": "614.455244"},
  {"seed": 64460, "edge": "471.843473"},
  {"seed": 64461, "edge": "484.793169"},
  {"seed": 64462, "edge": "532.055248"},
  {"seed": 64463, "edge": "574.337447"},
  {"seed": 64464, "edge": "539.251752"},
  {"seed": 64465, "edge": "499.383549"},
  {"seed": 64466, "edge": "624.945858"},
  {"seed": 64467, "edge": "439.785942"},
  {"seed": 64468, "edge": "585.483816"},
  {"seed": 64469, "edge": "647.682530"},
  {"seed": 64470, "edge": "571.693076"},
  {"seed": 64471, "edge": "528.575833"},
  {"seed": 64472, "edge": "475.506102"},
  {"seed": 64473, "edge": "374.031199"},
  {"seed": 64474, "edge": "541.339239"},
  {"seed": 64475, "edge": "537.211371"},
  {"seed": 64476, "edge": "442.804268"},
  {"seed": 64477, "edge": "622.328764"},
  {"seed": 64478, "edge": "530.273353"},
  {"seed": 64479, "edge": "646.725432"},
  {"seed": 64480, "edge": "583.914592"},
  {"seed": 64481, "edge": "501.240229"},
  {"seed": 64482, "edge": "552.729570"},
  {"seed": 64483, "edge": "421.080253"},
  {"seed": 64484, "edge": "447.959535"},
  {"seed": 64485, "edge": "439.839645"},
  {"seed": 64486, "edge": "645.917538"},
  {"seed": 64487, "edge": "390.033337"},
  {"seed": 64488, "edge": "435.620255"},
  {"seed": 64489, "edge": "640.184541"},
  {"seed": 64490, "edge": "470.460572"},
  {"seed": 64491, "edge": "617.167802"},
  {"seed": 64492, "edge": "492.778579"},
  {"seed": 64493, "edge": "452.917447"},
  {"seed": 64494, "edge": "703.435228"},
  {"seed": 64495, "edge": "491.172499"},
  {"seed": 64496, "edge": "536.113311"},
  {"seed": 64497, "edge": "477.597634"},
  {"seed": 64498, "edge": "513.785976"},
  {"seed": 64499, "edge": "535.243542"},
  {"seed": 64500, "edge": "702.530160"},
  {"seed": 64501, "edge": "575.914086"},
  {"seed": 64502, "edge": "644.088827"},
  {"seed": 64503, "edge": "475.012898"},
  {"seed": 64504, "edge": "433.918291"},
  {"seed": 64505, "edge": "730.448112"},
  {"seed": 64506, "edge": "374.944673"},
  {"seed": 64507, "edge": "522.332511"},
  {"seed": 64508, "edge": "637.978037"},
  {"seed": 64509, "edge": "799.221297"},
  {"seed": 64510, "edge": "412.316412"},
  {"seed": 64511, "edge": "452.745726"},
  {"seed": 64512, "edge": "510.088469"},
  {"seed": 64513, "edge": "733.694369"},
  {"seed": 64514, "edge": "527.024505"},
  {"seed": 64515, "edge": "557.504059"},
  {"seed": 64516, "edge": "533.980270"},
  {"seed": 64517, "edge": "493.613546"},
  {"seed": 64518, "edge": "654.449172"},
  {"seed": 64519, "edge": "481.236646"},
  {"seed": 64520, "edge": "430.227867"},
  {"seed": 64521, "edge": "573.144076"},
  {"seed": 64522, "edge": "681.727004"},
  {"seed": 64523, "edge": "609.274811"},
  {"seed": 64524, "edge": "664.800517"},
  {"seed": 64525, "edge": "582.351167"},
  {"seed": 64526, "edge": "555.745440"},
  {"seed": 64527, "edge": "465.869926"},
  {"seed": 64528, "edge": "375.152336"},
  {"seed": 64529, "edge": "568.097780"},
  {"seed": 64530, "edge": "481.011780"},
  {"seed": 64531, "edge": "452.076667"},
  {"seed": 64532, "edge": "552.279830"},
  {"seed": 64533, "edge": "672.392142"},
  {"seed": 64534, "edge": "492.967013"},
  {"seed": 64535, "edge": "536.723757"},
  {"seed": 64536, "edge": "679.017944"},
  {"seed": 64537, "edge": "529.499705"},
  {"seed": 64538, "edge": "568.915219"},
  {"seed": 64539, "edge": "659.862804"},
  {"seed": 64540, "edge": "485.625051"},
  {"seed": 64541, "edge": "482.816207"},
  {"seed": 64542, "edge": "509.599122"},
  {"seed": 64543, "edge": "459.203971"},
  {"seed": 64544, "edge": "587.347568"},
  {"seed": 64545, "edge": "593.108556"},
  {"seed": 64546, "edge": "715.800492"},
  {"seed": 64547, "edge": "558.018811"},
  {"seed": 64548, "edge": "622.845503"},
  {"seed": 64549, "edge": "786.712221"},
  {"seed": 64550, "edge": "601.948928"},
  {"seed": 64551, "edge": "428.295058"},
  {"seed": 64552, "edge": "510.941938"},
  {"seed": 64553, "edge": "610.290364"},
  {"seed": 64554, "edge": "512.440726"},
  {"seed": 64555, "edge": "499.846224"},
  {"seed": 64556, "edge": "455.555314"},
  {"seed": 64557, "edge": "576.317334"},
  {"seed": 64558, "edge": "611.031788"},
  {"seed": 64559, "edge": "455.703215"},
  {"seed": 64560, "edge": "585.146856"},
  {"seed": 64561, "edge": "619.887489"},
  {"seed": 64562, "edge": "573.127468"},
  {"seed": 64563, "edge": "609.557320"},
  {"seed": 64564, "edge": "711.968713"},
  {"seed": 64565, "edge": "688.430730"},
  {"seed": 64566, "edge": "584.089158"},
  {"seed": 64567, "edge": "562.816389"},
  {"seed": 64568, "edge": "559.904163"},
  {"seed": 64569, "edge": "577.280732"},
  {"seed": 64570, "edge": "478.865783"},
  {"seed": 64571, "edge": "587.662100"},
  {"seed": 64572, "edge": "531.506457"},
  {"seed": 64573, "edge": "564.799590"},
  {"seed": 64574, "edge": "605.171433"},
  {"seed": 64575, "edge": "580.060616"},
  {"seed": 64576, "edge": "480.781479"},
  {"seed": 64577, "edge": "492.349022"},
  {"seed": 64578, "edge": "649.119013"},
  {"seed": 64579, "edge": "593.991510"},
  {"seed": 64580, "edge": "507.913657"},
  {"seed": 64581, "edge": "559.443787"},
  {"seed": 64582, "edge": "563.482656"},
  {"seed": 64583, "edge": "368.248789"},
  {"seed": 64584, "edge": "422.708763"},
  {"seed": 64585, "edge": "588.754958"},
  {"seed": 64586, "edge": "558.184566"},
  {"seed": 64587, "edge": "538.648261"},
  {"seed": 64588, "edge": "498.341356"},
  {"seed": 64589, "edge": "553.886061"},
  {"seed": 64590, "edge": "516.854432"},
  {"seed": 64591, "edge": "405.238392"},
  {"seed": 64592, "edge": "589.062777"},
  {"seed": 64593, "edge": "618.928460"},
  {"seed": 64594, "edge": "405.282440"},
  {"seed": 64595, "edge": "478.908577"},
  {"seed": 64596, "edge": "586.012521"},
  {"seed": 64597, "edge": "493.317124"},
  {"seed": 64598, "edge": "420.635107"},
  {"seed": 64599, "edge": "583.856254"},
  {"seed": 64600, "edge": "555.702823"},
  {"seed": 64601, "edge": "593.478406"},
  {"seed": 64602, "edge": "659.821504"},
  {"seed": 64603, "edge": "589.287006"},
  {"seed": 64604, "edge": "468.993141"},
  {"seed": 64605, "edge": "680.625623"},
  {"seed": 64606, "edge": "548.337322"},
  {"seed": 64607, "edge": "608.218206"},
  {"seed": 64608, "edge": "408.946515"},
  {"seed": 64609, "edge": "538.785047"},
  {"seed": 64610, "edge": "678.721985"},
  {"seed": 64611, "edge": "673.440130"},
  {"seed": 64612, "edge": "438.123834"},
  {"seed": 64613, "edge": "536.822057"},
  {"seed": 64614, "edge": "669.712468"},
  {"seed": 64615, "edge": "594.747589"},
  {"seed": 64616, "edge": "404.434927"},
  {"seed": 64617, "edge": "618.027724"},
  {"seed": 64618, "edge": "622.040535"},
  {"seed": 64619, "edge": "410.745893"},
  {"seed": 64620, "edge": "577.857787"},
  {"seed": 64621, "edge": "514.432847"},
  {"seed": 64622, "edge": "530.166162"},
  {"seed": 64623, "edge": "496.324274"},
  {"seed": 64624, "edge": "501.775661"},
  {"seed": 64625, "edge": "584.516892"},
  {"seed": 64626, "edge": "525.453528"},
  {"seed": 64627, "edge": "482.825945"},
  {"seed": 64628, "edge": "521.961048"},
  {"seed": 64629, "edge": "696.487389"},
  {"seed": 64630, "edge": "493.992113"},
  {"seed": 64631, "edge": "486.287185"},
  {"seed": 64632, "edge": "388.934729"},
  {"seed": 64633, "edge": "504.856149"},
  {"seed": 64634, "edge": "374.676007"},
  {"seed": 64635, "edge": "423.159772"},
  {"seed": 64636, "edge": "639.600968"},
  {"seed": 64637, "edge": "478.972644"},
  {"seed": 64638, "edge": "601.606321"},
  {"seed": 64639, "edge": "513.538755"},
  {"seed": 64640, "edge": "474.846376"},
  {"seed": 64641, "edge": "531.370278"},
  {"seed": 64642, "edge": "686.660079"},
  {"seed": 64643, "edge": "488.185865"},
  {"seed": 64644, "edge": "611.756934"},
  {"seed": 64645, "edge": "443.998526"},
  {"seed": 64646, "edge": "387.125442"},
  {"seed": 64647, "edge": "761.780465"},
  {"seed": 64648, "edge": "698.118171"},
  {"seed": 64649, "edge": "516.910303"},
  {"seed": 64650, "edge": "519.614974"},
  {"seed": 64651, "edge": "530.521706"},
  {"seed": 64652, "edge": "574.719955"},
  {"seed": 64653, "edge": "716.294527"},
  {"seed": 64654, "edge": "452.078394"},
  {"seed": 64655, "edge": "578.012114"},
  {"seed": 64656, "edge": "504.576626"},
  {"seed": 64657, "edge": "506.679497"},
  {"seed": 64658, "edge": "653.236634"},
  {"seed": 64659, "edge": "422.939731"},
  {"seed": 64660, "edge": "621.630589"},
  {"seed": 64661, "edge": "476.135446"},
  {"seed": 64662, "edge": "728.897019"},
  {"seed": 64663, "edge": "429.387650"},
  {"seed": 64664, "edge": "527.225180"},
  {"seed": 64665, "edge": "583.467873"},
  {"seed": 64666, "edge": "594.161076"},
  {"seed": 64667, "edge": "470.208005"},
  {"seed": 64668, "edge": "620.347384"},
  {"seed": 64669, "edge": "574.071505"},
  {"seed": 64670, "edge": "510.238612"},
  {"seed": 64671, "edge": "513.740861"},
  {"seed": 64672, "edge": "633.593862"},
  {"seed": 64673, "edge": "570.782865"},
  {"seed": 64674, "edge": "501.919920"},
  {"seed": 64675, "edge": "415.174459"},
  {"seed": 64676, "edge": "561.874990"},
  {"seed": 64677, "edge": "583.574620"},
  {"seed": 64678, "edge": "657.965225"},
  {"seed": 64679, "edge": "446.743121"},
  {"seed": 64680, "edge": "459.727338"},
  {"seed": 64681, "edge": "538.630118"},
  {"seed": 64682, "edge": "624.651360"},
  {"seed": 64683, "edge": "549.585581"},
  {"seed": 64684, "edge": "493.571604"},
  {"seed": 64685, "edge": "543.787096"},
  {"seed": 64686, "edge": "438.753201"},
  {"seed": 64687, "edge": "583.112129"},
  {"seed": 64688, "edge": "604.558343"},
  {"seed": 64689, "edge": "666.136063"},
  {"seed": 64690, "edge": "538.004724"},
  {"seed": 64691, "edge": "730.193246"},
  {"seed": 64692, "edge": "547.007057"},
  {"seed": 64693, "edge": "522.987311"},
  {"seed": 64694, "edge": "514.435465"},
  {"seed": 64695, "edge": "491.315755"},
  {"seed": 64696, "edge": "389.201748"},
  {"seed": 64697, "edge": "655.139052"},
  {"seed": 64698, "edge": "583.728098"},
  {"seed": 64699, "edge": "412.020240"},
  {"seed": 64700, "edge": "365.858793"},
  {"seed": 64701, "edge": "407.199318"},
  {"seed": 64702, "edge": "450.206823"},
  {"seed": 64703, "edge": "569.923514"},
  {"seed": 64704, "edge": "637.789473"},
  {"seed": 64705, "edge": "560.267120"},
  {"seed": 64706, "edge": "525.928153"},
  {"seed": 64707, "edge": "414.445289"},
  {"seed": 64708, "edge": "549.636850"},
  {"seed": 64709, "edge": "647.239734"},
  {"seed": 64710, "edge": "530.111952"},
  {"seed": 64711, "edge": "509.822464"},
  {"seed": 64712, "edge": "753.589879"},
  {"seed": 64713, "edge": "444.406892"},
  {"seed": 64714, "edge": "672.533269"},
  {"seed": 64715, "edge": "536.375737"},
  {"seed": 64716, "edge": "521.549562"},
  {"seed": 64717, "edge": "645.622840"},
  {"seed": 64718, "edge": "653.720310"},
  {"seed": 64719, "edge": "428.627728"},
  {"seed": 64720, "edge": "539.413722"},
  {"seed": 64721, "edge": "553.100244"},
  {"seed": 64722, "edge": "676.643460"},
  {"seed": 64723, "edge": "456.753177"},
  {"seed": 64724, "edge": "597.283723"},
  {"seed": 64725, "edge": "429.154062"},
  {"seed": 64726, "edge": "576.697391"},
  {"seed": 64727, "edge": "572.201984"},
  {"seed": 64728, "edge": "440.827303"},
  {"seed": 64729, "edge": "375.464096"},
  {"seed": 64730, "edge": "491.755647"},
  {"seed": 64731, "edge": "576.360837"},
  {"seed": 64732, "edge": "506.072715"},
  {"seed": 64733, "edge": "555.916141"},
  {"seed": 64734, "edge": "521.131137"},
  {"seed": 64735, "edge": "521.962044"},
  {"seed": 64736, "edge": "545.523301"},
  {"seed": 64737, "edge": "526.150400"},
  {"seed": 64738, "edge": "336.500140"},
  {"seed": 64739, "edge": "511.837979"},
  {"seed": 64740, "edge": "806.830666"},
  {"seed": 64741, "edge": "601.102001"},
  {"seed": 64742, "edge": "499.665963"},
  {"seed": 64743, "edge": "624.153823"},
  {"seed": 64744, "edge": "420.156740"},
  {"seed": 64745, "edge": "446.517888"},
  {"seed": 64746, "edge": "626.886538"},
  {"seed": 64747, "edge": "612.088588"},
  {"seed": 64748, "edge": "559.534700"},
  {"seed": 64749, "edge": "460.288663"},
  {"seed": 64750, "edge": "513.879613"},
  {"seed": 64751, "edge": "400.454899"},
  {"seed": 64752, "edge": "532.535617"},
  {"seed": 64753, "edge": "561.678361"},
  {"seed": 64754, "edge": "498.524725"},
  {"seed": 64755, "edge": "634.183048"},
  {"seed": 64756, "edge": "613.494673"},
  {"seed": 64757, "edge": "403.050820"},
  {"seed": 64758, "edge": "480.424858"},
  {"seed": 64759, "edge": "441.004896"},
  {"seed": 64760, "edge": "565.615585"},
  {"seed": 64761, "edge": "670.902627"},
  {"seed": 64762, "edge": "501.241250"},
  {"seed": 64763, "edge": "429.987393"},
  {"seed": 64764, "edge": "415.775949"},
  {"seed": 64765, "edge": "494.196031"},
  {"seed": 64766, "edge": "392.346469"},
  {"seed": 64767, "edge": "464.677411"},
  {"seed": 64768, "edge": "647.141915"},
  {"seed": 64769, "edge": "595.198049"},
  {"seed": 64770, "edge": "434.002378"},
  {"seed": 64771, "edge": "586.112318"},
  {"seed": 64772, "edge": "397.599361"},
  {"seed": 64773, "edge": "643.220874"},
  {"seed": 64774, "edge": "673.589494"},
  {"seed": 64775, "edge": "664.634564"},
  {"seed": 64776, "edge": "578.946152"},
  {"seed": 64777, "edge": "413.126182"},
  {"seed": 64778, "edge": "427.942296"},
  {"seed": 64779, "edge": "783.336646"},
  {"seed": 64780, "edge": "414.298554"},
  {"seed": 64781, "edge": "473.215571"},
  {"seed": 64782, "edge": "587.725157"},
  {"seed": 64783, "edge": "628.178479"},
  {"seed": 64784, "edge": "645.935676"},
  {"seed": 64785, "edge": "616.537715"},
  {"seed": 64786, "edge": "484.443276"},
  {"seed": 64787, "edge": "414.868163"},
  {"seed": 64788, "edge": "775.596134"},
  {"seed": 64789, "edge": "504.514853"},
  {"seed": 64790, "edge": "559.288535"},
  {"seed": 64791, "edge": "520.201301"},
  {"seed": 64792, "edge": "667.729223"},
  {"seed": 64793, "edge": "455.529889"},
  {"seed": 64794, "edge": "506.230622"},
  {"seed": 64795, "edge": "552.443787"},
  {"seed": 64796, "edge": "646.944072"},
  {"seed": 64797, "edge": "456.319379"},
  {"seed": 64798, "edge": "633.582427"},
  {"seed": 64799, "edge": "467.628507"},
  {"seed": 64800, "edge": "545.130023"},
  {"seed": 64801, "edge": "454.202401"},
  {"seed": 64802, "edge": "511.337865"},
  {"seed": 64803, "edge": "430.068024"},
  {"seed": 64804, "edge": "505.933806"},
  {"seed": 64805, "edge": "399.007395"},
  {"seed": 64806, "edge": "478.114798"},
  {"seed": 64807, "edge": "601.955665"},
  {"seed": 64808, "edge": "729.638752"},
  {"seed": 64809, "edge": "480.005696"},
  {"seed": 64810, "edge": "527.869399"},
  {"seed": 64811, "edge": "560.263666"},
  {"seed": 64812, "edge": "623.514566"},
  {"seed": 64813, "edge": "535.272901"},
  {"seed": 64814, "edge": "363.688887"},
  {"seed": 64815, "edge": "462.472112"},
  {"seed": 64816, "edge": "415.372957"},
  {"seed": 64817, "edge": "556.522911"},
  {"seed": 64818, "edge": "528.851747"},
  {"seed": 64819, "edge": "598.943296"},
  {"seed": 64820, "edge": "558.816636"},
  {"seed": 64821, "edge": "517.036010"},
  {"seed": 64822, "edge": "540.914155"},
  {"seed": 64823, "edge": "432.609773"},
  {"seed": 64824, "edge": "584.636916"},
  {"seed": 64825, "edge": "576.167682"},
  {"seed": 64826, "edge": "488.275481"},
  {"seed": 64827, "edge": "384.397985"},
  {"seed": 64828, "edge": "424.347238"},
  {"seed": 64829, "edge": "488.526788"},
  {"seed": 64830, "edge": "531.525993"},
  {"seed": 64831, "edge": "639.123660"},
  {"seed": 64832, "edge": "626.075712"},
  {"seed": 64833, "edge": "662.698818"},
  {"seed": 64834, "edge": "646.102813"},
  {"seed": 64835, "edge": "591.509707"},
  {"seed": 64836, "edge": "518.428929"},
  {"seed": 64837, "edge": "505.949996"},
  {"seed": 64838, "edge": "523.055102"},
  {"seed": 64839, "edge": "615.979556"},
  {"seed": 64840, "edge": "568.396193"},
  {"seed": 64841, "edge": "497.186710"},
  {"seed": 64842, "edge": "549.388214"},
  {"seed": 64843, "edge": "403.603227"},
  {"seed": 64844, "edge": "571.176073"},
  {"seed": 64845, "edge": "597.855360"},
  {"seed": 64846, "edge": "574.674864"},
  {"seed": 64847, "edge": "643.942963"},
  {"seed": 64848, "edge": "429.599780"},
  {"seed": 64849, "edge": "607.744866"},
  {"seed": 64850, "edge": "543.301190"},
  {"seed": 64851, "edge": "649.109538"},
  {"seed": 64852, "edge": "546.638826"},
  {"seed": 64853, "edge": "514.529429"},
  {"seed": 64854, "edge": "545.863776"},
  {"seed": 64855, "edge": "586.816117"},
  {"seed": 64856, "edge": "478.077426"},
  {"seed": 64857, "edge": "394.687027"},
  {"seed": 64858, "edge": "585.173821"},
  {"seed": 64859, "edge": "567.886779"},
  {"seed": 64860, "edge": "404.083755"},
  {"seed": 64861, "edge": "566.078534"},
  {"seed": 64862, "edge": "524.112461"},
  {"seed": 64863, "edge": "537.689534"},
  {"seed": 64864, "edge": "494.056929"},
  {"seed": 64865, "edge": "594.118751"},
  {"seed": 64866, "edge": "468.084403"},
  {"seed": 64867, "edge": "381.348306"},
  {"seed": 64868, "edge": "403.100030"},
  {"seed": 64869, "edge": "626.547057"},
  {"seed": 64870, "edge": "487.286637"},
  {"seed": 64871, "edge": "659.482783"},
  {"seed": 64872, "edge": "619.729918"},
  {"seed": 64873, "edge": "680.647538"},
  {"seed": 64874, "edge": "609.936402"},
  {"seed": 64875, "edge": "435.032604"},
  {"seed": 64876, "edge": "510.701113"},
  {"seed": 64877, "edge": "524.949274"},
  {"seed": 64878, "edge": "431.279655"},
  {"seed": 64879, "edge": "451.936419"},
  {"seed": 64880, "edge": "574.617013"},
  {"seed": 64881, "edge": "520.530979"},
  {"seed": 64882, "edge": "497.661161"},
  {"seed": 64883, "edge": "500.131266"},
  {"seed": 64884, "edge": "675.096698"},
  {"seed": 64885, "edge": "548.215551"},
  {"seed": 64886, "edge": "411.632447"},
  {"seed": 64887, "edge": "564.597402"},
  {"seed": 64888, "edge": "624.131164"},
  {"seed": 64889, "edge": "594.591368"},
  {"seed": 64890, "edge": "576.004572"},
  {"seed": 64891, "edge": "579.971141"},
  {"seed": 64892, "edge": "482.973887"},
  {"seed": 64893, "edge": "651.705562"},
  {"seed": 64894, "edge": "583.257381"},
  {"seed": 64895, "edge": "407.060120"},
  {"seed": 64896, "edge": "520.968188"},
  {"seed": 64897, "edge": "534.149505"},
  {"seed": 64898, "edge": "421.977958"},
  {"seed": 64899, "edge": "454.261973"},
  {"seed": 64900, "edge": "484.917705"},
  {"seed": 64901, "edge": "743.305535"},
  {"seed": 64902, "edge": "516.221780"},
  {"seed": 64903, "edge": "529.410331"},
  {"seed": 64904, "edge": "562.227289"},
  {"seed": 64905, "edge": "480.927615"},
  {"seed": 64906, "edge": "486.526065"},
  {"seed": 64907, "edge": "419.053329"},
  {"seed": 64908, "edge": "606.874678"},
  {"seed": 64909, "edge": "461.405850"},
  {"seed": 64910, "edge": "689.780704"},
  {"seed": 64911, "edge": "713.441938"},
  {"seed": 64912, "edge": "428.095695"},
  {"seed": 64913, "edge": "454.525219"},
  {"seed": 64914, "edge": "493.013631"},
  {"seed": 64915, "edge": "788.455886"},
  {"seed": 64916, "edge": "519.209138"},
  {"seed": 64917, "edge": "535.444477"},
  {"seed": 64918, "edge": "375.769147"},
  {"seed": 64919, "edge": "703.045126"},
  {"seed": 64920, "edge": "855.386720"},
  {"seed": 64921, "edge": "550.237849"},
  {"seed": 64922, "edge": "551.764898"},
  {"seed": 64923, "edge": "494.150745"},
  {"seed": 64924, "edge": "707.571605"},
  {"seed": 64925, "edge": "451.582470"},
  {"seed": 64926, "edge": "646.376303"},
  {"seed": 64927, "edge": "471.547869"},
  {"seed": 64928, "edge": "399.655213"},
  {"seed": 64929, "edge": "531.284774"},
  {"seed": 64930, "edge": "670.729841"},
  {"seed": 64931, "edge": "332.698211"},
  {"seed": 64932, "edge": "468.327416"},
  {"seed": 64933, "edge": "540.856396"},
  {"seed": 64934, "edge": "525.840339"},
  {"seed": 64935, "edge": "541.479771"},
  {"seed": 64936, "edge": "537.616683"},
  {"seed": 64937, "edge": "699.124568"},
  {"seed": 64938, "edge": "563.430488"},
  {"seed": 64939, "edge": "530.426632"},
  {"seed": 64940, "edge": "469.619620"},
  {"seed": 64941, "edge": "565.956362"},
  {"seed": 64942, "edge": "644.382580"},
  {"seed": 64943, "edge": "485.315240"},
  {"seed": 64944, "edge": "453.848176"},
  {"seed": 64945, "edge": "740.103329"},
  {"seed": 64946, "edge": "501.587929"},
  {"seed": 64947, "edge": "486.604650"},
  {"seed": 64948, "edge": "729.319129"},
  {"seed": 64949, "edge": "382.321424"},
  {"seed": 64950, "edge": "538.323921"},
  {"seed": 64951, "edge": "454.648057"},
  {"seed": 64952, "edge": "513.205151"},
  {"seed": 64953, "edge": "431.907958"},
  {"seed": 64954, "edge": "604.369551"},
  {"seed": 64955, "edge": "635.606253"},
  {"seed": 64956, "edge": "443.809632"},
  {"seed": 64957, "edge": "593.094788"},
  {"seed": 64958, "edge": "543.515783"},
  {"seed": 64959, "edge": "463.002580"},
  {"seed": 64960, "edge": "448.225561"},
  {"seed": 64961, "edge": "416.268568"},
  {"seed": 64962, "edge": "527.009183"},
  {"seed": 64963, "edge": "570.732634"},
  {"seed": 64964, "edge": "555.452444"},
  {"seed": 64965, "edge": "708.576412"},
  {"seed": 64966, "edge": "567.981781"},
  {"seed": 64967, "edge": "565.107678"},
  {"seed": 64968, "edge": "508.168489"},
  {"seed": 64969, "edge": "531.436526"},
  {"seed": 64970, "edge": "684.223731"},
  {"seed": 64971, "edge": "440.658852"},
  {"seed": 64972, "edge": "493.676088"},
  {"seed": 64973, "edge": "601.275471"},
  {"seed": 64974, "edge": "367.438977"},
  {"seed": 64975, "edge": "654.137682"},
  {"seed": 64976, "edge": "603.483196"},
  {"seed": 64977, "edge": "398.733994"},
  {"seed": 64978, "edge": "426.463368"},
  {"seed": 64979, "edge": "633.370349"},
  {"seed": 64980, "edge": "465.668122"},
  {"seed": 64981, "edge": "542.111345"},
  {"seed": 64982, "edge": "403.259446"},
  {"seed": 64983, "edge": "565.223462"},
  {"seed": 64984, "edge": "568.060360"},
  {"seed": 64985, "edge": "546.447325"},
  {"seed": 64986, "edge": "642.226757"},
  {"seed": 64987, "edge": "408.147998"},
  {"seed": 64988, "edge": "381.989286"},
  {"seed": 64989, "edge": "499.623267"},
  {"seed": 64990, "edge": "610.897455"},
  {"seed": 64991, "edge": "388.226067"},
  {"seed": 64992, "edge": "415.564699"},
  {"seed": 64993, "edge": "716.656681"},
  {"seed": 64994, "edge": "525.575520"},
  {"seed": 64995, "edge": "804.444039"},
  {"seed": 64996, "edge": "493.160788"},
  {"seed": 64997, "edge": "477.051417"},
  {"seed": 64998, "edge": "609.238066"},
  {"seed": 64999, "edge": "553.519562"},
  {"seed": 65000, "edge": "604.928072"},
  {"seed": 65001, "edge": "398.625551"},
  {"seed": 65002, "edge": "650.757619"},
  {"seed": 65003, "edge": "608.791901"},
  {"seed": 65004, "edge": "585.473193"},
  {"seed": 65005, "edge": "551.560437"},
  {"seed": 65006, "edge": "587.307442"},
  {"seed": 65007, "edge": "659.918516"},
  {"seed": 65008, "edge": "365.909466"},
  {"seed": 65009, "edge": "387.802840"},
  {"seed": 65010, "edge": "481.585326"},
  {"seed": 65011, "edge": "577.665803"},
  {"seed": 65012, "edge": "476.095598"},
  {"seed": 65013, "edge": "523.129213"},
  {"seed": 65014, "edge": "565.317133"},
  {"seed": 65015, "edge": "467.269375"},
  {"seed": 65016, "edge": "406.705632"},
  {"seed": 65017, "edge": "518.483926"},
  {"seed": 65018, "edge": "473.668256"},
  {"seed": 65019, "edge": "562.444599"},
  {"seed": 65020, "edge": "456.312206"},
  {"seed": 65021, "edge": "469.595535"},
  {"seed": 65022, "edge": "541.207377"},
  {"seed": 65023, "edge": "616.254926"}
 ]
}