Performing 1 rounds of chain-reduction...
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
duplicated-principal elimination took = 1.0 milliseconds
duplicated-principal elimination took = 1.0 milliseconds
duplicated-principal elimination took = 0.0 milliseconds
