starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/af9svhgvcy0xzphpv4fq17g8zm40x675-which-2.21/bin:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/bin:/gnu/store/dkb67dpqr7icfmsx14aq3sgdr28d8nrc-binutils-cross-aarch64-linux-gnu-2.37/bin:/gnu/store/g2ajyl8xk9aarxrgjbng2hkj3qm2v0z2-tar-1.34/bin:/gnu/store/iixwcv3k49ks1rf34pjgfzmzyhhgwng3-gzip-1.10/bin:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/bin:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/bin:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin:/gnu/store/ahmmvw21p11ik80lg1f953y7fd8bqkjm-diffutils-3.8/bin:/gnu/store/z39hnrwds1dgcbpfgj8dnv2cngjb2xbl-patch-2.7.6/bin:/gnu/store/39rsx3nl4c31952jybbjb8d6idr5hx7r-findutils-4.8.0/bin:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/bin:/gnu/store/wxgv6i8g0p24q5gcyzd0yr07s8kn9680-sed-4.8/bin:/gnu/store/xjwp2hsd9256icjjybfrmznppjicywf6-grep-3.6/bin:/gnu/store/d251rfgc9nm2clzffzhgiipdvfvzkvwi-coreutils-8.32/bin:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/bin:/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin:/gnu/store/s2pg5k98fl2g2szg9dykxyd9zl3xihv9-ld-wrapper-0/bin:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/bin:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/bin:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/sbin' environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/93q7nvpf1v1k80bgxfs7m8mb57403qzk-glpk-5.0/lib:/gnu/store/wc8r83c8256vhlfdxbvcyyr5m40133hi-gmp-6.2.1/lib:/gnu/store/3d3g37rz9azfiz07c8yd726r0z2hf757-glibc-cross-aarch64-linux-gnu-2.33/lib:/gnu/store/cw4cxhqahxiw1v3pm7j7qk9g9kzz37jj-glibc-cross-aarch64-linux-gnu-2.33-static/lib' environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/93q7nvpf1v1k80bgxfs7m8mb57403qzk-glpk-5.0/include:/gnu/store/wc8r83c8256vhlfdxbvcyyr5m40133hi-gmp-6.2.1/include:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/3d3g37rz9azfiz07c8yd726r0z2hf757-glibc-cross-aarch64-linux-gnu-2.33/include:/gnu/store/l39yw7fw3cvl20hj6vm5rvcsynj0m79l-linux-libre-headers-cross-aarch64-linux-gnu-5.10.35/include' environment variable `CROSS_CPLUS_INCLUDE_PATH' set to `/gnu/store/93q7nvpf1v1k80bgxfs7m8mb57403qzk-glpk-5.0/include:/gnu/store/wc8r83c8256vhlfdxbvcyyr5m40133hi-gmp-6.2.1/include:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include/c++:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/3d3g37rz9azfiz07c8yd726r0z2hf757-glibc-cross-aarch64-linux-gnu-2.33/include:/gnu/store/l39yw7fw3cvl20hj6vm5rvcsynj0m79l-linux-libre-headers-cross-aarch64-linux-gnu-5.10.35/include' environment variable `CROSS_OBJC_INCLUDE_PATH' set to `/gnu/store/93q7nvpf1v1k80bgxfs7m8mb57403qzk-glpk-5.0/include:/gnu/store/wc8r83c8256vhlfdxbvcyyr5m40133hi-gmp-6.2.1/include:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/3d3g37rz9azfiz07c8yd726r0z2hf757-glibc-cross-aarch64-linux-gnu-2.33/include:/gnu/store/l39yw7fw3cvl20hj6vm5rvcsynj0m79l-linux-libre-headers-cross-aarch64-linux-gnu-5.10.35/include' environment variable `CROSS_OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/93q7nvpf1v1k80bgxfs7m8mb57403qzk-glpk-5.0/include:/gnu/store/wc8r83c8256vhlfdxbvcyyr5m40133hi-gmp-6.2.1/include:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/3d3g37rz9azfiz07c8yd726r0z2hf757-glibc-cross-aarch64-linux-gnu-2.33/include:/gnu/store/l39yw7fw3cvl20hj6vm5rvcsynj0m79l-linux-libre-headers-cross-aarch64-linux-gnu-5.10.35/include' environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/dkb67dpqr7icfmsx14aq3sgdr28d8nrc-binutils-cross-aarch64-linux-gnu-2.37/include:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include/c++:/gnu/store/kr5qja8nyhwplzwjxzy9v4pih3wap7wl-gcc-cross-aarch64-linux-gnu-10.3.0/include:/gnu/store/dkb67dpqr7icfmsx14aq3sgdr28d8nrc-binutils-cross-aarch64-linux-gnu-2.37/include:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/include:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/include:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/include:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/include:/gnu/store/55cbpsi18mahg131nmiya6km5b4mscfa-make-4.3/include:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/include:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include/c++:/gnu/store/069aq2v993kpc41yabp5b6vm4wb9jkhg-gcc-10.3.0/include:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/include:/gnu/store/6mjww4iz4xdan74d5bbjfh7il8rngfkk-linux-libre-headers-5.10.35/include' environment variable `LIBRARY_PATH' set to `/gnu/store/dkb67dpqr7icfmsx14aq3sgdr28d8nrc-binutils-cross-aarch64-linux-gnu-2.37/lib:/gnu/store/s3hl12jxz9ybs7nsy7kq7ybzz7qnzmsg-bzip2-1.0.8/lib:/gnu/store/c8isj4jq6knv0icfgr43di6q3nvdzkx7-xz-5.2.5/lib:/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/lib:/gnu/store/690qz3fg334dpwn3pn6k59n4wc943p2b-gawk-5.1.0/lib:/gnu/store/rc781v4k0drhaqn90xfwwpspki5x0bvf-binutils-2.37/lib:/gnu/store/5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33/lib:/gnu/store/4jdghmc65q7i7ib89zmvq66l0ghf7jc4-glibc-2.33-static/lib:/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/fnr1z6xsan0437r0yg48d0y8k32kqxby-glibc-utf8-locales-2.33/lib/locale' phase `set-paths' succeeded after 0.0 seconds starting phase `install-locale' using 'en_US.utf8' locale for category "LC_ALL" phase `install-locale' succeeded after 0.0 seconds starting phase `unpack' 4ti2-1.6.9/ 4ti2-1.6.9/aclocal.m4 4ti2-1.6.9/AUTHORS 4ti2-1.6.9/autogen.sh 4ti2-1.6.9/compile 4ti2-1.6.9/config.guess 4ti2-1.6.9/config.sub 4ti2-1.6.9/configure 4ti2-1.6.9/configure.ac 4ti2-1.6.9/COPYING 4ti2-1.6.9/depcomp 4ti2-1.6.9/doc/ 4ti2-1.6.9/doc/3by3magic.eps 4ti2-1.6.9/doc/4ti2_manual.bib 4ti2-1.6.9/doc/4ti2_manual.pdf 4ti2-1.6.9/doc/4ti2_manual.tex 4ti2-1.6.9/doc/4ti2_manual_advanced.tex 4ti2-1.6.9/doc/4ti2_manual_api.tex 4ti2-1.6.9/doc/4ti2_manual_beginner.tex 4ti2-1.6.9/doc/4ti2_manual_ref.tex 4ti2-1.6.9/doc/amsabbrvurl.bst 4ti2-1.6.9/doc/cubepicture.eps 4ti2-1.6.9/doc/deloera-hemmecke-koeppe-book.tex 4ti2-1.6.9/doc/deloera-hemmecke-koeppe-cover.jpg 4ti2-1.6.9/doc/feasible.pdf 4ti2-1.6.9/doc/feasible.pdf_t 4ti2-1.6.9/doc/feasible_LP.pdf 4ti2-1.6.9/doc/feasible_LP.pdf_t 4ti2-1.6.9/doc/magicsqs.eps 4ti2-1.6.9/doc/magicsqs.fig 4ti2-1.6.9/doc/magicsqs.pdf 4ti2-1.6.9/doc/magicsqs.pdf_t 4ti2-1.6.9/doc/magicsqs_hil.fig 4ti2-1.6.9/doc/magicsqs_hil.pdf 4ti2-1.6.9/doc/magicsqs_hil.pdf_t 4ti2-1.6.9/doc/magicsqs_ray.fig 4ti2-1.6.9/doc/magicsqs_ray.pdf 4ti2-1.6.9/doc/magicsqs_ray.pdf_t 4ti2-1.6.9/doc/Makefile.am 4ti2-1.6.9/doc/Makefile.in 4ti2-1.6.9/doc/myfancyheadings.sty 4ti2-1.6.9/doc/solved_IP.pdf 4ti2-1.6.9/doc/solved_IP.pdf_t 4ti2-1.6.9/doc/solved_LP.pdf 4ti2-1.6.9/doc/solved_LP.pdf_t 4ti2-1.6.9/doc/version.tex.in 4ti2-1.6.9/install-sh 4ti2-1.6.9/lib/ 4ti2-1.6.9/lib/getopt.c 4ti2-1.6.9/lib/getopt.in.h 4ti2-1.6.9/lib/getopt1.c 4ti2-1.6.9/lib/getopt_int.h 4ti2-1.6.9/lib/gettext.h 4ti2-1.6.9/lib/Makefile.am 4ti2-1.6.9/lib/Makefile.in 4ti2-1.6.9/lib/stddef.in.h 4ti2-1.6.9/lib/sys_types.in.h 4ti2-1.6.9/lib/unistd.c 4ti2-1.6.9/lib/unistd.in.h 4ti2-1.6.9/ltmain.sh 4ti2-1.6.9/m4/ 4ti2-1.6.9/m4/00gnulib.m4 4ti2-1.6.9/m4/ax_cc_maxopt.m4 4ti2-1.6.9/m4/ax_cflags_warn_all.m4 4ti2-1.6.9/m4/ax_check_compile_flag.m4 4ti2-1.6.9/m4/ax_check_compiler_flags.m4 4ti2-1.6.9/m4/ax_compiler_vendor.m4 4ti2-1.6.9/m4/ax_cxx_maxopt.m4 4ti2-1.6.9/m4/ax_gcc_archflag.m4 4ti2-1.6.9/m4/ax_gcc_x86_cpuid.m4 4ti2-1.6.9/m4/extensions.m4 4ti2-1.6.9/m4/extern-inline.m4 4ti2-1.6.9/m4/getopt.m4 4ti2-1.6.9/m4/glpk-check.m4 4ti2-1.6.9/m4/gmp-check.m4 4ti2-1.6.9/m4/gnulib-cache.m4 4ti2-1.6.9/m4/gnulib-common.m4 4ti2-1.6.9/m4/gnulib-comp.m4 4ti2-1.6.9/m4/gnulib-tool.m4 4ti2-1.6.9/m4/include_next.m4 4ti2-1.6.9/m4/libtool.m4 4ti2-1.6.9/m4/ltoptions.m4 4ti2-1.6.9/m4/ltsugar.m4 4ti2-1.6.9/m4/ltversion.m4 4ti2-1.6.9/m4/lt~obsolete.m4 4ti2-1.6.9/m4/Makefile.am 4ti2-1.6.9/m4/Makefile.in 4ti2-1.6.9/m4/nocrash.m4 4ti2-1.6.9/m4/off_t.m4 4ti2-1.6.9/m4/onceonly.m4 4ti2-1.6.9/m4/ssize_t.m4 4ti2-1.6.9/m4/stddef_h.m4 4ti2-1.6.9/m4/sys_types_h.m4 4ti2-1.6.9/m4/trapv-check.m4 4ti2-1.6.9/m4/unistd_h.m4 4ti2-1.6.9/m4/warn-on-use.m4 4ti2-1.6.9/m4/wchar_t.m4 4ti2-1.6.9/Makefile.am 4ti2-1.6.9/Makefile.in 4ti2-1.6.9/missing 4ti2-1.6.9/NEWS 4ti2-1.6.9/README 4ti2-1.6.9/README.cvs 4ti2-1.6.9/snippet/ 4ti2-1.6.9/snippet/arg-nonnull.h 4ti2-1.6.9/snippet/c++defs.h 4ti2-1.6.9/snippet/warn-on-use.h 4ti2-1.6.9/src/ 4ti2-1.6.9/src/4ti2/ 4ti2-1.6.9/src/4ti2/4ti2.h 4ti2-1.6.9/src/4ti2/4ti2_config.h 4ti2-1.6.9/src/4ti2/4ti2_config.h.in 4ti2-1.6.9/src/4ti2/4ti2API.cpp 4ti2-1.6.9/src/4ti2/4ti2xx.h 4ti2-1.6.9/src/4ti2/Makefile.am 4ti2-1.6.9/src/4ti2/Makefile.in 4ti2-1.6.9/src/banner.h 4ti2-1.6.9/src/config.h.in 4ti2-1.6.9/src/fiber/ 4ti2-1.6.9/src/fiber/Makefile.am 4ti2-1.6.9/src/fiber/Makefile.in 4ti2-1.6.9/src/groebner/ 4ti2-1.6.9/src/groebner/4ti2API.cpp 4ti2-1.6.9/src/groebner/Algorithm.cpp 4ti2-1.6.9/src/groebner/Algorithm.h 4ti2-1.6.9/src/groebner/BasicCompletion.cpp 4ti2-1.6.9/src/groebner/BasicCompletion.h 4ti2-1.6.9/src/groebner/BasicGeneration.cpp 4ti2-1.6.9/src/groebner/BasicGeneration.h 4ti2-1.6.9/src/groebner/BasicOptions.cpp 4ti2-1.6.9/src/groebner/BasicOptions.h 4ti2-1.6.9/src/groebner/BasicReduction.cpp 4ti2-1.6.9/src/groebner/BasicReduction.h 4ti2-1.6.9/src/groebner/Binomial.cpp 4ti2-1.6.9/src/groebner/Binomial.h 4ti2-1.6.9/src/groebner/BinomialArray.cpp 4ti2-1.6.9/src/groebner/BinomialArray.h 4ti2-1.6.9/src/groebner/BinomialArrayStream.cpp 4ti2-1.6.9/src/groebner/BinomialArrayStream.h 4ti2-1.6.9/src/groebner/BinomialCollection.cpp 4ti2-1.6.9/src/groebner/BinomialCollection.h 4ti2-1.6.9/src/groebner/BinomialFactory.cpp 4ti2-1.6.9/src/groebner/BinomialFactory.h 4ti2-1.6.9/src/groebner/BinomialSet.cpp 4ti2-1.6.9/src/groebner/BinomialSet.h 4ti2-1.6.9/src/groebner/BinomialSetStream.cpp 4ti2-1.6.9/src/groebner/BinomialSetStream.h 4ti2-1.6.9/src/groebner/BinomialStream.cpp 4ti2-1.6.9/src/groebner/BinomialStream.h 4ti2-1.6.9/src/groebner/BitSet.h 4ti2-1.6.9/src/groebner/BitSetStream.cpp 4ti2-1.6.9/src/groebner/BitSetStream.h 4ti2-1.6.9/src/groebner/Bounded.cpp 4ti2-1.6.9/src/groebner/Bounded.h 4ti2-1.6.9/src/groebner/CircuitImplementation.h 4ti2-1.6.9/src/groebner/CircuitImplementation.tpp 4ti2-1.6.9/src/groebner/CircuitMatrixAlgorithm.h 4ti2-1.6.9/src/groebner/CircuitMatrixAlgorithm.tpp 4ti2-1.6.9/src/groebner/CircuitOptions.cpp 4ti2-1.6.9/src/groebner/CircuitOptions.h 4ti2-1.6.9/src/groebner/circuits_main.cpp 4ti2-1.6.9/src/groebner/circuits_main.h 4ti2-1.6.9/src/groebner/CircuitsAPI.cpp 4ti2-1.6.9/src/groebner/CircuitsAPI.h 4ti2-1.6.9/src/groebner/CircuitSupportAlgorithm.h 4ti2-1.6.9/src/groebner/CircuitSupportAlgorithm.tpp 4ti2-1.6.9/src/groebner/Completion.cpp 4ti2-1.6.9/src/groebner/Completion.h 4ti2-1.6.9/src/groebner/DataType.h 4ti2-1.6.9/src/groebner/Debug.h 4ti2-1.6.9/src/groebner/DiagonalAlgorithm.cpp 4ti2-1.6.9/src/groebner/DiagonalAlgorithm.h 4ti2-1.6.9/src/groebner/DiagonalAlgorithm.tpp 4ti2-1.6.9/src/groebner/EliminateAlgorithm.cpp 4ti2-1.6.9/src/groebner/EliminateAlgorithm.h 4ti2-1.6.9/src/groebner/Euclidean.cpp 4ti2-1.6.9/src/groebner/Euclidean.h 4ti2-1.6.9/src/groebner/Extract.cpp 4ti2-1.6.9/src/groebner/Extract.h 4ti2-1.6.9/src/groebner/Feasible.cpp 4ti2-1.6.9/src/groebner/Feasible.h 4ti2-1.6.9/src/groebner/FeasibleStream.cpp 4ti2-1.6.9/src/groebner/FeasibleStream.h 4ti2-1.6.9/src/groebner/Filter.h 4ti2-1.6.9/src/groebner/FilterReduction.cpp 4ti2-1.6.9/src/groebner/FilterReduction.h 4ti2-1.6.9/src/groebner/FlipCompletion.cpp 4ti2-1.6.9/src/groebner/FlipCompletion.h 4ti2-1.6.9/src/groebner/GeneratingSet.cpp 4ti2-1.6.9/src/groebner/GeneratingSet.h 4ti2-1.6.9/src/groebner/Generation.h 4ti2-1.6.9/src/groebner/Globals.cpp 4ti2-1.6.9/src/groebner/Globals.h 4ti2-1.6.9/src/groebner/Grading.h 4ti2-1.6.9/src/groebner/groebner_main.cpp 4ti2-1.6.9/src/groebner/groebner_main.h 4ti2-1.6.9/src/groebner/GroebnerBasis.cpp 4ti2-1.6.9/src/groebner/GroebnerBasis.h 4ti2-1.6.9/src/groebner/HermiteAlgorithm.cpp 4ti2-1.6.9/src/groebner/HermiteAlgorithm.h 4ti2-1.6.9/src/groebner/HermiteAlgorithm.tpp 4ti2-1.6.9/src/groebner/HybridGenSet.cpp 4ti2-1.6.9/src/groebner/HybridGenSet.h 4ti2-1.6.9/src/groebner/Index.h 4ti2-1.6.9/src/groebner/IndexBinomialSet.h 4ti2-1.6.9/src/groebner/IndexSetConverter.h 4ti2-1.6.9/src/groebner/LatticeBasis.cpp 4ti2-1.6.9/src/groebner/LatticeBasis.h 4ti2-1.6.9/src/groebner/LongDenseIndexSet.cpp 4ti2-1.6.9/src/groebner/LongDenseIndexSet.h 4ti2-1.6.9/src/groebner/LongDenseIndexSetStream.cpp 4ti2-1.6.9/src/groebner/LongDenseIndexSetStream.h 4ti2-1.6.9/src/groebner/main.cpp 4ti2-1.6.9/src/groebner/Makefile.am 4ti2-1.6.9/src/groebner/Makefile.in 4ti2-1.6.9/src/groebner/Markov.cpp 4ti2-1.6.9/src/groebner/Markov.h 4ti2-1.6.9/src/groebner/markov_main.cpp 4ti2-1.6.9/src/groebner/markov_main.h 4ti2-1.6.9/src/groebner/MaxMinGenSet.cpp 4ti2-1.6.9/src/groebner/MaxMinGenSet.h 4ti2-1.6.9/src/groebner/Minimize.cpp 4ti2-1.6.9/src/groebner/Minimize.h 4ti2-1.6.9/src/groebner/minimize_main.cpp 4ti2-1.6.9/src/groebner/minimize_main.h 4ti2-1.6.9/src/groebner/MinimizeOptions.cpp 4ti2-1.6.9/src/groebner/MinimizeOptions.h 4ti2-1.6.9/src/groebner/normalform_main.cpp 4ti2-1.6.9/src/groebner/normalform_main.h 4ti2-1.6.9/src/groebner/OnesReduction.cpp 4ti2-1.6.9/src/groebner/OnesReduction.h 4ti2-1.6.9/src/groebner/OnesTree.h 4ti2-1.6.9/src/groebner/OnesTree.tpp 4ti2-1.6.9/src/groebner/Optimise.cpp 4ti2-1.6.9/src/groebner/Optimise.h 4ti2-1.6.9/src/groebner/Options.cpp 4ti2-1.6.9/src/groebner/Options.h 4ti2-1.6.9/src/groebner/OrderedCompletion.cpp 4ti2-1.6.9/src/groebner/OrderedCompletion.h 4ti2-1.6.9/src/groebner/Permutation.h 4ti2-1.6.9/src/groebner/ProjectLiftGenSet.cpp 4ti2-1.6.9/src/groebner/ProjectLiftGenSet.h 4ti2-1.6.9/src/groebner/qsolve_main.cpp 4ti2-1.6.9/src/groebner/qsolve_main.h 4ti2-1.6.9/src/groebner/QSolveAlgorithm.cpp 4ti2-1.6.9/src/groebner/QSolveAlgorithm.h 4ti2-1.6.9/src/groebner/QSolveAPI.cpp 4ti2-1.6.9/src/groebner/QSolveAPI.h 4ti2-1.6.9/src/groebner/QSolveConsOrder.h 4ti2-1.6.9/src/groebner/QSolveVariant.h 4ti2-1.6.9/src/groebner/RayAlgorithm.cpp 4ti2-1.6.9/src/groebner/RayAlgorithm.h 4ti2-1.6.9/src/groebner/RayImplementation.h 4ti2-1.6.9/src/groebner/RayImplementation.tpp 4ti2-1.6.9/src/groebner/RayMatrixAlgorithm.h 4ti2-1.6.9/src/groebner/RayMatrixAlgorithm.tpp 4ti2-1.6.9/src/groebner/rays_main.cpp 4ti2-1.6.9/src/groebner/rays_main.h 4ti2-1.6.9/src/groebner/RaysAPI.cpp 4ti2-1.6.9/src/groebner/RaysAPI.h 4ti2-1.6.9/src/groebner/RaySupportAlgorithm.h 4ti2-1.6.9/src/groebner/RaySupportAlgorithm.tpp 4ti2-1.6.9/src/groebner/Reduction.h 4ti2-1.6.9/src/groebner/SaturationGenSet.cpp 4ti2-1.6.9/src/groebner/SaturationGenSet.h 4ti2-1.6.9/src/groebner/script.template 4ti2-1.6.9/src/groebner/script.template.in 4ti2-1.6.9/src/groebner/ShortDenseIndexSet.cpp 4ti2-1.6.9/src/groebner/ShortDenseIndexSet.h 4ti2-1.6.9/src/groebner/ShortDenseIndexSetStream.cpp 4ti2-1.6.9/src/groebner/ShortDenseIndexSetStream.h 4ti2-1.6.9/src/groebner/SignPattern.h 4ti2-1.6.9/src/groebner/Size.h 4ti2-1.6.9/src/groebner/Statistics.cpp 4ti2-1.6.9/src/groebner/Statistics.h 4ti2-1.6.9/src/groebner/SupportTree.h 4ti2-1.6.9/src/groebner/SupportTree.tpp 4ti2-1.6.9/src/groebner/SyzygyCompletion.cpp 4ti2-1.6.9/src/groebner/SyzygyCompletion.h 4ti2-1.6.9/src/groebner/SyzygyGeneration.cpp 4ti2-1.6.9/src/groebner/SyzygyGeneration.h 4ti2-1.6.9/src/groebner/TermOrder.h 4ti2-1.6.9/src/groebner/Timer.cpp 4ti2-1.6.9/src/groebner/Timer.h 4ti2-1.6.9/src/groebner/Truncate.h 4ti2-1.6.9/src/groebner/Truncated.cpp 4ti2-1.6.9/src/groebner/Vector.cpp 4ti2-1.6.9/src/groebner/Vector.h 4ti2-1.6.9/src/groebner/VectorArray.cpp 4ti2-1.6.9/src/groebner/VectorArray.h 4ti2-1.6.9/src/groebner/VectorArrayAPI.cpp 4ti2-1.6.9/src/groebner/VectorArrayAPI.h 4ti2-1.6.9/src/groebner/VectorArrayStream.cpp 4ti2-1.6.9/src/groebner/VectorArrayStream.h 4ti2-1.6.9/src/groebner/VectorStream.cpp 4ti2-1.6.9/src/groebner/VectorStream.h 4ti2-1.6.9/src/groebner/walk_main.cpp 4ti2-1.6.9/src/groebner/walk_main.h 4ti2-1.6.9/src/groebner/WalkAlgorithm.cpp 4ti2-1.6.9/src/groebner/WalkAlgorithm.h 4ti2-1.6.9/src/groebner/WalkOptions.cpp 4ti2-1.6.9/src/groebner/WalkOptions.h 4ti2-1.6.9/src/groebner/Weight.h 4ti2-1.6.9/src/groebner/WeightAlgorithm.cpp 4ti2-1.6.9/src/groebner/WeightAlgorithm.h 4ti2-1.6.9/src/groebner/WeightedBinomialSet.cpp 4ti2-1.6.9/src/groebner/WeightedBinomialSet.h 4ti2-1.6.9/src/groebner/WeightedReduction.cpp 4ti2-1.6.9/src/groebner/WeightedReduction.h 4ti2-1.6.9/src/groebner/zbasis_main.cpp 4ti2-1.6.9/src/groebner/zbasis_main.h 4ti2-1.6.9/src/Makefile.am 4ti2-1.6.9/src/Makefile.in 4ti2-1.6.9/src/ppi/ 4ti2-1.6.9/src/ppi/Makefile.am 4ti2-1.6.9/src/ppi/Makefile.in 4ti2-1.6.9/src/ppi/ppi.cpp 4ti2-1.6.9/src/util/ 4ti2-1.6.9/src/util/genmodel.c 4ti2-1.6.9/src/util/genmodel.h 4ti2-1.6.9/src/util/genmodel_main.c 4ti2-1.6.9/src/util/gensymm.c 4ti2-1.6.9/src/util/gensymm.h 4ti2-1.6.9/src/util/gensymm_main.c 4ti2-1.6.9/src/util/Makefile.am 4ti2-1.6.9/src/util/Makefile.in 4ti2-1.6.9/src/util/myheader.h 4ti2-1.6.9/src/util/orbit.c 4ti2-1.6.9/src/util/orbit.h 4ti2-1.6.9/src/util/output.c 4ti2-1.6.9/src/util/output.h 4ti2-1.6.9/src/util/output_main.c 4ti2-1.6.9/src/util/print.c 4ti2-1.6.9/src/util/print.h 4ti2-1.6.9/src/util/vector.c 4ti2-1.6.9/src/util/vector.h 4ti2-1.6.9/src/zsolve/ 4ti2-1.6.9/src/zsolve/4ti2API.cpp 4ti2-1.6.9/src/zsolve/Algorithm.hpp 4ti2-1.6.9/src/zsolve/BitSet.cpp 4ti2-1.6.9/src/zsolve/BitSet.h 4ti2-1.6.9/src/zsolve/BoundAPI.hpp 4ti2-1.6.9/src/zsolve/Controller.hpp 4ti2-1.6.9/src/zsolve/DefaultController.hpp 4ti2-1.6.9/src/zsolve/Exception.h 4ti2-1.6.9/src/zsolve/graver.template 4ti2-1.6.9/src/zsolve/GraverAPI.hpp 4ti2-1.6.9/src/zsolve/Heuristics.hpp 4ti2-1.6.9/src/zsolve/hilbert.template 4ti2-1.6.9/src/zsolve/HilbertAPI.hpp 4ti2-1.6.9/src/zsolve/Integer.h 4ti2-1.6.9/src/zsolve/Lattice.hpp 4ti2-1.6.9/src/zsolve/LinearSystem.hpp 4ti2-1.6.9/src/zsolve/main.cpp 4ti2-1.6.9/src/zsolve/Makefile.am 4ti2-1.6.9/src/zsolve/Makefile.in 4ti2-1.6.9/src/zsolve/Norms.hpp 4ti2-1.6.9/src/zsolve/Options.cpp 4ti2-1.6.9/src/zsolve/Options.h 4ti2-1.6.9/src/zsolve/RelAPI.cpp 4ti2-1.6.9/src/zsolve/RelAPI.h 4ti2-1.6.9/src/zsolve/Relation.hpp 4ti2-1.6.9/src/zsolve/SignAPI.cpp 4ti2-1.6.9/src/zsolve/SignAPI.h 4ti2-1.6.9/src/zsolve/Timer.cpp 4ti2-1.6.9/src/zsolve/Timer.h 4ti2-1.6.9/src/zsolve/Variables.hpp 4ti2-1.6.9/src/zsolve/Vector.hpp 4ti2-1.6.9/src/zsolve/VectorArray.hpp 4ti2-1.6.9/src/zsolve/VectorArrayAPI.hpp 4ti2-1.6.9/src/zsolve/zsolve.h 4ti2-1.6.9/src/zsolve/ZSolveAPI.hpp 4ti2-1.6.9/swig/ 4ti2-1.6.9/swig/aclocal.m4 4ti2-1.6.9/swig/allegrocommonlisp/ 4ti2-1.6.9/swig/allegrocommonlisp/4ti2-base.lisp 4ti2-1.6.9/swig/allegrocommonlisp/4ti2-package.lisp 4ti2-1.6.9/swig/allegrocommonlisp/4ti2.asd.in 4ti2-1.6.9/swig/allegrocommonlisp/4ti2.cl 4ti2-1.6.9/swig/allegrocommonlisp/allegrocl-4ti2.c 4ti2-1.6.9/swig/allegrocommonlisp/allegrocl-4ti2.i 4ti2-1.6.9/swig/allegrocommonlisp/common-wrapper-macros.lisp 4ti2-1.6.9/swig/allegrocommonlisp/list-vector.i 4ti2-1.6.9/swig/allegrocommonlisp/Makefile.am 4ti2-1.6.9/swig/allegrocommonlisp/Makefile.in 4ti2-1.6.9/swig/allegrocommonlisp/pointer-in-out.i 4ti2-1.6.9/swig/configure 4ti2-1.6.9/swig/configure.ac 4ti2-1.6.9/swig/Makefile.am 4ti2-1.6.9/swig/Makefile.in 4ti2-1.6.9/test/ 4ti2-1.6.9/test/check.template.in 4ti2-1.6.9/test/circuits/ 4ti2-1.6.9/test/circuits/33.1.cir.chk 4ti2-1.6.9/test/circuits/33.1.mat 4ti2-1.6.9/test/circuits/33.1.sign 4ti2-1.6.9/test/circuits/33.2.cir.chk 4ti2-1.6.9/test/circuits/33.2.mat 4ti2-1.6.9/test/circuits/33.2.sign 4ti2-1.6.9/test/circuits/33.3.cir.chk 4ti2-1.6.9/test/circuits/33.3.mat 4ti2-1.6.9/test/circuits/33.3.sign 4ti2-1.6.9/test/circuits/33.cir.chk 4ti2-1.6.9/test/circuits/33.mat 4ti2-1.6.9/test/circuits/44.cir.chk 4ti2-1.6.9/test/circuits/44.mat 4ti2-1.6.9/test/circuits/Makefile.am 4ti2-1.6.9/test/circuits/Makefile.in 4ti2-1.6.9/test/circuits/ppi3.cir.chk 4ti2-1.6.9/test/circuits/ppi3.mat 4ti2-1.6.9/test/flavorsum.in 4ti2-1.6.9/test/genmodel/ 4ti2-1.6.9/test/genmodel/333.mat.chk 4ti2-1.6.9/test/genmodel/333.mod 4ti2-1.6.9/test/genmodel/3x4x6.mat.chk 4ti2-1.6.9/test/genmodel/3x4x6.mod 4ti2-1.6.9/test/genmodel/3x6.mat.chk 4ti2-1.6.9/test/genmodel/3x6.mod 4ti2-1.6.9/test/genmodel/k2_3.mat.chk 4ti2-1.6.9/test/genmodel/k2_3.mod 4ti2-1.6.9/test/genmodel/Makefile.am 4ti2-1.6.9/test/genmodel/Makefile.in 4ti2-1.6.9/test/gensymm/ 4ti2-1.6.9/test/gensymm/333.sym.chk 4ti2-1.6.9/test/gensymm/Makefile.am 4ti2-1.6.9/test/gensymm/Makefile.in 4ti2-1.6.9/test/graver/ 4ti2-1.6.9/test/graver/333.gra.chk 4ti2-1.6.9/test/graver/333.mat 4ti2-1.6.9/test/graver/bayer.gra.chk 4ti2-1.6.9/test/graver/bayer.lat 4ti2-1.6.9/test/graver/hppi4.gra.chk 4ti2-1.6.9/test/graver/hppi4.mat 4ti2-1.6.9/test/graver/hppi5.gra.chk 4ti2-1.6.9/test/graver/hppi5.mat 4ti2-1.6.9/test/graver/Makefile.am 4ti2-1.6.9/test/graver/Makefile.in 4ti2-1.6.9/test/graver/ppi3.gra.chk 4ti2-1.6.9/test/graver/ppi3.mat 4ti2-1.6.9/test/graver/small.gra.chk 4ti2-1.6.9/test/graver/small.mat 4ti2-1.6.9/test/graver/small.sign 4ti2-1.6.9/test/graver/trivial-kernel.gra.chk 4ti2-1.6.9/test/graver/trivial-kernel.mat 4ti2-1.6.9/test/groebner/ 4ti2-1.6.9/test/groebner/333.1.gro.chk 4ti2-1.6.9/test/groebner/333.1.mar 4ti2-1.6.9/test/groebner/333.1.mat 4ti2-1.6.9/test/groebner/333.1.weights 4ti2-1.6.9/test/groebner/333.1.weights.max 4ti2-1.6.9/test/groebner/333.2.gro.chk 4ti2-1.6.9/test/groebner/333.2.mar 4ti2-1.6.9/test/groebner/333.2.mat 4ti2-1.6.9/test/groebner/333.2.weights 4ti2-1.6.9/test/groebner/333.2.weights.max 4ti2-1.6.9/test/groebner/333.3.gro.chk 4ti2-1.6.9/test/groebner/333.3.mar 4ti2-1.6.9/test/groebner/333.3.mat 4ti2-1.6.9/test/groebner/333.3.weights 4ti2-1.6.9/test/groebner/333.3.weights.max 4ti2-1.6.9/test/groebner/333.gro.chk 4ti2-1.6.9/test/groebner/333.lat 4ti2-1.6.9/test/groebner/333.mar 4ti2-1.6.9/test/groebner/333.mat 4ti2-1.6.9/test/groebner/334.gro.chk 4ti2-1.6.9/test/groebner/334.lat 4ti2-1.6.9/test/groebner/334.mar 4ti2-1.6.9/test/groebner/334.mat 4ti2-1.6.9/test/groebner/335.gro.chk 4ti2-1.6.9/test/groebner/335.lat 4ti2-1.6.9/test/groebner/335.mar 4ti2-1.6.9/test/groebner/335.mat 4ti2-1.6.9/test/groebner/344.gro.chk 4ti2-1.6.9/test/groebner/344.lat 4ti2-1.6.9/test/groebner/344.mar 4ti2-1.6.9/test/groebner/344.mat 4ti2-1.6.9/test/groebner/4coins.cost 4ti2-1.6.9/test/groebner/4coins.gro.chk 4ti2-1.6.9/test/groebner/4coins.mat 4ti2-1.6.9/test/groebner/4coins.sign 4ti2-1.6.9/test/groebner/cuww1.1.mar 4ti2-1.6.9/test/groebner/cuww1.1.mat 4ti2-1.6.9/test/groebner/cuww1.1.sign 4ti2-1.6.9/test/groebner/cuww1.cost 4ti2-1.6.9/test/groebner/cuww1.gro.chk 4ti2-1.6.9/test/groebner/cuww1.lat 4ti2-1.6.9/test/groebner/cuww1.mar 4ti2-1.6.9/test/groebner/cuww1.mat 4ti2-1.6.9/test/groebner/cuww2.cost 4ti2-1.6.9/test/groebner/cuww2.gro.chk 4ti2-1.6.9/test/groebner/cuww2.lat 4ti2-1.6.9/test/groebner/cuww2.mar 4ti2-1.6.9/test/groebner/cuww2.mat 4ti2-1.6.9/test/groebner/cuww2.trunc1.cost 4ti2-1.6.9/test/groebner/cuww2.trunc1.gro.chk 4ti2-1.6.9/test/groebner/cuww2.trunc1.lat 4ti2-1.6.9/test/groebner/cuww2.trunc1.mar 4ti2-1.6.9/test/groebner/cuww2.trunc1.mat 4ti2-1.6.9/test/groebner/cuww2.trunc1.weights 4ti2-1.6.9/test/groebner/cuww2.trunc1.weights.max 4ti2-1.6.9/test/groebner/cuww2.trunc2.cost 4ti2-1.6.9/test/groebner/cuww2.trunc2.gro.chk 4ti2-1.6.9/test/groebner/cuww2.trunc2.lat 4ti2-1.6.9/test/groebner/cuww2.trunc2.mar 4ti2-1.6.9/test/groebner/cuww2.trunc2.mat 4ti2-1.6.9/test/groebner/cuww2.trunc2.weights 4ti2-1.6.9/test/groebner/cuww2.trunc2.weights.max 4ti2-1.6.9/test/groebner/cuww3.cost 4ti2-1.6.9/test/groebner/cuww3.gro.chk 4ti2-1.6.9/test/groebner/cuww3.lat 4ti2-1.6.9/test/groebner/cuww3.mar 4ti2-1.6.9/test/groebner/cuww3.mat 4ti2-1.6.9/test/groebner/cuww4.cost 4ti2-1.6.9/test/groebner/cuww4.gro.chk 4ti2-1.6.9/test/groebner/cuww4.lat 4ti2-1.6.9/test/groebner/cuww4.mar 4ti2-1.6.9/test/groebner/cuww4.mat 4ti2-1.6.9/test/groebner/cuww5.cost 4ti2-1.6.9/test/groebner/cuww5.gro.chk 4ti2-1.6.9/test/groebner/cuww5.lat 4ti2-1.6.9/test/groebner/cuww5.mar 4ti2-1.6.9/test/groebner/cuww5.mat 4ti2-1.6.9/test/groebner/gmp/ 4ti2-1.6.9/test/groebner/gmp/335.gro.chk 4ti2-1.6.9/test/groebner/gmp/335.mar 4ti2-1.6.9/test/groebner/gmp/335.mat 4ti2-1.6.9/test/groebner/gmp/cuww1.1.mar 4ti2-1.6.9/test/groebner/gmp/cuww1.1.mat 4ti2-1.6.9/test/groebner/gmp/cuww1.1.sign 4ti2-1.6.9/test/groebner/gmp/cuww1.cols 4ti2-1.6.9/test/groebner/gmp/cuww1.cost 4ti2-1.6.9/test/groebner/gmp/cuww1.gro.chk 4ti2-1.6.9/test/groebner/gmp/cuww1.lat 4ti2-1.6.9/test/groebner/gmp/cuww1.mar 4ti2-1.6.9/test/groebner/gmp/cuww1.mat 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.cost 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.gro.chk 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.lat 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.mar 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.mat 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.weights 4ti2-1.6.9/test/groebner/gmp/cuww2.trunc1.weights.max 4ti2-1.6.9/test/groebner/gmp/grin10900.1.cost 4ti2-1.6.9/test/groebner/gmp/grin10900.1.gro.chk 4ti2-1.6.9/test/groebner/gmp/grin10900.1.mar 4ti2-1.6.9/test/groebner/gmp/grin10900.1.mat 4ti2-1.6.9/test/groebner/gmp/grin10900.1.zsol 4ti2-1.6.9/test/groebner/gmp/Makefile.am 4ti2-1.6.9/test/groebner/gmp/Makefile.in 4ti2-1.6.9/test/groebner/grin.cost 4ti2-1.6.9/test/groebner/grin.gro.chk 4ti2-1.6.9/test/groebner/grin.lat 4ti2-1.6.9/test/groebner/grin.mar 4ti2-1.6.9/test/groebner/grin.mat 4ti2-1.6.9/test/groebner/grin10900.1.cost 4ti2-1.6.9/test/groebner/grin10900.1.gro.chk 4ti2-1.6.9/test/groebner/grin10900.1.mar 4ti2-1.6.9/test/groebner/grin10900.1.mat 4ti2-1.6.9/test/groebner/grin10900.1.zsol 4ti2-1.6.9/test/groebner/grin10900.2.cost 4ti2-1.6.9/test/groebner/grin10900.2.gro.chk 4ti2-1.6.9/test/groebner/grin10900.2.mar 4ti2-1.6.9/test/groebner/grin10900.2.mat 4ti2-1.6.9/test/groebner/grin10900.2.zsol 4ti2-1.6.9/test/groebner/grin10900.3.cost 4ti2-1.6.9/test/groebner/grin10900.3.gro.chk 4ti2-1.6.9/test/groebner/grin10900.3.mar 4ti2-1.6.9/test/groebner/grin10900.3.mat 4ti2-1.6.9/test/groebner/grin10900.3.zsol 4ti2-1.6.9/test/groebner/grin10900.4.cost 4ti2-1.6.9/test/groebner/grin10900.4.gro.chk 4ti2-1.6.9/test/groebner/grin10900.4.mar 4ti2-1.6.9/test/groebner/grin10900.4.mat 4ti2-1.6.9/test/groebner/grin10900.4.zsol 4ti2-1.6.9/test/groebner/grin10900.5.cost 4ti2-1.6.9/test/groebner/grin10900.5.mar 4ti2-1.6.9/test/groebner/grin10900.5.mat 4ti2-1.6.9/test/groebner/grin10900.5.zsol 4ti2-1.6.9/test/groebner/Makefile.am 4ti2-1.6.9/test/groebner/Makefile.in 4ti2-1.6.9/test/hilbert/ 4ti2-1.6.9/test/hilbert/33.hil.chk 4ti2-1.6.9/test/hilbert/33.mat 4ti2-1.6.9/test/hilbert/33.rel 4ti2-1.6.9/test/hilbert/33.sign 4ti2-1.6.9/test/hilbert/33.zfree.chk 4ti2-1.6.9/test/hilbert/44.hil.chk 4ti2-1.6.9/test/hilbert/44.mat 4ti2-1.6.9/test/hilbert/55.hil.chk 4ti2-1.6.9/test/hilbert/55.mat 4ti2-1.6.9/test/hilbert/a1.hil.chk 4ti2-1.6.9/test/hilbert/a1.mat 4ti2-1.6.9/test/hilbert/a1.rel 4ti2-1.6.9/test/hilbert/a1.sign 4ti2-1.6.9/test/hilbert/m33.hil.chk 4ti2-1.6.9/test/hilbert/m33.mat 4ti2-1.6.9/test/hilbert/m33.rel 4ti2-1.6.9/test/hilbert/m33.sign 4ti2-1.6.9/test/hilbert/magic33.hil.chk 4ti2-1.6.9/test/hilbert/magic33.mat 4ti2-1.6.9/test/hilbert/Makefile.am 4ti2-1.6.9/test/hilbert/Makefile.in 4ti2-1.6.9/test/hilbert/non-pointed-2.hil.chk 4ti2-1.6.9/test/hilbert/non-pointed-2.mat 4ti2-1.6.9/test/hilbert/non-pointed-2.sign 4ti2-1.6.9/test/hilbert/non-pointed-2.zfree.chk 4ti2-1.6.9/test/hilbert/non-pointed.hil.chk 4ti2-1.6.9/test/hilbert/non-pointed.mat 4ti2-1.6.9/test/hilbert/non-pointed.sign 4ti2-1.6.9/test/hilbert/non-pointed.zfree.chk 4ti2-1.6.9/test/hilbert/reduce_gaussian-fedora-bug-911437.lat 4ti2-1.6.9/test/hilbert/zero-rows.hil.dont-chk 4ti2-1.6.9/test/hilbert/zero-rows.mat 4ti2-1.6.9/test/hilbert/zero-rows.sign 4ti2-1.6.9/test/hilbert/zero-rows.zfree.dont-chk 4ti2-1.6.9/test/Makefile.am 4ti2-1.6.9/test/Makefile.in 4ti2-1.6.9/test/markov/ 4ti2-1.6.9/test/markov/333.mar.chk 4ti2-1.6.9/test/markov/333.mat 4ti2-1.6.9/test/markov/334.mar.chk 4ti2-1.6.9/test/markov/334.mat 4ti2-1.6.9/test/markov/335.lat 4ti2-1.6.9/test/markov/335.mar.chk 4ti2-1.6.9/test/markov/335.mat 4ti2-1.6.9/test/markov/4x4.mar.chk 4ti2-1.6.9/test/markov/4x4.mat 4ti2-1.6.9/test/markov/cuww1.bs 4ti2-1.6.9/test/markov/cuww1.mar.chk 4ti2-1.6.9/test/markov/cuww1.mat 4ti2-1.6.9/test/markov/cuww1.vs 4ti2-1.6.9/test/markov/cuww2.mar.chk 4ti2-1.6.9/test/markov/cuww2.mat 4ti2-1.6.9/test/markov/cuww3.A 4ti2-1.6.9/test/markov/cuww3.mar.chk 4ti2-1.6.9/test/markov/cuww3.mat 4ti2-1.6.9/test/markov/cuww4.mar.chk 4ti2-1.6.9/test/markov/cuww4.mat 4ti2-1.6.9/test/markov/cuww5.mar.chk 4ti2-1.6.9/test/markov/cuww5.mat 4ti2-1.6.9/test/markov/gmp/ 4ti2-1.6.9/test/markov/gmp/335.mar.chk 4ti2-1.6.9/test/markov/gmp/335.mat 4ti2-1.6.9/test/markov/gmp/cuww3.A 4ti2-1.6.9/test/markov/gmp/cuww3.mar.chk 4ti2-1.6.9/test/markov/gmp/cuww3.mat 4ti2-1.6.9/test/markov/gmp/grin10900.3.cost 4ti2-1.6.9/test/markov/gmp/grin10900.3.lat 4ti2-1.6.9/test/markov/gmp/grin10900.3.mar.chk 4ti2-1.6.9/test/markov/gmp/grin10900.3.zsol 4ti2-1.6.9/test/markov/gmp/grin1412.mar.chk 4ti2-1.6.9/test/markov/gmp/grin1412.mat 4ti2-1.6.9/test/markov/gmp/Makefile.am 4ti2-1.6.9/test/markov/gmp/Makefile.in 4ti2-1.6.9/test/markov/gmp/prob06.lat 4ti2-1.6.9/test/markov/gmp/prob06.mar.chk 4ti2-1.6.9/test/markov/gmp/prob06.mat 4ti2-1.6.9/test/markov/grin.mar.chk 4ti2-1.6.9/test/markov/grin.mat 4ti2-1.6.9/test/markov/grin10900.1.cost 4ti2-1.6.9/test/markov/grin10900.1.lat 4ti2-1.6.9/test/markov/grin10900.1.mar.chk 4ti2-1.6.9/test/markov/grin10900.1.zsol 4ti2-1.6.9/test/markov/grin10900.2.cost 4ti2-1.6.9/test/markov/grin10900.2.lat 4ti2-1.6.9/test/markov/grin10900.2.mar.chk 4ti2-1.6.9/test/markov/grin10900.2.zsol 4ti2-1.6.9/test/markov/grin10900.3.cost 4ti2-1.6.9/test/markov/grin10900.3.lat 4ti2-1.6.9/test/markov/grin10900.3.mar.chk 4ti2-1.6.9/test/markov/grin10900.3.zsol 4ti2-1.6.9/test/markov/grin10900.4.cost 4ti2-1.6.9/test/markov/grin10900.4.lat 4ti2-1.6.9/test/markov/grin10900.4.mar.chk 4ti2-1.6.9/test/markov/grin10900.4.zsol 4ti2-1.6.9/test/markov/grin1412.mar.chk 4ti2-1.6.9/test/markov/grin1412.mat 4ti2-1.6.9/test/markov/Makefile.am 4ti2-1.6.9/test/markov/Makefile.in 4ti2-1.6.9/test/markov/maxmin/ 4ti2-1.6.9/test/markov/maxmin/333.mar.chk 4ti2-1.6.9/test/markov/maxmin/333.mat 4ti2-1.6.9/test/markov/maxmin/cuww1.mar.chk 4ti2-1.6.9/test/markov/maxmin/cuww1.mat 4ti2-1.6.9/test/markov/maxmin/cuww3.mar.chk 4ti2-1.6.9/test/markov/maxmin/cuww3.mat 4ti2-1.6.9/test/markov/maxmin/cuww5.mar.chk 4ti2-1.6.9/test/markov/maxmin/cuww5.mat 4ti2-1.6.9/test/markov/maxmin/Makefile.am 4ti2-1.6.9/test/markov/maxmin/Makefile.in 4ti2-1.6.9/test/markov/normalize-bug.lat 4ti2-1.6.9/test/markov/normalize-bug.mar.chk 4ti2-1.6.9/test/markov/prob02.mar.chk 4ti2-1.6.9/test/markov/prob02.mat 4ti2-1.6.9/test/markov/prob04.mar.chk 4ti2-1.6.9/test/markov/prob04.mat 4ti2-1.6.9/test/markov/prob06.lat 4ti2-1.6.9/test/markov/prob06.mar.chk 4ti2-1.6.9/test/markov/prob06.mat 4ti2-1.6.9/test/markov/prob08.mar.chk 4ti2-1.6.9/test/markov/prob08.mat 4ti2-1.6.9/test/markov/prob10.mar.chk 4ti2-1.6.9/test/markov/prob10.mat 4ti2-1.6.9/test/markov/prob12.mar.chk 4ti2-1.6.9/test/markov/prob12.mat 4ti2-1.6.9/test/markov/prob14.mar.chk 4ti2-1.6.9/test/markov/prob14.mat 4ti2-1.6.9/test/markov/prob16.lat 4ti2-1.6.9/test/markov/prob16.mar.chk 4ti2-1.6.9/test/markov/prob16.mat 4ti2-1.6.9/test/markov/prob18.mar.chk 4ti2-1.6.9/test/markov/prob18.mat 4ti2-1.6.9/test/markov/prob20.mar.chk 4ti2-1.6.9/test/markov/prob20.mat 4ti2-1.6.9/test/markov/saturation/ 4ti2-1.6.9/test/markov/saturation/333.mar.chk 4ti2-1.6.9/test/markov/saturation/333.mat 4ti2-1.6.9/test/markov/saturation/334.mar.chk 4ti2-1.6.9/test/markov/saturation/334.mat 4ti2-1.6.9/test/markov/saturation/cuww1.bs 4ti2-1.6.9/test/markov/saturation/cuww1.mar.chk 4ti2-1.6.9/test/markov/saturation/cuww1.mat 4ti2-1.6.9/test/markov/saturation/cuww1.vs 4ti2-1.6.9/test/markov/saturation/cuww2.mar.chk 4ti2-1.6.9/test/markov/saturation/cuww2.mat 4ti2-1.6.9/test/markov/saturation/cuww3.A 4ti2-1.6.9/test/markov/saturation/cuww3.mar.chk 4ti2-1.6.9/test/markov/saturation/cuww3.mat 4ti2-1.6.9/test/markov/saturation/cuww4.mar.chk 4ti2-1.6.9/test/markov/saturation/cuww4.mat 4ti2-1.6.9/test/markov/saturation/cuww5.mar.chk 4ti2-1.6.9/test/markov/saturation/cuww5.mat 4ti2-1.6.9/test/markov/saturation/Makefile.am 4ti2-1.6.9/test/markov/saturation/Makefile.in 4ti2-1.6.9/test/markov/saturation/prob02.gro 4ti2-1.6.9/test/markov/saturation/prob02.mar.chk 4ti2-1.6.9/test/markov/saturation/prob02.mat 4ti2-1.6.9/test/markov/saturation/prob04.gro 4ti2-1.6.9/test/markov/saturation/prob04.mar.chk 4ti2-1.6.9/test/markov/saturation/prob04.mat 4ti2-1.6.9/test/markov/saturation/prob06.gro 4ti2-1.6.9/test/markov/saturation/prob06.lat 4ti2-1.6.9/test/markov/saturation/prob06.mar.chk 4ti2-1.6.9/test/markov/saturation/prob06.mat 4ti2-1.6.9/test/markov/saturation/prob08.gro 4ti2-1.6.9/test/markov/saturation/prob08.mar.chk 4ti2-1.6.9/test/markov/saturation/prob08.mat 4ti2-1.6.9/test/markov/saturation/prob10.gro 4ti2-1.6.9/test/markov/saturation/prob10.mar.chk 4ti2-1.6.9/test/markov/saturation/prob10.mat 4ti2-1.6.9/test/markov/saturation/prob12.gro 4ti2-1.6.9/test/markov/saturation/prob12.mar.chk 4ti2-1.6.9/test/markov/saturation/prob12.mat 4ti2-1.6.9/test/markov/saturation/prob14.gro 4ti2-1.6.9/test/markov/saturation/prob14.mar.chk 4ti2-1.6.9/test/markov/saturation/prob14.mat 4ti2-1.6.9/test/markov/saturation/prob16.gro 4ti2-1.6.9/test/markov/saturation/prob16.lat 4ti2-1.6.9/test/markov/saturation/prob16.mar.chk 4ti2-1.6.9/test/markov/saturation/prob16.mat 4ti2-1.6.9/test/markov/saturation/prob18.gro 4ti2-1.6.9/test/markov/saturation/prob18.mar.chk 4ti2-1.6.9/test/markov/saturation/prob18.mat 4ti2-1.6.9/test/markov/saturation/prob20.mar.chk 4ti2-1.6.9/test/markov/saturation/prob20.mat 4ti2-1.6.9/test/minimize/ 4ti2-1.6.9/test/minimize/4coins.cost 4ti2-1.6.9/test/minimize/4coins.mat 4ti2-1.6.9/test/minimize/4coins.min.chk 4ti2-1.6.9/test/minimize/4coins.sign 4ti2-1.6.9/test/minimize/4coins.zsol 4ti2-1.6.9/test/minimize/grin.cost 4ti2-1.6.9/test/minimize/grin.gro 4ti2-1.6.9/test/minimize/grin.mar 4ti2-1.6.9/test/minimize/grin.mat 4ti2-1.6.9/test/minimize/grin.min.chk 4ti2-1.6.9/test/minimize/grin.opt 4ti2-1.6.9/test/minimize/grin.zsol 4ti2-1.6.9/test/minimize/grin10900.1.cost 4ti2-1.6.9/test/minimize/grin10900.1.gro 4ti2-1.6.9/test/minimize/grin10900.1.mar 4ti2-1.6.9/test/minimize/grin10900.1.mat 4ti2-1.6.9/test/minimize/grin10900.1.min.chk 4ti2-1.6.9/test/minimize/grin10900.1.opt 4ti2-1.6.9/test/minimize/grin10900.1.zsol 4ti2-1.6.9/test/minimize/grin10900.2.cost 4ti2-1.6.9/test/minimize/grin10900.2.gro 4ti2-1.6.9/test/minimize/grin10900.2.mar 4ti2-1.6.9/test/minimize/grin10900.2.mat 4ti2-1.6.9/test/minimize/grin10900.2.min.chk 4ti2-1.6.9/test/minimize/grin10900.2.opt 4ti2-1.6.9/test/minimize/grin10900.2.zsol 4ti2-1.6.9/test/minimize/grin10900.3.cost 4ti2-1.6.9/test/minimize/grin10900.3.gro 4ti2-1.6.9/test/minimize/grin10900.3.mar 4ti2-1.6.9/test/minimize/grin10900.3.mat 4ti2-1.6.9/test/minimize/grin10900.3.min.chk 4ti2-1.6.9/test/minimize/grin10900.3.opt 4ti2-1.6.9/test/minimize/grin10900.3.zsol 4ti2-1.6.9/test/minimize/grin10900.4.cost 4ti2-1.6.9/test/minimize/grin10900.4.gro 4ti2-1.6.9/test/minimize/grin10900.4.mar 4ti2-1.6.9/test/minimize/grin10900.4.mat 4ti2-1.6.9/test/minimize/grin10900.4.min.chk 4ti2-1.6.9/test/minimize/grin10900.4.zsol 4ti2-1.6.9/test/minimize/grin10900.5.cost 4ti2-1.6.9/test/minimize/grin10900.5.mar 4ti2-1.6.9/test/minimize/grin10900.5.mat 4ti2-1.6.9/test/minimize/grin10900.5.min.chk 4ti2-1.6.9/test/minimize/grin10900.5.opt 4ti2-1.6.9/test/minimize/grin10900.5.zsol 4ti2-1.6.9/test/minimize/Makefile.am 4ti2-1.6.9/test/minimize/Makefile.in 4ti2-1.6.9/test/normalform/ 4ti2-1.6.9/test/normalform/4coins.cost 4ti2-1.6.9/test/normalform/4coins.feas 4ti2-1.6.9/test/normalform/4coins.gro 4ti2-1.6.9/test/normalform/4coins.mat 4ti2-1.6.9/test/normalform/4coins.nf.chk 4ti2-1.6.9/test/normalform/grin.cost 4ti2-1.6.9/test/normalform/grin.feas 4ti2-1.6.9/test/normalform/grin.gro 4ti2-1.6.9/test/normalform/grin.mat 4ti2-1.6.9/test/normalform/grin.nf.chk 4ti2-1.6.9/test/normalform/Makefile.am 4ti2-1.6.9/test/normalform/Makefile.in 4ti2-1.6.9/test/output/ 4ti2-1.6.9/test/output/binomials/ 4ti2-1.6.9/test/output/binomials/cuww1.gro 4ti2-1.6.9/test/output/binomials/cuww1.gro.bin.chk 4ti2-1.6.9/test/output/binomials/cuww1.gro.vars 4ti2-1.6.9/test/output/binomials/Makefile.am 4ti2-1.6.9/test/output/binomials/Makefile.in 4ti2-1.6.9/test/output/Makefile.am 4ti2-1.6.9/test/output/Makefile.in 4ti2-1.6.9/test/output/maple/ 4ti2-1.6.9/test/output/maple/cuww1.gro 4ti2-1.6.9/test/output/maple/cuww1.gro.maple.chk 4ti2-1.6.9/test/output/maple/Makefile.am 4ti2-1.6.9/test/output/maple/Makefile.in 4ti2-1.6.9/test/output/positive/ 4ti2-1.6.9/test/output/positive/cuww1.gro 4ti2-1.6.9/test/output/positive/cuww1.gro.pos.chk 4ti2-1.6.9/test/output/positive/Makefile.am 4ti2-1.6.9/test/output/positive/Makefile.in 4ti2-1.6.9/test/ppi/ 4ti2-1.6.9/test/ppi/check-ppi.in 4ti2-1.6.9/test/ppi/Makefile.am 4ti2-1.6.9/test/ppi/Makefile.in 4ti2-1.6.9/test/ppi/ppi10.gra.chk 4ti2-1.6.9/test/ppi/ppi16.gra.chk 4ti2-1.6.9/test/ppi/ppi5.gra.chk 4ti2-1.6.9/test/qsolve/ 4ti2-1.6.9/test/qsolve/33.1.mat 4ti2-1.6.9/test/qsolve/33.1.qhom.chk 4ti2-1.6.9/test/qsolve/33.1.sign 4ti2-1.6.9/test/qsolve/33.2.mat 4ti2-1.6.9/test/qsolve/33.2.qhom.chk 4ti2-1.6.9/test/qsolve/33.2.sign 4ti2-1.6.9/test/qsolve/33.3.mat 4ti2-1.6.9/test/qsolve/33.3.qhom.chk 4ti2-1.6.9/test/qsolve/33.3.sign 4ti2-1.6.9/test/qsolve/33.c.mat 4ti2-1.6.9/test/qsolve/33.c.qhom.chk 4ti2-1.6.9/test/qsolve/33.c.sign 4ti2-1.6.9/test/qsolve/33.r.mat 4ti2-1.6.9/test/qsolve/33.r.qhom.chk 4ti2-1.6.9/test/qsolve/33.r.sign 4ti2-1.6.9/test/qsolve/44.c.mat 4ti2-1.6.9/test/qsolve/44.c.qhom.chk 4ti2-1.6.9/test/qsolve/44.c.sign 4ti2-1.6.9/test/qsolve/44.r.mat 4ti2-1.6.9/test/qsolve/44.r.qhom.chk 4ti2-1.6.9/test/qsolve/44.r.sign 4ti2-1.6.9/test/qsolve/55.r.mat 4ti2-1.6.9/test/qsolve/55.r.qhom.chk 4ti2-1.6.9/test/qsolve/55.r.sign 4ti2-1.6.9/test/qsolve/api/ 4ti2-1.6.9/test/qsolve/api/circuits_main.cpp 4ti2-1.6.9/test/qsolve/api/Makefile.am 4ti2-1.6.9/test/qsolve/api/Makefile.in 4ti2-1.6.9/test/qsolve/api/qsolve_main.cpp 4ti2-1.6.9/test/qsolve/api/rays_main.cpp 4ti2-1.6.9/test/qsolve/api/test_input_conversion_64.cpp 4ti2-1.6.9/test/qsolve/api/test_input_conversion_64_to_gmp.sh 4ti2-1.6.9/test/qsolve/api/test_input_conversion_gmp.cpp 4ti2-1.6.9/test/qsolve/api/test_input_conversion_gmp_to_64.sh 4ti2-1.6.9/test/qsolve/ex.mat 4ti2-1.6.9/test/qsolve/ex.qhom.chk 4ti2-1.6.9/test/qsolve/ex.rel 4ti2-1.6.9/test/qsolve/ex.sign 4ti2-1.6.9/test/qsolve/gmp/ 4ti2-1.6.9/test/qsolve/gmp/44.c.mat 4ti2-1.6.9/test/qsolve/gmp/44.c.qhom.chk 4ti2-1.6.9/test/qsolve/gmp/44.c.sign 4ti2-1.6.9/test/qsolve/gmp/44.r.mat 4ti2-1.6.9/test/qsolve/gmp/44.r.qhom.chk 4ti2-1.6.9/test/qsolve/gmp/44.r.sign 4ti2-1.6.9/test/qsolve/gmp/Makefile.am 4ti2-1.6.9/test/qsolve/gmp/Makefile.in 4ti2-1.6.9/test/qsolve/gmp/ppp.c.mat 4ti2-1.6.9/test/qsolve/gmp/ppp.c.qhom.chk 4ti2-1.6.9/test/qsolve/gmp/ppp.c.sign 4ti2-1.6.9/test/qsolve/Makefile.am 4ti2-1.6.9/test/qsolve/Makefile.in 4ti2-1.6.9/test/qsolve/ppp.r.mat 4ti2-1.6.9/test/qsolve/ppp.r.qfree.chk 4ti2-1.6.9/test/qsolve/ppp.r.qhom.chk 4ti2-1.6.9/test/qsolve/ppp.r.sign 4ti2-1.6.9/test/qsolve/small.mat 4ti2-1.6.9/test/qsolve/small.qhom.chk 4ti2-1.6.9/test/qsolve/small.rel 4ti2-1.6.9/test/qsolve/small.sign 4ti2-1.6.9/test/qsolve/subspace.mat 4ti2-1.6.9/test/qsolve/subspace.qfree.chk 4ti2-1.6.9/test/qsolve/subspace.qhom.chk 4ti2-1.6.9/test/qsolve/subspace2.mat 4ti2-1.6.9/test/qsolve/subspace2.qfree.chk 4ti2-1.6.9/test/qsolve/subspace2.qhom.chk 4ti2-1.6.9/test/qsolve/subspace2.sign 4ti2-1.6.9/test/rays/ 4ti2-1.6.9/test/rays/33.mat 4ti2-1.6.9/test/rays/33.r.mat 4ti2-1.6.9/test/rays/33.r.ray.chk 4ti2-1.6.9/test/rays/33.r.sign 4ti2-1.6.9/test/rays/33.ray.chk 4ti2-1.6.9/test/rays/44.mat 4ti2-1.6.9/test/rays/44.r.mat 4ti2-1.6.9/test/rays/44.r.ray.chk 4ti2-1.6.9/test/rays/44.r.sign 4ti2-1.6.9/test/rays/44.ray.chk 4ti2-1.6.9/test/rays/55.mat 4ti2-1.6.9/test/rays/55.r.mat 4ti2-1.6.9/test/rays/55.r.ray.chk 4ti2-1.6.9/test/rays/55.r.sign 4ti2-1.6.9/test/rays/55.ray.chk 4ti2-1.6.9/test/rays/ex.mat 4ti2-1.6.9/test/rays/ex.ray.chk 4ti2-1.6.9/test/rays/ex.rel 4ti2-1.6.9/test/rays/ex.sign 4ti2-1.6.9/test/rays/Makefile.am 4ti2-1.6.9/test/rays/Makefile.in 4ti2-1.6.9/test/rays/ppp.r.mat 4ti2-1.6.9/test/rays/ppp.r.qfree.chk 4ti2-1.6.9/test/rays/ppp.r.ray.chk 4ti2-1.6.9/test/rays/ppp.r.sign 4ti2-1.6.9/test/rays/small.mat 4ti2-1.6.9/test/rays/small.ray.chk 4ti2-1.6.9/test/rays/small.rel 4ti2-1.6.9/test/rays/small.sign 4ti2-1.6.9/test/rays/subspace.mat 4ti2-1.6.9/test/rays/subspace.qfree.chk 4ti2-1.6.9/test/rays/subspace.ray.chk 4ti2-1.6.9/test/rays/subspace.sign 4ti2-1.6.9/test/rays/subspace2.mat 4ti2-1.6.9/test/rays/subspace2.qfree.chk 4ti2-1.6.9/test/rays/subspace2.ray.chk 4ti2-1.6.9/test/rays/subspace2.sign 4ti2-1.6.9/test/reportfailures.in 4ti2-1.6.9/test/subdirsum.in 4ti2-1.6.9/test/walk/ 4ti2-1.6.9/test/walk/344.cost 4ti2-1.6.9/test/walk/344.cost.start 4ti2-1.6.9/test/walk/344.gro.chk 4ti2-1.6.9/test/walk/344.gro.start 4ti2-1.6.9/test/walk/344.mar 4ti2-1.6.9/test/walk/344.mat 4ti2-1.6.9/test/walk/cuww1.cost 4ti2-1.6.9/test/walk/cuww1.cost.start 4ti2-1.6.9/test/walk/cuww1.gro.chk 4ti2-1.6.9/test/walk/cuww1.gro.start 4ti2-1.6.9/test/walk/cuww1.mat 4ti2-1.6.9/test/walk/grin.cost 4ti2-1.6.9/test/walk/grin.cost.start 4ti2-1.6.9/test/walk/grin.gro.chk 4ti2-1.6.9/test/walk/grin.gro.start 4ti2-1.6.9/test/walk/grin.mar 4ti2-1.6.9/test/walk/grin.mat 4ti2-1.6.9/test/walk/Makefile.am 4ti2-1.6.9/test/walk/Makefile.in 4ti2-1.6.9/test/walk/prob20.cost 4ti2-1.6.9/test/walk/prob20.cost.start 4ti2-1.6.9/test/walk/prob20.gro.chk 4ti2-1.6.9/test/walk/prob20.gro.start 4ti2-1.6.9/test/walk/prob20.lat 4ti2-1.6.9/test/walk/prob20.mat 4ti2-1.6.9/test/walk/prob20.sign 4ti2-1.6.9/test/zbasis/ 4ti2-1.6.9/test/zbasis/333.lat.chk 4ti2-1.6.9/test/zbasis/333.mat 4ti2-1.6.9/test/zbasis/334.lat.chk 4ti2-1.6.9/test/zbasis/334.mat 4ti2-1.6.9/test/zbasis/335.lat.chk 4ti2-1.6.9/test/zbasis/335.mat 4ti2-1.6.9/test/zbasis/344.lat.chk 4ti2-1.6.9/test/zbasis/344.mat 4ti2-1.6.9/test/zbasis/cuww1.lat.chk 4ti2-1.6.9/test/zbasis/cuww1.mat 4ti2-1.6.9/test/zbasis/cuww2.lat.chk 4ti2-1.6.9/test/zbasis/cuww2.mat 4ti2-1.6.9/test/zbasis/cuww3.lat.chk 4ti2-1.6.9/test/zbasis/cuww3.mat 4ti2-1.6.9/test/zbasis/cuww4.lat.chk 4ti2-1.6.9/test/zbasis/cuww4.mat 4ti2-1.6.9/test/zbasis/cuww5.lat.chk 4ti2-1.6.9/test/zbasis/cuww5.mat 4ti2-1.6.9/test/zbasis/grin.lat.chk 4ti2-1.6.9/test/zbasis/grin.mat 4ti2-1.6.9/test/zbasis/Makefile.am 4ti2-1.6.9/test/zbasis/Makefile.in 4ti2-1.6.9/test/zsolve/ 4ti2-1.6.9/test/zsolve/33.mat 4ti2-1.6.9/test/zsolve/33.zfree.chk 4ti2-1.6.9/test/zsolve/33.zhom.chk 4ti2-1.6.9/test/zsolve/33.zinhom.chk 4ti2-1.6.9/test/zsolve/a1.mat 4ti2-1.6.9/test/zsolve/a1.rel 4ti2-1.6.9/test/zsolve/a1.rhs 4ti2-1.6.9/test/zsolve/a1.sign 4ti2-1.6.9/test/zsolve/a1.zhom.chk 4ti2-1.6.9/test/zsolve/a1.zinhom.chk 4ti2-1.6.9/test/zsolve/affine.lat 4ti2-1.6.9/test/zsolve/affine.sign 4ti2-1.6.9/test/zsolve/affine.zhom.chk 4ti2-1.6.9/test/zsolve/affine.zinhom.chk 4ti2-1.6.9/test/zsolve/api/ 4ti2-1.6.9/test/zsolve/api/Makefile.am 4ti2-1.6.9/test/zsolve/api/Makefile.in 4ti2-1.6.9/test/zsolve/api/test_zsolve_api.cpp 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.mat 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.rel 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.rhs 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.sign 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.zhom.chk 4ti2-1.6.9/test/zsolve/dutour-testcase-2013-08-21.zinhom.chk 4ti2-1.6.9/test/zsolve/hppi6.lb 4ti2-1.6.9/test/zsolve/hppi6.mat 4ti2-1.6.9/test/zsolve/hppi6.rel 4ti2-1.6.9/test/zsolve/hppi6.sign 4ti2-1.6.9/test/zsolve/hppi6.ub 4ti2-1.6.9/test/zsolve/hppi6.zhom.chk 4ti2-1.6.9/test/zsolve/hppi6.zinhom.chk 4ti2-1.6.9/test/zsolve/lattice_generation_bug.mat 4ti2-1.6.9/test/zsolve/lattice_generation_bug.rel 4ti2-1.6.9/test/zsolve/lattice_generation_bug.rhs 4ti2-1.6.9/test/zsolve/lattice_generation_bug.sign 4ti2-1.6.9/test/zsolve/lattice_generation_bug.zhom.chk 4ti2-1.6.9/test/zsolve/lattice_generation_bug.zinhom.chk 4ti2-1.6.9/test/zsolve/m33.mat 4ti2-1.6.9/test/zsolve/m33.rel 4ti2-1.6.9/test/zsolve/m33.sign 4ti2-1.6.9/test/zsolve/Makefile.am 4ti2-1.6.9/test/zsolve/Makefile.in 4ti2-1.6.9/test/zsolve/non-pointed-2.mat 4ti2-1.6.9/test/zsolve/non-pointed-2.sign 4ti2-1.6.9/test/zsolve/non-pointed-2.zhom.chk 4ti2-1.6.9/test/zsolve/non-pointed.mat 4ti2-1.6.9/test/zsolve/non-pointed.sign 4ti2-1.6.9/test/zsolve/non-pointed.zfree.chk 4ti2-1.6.9/test/zsolve/non-pointed.zhom.chk 4ti2-1.6.9/test/zsolve/system.mat 4ti2-1.6.9/test/zsolve/system.rel 4ti2-1.6.9/test/zsolve/system.rhs 4ti2-1.6.9/test/zsolve/system.sign 4ti2-1.6.9/test/zsolve/system.zhom.chk 4ti2-1.6.9/test/zsolve/system.zinhom.chk 4ti2-1.6.9/test/zsolve/zero-rows.mat 4ti2-1.6.9/test/zsolve/zero-rows.sign 4ti2-1.6.9/test/zsolve/zero-rows.zfree.dont-chk 4ti2-1.6.9/test/zsolve/zero-rows.zhom.dont-chk 4ti2-1.6.9/test-driver 4ti2-1.6.9/THANKS 4ti2-1.6.9/TODO phase `unpack' succeeded after 0.3 seconds starting phase `bootstrap' GNU build system bootstrapping not needed phase `bootstrap' succeeded after 0.0 seconds starting phase `patch-usr-bin-file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' patch-/usr/bin/file: ./swig/configure: changing `/usr/bin/file' to `/gnu/store/4ic6244i3ca4b4rxc2wnrgllsidyishv-file-5.39/bin/file' phase `patch-usr-bin-file' succeeded after 0.4 seconds starting phase `patch-source-shebangs' patch-shebang: ./autogen.sh: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./compile: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./config.guess: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./config.sub: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./configure: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./depcomp: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./install-sh: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./ltmain.sh: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./missing: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./src/groebner/script.template: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./src/groebner/script.template.in: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./src/zsolve/graver.template: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./src/zsolve/hilbert.template: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./swig/configure: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./test-driver: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./test/check.template.in: changing `/bin/bash' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash' patch-shebang: ./test/flavorsum.in: changing `/bin/bash' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash' patch-shebang: ./test/ppi/check-ppi.in: changing `/bin/bash' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash' patch-shebang: ./test/qsolve/api/test_input_conversion_64_to_gmp.sh: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./test/qsolve/api/test_input_conversion_gmp_to_64.sh: changing `/bin/sh' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/sh' patch-shebang: ./test/reportfailures.in: changing `/bin/bash' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash' patch-shebang: ./test/subdirsum.in: changing `/bin/bash' to `/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash' phase `patch-source-shebangs' succeeded after 0.2 seconds starting phase `configure' source directory: "/tmp/guix-build-4ti2-1.6.9.drv-0/4ti2-1.6.9" (relative from build: ".") build directory: "/tmp/guix-build-4ti2-1.6.9.drv-0/4ti2-1.6.9" configure flags: ("CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/n0dwqrhai42x4ycr7m71ffqvm8yzdkz8-4ti2-1.6.9" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=aarch64-linux-gnu") checking for a BSD-compatible install... /gnu/store/d251rfgc9nm2clzffzhgiipdvfvzkvwi-coreutils-8.32/bin/install -c checking whether build environment is sane... yes checking for aarch64-linux-gnu-strip... aarch64-linux-gnu-strip checking for a thread-safe mkdir -p... /gnu/store/d251rfgc9nm2clzffzhgiipdvfvzkvwi-coreutils-8.32/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... no checking whether make supports nested variables... yes checking for aarch64-linux-gnu-gcc... aarch64-linux-gnu-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... yes checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether aarch64-linux-gnu-gcc accepts -g... yes checking for aarch64-linux-gnu-gcc option to accept ISO C89... none needed checking whether aarch64-linux-gnu-gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of aarch64-linux-gnu-gcc... gcc3 checking how to run the C preprocessor... aarch64-linux-gnu-gcc -E checking for grep that handles long lines and -e... /gnu/store/xjwp2hsd9256icjjybfrmznppjicywf6-grep-3.6/bin/grep checking for egrep... /gnu/store/xjwp2hsd9256icjjybfrmznppjicywf6-grep-3.6/bin/grep -E checking for Minix Amsterdam compiler... no checking for aarch64-linux-gnu-ar... aarch64-linux-gnu-ar checking for aarch64-linux-gnu-ranlib... aarch64-linux-gnu-ranlib checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking minix/config.h usability... no checking minix/config.h presence... no checking for minix/config.h... no checking whether it is safe to define __EXTENSIONS__... yes checking whether _XOPEN_SOURCE should be defined... no checking build system type... x86_64-unknown-linux-gnu checking host system type... aarch64-unknown-linux-gnu checking whether the preprocessor supports include_next... yes checking whether system header files limit the line length... no checking getopt.h usability... yes checking getopt.h presence... yes checking for getopt.h... yes checking for unistd.h... (cached) yes checking for getopt.h... (cached) yes checking for getopt_long_only... yes checking whether getopt is POSIX compatible... guessing yes checking for working GNU getopt function... guessing no checking whether getenv is declared... yes checking for wchar_t... yes checking for pid_t... yes checking for mode_t... yes checking for ssize_t... yes checking whether NULL can be used in arbitrary expressions... yes checking whether chdir is declared without a macro... yes checking whether chown is declared without a macro... yes checking whether dup is declared without a macro... yes checking whether dup2 is declared without a macro... yes checking whether dup3 is declared without a macro... yes checking whether environ is declared without a macro... yes checking whether euidaccess is declared without a macro... yes checking whether faccessat is declared without a macro... yes checking whether fchdir is declared without a macro... yes checking whether fchownat is declared without a macro... yes checking whether fdatasync is declared without a macro... yes checking whether fsync is declared without a macro... yes checking whether ftruncate is declared without a macro... yes checking whether getcwd is declared without a macro... yes checking whether getdomainname is declared without a macro... yes checking whether getdtablesize is declared without a macro... yes checking whether getgroups is declared without a macro... yes checking whether gethostname is declared without a macro... yes checking whether getlogin is declared without a macro... yes checking whether getlogin_r is declared without a macro... yes checking whether getpagesize is declared without a macro... yes checking whether getusershell is declared without a macro... yes checking whether setusershell is declared without a macro... yes checking whether endusershell is declared without a macro... yes checking whether group_member is declared without a macro... yes checking whether isatty is declared without a macro... yes checking whether lchown is declared without a macro... yes checking whether link is declared without a macro... yes checking whether linkat is declared without a macro... yes checking whether lseek is declared without a macro... yes checking whether pipe is declared without a macro... yes checking whether pipe2 is declared without a macro... yes checking whether pread is declared without a macro... yes checking whether pwrite is declared without a macro... yes checking whether readlink is declared without a macro... yes checking whether readlinkat is declared without a macro... yes checking whether rmdir is declared without a macro... yes checking whether sethostname is declared without a macro... yes checking whether sleep is declared without a macro... yes checking whether symlink is declared without a macro... yes checking whether symlinkat is declared without a macro... yes checking whether ttyname_r is declared without a macro... yes checking whether unlink is declared without a macro... yes checking whether unlinkat is declared without a macro... yes checking whether usleep is declared without a macro... yes checking for C compiler vendor... gnu checking whether C compiler accepts -malign-double... no checking whether C compiler accepts -fstrict-aliasing... yes checking whether C compiler accepts -ffast-math... yes checking for gcc architecture flag... checking for gcc architecture flag... unknown checking whether C compiler accepts -O3 -fomit-frame-pointer -fstrict-aliasing -ffast-math... yes checking CFLAGS for maximum warnings... -Wall checking for aarch64-linux-gnu-g++... aarch64-linux-gnu-g++ checking whether we are using the GNU C++ compiler... yes checking whether aarch64-linux-gnu-g++ accepts -g... yes checking dependency style of aarch64-linux-gnu-g++... gcc3 checking for C++ compiler vendor... gnu checking whether C++ compiler accepts -malign-double... no checking whether C++ compiler accepts -fstrict-aliasing... yes checking whether C++ compiler accepts -ffast-math... yes checking for gcc architecture flag... (cached) checking for gcc architecture flag... unknown checking whether C++ compiler accepts -O3 -fomit-frame-pointer -fstrict-aliasing -ffast-math... yes checking CXXFLAGS for maximum warnings... -Wall checking whether C++ compiler accepts -std=c++0x... yes checking whether C++ compiler accepts -ftrapv... yes checking whether -ftrapv actually seems to work for int... configure: error: in `/tmp/guix-build-4ti2-1.6.9.drv-0/4ti2-1.6.9': configure: error: cannot run test program while cross compiling See `config.log' for more details error: in phase 'configure': uncaught exception: %exception #<&invoke-error program: "/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" arguments: ("./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/n0dwqrhai42x4ycr7m71ffqvm8yzdkz8-4ti2-1.6.9" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=aarch64-linux-gnu") exit-status: 1 term-signal: #f stop-signal: #f> phase `configure' failed after 6.2 seconds command "/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "./configure" "CC_FOR_BUILD=gcc" "CONFIG_SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "SHELL=/gnu/store/4y5m9lb8k3qkb1y9m02sw9w9a6hacd16-bash-minimal-5.1.8/bin/bash" "--prefix=/gnu/store/n0dwqrhai42x4ycr7m71ffqvm8yzdkz8-4ti2-1.6.9" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=aarch64-linux-gnu" failed with status 1