diff --git a/LegalProgram.lps b/LegalProgram.lps
index f9f6804..fe59876 100644
--- a/LegalProgram.lps
+++ b/LegalProgram.lps
@@ -8,10 +8,9 @@
-
+
-
@@ -21,11 +20,10 @@
+
-
-
@@ -34,12 +32,10 @@
-
+
-
-
@@ -94,12 +90,10 @@
-
+
-
-
@@ -107,12 +101,10 @@
-
+
-
-
@@ -442,127 +434,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+