2025-01-03 08:04 0 usr/lib/debug/
2025-01-03 08:04 0 usr/lib/debug/usr/
2025-01-03 08:04 0 usr/lib/debug/usr/bin/
2025-01-03 08:04 915008 usr/lib/debug/usr/bin/4ti2gmp.exe.dbg
2025-01-03 08:04 774405 usr/lib/debug/usr/bin/4ti2int32.exe.dbg
2025-01-03 08:04 774405 usr/lib/debug/usr/bin/4ti2int64.exe.dbg
2025-01-03 08:04 121619 usr/lib/debug/usr/bin/cyg4ti2common-0.dll.dbg
2025-01-03 08:04 11156717 usr/lib/debug/usr/bin/cyg4ti2gmp-0.dll.dbg
2025-01-03 08:04 7766006 usr/lib/debug/usr/bin/cyg4ti2int32-0.dll.dbg
2025-01-03 08:04 7778484 usr/lib/debug/usr/bin/cyg4ti2int64-0.dll.dbg
2025-01-03 08:04 279236 usr/lib/debug/usr/bin/cyg4ti2util-0.dll.dbg
2025-01-03 08:04 3749462 usr/lib/debug/usr/bin/cygzsolve-0.dll.dbg
2025-01-03 08:04 61190 usr/lib/debug/usr/bin/genmodel.exe.dbg
2025-01-03 08:04 61188 usr/lib/debug/usr/bin/gensymm.exe.dbg
2025-01-03 08:04 61186 usr/lib/debug/usr/bin/output.exe.dbg
2025-01-03 08:04 248164 usr/lib/debug/usr/bin/ppi.exe.dbg
2025-01-03 08:04 143803 usr/lib/debug/usr/bin/zsolve.exe.dbg
2025-01-03 08:04 0 usr/src/debug/
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/4ti2/
2023-04-25 20:23 3654 usr/src/debug/lib4ti2-1.6.10-1/src/4ti2/4ti2API.cpp
2023-04-25 20:23 2451 usr/src/debug/lib4ti2-1.6.10-1/src/4ti2/4ti2xx.h
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/
2023-04-25 20:23 1403 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/4ti2API.cpp
2023-04-25 20:23 1398 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Algorithm.cpp
2023-04-25 20:23 2265 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BasicCompletion.cpp
2023-04-25 20:23 2982 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BasicGeneration.cpp
2023-04-25 20:23 1442 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BasicGeneration.h
2023-04-25 20:23 5001 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BasicOptions.cpp
2023-04-25 20:23 2395 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BasicReduction.cpp
2023-04-25 20:23 2150 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Binomial.cpp
2023-04-25 20:23 15551 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Binomial.h
2023-04-25 20:23 2326 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialArray.cpp
2023-04-25 20:23 2708 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialArray.h
2023-04-25 20:23 1168 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialArrayStream.cpp
2023-04-25 20:23 1114 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialCollection.cpp
2023-04-25 20:23 10370 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialFactory.cpp
2023-04-25 20:23 9121 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialSet.cpp
2023-04-25 20:23 4037 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialSet.h
2023-04-25 20:23 1145 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialSetStream.cpp
2023-04-25 20:23 1862 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BinomialStream.cpp
2023-04-25 20:23 1830 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/BitSetStream.cpp
2023-04-25 20:23 42924 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Bounded.cpp
2023-04-25 20:23 3649 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitImplementation.h
2023-04-25 20:23 10231 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitImplementation.tpp
2023-04-25 20:23 21928 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitMatrixAlgorithm.tpp
2023-04-25 20:23 8444 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitOptions.cpp
2023-04-25 20:23 4404 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitsAPI.cpp
2023-04-25 20:23 21431 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/CircuitSupportAlgorithm.tpp
2023-04-25 20:23 1014 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/circuits_main.cpp
2023-04-25 20:23 4986 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Completion.cpp
2023-04-25 20:23 2707 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Completion.h
2023-04-25 20:23 1796 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/DiagonalAlgorithm.cpp
2023-04-25 20:23 2921 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/DiagonalAlgorithm.tpp
2023-04-25 20:23 1460 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/EliminateAlgorithm.cpp
2023-04-25 20:23 2682 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Euclidean.cpp
2023-04-25 20:23 1330 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Extract.cpp
2023-04-25 20:23 6940 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Feasible.cpp
2023-04-25 20:23 3290 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Feasible.h
2023-04-25 20:23 7260 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/FeasibleStream.cpp
2023-04-25 20:23 6976 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/FilterReduction.cpp
2023-04-25 20:23 2120 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/FlipCompletion.cpp
2023-04-25 20:23 3406 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/GeneratingSet.cpp
2023-04-25 20:23 2023 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Globals.cpp
2023-04-25 20:23 2730 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/GroebnerBasis.cpp
2023-04-25 20:23 2504 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/groebner_main.cpp
2023-04-25 20:23 5891 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/HermiteAlgorithm.cpp
2023-04-25 20:23 2416 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/HermiteAlgorithm.h
2023-04-25 20:23 5357 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/HermiteAlgorithm.tpp
2023-04-25 20:23 5773 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/HybridGenSet.cpp
2023-04-25 20:23 1280 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/IndexSetConverter.h
2023-04-25 20:23 4041 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/LatticeBasis.cpp
2023-04-25 20:23 3114 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/LongDenseIndexSet.cpp
2023-04-25 20:23 17686 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/LongDenseIndexSet.h
2023-04-25 20:23 2178 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/LongDenseIndexSetStream.cpp
2023-04-25 20:23 4085 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/main.cpp
2023-04-25 20:23 7203 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Markov.cpp
2023-04-25 20:23 1921 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/markov_main.cpp
2023-04-25 20:23 10236 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/MaxMinGenSet.cpp
2023-04-25 20:23 1936 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Minimize.cpp
2023-04-25 20:23 7842 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/MinimizeOptions.cpp
2023-04-25 20:23 2572 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/minimize_main.cpp
2023-04-25 20:23 3219 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/normalform_main.cpp
2023-04-25 20:23 5806 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/OnesReduction.cpp
2023-04-25 20:23 24013 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Optimise.cpp
2023-04-25 20:23 9996 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Options.cpp
2023-04-25 20:23 2847 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/OrderedCompletion.cpp
2023-04-25 20:23 7359 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/ProjectLiftGenSet.cpp
2023-04-25 20:23 2628 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/ProjectLiftGenSet.h
2023-04-25 20:23 12798 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/QSolveAlgorithm.cpp
2023-04-25 20:23 12791 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/QSolveAPI.cpp
2023-04-25 20:23 2032 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/qsolve_main.cpp
2023-04-25 20:23 3626 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/RayAlgorithm.cpp
2023-04-25 20:23 10110 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/RayImplementation.tpp
2023-04-25 20:23 33413 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/RayMatrixAlgorithm.tpp
2023-04-25 20:23 4249 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/RaysAPI.cpp
2023-04-25 20:23 47532 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/RaySupportAlgorithm.tpp
2023-04-25 20:23 1006 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/rays_main.cpp
2023-04-25 20:23 11312 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SaturationGenSet.cpp
2023-04-25 20:23 2416 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/ShortDenseIndexSet.cpp
2023-04-25 20:23 12624 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/ShortDenseIndexSet.h
2023-04-25 20:23 2188 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/ShortDenseIndexSetStream.cpp
2023-04-25 20:23 2874 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Statistics.cpp
2023-04-25 20:23 4504 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SupportTree.h
2023-04-25 20:23 8723 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SupportTree.tpp
2023-04-25 20:23 2928 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SyzygyCompletion.cpp
2023-04-25 20:23 6457 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SyzygyGeneration.cpp
2023-04-25 20:23 1900 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/SyzygyGeneration.h
2023-04-25 20:23 2360 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/TermOrder.h
2023-04-25 20:23 1736 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Timer.cpp
2023-04-25 20:23 1327 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Truncated.cpp
2023-04-25 20:23 2024 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Vector.cpp
2023-04-25 20:23 15910 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/Vector.h
2023-04-25 20:23 8325 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorArray.cpp
2023-04-25 20:23 7085 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorArray.h
2023-04-25 20:23 2280 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorArrayAPI.cpp
2023-04-25 20:23 3851 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorArrayAPI.h
2023-04-25 20:23 2698 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorArrayStream.cpp
2023-04-25 20:23 2678 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/VectorStream.cpp
2023-04-25 20:23 6259 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WalkAlgorithm.cpp
2023-04-25 20:23 5894 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WalkOptions.cpp
2023-04-25 20:23 2959 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/walk_main.cpp
2023-04-25 20:23 5160 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WeightAlgorithm.cpp
2023-04-25 20:23 1569 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WeightedBinomialSet.cpp
2023-04-25 20:23 2071 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WeightedBinomialSet.h
2023-04-25 20:23 6229 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/WeightedReduction.cpp
2023-04-25 20:23 2364 usr/src/debug/lib4ti2-1.6.10-1/src/groebner/zbasis_main.cpp
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/ppi/
2023-04-25 20:23 32575 usr/src/debug/lib4ti2-1.6.10-1/src/ppi/ppi.cpp
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/util/
2023-04-25 20:23 8351 usr/src/debug/lib4ti2-1.6.10-1/src/util/genmodel.c
2023-04-25 20:23 970 usr/src/debug/lib4ti2-1.6.10-1/src/util/genmodel_main.c
2023-04-25 20:23 10242 usr/src/debug/lib4ti2-1.6.10-1/src/util/gensymm.c
2023-04-25 20:23 968 usr/src/debug/lib4ti2-1.6.10-1/src/util/gensymm_main.c
2023-04-25 20:23 18160 usr/src/debug/lib4ti2-1.6.10-1/src/util/orbit.c
2023-04-25 20:23 29788 usr/src/debug/lib4ti2-1.6.10-1/src/util/output.c
2023-04-25 20:23 966 usr/src/debug/lib4ti2-1.6.10-1/src/util/output_main.c
2023-04-25 20:23 20587 usr/src/debug/lib4ti2-1.6.10-1/src/util/print.c
2023-04-25 20:23 36542 usr/src/debug/lib4ti2-1.6.10-1/src/util/vector.c
2025-01-03 08:04 0 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/
2023-04-25 20:23 2356 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/4ti2API.cpp
2023-04-25 20:23 35366 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Algorithm.hpp
2023-04-25 20:23 3382 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/BitSet.cpp
2023-04-25 20:23 2189 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/BoundAPI.hpp
2023-04-25 20:23 15063 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/DefaultController.hpp
2023-04-25 20:23 1706 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Exception.h
2023-04-25 20:23 2731 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/GraverAPI.hpp
2023-04-25 20:23 4741 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Heuristics.hpp
2023-04-25 20:23 3191 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/HilbertAPI.hpp
2023-04-25 20:23 3177 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Integer.h
2023-04-25 20:23 13279 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Lattice.hpp
2023-04-25 20:23 9335 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/LinearSystem.hpp
2023-04-25 20:23 2295 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/main.cpp
2023-04-25 20:23 2150 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Norms.hpp
2023-04-25 20:23 13492 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Options.cpp
2023-04-25 20:23 1984 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Options.h
2023-04-25 20:23 1802 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/RelAPI.cpp
2023-04-25 20:23 1141 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/RelAPI.h
2023-04-25 20:23 3460 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Relation.hpp
2023-04-25 20:23 1973 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/SignAPI.cpp
2023-04-25 20:23 1145 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/SignAPI.h
2023-04-25 20:23 1996 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Timer.cpp
2023-04-25 20:23 7087 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Variables.hpp
2023-04-25 20:23 4529 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/Vector.hpp
2023-04-25 20:23 7050 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/VectorArray.hpp
2023-04-25 20:23 4984 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/VectorArrayAPI.hpp
2023-04-25 20:23 13608 usr/src/debug/lib4ti2-1.6.10-1/src/zsolve/ZSolveAPI.hpp