. . . . . . . . "The provenance should use the 'Generated by a formalization activity' template." . "4" . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" . "lW2T9VQEBieuVX0TkGsGcfW1EVVKF95TzzjtT9iqVzBz9c9KfZd/jiXVcjykYzt+e8U8st1n4OfqFY+NBG109VZ2Yj0prUP3kWipqVBZ1Ny4ygamC556G18ONi2fDeiCbnMzl+bHY5RyKTi94IF6OyFgt4TwXHBkBENvySOV96s=" . . "2021-10-14T09:05:51.453+02:00"^^ . . . . .