Validating common_ouinon :

valid(2 terms)

time elapsed : 0m 0s 210ms

Last updated at 08:20:31 2023-05-28