A practical implementation of the factoring theorem for network reliability | Synapse