archive/problems/image/tests/images.txt
archive/problems/dragon/tests/tests.lst
archive/problems/auxiliary/tests/tests.lst
archive/statements/problems/r.bat
archive/statements/pics/r.bat
archive/statements/r.bat
archive/problems/build-tests.cmd
archive/problems/kripke/tests/clean.cmd
archive/problems/gtaw/tests/doall.cmd
archive/problems/kripke/tests/doall.cmd
archive/problems/circles/tests/doall.cmd
archive/problems/enigmatic/tests/doall.cmd
archive/problems/t.cmd
archive/problems/gtaw/tests/v.cmd
archive/problems/image/tests/v.cmd
archive/problems/four/tests/v.cmd
archive/problems/enigmatic/tests/wipe.cmd
archive/problems/four/tests/wipe.cmd
archive/problems/gtaw/tests/wipe.cmd
archive/problems/image/tests/wipe.cmd
archive/testlib/testlib.h
archive/problems/auxiliary/auxiliary_ds.c
archive/problems/auxiliary/auxiliary_ds_slow.c
archive/problems/auxiliary/auxiliary_sk.cpp
archive/problems/bureau/bureau_sk.cpp
archive/problems/four/check.cpp
archive/problems/circles/circles_od.cpp
archive/problems/circles/circles_sk.cpp
archive/problems/four/tests/doall.cpp
archive/problems/dragon/dragon_sk.cpp
archive/problems/four/four_sk.cpp
archive/problems/four/four_yp.cpp
archive/problems/four/four_yp_alt.cpp
archive/problems/four/four_yp_alt_slow.cpp
archive/problems/circles/tests/gen.cpp
archive/problems/homo/homo_sk.cpp
archive/problems/image/image_sk.cpp
archive/problems/jealous/jealous_sk.cpp
archive/problems/kripke/kripke_sk.cpp
archive/problems/circles/tests/md5calc.cpp
archive/problems/circles/tests/split.cpp
archive/problems/circles/tests/validator.cpp
archive/bin/run.exe
archive/bin/invoke.dll
archive/problems/four/tests/tests.all
archive/testlib/testlib.dcu
archive/problems/circles/check.dpr
archive/problems/jealous/check.dpr
archive/problems/bureau/check.dpr
archive/problems/enigmatic/check.dpr
archive/problems/gtaw/check.dpr
archive/problems/kripke/check.dpr
archive/problems/homo/check.dpr
archive/problems/dragon/check.dpr
archive/problems/auxiliary/check.dpr
archive/problems/image/check.dpr
archive/problems/dragon/tests/doall.dpr
archive/problems/enigmatic/tests/genmax.dpr
archive/problems/enigmatic/tests/genrandom.dpr
archive/problems/enigmatic/tests/gensame.dpr
archive/problems/enigmatic/tests/gensamemax.dpr
archive/problems/enigmatic/tests/genshifted.dpr
archive/problems/jealous/jealous_ds.dpr
archive/problems/enigmatic/tests/01.hand
archive/problems/enigmatic/tests/02.hand
archive/problems/enigmatic/tests/03.hand
archive/problems/enigmatic/tests/04.hand
archive/problems/four/tests/showme.jar
archive/problems/gtaw/tests/showme.jar
archive/problems/image/tests/showme.jar
archive/problems/auxiliary/auxiliary_as.java
archive/problems/auxiliary/auxiliary_gk.java
archive/problems/auxiliary/auxiliary_gk_ok_check.java
archive/problems/bureau/bureau_as.java
archive/problems/bureau/bureau_dp.java
archive/problems/bureau/bureau_gk.java
archive/problems/bureau/bureau_gk_ok.java
archive/problems/bureau/bureau_gk_ok_check.java
archive/problems/circles/circles_as.java
archive/problems/circles/circles_gk.java
archive/problems/circles/circles_gk_check.java
archive/problems/auxiliary/tests/doall.java
archive/problems/bureau/tests/doall.java
archive/problems/jealous/tests/doall.java
archive/problems/homo/tests/doall.java
archive/problems/image/tests/doall.java
archive/problems/gtaw/tests/doHandmadeTests.java
archive/problems/gtaw/tests/doLargeTests.java
archive/problems/gtaw/tests/doMaxTests.java
archive/problems/gtaw/tests/doSmallTests.java
archive/problems/dragon/dragon_as.java
archive/problems/dragon/dragon_gk.java
archive/problems/dragon/dragon_gk_check.java
archive/problems/enigmatic/enigmatic_al.java
archive/problems/enigmatic/enigmatic_al_alt.java
archive/problems/enigmatic/enigmatic_al_arraycopy.java
archive/problems/enigmatic/enigmatic_da.java
archive/problems/enigmatic/enigmatic_gk.java
archive/problems/four/four_gk.java
archive/problems/four/four_gk_ok_draw.java
archive/problems/gtaw/gtaw_gk.java
archive/problems/gtaw/gtaw_pm.java
archive/problems/gtaw/gtaw_pm_vis.java
archive/problems/homo/homo_as.java
archive/problems/homo/homo_gk.java
archive/problems/homo/homo_gk_fast.java
archive/problems/image/image_as.java
archive/problems/image/image_gk.java
archive/problems/image/image_gk_ok_fast.java
archive/problems/image/image_md.java
archive/problems/image/image_md_memory.java
archive/problems/jealous/jealous_as.java
archive/problems/jealous/jealous_gk.java
archive/problems/kripke/kripke_as.java
archive/problems/kripke/kripke_ft.java
archive/problems/kripke/kripke_ft_arrays.java
archive/problems/kripke/kripke_ft_nocheck.java
archive/problems/kripke/kripke_gk.java
archive/problems/kripke/kripke_gk_ok_arrays.java
archive/problems/kripke/tests/KripkeTestsGen.java
archive/problems/image/tests/stress.java
archive/problems/gtaw/tests/gen/TestGen.java
archive/problems/circles/tests/tests.manual
archive/problems/circles/tests/tests.md5
archive/statements/pics/circles.mp
archive/statements/pics/four-light.mp
archive/statements/pics/four.mp
archive/statements/pics/gtaw-light.mp
archive/statements/pics/gtaw.mp
archive/statements/pics/image.