On one hand, I spent large amount of today on this puzzle. On the other hand, I now know a thing or two about Z3. Have some blinkenlights, I'm tired. =)