Artifact 742fbb8662a509888ed2498f091b8d66c834e9583c24122e9f91a314e9c29c6e:
D 2021-03-05T09:41:26.754 T *hidden 7c29086699e71e916b48cdd20c98307d47eacca366315577ac833ce6db8ff1a1 T +closed 7c29086699e71e916b48cdd20c98307d47eacca366315577ac833ce6db8ff1a1 U reduce-algebra Z bce481fab96e9d454fefe2c8d27efee1