Skip to content

Commit f3a8119

Browse files
committed
[quest] Increase limit to 70 steps, add comment that no one will read
1 parent 4d6ad6a commit f3a8119

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

docs/quest-data/60-boolean.json

+8-2
Original file line numberDiff line numberDiff line change
@@ -95,11 +95,17 @@
9595
],
9696
"unlock": "if",
9797
"input": "if",
98+
"comment": [
99+
"Note to future maintainer (or me):",
100+
"The cases with limited steps produce a never-terminating alternative branch",
101+
"to filter out non-solutions like (a d)(b d)(c d).",
102+
"BC(CI)CK n tells whether n is even in ~n steps."
103+
],
98104
"cases": [
99105
["if (K(KI)) b c d", "c d"],
100106
["if (KK) b c d", "b d"],
101-
[{"max": 100}, "if (BC(CI)CK) (S(K(WI))(K(WI))) I 51", "51"],
102-
[{"max": 100}, "if (BC(CI)CK) I (S(K(WI))(K(WI))) 52", "52"]
107+
[{"max": 140}, "if (BC(CI)CK) (S(K(WI))(K(WI))) I 71", "71"],
108+
[{"max": 140}, "if (BC(CI)CK) I (S(K(WI))(K(WI))) 72", "72"]
103109
]
104110
}
105111
]

0 commit comments

Comments
 (0)