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