Remove redundant line

index.html

@@ -137,8 +137,7 @@
               value="y = \(\(1 (0 0)) \(1 (0 0)))
 a = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
 b = \\\\(y \\((((0 1) \((((0 3) \\0) 5) 6)) \((((0 3) 4) \\0) 6)) 1))
-c = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
-\(y \\((((0 (1 a)) (1 b)) (1 b)) (1 c)))"
+\(y \\((((0 (1 a)) (1 b)) (1 b)) (1 a)))"
             >
               Recursive Nonsense
             </option>