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