rule 717436012956 k=3