diff --git a/COMPILED/r13.zip b/COMPILED/r13.zip
new file mode 100644
index 0000000..bd86e8b
Binary files /dev/null and b/COMPILED/r13.zip differ
diff --git a/COMPILED/r18.zip b/COMPILED/r18.zip
new file mode 100644
index 0000000..32cdfb2
Binary files /dev/null and b/COMPILED/r18.zip differ
diff --git a/COMPILED/r20.zip b/COMPILED/r20.zip
new file mode 100644
index 0000000..0a7be8f
Binary files /dev/null and b/COMPILED/r20.zip differ
diff --git a/COMPILED/r21.zip b/COMPILED/r21.zip
new file mode 100644
index 0000000..85ebd25
Binary files /dev/null and b/COMPILED/r21.zip differ
diff --git a/COMPILED/r22.zip b/COMPILED/r22.zip
new file mode 100644
index 0000000..71b4659
Binary files /dev/null and b/COMPILED/r22.zip differ
diff --git a/COMPILED/witness.zip b/COMPILED/witness.zip
new file mode 100644
index 0000000..0a25f7a
Binary files /dev/null and b/COMPILED/witness.zip differ