. . . . . . . . "The resulting formalization has as a provenance the \"FormalizationActivity\", which is correct. Moreover, all fields are correctly filled in." . "3" . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCJlM78d80R+gFMoQB1IG3f7AbqqGOCIv4HmZd1cx1KgEWMUUpPsojFNvx84fC/TltcJ8F8JafnbhDXW2HM2MhdK4yC04ROEV1vIgSzjDicHfiqXvMqdPuMyQp4mmCEY7mUoeEW10mWZqjk+S9TnmiAQbFGcpExP8aosr2aTR7CSQIDAQAB" . "iP/94a5daFpspIDcEPn7ElSEaxDAG9sUxvPDfNrGUOSkHYIObSsFaEzHtVNDW2+Z3BTY7Jxrn3K00ULB478RC/e+6ZqVsRypma32Q7tCgmgpdZQnyhWnVWNViGAJ0QEa+WUgxQGy9KahZyRFrl/fOS4+jnxdha4BrfbYHLH6cJc=" . . "2021-10-04T18:58:45.302+03:00"^^ . . . . .