Artifact d950296998a8c3c516ba573ba7a805fde5861f57f341e92d1067981bf226c53a:
D 2021-03-05T09:42:40.587 T *closed 484f1837b4db68ac5b29f4bf81657b6d8f886a5fde524914d9e981b72ff22354 U reduce-algebra Z f1ec353db071fd405c132138f6ad9c14
D 2021-03-05T09:42:40.587 T *closed 484f1837b4db68ac5b29f4bf81657b6d8f886a5fde524914d9e981b72ff22354 U reduce-algebra Z f1ec353db071fd405c132138f6ad9c14