transitive_closure.w 26.3 KB