CAF kernel for find7