  $ conda install 4ti2 bliss\>=0.77 coincbc gdbm gfan giac graphviz igraph isl \
        libsemigroups libuuid lrslib pari-elldata pari-galpol pari-nftables \
        pari-seadata pdf2svg sbcl symengine tbb
