chiark / gitweb /
routesearch: correct elim algorithms