create implication hyper_pubes (99) -> pubes (145973)
create implication hyper_pubes (99) -> hyper (218000)
create implication hyper_pubes (99) -> huge_pubes (1)
create implication huge_pubes (1) -> big_pubes (986)
create implication huge_pubes (1) -> pubes (145973)