----------------------- MODULE ConnectionFacts -----------------------
                                                                                  
LinkProfileFacts107 == [id \in {"Specimen0229","Specimen0127","Specimen0163","Specimen0257"} |->
 CASE
 id="Specimen0229" -> [sourceSHA |-> "718bd3cfac12c37e862e5e078d41b010c0f9d311a1bda43c5ae6791dd46e20ba",baseLink |-> 2]
 []  id="Specimen0127" -> [sourceSHA |-> "f3c03b276ce72fd48a302c02e54ff048839afb6bd69ff01fa8795e8009d22810",baseLink |-> 1]
 []  id="Specimen0163" -> [sourceSHA |-> "1532f2788aca144e836acfef200827c4bd6ee5c13f9287737eff392c339aa00c",baseLink |-> 0]
 []  id="Specimen0257" -> [sourceSHA |-> "867a621df91e0b5b5a5e1bb4a918de0168326d5419d8f1b9c046974d5f2edfb2",baseLink |-> 0]]
LinkSymbolFacts107 == [id \in {"Specimen0003","Specimen0193","Specimen0079","Specimen0213","Specimen0093"} |->
 CASE
 id="Specimen0003" -> [sourceSHA |-> "8c0163ace54760f15ec0800f3c50fb62d8930dd5588223fefdcf246c5ab21455",link |-> 1]
 []  id="Specimen0193" -> [sourceSHA |-> "4977c7232b3d7a55007968c03ff79ec7035756c6b4901af3dd28cc9a3f98c313",link |-> 1]
 []  id="Specimen0079" -> [sourceSHA |-> "bf3695b399d8577a2a8a550d0517cd89e6e18f38a3269b7a72d01aaaf80b6ca2",link |-> 1]
 []  id="Specimen0213" -> [sourceSHA |-> "0ef14202a63b27818a2e7ac8ba03b95d1d5a8b8b60aea02f187ccb0a0b72002b",link |-> 1]
 []  id="Specimen0093" -> [sourceSHA |-> "eee81eb90b11837109a34e7160df0a815db9a678b88c591980e8a6112169560c",link |-> 1]]
=============================================================================