shrink large files
diff --git a/mag/user_proj_example.mag b/mag/user_proj_example.mag
deleted file mode 100644
index 519f6db..0000000
--- a/mag/user_proj_example.mag
+++ /dev/null
Binary files differ
diff --git a/mag/user_proj_example.mag.gz b/mag/user_proj_example.mag.gz
new file mode 100644
index 0000000..e9514c3
--- /dev/null
+++ b/mag/user_proj_example.mag.gz
Binary files differ