aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--COMPILED/anthill.z3 (renamed from COMPILED/anthill.z3 )bin109650 -> 109650 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/COMPILED/anthill.z3 b/COMPILED/anthill.z3
index 9652a64..9652a64 100644
--- a/COMPILED/anthill.z3
+++ b/COMPILED/anthill.z3
Binary files differ