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