similarity index 98%
rename from test/confs/5750
rename to test/confs/5710
index 13ee1498f566f6e5961b73c618ffda7d9bba648e..354d3935b22361e1828bc1dc3032f587a3554b82 100644 (file)
similarity index 98%
rename from test/confs/5760
rename to test/confs/5720
index 303420f3d3b93f7219a208073bcb7b2c7875e6d0..e2ef60bdd6ca952b08f48b378bf80c58333fc8c8 100644 (file)
similarity index 99%
rename from test/confs/5658
rename to test/confs/5730
index 10938e1f9de1cdeac220226764196dd587298005..7ed8ad4b7e22bf1fb2aa137e0895562e5a6e47c8 100644 (file)
similarity index 99%
rename from test/confs/5608
rename to test/confs/5740
index 311cc12998585c07ca39c77708e214aed2dd4c60..e20a8b6019b3826a155eaa3577646ccb27143a57 100644 (file)