LS2015 (Explicit)

Dichotomy (Explicit)