{
  "boundary_inputs": {
    "curated_count": 15,
    "featured": [
      {
        "name": "Real",
        "provider_module": "Mathlib.Data.Real.Basic",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-ffd84ea9fbe43ed4024e",
          "sr-42c3b1c84a1fbcc4ae4d",
          "sr-6b7ea881684294c7982a",
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-97213352fea0e40a44f7",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-08f0abefbabc6978ff1c",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-70322028158e876dde84",
          "sr-a94f664754903a3c869a",
          "sr-d4daa051b1d9de0f07a1",
          "sr-7455972eca6a4eec143b",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-a771ee304df2ff908865",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-beff7fb5a8809d0bbbd1",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-5612c65d75a2faae89e6",
          "sr-4fcecef6b1636113f600",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-b07d33066efaf1b405ac",
          "sr-39cd715c1d464d0fba70",
          "sr-d5bb31e0c3961b9aa857",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-e407d35941b654b8215b",
          "sr-f1241c6ed057b1ec3e89",
          "sr-ad90c5491fdc76dfd970",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-839b6f46ab53d793213d",
          "sr-6e2b48f0abddf45b0972",
          "sr-1777a17e7510dee7164a",
          "sr-2f64e0f2de97252050ad",
          "sr-b2ec59de5956c29cb534",
          "sr-75c27eb448a4d1700775",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-de58f5894b8896198831",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-c1faf1043c19c63fe225",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-2deb23662efe29545bfb",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-384d03d5b5350d0bd8bd",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-81f0acb91184d3bee55d",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-290fa721231a7c1006a8",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-8dcce51efa3eeb30e94c",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-71f3e186012ba5ad6b37",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-87b82ef660692a3a5934",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-182eb0e08c753ebb10d8",
          "sr-39164ae103321d821d5b",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "Nat",
        "provider_module": "Init.Prelude",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-fad364f1f0dc73e6be93",
          "sr-ffd84ea9fbe43ed4024e",
          "sr-42c3b1c84a1fbcc4ae4d",
          "sr-6b7ea881684294c7982a",
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-97213352fea0e40a44f7",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-08f0abefbabc6978ff1c",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-5b6982bb3f134d3e4b7a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-a99dbdfd10aa376acf73",
          "sr-46233031c269fef7320a",
          "sr-ad97befffe85791bd3e2",
          "sr-204948818b57bf27614f",
          "sr-ebe3c86640d75b6c16a4",
          "sr-664fb7f79833e56a6523",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b229bc4374487fe4fd59",
          "sr-2dafdd46be4d988b023b",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-e6fa5c3a130e7a45da3c",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-24317bbb956602986c13",
          "sr-6ce0b69dd036c5563cf4",
          "sr-ed7cf1d3db385e1409ee",
          "sr-690d43169d84436ba946",
          "sr-a0a4747af13ae3ee063e",
          "sr-d6b6cae30144843d2a13",
          "sr-1b506d8a89bcea55dce1",
          "sr-ebde9cab2220e559bb45",
          "sr-d1a05d768474201f6102",
          "sr-c82b537de2b039c4b5bb",
          "sr-33f1c7d3f4fe982fc1eb",
          "sr-9f49da2b470ba316ab76",
          "sr-84f859216f6122c6d35b",
          "sr-4b8849dd8462b4c871ae",
          "sr-4faa3f4dd2907876db08",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-3b060526f4bf68c9da25",
          "sr-b0fb5fa4bbc4ea02226c",
          "sr-cf55e690cf8ae6c5c4cb",
          "sr-7abace1576cefe44e8a4",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-9bc3ba800b60dc327c71",
          "sr-bdfb8e1b582205e70d5a",
          "sr-ef1ef3bdcf401998d7d5",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-b07d33066efaf1b405ac",
          "sr-39cd715c1d464d0fba70",
          "sr-d5bb31e0c3961b9aa857",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-e407d35941b654b8215b",
          "sr-f1241c6ed057b1ec3e89",
          "sr-ad90c5491fdc76dfd970",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-839b6f46ab53d793213d",
          "sr-6e2b48f0abddf45b0972",
          "sr-1777a17e7510dee7164a",
          "sr-2f64e0f2de97252050ad",
          "sr-b2ec59de5956c29cb534",
          "sr-75c27eb448a4d1700775",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-de58f5894b8896198831",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-c1faf1043c19c63fe225",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-2deb23662efe29545bfb",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-384d03d5b5350d0bd8bd",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-30a597a479d491d1f969",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-81f0acb91184d3bee55d",
          "sr-0b3ac690cb363685adf9",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-8dcce51efa3eeb30e94c",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-98c2604daf198f3f6591"
        ]
      },
      {
        "name": "Eq",
        "provider_module": "Init.Prelude",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-656f2b9973e6e93c7390",
          "sr-ffd84ea9fbe43ed4024e",
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-a03aa9b4b440ba535f67",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-03f4ff70938d62c3e27f",
          "sr-12d994d1181d2e4af5c7",
          "sr-289ef146bd92e032c0e3",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-8d569148176810d9eeb2",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2e6ebfcae439f22c0658",
          "sr-dff6e5afe16f69c4ba93",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-a771ee304df2ff908865",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-beff7fb5a8809d0bbbd1",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-204948818b57bf27614f",
          "sr-ebe3c86640d75b6c16a4",
          "sr-664fb7f79833e56a6523",
          "sr-08a093829b9e2bea0c5c",
          "sr-c7cf9163c88e7292bf25",
          "sr-2dafdd46be4d988b023b",
          "sr-e6fa5c3a130e7a45da3c",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-24317bbb956602986c13",
          "sr-6ce0b69dd036c5563cf4",
          "sr-690d43169d84436ba946",
          "sr-a0a4747af13ae3ee063e",
          "sr-d6b6cae30144843d2a13",
          "sr-ebde9cab2220e559bb45",
          "sr-d1a05d768474201f6102",
          "sr-c82b537de2b039c4b5bb",
          "sr-9f49da2b470ba316ab76",
          "sr-84f859216f6122c6d35b",
          "sr-4b8849dd8462b4c871ae",
          "sr-4faa3f4dd2907876db08",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-b0fb5fa4bbc4ea02226c",
          "sr-cf55e690cf8ae6c5c4cb",
          "sr-7abace1576cefe44e8a4",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-9bc3ba800b60dc327c71",
          "sr-bdfb8e1b582205e70d5a",
          "sr-ef1ef3bdcf401998d7d5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-39cd715c1d464d0fba70",
          "sr-6bf0dafc90dab8b1242a",
          "sr-e407d35941b654b8215b",
          "sr-f1241c6ed057b1ec3e89",
          "sr-ad90c5491fdc76dfd970",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-6e2b48f0abddf45b0972",
          "sr-1777a17e7510dee7164a",
          "sr-2f64e0f2de97252050ad",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-de58f5894b8896198831",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-6289863b2e4cca9198f5",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-388311f3dfe7716322e2",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-6f26e5b248069f5a501e",
          "sr-27d488caf9369fbb15ba",
          "sr-bede09ad1dec2b0caf82",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-1c3ebc607789c2ae8a7e",
          "sr-91ebddfef97f336a0059",
          "sr-ef57429c53fb8fbba0eb",
          "sr-39164ae103321d821d5b",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-fd80fb5b16361b156700",
          "sr-00ede181064fec2913d3",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-fcf231b7afaa2098f9ac",
          "sr-956beabc2fe4c13c0a53",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "OfNat.ofNat",
        "provider_module": "Init.Prelude",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-ffd84ea9fbe43ed4024e",
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-97213352fea0e40a44f7",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-08f0abefbabc6978ff1c",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-12d994d1181d2e4af5c7",
          "sr-289ef146bd92e032c0e3",
          "sr-4ef853f11156053c9d45",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-8d569148176810d9eeb2",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-60b50cea69dfa839effe",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-2dafdd46be4d988b023b",
          "sr-b329f700c6a4b9cf33f3",
          "sr-e6fa5c3a130e7a45da3c",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-6ce0b69dd036c5563cf4",
          "sr-d6b6cae30144843d2a13",
          "sr-c82b537de2b039c4b5bb",
          "sr-4faa3f4dd2907876db08",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-cf55e690cf8ae6c5c4cb",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-9bc3ba800b60dc327c71",
          "sr-bdfb8e1b582205e70d5a",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-b07d33066efaf1b405ac",
          "sr-39cd715c1d464d0fba70",
          "sr-d5bb31e0c3961b9aa857",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-e407d35941b654b8215b",
          "sr-f1241c6ed057b1ec3e89",
          "sr-ad90c5491fdc76dfd970",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-839b6f46ab53d793213d",
          "sr-6e2b48f0abddf45b0972",
          "sr-1777a17e7510dee7164a",
          "sr-2f64e0f2de97252050ad",
          "sr-b2ec59de5956c29cb534",
          "sr-75c27eb448a4d1700775",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-de58f5894b8896198831",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-c1faf1043c19c63fe225",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-384d03d5b5350d0bd8bd",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-81f0acb91184d3bee55d",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-8dcce51efa3eeb30e94c",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-6f26e5b248069f5a501e",
          "sr-27d488caf9369fbb15ba",
          "sr-bede09ad1dec2b0caf82",
          "sr-91ebddfef97f336a0059",
          "sr-ef57429c53fb8fbba0eb",
          "sr-bfc9e4678338375b2513",
          "sr-fd80fb5b16361b156700",
          "sr-00ede181064fec2913d3",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-956beabc2fe4c13c0a53",
          "sr-0c3e8ec61a6432d097ce",
          "sr-b5469eaa1276971c76e9",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c"
        ]
      },
      {
        "name": "Real.normedField",
        "provider_module": "Mathlib.Analysis.Normed.Field.Basic",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-ffd84ea9fbe43ed4024e",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-6570abb2204b62bc849c",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-5f14e7186709c0e8c254",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-70322028158e876dde84",
          "sr-a94f664754903a3c869a",
          "sr-d4daa051b1d9de0f07a1",
          "sr-7455972eca6a4eec143b",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-a771ee304df2ff908865",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-beff7fb5a8809d0bbbd1",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-95e505947187d1fe58fe",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "NormedAddCommGroup.toSeminormedAddCommGroup",
        "provider_module": "Mathlib.Analysis.Normed.Group.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-6570abb2204b62bc849c",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-70322028158e876dde84",
          "sr-a94f664754903a3c869a",
          "sr-d4daa051b1d9de0f07a1",
          "sr-7455972eca6a4eec143b",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-a771ee304df2ff908865",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-beff7fb5a8809d0bbbd1",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-95e505947187d1fe58fe",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-81f0acb91184d3bee55d",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-290fa721231a7c1006a8",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-8dcce51efa3eeb30e94c",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "Real.semiring",
        "provider_module": "Mathlib.Data.Real.Basic",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-ffd84ea9fbe43ed4024e",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-f1241c6ed057b1ec3e89",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-1777a17e7510dee7164a",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-de58f5894b8896198831",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-f183f54a8f4191be2f00",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-6289863b2e4cca9198f5",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-87b82ef660692a3a5934",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-182eb0e08c753ebb10d8",
          "sr-39164ae103321d821d5b",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "Semiring.toNonAssocSemiring",
        "provider_module": "Mathlib.Algebra.Ring.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-b7e423a216c6083a27a2",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-dff6e5afe16f69c4ba93",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-ed443dffe642883abefa",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-2dafdd46be4d988b023b",
          "sr-b329f700c6a4b9cf33f3",
          "sr-e6fa5c3a130e7a45da3c",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-6ce0b69dd036c5563cf4",
          "sr-84f859216f6122c6d35b",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-bdfb8e1b582205e70d5a",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-c85650cc8db8f75cbfce",
          "sr-460da19615f9bc400896",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-6289863b2e4cca9198f5",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-87b82ef660692a3a5934",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-182eb0e08c753ebb10d8",
          "sr-39164ae103321d821d5b",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "DFunLike.coe",
        "provider_module": "Mathlib.Data.FunLike.Basic",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-edac17f97967835bbd89",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-8a98f541bdf12dd3188f",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-a94f664754903a3c869a",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-46233031c269fef7320a",
          "sr-ad97befffe85791bd3e2",
          "sr-204948818b57bf27614f",
          "sr-ebe3c86640d75b6c16a4",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-24317bbb956602986c13",
          "sr-ed7cf1d3db385e1409ee",
          "sr-690d43169d84436ba946",
          "sr-a0a4747af13ae3ee063e",
          "sr-d6b6cae30144843d2a13",
          "sr-1b506d8a89bcea55dce1",
          "sr-ebde9cab2220e559bb45",
          "sr-d1a05d768474201f6102",
          "sr-c82b537de2b039c4b5bb",
          "sr-33f1c7d3f4fe982fc1eb",
          "sr-9f49da2b470ba316ab76",
          "sr-84f859216f6122c6d35b",
          "sr-4b8849dd8462b4c871ae",
          "sr-4faa3f4dd2907876db08",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-b0fb5fa4bbc4ea02226c",
          "sr-7abace1576cefe44e8a4",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-42b152a08a133f1f094d",
          "sr-691df05ea60898beac19",
          "sr-3fe624d53d5051a4819b",
          "sr-7fb0ed4c106d6ba53093",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-e407d35941b654b8215b",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-460da19615f9bc400896",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-800511957d2869f98727",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-d6cb8bdddb496bfede6c",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-9d08fcec485db68a3385",
          "sr-c1b287e93e9c03ede407",
          "sr-6f26e5b248069f5a501e",
          "sr-27d488caf9369fbb15ba",
          "sr-bede09ad1dec2b0caf82",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-91ebddfef97f336a0059",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-fd80fb5b16361b156700",
          "sr-00ede181064fec2913d3",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-956beabc2fe4c13c0a53",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "UniformSpace.toTopologicalSpace",
        "provider_module": "Mathlib.Topology.UniformSpace.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-97213352fea0e40a44f7",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-08f0abefbabc6978ff1c",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-dff6e5afe16f69c4ba93",
          "sr-c261305e5dd0b6a35718",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-ed443dffe642883abefa",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-5612c65d75a2faae89e6",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-7fb0ed4c106d6ba53093",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-460da19615f9bc400896",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-ba3447ba2da6d0b96de7",
          "sr-0ac67e70932d82c4fcce",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-87b82ef660692a3a5934",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-182eb0e08c753ebb10d8",
          "sr-39164ae103321d821d5b",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "PseudoMetricSpace.toUniformSpace",
        "provider_module": "Mathlib.Topology.MetricSpace.Pseudo.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-97213352fea0e40a44f7",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-08f0abefbabc6978ff1c",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-393947afcd6c89da5afc",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-dff6e5afe16f69c4ba93",
          "sr-c261305e5dd0b6a35718",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-ed443dffe642883abefa",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-21e1d50ae4418bdc79e7",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-b8a4d5a46f49efe72b0a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-5612c65d75a2faae89e6",
          "sr-5d0a31ec5dae4de2cbc5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-7fb0ed4c106d6ba53093",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-8e59f74711ba57e0f7d4",
          "sr-440fb59c86fd6edbaffb",
          "sr-cc1fc762864155cbf87b",
          "sr-6bf0dafc90dab8b1242a",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-82cceaa6f6222490b13a",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-460da19615f9bc400896",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-d70ae81198e4a02389ca",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-ba3447ba2da6d0b96de7",
          "sr-0ac67e70932d82c4fcce",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-87b82ef660692a3a5934",
          "sr-f19327e23474af2fa561",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-182eb0e08c753ebb10d8",
          "sr-39164ae103321d821d5b",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "NormedAddCommGroup.toAddCommGroup",
        "provider_module": "Mathlib.Analysis.Normed.Group.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-a03aa9b4b440ba535f67",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-42b152a08a133f1f094d",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-3fe624d53d5051a4819b",
          "sr-7fb0ed4c106d6ba53093",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-95e505947187d1fe58fe",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "id",
        "provider_module": "Init.Prelude",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-47f6ddf78704f6f607fa",
          "sr-f4489dbc37bf848e0efb",
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-605a7af6517283dcd343",
          "sr-6570abb2204b62bc849c",
          "sr-387c6db623b104a314e7",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-c89f4d3a59bc0f6bd195",
          "sr-aef87eb8747c4018198a",
          "sr-91b7dc6e60333617c328",
          "sr-5f14e7186709c0e8c254",
          "sr-4911243fa43f1f38619a",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-f244112edec17db1960e",
          "sr-8cb63531b8e8a137480f",
          "sr-a1e5037f514f5c97ee65",
          "sr-432d3586f82ce696c308",
          "sr-81ccaac554b5a648bb1a",
          "sr-1c68adac183b56164f3b",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-03f4ff70938d62c3e27f",
          "sr-12d994d1181d2e4af5c7",
          "sr-289ef146bd92e032c0e3",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-8d569148176810d9eeb2",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-dff6e5afe16f69c4ba93",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-201aa55196afb50f011b",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-46f2a430cbbcfb32d966",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-ebe3c86640d75b6c16a4",
          "sr-664fb7f79833e56a6523",
          "sr-08a093829b9e2bea0c5c",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b229bc4374487fe4fd59",
          "sr-2dafdd46be4d988b023b",
          "sr-b329f700c6a4b9cf33f3",
          "sr-cb204b85883ccea5ddb1",
          "sr-e6fa5c3a130e7a45da3c",
          "sr-2e32963c6aa0e8493b4d",
          "sr-baee73709395e17ff169",
          "sr-24317bbb956602986c13",
          "sr-6ce0b69dd036c5563cf4",
          "sr-ed7cf1d3db385e1409ee",
          "sr-690d43169d84436ba946",
          "sr-a0a4747af13ae3ee063e",
          "sr-d6b6cae30144843d2a13",
          "sr-1b506d8a89bcea55dce1",
          "sr-ebde9cab2220e559bb45",
          "sr-d1a05d768474201f6102",
          "sr-c82b537de2b039c4b5bb",
          "sr-33f1c7d3f4fe982fc1eb",
          "sr-9f49da2b470ba316ab76",
          "sr-84f859216f6122c6d35b",
          "sr-4b8849dd8462b4c871ae",
          "sr-4faa3f4dd2907876db08",
          "sr-bacc1e5013e4493a0fea",
          "sr-2359c3de594c5d73e2b9",
          "sr-0126efb5cb3c9d434fa8",
          "sr-3b060526f4bf68c9da25",
          "sr-b0fb5fa4bbc4ea02226c",
          "sr-cf55e690cf8ae6c5c4cb",
          "sr-7abace1576cefe44e8a4",
          "sr-cb1b4fa6f330750579c8",
          "sr-5612c65d75a2faae89e6",
          "sr-d120ae552b3c6e2cbcce",
          "sr-9bc3ba800b60dc327c71",
          "sr-bdfb8e1b582205e70d5a",
          "sr-ef1ef3bdcf401998d7d5",
          "sr-42b152a08a133f1f094d",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-b1cab1771351d74f422d",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-e95ba6ed4df13a1aaca7",
          "sr-e94d8b326db53001e043",
          "sr-95e505947187d1fe58fe",
          "sr-17c9dc112dc71a27560b",
          "sr-e407d35941b654b8215b",
          "sr-f1241c6ed057b1ec3e89",
          "sr-ad90c5491fdc76dfd970",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-89bfe70c061ee11b333f",
          "sr-9592bb88e79295d82134",
          "sr-a6b6016661747510d866",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-b2ec59de5956c29cb534",
          "sr-dfaf90e31ab66406cd31",
          "sr-2959f97a25a6f8d236cf",
          "sr-c85650cc8db8f75cbfce",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-b5b4423768a471859323",
          "sr-18181623792cfa3bd8f6",
          "sr-bee08755aa41bdda3910",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-18d74ebc8b3d616e3b77",
          "sr-bf696ce79508d7ca9023",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-6289863b2e4cca9198f5",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-388311f3dfe7716322e2",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-6f26e5b248069f5a501e",
          "sr-27d488caf9369fbb15ba",
          "sr-33a9d8385dce982db873",
          "sr-91ebddfef97f336a0059",
          "sr-ef57429c53fb8fbba0eb",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-fd80fb5b16361b156700",
          "sr-00ede181064fec2913d3",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-98c2604daf198f3f6591",
          "sr-fcf231b7afaa2098f9ac",
          "sr-956beabc2fe4c13c0a53",
          "sr-0c3e8ec61a6432d097ce",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "NormedSpace.toModule",
        "provider_module": "Mathlib.Analysis.Normed.Module.Basic",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-879ef4342310aeecc532",
          "sr-4d9e7b2f95e3a67c534a",
          "sr-fa2567e354cb0cdba355",
          "sr-81cd34afb979a5f67fd4",
          "sr-3a5a303e927e93f2ea28",
          "sr-c4f5f506769af1f76b8d",
          "sr-ba793937145244061827",
          "sr-5e70c50d906023b162a6",
          "sr-6570abb2204b62bc849c",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-b7e423a216c6083a27a2",
          "sr-586ddaf68141898247b8",
          "sr-38ec7d11ab2e2620abe2",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-a94f664754903a3c869a",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-d03578216da55f176f43",
          "sr-746c677772eb4a3ba680",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-bc55decdd1a2c9779b61",
          "sr-0e40f906d2f7a59e72a2",
          "sr-691df05ea60898beac19",
          "sr-96a0a59975d791acb7dd",
          "sr-72775fec41b14b851d65",
          "sr-3fe624d53d5051a4819b",
          "sr-e72b8867a5a4b9e3631f",
          "sr-7fb0ed4c106d6ba53093",
          "sr-d8bc9cf2b8d2eb6a8f34",
          "sr-5ab998bf18f28f5f2b5b",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-f2a6fc9dec71de2af244",
          "sr-8a8154a26a832f3905d6",
          "sr-c82c4c8fdab71f7748ca",
          "sr-cbc8214945b3f6689891",
          "sr-c0dbd2cca403206a11b5",
          "sr-95e505947187d1fe58fe",
          "sr-73f58357cbfac7b2cbc2",
          "sr-d6ee2fe746be0bb59a43",
          "sr-daf76b58cff0bb86bc8e",
          "sr-9f178bc8cf129ba816f1",
          "sr-a57a7751cea2cb273398",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-f183f54a8f4191be2f00",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      },
      {
        "name": "NormedAddCommGroup",
        "provider_module": "Mathlib.Analysis.Normed.Group.Defs",
        "role": "Compiled external provider used by selected Project declarations.",
        "used_by_selected_node_ids": [
          "sr-3a5a303e927e93f2ea28",
          "sr-5e70c50d906023b162a6",
          "sr-e5fb633afdb33c8b6829",
          "sr-ccf74ff891ffa01f8e5d",
          "sr-0803701d4727be5659bc",
          "sr-808682f0e02509c62179",
          "sr-a03aa9b4b440ba535f67",
          "sr-c48a9e9e4aa47b80260b",
          "sr-2f39ed7ff06118f76094",
          "sr-a945b00151eedb1e34d2",
          "sr-ccd97b2e7d90c5819a82",
          "sr-80d253909cd044124931",
          "sr-f71099240d0703323062",
          "sr-a673917cab0018fcd647",
          "sr-5113f652077ad9e82f57",
          "sr-b7e423a216c6083a27a2",
          "sr-1676870314690b9d5dc7",
          "sr-e97b7c13970c32acf7e6",
          "sr-393947afcd6c89da5afc",
          "sr-104dea228b362b9ebf09",
          "sr-844e8d87b1758e5eb17c",
          "sr-613d69bb36a47568effd",
          "sr-065d122117d58a74d984",
          "sr-5e8a149f5032ecb2f110",
          "sr-f135b1f7e6b090a22857",
          "sr-20324a8879b45be03753",
          "sr-b2862649d08604cc9601",
          "sr-0edfb0e599a14f2b2b92",
          "sr-d4768cc826e5d09184e9",
          "sr-4e4da4961b879b330683",
          "sr-8a98f541bdf12dd3188f",
          "sr-1e767572b90607ce4f3e",
          "sr-40be1ffbd1656ea2d119",
          "sr-dd2216f11ebabdd1b082",
          "sr-17eb1b51d2672ca0fcf8",
          "sr-9539ee56e7f2a8b51467",
          "sr-1fb36714e8a1b1b7337b",
          "sr-04012aa018a42725f0cc",
          "sr-e92bc3d59b1ef9745c8a",
          "sr-e91789abf2549daed40b",
          "sr-41de48f7400733b651f3",
          "sr-03f4ff70938d62c3e27f",
          "sr-50b000bf554300c6d0e7",
          "sr-12d994d1181d2e4af5c7",
          "sr-9e3c57aa9a4eb3ab1ed1",
          "sr-289ef146bd92e032c0e3",
          "sr-d8e6a460292cd310502b",
          "sr-4ef853f11156053c9d45",
          "sr-26b06ba9cc1e57e79737",
          "sr-ba4538f72e2538fc5a16",
          "sr-512341a62e0a4c9c22dd",
          "sr-12be8f2614991035ba94",
          "sr-641ac05ee858e831eeba",
          "sr-8fe2401cac81a16dbec9",
          "sr-7ee12d15431830dfbd26",
          "sr-73e3e44ef19f39c7f42e",
          "sr-e8a9b82b02ffd98b9a53",
          "sr-0faa4ea8c6a57f86d359",
          "sr-bff3c925bc5d9f4699b4",
          "sr-4634f42f33df276f14d3",
          "sr-10807954cc2eae142548",
          "sr-d2a8e6a17b4fa6ca70c6",
          "sr-985ca1e421411f0fca7f",
          "sr-3ef93097935276105770",
          "sr-cbc67b438aad207766da",
          "sr-204b0e82a1d2f8f5ca02",
          "sr-d53c0f7b688ae4513d9c",
          "sr-7f79b168f088e7517035",
          "sr-3b3463872c23f554a63e",
          "sr-d36738c58a1ae62bd5da",
          "sr-409bcc8603750dbda079",
          "sr-9c2b63ef902256b597dc",
          "sr-8d569148176810d9eeb2",
          "sr-5845c2dcc71725f8ff94",
          "sr-e75c104d35587d28c9cb",
          "sr-7709f70d4511b45fac52",
          "sr-2ed165f8c47dc384860a",
          "sr-2e6ebfcae439f22c0658",
          "sr-2adbac1e0fc08c1e9dd5",
          "sr-70322028158e876dde84",
          "sr-a94f664754903a3c869a",
          "sr-d4daa051b1d9de0f07a1",
          "sr-7455972eca6a4eec143b",
          "sr-6f57468db6041cd1a45d",
          "sr-0c646e3e3f68d9d2a9de",
          "sr-dff6e5afe16f69c4ba93",
          "sr-e33a51d142cf97d9ba1b",
          "sr-c261305e5dd0b6a35718",
          "sr-427b458e129c1a15b457",
          "sr-d26c053b6640c47cc14c",
          "sr-8570ac40b83b64753bae",
          "sr-4d89a305700c4518e6d0",
          "sr-4ea3d10d6fd7195bc967",
          "sr-f2f8f0f247c0eb3e8db6",
          "sr-238f7d865e5e5fe534b0",
          "sr-ed443dffe642883abefa",
          "sr-abf7d4fdb2575ef372d9",
          "sr-6c7de51e72fba84be48a",
          "sr-548deff0ecd22a4cbf0a",
          "sr-0ea5412c9ad8e8a11490",
          "sr-840ae12e1c7c996a85c0",
          "sr-005285a06f7ef236707d",
          "sr-a771ee304df2ff908865",
          "sr-dcada6174a0716c3fb4c",
          "sr-42287bd393fdf7b4f43d",
          "sr-beff7fb5a8809d0bbbd1",
          "sr-8dc4a2c2cbbfc3a8cf3e",
          "sr-5b955e1e6bd4c0d9d550",
          "sr-d97610794e1f58f9a8ec",
          "sr-3dcf4e36d8ac06ce579d",
          "sr-c94e2ca628387bb1307f",
          "sr-201aa55196afb50f011b",
          "sr-804d95fdaf684fb146bd",
          "sr-87fdc755e33483e622e4",
          "sr-7a8bc12fc583c5bf4f8b",
          "sr-41debcdcaede5c406d54",
          "sr-c97c536a3351c96dc867",
          "sr-a6198bac17a3674bfd14",
          "sr-5c807abc184c8030b5c4",
          "sr-02db8f42e4eec90bf573",
          "sr-91c63715f15720306252",
          "sr-5c7246a2232260c2f3bc",
          "sr-da0d8142f9133b0d2136",
          "sr-97ba42cadb9d1f80b65a",
          "sr-5a9a5992d33d155b3645",
          "sr-120c687acf899a9f3569",
          "sr-0464c9599f7b84b91365",
          "sr-8f20ae371e81faa06b5b",
          "sr-e3c95429a80367d29e16",
          "sr-c37753779bcc8a678607",
          "sr-ed5b2c8b88ea64e79b9b",
          "sr-4f16306b6a48b556183a",
          "sr-8b6a7fcf32adb3fd7ce2",
          "sr-46f2a430cbbcfb32d966",
          "sr-1b237e736b5cb1a346a5",
          "sr-7c57b3a2836981b85d6e",
          "sr-b57e4d99e26e6744e6ad",
          "sr-60b50cea69dfa839effe",
          "sr-cb62815f6c657a7b920e",
          "sr-c7cf9163c88e7292bf25",
          "sr-b329f700c6a4b9cf33f3",
          "sr-5612c65d75a2faae89e6",
          "sr-a38f4f31c5b32935a103",
          "sr-1b0042ecb80c6750dbef",
          "sr-1f0775ee506fda05f0b4",
          "sr-29ff3fa9251040b10832",
          "sr-530b8d52043d9bcd7eec",
          "sr-f173561afc1ccc6b93f5",
          "sr-eecd3b787663bee1eb10",
          "sr-decedadb155819bcc45f",
          "sr-8b1c53097a2569456c7c",
          "sr-cdbec398551c4a484b88",
          "sr-11c2529b6cdc5638d4a3",
          "sr-063e0fd14060103bb49c",
          "sr-11adb87345e57845ed42",
          "sr-287a38dbd3712976184b",
          "sr-e6c6d7f2b697ed432f62",
          "sr-7b460b5fa4ecfe70385b",
          "sr-c5e0d7d0d5e6094e5e23",
          "sr-5a14e2d2bee72c6369c7",
          "sr-285105345628b6393e7a",
          "sr-9645b691f8699d9ea799",
          "sr-a722754ad54e6cfd17eb",
          "sr-e2c6cdfe2515d62b2dec",
          "sr-3a653dd3e6080ca84267",
          "sr-2846a9da56103d89c1a6",
          "sr-728879171d691511857e",
          "sr-75ad8b28d3b7fd89660d",
          "sr-946b6f9d97e1d18e9efe",
          "sr-6c91e2f35ab160e5bc56",
          "sr-e36ffe6ed05feb4fc04e",
          "sr-8e38ed143485a01ce1b9",
          "sr-169ca115ce8be7ae9127",
          "sr-fc2dec93cb5f570c8f5d",
          "sr-a36fbe51406cd1bec5a7",
          "sr-e19d9ff22f282e3c769f",
          "sr-93755307c3ac66db4178",
          "sr-ead60a340da35b34d130",
          "sr-fd6ca4faf0b0b088c57b",
          "sr-5c2290224b31b08f1283",
          "sr-f05a982e8a428d8ae94b",
          "sr-4357151509fef01b23ff",
          "sr-bd3ba2044b63ba00de25",
          "sr-f19c24561000b7be81df",
          "sr-67335c8562ff8c364978",
          "sr-7b4cf22c918adacae260",
          "sr-6e28c5d2f57069424c9d",
          "sr-93214c867fb692e7f62f",
          "sr-0c4050c87aed1ff05cee",
          "sr-18181623792cfa3bd8f6",
          "sr-57522addef5abed285c2",
          "sr-ff3f11f05579b19ee959",
          "sr-565fec5b7f4d007fdf04",
          "sr-e2f8a96bdf5c8ac1c164",
          "sr-a2fe500330d54a1f7e4b",
          "sr-f9e1bdfe1126b906b754",
          "sr-cc02738029d227f92f50",
          "sr-dc7916352d2def1e5cb2",
          "sr-24966b3a3ae8f9ff58f1",
          "sr-7bbab69a7046e5b85b52",
          "sr-6cb4e729234e8a7802c6",
          "sr-9b354b9e028fe28791a1",
          "sr-f477a688f853aaa00a6b",
          "sr-6674314b6dd9219ed9a7",
          "sr-6e56d760cad973ba47d0",
          "sr-51e6eae645fdec45a942",
          "sr-45588d7eb1443cae6b4b",
          "sr-70785252f138f47c7623",
          "sr-b416b6ff2091d2712e18",
          "sr-b504cca2905aa4cecc80",
          "sr-f9f1921b788bfeb01c64",
          "sr-2c3ab2c79bf6cbe5a6e1",
          "sr-76f327538ed8391daab8",
          "sr-6a327c7730dee2ff4a48",
          "sr-e5a0056a6f5586a6a9ad",
          "sr-195b1242897f9fbb8a9e",
          "sr-508f20768f1bc2bccca2",
          "sr-1a173fec02916159b2d3",
          "sr-3b55601ecce21974518d",
          "sr-31274c36334b9b3c9ad7",
          "sr-d3805623ff90ed100915",
          "sr-cda1986139abea6e5ce1",
          "sr-dcd598ed5d207470d997",
          "sr-c47d31e58d16b6df62c6",
          "sr-5b2551a420ffdf6e0968",
          "sr-1bf4e3777c86d67ec514",
          "sr-869ea95f25b39cd44c06",
          "sr-b8bd4eccb4280c29c0fc",
          "sr-d59ad8a601a7f5141334",
          "sr-7f22e7b0b4ebc3ce985d",
          "sr-de70a145cd9816254cb8",
          "sr-833c6a5f65d389d4d72c",
          "sr-5453e2ee919fca785661",
          "sr-f183f54a8f4191be2f00",
          "sr-b97c7e79513940b1a3ad",
          "sr-2eb3a7ccc5a47aef1165",
          "sr-bc209627e49505de21ee",
          "sr-ba3447ba2da6d0b96de7",
          "sr-9e13f99245733373011b",
          "sr-0ac67e70932d82c4fcce",
          "sr-2283d4b57f27544e3e10",
          "sr-712f55d40d0d8fe495fc",
          "sr-d381cf24c45e3037e36e",
          "sr-62c4eb6633d6ccba11d7",
          "sr-b1e330303e8e9d27dfea",
          "sr-4df774d0c30f0823be5f",
          "sr-de419540c8c1a2266970",
          "sr-30a597a479d491d1f969",
          "sr-9b05919ec9006097774f",
          "sr-845f1c95a322f59b65fd",
          "sr-0d45767a065ecea3c552",
          "sr-aae3044b5ccd971d34c0",
          "sr-9883cd559d3e51eea536",
          "sr-81f0acb91184d3bee55d",
          "sr-0b3ac690cb363685adf9",
          "sr-83fa7df4ed54af77df04",
          "sr-290fa721231a7c1006a8",
          "sr-a371daaed76a839bab2b",
          "sr-6289863b2e4cca9198f5",
          "sr-1e2163a7383204e862bb",
          "sr-b350da4833ab07220ebe",
          "sr-7fa4bdaaa3fda43cd6c8",
          "sr-8dcce51efa3eeb30e94c",
          "sr-47d544d50abf892ac339",
          "sr-6fb43eb5f58ce5044bb1",
          "sr-909bb4ddfe56394c976c",
          "sr-2d3f017dcb93c7b380c8",
          "sr-800511957d2869f98727",
          "sr-2089b57109e55378e6d6",
          "sr-f8b2256fda4a87671d4d",
          "sr-40bfabe2bd8637db8418",
          "sr-29be2dafc9ef5c7c2c1a",
          "sr-0d134a530a19f4d6d9bb",
          "sr-b901255a268c5d157f5e",
          "sr-29125d66b5c7a772bba2",
          "sr-c65e59bffad6f20fefc0",
          "sr-afad0e25b0f7527b55e2",
          "sr-388311f3dfe7716322e2",
          "sr-d6cb8bdddb496bfede6c",
          "sr-49202dca77058e0f4500",
          "sr-d3a2e2eb40cb24e3c764",
          "sr-b021dfe780e142efad72",
          "sr-7807c47150bfccfbd728",
          "sr-d1b65b00e7dd53d641f8",
          "sr-8376a1fb1261ac685cb2",
          "sr-9d08fcec485db68a3385",
          "sr-16fd126ae9cc07b32088",
          "sr-99d99aa89d4cd13e639c",
          "sr-ccf09f0eb95eb5bfd158",
          "sr-05daef86f5ca8daee5b3",
          "sr-49260a07e89fad6b5d7f",
          "sr-4ef0ef3d8c701f8d31ff",
          "sr-543f01f9f0be2e9ddce5",
          "sr-56b466f011f509de51b2",
          "sr-7c3ba024da13191d213d",
          "sr-b14618175108314c8e82",
          "sr-c1b287e93e9c03ede407",
          "sr-33a9d8385dce982db873",
          "sr-ef57429c53fb8fbba0eb",
          "sr-7b37529f4122d7e24782",
          "sr-bfc9e4678338375b2513",
          "sr-e5d7a067956c95126116",
          "sr-9de51ff0fd1ac625244f",
          "sr-e5a9c0304ee814f81487",
          "sr-0c3e8ec61a6432d097ce",
          "sr-0fb06a5a7a46cf350ec9",
          "sr-b5469eaa1276971c76e9",
          "sr-58b5963a246d2d0a8edd",
          "sr-80faebeef8fc72a1b9e1",
          "sr-d5370737552fc7fc0fee",
          "sr-36e9e0f721e0c550154c",
          "sr-ea6ba5437bdf94f4f72d",
          "sr-62c98f1acb8f0f89f380"
        ]
      }
    ],
    "raw_count": 3439,
    "summary": "3439 exact Boundary Inputs: EXTERNAL_COMPILED_DECLARATION 2632, OMITTED_INTERNAL_NATIVE_DECLARATION 807. Selected reachability is retained through every omitted internal declaration."
  },
  "graph": {
    "display_edge_count": 773,
    "full_formal_graph_sha256": "e0c69751546f310fb7e15d2915c7e7b0f6a710eb0bc33269b24c2b228bcb5425",
    "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
    "maximum_level": 27,
    "naive_induced_lost_pairs": 8905,
    "node_count": 467,
    "orientation": "dependent_to_prerequisite",
    "reachability_count": 10423
  },
  "identity": {
    "slug": "sphere-rigidity",
    "title": "Sphere Rigidity"
  },
  "overview": {
    "bridges": [
      {
        "route_id": "R01",
        "selected_count": 16,
        "terminal_node_ids": [],
        "text": "Radial extension of sphere isometries and transfer of finite-dimensional information. The route does not claim that the radial extension is linear or globally isometric; the recorded 3-Lipschitz bound is the source constant, not an optimality claim.",
        "title": "R01 · Radial Extensions and Dimension"
      },
      {
        "route_id": "R02",
        "selected_count": 27,
        "terminal_node_ids": [],
        "text": "Compact hulls, support faces, and finite lexicographic selection. The raw sets need not themselves be convex, nonemptiness is explicit, and finite-dimensional hypotheses appearing in the exact source are preserved.",
        "title": "R02 · Compact Convex Hulls and Support Faces"
      },
      {
        "route_id": "R03",
        "selected_count": 24,
        "terminal_node_ids": [],
        "text": "Maximal-minor and determinant estimates with fixed row-order and sign conventions. Ordered row embeddings are not conflated with unordered row sets, and displayed bounds are not silently reinterpreted as Euclidean operator-norm statements.",
        "title": "R03 · Determinant Methods"
      },
      {
        "route_id": "R04",
        "selected_count": 33,
        "terminal_node_ids": [],
        "text": "Piola-type identities, null Lagrangians, determinant continuity, and boundary traces. The whole-space perturbation identity concerns the integral of the determinant difference; Strong L^n includes eventual integrability, and the trace used here is pointwise on the sphere.",
        "title": "R04 · Piola Identity and Null Lagrangians"
      },
      {
        "route_id": "R05",
        "selected_count": 14,
        "terminal_node_ids": [],
        "text": "Weak gradient zero implies local and global almost-everywhere constancy, not pointwise constancy. Compact C1 test fields and divergence form the shared analytic base used by the orientation route.",
        "title": "R05 · Weak Gradient Zero and A.E. Constancy"
      },
      {
        "route_id": "R06",
        "selected_count": 0,
        "terminal_node_ids": [],
        "text": "Orientation and signed Jacobians on connected domains. No single global sign is asserted on a disconnected domain, and the null-image statement retained here is the same-dimension version present in the exact source.",
        "title": "R06 · Orientation and Signed Jacobians"
      },
      {
        "route_id": "R07",
        "selected_count": 61,
        "terminal_node_ids": [],
        "text": "Determinant-maximizing dual frames and inverse bounds, including the zero-dimensional case. Mathlib providers are preferred for norming functionals; application-specific satellite-polynomial material remains provenance rather than a new public API claim.",
        "title": "R07 · Determinant-Maximizing Dual Frames"
      },
      {
        "route_id": "R08",
        "selected_count": 7,
        "terminal_node_ids": [],
        "text": "Sphere-volume and ball-image rigidity. Compactness and inclusion in the relevant ball are explicit; equality of volume alone is not used to infer equality of sets without the separate inclusion hypothesis.",
        "title": "R08 · Sphere-Volume Rigidity"
      },
      {
        "route_id": "R09",
        "selected_count": 20,
        "terminal_node_ids": [],
        "text": "A factorization route from proportional maximal minors, retained as a heavy-refactor proof seed rather than an independently completed tool. Scale, sign, row order, and nondegeneracy conditions remain explicit to prevent degenerate overgeneralization.",
        "title": "R09 · Determinant Factorization"
      }
    ],
    "hypotheses": "Finite-dimensional real normed spaces and surjective isometries between their unit spheres, with the theorem stated when at least one ambient space is finite-dimensional. The formalization includes radial extension, dimension transfer, determinant and Pluecker methods, analytic orientation tools, finite recovery, and ball-volume rigidity used in the proof architecture.",
    "principal_result": "If at least one of two real normed spaces is finite-dimensional, their unit spheres are isometric in the chord metric exactly when the ambient spaces are linearly isometric. Equivalently, a surjective unit-sphere isometry yields a linear isometry equivalence of the ambient spaces under that finite-dimensional hypothesis.",
    "scope_heading": "Scope",
    "scope_limits": "This Research Companion describes exact formal source and dependency structure. It does not assert completed Declaration Cards, document correspondence, or public LFH review.",
    "why_it_matters": ""
  },
  "presentation": {
    "kind_label": "Progressive Research Companion",
    "notice": "Declaration Cards are in preparation. These 467 current-source tiles preserve the existing Project scope; route presets remain inactive because exact terminal metadata has not been owner-adopted."
  },
  "project_kind": "cardless",
  "record_type": "LFH_PROJECT_SUCCESSOR_CANDIDATE",
  "revision": "R1",
  "route_presets": [
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R01",
      "label": "Radial Extensions and Dimension",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R02",
      "label": "Compact Convex Hulls and Support Faces",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R03",
      "label": "Determinant Methods",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R04",
      "label": "Piola Identity and Null Lagrangians",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R05",
      "label": "Weak Gradient Zero and A.E. Constancy",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R06",
      "label": "Orientation and Signed Jacobians",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R07",
      "label": "Determinant-Maximizing Dual Frames",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R08",
      "label": "Sphere-Volume Rigidity",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    },
    {
      "expected_visible_count": null,
      "expected_visible_node_ids_sha256": null,
      "focus_semantics": "ANCESTOR_CLOSURE_IN_PROJECT",
      "full_project_level_map_sha256": "03fe8d4d36f0a740d84e494f9dfb7b177c1b48a61786a6b0abc7a837e1b6ef62",
      "id": "R09",
      "label": "Determinant Factorization",
      "review_state": "NO_ACCEPTED_EXACT_TERMINAL_METADATA_NOT_INFERRED",
      "status": "IN_PREPARATION",
      "terminal_node_ids": []
    }
  ],
  "schema": "exact.lfh.project-successor-candidate.v1",
  "source_binding": {
    "commit": "437e6e46228bbb8e91211ebded349d7a30020e73",
    "entry_path": "MathlibAnnex/Projects/SphereRigidity.lean",
    "entry_permalink": "https://github.com/r-tanaka-math/mathlib-annex/blob/437e6e46228bbb8e91211ebded349d7a30020e73/MathlibAnnex/Projects/SphereRigidity.lean",
    "lfh_publication_state": "PRIVATE_CANDIDATE_NOT_AUTHORIZED",
    "manifest_permalink": "https://github.com/r-tanaka-math/mathlib-annex/blob/437e6e46228bbb8e91211ebded349d7a30020e73/docs/projects/sphere-rigidity.json",
    "release_id": 392532070,
    "release_url": "https://github.com/r-tanaka-math/mathlib-annex/releases/tag/v0.4.0",
    "source_publication_state": "PUBLIC_RELEASE_READBACK_COMPLETE",
    "tag": "v0.4.0",
    "tree": "b752cf746a8660427937b3497f49c1797bf3ff3f"
  },
  "status": {
    "active_public_canonical_links": 0,
    "catalog_current": true,
    "owner_card_review": "NOT_APPLICABLE_ZERO_CARDS",
    "owner_project_overview_review": "UNCHANGED_PROSE_NO_REPEAT_REVIEW_REQUIRED",
    "public_cards": 0,
    "source_release": "PUBLIC_V040",
    "state": "PUBLIC_BOUND_TO_V040_SOURCE",
    "website_effect": "PUBLIC_CURRENT",
    "lfh_publication_state": "PUBLIC"
  },
  "technical_identity": {
    "boundary_inputs_all": 3439,
    "boundary_inputs_curated": 15,
    "display_edges": 773,
    "fixture": "CURRENT_PUBLIC_SPHERE_RIGIDITY",
    "full_native_graph_sha256": "e0c69751546f310fb7e15d2915c7e7b0f6a710eb0bc33269b24c2b228bcb5425",
    "graph_portable_sha256": "517e0124337480fbfdb10d487bdb598c0987fd1ebe7f843095a2309f9ae6e5b8",
    "maximum_level": 27,
    "public_cards": 0,
    "reachability_pairs": 10423,
    "selected_cards": 0,
    "source_tag": "v0.4.0"
  },
  "website_document_metadata": {
    "records": [
      {
        "document": "sphere",
        "version": "Draft R2",
        "canonical_route_proposal": "/reports/sphere-rigidity/draft-r2/sphere-rigidity-brief-report.pdf",
        "sha256": "23a5557657143c9c8a613f2c388c121fceb4a59e8fd54ff22a60abce244c0c62",
        "pages": 23,
        "this_version_publication_date": "2026-09-21"
      }
    ],
    "whole_document_correspondence_approved": false,
    "publication_authorized": true
  },
  "website_publication": {
    "publication_authorized": true,
    "publication_date": "2026-09-21",
    "canonical_url": "https://exactmathematics.org/mathlibannex/projects/sphere-rigidity/",
    "batch": "EM_FULL_HP_PUBLICATION_R1",
    "owner_whole_site_publication_authorized": true,
    "new_mathematical_review": false
  }
}