§3, p. 6 — MITM-factor stops at the least positive depth (corrected: depths 1 … 2⌈l/2⌉; depth 0 is never tested)

Initializing...

§3, p. 6 — MITM-factor stops at the least positive depth (corrected: depths 1 … 2⌈l/2⌉; depth 0 is never tested) · Prove2Me