User:Maxdamantus/thing

$$a = \{ s | \forall x \in s : 0 \leq x < |t| - |s| \land ( \forall j : 0 \leq j < |s| \implies s[x] = t[x + j] ) \land ( \forall y \in s : (x \not = y) \implies |x - y| \geq |s| ) \}$$ $$o \in a$$ $$\forall x \in a : |o| \geq x$$ $$n = |o|$$ $$U' = \{ r | \exists a : |a| = |s| - |s'| + 1 \land a[0] = 1 \land (\forall i : 0 \leq i < |a| - 1 \implies a[i + 1] \in Next[a[i], s[i]]) \land a[|a| - 1] = r \}$$