nvcleemp
diff --git a/‎examples/abs_determinant_lower_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_lower_bound_conjectures1.py b/‎examples/abs_determinant_lower_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_lower_bound_conjectures1.py
diff --git a/‎examples/abs_determinant_lower_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_lower_bound_conjectures2.py b/‎examples/abs_determinant_lower_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_lower_bound_conjectures2.py
diff --git a/‎examples/abs_determinant_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_upper_bound_conjectures1.py b/‎examples/abs_determinant_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/abs_determinant_upper_bound_conjectures1.py
diff --git a/‎examples/determinant_lower_bound_conjectures.py renamed to ‎examples/Automated-Conjecturing-I/determinant_lower_bound_conjectures.py b/‎examples/determinant_lower_bound_conjectures.py renamed to ‎examples/Automated-Conjecturing-I/determinant_lower_bound_conjectures.py
diff --git a/‎examples/determinant_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/determinant_upper_bound_conjectures1.py b/‎examples/determinant_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/determinant_upper_bound_conjectures1.py
diff --git a/‎examples/determinant_upper_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/determinant_upper_bound_conjectures2.py b/‎examples/determinant_upper_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/determinant_upper_bound_conjectures2.py
diff --git a/‎examples/domination_lower_bound_conjectures.py renamed to ‎examples/Automated-Conjecturing-I/domination_lower_bound_conjectures.py b/‎examples/domination_lower_bound_conjectures.py renamed to ‎examples/Automated-Conjecturing-I/domination_lower_bound_conjectures.py
diff --git a/‎examples/domination_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures1.py b/‎examples/domination_upper_bound_conjectures1.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures1.py
diff --git a/‎examples/domination_upper_bound_conjectures2-long.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures2-long.py b/‎examples/domination_upper_bound_conjectures2-long.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures2-long.py
diff --git a/‎examples/domination_upper_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures2.py b/‎examples/domination_upper_bound_conjectures2.py renamed to ‎examples/Automated-Conjecturing-I/domination_upper_bound_conjectures2.py