Coq (software) (current) Australian Parliamentary Library Adib Taherzadeh Roberto Repole Mihail Kogălniceanu-class river monitor AFI Docs Conjunctive tasks Inquisition post mortem U.S. Route 90 U.S. Route 192 Energy Efficiency and Conservation Authority Lesser ritual of the pentagram Arne Drogseth Xuastvanift