Assim, deveriam ter sido dados como não provados os factos 1, 1, 1, 2, 2, 2, 2, 10, 10, 10, 10, 11, 11, 11, 11, 11, 11, 11, e 117 dos factos dados como provados, como provados os factos a-, b-, -, -, e, dos factos dados como não provados, e ainda deveria ter sido julgada totalmente procedente a Reconvenção apresentada pela R.