Validating common_copyrights :

valid(4 terms)

time elapsed : 0m 0s 192ms

Last updated at 08:50:46 2023-05-28