{
 "_credit": "Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, solved-policy research.",
 "backend": "replica",
 "policy": "TwoComp",
 "provenance": {
  "origin": "ammfast.run_batch (Numba port of Taylor's replica2.run); not a CPython rerun",
  "source_commit": "4812a6382311624e1506aca131ca35c378f930d9",
  "sources": [
   {
    "path": "reference/combo/combo.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/combo/combo.py",
    "sha256": "c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"
   },
   {
    "path": "reference/qt1/blob.bin",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/blob.bin",
    "sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
   },
   {
    "path": "reference/qt1/qmref.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/qmref.py",
    "sha256": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92"
   },
   {
    "path": "reference/taylor/replica2.py",
    "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py",
    "sha256": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"
   },
   {
    "path": "reference/twocomp/twocomp.py",
    "url": "https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/twocomp/twocomp.py",
    "sha256": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af"
   }
  ],
  "source_inventory": {
   "path": "reference/sources.json",
   "sha256": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"
  },
  "kernel_origin": {
   "path": "reference/envelopes/numba__fastsim.py.json",
   "sha256": "355105f14d012389dd750af045e29b284b53a790a677fd4bf0be3033350ecae1"
  },
  "implementation": {
   "ammfast/__init__.py": "5ce5b00b96ca7da11f37010d234803eca0e92adb2eebec18a35cb6d81c645b6c",
   "ammfast/_head.py": "3ea24996bf90ce3dbb32fed745f9073c477b0ccd250befb5082a6ac8878ff86f",
   "ammfast/_kernel.py": "45613331edb2fd46afa607612e1e6f0c22f0132c9974df6445ce18afe04cc2ae",
   "ammfast/_reference.py": "6509935958e7a317163b58b7da67add653a73028378fde65db9c40dddbfd3de0"
  },
  "checkpoint_binding": "e66a7b4315bd5e7fc6430ae5a7d191bfe8d6e752eff9843f9a3d819cecf145ea",
  "generation_command": "python -B baselines/replica/generate.py --stage all --workers 4 --budget 420",
  "backend_runtime": {
   "python": "3.12.16",
   "implementation": "cpython",
   "platform": "linux",
   "machine": "x86_64",
   "numpy": "2.5.4",
   "numba": "0.68.1",
   "llvmlite": "0.50.0"
  },
  "n_steps": 10000,
  "seed_range": [
   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.000444171950221e-11
   }
  }
 },
 "rows": [
  {"seed": 64000, "edge": "437.157092"},
  {"seed": 64001, "edge": "475.763433"},
  {"seed": 64002, "edge": "435.320780"},
  {"seed": 64003, "edge": "574.777119"},
  {"seed": 64004, "edge": "386.729738"},
  {"seed": 64005, "edge": "586.689031"},
  {"seed": 64006, "edge": "670.784244"},
  {"seed": 64007, "edge": "607.046458"},
  {"seed": 64008, "edge": "627.103848"},
  {"seed": 64009, "edge": "474.386760"},
  {"seed": 64010, "edge": "469.310477"},
  {"seed": 64011, "edge": "529.379785"},
  {"seed": 64012, "edge": "427.153138"},
  {"seed": 64013, "edge": "427.438570"},
  {"seed": 64014, "edge": "564.856819"},
  {"seed": 64015, "edge": "404.486287"},
  {"seed": 64016, "edge": "535.523793"},
  {"seed": 64017, "edge": "610.822693"},
  {"seed": 64018, "edge": "490.251550"},
  {"seed": 64019, "edge": "717.211562"},
  {"seed": 64020, "edge": "457.255856"},
  {"seed": 64021, "edge": "583.673147"},
  {"seed": 64022, "edge": "564.782500"},
  {"seed": 64023, "edge": "463.149873"},
  {"seed": 64024, "edge": "608.681522"},
  {"seed": 64025, "edge": "605.343352"},
  {"seed": 64026, "edge": "449.192256"},
  {"seed": 64027, "edge": "505.984487"},
  {"seed": 64028, "edge": "488.852505"},
  {"seed": 64029, "edge": "358.077772"},
  {"seed": 64030, "edge": "568.842910"},
  {"seed": 64031, "edge": "625.920807"},
  {"seed": 64032, "edge": "441.651217"},
  {"seed": 64033, "edge": "593.664311"},
  {"seed": 64034, "edge": "652.187258"},
  {"seed": 64035, "edge": "513.082210"},
  {"seed": 64036, "edge": "477.391985"},
  {"seed": 64037, "edge": "402.905862"},
  {"seed": 64038, "edge": "536.569195"},
  {"seed": 64039, "edge": "556.310389"},
  {"seed": 64040, "edge": "466.291105"},
  {"seed": 64041, "edge": "528.040900"},
  {"seed": 64042, "edge": "401.609232"},
  {"seed": 64043, "edge": "582.223966"},
  {"seed": 64044, "edge": "713.510426"},
  {"seed": 64045, "edge": "655.549541"},
  {"seed": 64046, "edge": "490.976802"},
  {"seed": 64047, "edge": "494.106904"},
  {"seed": 64048, "edge": "612.988323"},
  {"seed": 64049, "edge": "485.398566"},
  {"seed": 64050, "edge": "432.513205"},
  {"seed": 64051, "edge": "522.856405"},
  {"seed": 64052, "edge": "547.668549"},
  {"seed": 64053, "edge": "502.437487"},
  {"seed": 64054, "edge": "485.500185"},
  {"seed": 64055, "edge": "582.653611"},
  {"seed": 64056, "edge": "591.071221"},
  {"seed": 64057, "edge": "424.277930"},
  {"seed": 64058, "edge": "479.629054"},
  {"seed": 64059, "edge": "395.029651"},
  {"seed": 64060, "edge": "497.482637"},
  {"seed": 64061, "edge": "598.186438"},
  {"seed": 64062, "edge": "632.096475"},
  {"seed": 64063, "edge": "543.509019"},
  {"seed": 64064, "edge": "344.466026"},
  {"seed": 64065, "edge": "419.389267"},
  {"seed": 64066, "edge": "444.482984"},
  {"seed": 64067, "edge": "477.886966"},
  {"seed": 64068, "edge": "485.932174"},
  {"seed": 64069, "edge": "350.121935"},
  {"seed": 64070, "edge": "474.501739"},
  {"seed": 64071, "edge": "510.294009"},
  {"seed": 64072, "edge": "538.972686"},
  {"seed": 64073, "edge": "428.761031"},
  {"seed": 64074, "edge": "738.301072"},
  {"seed": 64075, "edge": "634.920765"},
  {"seed": 64076, "edge": "595.008379"},
  {"seed": 64077, "edge": "664.744557"},
  {"seed": 64078, "edge": "688.006597"},
  {"seed": 64079, "edge": "394.332424"},
  {"seed": 64080, "edge": "474.464789"},
  {"seed": 64081, "edge": "607.340593"},
  {"seed": 64082, "edge": "385.439762"},
  {"seed": 64083, "edge": "634.822091"},
  {"seed": 64084, "edge": "538.824979"},
  {"seed": 64085, "edge": "628.697779"},
  {"seed": 64086, "edge": "394.118686"},
  {"seed": 64087, "edge": "437.378912"},
  {"seed": 64088, "edge": "508.526362"},
  {"seed": 64089, "edge": "379.364539"},
  {"seed": 64090, "edge": "463.620878"},
  {"seed": 64091, "edge": "359.631149"},
  {"seed": 64092, "edge": "438.711275"},
  {"seed": 64093, "edge": "550.888755"},
  {"seed": 64094, "edge": "546.197153"},
  {"seed": 64095, "edge": "562.043745"},
  {"seed": 64096, "edge": "559.075322"},
  {"seed": 64097, "edge": "536.902969"},
  {"seed": 64098, "edge": "556.789930"},
  {"seed": 64099, "edge": "365.602168"},
  {"seed": 64100, "edge": "473.474799"},
  {"seed": 64101, "edge": "598.793835"},
  {"seed": 64102, "edge": "402.101542"},
  {"seed": 64103, "edge": "348.726087"},
  {"seed": 64104, "edge": "488.779510"},
  {"seed": 64105, "edge": "616.641650"},
  {"seed": 64106, "edge": "598.963592"},
  {"seed": 64107, "edge": "574.951976"},
  {"seed": 64108, "edge": "568.484725"},
  {"seed": 64109, "edge": "450.019551"},
  {"seed": 64110, "edge": "620.282037"},
  {"seed": 64111, "edge": "577.408015"},
  {"seed": 64112, "edge": "639.927109"},
  {"seed": 64113, "edge": "425.260971"},
  {"seed": 64114, "edge": "741.075285"},
  {"seed": 64115, "edge": "569.309685"},
  {"seed": 64116, "edge": "665.768136"},
  {"seed": 64117, "edge": "467.736809"},
  {"seed": 64118, "edge": "505.994120"},
  {"seed": 64119, "edge": "486.998080"},
  {"seed": 64120, "edge": "674.770538"},
  {"seed": 64121, "edge": "537.550509"},
  {"seed": 64122, "edge": "411.467946"},
  {"seed": 64123, "edge": "482.467173"},
  {"seed": 64124, "edge": "660.986355"},
  {"seed": 64125, "edge": "617.663432"},
  {"seed": 64126, "edge": "511.852177"},
  {"seed": 64127, "edge": "426.246908"},
  {"seed": 64128, "edge": "461.099260"},
  {"seed": 64129, "edge": "503.698579"},
  {"seed": 64130, "edge": "564.063712"},
  {"seed": 64131, "edge": "609.205639"},
  {"seed": 64132, "edge": "635.289512"},
  {"seed": 64133, "edge": "412.887568"},
  {"seed": 64134, "edge": "466.547931"},
  {"seed": 64135, "edge": "564.902285"},
  {"seed": 64136, "edge": "707.830335"},
  {"seed": 64137, "edge": "510.574618"},
  {"seed": 64138, "edge": "619.452700"},
  {"seed": 64139, "edge": "686.571432"},
  {"seed": 64140, "edge": "508.908759"},
  {"seed": 64141, "edge": "534.900348"},
  {"seed": 64142, "edge": "370.883624"},
  {"seed": 64143, "edge": "566.781922"},
  {"seed": 64144, "edge": "495.240972"},
  {"seed": 64145, "edge": "677.648967"},
  {"seed": 64146, "edge": "391.476312"},
  {"seed": 64147, "edge": "526.583691"},
  {"seed": 64148, "edge": "546.647787"},
  {"seed": 64149, "edge": "458.409970"},
  {"seed": 64150, "edge": "483.879508"},
  {"seed": 64151, "edge": "637.187231"},
  {"seed": 64152, "edge": "570.822926"},
  {"seed": 64153, "edge": "454.471048"},
  {"seed": 64154, "edge": "556.850605"},
  {"seed": 64155, "edge": "439.403914"},
  {"seed": 64156, "edge": "525.174611"},
  {"seed": 64157, "edge": "453.754232"},
  {"seed": 64158, "edge": "521.390547"},
  {"seed": 64159, "edge": "501.838212"},
  {"seed": 64160, "edge": "590.993547"},
  {"seed": 64161, "edge": "603.736788"},
  {"seed": 64162, "edge": "673.414205"},
  {"seed": 64163, "edge": "472.224232"},
  {"seed": 64164, "edge": "555.749349"},
  {"seed": 64165, "edge": "524.922620"},
  {"seed": 64166, "edge": "415.036455"},
  {"seed": 64167, "edge": "441.006279"},
  {"seed": 64168, "edge": "607.132715"},
  {"seed": 64169, "edge": "619.205536"},
  {"seed": 64170, "edge": "492.316105"},
  {"seed": 64171, "edge": "531.150429"},
  {"seed": 64172, "edge": "677.771315"},
  {"seed": 64173, "edge": "463.189230"},
  {"seed": 64174, "edge": "445.931157"},
  {"seed": 64175, "edge": "494.801993"},
  {"seed": 64176, "edge": "580.001527"},
  {"seed": 64177, "edge": "505.276555"},
  {"seed": 64178, "edge": "522.404247"},
  {"seed": 64179, "edge": "519.883860"},
  {"seed": 64180, "edge": "434.765444"},
  {"seed": 64181, "edge": "625.450060"},
  {"seed": 64182, "edge": "453.168505"},
  {"seed": 64183, "edge": "682.383646"},
  {"seed": 64184, "edge": "479.628714"},
  {"seed": 64185, "edge": "544.151198"},
  {"seed": 64186, "edge": "643.885294"},
  {"seed": 64187, "edge": "523.593165"},
  {"seed": 64188, "edge": "671.021116"},
  {"seed": 64189, "edge": "520.380430"},
  {"seed": 64190, "edge": "511.915741"},
  {"seed": 64191, "edge": "655.959218"},
  {"seed": 64192, "edge": "555.691055"},
  {"seed": 64193, "edge": "463.991464"},
  {"seed": 64194, "edge": "482.068216"},
  {"seed": 64195, "edge": "453.911652"},
  {"seed": 64196, "edge": "728.349605"},
  {"seed": 64197, "edge": "700.970738"},
  {"seed": 64198, "edge": "616.533933"},
  {"seed": 64199, "edge": "386.421262"},
  {"seed": 64200, "edge": "699.874392"},
  {"seed": 64201, "edge": "571.833711"},
  {"seed": 64202, "edge": "436.091242"},
  {"seed": 64203, "edge": "490.416699"},
  {"seed": 64204, "edge": "471.636861"},
  {"seed": 64205, "edge": "576.751249"},
  {"seed": 64206, "edge": "492.567409"},
  {"seed": 64207, "edge": "403.153495"},
  {"seed": 64208, "edge": "711.884136"},
  {"seed": 64209, "edge": "413.190593"},
  {"seed": 64210, "edge": "611.616454"},
  {"seed": 64211, "edge": "459.306800"},
  {"seed": 64212, "edge": "467.927804"},
  {"seed": 64213, "edge": "561.839078"},
  {"seed": 64214, "edge": "447.977449"},
  {"seed": 64215, "edge": "406.899568"},
  {"seed": 64216, "edge": "631.944225"},
  {"seed": 64217, "edge": "493.782093"},
  {"seed": 64218, "edge": "438.883423"},
  {"seed": 64219, "edge": "566.981552"},
  {"seed": 64220, "edge": "573.967372"},
  {"seed": 64221, "edge": "539.148320"},
  {"seed": 64222, "edge": "379.952225"},
  {"seed": 64223, "edge": "608.609918"},
  {"seed": 64224, "edge": "511.760267"},
  {"seed": 64225, "edge": "638.328976"},
  {"seed": 64226, "edge": "527.981194"},
  {"seed": 64227, "edge": "405.271200"},
  {"seed": 64228, "edge": "440.759354"},
  {"seed": 64229, "edge": "659.054407"},
  {"seed": 64230, "edge": "537.044778"},
  {"seed": 64231, "edge": "580.280851"},
  {"seed": 64232, "edge": "505.096450"},
  {"seed": 64233, "edge": "470.014983"},
  {"seed": 64234, "edge": "371.671839"},
  {"seed": 64235, "edge": "381.838121"},
  {"seed": 64236, "edge": "635.802756"},
  {"seed": 64237, "edge": "444.870086"},
  {"seed": 64238, "edge": "716.991748"},
  {"seed": 64239, "edge": "644.292149"},
  {"seed": 64240, "edge": "377.808566"},
  {"seed": 64241, "edge": "484.348620"},
  {"seed": 64242, "edge": "651.745164"},
  {"seed": 64243, "edge": "506.892360"},
  {"seed": 64244, "edge": "658.160866"},
  {"seed": 64245, "edge": "603.984803"},
  {"seed": 64246, "edge": "579.590563"},
  {"seed": 64247, "edge": "719.503267"},
  {"seed": 64248, "edge": "344.806843"},
  {"seed": 64249, "edge": "362.591069"},
  {"seed": 64250, "edge": "698.419672"},
  {"seed": 64251, "edge": "600.346371"},
  {"seed": 64252, "edge": "478.980000"},
  {"seed": 64253, "edge": "367.944242"},
  {"seed": 64254, "edge": "551.129447"},
  {"seed": 64255, "edge": "375.829689"},
  {"seed": 64256, "edge": "415.144344"},
  {"seed": 64257, "edge": "610.538932"},
  {"seed": 64258, "edge": "511.816948"},
  {"seed": 64259, "edge": "360.740205"},
  {"seed": 64260, "edge": "491.455685"},
  {"seed": 64261, "edge": "731.238100"},
  {"seed": 64262, "edge": "606.650452"},
  {"seed": 64263, "edge": "476.318629"},
  {"seed": 64264, "edge": "467.736962"},
  {"seed": 64265, "edge": "593.632240"},
  {"seed": 64266, "edge": "577.469780"},
  {"seed": 64267, "edge": "603.986027"},
  {"seed": 64268, "edge": "452.047622"},
  {"seed": 64269, "edge": "530.566665"},
  {"seed": 64270, "edge": "507.250139"},
  {"seed": 64271, "edge": "438.296200"},
  {"seed": 64272, "edge": "704.018091"},
  {"seed": 64273, "edge": "429.883343"},
  {"seed": 64274, "edge": "569.420768"},
  {"seed": 64275, "edge": "558.852926"},
  {"seed": 64276, "edge": "439.950796"},
  {"seed": 64277, "edge": "607.450986"},
  {"seed": 64278, "edge": "615.905465"},
  {"seed": 64279, "edge": "438.504765"},
  {"seed": 64280, "edge": "691.461442"},
  {"seed": 64281, "edge": "587.795320"},
  {"seed": 64282, "edge": "507.769367"},
  {"seed": 64283, "edge": "643.648610"},
  {"seed": 64284, "edge": "544.485804"},
  {"seed": 64285, "edge": "398.769215"},
  {"seed": 64286, "edge": "401.545653"},
  {"seed": 64287, "edge": "394.971869"},
  {"seed": 64288, "edge": "465.706816"},
  {"seed": 64289, "edge": "411.469903"},
  {"seed": 64290, "edge": "490.264387"},
  {"seed": 64291, "edge": "465.166934"},
  {"seed": 64292, "edge": "572.266011"},
  {"seed": 64293, "edge": "470.682842"},
  {"seed": 64294, "edge": "591.920739"},
  {"seed": 64295, "edge": "435.877411"},
  {"seed": 64296, "edge": "533.507953"},
  {"seed": 64297, "edge": "707.564433"},
  {"seed": 64298, "edge": "480.800854"},
  {"seed": 64299, "edge": "504.717708"},
  {"seed": 64300, "edge": "490.055344"},
  {"seed": 64301, "edge": "506.962377"},
  {"seed": 64302, "edge": "389.570254"},
  {"seed": 64303, "edge": "699.821896"},
  {"seed": 64304, "edge": "441.660154"},
  {"seed": 64305, "edge": "569.672033"},
  {"seed": 64306, "edge": "561.475903"},
  {"seed": 64307, "edge": "599.622182"},
  {"seed": 64308, "edge": "610.727791"},
  {"seed": 64309, "edge": "449.894367"},
  {"seed": 64310, "edge": "566.244540"},
  {"seed": 64311, "edge": "518.520741"},
  {"seed": 64312, "edge": "539.640608"},
  {"seed": 64313, "edge": "653.229516"},
  {"seed": 64314, "edge": "579.466436"},
  {"seed": 64315, "edge": "458.121065"},
  {"seed": 64316, "edge": "606.019906"},
  {"seed": 64317, "edge": "614.764570"},
  {"seed": 64318, "edge": "533.523054"},
  {"seed": 64319, "edge": "594.257111"},
  {"seed": 64320, "edge": "385.326111"},
  {"seed": 64321, "edge": "370.812281"},
  {"seed": 64322, "edge": "535.695942"},
  {"seed": 64323, "edge": "523.081998"},
  {"seed": 64324, "edge": "504.973705"},
  {"seed": 64325, "edge": "595.029288"},
  {"seed": 64326, "edge": "597.308302"},
  {"seed": 64327, "edge": "738.428549"},
  {"seed": 64328, "edge": "575.905507"},
  {"seed": 64329, "edge": "586.724643"},
  {"seed": 64330, "edge": "559.825343"},
  {"seed": 64331, "edge": "527.877513"},
  {"seed": 64332, "edge": "660.507099"},
  {"seed": 64333, "edge": "476.396172"},
  {"seed": 64334, "edge": "736.001740"},
  {"seed": 64335, "edge": "529.521575"},
  {"seed": 64336, "edge": "505.368052"},
  {"seed": 64337, "edge": "541.382344"},
  {"seed": 64338, "edge": "442.431305"},
  {"seed": 64339, "edge": "497.156391"},
  {"seed": 64340, "edge": "686.836983"},
  {"seed": 64341, "edge": "512.409267"},
  {"seed": 64342, "edge": "645.873035"},
  {"seed": 64343, "edge": "534.661439"},
  {"seed": 64344, "edge": "560.620974"},
  {"seed": 64345, "edge": "620.598831"},
  {"seed": 64346, "edge": "563.184026"},
  {"seed": 64347, "edge": "701.666019"},
  {"seed": 64348, "edge": "637.556858"},
  {"seed": 64349, "edge": "516.664388"},
  {"seed": 64350, "edge": "641.777112"},
  {"seed": 64351, "edge": "668.903007"},
  {"seed": 64352, "edge": "595.321181"},
  {"seed": 64353, "edge": "693.458014"},
  {"seed": 64354, "edge": "567.620222"},
  {"seed": 64355, "edge": "615.874474"},
  {"seed": 64356, "edge": "504.812885"},
  {"seed": 64357, "edge": "464.148003"},
  {"seed": 64358, "edge": "361.531441"},
  {"seed": 64359, "edge": "473.344341"},
  {"seed": 64360, "edge": "489.785897"},
  {"seed": 64361, "edge": "512.647298"},
  {"seed": 64362, "edge": "677.011081"},
  {"seed": 64363, "edge": "733.359876"},
  {"seed": 64364, "edge": "420.403049"},
  {"seed": 64365, "edge": "521.858587"},
  {"seed": 64366, "edge": "392.917318"},
  {"seed": 64367, "edge": "488.685823"},
  {"seed": 64368, "edge": "447.918895"},
  {"seed": 64369, "edge": "505.087391"},
  {"seed": 64370, "edge": "486.786484"},
  {"seed": 64371, "edge": "445.658833"},
  {"seed": 64372, "edge": "508.389864"},
  {"seed": 64373, "edge": "704.785120"},
  {"seed": 64374, "edge": "680.522296"},
  {"seed": 64375, "edge": "733.701390"},
  {"seed": 64376, "edge": "560.350499"},
  {"seed": 64377, "edge": "474.167244"},
  {"seed": 64378, "edge": "642.952225"},
  {"seed": 64379, "edge": "568.488702"},
  {"seed": 64380, "edge": "638.885517"},
  {"seed": 64381, "edge": "406.664974"},
  {"seed": 64382, "edge": "596.649113"},
  {"seed": 64383, "edge": "414.073753"},
  {"seed": 64384, "edge": "354.350396"},
  {"seed": 64385, "edge": "772.975332"},
  {"seed": 64386, "edge": "561.205357"},
  {"seed": 64387, "edge": "435.272218"},
  {"seed": 64388, "edge": "527.135419"},
  {"seed": 64389, "edge": "497.335496"},
  {"seed": 64390, "edge": "394.562474"},
  {"seed": 64391, "edge": "554.416189"},
  {"seed": 64392, "edge": "491.723914"},
  {"seed": 64393, "edge": "419.499905"},
  {"seed": 64394, "edge": "610.419800"},
  {"seed": 64395, "edge": "798.433365"},
  {"seed": 64396, "edge": "445.791640"},
  {"seed": 64397, "edge": "662.936862"},
  {"seed": 64398, "edge": "572.984506"},
  {"seed": 64399, "edge": "486.808967"},
  {"seed": 64400, "edge": "486.769615"},
  {"seed": 64401, "edge": "650.796990"},
  {"seed": 64402, "edge": "480.878975"},
  {"seed": 64403, "edge": "414.590434"},
  {"seed": 64404, "edge": "437.734681"},
  {"seed": 64405, "edge": "358.776723"},
  {"seed": 64406, "edge": "576.106279"},
  {"seed": 64407, "edge": "505.317976"},
  {"seed": 64408, "edge": "566.732686"},
  {"seed": 64409, "edge": "685.293210"},
  {"seed": 64410, "edge": "627.231405"},
  {"seed": 64411, "edge": "550.585546"},
  {"seed": 64412, "edge": "570.528929"},
  {"seed": 64413, "edge": "407.768200"},
  {"seed": 64414, "edge": "466.179057"},
  {"seed": 64415, "edge": "788.868556"},
  {"seed": 64416, "edge": "582.524079"},
  {"seed": 64417, "edge": "488.680256"},
  {"seed": 64418, "edge": "614.687631"},
  {"seed": 64419, "edge": "625.438861"},
  {"seed": 64420, "edge": "485.721214"},
  {"seed": 64421, "edge": "517.121369"},
  {"seed": 64422, "edge": "412.342387"},
  {"seed": 64423, "edge": "551.194280"},
  {"seed": 64424, "edge": "472.288569"},
  {"seed": 64425, "edge": "450.629981"},
  {"seed": 64426, "edge": "570.369384"},
  {"seed": 64427, "edge": "542.203534"},
  {"seed": 64428, "edge": "581.585757"},
  {"seed": 64429, "edge": "408.745976"},
  {"seed": 64430, "edge": "373.627609"},
  {"seed": 64431, "edge": "514.676039"},
  {"seed": 64432, "edge": "424.429842"},
  {"seed": 64433, "edge": "526.954211"},
  {"seed": 64434, "edge": "510.082473"},
  {"seed": 64435, "edge": "495.740182"},
  {"seed": 64436, "edge": "443.013320"},
  {"seed": 64437, "edge": "603.274567"},
  {"seed": 64438, "edge": "452.421970"},
  {"seed": 64439, "edge": "495.241754"},
  {"seed": 64440, "edge": "521.910792"},
  {"seed": 64441, "edge": "584.478219"},
  {"seed": 64442, "edge": "414.986833"},
  {"seed": 64443, "edge": "497.827802"},
  {"seed": 64444, "edge": "608.870358"},
  {"seed": 64445, "edge": "681.720893"},
  {"seed": 64446, "edge": "524.320415"},
  {"seed": 64447, "edge": "664.245496"},
  {"seed": 64448, "edge": "492.022463"},
  {"seed": 64449, "edge": "626.025534"},
  {"seed": 64450, "edge": "428.729420"},
  {"seed": 64451, "edge": "530.197730"},
  {"seed": 64452, "edge": "509.932574"},
  {"seed": 64453, "edge": "408.552876"},
  {"seed": 64454, "edge": "693.782309"},
  {"seed": 64455, "edge": "618.530118"},
  {"seed": 64456, "edge": "410.016524"},
  {"seed": 64457, "edge": "503.272698"},
  {"seed": 64458, "edge": "610.220868"},
  {"seed": 64459, "edge": "615.083406"},
  {"seed": 64460, "edge": "471.459528"},
  {"seed": 64461, "edge": "484.528147"},
  {"seed": 64462, "edge": "532.148730"},
  {"seed": 64463, "edge": "573.569546"},
  {"seed": 64464, "edge": "538.843985"},
  {"seed": 64465, "edge": "498.784052"},
  {"seed": 64466, "edge": "625.011953"},
  {"seed": 64467, "edge": "439.532880"},
  {"seed": 64468, "edge": "584.905370"},
  {"seed": 64469, "edge": "647.132289"},
  {"seed": 64470, "edge": "571.055656"},
  {"seed": 64471, "edge": "528.370678"},
  {"seed": 64472, "edge": "475.876287"},
  {"seed": 64473, "edge": "373.266214"},
  {"seed": 64474, "edge": "540.931686"},
  {"seed": 64475, "edge": "537.817045"},
  {"seed": 64476, "edge": "442.723744"},
  {"seed": 64477, "edge": "622.399203"},
  {"seed": 64478, "edge": "529.385636"},
  {"seed": 64479, "edge": "646.314636"},
  {"seed": 64480, "edge": "583.513635"},
  {"seed": 64481, "edge": "501.898036"},
  {"seed": 64482, "edge": "552.792247"},
  {"seed": 64483, "edge": "420.534276"},
  {"seed": 64484, "edge": "447.673424"},
  {"seed": 64485, "edge": "439.541032"},
  {"seed": 64486, "edge": "645.657877"},
  {"seed": 64487, "edge": "390.247107"},
  {"seed": 64488, "edge": "435.655266"},
  {"seed": 64489, "edge": "639.937035"},
  {"seed": 64490, "edge": "469.933118"},
  {"seed": 64491, "edge": "617.000048"},
  {"seed": 64492, "edge": "492.454233"},
  {"seed": 64493, "edge": "453.375026"},
  {"seed": 64494, "edge": "702.015458"},
  {"seed": 64495, "edge": "491.013795"},
  {"seed": 64496, "edge": "535.978640"},
  {"seed": 64497, "edge": "478.131609"},
  {"seed": 64498, "edge": "514.465654"},
  {"seed": 64499, "edge": "535.862772"},
  {"seed": 64500, "edge": "701.598866"},
  {"seed": 64501, "edge": "576.317668"},
  {"seed": 64502, "edge": "644.856060"},
  {"seed": 64503, "edge": "474.360237"},
  {"seed": 64504, "edge": "433.595334"},
  {"seed": 64505, "edge": "730.515739"},
  {"seed": 64506, "edge": "374.324591"},
  {"seed": 64507, "edge": "521.726224"},
  {"seed": 64508, "edge": "637.551724"},
  {"seed": 64509, "edge": "799.340298"},
  {"seed": 64510, "edge": "412.338480"},
  {"seed": 64511, "edge": "452.852956"},
  {"seed": 64512, "edge": "509.773517"},
  {"seed": 64513, "edge": "732.558744"},
  {"seed": 64514, "edge": "526.269813"},
  {"seed": 64515, "edge": "556.855737"},
  {"seed": 64516, "edge": "533.336620"},
  {"seed": 64517, "edge": "493.321062"},
  {"seed": 64518, "edge": "654.400046"},
  {"seed": 64519, "edge": "480.833828"},
  {"seed": 64520, "edge": "429.484776"},
  {"seed": 64521, "edge": "573.023065"},
  {"seed": 64522, "edge": "681.725513"},
  {"seed": 64523, "edge": "609.041914"},
  {"seed": 64524, "edge": "664.698601"},
  {"seed": 64525, "edge": "583.006664"},
  {"seed": 64526, "edge": "554.227974"},
  {"seed": 64527, "edge": "466.056622"},
  {"seed": 64528, "edge": "374.672185"},
  {"seed": 64529, "edge": "568.285429"},
  {"seed": 64530, "edge": "480.881180"},
  {"seed": 64531, "edge": "452.060380"},
  {"seed": 64532, "edge": "551.957360"},
  {"seed": 64533, "edge": "672.999392"},
  {"seed": 64534, "edge": "492.467542"},
  {"seed": 64535, "edge": "536.185680"},
  {"seed": 64536, "edge": "678.524211"},
  {"seed": 64537, "edge": "529.054128"},
  {"seed": 64538, "edge": "569.051822"},
  {"seed": 64539, "edge": "659.520747"},
  {"seed": 64540, "edge": "485.765907"},
  {"seed": 64541, "edge": "483.081204"},
  {"seed": 64542, "edge": "509.084366"},
  {"seed": 64543, "edge": "459.176706"},
  {"seed": 64544, "edge": "587.005029"},
  {"seed": 64545, "edge": "593.083590"},
  {"seed": 64546, "edge": "716.685883"},
  {"seed": 64547, "edge": "557.353746"},
  {"seed": 64548, "edge": "622.053057"},
  {"seed": 64549, "edge": "786.312801"},
  {"seed": 64550, "edge": "602.195891"},
  {"seed": 64551, "edge": "427.980965"},
  {"seed": 64552, "edge": "510.543789"},
  {"seed": 64553, "edge": "609.366503"},
  {"seed": 64554, "edge": "512.762438"},
  {"seed": 64555, "edge": "499.886287"},
  {"seed": 64556, "edge": "455.376141"},
  {"seed": 64557, "edge": "575.408003"},
  {"seed": 64558, "edge": "611.078653"},
  {"seed": 64559, "edge": "455.587361"},
  {"seed": 64560, "edge": "584.392775"},
  {"seed": 64561, "edge": "619.944361"},
  {"seed": 64562, "edge": "573.548674"},
  {"seed": 64563, "edge": "609.066707"},
  {"seed": 64564, "edge": "711.430526"},
  {"seed": 64565, "edge": "688.286733"},
  {"seed": 64566, "edge": "583.674377"},
  {"seed": 64567, "edge": "563.736112"},
  {"seed": 64568, "edge": "559.414669"},
  {"seed": 64569, "edge": "577.617615"},
  {"seed": 64570, "edge": "478.543970"},
  {"seed": 64571, "edge": "587.619101"},
  {"seed": 64572, "edge": "531.872676"},
  {"seed": 64573, "edge": "565.353950"},
  {"seed": 64574, "edge": "604.596497"},
  {"seed": 64575, "edge": "579.292961"},
  {"seed": 64576, "edge": "481.418931"},
  {"seed": 64577, "edge": "492.324314"},
  {"seed": 64578, "edge": "649.167692"},
  {"seed": 64579, "edge": "594.559459"},
  {"seed": 64580, "edge": "508.395562"},
  {"seed": 64581, "edge": "558.981059"},
  {"seed": 64582, "edge": "563.619270"},
  {"seed": 64583, "edge": "368.103202"},
  {"seed": 64584, "edge": "422.213607"},
  {"seed": 64585, "edge": "588.606649"},
  {"seed": 64586, "edge": "558.244622"},
  {"seed": 64587, "edge": "537.891276"},
  {"seed": 64588, "edge": "497.900374"},
  {"seed": 64589, "edge": "553.597378"},
  {"seed": 64590, "edge": "516.470134"},
  {"seed": 64591, "edge": "405.056773"},
  {"seed": 64592, "edge": "589.388341"},
  {"seed": 64593, "edge": "619.978535"},
  {"seed": 64594, "edge": "405.776489"},
  {"seed": 64595, "edge": "479.112324"},
  {"seed": 64596, "edge": "585.922128"},
  {"seed": 64597, "edge": "493.062045"},
  {"seed": 64598, "edge": "420.453677"},
  {"seed": 64599, "edge": "583.531589"},
  {"seed": 64600, "edge": "554.185037"},
  {"seed": 64601, "edge": "593.069211"},
  {"seed": 64602, "edge": "659.045666"},
  {"seed": 64603, "edge": "588.882521"},
  {"seed": 64604, "edge": "468.589298"},
  {"seed": 64605, "edge": "679.766822"},
  {"seed": 64606, "edge": "547.869096"},
  {"seed": 64607, "edge": "607.731162"},
  {"seed": 64608, "edge": "408.485032"},
  {"seed": 64609, "edge": "538.526069"},
  {"seed": 64610, "edge": "678.597639"},
  {"seed": 64611, "edge": "673.187056"},
  {"seed": 64612, "edge": "437.928134"},
  {"seed": 64613, "edge": "536.968173"},
  {"seed": 64614, "edge": "670.329713"},
  {"seed": 64615, "edge": "594.531497"},
  {"seed": 64616, "edge": "404.739224"},
  {"seed": 64617, "edge": "617.408068"},
  {"seed": 64618, "edge": "621.331914"},
  {"seed": 64619, "edge": "410.134055"},
  {"seed": 64620, "edge": "577.058192"},
  {"seed": 64621, "edge": "515.161979"},
  {"seed": 64622, "edge": "529.669566"},
  {"seed": 64623, "edge": "496.514965"},
  {"seed": 64624, "edge": "501.542214"},
  {"seed": 64625, "edge": "584.245355"},
  {"seed": 64626, "edge": "525.578472"},
  {"seed": 64627, "edge": "482.362590"},
  {"seed": 64628, "edge": "521.920111"},
  {"seed": 64629, "edge": "696.088935"},
  {"seed": 64630, "edge": "493.457215"},
  {"seed": 64631, "edge": "485.794990"},
  {"seed": 64632, "edge": "388.907532"},
  {"seed": 64633, "edge": "504.773527"},
  {"seed": 64634, "edge": "374.358911"},
  {"seed": 64635, "edge": "422.263705"},
  {"seed": 64636, "edge": "640.171649"},
  {"seed": 64637, "edge": "479.506318"},
  {"seed": 64638, "edge": "601.515339"},
  {"seed": 64639, "edge": "514.459936"},
  {"seed": 64640, "edge": "474.881807"},
  {"seed": 64641, "edge": "531.386371"},
  {"seed": 64642, "edge": "686.509229"},
  {"seed": 64643, "edge": "488.379429"},
  {"seed": 64644, "edge": "611.614075"},
  {"seed": 64645, "edge": "444.081672"},
  {"seed": 64646, "edge": "386.832552"},
  {"seed": 64647, "edge": "761.443926"},
  {"seed": 64648, "edge": "698.315921"},
  {"seed": 64649, "edge": "517.436513"},
  {"seed": 64650, "edge": "519.086543"},
  {"seed": 64651, "edge": "531.599149"},
  {"seed": 64652, "edge": "575.410888"},
  {"seed": 64653, "edge": "716.678192"},
  {"seed": 64654, "edge": "451.726808"},
  {"seed": 64655, "edge": "578.101390"},
  {"seed": 64656, "edge": "504.390429"},
  {"seed": 64657, "edge": "506.707917"},
  {"seed": 64658, "edge": "653.438395"},
  {"seed": 64659, "edge": "422.979331"},
  {"seed": 64660, "edge": "621.816221"},
  {"seed": 64661, "edge": "476.227950"},
  {"seed": 64662, "edge": "727.781267"},
  {"seed": 64663, "edge": "428.902606"},
  {"seed": 64664, "edge": "527.140803"},
  {"seed": 64665, "edge": "582.990806"},
  {"seed": 64666, "edge": "593.711429"},
  {"seed": 64667, "edge": "470.342317"},
  {"seed": 64668, "edge": "620.110144"},
  {"seed": 64669, "edge": "573.836397"},
  {"seed": 64670, "edge": "510.532970"},
  {"seed": 64671, "edge": "513.089776"},
  {"seed": 64672, "edge": "633.611272"},
  {"seed": 64673, "edge": "569.518316"},
  {"seed": 64674, "edge": "501.858824"},
  {"seed": 64675, "edge": "414.474047"},
  {"seed": 64676, "edge": "561.574132"},
  {"seed": 64677, "edge": "583.075943"},
  {"seed": 64678, "edge": "657.620276"},
  {"seed": 64679, "edge": "446.714709"},
  {"seed": 64680, "edge": "460.045462"},
  {"seed": 64681, "edge": "538.682190"},
  {"seed": 64682, "edge": "623.651162"},
  {"seed": 64683, "edge": "549.467362"},
  {"seed": 64684, "edge": "492.564812"},
  {"seed": 64685, "edge": "542.875497"},
  {"seed": 64686, "edge": "439.211126"},
  {"seed": 64687, "edge": "583.093451"},
  {"seed": 64688, "edge": "604.240167"},
  {"seed": 64689, "edge": "665.628118"},
  {"seed": 64690, "edge": "537.546559"},
  {"seed": 64691, "edge": "730.477624"},
  {"seed": 64692, "edge": "547.667887"},
  {"seed": 64693, "edge": "522.814657"},
  {"seed": 64694, "edge": "514.109399"},
  {"seed": 64695, "edge": "491.249235"},
  {"seed": 64696, "edge": "389.389881"},
  {"seed": 64697, "edge": "653.979359"},
  {"seed": 64698, "edge": "583.264362"},
  {"seed": 64699, "edge": "412.133265"},
  {"seed": 64700, "edge": "365.795908"},
  {"seed": 64701, "edge": "406.764845"},
  {"seed": 64702, "edge": "449.813199"},
  {"seed": 64703, "edge": "570.319577"},
  {"seed": 64704, "edge": "637.498598"},
  {"seed": 64705, "edge": "559.815778"},
  {"seed": 64706, "edge": "525.394748"},
  {"seed": 64707, "edge": "415.012160"},
  {"seed": 64708, "edge": "549.853665"},
  {"seed": 64709, "edge": "647.398698"},
  {"seed": 64710, "edge": "529.523062"},
  {"seed": 64711, "edge": "509.360903"},
  {"seed": 64712, "edge": "753.445975"},
  {"seed": 64713, "edge": "444.136179"},
  {"seed": 64714, "edge": "671.631424"},
  {"seed": 64715, "edge": "535.033811"},
  {"seed": 64716, "edge": "520.286993"},
  {"seed": 64717, "edge": "645.671839"},
  {"seed": 64718, "edge": "654.010563"},
  {"seed": 64719, "edge": "427.712880"},
  {"seed": 64720, "edge": "539.528076"},
  {"seed": 64721, "edge": "552.948182"},
  {"seed": 64722, "edge": "676.961761"},
  {"seed": 64723, "edge": "456.300029"},
  {"seed": 64724, "edge": "596.956169"},
  {"seed": 64725, "edge": "428.444035"},
  {"seed": 64726, "edge": "576.189757"},
  {"seed": 64727, "edge": "570.994517"},
  {"seed": 64728, "edge": "441.337559"},
  {"seed": 64729, "edge": "375.357951"},
  {"seed": 64730, "edge": "491.248294"},
  {"seed": 64731, "edge": "576.775165"},
  {"seed": 64732, "edge": "506.104050"},
  {"seed": 64733, "edge": "555.858432"},
  {"seed": 64734, "edge": "520.730145"},
  {"seed": 64735, "edge": "522.585055"},
  {"seed": 64736, "edge": "545.771091"},
  {"seed": 64737, "edge": "526.411943"},
  {"seed": 64738, "edge": "336.436004"},
  {"seed": 64739, "edge": "512.334539"},
  {"seed": 64740, "edge": "806.248135"},
  {"seed": 64741, "edge": "599.971391"},
  {"seed": 64742, "edge": "499.481042"},
  {"seed": 64743, "edge": "623.535780"},
  {"seed": 64744, "edge": "419.109733"},
  {"seed": 64745, "edge": "446.530486"},
  {"seed": 64746, "edge": "626.406626"},
  {"seed": 64747, "edge": "612.545357"},
  {"seed": 64748, "edge": "559.148634"},
  {"seed": 64749, "edge": "460.028188"},
  {"seed": 64750, "edge": "513.807972"},
  {"seed": 64751, "edge": "399.721340"},
  {"seed": 64752, "edge": "531.840249"},
  {"seed": 64753, "edge": "561.549765"},
  {"seed": 64754, "edge": "498.253743"},
  {"seed": 64755, "edge": "634.187435"},
  {"seed": 64756, "edge": "613.626668"},
  {"seed": 64757, "edge": "402.778352"},
  {"seed": 64758, "edge": "480.118685"},
  {"seed": 64759, "edge": "440.428929"},
  {"seed": 64760, "edge": "565.647812"},
  {"seed": 64761, "edge": "671.057664"},
  {"seed": 64762, "edge": "501.279836"},
  {"seed": 64763, "edge": "429.610332"},
  {"seed": 64764, "edge": "415.607748"},
  {"seed": 64765, "edge": "493.200267"},
  {"seed": 64766, "edge": "392.492049"},
  {"seed": 64767, "edge": "464.419502"},
  {"seed": 64768, "edge": "646.683101"},
  {"seed": 64769, "edge": "595.687783"},
  {"seed": 64770, "edge": "433.921156"},
  {"seed": 64771, "edge": "586.325862"},
  {"seed": 64772, "edge": "396.829382"},
  {"seed": 64773, "edge": "642.144835"},
  {"seed": 64774, "edge": "672.645310"},
  {"seed": 64775, "edge": "664.134267"},
  {"seed": 64776, "edge": "579.327756"},
  {"seed": 64777, "edge": "413.531627"},
  {"seed": 64778, "edge": "427.460691"},
  {"seed": 64779, "edge": "782.906007"},
  {"seed": 64780, "edge": "414.007766"},
  {"seed": 64781, "edge": "472.674748"},
  {"seed": 64782, "edge": "587.270902"},
  {"seed": 64783, "edge": "627.295291"},
  {"seed": 64784, "edge": "646.501001"},
  {"seed": 64785, "edge": "616.659009"},
  {"seed": 64786, "edge": "484.285682"},
  {"seed": 64787, "edge": "414.555984"},
  {"seed": 64788, "edge": "775.366402"},
  {"seed": 64789, "edge": "504.199441"},
  {"seed": 64790, "edge": "558.722654"},
  {"seed": 64791, "edge": "520.946095"},
  {"seed": 64792, "edge": "668.221532"},
  {"seed": 64793, "edge": "455.012846"},
  {"seed": 64794, "edge": "506.690459"},
  {"seed": 64795, "edge": "552.915389"},
  {"seed": 64796, "edge": "646.462475"},
  {"seed": 64797, "edge": "456.351543"},
  {"seed": 64798, "edge": "632.888356"},
  {"seed": 64799, "edge": "466.911484"},
  {"seed": 64800, "edge": "545.005012"},
  {"seed": 64801, "edge": "453.959912"},
  {"seed": 64802, "edge": "510.929611"},
  {"seed": 64803, "edge": "429.941558"},
  {"seed": 64804, "edge": "506.560950"},
  {"seed": 64805, "edge": "399.043599"},
  {"seed": 64806, "edge": "478.222319"},
  {"seed": 64807, "edge": "602.279538"},
  {"seed": 64808, "edge": "729.010709"},
  {"seed": 64809, "edge": "479.749037"},
  {"seed": 64810, "edge": "527.831923"},
  {"seed": 64811, "edge": "560.145061"},
  {"seed": 64812, "edge": "623.383179"},
  {"seed": 64813, "edge": "535.434354"},
  {"seed": 64814, "edge": "362.304217"},
  {"seed": 64815, "edge": "462.201673"},
  {"seed": 64816, "edge": "414.938212"},
  {"seed": 64817, "edge": "556.227481"},
  {"seed": 64818, "edge": "528.650450"},
  {"seed": 64819, "edge": "599.408179"},
  {"seed": 64820, "edge": "558.709478"},
  {"seed": 64821, "edge": "516.855768"},
  {"seed": 64822, "edge": "540.041651"},
  {"seed": 64823, "edge": "431.960830"},
  {"seed": 64824, "edge": "584.022535"},
  {"seed": 64825, "edge": "576.242422"},
  {"seed": 64826, "edge": "488.927967"},
  {"seed": 64827, "edge": "383.551255"},
  {"seed": 64828, "edge": "423.874356"},
  {"seed": 64829, "edge": "488.632719"},
  {"seed": 64830, "edge": "530.920726"},
  {"seed": 64831, "edge": "638.871227"},
  {"seed": 64832, "edge": "625.824817"},
  {"seed": 64833, "edge": "662.067747"},
  {"seed": 64834, "edge": "646.329220"},
  {"seed": 64835, "edge": "590.848638"},
  {"seed": 64836, "edge": "518.642687"},
  {"seed": 64837, "edge": "505.883948"},
  {"seed": 64838, "edge": "522.733589"},
  {"seed": 64839, "edge": "613.616445"},
  {"seed": 64840, "edge": "567.889652"},
  {"seed": 64841, "edge": "497.247036"},
  {"seed": 64842, "edge": "549.129621"},
  {"seed": 64843, "edge": "403.999357"},
  {"seed": 64844, "edge": "570.425488"},
  {"seed": 64845, "edge": "598.848559"},
  {"seed": 64846, "edge": "575.496503"},
  {"seed": 64847, "edge": "643.542895"},
  {"seed": 64848, "edge": "428.786470"},
  {"seed": 64849, "edge": "607.401100"},
  {"seed": 64850, "edge": "542.266249"},
  {"seed": 64851, "edge": "649.858572"},
  {"seed": 64852, "edge": "546.192528"},
  {"seed": 64853, "edge": "514.747941"},
  {"seed": 64854, "edge": "545.004460"},
  {"seed": 64855, "edge": "587.472253"},
  {"seed": 64856, "edge": "477.934641"},
  {"seed": 64857, "edge": "394.202222"},
  {"seed": 64858, "edge": "584.575624"},
  {"seed": 64859, "edge": "567.697297"},
  {"seed": 64860, "edge": "404.351379"},
  {"seed": 64861, "edge": "565.356000"},
  {"seed": 64862, "edge": "524.687722"},
  {"seed": 64863, "edge": "537.453910"},
  {"seed": 64864, "edge": "493.111753"},
  {"seed": 64865, "edge": "594.672784"},
  {"seed": 64866, "edge": "467.739993"},
  {"seed": 64867, "edge": "381.007018"},
  {"seed": 64868, "edge": "402.559682"},
  {"seed": 64869, "edge": "625.763334"},
  {"seed": 64870, "edge": "487.792634"},
  {"seed": 64871, "edge": "659.453712"},
  {"seed": 64872, "edge": "618.516087"},
  {"seed": 64873, "edge": "680.901879"},
  {"seed": 64874, "edge": "609.995675"},
  {"seed": 64875, "edge": "435.180354"},
  {"seed": 64876, "edge": "510.010610"},
  {"seed": 64877, "edge": "523.974796"},
  {"seed": 64878, "edge": "431.021494"},
  {"seed": 64879, "edge": "452.857663"},
  {"seed": 64880, "edge": "574.633296"},
  {"seed": 64881, "edge": "520.198138"},
  {"seed": 64882, "edge": "497.573922"},
  {"seed": 64883, "edge": "499.299286"},
  {"seed": 64884, "edge": "675.462636"},
  {"seed": 64885, "edge": "547.950445"},
  {"seed": 64886, "edge": "411.343981"},
  {"seed": 64887, "edge": "563.835909"},
  {"seed": 64888, "edge": "623.969260"},
  {"seed": 64889, "edge": "594.798438"},
  {"seed": 64890, "edge": "575.382517"},
  {"seed": 64891, "edge": "580.353186"},
  {"seed": 64892, "edge": "482.506590"},
  {"seed": 64893, "edge": "651.657335"},
  {"seed": 64894, "edge": "582.607323"},
  {"seed": 64895, "edge": "406.627338"},
  {"seed": 64896, "edge": "520.178169"},
  {"seed": 64897, "edge": "534.599058"},
  {"seed": 64898, "edge": "422.008938"},
  {"seed": 64899, "edge": "454.346390"},
  {"seed": 64900, "edge": "484.562816"},
  {"seed": 64901, "edge": "742.429776"},
  {"seed": 64902, "edge": "516.152162"},
  {"seed": 64903, "edge": "529.509319"},
  {"seed": 64904, "edge": "562.144492"},
  {"seed": 64905, "edge": "481.183876"},
  {"seed": 64906, "edge": "485.585460"},
  {"seed": 64907, "edge": "419.499143"},
  {"seed": 64908, "edge": "606.761283"},
  {"seed": 64909, "edge": "461.479173"},
  {"seed": 64910, "edge": "689.467118"},
  {"seed": 64911, "edge": "714.065051"},
  {"seed": 64912, "edge": "426.859589"},
  {"seed": 64913, "edge": "454.959825"},
  {"seed": 64914, "edge": "492.678856"},
  {"seed": 64915, "edge": "787.987169"},
  {"seed": 64916, "edge": "518.918146"},
  {"seed": 64917, "edge": "535.417697"},
  {"seed": 64918, "edge": "375.320638"},
  {"seed": 64919, "edge": "702.644622"},
  {"seed": 64920, "edge": "856.748689"},
  {"seed": 64921, "edge": "549.926313"},
  {"seed": 64922, "edge": "551.517309"},
  {"seed": 64923, "edge": "493.480851"},
  {"seed": 64924, "edge": "706.902931"},
  {"seed": 64925, "edge": "451.124463"},
  {"seed": 64926, "edge": "645.470290"},
  {"seed": 64927, "edge": "470.949804"},
  {"seed": 64928, "edge": "399.867436"},
  {"seed": 64929, "edge": "531.427483"},
  {"seed": 64930, "edge": "670.102420"},
  {"seed": 64931, "edge": "332.541078"},
  {"seed": 64932, "edge": "468.419934"},
  {"seed": 64933, "edge": "540.808552"},
  {"seed": 64934, "edge": "525.648725"},
  {"seed": 64935, "edge": "541.364721"},
  {"seed": 64936, "edge": "537.062587"},
  {"seed": 64937, "edge": "699.825389"},
  {"seed": 64938, "edge": "562.553439"},
  {"seed": 64939, "edge": "529.348534"},
  {"seed": 64940, "edge": "469.528478"},
  {"seed": 64941, "edge": "565.133470"},
  {"seed": 64942, "edge": "642.988150"},
  {"seed": 64943, "edge": "484.099524"},
  {"seed": 64944, "edge": "453.828556"},
  {"seed": 64945, "edge": "740.592865"},
  {"seed": 64946, "edge": "501.452700"},
  {"seed": 64947, "edge": "485.955810"},
  {"seed": 64948, "edge": "728.652245"},
  {"seed": 64949, "edge": "381.863121"},
  {"seed": 64950, "edge": "538.408536"},
  {"seed": 64951, "edge": "454.221367"},
  {"seed": 64952, "edge": "512.769381"},
  {"seed": 64953, "edge": "431.265975"},
  {"seed": 64954, "edge": "604.390924"},
  {"seed": 64955, "edge": "635.435660"},
  {"seed": 64956, "edge": "443.634547"},
  {"seed": 64957, "edge": "593.400062"},
  {"seed": 64958, "edge": "543.545954"},
  {"seed": 64959, "edge": "462.960474"},
  {"seed": 64960, "edge": "448.163065"},
  {"seed": 64961, "edge": "416.000689"},
  {"seed": 64962, "edge": "527.001721"},
  {"seed": 64963, "edge": "570.267726"},
  {"seed": 64964, "edge": "554.887659"},
  {"seed": 64965, "edge": "708.050502"},
  {"seed": 64966, "edge": "567.486688"},
  {"seed": 64967, "edge": "564.627869"},
  {"seed": 64968, "edge": "507.174550"},
  {"seed": 64969, "edge": "531.114081"},
  {"seed": 64970, "edge": "683.293843"},
  {"seed": 64971, "edge": "440.268043"},
  {"seed": 64972, "edge": "493.255840"},
  {"seed": 64973, "edge": "600.808063"},
  {"seed": 64974, "edge": "367.364580"},
  {"seed": 64975, "edge": "653.265986"},
  {"seed": 64976, "edge": "603.101552"},
  {"seed": 64977, "edge": "398.552999"},
  {"seed": 64978, "edge": "426.503166"},
  {"seed": 64979, "edge": "632.430233"},
  {"seed": 64980, "edge": "465.614621"},
  {"seed": 64981, "edge": "542.303383"},
  {"seed": 64982, "edge": "402.813700"},
  {"seed": 64983, "edge": "564.657142"},
  {"seed": 64984, "edge": "568.191665"},
  {"seed": 64985, "edge": "546.980619"},
  {"seed": 64986, "edge": "642.227133"},
  {"seed": 64987, "edge": "407.702231"},
  {"seed": 64988, "edge": "382.267952"},
  {"seed": 64989, "edge": "499.175662"},
  {"seed": 64990, "edge": "610.289131"},
  {"seed": 64991, "edge": "387.056412"},
  {"seed": 64992, "edge": "415.611060"},
  {"seed": 64993, "edge": "716.106529"},
  {"seed": 64994, "edge": "525.196392"},
  {"seed": 64995, "edge": "803.892194"},
  {"seed": 64996, "edge": "492.637934"},
  {"seed": 64997, "edge": "477.197281"},
  {"seed": 64998, "edge": "608.504708"},
  {"seed": 64999, "edge": "553.481357"},
  {"seed": 65000, "edge": "604.825358"},
  {"seed": 65001, "edge": "397.781425"},
  {"seed": 65002, "edge": "650.803219"},
  {"seed": 65003, "edge": "609.273308"},
  {"seed": 65004, "edge": "585.973075"},
  {"seed": 65005, "edge": "551.355588"},
  {"seed": 65006, "edge": "587.084796"},
  {"seed": 65007, "edge": "659.419452"},
  {"seed": 65008, "edge": "365.509389"},
  {"seed": 65009, "edge": "387.036826"},
  {"seed": 65010, "edge": "481.712553"},
  {"seed": 65011, "edge": "577.076941"},
  {"seed": 65012, "edge": "476.135137"},
  {"seed": 65013, "edge": "523.385018"},
  {"seed": 65014, "edge": "565.798222"},
  {"seed": 65015, "edge": "467.702367"},
  {"seed": 65016, "edge": "406.090200"},
  {"seed": 65017, "edge": "518.251306"},
  {"seed": 65018, "edge": "473.202837"},
  {"seed": 65019, "edge": "562.549581"},
  {"seed": 65020, "edge": "455.888019"},
  {"seed": 65021, "edge": "469.247156"},
  {"seed": 65022, "edge": "541.187731"},
  {"seed": 65023, "edge": "615.775730"}
 ]
}