diff --git a/COMPILED/j2.z3                                                             b/COMPILED/j2.z3
similarity index 100%
rename from COMPILED/j2.z3                                                            
rename to COMPILED/j2.z3
diff --git a/COMPILED/nj2.z3                                                             b/COMPILED/nj2.z3
similarity index 100%
rename from COMPILED/nj2.z3                                                            
rename to COMPILED/nj2.z3