úÎ6ö     Safe!"2Overwrites when similar, leaves untouched when notSafe,A Rooted, predicate, disjointly indexed trie     Safe!"2Overwrites when similar, leaves untouched when not     Safe          predt_4GtIBloFxhv3aGuqkHTr5mData.Trie.Pred.Disjoint.TailData.Trie.Pred.DisjointData.Trie.Pred.Unified.TailData.Trie.Pred.UnifiedNDPTrieNDMoreNDPredmerge areDisjointlookupRPDTrieRooted$fMonoidRPDTrieNUPTrieNUMoreNUPredRPUTrie$fMonoidRPUTriegetFirst