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