{ IRI /http:\/\/a.example\/o1$/ }