get normal form for: closure( m(v(1, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(1, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(1, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(1, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(1, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(1, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(1, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(1, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, empty-vector)))))))))))))))))))))))))))))))), m(v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(0, v(1, empty-vector)))))))))))))))))))))))))))))))), empty-matrix)))))))))))))))))))))))))))))))))