create implication roui_(the_crown_of_leaves) (13) -> the_crown_of_leaves (136)
create implication flynn_(the_crown_of_leaves) (3) -> the_crown_of_leaves (136)
create implication junyver_(the_crown_of_leaves) (4) -> the_crown_of_leaves (136)
create implication serban_(the_crown_of_leaves) (4) -> the_crown_of_leaves (136)
create implication bo_(the_crown_of_leaves) (1) -> the_crown_of_leaves (136)
create implication sahash (136) -> the_crown_of_leaves (136)