create implication aeon_calcos_(sc1) (4) -> aeon_calcos (185)
create implication aeon_calcos_(sc2) (0) -> aeon_calcos (185)
create implication aeon_calcos_(sc3) (46) -> aeon_calcos (185)
create implication aeon_calcos_(sc4) (13) -> aeon_calcos (185)
create implication aeon_calcos_(sc5) (29) -> aeon_calcos (185)