$$ \text{Further analysis depends on specific details about the Porto project.} $$

For mathematical or technical analysis, specific details about the software's functionality or related mathematical models would be required.