Performing 1 rounds of chain-reduction...
duplicated-principal elimination took = 3.0 milliseconds
duplicated-principal elimination took = 58.0 milliseconds
duplicated-principal elimination took = 13.0 milliseconds
duplicated-principal elimination took = 22.0 milliseconds
duplicated-principal elimination took = 32.0 milliseconds
duplicated-principal elimination took = 44.0 milliseconds
duplicated-principal elimination took = 134.0 milliseconds
duplicated-principal elimination took = 74.0 milliseconds
duplicated-principal elimination took = 148.0 milliseconds
duplicated-principal elimination took = 117.0 milliseconds
