This file produces the inverse as required.