From 31a33219e7669ef15582f5a9ae5045b5d3755a6c Mon Sep 17 00:00:00 2001
From: "romaric.ludinard" <romaric.ludinard@imt-atlantique.fr>
Date: Mon, 26 Jun 2023 15:42:50 +0000
Subject: [PATCH] Update on Overleaf.

---
 ccs-body.tex   | 1 +
 properties.tex | 9 +++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 properties.tex

diff --git a/ccs-body.tex b/ccs-body.tex
index 6a17a92..0054e9d 100644
--- a/ccs-body.tex
+++ b/ccs-body.tex
@@ -560,6 +560,7 @@ For the common prefix to hold, we need $k \geq \frac{\theta \gamma m}{4 \tau}$.
 
 Paper formatted using https://github.com/acmccs/format.
 
+\input{properties}
 
 
 %\begin{acks}
diff --git a/properties.tex b/properties.tex
new file mode 100644
index 0000000..d9f2bd2
--- /dev/null
+++ b/properties.tex
@@ -0,0 +1,9 @@
+- le nombre de blocks dans le compressé est une fonction croissante de la taille de la chaine
+
+- étant donné un compressé C de niveau l, l'ajout d'un bloc b à C donne C' de niveau l' \geq l
+
+- si un bloc de niveau l est éjecté du niveau l, alors il n'est plus présent du tout dans le compressé
+
+- si un bloc de niveau l est présent dans un niveau l'<l, alors il est présent dans tous les niveaux interemédiaires entre l' et l
+
+- pour un bloc de niveau l, pour tout 0 <= i < j <= l, on a pos(i, b) < pos(j, b)
\ No newline at end of file