import FormalKneser.Smoke
import FormalKneser.FiniteKernel