TT.– Assim, a respeito do artigo 1 da Base Instrutória, deveria o Tribunal a quo ter dado como provado, mais precisamente que: O software de base do "SIGMA” era o "SIGRes3e”; ou se se preferir que, A base do software "SIGMA” era o "SIGRes3e”.