diff --git a/COMPILED/r13.z3                                                             b/COMPILED/r13.z3
similarity index 100%
rename from COMPILED/r13.z3                                                            
rename to COMPILED/r13.z3
diff --git a/COMPILED/r18.z3                                                             b/COMPILED/r18.z3
similarity index 100%
rename from COMPILED/r18.z3                                                            
rename to COMPILED/r18.z3
diff --git a/COMPILED/r20.z3                                                             b/COMPILED/r20.z3
similarity index 100%
rename from COMPILED/r20.z3                                                            
rename to COMPILED/r20.z3
diff --git a/COMPILED/r21.z3                                                             b/COMPILED/r21.z3
similarity index 100%
rename from COMPILED/r21.z3                                                            
rename to COMPILED/r21.z3
diff --git a/COMPILED/r22.z3                                                             b/COMPILED/r22.z3
similarity index 100%
rename from COMPILED/r22.z3                                                            
rename to COMPILED/r22.z3
diff --git a/COMPILED/witness.z3                                                             b/COMPILED/witness.z3
similarity index 100%
rename from COMPILED/witness.z3                                                            
rename to COMPILED/witness.z3