2022-01-30 23:44 0 usr/lib/debug/
2022-01-30 23:44 0 usr/lib/debug/usr/
2022-01-30 23:45 0 usr/lib/debug/usr/bin/
2022-01-30 23:44 924503 usr/lib/debug/usr/bin/4ti2gmp.exe.dbg
2022-01-30 23:44 784412 usr/lib/debug/usr/bin/4ti2int32.exe.dbg
2022-01-30 23:44 784412 usr/lib/debug/usr/bin/4ti2int64.exe.dbg
2022-01-30 23:44 124366 usr/lib/debug/usr/bin/cyg4ti2common-0.dll.dbg
2022-01-30 23:44 11180996 usr/lib/debug/usr/bin/cyg4ti2gmp-0.dll.dbg
2022-01-30 23:44 7787708 usr/lib/debug/usr/bin/cyg4ti2int32-0.dll.dbg
2022-01-30 23:45 7797050 usr/lib/debug/usr/bin/cyg4ti2int64-0.dll.dbg
2022-01-30 23:45 273395 usr/lib/debug/usr/bin/cyg4ti2util-0.dll.dbg
2022-01-30 23:45 3734528 usr/lib/debug/usr/bin/cygzsolve-0.dll.dbg
2022-01-30 23:45 64027 usr/lib/debug/usr/bin/genmodel.exe.dbg
2022-01-30 23:45 64025 usr/lib/debug/usr/bin/gensymm.exe.dbg
2022-01-30 23:45 64023 usr/lib/debug/usr/bin/output.exe.dbg
2022-01-30 23:45 256756 usr/lib/debug/usr/bin/ppi.exe.dbg
2022-01-30 23:45 146819 usr/lib/debug/usr/bin/zsolve.exe.dbg
2022-01-30 23:45 0 usr/src/debug/
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/4ti2/
2018-08-19 15:37 3654 usr/src/debug/lib4ti2-1.6.9-1/src/4ti2/4ti2API.cpp
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/
2018-08-24 12:38 1403 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/4ti2API.cpp
2018-08-19 15:37 1398 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Algorithm.cpp
2018-08-19 15:37 2265 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BasicCompletion.cpp
2018-08-19 15:37 2982 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BasicGeneration.cpp
2018-08-19 15:37 1442 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BasicGeneration.h
2018-08-19 15:37 5001 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BasicOptions.cpp
2018-08-19 15:37 2395 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BasicReduction.cpp
2018-08-19 15:37 2150 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Binomial.cpp
2018-08-19 15:37 15551 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Binomial.h
2018-08-19 15:37 2326 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialArray.cpp
2018-08-19 15:37 2708 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialArray.h
2018-08-19 15:37 1168 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialArrayStream.cpp
2018-08-19 15:37 1114 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialCollection.cpp
2018-08-19 15:37 10370 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialFactory.cpp
2018-08-19 15:37 9121 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialSet.cpp
2018-08-19 15:37 4037 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialSet.h
2018-08-19 15:37 1145 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialSetStream.cpp
2018-08-19 15:37 1862 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BinomialStream.cpp
2018-08-19 15:37 1830 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/BitSetStream.cpp
2018-08-19 15:37 42924 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Bounded.cpp
2018-08-19 15:37 3649 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitImplementation.h
2018-08-19 15:37 10231 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitImplementation.tpp
2018-08-27 22:57 21928 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitMatrixAlgorithm.tpp
2018-08-19 15:37 8444 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitOptions.cpp
2018-08-19 15:37 4404 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitsAPI.cpp
2018-08-27 22:57 21431 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/CircuitSupportAlgorithm.tpp
2018-08-19 15:37 1014 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/circuits_main.cpp
2018-08-19 15:37 4986 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Completion.cpp
2018-08-19 15:37 2707 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Completion.h
2018-08-19 15:37 1796 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/DiagonalAlgorithm.cpp
2018-08-19 15:37 2921 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/DiagonalAlgorithm.tpp
2018-08-19 15:37 1460 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/EliminateAlgorithm.cpp
2018-08-19 15:37 2682 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Euclidean.cpp
2018-08-19 15:37 1330 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Extract.cpp
2018-08-19 15:37 6940 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Feasible.cpp
2018-08-19 15:37 3290 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Feasible.h
2018-08-19 15:37 7260 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/FeasibleStream.cpp
2018-08-19 15:37 6976 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/FilterReduction.cpp
2018-08-19 15:37 2120 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/FlipCompletion.cpp
2018-08-19 15:37 3406 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/GeneratingSet.cpp
2018-08-19 15:37 1452 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Generation.h
2018-08-19 15:37 2023 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Globals.cpp
2018-08-19 15:37 2730 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/GroebnerBasis.cpp
2018-08-19 15:37 2504 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/groebner_main.cpp
2018-08-19 15:37 5891 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/HermiteAlgorithm.cpp
2018-08-19 15:37 2416 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/HermiteAlgorithm.h
2018-08-19 15:37 5357 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/HermiteAlgorithm.tpp
2018-08-19 15:37 5773 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/HybridGenSet.cpp
2018-08-19 15:37 1280 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/IndexSetConverter.h
2018-08-19 15:37 4041 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/LatticeBasis.cpp
2018-08-19 15:37 3114 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/LongDenseIndexSet.cpp
2018-08-19 15:37 17686 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/LongDenseIndexSet.h
2018-08-19 15:37 2178 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/LongDenseIndexSetStream.cpp
2018-08-19 15:37 4085 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/main.cpp
2018-08-19 15:37 7203 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Markov.cpp
2018-08-19 15:37 1921 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/markov_main.cpp
2018-08-19 15:37 10236 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/MaxMinGenSet.cpp
2018-08-19 15:37 1936 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Minimize.cpp
2018-08-19 15:37 7842 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/MinimizeOptions.cpp
2018-08-19 15:37 2572 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/minimize_main.cpp
2018-08-19 15:37 3219 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/normalform_main.cpp
2018-08-19 15:37 5806 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/OnesReduction.cpp
2018-08-19 15:37 24013 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Optimise.cpp
2018-08-19 15:37 9996 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Options.cpp
2018-08-19 15:37 2847 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/OrderedCompletion.cpp
2018-08-19 15:37 7359 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/ProjectLiftGenSet.cpp
2018-08-19 15:37 12798 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/QSolveAlgorithm.cpp
2018-08-28 03:41 12791 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/QSolveAPI.cpp
2018-08-19 15:37 2032 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/qsolve_main.cpp
2018-08-19 15:37 3626 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/RayAlgorithm.cpp
2018-08-19 15:37 10110 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/RayImplementation.tpp
2018-08-19 15:37 33413 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/RayMatrixAlgorithm.tpp
2018-08-19 15:37 4249 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/RaysAPI.cpp
2018-08-19 15:37 47532 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/RaySupportAlgorithm.tpp
2018-08-19 15:37 1006 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/rays_main.cpp
2018-08-19 15:37 11312 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/SaturationGenSet.cpp
2018-08-19 15:37 2416 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/ShortDenseIndexSet.cpp
2018-08-19 15:37 12624 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/ShortDenseIndexSet.h
2018-08-19 15:37 2188 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/ShortDenseIndexSetStream.cpp
2018-08-19 15:37 2874 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Statistics.cpp
2018-08-19 15:37 4504 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/SupportTree.h
2018-08-19 15:37 8723 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/SupportTree.tpp
2018-08-19 15:37 2928 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/SyzygyCompletion.cpp
2018-08-19 15:37 6457 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/SyzygyGeneration.cpp
2018-08-19 15:37 1736 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Timer.cpp
2018-08-19 15:37 1327 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Truncated.cpp
2018-08-19 15:37 2024 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Vector.cpp
2018-08-19 15:37 15910 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/Vector.h
2018-08-19 15:37 8325 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorArray.cpp
2018-08-19 15:37 7085 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorArray.h
2018-08-19 15:37 2280 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorArrayAPI.cpp
2018-08-19 15:37 3851 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorArrayAPI.h
2018-08-19 15:37 2698 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorArrayStream.cpp
2018-08-19 15:37 2678 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/VectorStream.cpp
2018-08-19 15:37 6259 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/WalkAlgorithm.cpp
2018-08-19 15:37 5894 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/WalkOptions.cpp
2018-08-19 15:37 2959 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/walk_main.cpp
2018-08-19 15:37 5160 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/WeightAlgorithm.cpp
2018-08-19 15:37 1569 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/WeightedBinomialSet.cpp
2018-08-19 15:37 6229 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/WeightedReduction.cpp
2018-08-19 15:37 2364 usr/src/debug/lib4ti2-1.6.9-1/src/groebner/zbasis_main.cpp
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/ppi/
2018-08-19 15:37 32575 usr/src/debug/lib4ti2-1.6.9-1/src/ppi/ppi.cpp
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/util/
2018-08-24 11:46 8351 usr/src/debug/lib4ti2-1.6.9-1/src/util/genmodel.c
2018-08-19 15:37 970 usr/src/debug/lib4ti2-1.6.9-1/src/util/genmodel_main.c
2018-08-24 11:46 10242 usr/src/debug/lib4ti2-1.6.9-1/src/util/gensymm.c
2018-08-19 15:37 968 usr/src/debug/lib4ti2-1.6.9-1/src/util/gensymm_main.c
2018-08-19 15:37 18160 usr/src/debug/lib4ti2-1.6.9-1/src/util/orbit.c
2018-08-24 11:46 29788 usr/src/debug/lib4ti2-1.6.9-1/src/util/output.c
2018-08-19 15:37 966 usr/src/debug/lib4ti2-1.6.9-1/src/util/output_main.c
2018-08-24 11:46 20587 usr/src/debug/lib4ti2-1.6.9-1/src/util/print.c
2018-08-19 15:37 36564 usr/src/debug/lib4ti2-1.6.9-1/src/util/vector.c
2022-01-30 23:45 0 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/
2018-08-19 15:37 2356 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/4ti2API.cpp
2018-08-19 15:37 3382 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/BitSet.cpp
2018-08-19 15:37 1706 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/Exception.h
2018-08-19 15:37 2295 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/main.cpp
2018-08-19 15:37 13492 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/Options.cpp
2018-08-19 15:37 1802 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/RelAPI.cpp
2018-08-19 15:37 1141 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/RelAPI.h
2018-08-19 15:37 1973 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/SignAPI.cpp
2018-08-19 15:37 1145 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/SignAPI.h
2018-08-19 15:37 1996 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/Timer.cpp
2018-08-19 15:37 4529 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/Vector.hpp
2018-08-19 15:37 7050 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/VectorArray.hpp
2018-08-19 15:37 4965 usr/src/debug/lib4ti2-1.6.9-1/src/zsolve/VectorArrayAPI.hpp