From e51d2c3b37fe45cb9c7aed16778abe31f2eb1774 Mon Sep 17 00:00:00 2001
From: Brian Lawrence <tideofwords@gmail.com>
Date: Tue, 9 Jul 2024 11:03:42 -0700
Subject: [PATCH] Format LWE exercise

---
 easy/src/lwe.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/easy/src/lwe.typ b/easy/src/lwe.typ
index f219a24..66e6193 100644
--- a/easy/src/lwe.typ
+++ b/easy/src/lwe.typ
@@ -106,7 +106,7 @@ With these heuristics, we can start by looking at the Red Set, and make vectors
   $(0 , 3 , 0 , 0 lr(|0|) { 0 , - 1 }),$ which immediately gives
   $a_2 in { 0 , 7 }$.
 + $(4 , 7 , 0 , 0 lr(|8|) { 0 , - 1 })$ gives
-  $4 a_1 + 7 a_2 in { 7 , 8 },$ Since $7 a_2 in { 0 , 5 },$
+  $4 a_1 + 7 a_2 in { 7 , 8 }.$ Also, since $7 a_2 in { 0 , 5 },$
   $ 4 a_1 in { 7 , 8 } - { 0 , 5 } = { 7 , 8 , 2 , 3 }, $ and
   $a_1 in { 10 , 2 , 6 , 9 }.$
 + Adding $ (10 , 4 , 4 , 3 lr(|1|) { 0 , - 1 }) + (7 , 7 , 7 , 8 lr(|5|) { 0 , - 1 }) $ gives $(6 , 0 , 0 , 0 lr(|6|) { 0 , - 1 , - 2 }),$