def compressed
diff --git a/def/rest_top.def b/def/rest_top.def
deleted file mode 100644
index f8c7e93..0000000
--- a/def/rest_top.def
+++ /dev/null
Binary files differ
diff --git a/def/rest_top.def.gz b/def/rest_top.def.gz
new file mode 100644
index 0000000..0fc1592
--- /dev/null
+++ b/def/rest_top.def.gz
Binary files differ