diff --git a/picus/algorithms/lemmas/basis2-lemma.rkt b/picus/algorithms/lemmas/basis2-lemma.rkt
index 1f5c985..2c3fc1a 100644
--- a/picus/algorithms/lemmas/basis2-lemma.rkt
+++ b/picus/algorithms/lemmas/basis2-lemma.rkt
@@ -30,7 +30,7 @@
     (values tmp-ks tmp-us)
 )
 
-(define basis2-seqs (for/set ([i (range 270)])
+(define basis2-seqs (for/set ([i (range 253)])
     (for/set ([j (range (+ 1 i))])
         (expt 2 j)
     )
@@ -207,4 +207,4 @@
         ]
     )
     (values tmp-ks tmp-us)
-)
\ No newline at end of file
+)