and Γ (G ′ , H ′ , β), as described in Sect. 2.5. In scenarios where reactions are balanced with complete atom-atom maps, the isomorphism between Υ(G, H, α) and Υ(G ′ , H ′ , β) can be evaluated, for example, using the VF2 algorithm implemented in NetworkX, to determine their equivalence.