SecurityLab-UCD
diff --git a/‎benchmark/task_0.core.md‎ ‎benchmark/task_0.hs.md‎benchmark/task_0.core.md renamed to benchmark/task_0.hs.md b/‎benchmark/task_0.core.md‎ ‎benchmark/task_0.hs.md‎benchmark/task_0.core.md renamed to benchmark/task_0.hs.md
diff --git a/‎benchmark/task_1.core.md‎ ‎benchmark/task_1.hs.md‎benchmark/task_1.core.md renamed to benchmark/task_1.hs.md b/‎benchmark/task_1.core.md‎ ‎benchmark/task_1.hs.md‎benchmark/task_1.core.md renamed to benchmark/task_1.hs.md
diff --git a/‎benchmark/task_10.core.md‎ ‎benchmark/task_10.hs.md‎benchmark/task_10.core.md renamed to benchmark/task_10.hs.md b/‎benchmark/task_10.core.md‎ ‎benchmark/task_10.hs.md‎benchmark/task_10.core.md renamed to benchmark/task_10.hs.md
diff --git a/‎benchmark/task_100.core.md‎ ‎benchmark/task_100.hs.md‎benchmark/task_100.core.md renamed to benchmark/task_100.hs.md b/‎benchmark/task_100.core.md‎ ‎benchmark/task_100.hs.md‎benchmark/task_100.core.md renamed to benchmark/task_100.hs.md
diff --git a/‎benchmark/task_101.core.md‎ ‎benchmark/task_101.hs.md‎benchmark/task_101.core.md renamed to benchmark/task_101.hs.md b/‎benchmark/task_101.core.md‎ ‎benchmark/task_101.hs.md‎benchmark/task_101.core.md renamed to benchmark/task_101.hs.md
diff --git a/‎benchmark/task_102.core.md‎ ‎benchmark/task_102.hs.md‎benchmark/task_102.core.md renamed to benchmark/task_102.hs.md b/‎benchmark/task_102.core.md‎ ‎benchmark/task_102.hs.md‎benchmark/task_102.core.md renamed to benchmark/task_102.hs.md
diff --git a/‎benchmark/task_103.core.md‎ ‎benchmark/task_103.hs.md‎benchmark/task_103.core.md renamed to benchmark/task_103.hs.md b/‎benchmark/task_103.core.md‎ ‎benchmark/task_103.hs.md‎benchmark/task_103.core.md renamed to benchmark/task_103.hs.md
diff --git a/‎benchmark/task_104.core.md‎ ‎benchmark/task_104.hs.md‎benchmark/task_104.core.md renamed to benchmark/task_104.hs.md b/‎benchmark/task_104.core.md‎ ‎benchmark/task_104.hs.md‎benchmark/task_104.core.md renamed to benchmark/task_104.hs.md
diff --git a/‎benchmark/task_105.core.md‎ ‎benchmark/task_105.hs.md‎benchmark/task_105.core.md renamed to benchmark/task_105.hs.md b/‎benchmark/task_105.core.md‎ ‎benchmark/task_105.hs.md‎benchmark/task_105.core.md renamed to benchmark/task_105.hs.md
diff --git a/‎benchmark/task_106.core.md‎ ‎benchmark/task_106.hs.md‎benchmark/task_106.core.md renamed to benchmark/task_106.hs.md b/‎benchmark/task_106.core.md‎ ‎benchmark/task_106.hs.md‎benchmark/task_106.core.md renamed to benchmark/task_106.hs.md