sqct/
sqct/test.h
sqct/README
sqct/fixedpoint.h
sqct/requestprocessor.h
sqct/fixedpoint.cpp
sqct/factorzs2.h
sqct/tcount.h
sqct/output.h
sqct/test.cpp
sqct/resring.cpp
sqct/sk/
sqct/sk/netgenerator.cpp
sqct/sk/netgenerator.h
sqct/sk/gcommdecomposer.h
sqct/sk/sk.cpp
sqct/sk/sk.h
sqct/sk/epsilonnet.h
sqct/sk/epsilonnet.cpp
sqct/sk/vector3hpr.h
sqct/sk/gcommdecomposer.cpp
sqct/sk/unitaryapproximator.h
sqct/sk/vector3hpr.cpp
sqct/sk/unitaryapproximator.cpp
sqct/symbolic_angle.h
sqct/timemeasurement.h
sqct/solvenormequation.cpp
sqct/gatelibrary.cpp
sqct/.gitignore
sqct/rint.h
sqct/matrix2x2.h
sqct/hprhelpers.h
sqct/symbolic_angle.cpp
sqct/output.cpp
sqct/COPYING
sqct/vector2.cpp
sqct/main.cpp
sqct/tcount.cpp
sqct/matrix2x2.cpp
sqct/CMakeLists.txt
sqct/mpfr_header_wrapper.hpp
sqct/vector2.h
sqct/factorzs2.cpp
sqct/ttmath/
sqct/ttmath/README
sqct/ttmath/ttmathbig.h
sqct/ttmath/ttmathmisc.h
sqct/ttmath/ttmath.h
sqct/ttmath/ttmathuint.h
sqct/ttmath/ttmathuint_x86_64.h
sqct/ttmath/ttmathuint_x86_64_msvc.asm
sqct/ttmath/ttmathtypes.h
sqct/ttmath/COPYRIGHT
sqct/ttmath/ttmathint.h
sqct/ttmath/samples/
sqct/ttmath/samples/int.cpp
sqct/ttmath/samples/big.cpp
sqct/ttmath/samples/uint.cpp
sqct/ttmath/samples/parser.cpp
sqct/ttmath/samples/big2.cpp
sqct/ttmath/ttmathuint_x86.h
sqct/ttmath/ttmathuint_noasm.h
sqct/ttmath/CHANGELOG
sqct/ttmath/ttmathdec.h
sqct/ttmath/ttmathparser.h
sqct/ttmath/ttmathobjects.h
sqct/ttmath/ttmaththreads.h
sqct/gatelibrary.h
sqct/hprhelpers.cpp
sqct/rint.cpp
sqct/theory/
sqct/theory/numbers-stat.h
sqct/theory/theoremverification.cpp
sqct/theory/toptimalitytest.cpp
sqct/theory/numbers-stat.cpp
sqct/theory/toptimalitytest.h
sqct/theory/hoptimalitytest.cpp
sqct/theory/theoremverification.h
sqct/theory/hoptimalitytest.h
sqct/es/
sqct/es/numbersgen.h
sqct/es/exactdecomposer.cpp
sqct/es/seqlookupcliff.h
sqct/es/optsequencegenerator.h
sqct/es/exactdecomposer.h
sqct/es/seqlookupcliff.cpp
sqct/es/optsequencegenerator.cpp
sqct/es/numbersgen.cpp
sqct/serializers.h
sqct/Doxyfile
sqct/resring.h
sqct/tests/
sqct/tests/result-processing-example.nb
sqct/tests/rcup.nb
sqct/tests/result-processing-unifrom.nb
sqct/tests/intermidiate-results.nb
sqct/COPYING.LESSER
sqct/solvenormequation.h
sqct/requestprocessor.cpp
sqct/appr/
sqct/appr/zrot_cache.cpp
sqct/appr/observations.h
sqct/appr/approxlist.cpp
sqct/appr/rcup.h
sqct/appr/findhalves.h
sqct/appr/topt-bfs.h
sqct/appr/normsolver.h
sqct/appr/observations.cpp
sqct/appr/cup.h
sqct/appr/toptzrot2.cpp
sqct/appr/toptzrot2.h
sqct/appr/normsolver.cpp
sqct/appr/topt-bfs.cpp
sqct/appr/findhalves.cpp
sqct/appr/rcup.cpp
sqct/appr/cup.cpp
sqct/appr/approxlist.h
sqct/appr/zrot_cache.h
sqct/real.hpp
sqct/mainA.cpp
sqct/.git/
sqct/.git/config
sqct/.git/objects/
sqct/.git/objects/info/
sqct/.git/objects/pack/
sqct/.git/objects/pack/pack-0515eebbec67300e99c216832c4664a3d4acfe93.idx
sqct/.git/objects/pack/pack-0515eebbec67300e99c216832c4664a3d4acfe93.pack
sqct/.git/refs/
sqct/.git/refs/tags/
sqct/.git/refs/remotes/
sqct/.git/refs/remotes/origin/
sqct/.git/refs/remotes/origin/HEAD
sqct/.git/refs/heads/
sqct/.git/refs/heads/master
sqct/.git/info/
sqct/.git/info/exclude
sqct/.git/packed-refs
sqct/.git/index
sqct/.git/logs/
sqct/.git/logs/refs/
sqct/.git/logs/refs/remotes/
sqct/.git/logs/refs/remotes/origin/
sqct/.git/logs/refs/remotes/origin/HEAD
sqct/.git/logs/refs/heads/
sqct/.git/logs/refs/heads/master
sqct/.git/logs/HEAD
sqct/.git/description
sqct/.git/branches/
sqct/.git/HEAD
sqct/.git/hooks/
sqct/.git/hooks/commit-msg.sample
sqct/.git/hooks/update.sample
sqct/.git/hooks/prepare-commit-msg.sample
sqct/.git/hooks/post-update.sample
sqct/.git/hooks/pre-rebase.sample
sqct/.git/hooks/pre-applypatch.sample
sqct/.git/hooks/pre-commit.sample
sqct/.git/hooks/applypatch-msg.sample