CPU time: 15 ms   Copyright Ami-Go! 2013-2023 (pt5)