Loading theory "Missing_Polynomial_Factorial"
Loading theory "Missing_Determinant"
### theory "Missing_Determinant"
### 0.272s elapsed time, 0.604s cpu time, 0.000s GC time
### theory "Missing_Polynomial_Factorial"
### 0.400s elapsed time, 0.864s cpu time, 0.000s GC time
*** Interrupt