11415 triggers and 212 candidates in Inf cycles.