z6boolp6v687o - execution time: 1.657 sec.