Πεψενθε 

`and`(a = sqrt(`+`(`^`(5, 2), `^`(16, 2), `*`(`+`(`*`(2, `*`(`*`(5, 16)))), `/`(1, 2)))), `and`(sqrt(`+`(`^`(5, 2), `^`(16, 2), `*`(`+`(`*`(2, `*`(`*`(5, 16)))), `/`(1, 2)))) = sqrt(`+`(`+`(25, 256), ...